Vitalik Buterin, cofundador do Ethereum, revela protocolo GKR para sistemas de prova mais rápidos

Vitalik Buterin compartilhou uma nova pesquisa que pode remodelar a forma como o Ethereum aborda a verificação de provas e o escalonamento nos próximos anos.

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

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

Protocolo GKR e o futuro da eficiência das provas

A estrutura GKR verifica grandes cálculos com pouca sobrecarga on-chain, simplificando provas criptográficas complexas. Buterin descreve como o GKR processa provas em tempo logarítmico sem exigir compromissos intermediários custosos, 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 está em sua escalabilidade. “É uma combinação natural para provar grandes lotes de hashes e cálculos no estilo de redes neurais”, escreveu ele, destacando sua adequação tanto para cargas de trabalho em blockchain quanto em IA.

Devido ao design do protocolo, os provedores podem omitir compromissos em estágios intermediários, o que reduz o custo e a carga computacional. Embora o GKR não seja, por si só, de conhecimento zero, ele pode ser envolvido em camadas ZK-SNARK ou STARK para privacidade, combinando concisão com confidencialidade.

Uma peça-chave no roadmap do Ethereum

O GKR está alinhado com a visão mais ampla de Buterin para o “Lean Ethereum”, um design de rede simplificado e resistente à computação quântica. Ele 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 avançadas de interoperabilidade entre redes de layer-2, clientes parcialmente sem estado para minimizar o armazenamento dos nós e governança habilitada por ZK. Juntos, eles visam tornar o Ethereum mais eficiente, privado e acessível.

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