CantonTrace - Debugging Platform for Canton Network

Development Fund Proposal Submission

Proposal file: /proposals/cantontrace.md

---

Summary

CantonTrace is a web-based debugging and security analysis platform for Canton Network and Daml smart contracts. It delivers capabilities absent from the ecosystem today: expression-level execution tracing through an instrumented Daml-LF Speedy interpreter, dual-path transaction simulation, automated static analysis with eight detection rules, Daml Script step-through debugging, performance profiling, structured error decoding, real-time event monitoring, contract lifecycle tracking, and privacy visualization. A functional prototype is available at cantontrace.com with source at github.com/justmert/cantontrace.

---

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

• A functional prototype is live at cantontrace.com and a video walkthrough is available at youtube.com/watch?v=xjXGmoFw7xA
• The proposal directly addresses gaps identified in the 2026 Canton Developer Experience Survey
• The project aligns with CIP-0082 scope: developer tools, security analysis, reference implementations, and critical infrastructure
• 12-month post-release maintenance is included at no additional cost