Nova Iorque, Nova Iorque, 5 de fevereiro de 2026, Chainwire
A Certora, a plataforma de garantia de segurança full-stack confiada pelas equipes mais avançadas do Web3, recebeu uma bolsa de pesquisa da Ethereum Foundation para verificar a correção das autoprecompiles. As autoprecompiles são uma otimização fundamental em computação ZK desenvolvida pela Powdr Labs para a iniciativa zkEVM da Ethereum Foundation.
O zkEVM desbloqueará uma enorme otimização na escalabilidade da rede Ethereum ao substituir o modelo atual de execução de smart contracts por uma alternativa otimizada e habilitada para ZK. Garantir a correção do motor de execução do zkEVM é vital para o sucesso desta iniciativa.
As autoprecompiles são componentes de circuitos ZK de baixo nível, inferidos automaticamente, que são reutilizados para otimizar o desempenho e permitir operações criptográficas e aritméticas mais rápidas no zkEVM. Essa otimização é essencial para construir um zkEVM de alta performance, e através desta bolsa, Certora e Powdr Labs estão se unindo para desenvolver novas técnicas de verificação que garantam a correção desta técnica de otimização.
O zkEVM é a base de um futuro zero-knowledge para o EVM, com menos gas, mais velocidade, mais segurança e grande escalabilidade. O objetivo é criar um modelo muito mais eficiente que beneficie todo o ecossistema.
“As autoprecompiles tornam a camada de execução do zkEVM viável, mas também aumentam a importância de verificar a correção de toda a cadeia de ferramentas,” disse Seth Hallem, CEO da Certora. “Somos gratos à Ethereum Foundation por apoiar este trabalho, que leva a verificação matemática para a própria base da computação ZK. A expertise da Certora em ZK e nossa colaboração com a Powdr Labs ajudarão a garantir que esta técnica de otimização desempenhe um papel fundamental na cadeia de ferramentas do zkEVM sem comprometer a segurança ou a correção.”
A Certora irá disponibilizar como open source suas especificações, provas e frameworks de verificação desenvolvidos através desta iniciativa, contribuindo com infraestrutura reutilizável para todas as implementações de zkEVM, construtores de rollup e pesquisadores de protocolos ZK.
“Precompiles têm sido fundamentais para o desempenho do zkEVM, e as autoprecompiles podem levar isso ainda mais longe ao verificar essas otimizações automaticamente à medida que são geradas,” disse Alexander Hicks, Pesquisador da Ethereum Foundation. “Também reduziremos a necessidade de verificar precompiles manuais e esperamos desenvolver técnicas de verificação que serão úteis para outros casos de uso.”
Sobre a Certora
A Certora é a parceira de garantia de segurança confiada pelas equipes mais avançadas do Web3. Fundada em 2018 por pioneiros em linguagens de programação e métodos formais, a Certora ajuda protocolos líderes como Lido, Aave, Uniswap e Compound a proteger bilhões em valor com confiança.
Sobre a Ethereum Foundation
A Ethereum Foundation é uma organização sem fins lucrativos dedicada a apoiar o Ethereum e tecnologias relacionadas. Através de bolsas e iniciativas de pesquisa, a EF avança o desenvolvimento open-source de infraestrutura descentralizada.
Sobre a Powdr Labs
A Powdr Labs desenvolve tecnologia de compiladores para provas de conhecimento zero eficientes de programas de alto nível. Ao especializar pipelines de compilação e otimização, a Powdr fecha a lacuna entre o desempenho de circuitos ZK customizados e zkVMs, sem comprometer a usabilidade.
