Vitalik Buterin unveils GKR protocol for faster zero-knowledge proofs.

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

Resumo

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

Vitalik Buterin introduziu o protocolo GKR, um sistema de prova 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.limoO novo tutorial de Buterin detalha o protocolo Goldwasser – Kalai – Rothblum. Este método de agregação de prova recursiva tem o potencial de mudar completamente a forma como o Ethereum (ETH) lida com o escalonamento e a verificação.

Protocolo GKR e o futuro da eficiência da prova

A estrutura GKR verifica grandes cálculos com pouca sobrecarga na 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 postagem, Buterin dá crédito a Lev Soukhanov, Zhenfei Zhang e Zachary Williamson por seus comentários e análises, enfatizando que a principal força do GKR reside em sua escalabilidade. “É uma opção natural para provar grandes lotes de hashes e cálculos no estilo de rede neural”, escreveu ele, destacando sua adequação para cargas de trabalho de blockchain e IA.

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

Uma peça-chave no roteiro da Ethereum

A GKR se alinha com a visão mais ampla de Buterin para “Lean Ethereum”, um projeto de rede simplificado e resistente a quantum. Ele apoia diretamente o movimento da Ethereum em direção a uma finalidade mais rápida, agregação de provas para rollups e escalabilidade baseada em conhecimento zero.

Esta versão segue diversas iniciativas relacionadas de Buterin, como sugestões para ferramentas avançadas de interoperabilidade entre redes de camada 2, clientes parciais sem estado para minimizar o armazenamento de nós e governança habilitada por ZK. Juntos, eles pretendem tornar o Ethereum mais eficiente, privado e acessível.

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

Fontecrypto.news

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *