Vamos a explicar ZK: 📚 ZK significa Conocimiento Cero y desbloquea dos superpoderes: Privacidad y Escala. ZK es muy cercano a mi corazón, tanto como coinventor de ZK-STARKs como cofundador de dos proyectos ZK: @Zcash (centrado en la privacidad) y @StarkWareLtd (centrado en la escala y ahora en la privacidad)

@Zcash @StarkWareLtd ¿Cómo funciona ZK? Existen dos tipos de entidades: un Verificador y un Verificador El Prover hace el trabajo duro: - Registrar los datos de todos los txs - Procesamiento de los datos - Actualizar el estado del sistema (es decir, el saldo tras todos los trastes) - Generar una actualización de estado y una demostración

@Zcash @StarkWareLtd Una declaración típica del Prover dice: "Yo, el Prover, he empezado con el estado A, he procesado 1.000.000 de mensajes y, basándonos en ellos, he llegado estado B". La demostración es una secuencia de números y hashes que puede comprobarse para demostrar la integridad de toda la afirmación.

@Zcash @StarkWareLtd El Verificador (que normalmente se sitúa en la cadena de la cadena) comprueba la demostración, usando matemáticas y criptografía para comprobar si la afirmación es verdadera antes de ser aceptada. Los teoremas que hemos demostrado a lo largo de los años dicen que el Verificador siempre acepta afirmaciones verdaderas y nunca acepta afirmaciones falsas.

@Zcash @StarkWareLtd Un Provedor malicioso que podría intentar convencer a un Verificador de aceptar una afirmación falsa tiene que hacer un trabajo similar a encontrar una colisión en una función hash criptográfica, lo cual no puede hacerse antes de que nuestro Sol se enfríe.

@Zcash @StarkWareLtd ¿Por qué ZK es bueno para la privacidad? El Verificador no comprueba la corrección de la afirmación procesando los datos que atestigua. Por eso los datos pueden verificarse como válidos mientras se mantienen ocultos al Verificador.

@Zcash @StarkWareLtd ¿Por qué ZK es bueno para la escala? El Verificador no necesita repetir el cálculo que hizo el Verificador. El demostrador puede procesar 1 millón de mensajes, pero el verificador no tendrá que repetirlos para verificar la corrección de todos esos textos. Comprobar la prueba será suficiente para asegurar su validez.