鏈聞消息，形式化驗證平臺 CertiK 宣佈作爲安全合作伙伴加入 staking 生態服務平臺 HashQuark OSP，提供安全審計服務，維護生態安全。HashQuark OSP 爲個人、團隊與平臺機構提供定製化 staking 解決方案，已服務於逾 10 家數字資產平臺。CertiK 是智能合約以及區塊鏈生態的形式化驗證平臺，由耶魯大學和哥倫比亞大學提供研究支持，稱目前已爲 200 餘家交易所和公鏈提供安全審計服務，保護了近 62 億美元的資產。HashQuark 是香港金融科技公司 HashKey Group 旗下專注於 PoS、DPoS 以及其他共識機制公鏈的 staking 生態服務商，目前支持 Qtum、VET、EOS、Cosmos、IRISnet、IOST、Decred、Tezos、Cybex、ChainX 等十餘條公鏈。