Las pruebas de conocimiento cero (ZKP) son un concepto fascinante y poderoso en criptografía que permite a alguien demostrar que sabe algo sin revelar lo que sabe. Esto significa que puede verificar que alguien tiene la información correcta sin que tenga que revelar ningún detalle sobre esa información. Esta propiedad tiene muchas aplicaciones interesantes, desde autenticación segura hasta transacciones privadas en una cadena de bloques.
En esta publicación, exploraremos el mundo de las pruebas de conocimiento cero, incluidos los diferentes tipos de ZKP, como ZK-Snarks, ZK-Starks y el desarrollo más reciente y emocionante, el sistema PLONK ZKP. También proporcionaremos ejemplos de la vida real fáciles de entender para ayudarte a comprender estos conceptos incluso si tienes cinco años.
¿Qué son las pruebas de conocimiento cero?
Las pruebas de conocimiento cero (ZKP) son una técnica criptográfica que permite a una parte, el probador, convencer a otra parte, el verificador, de que conoce una información sin revelarla. En otras palabras, el demostrador puede demostrar que posee una determinada información sin revelar cuál es esa información.
Los ZKP son herramientas poderosas en criptografía porque permiten la autenticación, la identificación y el intercambio de datos seguros sin revelar ninguna información confidencial. Permiten a las partes verificar información y transacciones sin renunciar a ninguna privacidad.
ZK-Snarks
ZK-Snarks es un tipo de prueba de conocimiento cero que se usa ampliamente en la tecnología blockchain, especialmente en blockchains centradas en la privacidad como Zcash. ZK-Snarks significa Argumento de conocimiento sucinto no interactivo de conocimiento cero.
Para entender ZK-Snarks, imaginemos un escenario en el que tienes un número secreto y quieres demostrarle a alguien que conoces el número sin revelar cuál es ese número. ZK-Snarks le permitiría hacer esto construyendo una prueba que convencería a la otra persona de que conoce el número sin revelar el número en sí.
ZK-Starks
ZK-Starks es otro tipo de prueba de conocimiento cero similar a ZK-Snarks, pero con algunas diferencias. ZK-Starks significa Argumento de conocimiento transparente escalable de conocimiento cero.
Para entender ZK-Starks, imaginemos un escenario en el que tienes una frase secreta y quieres demostrarle a alguien que conoces la frase sin revelar la frase en sí. ZK-Starks le permitiría hacer esto construyendo una prueba que convencería a la otra persona de que conoce la frase sin revelar la frase en sí.
PLONCOS
PLONK es el desarrollo más reciente y emocionante en el mundo de las pruebas de conocimiento cero. PLONK significa basado en polinomios, linealmente complejo, no interactivo y a prueba de conocimiento.
PLONK es un tipo de prueba de conocimiento cero que es incluso más potente y eficiente que ZK-Snarks y ZK-Starks. Tiene muchas aplicaciones en criptografía, incluidas transacciones privadas, autenticación e intercambio de datos.
Para entender PLONK, imaginemos un escenario en el que tienes un mensaje secreto y quieres demostrarle a alguien que conoces el mensaje sin revelar el mensaje en sí. PLONK le permitiría hacer esto construyendo una prueba que convencería a la otra persona de que conoce el mensaje sin revelar el mensaje en sí.
Conclusión
Las pruebas de conocimiento cero son una herramienta poderosa en criptografía que permite a las partes verificar información y transacciones sin revelar ninguna información confidencial. ZK-Snarks, ZK-Starks y PLONK son diferentes tipos de pruebas de conocimiento cero que tienen diversas aplicaciones en la industria blockchain y más allá.
