CertiK通过实时智能合约验证启动新的区块链

从事区块链行业运营的软件安全公司CertiK此前透露，它希望为DeFi创建正式安全的区块链。 该公司现已宣布其定制区块链CertiK Chain的主网发布。

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

CertiK首席执行官顾荣辉教授说：“过去依赖于脱链安全分析，静态安全审计报告以及不必要的时间和金钱损失的日子已经一去不复返了。”

他解释说，CertiK链“正在建立区块链安全协议中的新行业标准”。

新的区块链具有一种称为DeepSEA的自定义编程语言，该语言被配置为在大规模自动化流程中进行形式验证（该代码可以证明代码已完成创建工作的数学证据）。

以安全为重点的区块链

“CertiK”链还通过安全性Oracle的概念来强调互操作性，它提供了对其他区块链上智能合约的实时分析。

该公司表示，其他区块链上的智能合约可以使用该功能来分析其同行的安全性。 如果甲骨文认为目标智能合约是不安全的，则开发人员可能会选择逃避与它的快速交互。

甲骨文将通过客户和运营商系统进行操作。 希望了解特定合同的安全范围的最终用户或开发人员将提交请求，该请求由生态系统的CTK令牌提供资金。 然后，运行oracle的操作员将进行分析并在链上发布结果。

此外，该公司正在建立一种保险机制，以弥补黑客入侵造成的任何资金损失，称为CertiKShield。 在2020年3月启动测试网之后，发布了主网。 早在2月，该项目还发布了DeepSEA语言演示。

CertiK是行业中最活跃的安全控制器之一，最近被选为审核Binance Smart Chain和在该平台上开发的协议的合作伙伴。

—-

原文链接：https://cryptogazette.com/certik-launches-new-blockchain-with-real-time-smart-contract-verification/

原文作者：Andreas Townsend

编译者/作者：wanbizu AI

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