L'azienda di sicurezza Web3 Certora ha annunciato di aver ricevuto un finanziamento dalla Fondazione Ethereum. Secondo Odaily, l'importo specifico del finanziamento non è stato divulgato. Il finanziamento supporterà gli sforzi di Certora nella verifica della correttezza della precompilazione automatizzata, una tecnologia di ottimizzazione cruciale nel calcolo a conoscenza zero. Questa tecnologia è stata sviluppata da Powdr Labs per il progetto zkEVM della Fondazione Ethereum. Certora intende rendere open source le specifiche, le prove e il framework di verifica che sviluppa.

#ETH