---
title: "Discussion on \"Find Highs Before External Auditors Using Certora Formal Verification\" | Hashnode"
description: "Discussion on \"Find Highs Before External Auditors Using Certora Formal Verification\". At DeFi Security Summit 2024 I presented a workshop on how smart contract developers can use invariant fuzz testing to find high severity issues prior to external audit, based on my real-world experience doing private audits with Cyfrin.\nSince fuzz t..."
url: "https://hashnode.com/posts/find-highs-before-external-auditors-using-certora-formal-verification/67499f8da07ccaaa28e34057"
---

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

Discussion

# [Find Highs Before External Auditors Using Certora Formal Verification](https://dacian.me/find-highs-before-external-auditors-using-certora-formal-verification?utm_source=hashnode&utm_medium=feed)

At DeFi Security Summit 2024 I presented a workshop on how smart contract developers can use invariant fuzz testing to find high severity issues prior to external audit, based on my real-world experience doing private audits with Cyfrin. Since fuzz t...

Nov 29, 2024 · 26 min read · dacian.me  
Updated Feb 9  
Read the article

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

## Written by

[Dacian](https://hashnode.com/@dacian)

@dacian · in your storage

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

in your storage

trust nothing, verify everything

## Responses

Markdown supported · ⌘↵ to post

No responses yet.