¿Qué son las pruebas de conocimiento cero?
Las pruebas de conocimiento cero (ZKP) permiten a los usuarios de la red criptográfica verificar la validez de una transacción sin revelar detalles de la transacción.
:format(webp)/cloudfront-us-east-1.images.arcpublishing.com/coindesk/OXA6WS2AEZCD7M7OD5WFGRY6IM.jpg)
Las pruebas de conocimiento cero ayudan a garantizar que la privacidad de las transacciones no se produzca a expensas de la confianza. Continúe leyendo para saber qué son las pruebas de conocimiento cero, cómo funcionan y por qué las necesitamos en Web3.
Este es contenido de socios procedente de Unchained de Laura Shin y publicado por CoinDesk.
¿Qué son las pruebas de conocimiento cero?
Las pruebas de conocimiento cero (ZKP) son protocolos que ayudan a demostrar la validez de las declaraciones en blockchains sin ofrecer información que pueda comprometer la privacidad. Permiten a los usuarios verificar la validez de una transacción sin revelar detalles de la transacción.
En las pruebas de conocimiento cero, el probador es responsable de probar la afirmación y la función del verificador es validarla. Los protocolos revelan en cadena que la información oculta es válida y el probador lo sabe con gran certeza.
En manos de actores malintencionados, la información de identificación personal (PII) puede presentar ciertos riesgos, como robo de identidad, daño a la reputación y discriminación. Las pruebas de conocimiento cero garantizan que su PII permanezca protegida.
Considere un escenario en el que debe demostrar su identidad para completar una transacción. Deberá proporcionar pruebas, como su licencia de conducir y otra PII.
Sin embargo, usted no tendrá control sobre la seguridad de esa información una vez que esté en manos de un tercero. Los piratas informáticos podrían atacar la base de datos central del tercero, o el tercero podría compartir su información con otros con fines publicitarios específicos y otros motivos.
Con pruebas de conocimiento cero, puedes evitar compartir esta información y limitarte a demostrar su validez.
¿Cómo funcionan las pruebas de conocimiento cero?
Las pruebas de conocimiento cero utilizan algoritmos que procesan los datos de entrada y confirman su veracidad. Proyectos como StarkNet en Ethereum, Polygon Zero, Zk Sync y más utilizan actualmente los protocolos en su funcionalidad.
Para que las pruebas de conocimiento cero funcionen de manera eficiente, hay tres criterios que deben satisfacer:
- Conocimiento cero : el verificador no puede acceder a la entrada original. La única información disponible para ellos es la validez de la declaración.
- Solidez : el protocolo no puede validar una entrada no válida como verdadera. El protocolo debe tener salvaguardias para garantizar que el probador no tenga espacio para manipular al verificador haciéndole creer que su declaración es verdadera.
- Integridad : siempre que la entrada sea válida, el protocolo siempre valida la declaración. El protocolo acepta la prueba si ambas partes actúan con honestidad y la información subyacente es cierta.
Una prueba básica de conocimiento cero consta de tres elementos.
- Primero tenemos el testigo , que es la información Secret . El probador proporciona preguntas que sólo una parte con conocimiento de la información sabría.
- El segundo elemento es el desafío , donde el verificador selecciona una pregunta del conjunto para que el probador la responda.
- El tercer y último elemento es la respuesta , donde el provedor responde a la pregunta. Con la respuesta, el verificador confirma que el probador puede acceder al testigo. Luego, el verificador procede a seleccionar más preguntas del conjunto. Las múltiples preguntas limitan la posibilidad de que el probador finga conocer la información.
Tipos de pruebas de conocimiento cero
Hay dos tipos de pruebas de conocimiento cero: interactivas y no interactivas.
- Las pruebas interactivas de conocimiento cero permiten la comunicación de ida y vuelta entre dos partes. La comunicación permite verificar la validez de la declaración a satisfacción del verificador.
- Pruebas de conocimiento cero no interactivas : aquí, dos partes participan en una sola ronda de comunicación. El probador comparte la información con un algoritmo que calcula la prueba de conocimiento cero. El verificador recibe la prueba y utiliza otro algoritmo para confirmar el conocimiento del probador.
Dada la conveniencia de los ZKP no interactivos, muchos de los protocolos disponibles actualmente se incluyen en la categoría de ZKP no interactivos. Veamos algunos de ellos.
- ZK-SNARK: Conocidos en su totalidad como Argumento de conocimiento sucinto no interactivo de conocimiento cero, su pequeño tamaño facilita el proceso de verificación. Estos protocolos utilizan curvas elípticas para generar una prueba criptográfica, un proceso que se considera eficiente en Gas .
- ZK-STARK: Se les conoce como Argumento de Conocimiento Transparente Escalable de Conocimiento Cero. Son rápidos debido a la mínima interacción entre dos partes.
- Pruebas de balas: no requieren una configuración confiable. Las pruebas breves de conocimiento cero no interactivas permiten transacciones privadas de criptomonedas.
- PLONK: Se conocen como permutaciones sobre bases de Lagrange para argumentos ecuménicos no interactivos del conocimiento. Los PLONK permiten una gran cantidad de participantes mediante el uso de una configuración universal confiable.
¿Por qué necesitamos pruebas de conocimiento cero?
Varios casos de uso explican por qué necesitamos pruebas de conocimiento cero. Echemos un vistazo a algunos de los más importantes.
- Seguridad y privacidad: el seudónimo de Web3 no garantiza una privacidad total ya que el historial de transacciones está disponible en cadenas de bloques públicas. Con las ZKP, la verificación de la información es posible sin revelar PII, manteniendo así el anonimato.
- Verificación de identidad: demostrar la propia identidad no tiene por qué incluir compartir información confidencial. Los ZKP ofrecen una vía para llevar a cabo el proceso de verificación de identidad de forma privada y segura.
- Escalabilidad: con ZKP, las redes blockchain pueden verificar transacciones sin revelar los datos subyacentes. La eficiencia de la red mejora ya que la información almacenada en la cadena de bloques se reduce significativamente.
- Cumplimiento: las organizaciones pueden cumplir con los requisitos reglamentarios relacionados con el lavado de dinero, KYC y otras leyes relevantes. Los ZKP permiten a las organizaciones cumplir sin almacenar la información personal de los usuarios en bases de datos centralizadas.
Las pruebas de conocimiento cero son una herramienta de criptografía fundamental que ofrece autenticación de información a partes no identificadas o que no son de confianza. La naturaleza seudónima del espacio Web3 presenta un desafío en materia de verificación de información. Los ZKP abordan este problema a través de protocolos revolucionarios que prometen garantizar transacciones rápidas y seguras.
