DamlFuzz: Fuzzer for DAML

Development Fund Proposal Submission

Proposal file: proposals/fuzzing-framework-damlfuzz.md

---

Summary

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.

---

Checklist

• [x] Proposal file added under /proposals/
• [x] Milestones and funding amounts defined
• [x] Acceptance criteria included
• [x] Alignment with Canton priorities described

---

Notes for Reviewers

N/a