Proposal: CCRE — Canton Composition Reasoning Engine
SubmittedPR- SIG
- needs-SIG
- Champion
- —
- Author org
- —
- Ask
- 375,000
Abstract
CCRE is a topology-aware protocol safety checker for Canton multi-domain deployments. It analyzes Daml contract interfaces together with deployment topology to detect where workflows violate Canton's multi-domain execution model — before deployment. It targets stakeholder hosting violations, cross-domain key ambiguity, and cross-domain contract reference risk. No running Canton node or active ledger connection is required. A working MVP is available at [github.com/vickyshaw29/ccre](https://github.com/vickyshaw29/ccre).
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| Core Validation Engine (MVP) | — | — | 50,000 |
| Multi-Domain Topology Analysis Engine | — | — | 135,000 |
| Direct DAR Parsing | — | — | 100,000 |
| Ecosystem Adoption and Integration | — | 90,000 CC upon final release and acceptance | 90,000 |
| Total | 375,000 | ||
Budget impact
- % of available
- 0.2%
- % if all RFV pass
- 0.2%
- Ask (CC)
- 375,000
Comments by org
No public reasons documented.
View discussion on GitHub