Certora Expands Security Tools for Canton

Certora, a Web3 security assurance platform focused on smart contract verification, received a grant of 2.01 million Canton Coin, worth around $300,000, from the Canton Foundation to develop a new open-source tool for Daml projects.

The new tool is designed to improve visibility inside multi-party smart contract systems built on the Canton Network. It will analyze compiled .dar files, which are packaged smart contracts in Daml, and identify interactions between different contract packages. The system will also show where one package has permission to call another, including source file locations and exact line references.

The project targets one of the more difficult parts of blockchain security. In large multi-party systems, contract relationships and delegated permissions can become difficult to track manually. This creates challenges for developers, auditors, and compliance teams that need a clear understanding of how applications behave before deployment.

Certora, a smart contract security and verification company, said the tool will help automate this process and reduce the work required for security reviews. The company plans to release the software under the Apache 2.0 open-source license and integrate it into dpm, Canton’s command-line environment used to build and run applications.

The development is also aimed at financial institutions exploring distributed ledger systems. Banks and infrastructure providers often require detailed analysis of contract behavior before using blockchain applications in production environments.

Image: Magnific