三点助力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呢？让我们拭目以待！​​​​