---
id: 1511
title: "Why fuzzing over formal verification?"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/"
published_at: "2024-03-22T13:00:28Z"
tags: ["smart-contracts", "fuzzing", "blockchain", "formal-verification", "trail-of-bits", "invariants", "security-auditing", "symbolic-execution"]
phying_url: "https://phying.com/item/1511"
lang: en
---

# Why fuzzing over formal verification?

## Summary

Trail of Bits explains why it favors fuzzing over formal verification in most audits: proving bug absence is often unattainable, while fuzzing finds similar bugs with far less skill and time.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2024-03-22T13:00:28Z
- **Original:** https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/
- **Phying News:** https://phying.com/item/1511