Notas Principais
- Vitalik Buterin apresentou o GKR para aprimorar sistemas de provas rápidas.
- 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 provas extremamente rápidas. Ele descreveu essas soluções como uma família de protocolos que está por trás da velocidade extrema de muitos sistemas de provas operacionais. Buterin focou 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 consumo.
“Pessoas provando 2 milhões de hashes Poseidon por segundo em laptops de consumo, 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 foi projetada para permitir 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 provas extremamente rápidas. 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 ele exige 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 muitos sistemas autônomos, e isso não é bom.
Ele observou que sistemas que permitem maior participação 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 segundo ele possuem fortes capacidades de edição.
Em setembro, ele também enfatizou que há grande perigo em depender excessivamente da IA para governança.
next
