Proposal: daml-fuzz — property-based fuzzing for Daml contracts
RejectedPR- SIG
- daml-tooling
- Champion
- —
- Author org
- MrGain
- Ask
- source pending
Abstract
daml-fuzz is an open-source (Apache-2.0) property-based fuzzer for Daml contracts on Canton: developers declare invariants a contract must never break, and it generates randomized multi-party transaction sequences until it finds one that does — then reports a minimal, deterministic reproduction recipe. A working proof of concept is public and validated by mutation testing (8/8 planted bugs discovered by seeded random generation, zero false positives). It fills the ecosystem's adversarial-input-generation gap, complementing coverage (DamlCov, #323) and formal verification (B-Method, #12).
Milestones
No milestones recorded.
Budget impact
- % of available
- —
- % if all RFV pass
- —
- Ask (CC)
- amount pending
Comments by org
3 comments · 1 org · last activity Jul 29, 2026
| Organisation | Comments |
|---|---|
| MrGain | 3 |