ZK-Rollup empaqueta una gran cantidad de transacciones en una Bloque rollup y genera una prueba concisa para el bloque fuera de la cadena. Los contratos inteligentes en Layer1 pueden simplemente verificar el certificado, sin volver a ejecutar estas interacciones.
Esto no solo puede ahorrar tarifas de gas porque el costo de verificación de la prueba está muy por debajo del costo computacional de la reejecución; pero otro beneficio es ahorrar espacio de almacenamiento a través de la compresión de datos (es decir, almacenar solo la menor cantidad de datos en la cadena para su verificación).
Un punto clave de ZK-Rollup radica en “cuestionarlo todo”, lo que contrasta con el Optimistic Rollup “suposición optimista de que nadie hace el mal”. ZK-Rollup establece por defecto que todos los resultados enviados están bien, pero requiere que Layer2 lleve una prueba zk-SNARK después de enviar los datos para demostrar la precisión de sus resultados.
Volviendo al ejemplo:
Si Richard toma el saldo directamente, no verifica los detalles, sino que espera hasta que algo anda mal, es similar a Optimistic Rollup; pero si Xiao Ming le pide a la cantina que garantice la precisión de la balanza, es similar a ZK-Rollup.
Te estarás preguntando, ¿por qué los documentos de certificación proporcionados por la cantina pueden demostrar que los datos que dan son correctos? Se trata de la ZK (prueba de conocimiento cero).
La prueba de conocimiento cero más simple es que hay una puerta de contraseña en medio de un canal, si Richard necesita demostrar que conoce la contraseña, no tiene que decirle a otros cuál es la contraseña, solo necesita pasar la contraseña. puerta. Por supuesto, la prueba de conocimiento cero puesta en aplicación práctica es mucho más complicada que esto. Para obtener más información, consulte este artículo de Vitalik:
https://link.medium.com/kTqKFY2XDub
Después de leerlo, verá por qué ZK-Rollup fue propuesto muy temprano y elogiado por Vitalik, pero progresó poco en comparación con Optimistic Rollups: la dificultad y el principio de ZK aún se están resolviendo y son mucho más complicados de lo imaginado.