¿Por qué ZK es el Final del Juego? Exploremos a través de la perspectiva de @gevulot_network [y sí. ¡La Devnet de Gevulot ya está en vivo!]

Agradecimientos a: @teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot: Una Blockchain de Capa 1 para Sistemas de Prueba ZK Descentralizados

En este hilo, comenzaremos con una visión general amplia de los probadores ZK y luego profundizaremos en soluciones de probadores ZK descentralizadas y Gevulot. El hilo está estructurado en cuatro secciones principales:

- Una Muy Breve Introducción a ZK
- Infraestructura de Prueba Centralizada
- Infraestructura de Prueba Descentralizada
- Gevulot

Comenzaremos explicando los desafíos que se encuentran en las infraestructuras de prueba centralizadas, lo que nos llevará a los intentos de descentralizarlas. Finalmente, presentaremos a Gevulot, una interesante solución de probador descentralizado, que sirve como una blockchain de Capa 1 diseñada específicamente para sistemas de prueba ZK descentralizados.

1/
Una Muy Breve Introducción a ZK

Las pruebas de conocimiento cero involucran a dos partes: un probador y un verificador. El objetivo del probador es convencer al verificador de la veracidad de una afirmación sin revelar ninguna información sobre la afirmación en sí. Construir una prueba que verifique la corrección de la afirmación requiere recursos computacionales significativos. Sin embargo, la ventaja de ZKP radica en que las pruebas son tanto sucintas como eficientes de verificar, a diferencia de calcular directamente la afirmación misma.

2/
El conocimiento cero se aprovecha en blockchains por su sucintud, escalabilidad, minimización de confianza, integridad y privacidad. Por ejemplo:
- Zk-rollups utilizan conocimiento cero para escalar porque validar una prueba es más eficiente que volver a ejecutar todas las transiciones de estado.

- Blockchains recursivas, como Mina Protocol, aprovechan las pruebas de conocimiento cero para la sucintud al comprimir recursivamente el estado de la blockchain sin comprometer su integridad.

- Puentes ZK permiten interacciones entre cadenas de manera minimizada en confianza utilizando pruebas ZK.

- Las pruebas ZK se utilizan para la privacidad en proyectos como Zcash, Aztec, Aleo, Ironfish, etc.

3/
Infraestructura de Prueba Centralizada

Centremos nuestra atención en los ZK rollups, soluciones bien conocidas que utilizan pruebas de conocimiento cero. Generalmente, la mayoría de los ZK rollups dependen de un probador centralizado, confiando en una única entidad para gestionar la infraestructura de prueba ZK subyacente. Este enfoque centralizado tiene varios beneficios:

- Mantenimiento más fácil, ya que un proyecto puede controlar completamente la infraestructura.
- Menor complejidad, eliminando la necesidad de diseñar un sistema o incentivos para múltiples probadores.