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

​​做者： Vincent https://weibo.com/u/620460972...

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呢？让咱们拭目以待！​​​​