#defi - Certora Formal Verification

Skip to main content

Hashnode Certora Formal Verification

Certora Formal Verification

Command Palette

Search for a command to run...

#defi

Articles tagged with #defi

Certora FV Practical Guide: Insights from the Badger eBTC Competition
Introduction This article originally was published about one year ago (in Jan 2024). I’ve slightly edited it and fixed sources to support the latest (7.26.0) Prover version. In 2023, I got involved in formal verification by joining Certora community ...
Mar 19, 202517 min read509
First steps with Certora Formal Verification: Catching a Real Bug with a Universal 5-Line Rule
Intro Curious about Certora Formal Verification but unsure where to begin? This tutorial provides a step-by-step setup and a powerful five-line rule for catching a very common class of storage-related bugs. It’s illustrated with a real issue discover...
Feb 20, 20255 min read382

© 2026 Certora Formal Verification

Members
Archive
Privacy
Terms