Conociendo los entresijos de las pruebas de conocimiento cero (ZK)

Las pruebas de conocimiento cero (pruebas ZK) se han vuelto populares en el mundo de las criptomonedas este año, pero quienes no son criptógrafos y programadores pueden sentirse confundidos.

Las pruebas ZK son complicadas a pesar de su apariencia. Permiten que el probador demuestre fácilmente sus conocimientos al verificador sin compartir los detalles. Esto no requiere que el probador discuta la información.

A mediados de la década de 1980, pocos académicos fueron pioneros en esta idea. Desde entonces, se ha convertido en un mecanismo realista para el cálculo verificable y sentó las bases para el entorno Web3, donde las pruebas ZK son más importantes.

ZK en Blockchain: su papel cambiante

Las pruebas ZK existían en la criptografía teórica antes de la tecnología blockchain, pero la descentralización de blockchain las ha hecho más visibles y prominentes. Básicamente, blockchain es un libro de contabilidad público. No importa la transacción, cada detalle está documentado y disponible para el público.

La tecnología Blockchain ofrece transparencia, pero la privacidad del usuario es una preocupación importante.

Las pruebas ZK resuelven los conflictos de apertura y privacidad de blockchain. Proporcionan verificación de transacciones sin revelar información de la transacción, manteniendo la privacidad del usuario y la inmutabilidad de la cadena de bloques.

La computación verificable fuera de la cadena, un avance clave de la cadena de bloques, se ha convertido en un caso de uso destacado para las pruebas ZK en la Web3 en la década anterior.

Intentos de encontrar una solución al problema de la escalabilidad

La computación fuera de la cadena verificable es importante, pero primero debemos discutir los severos límites de los contratos inteligentes. Intrínsecamente, los contratos inteligentes tienen tres inconvenientes principales:

• Algunos tipos de información que pueden obtener los contratos inteligentes son limitados. Por ejemplo, no pueden obtener información sobre los precios de los tokens ni cualquier otra cosa que no esté guardada en la cadena de bloques.

• La capacidad de la cadena de bloques para almacenar datos: las cadenas de bloques no se crearon para almacenar una gran cantidad de datos. Ponerlo en práctica sería muy costoso y llevaría mucho tiempo.

• El tipo de pensamiento que pueden hacer: un contrato inteligente sólo puede utilizar las formas más básicas de lógica condicional si no tiene que pagar costos de gas altísimos.

  
  

Estos problemas deben solucionarse para que la cadena de bloques escale y satisfaga las necesidades del ecosistema Web3. Afortunadamente, ZK ha crecido con Web3.

Podemos resolver elegantemente el almacenamiento y la computación limitados de la red descargando algunos datos y trabajo computacional de la cadena de bloques.

Con la revelación de que se pueden realizar actividades fuera de la cadena y se puede utilizar una prueba ZK para entregar un resumen breve y confiable de las operaciones fuera de la cadena a la cadena principal sin compartir todos los datos subyacentes, la tecnología blockchain ha cambiado. Examinemos los protocolos en evolución de este campo.

La próxima generación de ZK en su conjunto

Aunque las pruebas ZK sobre el almacenamiento descentralizado y los rollups ZK han ampliado las posibilidades de la cadena de bloques, todavía falta algo importante. Las posibilidades de almacenamiento descentralizado son más de lo que parecen.

El almacenamiento de datos es crucial, pero la incapacidad de estas plataformas para hacer más que la recuperación de datos (no "computar") limita su aplicabilidad. Los paquetes acumulativos de ZK, que pueden ejecutar varios trabajos informáticos, tampoco cierran la brecha.