Vitalik Buterin apresenta o protocolo GKR para sistemas de prova mais rápidos

Vitalik Buterin partilhou novas pesquisas que podem reformular a forma como o Ethereum aborda a verificação de provas e a escalabilidade nos próximos anos.

Sumário

• Vitalik Buterin apresenta GKR, um protocolo para agregação de provas mais rápida.
• GKR melhora a eficiência para os sistemas ZK e rollup do Ethereum.
• Marca um passo em direção à visão “Lean” e quântica-segura do Ethereum para 2025.

Vitalik Buterin apresentou o protocolo GKR, um sistema de prova inovador projetado para tornar os cálculos de conhecimento zero mais rápidos e eficientes.

Publicado a 20 de outubro, no seu blog pessoal vitalik.eth.limo, o novo tutorial de Buterin detalha o protocolo Goldwasser–Kalai–Rothblum. Este método de agregação de provas recursivas tem o potencial de mudar completamente a forma como o Ethereum (ETH) lida com escalabilidade e verificação.

Protocolo GKR e o futuro da eficiência da prova

A estrutura GKR verifica grandes computações com pouco overhead em cadeia, simplificando provas criptográficas complexas. Buterin descreve como o GKR processa provas em tempo logarítmico sem exigir compromissos intermediários dispendiosos, tornando-o muito mais eficiente do que os sistemas convencionais ZK-SNARK ou STARK.

Em sua publicação, Buterin credita Lev Soukhanov, Zhenfei Zhang e Zachary Williamson pelo feedback e revisão, enfatizando que a principal força do GKR reside em sua escalabilidade. “É uma combinação natural para provar grandes lotes de hashes e computações no estilo de redes neurais”, escreveu ele, destacando sua adequação tanto para cargas de trabalho de blockchain quanto de IA.

Devido ao design do protocolo, os provadores podem omitir compromissos em estágios intermédios, o que reduz o custo e a carga computacional. Embora o GKR não seja zero-knowledge em si, pode ser encapsulado em camadas ZK-SNARK ou STARK para privacidade, combinando concisão com confidencialidade.

Uma peça chave no roteiro do Ethereum

GKR alinha-se com a visão mais ampla de Buterin para “Ethereum Lean”, um design de rede simplificado e resistente a quânticos. Apoia diretamente o movimento do Ethereum em direção a uma finalização mais rápida, agregação de provas para rollups e escalabilidade baseada em conhecimento zero.

Este lançamento segue várias iniciativas relacionadas de Buterin, como sugestões para ferramentas de interoperabilidade avançadas entre redes de camada-2, clientes parcialmente sem estado para minimizar o armazenamento de nós e governança habilitada por ZK. Juntas, elas visam tornar o Ethereum mais eficiente, privado e acessível.

A estrutura criptográfica do Ethereum pode ficar mais leve e rápida à medida que os desenvolvedores começam a experimentar sistemas baseados em GKR, o que ajudaria a realizar o objetivo de longo prazo de Buterin de computação escalável e verificada.