CertiK基金会推出以安全为重点的区块链

区块链网络安全公司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的联合创始人。