領先的區塊鏈安全公司 Certora 已加入 Solana 基金會委託計劃，並啓動了自己的驗證節點，將其角色從審計擴展到直接網絡運營。此舉將 Certora 的形式化驗證專業知識應用於保障實時交易和基礎設施的安全，與該計劃加強去中心化和可靠性的目標相契合。首席執行官 Seth Hallem 表示，此次部署進一步拓展了公司爲 Web3 提供彈性的使命，積極支持 Solana 生態系統的安全性和去中心化。