Ai总结： Certora获得Canton发展基金资助，将开发面向Daml项目的开源静态分析工具，实现跨包交互的可视化追踪与自动化验证，助力机构在部署前全面评估合约风险。

Certora获201万枚代币资助，推进达姆合约行为可验证性研究

2026年5月21日，端到端安全验证平台Certora获得来自Canton发展基金的2,010,000枚Canton代币（约合30万美元）支持，用于构建专为Daml项目设计的开源静态分析系统。该工具旨在深化智能合约行为的透明化能力，推动其在基于Canton网络运行的企业级应用中的落地应用。

实现跨包调用链路的精准可视追踪

新开发的分析框架可解析编译后的.dar文件，深入识别并呈现智能合约间跨包调用的完整路径。该功能能准确标注所有涉及权限转移的调用实例，并回溯至原始源码位置与具体行号，为开发者提供精确的行为溯源依据。在隐私保护优先的Canton架构中，这种对合约供应链的深度剖析，对于预防非预期数据暴露具有决定性作用。

重构多方协作系统的审计流程效率

针对多参与方环境下的权限委托机制，传统人工审计存在高成本与低覆盖率问题。该自动化分析工具将显著降低开发、安全及合规团队的工作负荷，同时提升对复杂合约逻辑的审查精度，增强组织对分布式应用部署的信心。

工具将以Apache 2.0协议开源发布，并直接嵌入Canton的dpm命令行工具链，确保Daml生态开发者可无缝集成使用。

支撑金融机构的可信部署决策

对于银行、金融基础设施提供商等关键行业用户而言，部署前对智能合约行为的充分理解是保障系统稳定性的核心前提。Certora的新工具将把严谨的验证流程引入Canton生态，使风险评估具备可量化、可复现的基础。

Certora联合创始人Mooly Sagiv指出：“随着核心业务向分布式账本迁移，智能合约的安全标准必须同步升级。我们与Canton基金会的合作正是为了打造与DeFi领域同等严格的自动化分析体系，服务于最需要可靠验证的机构场景。”

打造可审计、可信赖的合约执行环境

在去中心化系统中，信任建立依赖于行为的可解释性与可验证性。尽管Canton采用隐私优先设计，但即便是受控节点也需具备对合约交互逻辑的清晰认知。Certora提供的分析能力，使开发者与运维方能够在部署前全面掌握跨包交互的潜在影响，从而主动规避安全漏洞。

该工具将为构建可验证的信任链条提供关键技术支撑，推动企业级区块链应用迈向更高成熟度。