OKLink: ¿Hacer tus transacciones eficientes y seguras? Inseparable de la tecnología de "prueba de conocimiento cero"

Autor original: Jason Jiang

En la evolución de la tecnología blockchain, hay dos cuestiones clave que no se pueden evitar: la privacidad y la expansión. Cuando buscamos "soluciones estándar" para estos dos problemas, descubrimos que son inseparables de una tecnología, es decir: prueba de conocimiento cero. ¿Qué es una prueba de conocimiento cero? ¿Cómo resuelve los problemas de privacidad y expansión de blockchain?

1. ¿Qué es una prueba de conocimiento cero?

En 1985, S.Goldwasser, S.Micali y C.Rackoff del MIT propusieron por primera vez una prueba de conocimiento cero en el artículo de investigación "Knowledge Complexity of Interactive Proof Systems". Este es un protocolo de verificación para que un demostrador demuestre la exactitud de sus conocimientos sin revelar ninguna información válida.

Para facilitar la comprensión, pongamos un ejemplo:

El pequeño O posee una caja con una contraseña y quiere convencer al pequeño K de que conoce la contraseña sin decirle la contraseña real. ¿Cómo hacerlo?

Al pequeño O se le ocurrió una manera: le pidió al pequeño K que escribiera una nota cuyo contenido solo él conocía en el mundo, y luego el pequeño K la metió en la caja abierta y la cerró con llave. Luego, Little O quitó la caja y usó la contraseña para sacar la nota que Little K puso en la caja y se la dio a Little K al día siguiente. Durante este proceso, Little K no aprendió ninguna información (la contraseña de la caja) que no conocía antes, pero aún tenía que creer que Little O conocía la contraseña. Este proceso de verificación es una prueba de conocimiento cero.

**En términos simples, la prueba de conocimiento cero consiste en establecer confianza entre las dos partes con la mínima cantidad de información intercambiada. Sin revelar más información, A puede demostrarle a B que algo/una determinada conclusión es correcta. **

Según el modo de interacción en el proceso de prueba, se puede dividir en dos categorías: "prueba interactiva de conocimiento cero" y "prueba de conocimiento cero no interactiva".

La prueba interactiva de conocimiento cero significa que para probar algo, el probador necesita interactuar repetidamente con el verificador, como un detector de mentiras: el verificador constantemente hace preguntas para cuestionar la autenticidad del compromiso del probador, y el probador debe responder constantemente. a estos desafíos hasta que los validadores estén convencidos. Su flujo es el siguiente:

Las primeras pruebas de conocimiento cero eran todas interactivas. Este método es sencillo, pero el proceso es largo e ineficiente: ambas partes deben completar la verificación en línea al mismo tiempo, y solo se puede confiar en un verificador a la vez. Si se va a confiar en varias personas, se debe repetir el proceso anterior. . Es agotador pensar en este proceso.

Así surgieron pruebas de conocimiento cero no interactivas. En las pruebas de conocimiento cero no interactivas, el probador y el verificador acuerdan las reglas de verificación de antemano, el probador proporciona los datos según lo prometido y el verificador puede verificar la exactitud de los datos en cualquier momento. En este tipo de verificación no interactiva, no es necesario que ambas partes estén en línea al mismo tiempo y el probador solo necesita presentar pruebas una vez. **Las aplicaciones en escenarios reales son básicamente pruebas de conocimiento cero no interactivas, como ZK-SNARK y ZK-STARK. **

2. ¿Cuál es el uso de la prueba de conocimiento cero en el mundo blockchain?

Las pruebas de conocimiento cero se utilizan principalmente para resolver dos tipos de problemas en el mundo blockchain: privacidad y escalabilidad. **

(1) Privacidad

Uno de los resultados importantes de la aplicación de la prueba de conocimiento cero es el proyecto Zcash lanzado en 2015 que puede realizar transacciones privadas. Además de las monedas anónimas como Zcash, las pruebas de conocimiento cero también pueden desempeñar un papel en escenarios como las finanzas blockchain, la votación en cadena y la verificación de identidad.

En las aplicaciones financieras de blockchain, las pruebas de conocimiento cero permiten a los participantes elegir de manera flexible qué transacciones e información quieren revelar y ocultar. Por ejemplo, las empresas pueden exponer selectivamente ciertos pagos para pistas de auditoría, mientras ocultan información confidencial sobre clientes confidenciales, salarios de empleados, contratistas, proveedores y más.

Al votar en cadena, la prueba de conocimiento cero también puede permitir a los participantes votar de forma anónima y verificar la validez de los resultados de la votación.

Además, la prueba de conocimiento cero también puede ayudar a los usuarios a lograr la verificación de identidad sin revelar información de identidad específica. Polygan ID en Ethereum adopta un esquema de verificación de prueba de conocimiento cero, que no solo ayuda a los usuarios a proteger la privacidad, sino que también cumple con los requisitos reglamentarios para las especificaciones de verificación KYC. Los usuarios son libres de elegir cuándo y qué datos compartir.

(2) Ampliabilidad

La cadena de bloques necesita urgentemente una expansión debido a limitaciones de rendimiento que no pueden satisfacer la demanda del mercado, y la solución de expansión ZK Rollup basada en prueba de conocimiento cero se considera la solución definitiva para la expansión de la Capa 2. ZK-Rollups mejora el rendimiento de la cadena de bloques transfiriendo cálculos fuera de la cadena, es decir, empaquetando una gran cantidad de transacciones en un bloque Rollup y generando una prueba de validez basada en una prueba de conocimiento cero bajo la cadena. en la Capa 1 solo es necesario validar la prueba para que el nuevo estado se aplique directamente, lo que resulta en menos gas y mayor seguridad.

zkSync basado en tecnología ZK-SNARKs y StarkNet basado en tecnología zk-STARKs son actualmente los proyectos ZK-Rollups más representativos.

Entre ellos, zkSync es una solución de expansión de Capa 2 lanzada por Matter Labs en 2018, que mejora la escalabilidad de la red Ethereum mediante el uso de Rollup basado en prueba de conocimiento cero. ** En febrero de este año, zkSync anunció el lanzamiento oficial de la red principal zkSync Era. Posteriormente, el navegador multicadena OKLink tomó la delantera en el acceso a los datos de la red principal zkSync y se convirtió en el primer navegador multicadena compatible con la red zkSync en toda la red. **

StarkNet es una red de Capa 2 sin permisos desarrollada por la empresa de software israelí StarkWare. Al utilizar la tecnología zk-STARKs, puede ayudar a las DApps a lograr una mayor escala informática con menores costos de transacción. Desde el lanzamiento de la red principal en noviembre de 2021, el ecosistema StarkNet se ha desarrollado rápidamente. Actualmente hay más de 100 Dapps y servicios, que cubren diferentes categorías como DeFi, NFT, billeteras y puentes entre cadenas. Como uno de los proyectos con mayor valoración y mayor participación de mercado en el segmento ZK Rollup, el desarrollo de StarkNet ha atraído mucha atención. El navegador multicadena OKLink de OKLink también lanzará el navegador StarkNet en un futuro próximo, proporcionando información y servicios de datos en cadena más completos y ricos para todos los usuarios que prestan atención y participan en la ecología de StarkNet y la construcción de la Capa 2.

Se informa que el navegador StarkNet será el navegador blockchain número 30 lanzado por OKLink y el segundo navegador ZK Rollup después de zksync. En el futuro, el navegador multicadena OKLink también lanzará navegadores blockchain para proyectos ZK Rollup conocidos como Polygon-zk, Linea, Base y Scoll basados en pruebas de conocimiento cero.