据Cointelegraph消息，区块链网络安全公司CertiK宣布推出本土认证链区块链。此区块链的全部节点将运行在CertiKOS上，并表示，这是一个”经过充分验证的管理程序/并发操作系统内核“，提供军事级别的安全防范黑客攻击。此外，公告还声明区块链是由CertiK虚拟机支持，该虚拟机使用了公司的正式验证平台来确保其正确实现。
据Cointelegraph消息，区块链网络安全公司CertiK宣布推出本土认证链区块链。此区块链的全部节点将运行在CertiKOS上，并表示，这是一个”经过充分验证的管理程序/并发操作系统内核“，提供军事级别的安全防范黑客攻击。此外，公告还声明区块链是由CertiK虚拟机支持，该虚拟机使用了公司的正式验证平台来确保其正确实现。