Daml Package Analyzer #130 Milestone 2

Milestone 2: Initial Adoption & Ecosystem Validation

Estimated Delivery: 1 month after milestone 1 completes

This milestone focuses on validating the tool in real-world Canton deployments and ensuring its usability across diverse applications. Certora will:

• Run the tool on Splice
• Collaborate with the Canton Foundation to onboard 5 voting member companies or representative Canton deployments
• Support these teams in running the tool on their codebases and interpreting the results from a security perspective
• Collect feedback and refine the tool’s output and usability

Deliverables:

• Evidence of successful runs across participating projects
• Improvements based on real-world usage
• Documentation incorporating best practices from these engagements
• Continued support for CI integration

The goal of this milestone is to demonstrate that the tool is not only technically correct, but also practically useful and adopted within the Canton ecosystem.

Milestone 2: Initial Adoption

• Run the tool on Splice
• 5 voting member companies or representative Canton deployments have run the tool on their codebases
• Certora has supported these teams in onboarding and usage
• Each participating company expresses interest in continuing to use the tool and endorses release of this milestone
• Feedback from participating teams is collected and incorporated into the tool
• The tool demonstrates usability across multiple real-world projects
• Updated documentation reflects lessons learned and best practices

• Milestone 2 (Initial Adoption): 335,000 Canton Coin

Duration: 1 month Potential Start Date: 7th June 2026 Finishing Date: 6th July 2026

_Originally posted by @hythloda in https://github.com/canton-foundation/canton-dev-fund/issues/130#issuecomment-4254818600_