Cofundador do Ethereum, Vitalik Buterin, 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 de provas inovador 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 de agregação recursiva 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

O framework 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 por seus comentários 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 blockchain quanto para cargas de trabalho de 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, em si, 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 um “Lean Ethereum”, um design de rede simplificado e resistente a 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 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.