区块链网络消息,形式化验证平台 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 等十余条公链。 —- 编译者/作者:区块链网络 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
CertiK 为 staking 服务平台 HashQuark OSP 提供安全审计服务
2020-04-14 区块链网络 来源:链闻
LOADING...