Zilliqa通过Twitter 发布ChainSecurity的合作伙伴关系。 Zilliqa开发安全工具。
Zilliqa对安全性的痴迷以及与 ChainSecurity 的合作
该公司始终注重安全,其高安全性智能合约就tracdent这一点。 此外,智能合约trac“防错误”语言,通过确保系统无错误来提供高安全性。 尽管如此,该公司希望通过使其基础设施更加坚不可摧来提高安全性。
ChainSecurity 将为Zilliqa网络开发一个可扩展的静态分析框架。 这将使开发人员能够检测其程序代码中的问题。 该基础设施将允许控制流、数据流和信息分析,这些是确定系统安全属性时的重要因素。
什么是链安全?
ChainSecuirty 是一家 ICE 初创公司,购买了第一个区块链自动化正式审计平台。 ICE 是苏黎世欧洲大学的一个专注于区块链 目前,ChainSecurity 在区块链生态系统中拥有超过 70 个客户。
ChainSecurity 和Zilliqa :合作伙伴关系对区块链有何意义
该初创公司计划推出一款安全扫描器,使开发人员能够检测其代码中的安全漏洞。 其中包括因不当编码实践而产生的一般漏洞。
ChainSecurity 还正在对 Scilla 语言进行正式审核。 这样,初创公司就可以识别其属性,从而利用该语言实现各种安全目的。 此次合作将提高Zilliqa的安全性,同时为其他专注于安全的企业创建一个可以效仿的模型。