领先的区块链安全公司 Certora 已加入 Solana 基金会委托计划，并启动了自己的验证节点，将其角色从审计扩展到直接网络运营。此举将 Certora 的形式化验证专业知识应用于保障实时交易和基础设施的安全，与该计划加强去中心化和可靠性的目标相契合。首席执行官 Seth Hallem 表示，此次部署进一步拓展了公司为 Web3 提供弹性的使命，积极支持 Solana 生态系统的安全性和去中心化。