Certora lancia la prima piattaforma sicura di codifica AI per smart contract

21 novembre 2025 – Tel Aviv-Yafo, Israele

Certora, la piattaforma full-stack di sicurezza affidata dai team più avanzati nel Web3, ha annunciato oggi Certora AI Composer, una piattaforma di codifica AI open-source che combina l’intelligenza artificiale con la verifica formale per rendere lo sviluppo di smart contract più veloce e sicuro.

A differenza degli strumenti generici “AI-for-code” che si concentrano su velocità e comodità, Certora AI Composer garantisce che ogni frammento generato dall’AI rispetti le regole matematiche di sicurezza prima ancora di essere eseguito. Integrando direttamente la comprovata tecnologia di verifica formale di Certora nel ciclo di generazione AI, gli sviluppatori possono esplorare idee di design con fiducia, sapendo che gli invarianti di sicurezza vengono controllati continuamente e non adattati successivamente.

“Utilizzare l’AI non dovrebbe mai significare compromettere la sicurezza. Certora AI Composer dimostra che AI e verifica formale possono lavorare insieme per rendere lo sviluppo di smart contract affidabile di default,” ha spiegato il fondatore di Certora, Mooly Sagiv. “Questa versione alpha è il nostro invito alla community ad aiutarci a plasmare il futuro della codifica autonoma sicura.”

La versione Alpha di Certora AI Composer sarà open source a partire dal 4 dicembre e sarà disponibile alla community su GitHub. Gli sviluppatori sono incoraggiati a sperimentare, fornire feedback e contribuire a definire un nuovo standard per lo sviluppo verificato guidato dall’AI.

Caratteristiche principali:

• Verifiche di verifica formale integrate per il codice generato dall’AI
• Estensibilità open-source per costruire i propri moduli di sicurezza
• Supportato da Certora Prover, il motore di verifica di fiducia del settore di Certora

Certora ospiterà anche un evento livestream il 4 dicembre intitolato “AI Meets Verification: An Open Discussion with Certora Researchers”, che fornirà una descrizione dettagliata di come funziona Certora AI Composer e di come può migliorare la sicurezza. 

Gli utenti possono iscriversi all’evento QUI, e seguirli su Twitter a @CertoraInc per futuri aggiornamenti e promemoria.

Informazioni su Certora

Certora è il partner di sicurezza affidato dai team più avanzati 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 fiducia.