---
title: "Discussion on \"Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 Contest\" | Hashnode"
description: "Discussion on \"Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 Contest\". Learn how Certora Formal Verification contests differ from standard audits, explore best practices, and catch a real Uniswap V4 mutation bug."
url: "https://hashnode.com/posts/practical-guide-to-certora-formal-verification-contests/67bdb04eb2f016b15b01bc05"
---

[Feed](https://hashnode.com/feed) /

Discussion

# [Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 Contest](https://alexzoid.com/practical-guide-to-certora-formal-verification-contests?utm_source=hashnode&utm_medium=feed)

Learn how Certora Formal Verification contests differ from standard audits, explore best practices, and catch a real Uniswap V4 mutation bug.

Feb 25, 2025 · 6 min read · alexzoid.com  
Updated Mar 19, 2025  
Read the article

-   [#formal-verification](https://hashnode.com/tag/formal-verification)
-   [#certora](https://hashnode.com/tag/certora)
-   [#smart-contracts](https://hashnode.com/tag/smart-contracts)
-   [#security](https://hashnode.com/tag/security)
-   [#solidity](https://hashnode.com/tag/solidity)

## Written by

[Alex Zoid](https://hashnode.com/@alexzoid)

@alexzoid

  
[View profile](https://hashnode.com/@alexzoid)

Providing Certora Formal Verification

## Responses 1

Markdown supported · ⌘↵ to post

[Anthony Tsang](https://hashnode.com/@anthonytsang)

[Feb 26, 2025](https://hashnode.com/posts/practical-guide-to-certora-formal-verification-contests/67bdb04eb2f016b15b01bc05/comment/67beb067d4b5be3fb4cbb55f)

Thank you for the sharing! Keep up the good work =)