
Latest news, updates, and announcements from Certora.

Certora's launch of the AI Composer, the first Safe AI Coding Platform for Smart Contracts, marks a critical pivot for DeFi security. The platform uses formal verification to ensure mathematical corre...

Certora has launched Certora AI Composer, the first Safe AI Coding Platform for smart contracts. The platform merges generative AI with formal verification, using the Certora Prover to mathematically...