[COMUNICATO STAMPA – Tel Aviv-Yafo, Israele, 21 novembre 2025]
Certora , la piattaforma di garanzia della sicurezza full-stack scelta dai team più avanzati in Web3, ha annunciato oggi Certora AI Composer, una piattaforma di codifica AI open source che compone l'intelligenza artificiale con verifica formale per rendere lo sviluppo di contratti intelligenti più rapido e sicuro.
A differenza dei generici strumenti "AI-for-code" che si concentrano su velocità e praticità, Certora AI Composer garantisce che ogni frammento generato dall'IA aderisca a regole matematiche di sicurezza prima ancora di essere eseguito. Integrando la comprovata tecnologia di verifica formale di Certora direttamente nel ciclo di generazione dell'IA, gli sviluppatori possono esplorare idee di progettazione con sicurezza, sapendo che gli invarianti di sicurezza vengono costantemente verificati anziché modificati.
"L'utilizzo dell'intelligenza artificiale non dovrebbe mai compromettere la sicurezza. Certora AI Composer dimostra che l'intelligenza artificiale e la verifica formale possono collaborare 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".
Certora AI Composer Alpha 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 basato sull'intelligenza artificiale.
Caratteristiche principali:
- Controlli di verifica formali integrati per il codice generato dall'intelligenza artificiale
- Estensibilità open source per creare i tuoi moduli di sicurezza
- Supportato da Certora Prover, il motore di verifica di Certora affidabile nel settore
Certora ospiterà anche un evento in live streaming il 4 dicembre intitolato "AI Meets Verification: An Open Discussion with Certora Researchers", che fornirà una descrizione dettagliata del funzionamento di Certora AI Composer e di cosa può fare per migliorare la sicurezza.
Gli utenti possono iscriversi all'evento QUI e seguirli su Twitter @CertoraInc per futuri aggiornamenti e promemoria.
Informazioni su Certora
Certora è il partner di sicurezza di cui si fidano i team più avanzati del 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 in tutta sicurezza.
L'articolo Certora lancia la prima piattaforma di codifica AI sicura per contratti intelligenti è apparso per la prima volta su CryptoPotato .