Zero-Knowledge: La Obra Perfecta
Visión que solo existe si puede ser comprobada
La visión de Sindri encontró la exigencia de Eitri: cada ejecución debía dejar una prueba verificable. Los herreros conocían su valor y la necesidad de revisar circuitos y contratos. La responsabilidad era comprobar cada pieza antes de confiarle el peso del reino.
El 27 de marzo de 2023, Polygon zkEVM lanzó su mainnet beta. La compatibilidad EVM buscaba facilitar la migración, pero había diferencias documentadas y mejoras pendientes. No era equivalencia perfecta con todo comportamiento de Ethereum. La palabra beta recordaba que aún se necesitaban pruebas y refinamiento.
El lanzamiento vino después de más de dos años de desarrollo intensivo, tres auditorías de seguridad externas, un programa de recompensas por bugs que distribuyó cientos de miles de dólares en premios, y verificación formal de componentes críticos del sistema de pruebas. Jordi Baylina y su equipo no lanzaron cuando estaban listos para el mercado. Lanzaron cuando estaban listos para la responsabilidad de tener valor de usuario real dependiendo de la corrección de las pruebas.
La criptografía de conocimiento cero permite a un probador demostrar conocimiento de información sin revelar la información misma, o, en el contexto de zkEVMs, que una computación fue ejecutada correctamente sin que el verificador necesite rehacer la computación. Esto significa que Midgard puede verificar cientos de transacciones con una única prueba compacta, en lugar de ejecutar cada transacción individualmente. La asimetría entre el costo de prueba y el costo de verificación es lo que hace que el modelo sea económicamente sostenible a escala.
Verificar la prueba evitaba repetir toda la ejecución. Esa fuerza dependía de supuestos criptográficos y de una implementación correcta. Los herreros mantenían la vigilancia: auditorías, correcciones y cuidado con las claves de actualización también protegían al viajero.