Este artículo es una publicación de la comunidad. El autor es Kenny Li, cofundador de Manta Network, un protocolo de privacidad programable de Capa 1 impulsado por tecnología a prueba de conocimiento cero.
Resumen
La prueba de conocimiento cero (ZKP) es una tecnología criptográfica que permite verificar la veracidad de una información sin revelar la información en sí. Esta tecnología está adquiriendo cada vez más importancia en blockchain, criptomonedas y finanzas descentralizadas (DeFi) para mejorar la privacidad y la seguridad.
La mayoría de los proyectos DeFi ya utilizan ZKP para brindar mayor privacidad y seguridad a los usuarios en servicios como préstamos, toma de préstamos y comercio. Varias cadenas de bloques de Capa 1 agregan un roll-up basado en ZKP o zkEVM. Se espera que la prueba de conocimiento cero desempeñe un papel cada vez más importante en el mundo de blockchain y Web3, porque se espera que sus aplicaciones se adopten más ampliamente.
¿Cómo funciona la prueba de conocimiento cero?
En el método de prueba de conocimiento cero, una parte (el probador) puede demostrarle a otra parte (el verificador) que una afirmación es verdadera sin revelar información adicional. Esto es especialmente útil cuando la información es confidencial y el verificador no quiere que pueda acceder a ella.
El probador proporciona una prueba matemática que sólo él puede producir, luego el verificador puede usar esta prueba para verificar la verdad de la afirmación. Sin embargo, el verificador no puede utilizar dicha evidencia para reconstruir la información original.
Imagine un túnel con dos entradas, A y B. Hay una puerta cerrada con un código secreto que bloquea el único camino e impide que las personas caminen por el túnel de un extremo al otro (de A a B). Conoces el código secreto y quieres vendérselo a la Sra.
Quieres que pague por adelantado antes de revelarle el código. Sin embargo, primero quiere que demuestres que realmente conoces el código. En esta situación, solo puede hacerlo parándose al frente del túnel y mirándote entrar por un extremo y salir por el otro. De esta manera, se sentirá seguro de que realmente conoces su código secreto.
¿Por qué utilizar la prueba de conocimiento cero?
La popularidad de las pruebas de conocimiento cero en blockchain y cripto está impulsada por la creciente demanda de privacidad y seguridad en las transacciones digitales. Con el surgimiento de la tecnología blockchain y las criptomonedas, existe una necesidad cada vez mayor de encontrar formas de verificar las transacciones sin revelar información confidencial. ZKP puede satisfacer esta necesidad.
La prueba de conocimiento cero ha atraído mayor atención e interés en los últimos años. Se han lanzado muchos protocolos que aprovechan ZKP y las principales cadenas de bloques han creado acumulaciones de conocimiento cero. En la conferencia DevCon 2022 se vio una prueba clara de la popularidad de la prueba de conocimiento cero. Más del 20% de las discusiones estuvieron relacionadas con esta tecnología.
Desarrollos importantes
Un avance importante en la prueba de conocimiento cero es el uso cada vez mayor de zk-SNARK, un tipo especial de ZKP. zk-SNARK se ha adoptado ampliamente en varias aplicaciones DeFi, como transacciones de tokens privadas y la concesión y obtención de préstamos protegidos. Otro avance importante en la prueba de conocimiento cero es el mayor enfoque en la escalabilidad y el rendimiento de zkRoll-up.
zk-SNARK
El argumento de conocimiento sucinto no interactivo de conocimiento cero (zk-SNARK) es un tipo especial de prueba de conocimiento cero que permite verificar una declaración sin revelar información sobre la declaración en sí.
zk-SNARK se ha utilizado en aplicaciones como Zcash y el sistema de pago basado en blockchain de JP Morgan Chase. zk-SNARK también se ha utilizado como una forma de autenticar de forma segura a los clientes en los servidores.
zkEnrollable
zkRoll-up es una solución de escalamiento para redes blockchain que facilita agrupar múltiples transacciones en una transacción grande que luego se registra en la blockchain. Por ejemplo, BNB Chain lanzó la red de prueba zkBNB construida sobre la arquitectura zkRoll-up en 2022.
zkBNB puede agrupar cientos de transacciones en un lote fuera de la cadena y generar pruebas criptográficas para demostrar la validez de todas las transacciones. zkRoll-up proporciona un equilibrio entre escalabilidad y seguridad y es adecuado para redes blockchain con alta escala y baja latencia.
Prueba de conocimiento cero de Kegunaan
La prueba de conocimiento cero tiene muchos usos. Algunas de ellas ya se han realizado, mientras que otras se espera que se realicen en el futuro. Algunos de los principales usos de ZKP incluyen:
Verificación de identidad digital
La prueba de conocimiento cero se puede utilizar para verificar la identidad de un usuario sin revelar información personal confidencial. Esto puede resultar útil en aplicaciones como los sistemas de votación digital que requieren verificación de la identidad de los votantes sin sacrificar el anonimato.
Transacciones que preservan la privacidad
Uno de los usos más populares de las pruebas de conocimiento cero en criptografía es permitir transacciones que preserven la privacidad. Por ejemplo, la aplicación descentralizada (DApp) de Manta Network, MantaPay, utiliza ZKP para permitir a los usuarios realizar transacciones en intercambios descentralizados (DEX) sin revelar su identidad o detalles de la transacción. Esto permite a los usuarios mantener la privacidad y al mismo tiempo poder utilizar la plataforma para realizar transacciones.
Transacciones protegidas
Zcash es una criptomoneda que utiliza prueba de conocimiento cero para permitir transacciones protegidas. En dichas transacciones, las direcciones del remitente y del destinatario, así como el monto de la transacción, están ocultas de la cadena de bloques pública para brindar privacidad adicional a los usuarios.
Tokenización y verificación de propiedad
Las pruebas de conocimiento cero también se pueden utilizar para tokenizar activos y verificar pruebas de propiedad. Por ejemplo, una propiedad puede tokenizarse y cualquiera de las partes puede verificar su propiedad sin revelar públicamente ninguna otra información.
Cumplimiento global
Algunos países tienen regulaciones estrictas con respecto a la recopilación y el intercambio de información financiera. Esto puede resultar difícil de cumplir para las plataformas descentralizadas. La prueba de conocimiento cero se puede utilizar para compartir la información necesaria con los reguladores manteniendo su privacidad frente a los demás.
Esto puede cerrar la brecha entre las plataformas descentralizadas y las instituciones financieras tradicionales, facilitando que DeFi cumpla con las regulaciones en varias jurisdicciones.
El futuro de la prueba de conocimiento cero en Blockchain
Es probable que la prueba de conocimiento cero marque el comienzo de nuevas innovaciones tecnológicas en el futuro. Una serie de desarrollos futuros relacionados con ZKP a los que vale la pena prestar atención incluyen:
Capa de privacidad entre cadenas
A medida que el ecosistema blockchain y DeFi continúa creciendo y desarrollándose, existe una necesidad cada vez mayor de interoperabilidad entre varias redes blockchain. Una capa de privacidad entre cadenas permitirá que las transacciones se realicen en múltiples redes blockchain manteniendo la privacidad de las partes involucradas.
zk-STARK
Otra área que vale la pena observar es el uso cada vez mayor de zk-STARK (argumento de conocimiento transparente escalable de conocimiento cero), un nuevo tipo de prueba de conocimiento cero que se considera más eficiente y seguro que zk-SNARK. Otra ventaja es que zk-STARK se verifica más rápidamente y no requiere configuraciones confiables en comparación con zk-SNARK.
Una gama de herramientas fáciles de usar
La tecnología de prueba de conocimiento cero puede resultar complicada. No todos los equipos de desarrollo son expertos en esta área particular de la criptografía. El conjunto de herramientas fáciles de usar de ZKP puede ayudar a cerrar esta brecha y facilitar que los desarrolladores de diversos orígenes utilicen esta tecnología.
Prueba de conocimiento cero de Batasan
La prueba de conocimiento cero representa un método único para verificar la exactitud de la información manteniendo la privacidad, pero no ofrece una garantía del 100%. Aunque la probabilidad de verificación cuando el probador miente es muy pequeña, los usuarios deben tener en cuenta que ZKP no es perfecto.
Además, el algoritmo utilizado por la prueba de conocimiento cero requiere elevados recursos informáticos. En algunos tipos de ZKP, se requiere un cálculo intensivo porque requiere mucha interacción entre el verificador y el probador. En otros tipos, el algoritmo requiere mucha computación, lo que potencialmente limita la aplicabilidad de ZKP.
Clausura
La prueba de conocimiento cero está atrayendo rápidamente la atención porque tiene características únicas de preservación de la privacidad y potencial de escalamiento. Es probable que la creciente aplicación de esta tecnología en blockchain, criptomonedas y DeFi genere servicios más innovadores que beneficiarán enormemente a los usuarios. Se espera que la prueba de conocimiento cero desempeñe un papel importante en la creación de un ecosistema DApp más seguro, privado y eficiente.
Otras lecturas
Explicación de zk-SNARK y zk-STARK
Solución de escalamiento Blockchain Capa 1 vs. Capa 2