三點助力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呢？讓咱們拭目以待！​​​​