Awesome Certora

A curated list of useful resources, tools, guides, and patterns for working with Certora Prover. This list aims to support developers and auditors in using Certora effectively for formal verification of smart contracts.

---

Contents

• Official Resources
• Tutorials & Examples
• Open Source Verified Projects
• Style Guides & Best Practices
• Certora Tricks

Official Resources

• Certora Goes Open Source
• Certora Documentation
• Certora Technology White Paper
• Certora Prover GitHub

Tutorials & Examples

• Formal Verification: Securing ERC-4626 Vaults with Certora Prover
• Formal Verification In Practice: Halmos, Hevm, Certora, and Ityfuzz

Style Guides & Best Practices

• Certora Specification Style Guide by AlexZoid
• The Three Prompts of Spec Thinking: Yet Another Lens for Smart Contract Auditing

Open Source Verified Projects

• OpenZeppelin Contracts
• Aave V3
• Aave V3 Horizon
• Morpho Blue Protocol
• EigenLayer
• Badger eBTC by AlexZoid
• UniswapV4 Periphery by AlexZoid
• Lido Dual Governance