Bitget App
Trade smarter
Buy cryptoMarketsTradeFuturesEarnSquareMore
Certora Launches the First Safe AI Coding Platform for Smart Contracts

Certora Launches the First Safe AI Coding Platform for Smart Contracts

Daily HodlDaily Hodl2025/11/20 16:00
By:by Chainwire

November 21st, 2025 – Tel Aviv-Yafo, Israel

Certora , the full-stack security assurance 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 safer.

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 ever runs. By embedding Certora’s proven formal verification technology directly into the AI generation loop, developers can explore design ideas confidently while knowing that security invariants are continuously checked rather than retrofitted.

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

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

Key Features:

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

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

Users can sign up for the event HERE , and follow them on Twitter at @CertoraInc for future updates and reminders.

About Certora

Certora 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.

  Certora Launches the First Safe AI Coding Platform for Smart Contracts image 0

0

Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.

PoolX: Earn new token airdrops
Lock your assets and earn 10%+ APR
Lock now!

You may also like

Mars Morning News | Russia Plans to Ease Digital Asset Investment Thresholds, Expanding Legal Participation of Citizens in the Crypto Market

Russia plans to relax the investment threshold for digital assets, Texas allocates $5 million to Bitcoin ETF, an Ethereum whale sells 20,000 ETH, Arca's Chief Investment Officer says MSTR does not need to sell BTC, and the S&P 500 Index may rise by 12% next year. Summary generated by Mars AI. The accuracy and completeness of this summary produced by the Mars AI model are still being iteratively updated.

MarsBit2025/11/26 18:36
Mars Morning News | Russia Plans to Ease Digital Asset Investment Thresholds, Expanding Legal Participation of Citizens in the Crypto Market

x402 The most crucial piece of the puzzle? Switchboard aims to rebuild the "oracle layer" from scratch

Switchboard is an oracle project within the Solana ecosystem and proposes to provide a data service layer for the x402 protocol. It adopts a TEE technology architecture, is compatible with x402 protocol standards, supports a pay-per-call billing model, and removes the API Key mechanism, aiming to build a trusted data service layer. Summary generated by Mars AI. The accuracy and completeness of this content, generated by the Mars AI model, is still in an iterative update phase.

MarsBit2025/11/26 18:35
x402 The most crucial piece of the puzzle? Switchboard aims to rebuild the "oracle layer" from scratch

Who would be the most crypto-friendly Federal Reserve Chair? Analysis of the candidate list and key timeline

Global markets are closely watching the change of Federal Reserve Chair: Hassett leading the race could trigger a crypto Christmas rally, while the appointment of hawkish Waller may become the biggest bearish factor.

深潮2025/11/26 17:09
Who would be the most crypto-friendly Federal Reserve Chair? Analysis of the candidate list and key timeline