区快洞察消息，形式化验证平台 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 等十余条公链。