Este año, las pruebas de conocimiento cero (pruebas ZK) ganaron fuerza en la comunidad criptográfica, pero otras personas fuera del campo, incluso los programadores, pueden sentirse confundidos.
A pesar de las apariencias, las pruebas ZK son complejas. Facilitan que el probador le muestre al verificador que sabe algo sin decirle nada realmente. El probador no está obligado a divulgar los detalles en este caso.
El concepto fue propuesto por primera vez por un pequeño grupo de académicos a mediados de los años 1980. Como resultado, ahora es un método práctico para la computación verificable y ha allanado el camino para la configuración Web3, donde las pruebas ZK ocupan un lugar central.
ZK en Blockchain: su función en evolución
Las pruebas ZK siempre han sido parte de la criptografía teórica, pero la descentralización de la tecnología blockchain las ha puesto en primer plano. Blockchain es en realidad solo un sistema de contabilidad distribuida. Cada detalle de cada transacción se registra y se hace público.
Aunque la tecnología blockchain promueve la apertura, la protección de los datos de los usuarios sigue siendo una preocupación importante.
Los problemas de apertura de privacidad de Blockchain se resuelven utilizando pruebas ZK. Al tiempo que protegen el anonimato del usuario y la inmutabilidad de la cadena de bloques, validan las transacciones sin revelar ningún dato asociado.
Un caso de uso importante para las pruebas ZK en la Web3 en la última década ha sido la computación verificable fuera de la cadena, una innovación de blockchain.
Luchas por resolver el problema de la escalabilidad
Antes de hablar de la importancia de la informática fuera de cadena verificable, hablemos de cómo los contratos inteligentes tienen límites muy estrictos. Hay tres grandes problemas con los contratos inteligentes que difícilmente pueden ignorarse:
Los contratos inteligentes están limitados en el tipo de datos que pueden obtener. Todo lo que no esté guardado en la cadena de bloques, como los precios de los tokens, no lo pueden obtener.
Las cadenas de bloques no fueron diseñadas para contener mucha información. Costaría mucho dinero y llevaría mucho tiempo lograrlo.
Los tipos limitados de lógica condicional que puede utilizar un contrato inteligente cuando los precios del gas son muy bajos.
Para que blockchain crezca y satisfaga las demandas del ecosistema Web3, estos problemas deben resolverse. Afortunadamente, ZK se ha expandido junto con Web3.
Al eliminar algunos datos y tareas de procesamiento de la cadena de bloques, podemos abordar con elegancia las limitaciones informáticas y de almacenamiento de la red.
La tecnología Blockchain ha evolucionado desde que se hizo público que se pueden llevar a cabo operaciones fuera de la cadena y que se puede utilizar una prueba ZK para transmitir un resumen conciso y confiable de estas operaciones fuera de la cadena a la cadena principal, todo ello manteniendo la base subyacente. datos privados.
Considerándolo todo, la próxima generación de ZK
Aunque las pruebas ZK sobre el almacenamiento descentralizado y los paquetes acumulativos ZK han ampliado las posibilidades de blockchain, falta algo importante. Existen más opciones de almacenamiento descentralizado de lo esperado.
El almacenamiento de datos es vital, pero estas plataformas sólo pueden recuperar datos (no "computarlos"), lo que limita su relevancia. Incluso los paquetes acumulativos de ZK, que ejecutan muchas cargas de trabajo informáticas, no ayudan.