為何zkSync總是“宕機”？一文探討zkSync Workflow_ZKS

看有朋友吐槽zkSync總是宕機，其實稱“宕機”略微言過其辭了，準確說是“出塊不穩定”。 本質上是，Sequencer提交的交易，最終Verified的時間不穩定，但用戶在交互端感知并不明顯，因為zkSync的Verify設計就存在確認滯后性。 未來去中心化階段不穩定性會得到緩解。我畫了個workflow和大家探討下。

之所以有用戶感知“宕機”，可能是某些DApp和鏈底層兼容性導致的交易失敗問題，畢竟在zkSync上開發DApp本身挑戰就很大。 我從官方瀏覽器觀察Commit到Verified的Status改變大致需要30min-1小時左右，而用戶端交互DApp幾乎不受此影響。 此文重點在科普zkSync的技術底層邏輯，帶大家清晰地認識zkSync。

直播｜李寶寶 > 靠首發DeFi幣崛起，為何BitMax抓住了風口:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第12期15:00準時開始，本期“后浪”仙女Bitmax 的李寶寶將在直播間聊聊“靠首發DeFi幣崛起，為何BitMax抓住了風口”，請掃碼移步收聽！[2020/8/11]

如workflow所示，zkSync運行分以下步驟：

1）User通過relay轉發向Sequencer排序器發送批量交易；

2）Sequencer負責對交易進行排序、聚合打包batch成Merkle樹；

動態 | 智能投顧公司Wealthfront創始人解釋為何其投資服務不包含加密貨幣:智能投顧公司Wealthfront創始人Andy Rachleff稱，公司聚焦于千禧一代投資者，應用程序鏈接到Coinbase，用戶可查看加密貨幣余額，但在Wealthfront的投資服務不包含加密貨幣。

其表示，公司曾發文解釋關于比特幣的立場。公司專注于經時間考驗、學術驗證的投資方法，這就是為何Wealthfront提供基于多元化和再平衡的低成本指數基金投資組合的投資服務。這項研究清楚表明，從長遠來看，人們（甚至專業人士）不擅長超越市場，實際上遠不如市場表現。Robinhood等公司為那些自己動手、試圖挑戰研究結論的人服務。我敢打賭，如果你評估Robinhood客戶表現，那將特別糟糕。因此，我們正努力為客戶做長期來看最好的事情，作為前專業投資者，我學到的一件事是，為了讓某樣東西成為投資，必須有現金流。如果沒有現金流，那就是投機。比如貴金屬是投機，而不是投資。你不會看到老練的投資公司會購買貴金屬。那只是投機。這就是為何加密貨幣不是我們投資服務的一部分。我們告訴人們，“聽著，如果你想用游戲費來做這件事，我們歡迎你這么做，但應該控制在凈資產的10%以下。”（The Block）[2019/12/4]

3）zkPorter將Merkle樹生成zk-SNARK證明； 

調查顯示 超半數俄羅斯人知道比特幣為何物:最近由全俄公眾輿論研究中心（VCIOM）進行的一項調查結果顯示，超過56％的俄羅斯人表示他們知道比特幣，活躍網民中這一數字已經漲至66％。年輕的俄羅斯人（18-24歲）中知道比特幣的比率已經達到75％。而首都莫斯科和第二大城市圣彼得堡有74％的居民已經了解到了去中心化的虛擬貨幣。然而只有三分之一的人知道，任何人都可以購買比特幣，16％認為比特幣在俄羅斯實際上是被禁止的。不過，有四分之一以上的人知道虛擬貨幣不僅可以購買，還可以被開采。另有44％的人意識到，將虛擬貨幣兌現，目前在俄羅斯還沒有合法化。[2018/1/23]

4）zk-SNARK證明分別relay給L2的Validators和L1 主鏈生成 Commit Hash

5）Validator負責驗證zk-SNARK證明的正確性，無誤后提交給L1智能合約生成Verify Hash； 

6）L1上的zkSync智能合約校驗Commit Hash 和Verify Hash的匹配性； 

7）成功匹配后生成Verified Transaction交易最終上鏈； 

8）若匹配失敗，原來的Commit Hash作廢，由Sequencer重新提交batch再走一遍流程。

這里需要強調下，zkSync采用了“二階段提交（2PC）”，通過前后Commit Hash 和Verify Hash兩個階段的Hash校驗最終確定合法交易批次。 這樣做一方面可以確保系統運轉流程中的數據一致性安全，我個人理解，也是一種讓Sequencer和Validator兩個系統組件互相約束的去中心化思想顯現，值得點贊。

zkSync的Workflow主要有Relay、Sequencer、zkPorter、Validator四大角色，協調工作中會存在諸多“不穩定因素”。 可概括為節點職能穩定性，節點協作穩定性，及算法和底層協議復雜性等。任一環節出現差錯，都可能導致出塊延遲。常見的 Arbitrum Sequencer技術故障就是典型，zkSync面臨的挑戰只會更多。

至于算法復雜性，這是zkSync鏈的天命所歸，需要生態開發者們鉚足勁去克服。而節點智能和協作的穩定性，我覺得未來去中心化階段到來后，會得到有效改善。邏輯也簡單：

1）多分布式節點，可避免單點故障帶來的網絡不穩定，系統魯棒性使然；

2）分布式通證激勵機制可給開發者維護節點穩定提供源動力。

換個角度思考，Verifing時間長在生態初期并非問題，可以有效提升鏈的安全性，避免系統中若干節點作惡。 總之，若厘清zkSync的整個運營流程，進一步了解下layer 2的技術復雜性和其中為安全性所設計的“特殊”機制，能鞏固對L2技術賽道的信心。 歡迎大家轉發分享，隨時DM我，一起深入交流學習zkSync。

鏈上觀

個人專欄

閱讀更多

金色早8點

Odaily星球日報

金色財經

Block unicorn

DAOrayaki

曼昆區塊鏈法律

Tags：ZKSKSYSYNCzkSynczksync幣價格zksync幣發行量zksync幣總量

Polygon