纽约州纽约市，2026 年 5 月 21 日 — 领先的 Web3 端到端安全保障平台 Certora 获得了广州发展基金颁发的 2,010,000 广州币（约 300,000 美元）资助。这笔赠款将支持为 Daml 项目开发新的开源静态分析工具，旨在将机器可验证的智能合约透明度扩展到 Canton 网络上的机构。
该工具将分析编译后的 .dar 文件（Canton 的智能合约包），以检测和可视化跨包交互，这是多方系统的一个关键而复杂的方面。它将识别一个包可以调用另一个包的所有实例，并提供详细的参考，例如源文件路径和行号。此功能对于理解 Canton 隐私优先架构中的隐私影响至关重要，在该架构中，意外的数据泄露会带来重大风险。
通过自动分析跨包权限委托，该工具减轻了开发、安全和合规团队的手动审核负担。它将直接集成到 Canton 用于构建、测试和运行应用程序的命令行工具 dpm 中，并根据 Apache 2.0 许可证发布以供广泛的开发人员访问。
Certora 联合创始人 Mooly Sagiv 表示：“随着金融机构将重要的基础设施转移到分布式账本系统上，智能合约保证的标准也随之提高。Certora 与 Canton 基金会的合作就是为了满足这一标准，为最需要的机构带来严格的自动化分析。”
该举措强调了受监管领域对可验证智能合约行为的日益增长的需求，为开发人员和运营商提供了可操作的见解，以在部署之前评估安全风险。
有关详细信息，请访问 certora.com。
关于 Certora
Certora 由编程语言和形式化方法先驱于 2018 年创立，是 Lido、Aave、Uniswap 和 Compound 等顶级 Web3 协议的安全保障合作伙伴，帮助保护数十亿资产价值。
关于广州基金会
Canton 基金会负责管理 Canton 网络，这是一个专为受监管的金融服务而设计的隐私区块链。它负责监督网络治理、生态系统开发和参与者入职。
联系方式：
劳伦·布科斯基
高级公关经理
lauren@serotonin.co