Certora launches the first secure AI encryption platform for smart contracts

[PRESS RELEASE – Tel Aviv-Yafo, Israel, November 21st, 2025]

Just to be surethe full-stack security platform trusted by the most advanced teams in Web3, today announced Certora AI Composer, an open-source AI coding platform that composes artificial intelligence with formal verification to make smart contract development faster and more secure.

Unlike generic ‘AI-for-code’ tools that focus on speed and convenience, Certora AI Composer ensures that every AI-generated snippet adheres to mathematical safety rules before it is ever executed. By embedding Certora’s proven formal verification technology directly into the AI ​​generation loop, developers can confidently explore design ideas while knowing that security invariants are continuously checked rather than retrofitted.

“Using AI should never mean compromising security. Certora AI Composer proves that AI and formal verification can work together to make smart contract development reliable by default,” explains Certora founder Mooly Sagiv. “This alpha release is our invitation to the community to help us shape the future of secure autonomous coding.”

The Certora AI Composer Alpha will be open source from December 4 and will be available to the community on GitHub. Developers are encouraged to experiment, provide feedback, and help shape a new standard for verified AI-driven development.

Main features:

• Integrated formal verification checks for AI-generated code
• Open-source extensibility to build your own security modules
• Powered by the Certora Prover, Certora’s trusted authentication engine

Certora will also host a livestream event on December 4 titled “AI Meets Verification: An Open Discussion with Certora Researchers,” which will provide a detailed description of how Certora AI Composer works and what it can do to improve security.

Users can register for the event HEREand follow them on Twitter at @CertoraInc for future updates and reminders.

About Certora

Just to be sure is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages ​​and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.