三点助力Zilliqa主网上线安全无忧

更多精彩

​​作者: Vincent  https://weibo.com/u/6204609729?profile_ftype=1&is_all=1#_0

Zilliqa旨在利用分片技术解决区块链的扩展性难题,使得区块链更快、更具扩展性。尽管项目成立仅一年多时间,但已给我们带来太多惊喜。

Zilliqa作为被业界寄予厚望的几个项目之一,进度也在不断更新,作为主网上线前的重要里程碑,测试网3.0“猫山王”已经发布。在以太坊苦苦困于低吞吐率之际,Zilliqa测试网已经取得了2800tps的成绩,许多人都认为Zilliqa可能会成为以太坊的强有力的竞争者。

然而主网的发布也不是一蹴而就的,中间会遇到许多的挑战。因为想给社区带来一个有着智能合约和更多Dapp的主网,Zilliqa曾将主网上线时间推迟了一个季度。尽管有些延误,Zilliqa还是处于业内领先的地位,11.30日发布了全球首个集网络、交易、智能合约分片的测试网。有三个特性将助力Zilliqa上线后迅速走上正轨。

分片技术

分片技术类似于大数据处理中的云计算集群,通过将问题分而治之,大而化之来解决区块链的拓展性难题。与很多采用其他技术的公链不同,在分片技术中节点越多,网络的处理能力越强,并且在一定范围内处理能力是线性增加的,是目前解决安全性、拓展性、去中心化不可能三角最有效的方式。

智能合约安全性

Zilliqa的智能合约是其亮点之一,因为团队创始人都是网络安全出身,对区块链安全问题也有很深入的研究,看到很多现有公链在合约安全领域的欠缺,所以才会有新创一个智能合约语言的想法,通过形式化证明消除智能合约的潜在漏洞。

形式化验证是一种基于数学和逻辑学的方法。具体来讲,在智能合约部署之前,对代码进行形式化建模,然后通过数学的手段对代码的安全性和功能正确性进行严格的证明,可有效检测出智能合约是否存在安全漏洞和逻辑漏洞。该方法可以有效弥补传统的靠人工经验查找代码逻辑漏洞的缺陷。形式化验证技术的优势在于,用传统的测试等手段无法穷举所有可能输入,而用数学证明的角度,就能克服这一问题。

历经三次公测

近期,Zilliqa发布第三版测试网“猫山王”,该测试网是集成交易分片、网络分片、智能合约分片等主网全部功能的完全成熟的测试网。在测试网2.0中,Zilliqa团队使用1000个节点、四个分片的配置达到了压测10k tps的成绩,测试网3.0中,团队配备了1200个节点,三个分片,能达到多少tps呢?让我们拭目以待!​​​​

发表评论

电子邮件地址不会被公开。 必填项已用*标注