Vamos a explicar ZK: 📚 ZK significa Zero Knowledge y desbloquea 2 superpoderes: Privacidad y Escalabilidad. ZK está cerca de mi corazón, tanto como co-inventor de ZK-STARKs como cofundador de 2 proyectos ZK: @Zcash (enfocado en la privacidad) y @StarkWareLtd (enfocado en la escalabilidad y ahora en la privacidad)

@Zcash @StarkWareLtd ¿Cómo funciona ZK? Hay dos tipos de entidades: un Proveedor y un Verificador El Proveedor hace el trabajo pesado: - Registrando los datos de todas las transacciones - Procesando los datos - Actualizando el estado del sistema (es decir, el saldo después de todas las transacciones) - Generando una actualización de estado y una prueba

@Zcash @StarkWareLtd Una declaración típica del Prover dice "Yo, el Prover, he comenzado con el estado A, he procesado 1,000,000 txs, y basado en eso, he alcanzado el estado B". La prueba es una secuencia de números y hashes que se pueden verificar para demostrar la integridad de toda la declaración.

@Zcash @StarkWareLtd El Verificador (que típicamente se encuentra en la cadena) verifica la prueba, utilizando 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 Prover malicioso que intente convencer a un Verifier de aceptar una declaración falsa tiene que realizar una cantidad similar de trabajo a la de encontrar una colisión en una función hash criptográfica, lo cual no se puede hacer 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 declaración procesando los datos que atestigua. Por eso, los datos pueden ser verificados como válidos mientras se mantienen ocultos del Verificador.

@Zcash @StarkWareLtd ¿Por qué es bueno ZK para la escalabilidad? El Verificador no necesita volver a realizar el cálculo que hizo el Proveedor. El proveedor puede procesar 1 millón de txs, pero el Verificador no tendrá que repetirlo para verificar la corrección de todos estos txs. Comprobar la prueba será suficiente para garantizar su validez.