#smart-contracts - Certora Formal Verification

Skip to main content

Hashnode Certora Formal Verification

Certora Formal Verification

Command Palette

Search for a command to run...

#smart-contracts

Articles tagged with #smart-contracts

Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 Contest
What 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 ...
Feb 25, 20256 min read441
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