New York City, New York, May 21st, 2026, Chainwire
Certora, the end-to-end security assurance platform trusted by the most advanced teams in Web3, has been awarded a grant of 2,010,000 Canton Coin (roughly $300K USD) from the Canton Development Fund to build a new open-source static analysis tool for Daml projects. The initiative aims to support Certora's ongoing work to make smart contract behavior fully transparent and machine-verifiable, extending that capability to institutions building on the Canton Network.
Certora’s tool will analyze compiled .dar files, Canton’s compiled smart contract packages, to detect and visualize cross-package interactions, one of the most complex and difficult aspects of smart contract systems. It will identify every instance where one package has the authority to call into another, including detailed references such as source file paths and exact line numbers. Tracing the full supply chain of each Daml contract is essential to understanding the privacy implications of interacting with a smart contract on Canton. This level of visibility is critical in Canton's privacy-first architecture, where unintended information disclosure carries serious consequences. Certora's tool automates the analysis enterprises need before deploying or interacting with a Daml contract.
Cross-package authority delegation is one of the most difficult aspects of multi-party smart contract systems to audit manually. By automating this process, the tool reduces the burden on development, security, and compliance teams and increases confidence for institutions evaluating Canton-based applications.
The tool will be released under the Apache 2.0 license, integrated directly into dpm, Canton’s command‑line tool used to build, test, and run Canton applications, making it easily accessible to developers building multi-party applications on Daml.
For banks, financial institutions, and infrastructure providers evaluating distributed ledger infrastructure, understanding the precise behavior of smart contracts before deployment is a prerequisite. Certora's tool brings that rigor to the Canton ecosystem.
“As financial institutions move serious infrastructure onto distributed ledger systems, the bar for smart contract assurance has to rise with them. Certora's work with the Canton Foundation is about meeting that bar, bringing the same rigorous, automated analysis we've built for DeFi to the institutions that need it most," said Mooly Sagiv Co-Founder of Certora.
Trust in distributed systems is a major challenge in blockchain adoption. Canton’s privacy-first architecture provides a safe way to participate in public blockchains, but even trusted validators need to have smart contract behavior fully understood and verifiable.
Certora will give developers and operators clear, actionable insight about how contracts interact across packages, allowing them to evaluate security risks before deployment. To learn more, visit certora.com.
About Certora
Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols like Lido, Aave, Uniswap, and Compound secure billions in value with confidence.
About the Canton Foundation
The Canton Foundation is the independent governing body of the Canton Network, the privacy-enabled blockchain network built for regulated financial services. The Foundation oversees network governance, ecosystem development, and participant onboarding.
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]