ChainSecurity将增加Zillliqa区块链安全性
Zilliqa区块链今天宣布,它将与区块链安全公司ChainSecurity合作,以改进其网络的安全工具和措施。
该项目以其智能合约安全而闻名,因为它使用名为Scilla的专有语言,专门用于确保智能合约安全。通过这种新的合作关系,将为行业中使用的安全标准和基础设施带来更大的改进。
ChainSecurity将创建一个可扩展的静态分析框架,该框架将支持控制流,数据流和信息流分析。它还将使开发人员能够通过自动评估其程序的源代码来发现安全漏洞。
ChainSecurity是ICE中心的一个分支,ICE中心是苏黎世欧洲高等教育大学的领先区块链安全研究和开发设施。 ChainSecurity拥有来自区块链领域的超过75个合作伙伴。
他们的安全扫描程序还将帮助开发人员找到常见的安全漏洞以及可能因编码不当而导致的设计问题。
在合作伙伴关系之前,ChainSecurity已经领导了Scilla智能合约的专业安全审计,因此它能够将其获得的洞察力应用于语言的语义,以确定其相关的安全功能。
ChainSecurity首席科学家兼联合创始人Petar Tsankov博士发表以下声明:
“ChainSecurity和Zilliqa团队之间的合作可以追溯到2017年,当时我们首次对Zilliqa令牌进行了安全审计。我们期待与Zilliqa团队进一步合作,并将我们的知识用于构建Zilliqa生态系统的高级安全工具。
Scilla是一种编程语言,由领先的研究人员和设计人员开发,旨在解决当今智能合约语言中普遍存在的漏洞,例如重新进入攻击和关键状态变量的变化。
根据函数式编程语言原则构建,Scilla可用于形式验证,使开发人员能够使用数学验证来确保合约在语言级别上是正确的。
Scilla最近在OOPSLA 2019进行了同行评审,这是一个关于编程语言和软件工程的全球学术会议。
Zilliqa总裁兼首席科学官Amrit Kumar说:
“从Scilla到我们的主网和智能合约的推出,安全性突显了Zilliqa的所有技术开发领域。在过去两年中,ChainSecurity在支持我们的网络方面发挥了关键作用。随着我们不断发展,这些工具将帮助我们在此过程中主动解决任何潜在的漏洞。致力于开发企业级解决方案,我们相信此类合作将为我们不断壮大的社区和企业合作伙伴提供支持,同时为整个行业建立更高的安全标准基准。“
特色图片:财经Yahoo.com