El demostrador dispone de todos los recursos que necesite pero el verificador tiene un poder de cómputo acotado.