This proposal outlines funding for Phase 1 of a native Zero-Knowledge verification framework for the Daml on Canton ecosystem, including the implementation of a Groth16 verifier, reusable Daml templates, and a developer SDK.
---
Development Fund Proposal Submission
Proposal file: /proposals/canton-zk-verification-phase1.md
---
Summary
This proposal funds Phase 1 of a ZK verification and anchoring framework for Daml on Canton. The project delivers a Groth16 verifier integration, reusable Daml templates, and a TypeScript SDK enabling confidential off-chain computations to be verified and anchored on Canton without revealing private data. The infrastructure is designed as shared, open-source ecosystem tooling aligned with CIP-0082 and CIP-0100.
---
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
- Scoped as a 2–3 month Phase 1 pilot to minimize execution and funding risk.
- No modifications to Canton protocol or Daml interpreter required.
- Open-source licensing with explicit handover provisions.
- Funding request: 400,000 CC (~$64,000 at submission reference price).
- Designed as reusable ecosystem infrastructure rather than an application-layer product.
