CertiK通过实时智能合约审核发布区块链

活跃在区块链领域的软件安全公司CertiK宣布了其主定制区块链CertiK Chain的主网发布。

新的区块链将重点放在安全性上，从而将以前分析智能合约的静态过程转变为实时保护系统。

CertiK首席执行官顾荣辉教授说：“过去依赖于脱链安全分析，静态安全审计报告以及不必要的时间和金钱损失的日子已经一去不复返了。” 他补充说，CertiK链“正在为区块链安全协议树立新的行业标准”。

区块链具有一种称为DeepSEA的自定义编程语言，该语言被设计为在很大程度上自动化的过程中进行形式验证（数学证明该代码完成了预期的工作）。

区块链还通过安全性Oracle的概念来关注互操作性，它提供了对其他区块链上智能合约的实时分析。 该公司表示，其他区块链上的智能合约可以使用该功能来评估其同行的安全性。 如果oracle认为目标智能合约不安全，则开发人员可以选择避免与之进行实时交互。

甲骨文将通过客户和运营商系统进行工作。 希望了解特定合同安全级别的最终用户或开发人员将提交由区块链的CTK令牌资助的请求。 甲骨文背后的操作员将进行分析并在链上发布结果。

最后，该公司还组织了一种保险机制，以弥补黑客入侵造成的资金损失，称为CertiKShield。

在2020年3月发布测试网之后，启动了主网。2月初，该项目发布了DeepSEA语言的演示。 CertiK是该领域最活跃的安全审核员之一，最近被选为审核Binance Smart Chain和在该平台上构建项目的合作伙伴。

—-

原文链接：https://cointelegraph.com/news/certik-releases-blockchain-with-real-time-smart-contract-auditing

原文作者：Cointelegraph By Andrey Shevchenko

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。