在去中心化基础设施的重大发展中，正式验证领导者 Certora 已被 Canton 基金会选为资助对象。这笔赠款旨在开拓新方法，以在复杂的多方数字系统中建立和确保信任。
Canton 基金会以支持增强去中心化网络的隐私性和互操作性的项目而闻名，该基金会已将 Certora 的尖端技术视为其使命的关键推动者。 Certora 专注于自动化形式验证，这是一种从数学上证明智能合约和区块链协议的正确性和安全性的技术。
“信任是多个独立方互动的任何系统的基础层，尤其是在金融和数字资产网络中，”Certora 发言人表示。 “坎顿基金会的这笔资助使我们能够进一步开发工具，为系统行为提供可验证的数学保证，而不仅仅是基于样本测试的审计。”
此次合作预计将侧重于创建可在 Canton Network 和其他多方系统中采用的可访问的正式验证框架和标准。这项工作对于寻求利用去中心化技术同时管理运营和合规风险的机构来说至关重要。
行业分析师指出，随着区块链和分布式账本技术的成熟，对可证明安全系统的需求猛增。在这项战略资助的支持下，Certora 的工作使其处于为全球企业构建下一代值得信赖的数字基础设施的最前沿。
赠款的财务条款未公开披露。两个组织均表示，进一步的技术细节和路线图里程碑将在未来几个季度发布。