DamlFuzz: Fuzzer for DAML
In ReviewPR- SIG
- daml-tooling
- Champion
- —
- Author org
- Zircuit
- Ask
- 2,150,000
Abstract
We propose developing a fuzzer for Daml smart contracts. The fuzzing tool will provision the a property-based testing and coverage-guided fuzzing framework for Daml smart contracts while being designed from the ground up for Daml's unique authorization model, UTXO-like state, and multi-party privacy semantics. It will be developed as open-source, free to use, executable locally, will integrate with the current Daml tooling, and will provide reports usable in CI/CD pipelines.
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| DamlFuzz: Generator Framework and Property DSL | — | — | 1,000,000 |
| DamlFuzz: Fuzzing Engine with Shrinking | — | — | 1,000,000 |
| DamlFuzz: Benchmarking, Optimization and Standardized Applications | — | — | 150,000 |
| Ongoing Maintenance | — | Daml developers are routinely performing fuzz testing as part of their standard development and pre-deployment process, and the security posture of Canton Network applications improves as a result. The secondary metric is ecosystem position: when a Daml developer wants to fuzz-test a contract, DamlFuzz is the first solution they reach for. A concrete marker of success is that DamlFuzz appears in the testing sections of community audit checklists, CIP security guidance, and onboarding documentation for Canton Network developers. | — |
| Total | 2,150,000 | ||
Budget impact
- % of available
- 1.2%
- % if all RFV pass
- 1.2%
- Ask (CC)
- 2,150,000
Comments by org
10 comments · 3 orgs · last activity Jun 18, 2026
| Organisation | Comments |
|---|---|
| Zircuit | 4 |
| Unknown | 4 |
| Canton Foundation | 1 |
| Digital Asset | 1 |