Zilliqa通过ChainSecurity提升其区块链安全性

高吞吐量区块链平台Zilliqa今天宣布,它已与区块链安全提供商ChainSecurity合作,为Zilliqa生态系统开发大量安全工具和资源。

由于该项目现有的强调智能合约安全性,其设计安全的智能合约语言Scilla证明,该协作旨在满足区块链行业对更高安全标准和基础设施的需求。

安全框架

ChainSecurity将开发一个可扩展的静态分析框架,允许开发人员通过自动分析其程序的源代码来识别安全性和正确性问题。

该框架将支持控制流,数据流和信息流分析,这是验证非平凡安全属性的重要先决条件。

ChainSecurity是ICE中心的衍生产品,ICE中心是一家领先的研发实验室,专注于欧洲顶级大学苏黎世联邦理工学院的区块链安全。 ChainSecurity由一群经验丰富的安全研究人员组成,已成为区块链行业超过75位客户值得信赖的合作伙伴。

此外,ChainSecurity推出的安全扫描程序还将使开发人员能够识别通用安全漏洞以及因编码不良而产生的设计问题。

在对Scilla智能合约进行专业安全审计后,ChainSecurity将能够利用其对语言语义的深刻理解,以识别相关的安全属性。

安全扫描程序将是可扩展的,允许Zilliqa社区随着时间的推移轻松添加更多相关的安全检查和漏洞模式,以便为智能合约开发建立最佳实践。

“ChainSecurity和Zilliqa团队之间的合作可以追溯到2017年,当时我们首次对Zilliqa令牌进行了安全审计。我们期待与Zilliqa团队进一步合作,并将我们的知识用于构建Zilliqa生态系统的高级安全工具。
– ChainSecurity首席科学家兼联合创始人Petar Tsankov博士

Scilla由领先的编程语言研究人员和设计人员根据函数式编程语言原则开发,可以进行形式验证,允许开发人员利用数学证明来确保他们的合约在语言级别上是可验证的正确的。

Scilla解决了某些类型的漏洞,例如重新进入攻击和对当前智能合约语言中存在的关键状态变量的更改。最近,Scilla在OOPSLA 2019进行了同行评审,这是一个关于编程语言和软件工程的全球学术会议。

“从Scilla到我们的主网和智能合约的推出,安全性突显了Zilliqa的所有技术开发领域。在过去两年中,ChainSecurity在支持我们的网络方面发挥了关键作用。随着我们不断发展,这些工具将帮助我们在此过程中主动解决任何潜在的漏洞。致力于开发企业级解决方案,我们相信此类合作将为我们不断壮大的社区和企业合作伙伴提供支持,同时为整个行业建立更高的安全标准基准。“
– Zilliqa总裁兼首席科学官Amrit Kumar

该项目标志着ChainSecurity与Zilliqa之间战略合作的第一步。由Zilliqa的生态系统补助计划资助。这两个团队已经概述了后续合作,其目标是为Zilliqa生态系统开发其他安全工具。

资讯来源:由0x资讯编译自CRYPTONINJAS。版权归作者所有,未经许可,不得转载
提示:投资有风险,入市需谨慎,本资讯不作为投资理财建议。请理性投资,切实提高风险防范意识;如有发现的违法犯罪线索,可积极向有关部门举报反映。
你可能还喜欢