¡Bienvenido a Aprende sobre Zcash!
Tu píldora educativa para acceder a todo lo que necesitas conocer sobre privacidad financiera con Zcash.
Hoy conocerás un poco más sobre la criptografía que da vida a Zcash, para que puedas confiar en la privacidad financiera que te ofrece.
- ¿Qué son las pruebas de conocimiento cero?
- ¿Qué son los zk-SNARKs?
- ¿Qué es Halo para Zcash?
¿Qué son las pruebas de conocimiento cero?
Una prueba de conocimiento cero es un método criptográfico que puede demostrar que algo es cierto sin revelar los hechos que lo hacen cierto.
Zcash fue la primera aplicación en el mundo real de las pruebas de conocimiento cero, un método novedoso por el cual una parte (el provador) puede probar a otra (el verificador) que una afirmación es cierta, sin revelar ninguna información más allá de la validez de la propia afirmación. Un ejemplo es probar que una persona es mayor de 21 años sin exponer la información de su carné de conducir o revelar su fecha de nacimiento.
En Zcash, las pruebas de conocimiento cero permiten la privacidad. Garantizan que el saldo del monedero y el historial de transacciones de una persona son exactos sin revelar el saldo real ni el historial de transacciones. Así, si una persona intenta enviar ZEC a otra, por ejemplo, la red blockchain de Zcash tiene la seguridad de que el ZEC enviada es auténtico y que el saldo del remitente cubrirá la transacción.
¿Qué son los zk-SNARKs?
Las siglas zk-SNARK corresponden a Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento Sucinto de Conocimiento Cero No Interactivo) y se refieren a una construcción de prueba en la que se puede demostrar la posesión de cierta información, por ejemplo, una clave secreta, sin revelar dicha información y sin ninguna interacción entre el probador y el verificador.
Zcash fue la primera aplicación generalizada de zk-SNARK, una novedosa forma de criptografía de conocimiento cero. La fuerte garantía de privacidad de Zcash se deriva del hecho de que las transacciones blindadas en Zcash pueden ser totalmente encriptadas en la cadena de bloques, y aún así ser verificadas como válidas bajo las reglas de consenso de la red mediante el uso de pruebas zk-SNARK.
Nota: con la Actualización de Red 5 (NU5) en mayo de 2022, Zcash introdujo el protocolo de pago blindado Orchard, que utiliza el sistema de prueba de conocimiento cero Halo 2. Halo es un nuevo zk-SNARK que por fin es capaz de resolver dos problemas pendientes en Zcash: eliminar la configuración de confianza mientras se alcanzan los objetivos de rendimiento y soportar una arquitectura escalable para pagos digitales privados.
Las pruebas de "conocimiento cero" permiten a una parte (el provador) probar a otra (el verificador) que una afirmación es cierta, sin revelar ninguna información más allá de la validez de la propia afirmación. Por ejemplo, dado el hash de un número aleatorio, el probador podría convencer al verificador de que efectivamente existe un número con ese valor hash, sin revelar cuál es.
En una "Prueba de Conocimiento" de conocimiento cero, el demostrador puede convencer al verificador no sólo de que el número existe, sino de que de hecho conoce dicho número, de nuevo, sin revelar ninguna información sobre el número.
Las pruebas "sucintas" de conocimiento cero pueden verificarse en unos pocos milisegundos, con una longitud de prueba de sólo unos cientos de bytes, incluso para afirmaciones sobre programas muy grandes. En los primeros protocolos de conocimiento cero, el provador y el verificador tenían que comunicarse durante varias rondas, pero en las construcciones "no interactivas", la prueba consiste en un único mensaje enviado del provador al verificador. Antes de Halo, la forma más eficiente de producir pruebas de conocimiento cero no interactivas y lo suficientemente cortas como para publicarlas en una cadena de bloques consistía en una fase inicial de configuración que generaba una cadena de referencia común compartida entre el provador y el verificador. Nos referimos a esta cadena de referencia común como los parámetros públicos del sistema.
Si alguien tuviera acceso a la aleatoriedad secreta utilizada para generar estos parámetros, podría crear pruebas falsas que parecerían válidas para el verificador. Para Zcash, esto significaría que la parte maliciosa podría crear monedas falsas. Para evitar que esto ocurra, Zcash generó los parámetros públicos a través de dos elaboradas ceremonias multipartitas para Sprout y Sapling.
¿Qué es Halo para Zcash?
Halo es un avance criptográfico descubierto por Sean Bowe de la Electric Coin Co. El sistema de prueba de Halo se implementó en Zcash para eliminar la dependencia de las ceremonias de configuración, y la recursividad de Halo, una solución de escalabilidad, está en desarrollo.
El documento Halo, escrito en 2019 por Sean Bowe, Jack Grigg y Daira Hopwood de ECC, introdujo una nueva técnica para crear sistemas de prueba criptográficos prácticos, escalables y sin confianza, poniendo fin a una búsqueda de casi una década por parte de la comunidad criptográfica.
El sistema de comprobación de Halo elimina la dependencia del protocolo de las llamadas "configuraciones de confianza" y proporciona un catalizador para la confianza de los usuarios y la escalabilidad de Zcash, al tiempo que hace que el protocolo sea más atractivo, más rápido y menos costoso para que otros puedan basarse en él.
En ECC se está desarrollando una técnica denominada recursión o amortización anidada, también presentada en el artículo de Halo, reforzada por un acuerdo con Protocol Labs, la Fundación Filecoin y la Fundación Ethereum. En palabras de Bowe, este avance criptográfico "permite que una sola prueba atestigüe la corrección de otras pruebas prácticamente ilimitadas, permitiendo de hecho comprimir una gran cantidad de cálculo (e información)".
Halo sienta las bases para la interoperabilidad entre cadenas y posiciona a Zcash como una capa fundacional para una economía global y digital.
Aprende sobre Zcash es una sección del sitio web de Zcash que te permitirá conocer los fundamentos y primeros pasos a dar para acceder a la privacidad financiera sin fricciones o limitaciones.
Si quieres aprender más sobre privacidad en la economía digital descentralizada, te puedes unir a la comunidad de Zcash Español en Telegram. Para conectar con el ecosistema digital de Zcash Español, visita nuestro LinkTree.
