Notas Principais
- Vitalik Buterin apresentou o GKR para aprimorar sistemas de prova rápida.
- O fundador do Ethereum enfatizou que o GKR não é zero-knowledge.
- Buterin criticou o foco da indústria de IA em modelos “agentes”.
O cofundador do Ethereum, Vitalik Buterin, apresentou o protocolo GKR, que compreende inovações que facilitam sistemas de prova extremamente rápidos. Ele descreveu essas soluções como uma família de protocolos que está por trás da velocidade extrema de muitos sistemas de prova operacionais. Buterin concentrou-se em mostrar a implementação do GKR para provar hashes Poseidon.
GKR Não É Zero-knowledge
Buterin iniciou sua publicação reconhecendo a existência de ZK-provers ultrarrápidos. Estes são ZK-EVM provers que manifestam o Ethereum Layer-1 em tempo real e fazem isso com apenas 50 GPUs de consumidor.
“Pessoas provando 2 milhões de hashes Poseidon por segundo em laptops de consumidor, e sistemas zk-ML provando inferência LLM com velocidade crescente,” observou Buterin.
É aqui que entra o protocolo GKR. Ele serve como a força motriz desses provers. Esta solução é projetada para possibilitar provas rápidas de ZK-EVM e zk-ML. Também é otimizada para cálculos com múltiplas camadas de baixo grau e muitas aplicações repetidas de funções, incluindo hashing e redes neurais.
O cofundador do Ethereum, Vitalik Buterin, apresentou o protocolo GKR, uma família de protocolos que permite sistemas de prova extremamente rápidos. O GKR é um protocolo central para provas rápidas de ZK-EVM e zk-ML, otimizado para cálculos com múltiplas camadas de baixo grau e muitas aplicações repetidas de funções…
— Wu Blockchain (@WuBlockchain) 20 de outubro de 2025
Tudo o que é necessário são compromissos com entradas e saídas, não com camadas intermediárias. A longo prazo, isso acaba melhorando significativamente a eficiência. Por “compromissos”, Buterin estava se referindo a colocar os dados em uma estrutura de dados criptográfica. Isso pode ser alcançado tanto por meio de um KZG quanto de uma árvore Merkle, desde que permita ao usuário provar consultas sobre aspectos específicos desses dados.
Os usuários devem ter cuidado para não confundir o GKR com um protocolo zero-knowledge, já que ele lida com concisão e não com privacidade. No entanto, o zero-knowledge ainda pode ser alcançado com o GKR, pois tudo o que precisa ser feito é envolver a prova em um ZK-SNARK ou ZK-STARK.
Cofundador do Ethereum Critica IA Agente
Entre os muitos protocolos que Buterin tem discutido recentemente estão os modelos de Inteligência Artificial (IA). Dois meses atrás, ele criticou a indústria de IA por focar intensamente em modelos “agentes”. Em sua opinião, existem sistemas autônomos demais, e isso não é bom.
Ele observou que sistemas que permitem maior entrada humana produzem resultados melhores e mais seguros, alinhando-se com comentários anteriores do ex-diretor de IA da Tesla, Andrej Karpathy. Aparentemente, o cofundador do Ethereum é mais entusiasta de modelos de IA open-weight, que ele afirma terem fortes capacidades de edição.
Em setembro, ele também enfatizou que há grande perigo em depender excessivamente da IA para governança.
next
