The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
An audit report provides an in-depth evaluation of potential vulnerabilities, code inefficiencies, and ensure that the software adheres to industry best practices. This report also aims to suggest improvements and recommend actions for optimizing the project's security and performance.
ZeroMoon zETH - The Unbreakable Token
Blend v2 (Stellar) Certora FV Competition (Feb 2025, #4 place)
Top zETH Wallet Integrations & Security Tools 2026 🚀 | Unbreakable ZeroMoon ETH Solutions
Aquarius (Stellar) Certora FV Competition (Jun 2025, 🏆#1 place)
Aquarius (Stellar) Certora FV Competition (Jun 2025, 🏆#1 place)
Add a description, image, and links to the certora-prover topic page so that developers can more easily learn about it.
To associate your repository with the certora-prover topic, visit your repo's landing page and select "manage topics."