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

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

---

Notes for Reviewers

N/a