Certora FV Practical Guide: Insights from the Badger eBTC CompetitionIntroduction 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, 2025 · 17 min readalexzoid.com
Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 ContestWhat are Certora contests? How do they differ from standard audit competitions? How do you get started? Are there any specific nuances? You’ll find the answers to all of these questions here. At the time of writing this article, I’ve participated in ...1AFeb 25, 2025 · 6 min readalexzoid.com
First steps with Certora Formal Verification: Catching a Real Bug with a Universal 5-Line RuleIntro 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...1AFeb 20, 2025 · 5 min readalexzoid.com
