Por que ZK é o Jogo Final? Vamos explorar através da perspectiva de @gevulot_network [e sim. O Devnet do Gevulot agora está ativo! ]

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

Gevulot: Uma Blockchain de Camada 1 para Sistemas de Provas ZK Descentralizados

Neste tópico, começaremos com uma visão geral ampla dos provedores ZK e, em seguida, mergulharemos nas soluções de provedores ZK descentralizados e Gevulot. O tópico está estruturado em quatro seções principais:

- Uma Introdução Muito Breve ao ZK
- Infraestrutura de Prova Centralizada
- Infraestrutura de Prova Descentralizada
- Gevulot

Começaremos explicando os desafios encontrados nas infraestruturas de prova centralizadas, o que nos levará às tentativas de descentralizá-las. Finalmente, apresentaremos o Gevulot, uma solução de provedor descentralizada interessante, servindo como uma blockchain de Camada 1 projetada especificamente para sistemas de prova ZK descentralizados.

1/
Uma Introdução Muito Breve ao ZK

As provas de conhecimento zero envolvem duas partes: um provedor e um verificador. O objetivo do provedor é convencer o verificador da veracidade de uma afirmação sem revelar nenhuma informação sobre a própria afirmação. Construir uma prova que verifica a correção da afirmação exige recursos computacionais significativos. No entanto, a vantagem do ZKP reside no fato de que as provas são tanto sucintas quanto eficientes para verificar, ao contrário de calcular diretamente a afirmação.

2/
O conhecimento zero é aproveitado em blockchains por sua sucintez, escalabilidade, minimização de confiança, integridade e privacidade. Por exemplo:
- Zk-rollups usam conhecimento zero para escalabilidade, pois validar uma prova é mais eficiente do que reexecutar todas as transições de estado.

- Blockchains recursivas, como o Mina Protocol, aproveitam provas de conhecimento zero para sucintez ao comprimir recursivamente o estado da blockchain sem comprometer sua integridade.

- Pontes ZK possibilitam interações entre cadeias de forma minimizada em confiança utilizando provas ZK.

- Provas ZK são utilizadas para privacidade em projetos como Zcash, Aztec, Aleo, Ironfish, etc.

3/
Infraestrutura de Prova Centralizada

Vamos focar nos ZK rollups, soluções bem conhecidas que utilizam provas de conhecimento zero. Geralmente, a maioria dos ZK rollups depende de um provedor centralizado, dependendo de uma única entidade para gerenciar a infraestrutura de prova ZK subjacente. Essa abordagem centralizada tem vários benefícios:

- Manutenção mais fácil, pois um projeto pode controlar completamente a infraestrutura.
- Menor complexidade, eliminando a necessidade de projetar um sistema ou incentivos para múltiplos provedores.