10月22日消息,近日区块链安全公司CertiK成为OKB首批生态合作伙伴,用户可使用 OKB兑换其安全服务。OKB也将携手安全机构 CertiK 为区块链行业安全护航。 据了解,CertiK 是由耶鲁大学和哥伦比亚大学的形式化验证专家创立,是最早涉足区块链安全领域的公司之一。CertiK 团队层完成了首款防黑客操作系统内核,并将核心技术成功应用于区块链安全领域,在数学层面上证明区块链生态系统与智能合约安全无漏洞,截至目前已经保护了超过 62 亿美元的资产免受损失。
发布者: | qkl67 | 浏览次数: | 334 |
有效期至: | 长期有效 | 发布时间: | 2019-10-22 16:28 |
您还没有登录,请登录后查看详情
|
客服微信