---
id: 1504
title: "Curvance: Invariants unleashed"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/"
published_at: "2024-04-30 13:30"
tags: ["smart-contracts", "fuzzing", "audit", "blockchain", "invariant-testing", "echidna"]
phying_url: "https://phying.com/item/1504"
lang: en
---

# Curvance: Invariants unleashed

## Summary

Trail of Bits recounts its first dedicated invariant development project: in nine weeks on Curvance it wrote 216 invariants, found 13 critical issues, and upgraded its fuzzing tools.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2024-04-30 13:30
- **Original:** https://blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/
- **Phying News:** https://phying.com/item/1504