星云和CertiK达成战略合作 形式化安全验证为区块链保驾护航
 二维码

星云和CertiK达成战略合作  形式化安全验证为区块链保驾护航

据星云官方消息,星云链与区块链系统形式化验证平台CertiK在纽约共识大会上建立了合作关系。通过合作,CertiK将为星云提供代码安全服务,同时CertiK也将深度参与到星云生态中,为星云区块链上开发的智能合约和DApp提供形式化验证,进一步提高星云区块链生态的安全性和可靠度。

星云链作为新一代区块链公链,致力于构建可持续升级的良性生态。独创了区块链价值发现体系、前瞻性的激励和共识机制、避免硬分叉的自进化能力。星云主网于今年3月底上线,并于近期开启了为期2个月的“星云激励计划”。目前,星云主网上已经有近3000个DApp,数量超过以太坊。星云区块链生态快速发展的同时,安全性与可靠性变得尤为重要。

CertiK作为一家用形式化验证为智能合约和区块链应用提供最先进的代码安全服务的公司,与目前星云的发展诉求不谋而合。其通过将智能合约转化为数学模型,并用逻辑上的推理演算来验证模型,从而证明智能合约的安全性。因为整个演算过程符合严谨缜密的数学逻辑,所以CertiK检验过的结果很难被黑客攻克。CertiK核心产品基于CertiKOS防黑客操作系统演变迭代而来,这套系统历经两位创始人邵中教授与顾荣辉教授多年研究,并投入了千万美金的科研经费,其成果也被应用于军事级别软件系统的原型设计开发之中。

为了使验证过程具有可扩展性,CertiK通过将复杂的智能合约结构分层与模块拆分,可以使耗时耗算力的验证过程分解为更小更简单的任务。通过这种方式,CertiK分类账本就可以充当证书,以确保端到端的正确性——验证智能契约和块链的安全性——从而产生一个完全可信和安全的生态系统。

区块链技术和可编程智能合约具有巨大潜力,能够变革商业活动运作方式。然而,一旦部署,智能合约是开源的和不可变的,这使得它们很容易受到黑客的攻击。例如,近期在DAO和Mt.Gox发生的事件,都说明安全性对于区块链和加密货币空间至关重要。

此次合作,CertiK将帮助确保部署在星云链上的DApps和智能合约是安全、可靠的,并且能够抵抗潜在的黑客攻击。有了CertiK的认证的DApp库和IDE插件,企业家和程序员在开发星云区块链上的DApps和智能合约时,也会得到实时的、交互式的代码安全反馈。因此,就可以节省调试和验证代码的安全性和可靠性方面花费的大量时间和精力。星云与CertiK更深入和广泛的合作,能够形成技术上的互补,共同构建安全可靠的良性公链生态。

星云 形式化验证 代码安全

文章作者: 星云链


推荐展示