¿Qué son las pruebas de conocimiento cero?

Las pruebas de conocimiento cero ayudan a garantizar que la Privacidad de las transacciones no se vea afectada por la confianza. Continúe leyendo para Aprende qué son las pruebas de conocimiento cero, cómo funcionan y por qué son necesarias en la Web3.

Este es contenido de socios procedente deDesencadenada 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 cadenas de bloques 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 misma.

En las pruebas de conocimiento cero, el probador es responsable de comprobar 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 alta certeza.

En manos de actores maliciosos, la información personal identificable (PII) puede presentar ciertos riesgos, como el robo de identidad, el daño a la reputación y la discriminación. Las pruebas de conocimiento cero garantizan la protección de su PII.

Imagine un escenario en el que debe demostrar su identidad para completar una transacción. Deberá proporcionar evidencia como su licencia de conducir y otra información personal identificable (PII).

Sin embargo, no tendrá control sobre la seguridad de esa información una vez que esté en manos de un tercero. Los hackers podrían atacar la base de datos central del tercero, o el tercero podría...comparte tu información con otrospara 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 otros utilizan actualmente estos protocolos en su funcionalidad.

Para que las pruebas de conocimiento cero funcionen de manera eficiente, deben satisfacer tres criterios:

• Conocimiento ceroEl verificador no puede acceder a la entrada original. La única información disponible es la validez de la declaración.
• SolvenciaEl protocolo no puede validar una entrada inválida como verdadera. Debe contar con salvaguardas para garantizar que el probador no tenga margen para manipular al verificador y hacerle creer que su afirmación es verdadera.
• Lo completoSi la entrada es válida, el protocolo siempre valida la declaración. El protocolo acepta la prueba si ambas partes actúan honestamente y la información subyacente es verdadera.

Una prueba básica de conocimiento cero comprende tres elementos.

• Primero, tenemos el testigo, que es la información Secret . El probador plantea preguntas que solo quien tenga acceso a la información sabría.
• El segundo elemento es eldesafío, donde el verificador selecciona una pregunta del conjunto para que el probador la responda.
• El tercer y último elemento es elrespuesta, donde el probador responde a la pregunta. Con la respuesta, el verificador confirma que puede acceder al testigo. A continuación, selecciona más preguntas del conjunto. La multiplicidad de preguntas limita la posibilidad de que el probador falsee el conocimiento de la información.

Tipos de pruebas de conocimiento cero

Hay dos tipos de pruebas de conocimiento cero: interactivas y no interactivas.

• Pruebas interactivas de conocimiento ceroPermite la comunicación recíproca entre dos partes. Esta comunicación permite verificar la validez de la declaración a satisfacción del verificador.
• Pruebas de conocimiento cero no interactivasAquí, 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 protocolos disponibles actualmente se clasifican como tales. Analicemos algunos.

• ZK-SNARKs:Conocido 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 el uso de GAS .
• ZK-STARKs:Se conocen como Argumentos de Conocimiento Transparentes y Escalables de Conocimiento Cero. Son rápidos debido a la mínima interacción entre dos partes.
• A prueba de balas: No requieren una configuración confiable. Las pruebas de conocimiento cero, breves y no interactivas, permiten transacciones privadas de Criptomonedas .
• MORAPIO:Estas se conocen como permutaciones sobre bases de Lagrange para argumentos ecuménicos no interactivos de conocimiento. Los PLONK permiten un gran número de participantes mediante una configuración universal de confianza.

¿Por qué necesitamos pruebas de conocimiento cero?

Diversos casos de uso explican por qué necesitamos pruebas de conocimiento cero. Analicemos algunos de los más importantes.

• Seguridad y Privacidad: El seudonimato de Web3 no garantiza la Privacidad total, ya que el historial de transacciones está disponible en cadenas de bloques públicas. Con las ZKP, es posible verificar la información sin revelar información personal identificable (PII), manteniendo así el anonimato.
• Verificación de identidad:Demostrar la identidad no implica necesariamente compartir información confidencial. Las ZKP ofrecen una vía para realizar el proceso de verificación de identidad de forma privada y segura.
• Escalabilidad:Con los 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 blockchain se reduce significativamente.
• Cumplimiento:Las organizaciones pueden cumplir con los requisitos regulatorios en materia de lavado de dinero, KYC y otras leyes relevantes. Las 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 (ZKP) son una herramienta criptográfica fundamental que ofrece autenticación de información a terceros no identificados o no confiables. La naturaleza seudónima del espacio Web3 presenta un desafío en materia de verificación de información. Las ZKP abordan este problema mediante protocolos revolucionarios que prometen garantizar transacciones rápidas y seguras.