Certora 增强保护套件增强了 Canton 的防御能力

为了显着提升 Web3 安全性，智能合约验证领域的知名专家 Certora 获得了 Canton 基金会颁发的 201 万 Canton 币（价值约 30 万美元）的巨额资助。这笔资金将用于创建专为 Daml 项目量身定制的创新开源解决方案，专门用于提高 Canton 网络上运行的复杂、多方智能合约生态系统的透明度。

即将推出的工具将仔细检查编译后的 .dar 文件，这些文件封装了用 Daml 编写的智能合约，并仔细识别各种合约包之间的交互。此外，它将提供对管理这些包之间交互的权限的详细了解，包括精确的文件位置和行号。通过这样做，该工具解决了区块链安全中长期存在的挑战，其中合约和委托权限之间的复杂关系可能变得越来越难以手动跟踪，特别是在大规模多方系统中。

这个问题给开发人员、审计人员和合规团队带来了重大障碍，他们需要在部署之前全面了解应用程序的行为。 Certora 的解决方案旨在通过流程自动化来减轻这一负担，从而简化安全审查并减少相关工作量。完成后，该公司打算在 Apache 2.0 开源许可证下发布该软件，确保广泛的可访问性以及与 dpm（Canton 用于构建和执行应用程序的命令行界面）的集成。

该工具的开发对于探索分布式账本系统潜力的金融机构尤其重要。在生产环境中部署区块链应用程序之前，银行和基础设施提供商通常需要对合约行为进行彻底分析，Certora 的解决方案可以很好地满足这一要求。通过增强多方智能合约系统的安全性和透明度，这项创新有可能促进区块链技术在金融领域的更广泛采用。