Vitalik Buterin Introduz o Protocolo GKR ZK-EVM Ultra-Rápido - Coinspeaker

Notas Chave

• Vitalik Buterin introduziu o GKR para melhorar sistemas de prova rápidos.
• O fundador da Ethereum enfatizou que GKR não é zero-conhecimento.
• Buterin criticou o foco da indústria de IA em modelos “agentes”.

O cofundador da Ethereum, Vitalik Buterin, introduziu o protocolo GKR, que compreende inovações que facilitam sistemas de prova muito rápidos. Ele descreveu essas soluções como uma família de protocolos que está por trás da extrema velocidade de muitos sistemas de prova operacionais. Buterin concentrou-se em mostrar a implementação do GKR para provar hashes Poseidon.

GKR Não é Zero-conhecimento

Buterin começou seu post reconhecendo a existência de ZK-provers ultra-rápidos. Estes são provers ZK-EVM que manifestam a Ethereum Layer-1 em tempo real e fazem isso com apenas 50 GPUs de consumidores.

“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 é onde o protocolo GKR entra. Ele serve como a força motriz desses provadores. Esta solução é 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.

Tudo o que requer são compromissos com entradas e saídas, não camadas intermédias. A longo prazo, isso acaba por melhorar significativamente a eficiência. Ao dizer “compromissos”, Buterin referia-se a colocar os dados numa estrutura de dados criptográfica. Isso poderia ser alcançado através de um KZG ou de uma árvore de Merkle, desde que permita a um utilizador provar consultas sobre aspectos específicos desses dados.

Artigo relacionado: Vitalik Buterin Apoia a Base L2 da Coinbase: 'Fazendo as Coisas da Maneira Certa' Os usuários devem ter cuidado para não confundir o GKR com um protocolo de conhecimento zero, uma vez que ele lida com a sucintez e não com a privacidade. No entanto, o conhecimento zero ainda pode ser alcançado com o GKR, já que tudo o que precisa ser feito é envolver a prova em um ZK-SNARK ou ZK-STARK.

Co-fundador do Ethereum critica a IA agentiva

Entre os muitos protocolos que Buterin tem discutido recentemente estão os modelos de Inteligência Artificial (AI). Há dois meses, ele criticou a indústria de IA por se concentrar intensamente em modelos “agentes”. Na sua opinião, existem sistemas autônomos demais, e isso não é bom.

Ele observou que sistemas que permitem maior input humano produzem resultados melhores e mais seguros, alinhando-se com comentários anteriores do ex-diretor de IA da Tesla, Andrej Karpathy. Aparentemente, o co-fundador da Ethereum é mais entusiástico em relação a modelos de IA de peso aberto, que ele afirma ter fortes capacidades de edição.

Em setembro, ele também enfatizou que existe um grande perigo associado à dependência excessiva da IA para a governança.

nextDisclaimer: A Coinspeaker está comprometida em fornecer relatórios imparciais e transparentes. Este artigo tem como objetivo entregar informações precisas e oportunas, mas não deve ser considerado como aconselhamento financeiro ou de investimento. Uma vez que as condições de mercado podem mudar rapidamente, incentivamos você a verificar as informações por conta própria e a consultar um profissional antes de tomar qualquer decisão com base neste conteúdo.