CertiK 为 staking 服务平台 HashQuark OSP 提供安全审计服务

链闻消息，形式化验证平台 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 等十余条公链。（链闻） [原文链接]