专注于智慧合约验证的 Web3 安全保障平台 Certora 从 Canton 基金会获得了 201 万 Canton Coin（价值约 30 万美元）的拨款，用于开发 Daml 专案的新开源工具。
这款新工具旨在提升基于 Canton 网路建构的多方智慧合约系统的内部可见度。它将分析已编译的 .dar 档案（即以 Daml 语言打包的智能合约），并识别不同合约包之间的交互作用。该系统还会显示一个合约包在何处拥有呼叫另一个合约套件的权限，包括原始档案位置和确切的行引用。
该项目旨在解决区块链安全中最棘手的问题之一。在大型多方系统中，合约关系和委托权限的手动追踪可能非常困难。这给开发人员、审计人员和合规团队带来了挑战，他们需要在部署前清楚地了解应用程式的运作方式。
智慧合约安全与验证公司 Certora 表示，该工具将有助于实现流程自动化，并减少安全审查所需的工作量。该公司计划以 Apache 2.0 开源许可证发布该软体，并将其整合到 dpm 中。 dpm 是 Canton 用于建置和执行应用程式的命令列环境。
该开发案也旨在帮助金融机构探索分散式帐本系统。银行和基础设施提供者通常需要在生产环境中使用区块链应用之前，对合约行为进行详细分析。
图片：壮丽
