Financial institutions are increasingly exploring distributed ledger infrastructure for real-world financial applications. As smart contracts become more interconnected and privacy-sensitive, understanding how those systems behave before deployment has become essential.
Certora has been awarded a grant from the Canton Development Fund to build an open-source static analysis tool for Daml projects on Canton Network.
The tool will analyze compiled .dar files, Canton’s compiled smart contract packages, and identify cross-package interactions. In practice, that means showing where one package has the authority to call into another, with source file paths and exact line numbers.
That visibility matters in multi-party systems. Cross-package authority delegation is difficult to audit manually, and Canton’s privacy-first architecture makes unintended information disclosure an important risk to understand before a contract is deployed or used.
Certora says the tooling is designed to reduce the burden on development, security, and compliance teams while giving institutions clearer insight into how Canton-based applications behave.
The project will be released under the Apache 2.0 license and integrated into dpm, Canton’s command-line tool for building, testing, and running Canton applications. That integration should make the analysis tooling directly accessible to developers working with Daml.
“As financial institutions move serious infrastructure onto distributed ledger systems, the bar for smart contract assurance has to rise with them,” said Mooly Sagiv, Co-Founder of Certora.
For Canton builders, the grant points to a practical part of ecosystem development: making smart contract behavior easier to inspect, verify, and trust before production use.
