Searching...
Share
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.
