We explain the vulnerabilities in our first DeFi hacking challenge and announce a relaunch of the contest with a twist: Capture the Funds - Endless CTF!

We have released Certora Prover Version 8.8.0 that includes new features.

We have released Certora Prover Version 8.5.1 that includes new features.

Certora presents its first community contests for securing Soroban smart contracts written in Rust. We partnered with Code4rena and Cantina to crowdsource security analysis of the Blend v2 and Aquarius protocols for the Stellar blockchain.

We have released Certora Prover Version 8.6.3 that includes an important enhancement.

We have released Certora Prover Version 8.11.3 that includes new features.

We provide a roadmap for Stellar smart contract builders to prepare for a security audit through the Soroban Security Audit Bank. By designing for security, writing clean & tool-friendly Rust code, rigorously testing, and running security tools beforehand, projects can be well-prepared. Be audit-ready so your project gets a faster, deeper, and more valuable security review.

We have released Certora Prover Version 8.13.0 that includes new features for EVM, Solana, and Soroban.