Prueba de Validez

Una prueba de validez es una prueba criptográfica que se envía junto a un lote de transacciones de capa 2 y demuestra que el nuevo estado se calculó correctamente a partir del anterior. El contrato de capa 1 verifica la prueba matemáticamente, así que nunca tiene que confiar en el operador ni volver a ejecutar las transacciones. Eso es lo que define a un ZK rollup: como la corrección se prueba de antemano, los retiros hacia la capa 1 pueden liquidarse en cuanto se acepta la prueba, sin la ventana de disputa de varios días que necesitan los rollups optimistas. Conviene recordar que la validez cubre la ejecución, no la intención: la prueba confirma que se siguieron las reglas, no que el contrato esté bien diseñado ni que el secuenciador te tratara con justicia.