New York City, New York, 5 febbraio 2026, Chainwire
Certora, la piattaforma full-stack di sicurezza affidabile dalle squadre più avanzate nel Web3, ha ricevuto una sovvenzione di ricerca dalla Ethereum Foundation per verificare la correttezza degli autoprecompiles. Gli autoprecompiles sono un’ottimizzazione chiave nel calcolo ZK sviluppata da Powdr Labs per l’iniziativa zkEVM della Ethereum Foundation.
Lo zkEVM sbloccherà un’enorme ottimizzazione della scalabilità della rete Ethereum sostituendo l’attuale modello di esecuzione degli smart contract con un’alternativa ottimizzata e abilitata ZK. Garantire la correttezza del motore di esecuzione dello zkEVM è fondamentale per il successo di questa iniziativa.
Gli autoprecompiles sono componenti circuitali ZK a basso livello, inferti automaticamente, che vengono riutilizzati per ottimizzare le prestazioni e consentire operazioni crittografiche e aritmetiche più rapide su zkEVM. Questa ottimizzazione è essenziale per costruire uno zkEVM performante e, grazie a questa sovvenzione, Certora e Powdr Labs stanno collaborando per sviluppare nuove tecniche di verifica per garantire la correttezza di questa tecnica di ottimizzazione.
Lo zkEVM è la base di un futuro zero-knowledge per EVM, con meno gas, maggiore velocità, più sicurezza e una scalabilità massiccia. L’obiettivo è creare un modello molto più efficiente che benefici l’intero ecosistema.
“Gli autoprecompiles rendono lo strato di esecuzione zkEVM praticabile, ma aumentano anche l’importanza di verificare la correttezza dell’intera toolchain,” ha dichiarato Seth Hallem, CEO di Certora. “Siamo grati alla Ethereum Foundation per il sostegno a questo lavoro, che porta la verifica matematica alle fondamenta stesse del calcolo ZK. L’esperienza di Certora in ZK e la nostra collaborazione con Powdr Labs aiuteranno a garantire che questa tecnica di ottimizzazione giochi un ruolo chiave nella toolchain dello zkEVM senza compromettere sicurezza o correttezza.”
Certora renderà open source le sue specifiche, prove e framework di verifica sviluppati tramite questa iniziativa, contribuendo con infrastrutture riutilizzabili per tutte le implementazioni zkEVM, i costruttori di rollup e i ricercatori di protocolli ZK.
“I precompiles sono stati fondamentali per le prestazioni dello zkEVM, e gli autoprecompiles possono spingersi ancora oltre verificando queste ottimizzazioni automaticamente mentre vengono generate,” ha dichiarato Alexander Hicks, ricercatore della Ethereum Foundation. “Ridurremo anche la necessità di verificare manualmente i precompiles e, si spera, svilupperemo tecniche di verifica generalmente utili che potranno essere applicate ad altri casi d’uso.”
Informazioni su Certora
Certora è il partner di sicurezza di fiducia delle squadre più avanzate nel Web3. Fondata nel 2018 da pionieri nei linguaggi di programmazione e nei metodi formali, Certora aiuta protocolli leader come Lido, Aave, Uniswap e Compound a proteggere miliardi di valore con sicurezza.
Informazioni sulla Ethereum Foundation
La Ethereum Foundation è un’organizzazione no-profit dedicata al supporto di Ethereum e delle tecnologie correlate. Attraverso sovvenzioni e iniziative di ricerca, la EF promuove lo sviluppo open source di infrastrutture decentralizzate.
Informazioni su Powdr Labs
Powdr Labs sviluppa tecnologie di compilatori per prove zero-knowledge efficienti di programmi ad alto livello. Specializzando pipeline di compilazione e ottimizzazione, Powdr colma il divario tra le prestazioni dei circuiti ZK personalizzati e zkVM, senza compromettere la facilità d’uso.
