O cofundador da Ethereum, Vitalik Buterin, apresentou o protocolo GKR (Goldwasser–Kalai–Rothblum), uma inovação que promete melhorar significativamente a eficiência das provas criptográficas e a verificação de cálculos na blockchain.

Publicado no seu blog pessoal e partilhado através da sua conta oficial de X, o anúncio explica como este método pode otimizar a forma como o Ethereum e outras redes processam cálculos complexos sem comprometer a segurança nem a transparência.

Um avanço matemático aplicado à eficiência blockchain

O protocolo GKR é baseado em um modelo criptográfico introduzido originalmente pelos pesquisadores Shafi Goldwasser, Yael Kalai e Guy Rothblum. Seu objetivo não é a privacidade -como os sistemas de conhecimento zero (ZK)-, mas sim a eficiência verificável: demonstrar a validade de cálculos extensos sem a necessidade de repetir cada operação.

Em termos simples, GKR permite verificar grandes volumes de operações, desde transações até inferências de modelos de IA, através de técnicas de sum-check e transformações polinómicas. Esta abordagem representa uma ferramenta poderosa para alcançar verificações rápidas e escaláveis tanto dentro como fora da cadeia.

GKR marca um novo passo rumo a um Ethereum mais rápido e escalável

Na sua publicação, Buterin destaca que GKR tem um potencial imediato nos rollups ZK, nos sistemas de agregação de provas e na verificação de modelos de inteligência artificial. Todas essas áreas partilham o desafio de processar grandes quantidades de informação com um custo computacional mínimo.

O protocolo integra-se com tecnologias como os ZK-SNARKs e STARKs, atuando como uma camada prévia de verificação que reduz o tamanho e a complexidade das provas. Isso poderia traduzir-se em menores taxas de gás e uma maior escalabilidade para as soluções Layer 2 da Ethereum.

Buterin situa este avanço dentro da sua visão de um <<ethereum mais=“” leve=“” e=“” modular=“”>>, onde os cálculos pesados são realizados fora da cadeia e apenas os resultados verificados são registrados nela.

Embora o entusiasmo seja elevado, Buterin esclarece que o GKR não é uma solução universal, uma vez que o seu desempenho depende da estrutura do cálculo, da memória e do grau de paralelismo. Em ambientes não estruturados, o seu impacto seria limitado.

No entanto, em operações com padrões repetitivos -como redes neuronais ou execuções maciças de contratos inteligentes-, o protocolo poderia acelerar os processos de forma exponencial. GKR perfila-se assim como uma peça chave para um ecossistema global de computação verificável.

Rumo à era da computação verificável

Com GKR, o Ethereum avança para um futuro em que os sistemas distribuídos possam escalar sem sacrificar a segurança. Esta inovação junta-se aos esforços para construir um ambiente descentralizado capaz de suportar desde aplicações financeiras até inteligência artificial avançada.

A proposta de Buterin reafirma uma tendência clara: a próxima evolução da blockchain não girará apenas em torno da descentralização, mas também da eficiência e da verificação inteligente.</ethereum>