纽约州纽约市，2026 年 5 月 21 日，Chainwire
Certora 是受到 Web3 领域最先进团队信赖的端到端安全保障平台，现已从 Canton 发展基金获得 2,010,000 枚 Canton Coin（约 30 万美元）的资助，用于为 Daml 项目构建一款新的开源静态分析工具。该计划旨在支持 Certora 持续推进智能合约行为的完全透明与机器可验证性，并将这一能力扩展到在 Canton Network 上构建应用的机构。
Certora 的工具将对已编译的 .dar 文件（Canton 的智能合约编译包）进行分析，以检测并可视化跨包交互——这是智能合约系统中最复杂、最难处理的方面之一。工具将识别每一个一个包被授予调用另一个包的权力的实例，并给出包括源文件路径和精确行号在内的详细引用。追踪每个 Daml 合约的完整供应链，对于理解在 Canton 上与智能合约交互所带来的隐私影响至关重要。在以隐私为先的 Canton 架构中，这种可见性层级尤为关键，因为非预期的信息泄露可能带来严重后果。Certora 的工具将自动化企业在部署或与 Daml 合约交互前所需的分析过程。
对于多方智能合约系统而言，跨包权限委托是最难以通过人工方式审计的部分之一。通过将这一流程自动化，该工具降低了开发、安全与合规团队的负担，并为评估基于 Canton 的应用程序的机构提升信心。
该工具将以 Apache 2.0 许可证发布，并直接集成进 dpm——Canton 用于构建、测试和运行 Canton 应用的命令行工具——从而使构建多方 Daml 应用的开发者可以轻松获取并使用。
对于正在评估分布式账本基础设施的银行、金融机构以及基础设施提供方而言，在部署前理解智能合约的精确行为是前提条件。Certora 的工具将这种严谨性带入 Canton 生态系统。
“随着金融机构将关键基础设施迁移到分布式账本系统之上，智能合约保障的标准也必须随之提升。Certora 与 Canton 基金会的合作正是为了满足这一标准，将我们在 DeFi 领域打造的严格、自动化分析能力，带给最需要它的机构。”Certora 联合创始人 Mooly Sagiv 表示。
在分布式系统中建立信任，是区块链普及所面临的一大挑战。Canton 的隐私优先架构为参与公共区块链提供了一种安全方式，但即便是受信任的验证者，也需要对智能合约行为有完全的理解和可验证性。
Certora 将为开发者和运营者提供清晰、可执行的洞见，说明合约在不同包之间如何交互，使他们能够在部署前评估安全风险。欲了解更多信息，请访问 certora.com。
关于 Certora
Certora 是受到 Web3 领域最先进团队信赖的安全保障合作伙伴。公司成立于 2018 年，由编程语言与形式化方法领域的先驱创立，帮助 Lido、Aave、Uniswap、Compound 等领先协议在保障安全的前提下，可信地保护数十亿美元的资产。
关于 Canton 基金会
The Canton Foundation 是 Canton Network 的独立治理机构。Canton Network 是专为受监管金融服务打造的、支持隐私的区块链网络。基金会负责监督网络治理、生态系统发展以及参与方的接入与引导。
联系方式
高级公关经理
Lauren Bukoskey
[email protected]