CertiK推出主网CertiK Chain

网络安全公司CertiK推出了带有实时智能合约审计系统的主网CertiK Chain.

在 CertiK Chain 区块链中，最受关注的是安全性 - 用于分析智能合约的静态过程 转换为实时保护系统. CertiK首席执行官、哥伦比亚大学计算机科学教授顾荣辉 (Ronghui Gu) 说:

“时间, 当我们依赖离线安全分析和静态安全审计报告时, 也遭受了不必要的时间和金钱损失, 结束了. CertiK Chain 为区块链安全协议树立了新的行业标准”.

CertiK Chain 使用专有的智能合约编程语言 DeepSEA, 今年早些时候发布了演示版. DeepSEA 自动进行形式验证 - 数学证明, 代码工作正常.

区块链旨在与其他网络兼容 - 它使用安全预言机, 实时分析其他网络中的智能合约. 其他网络上的智能合约可以使用此功能来评估节点的安全性. 如果预言机认为目标智能合约不安全, 开发者可以立即拒绝与其交互.

预言机将通过客户和运营商系统进行工作. 最终用户或开发人员, 想要评估特定合约的安全级别的人, 发送请求, 由 CertiK Chain 自己的加密资产资助 (CTK). 甲骨文运营商将进行分析并在线发布结果. 该公司还将推出 CertiKShield 保险，以弥补因黑客攻击而造成的任何金钱损失。.

来源