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.
Written by
Providing Certora Formal Verification
Responses
Markdown supported · ⌘↵ to post
Anthony Tsang
Thank you for the sharing! Keep up the good work =)