Glosario cripto
Prueba de validez
Una prueba de validez es una prueba criptográfica breve de que un lote de transacciones se ejecutó bien; un contrato la verifica antes de aceptar el estado.
Una prueba de validez permite a un rollup convencer a Ethereum de que su nuevo estado se deriva correctamente del anterior sin que Ethereum vuelva a ejecutar cada transacción. Un prover procesa el lote y genera un SNARK o un STARK; un contrato verificador lo comprueba con un coste muy inferior y solo entonces acepta la nueva raíz de estado. Una transición inválida, sencillamente, no puede finalizarse.
Es la base de los zk-rollups y de los validiums. Como la corrección se demuestra de antemano, los retiros no necesitan una semana de impugnación y pueden completarse en cuanto se verifica la prueba, normalmente en horas o menos a medida que la generación se acelera. La misma técnica sirve para construir puentes y light clients con mínima confianza.
La etiqueta ZK es en parte engañosa: la mayoría de las pruebas de los rollups buscan brevedad, no ocultar datos. Una prueba es tan sólida como sus circuitos y el código del verificador, que son complejos y han tenido fallos, por eso muchos sistemas mantienen consejos de seguridad capaces de intervenir. Generar las pruebas exige además mucha potencia de cálculo.
Ejemplo
Un zk-rollup agrupa miles de transferencias, un prover genera una sola prueba en minutos y el contrato verificador de Ethereum la comprueba en una transacción antes de actualizar el estado del rollup.