作者： 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呢？讓我們拭目以待！