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