域名频道资讯站 
区块链网络安全公司CertiK推出了其原生CertiK Chain区块链。CertiK基金会于7月22日在官方博客文章中宣布了其新版本。
根据公告，CertiK Chain旨在提供全面安全的区块链基础设施。
据报道，这个区块链的完整节点将运行在CertiKOS上，他们称这是一个“完全验证的虚拟机管理程序/并发操作系统内核”，据称提供了针对黑客攻击的军用级安全防护。此外，该公告还指出，区块链由CertiK虚拟机支持，后者使用公司的形式验证平台确保其正确实施。
然后，可以使用函数式编程语言DeepSEA开发智能合约，据报道，DeepSEA通过代码保证安全性。此外，据报道，任何链上智能合约都将具有加密证书，作为经过验证的安全性的证据; 但是，据报道，没有这种证书的智能合同可能需要额外收费。
根据博客文章，CertiK的一个主张是区块链需要足够的安全性才能扩大规模。CertiK希望其区块链可以成为一个长期解决方案，可以大规模采用区块链技术。
根据其网站表示，CertiK目前通过安全审计，渗透测试和平台定制提供以区块链为中心的网络安全服务。此外，该公司还与主要的区块链组织建立了合作伙伴关系，例如Binance，CertiK 在1月份宣布了这一组织。
正如Cointelegraph 之前报道的那样，以太坊基金会在3月份为DeepSEA项目提供了资金。开源区块链项目Qtum还在12月为DeepSEA提供了400,000美元的资金。该项目由哥伦比亚的Ronghui Gu教授领导，他也是CertiK的联合创始人。
本文素材来自互联网
