Vitalik Buterin apresenta o protocolo GKR para potencializar os sistemas de prova do Ethereum

Vitalik Buterin Apresenta o Protocolo GKR para Potenciar os Sistemas de Prova da Ethereum

O cofundador da Ethereum, Vitalik Buterin, apresentou o protocolo GKR, uma nova família de sistemas de prova criptográfica projetados para acelerar dramaticamente os cálculos em ZK-EVMs e ambientes zk-ML.

Construído para eficiência, o GKR permite a geração de provas a velocidades sem precedentes, comprometendo-se apenas com entradas e saídas, eliminando a necessidade de verificar cada passo de computação intermediário.

Um Avanço no Desempenho de Provas

A abordagem GKR (Goldwasser–Kalai–Rothblum) é otimizada para computações que utilizam múltiplas camadas de baixo grau e repetem operações similares, como hashing e inferência de redes neurais. Estas são estruturas comuns tanto em criptografia quanto em IA, onde provas em grande escala devem lidar com milhões de operações simultaneamente.

Ao contrário dos sistemas de prova tradicionais como os STARKs, que exigem compromissos em cada camada, o método simplificado do GKR concentra-se nos pontos finais, reduzindo significativamente a sobrecarga. O resultado é a criação de provas muito mais rápida, particularmente para ZK-EVMs e modelos zk-ML onde a demanda computacional é imensa.

Eficiência Sem Compromissos

De acordo com Buterin, a força do GKR reside na sua simplicidade. Ele apenas se compromete com entradas e saídas, aproveitando uma estrutura de provas de verificação de somas para verificar os passos intermediários. Esta estrutura torna-o ideal para cargas de trabalho repetitivas, como hashing (, por exemplo, Poseidon) ou camadas neurais, onde padrões podem ser provados de forma eficiente em paralelo.

Embora o GKR em si não forneça privacidade de conhecimento zero, ele pode ser encapsulado dentro de sistemas ZK-SNARK ou ZK-STARK para adicionar confidencialidade. O design do protocolo permite alta eficiência enquanto mantém um rigor matemático total na verificação da correção.

Por que isso é importante para o Ethereum

Buterin enfatizou que o GKR representa um grande avanço na escalabilidade da blockchain e na computação de provas. Ao evitar compromissos redundantes e focar na validação de ponta a ponta, o GKR torna possível provar cargas de trabalho massivas rapidamente e a um custo mais baixo.

À medida que o Ethereum continua a evoluir para sistemas de conhecimento zero mais rápidos e escaláveis, o GKR pode tornar-se um componente central que alimenta estruturas de prova de computação de próxima geração em aplicações de criptomoeda e IA.