Proposal: ZK Verification & Anchoring Framework for Daml on Canton (Phase 1)

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

• Proposal file added under /proposals/
• Milestones and funding amounts defined
• Acceptance criteria included
• 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.