比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > 狗狗幣 > Info

SYNC:為何zkSync總是“宕機”?一文探討zkSync Workflow

Author:

Time:1900/1/1 0:00:00

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

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

律師Jeremy Hogan:SEC過去曾稱XRP為數字貨幣,必須在法庭上解釋為何現在不予支持:4月6日消息,霍根律師事務所的合伙人杰里米·霍根(Jeremy Hogan)曾在Twitter上表示,2016年美國證券交易委員會(SEC)提到了Ripple以“數字貨幣公司”的身份進行文件研究。

現在,SEC將不得不向法官澄清其如何轉變為“數字安全”公司。(U.today)[2021/4/6 19:51:39]

如workflow所示,zkSync運行分以下步驟:

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

動態 | 馬紹爾官員David?Paul發解釋為何馬紹爾群島計劃發布自己的加密貨幣:馬紹爾群島總統助理兼環境部長David?Paul發文解釋為什么馬紹爾群島要發布自己的加密貨幣。 馬紹爾群島共和國自1979年成為獨立民主國家以來,一直使用美元作為貨幣。今天,馬紹爾正在推進使用區塊鏈技術以數字形式發行主權貨幣的計劃。馬紹爾去年通過了《主權貨幣法案》,宣布打算發行一種新貨幣Sovereign (SOV),將與美元一起使用。發行貨幣當然是任何主權國家的特權,但史無前例的是,馬紹爾選擇使用區塊鏈技術發行主權貨幣。 當馬紹爾選擇發行貨幣時,做了三個關鍵的決定。首先,貨幣將基于區塊鏈技術,這對于馬紹爾群島至關重要。第二,貨幣供應量的增長將是預先確定的和防篡改的。最后但同樣重要的是,這種合規性將被納入貨幣協議本身,同時保持個人隱私。 他表示,區塊鏈技術的出現為馬紹爾這樣的小國打開了一個充滿機遇的世界。借助基于區塊鏈的數字貨幣,馬紹爾可以自動化大部分合規負擔,并在國際舞臺上發揮積極作用。區塊鏈讓馬紹爾有機會以反映馬紹爾價值觀的方式最終獲得貨幣獨立。馬紹爾打算以創新和負責任的方式抓住這個機會。[2019/9/4]

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

聲音 | 億萬富翁Druckenmiller:不理解為何需要比特幣:據華爾街見聞消息,億萬富翁Stanley Druckenmiller表示,并不理解美聯儲為何被困在2%這一通脹目標。目前并沒有陷入衰退,但必須保持警惕。此外,Druckenmiller還稱不理解為何需要比特幣,他既不會沽空、也不會做多比特幣。[2019/6/4]

3)zkPorter將Merkle樹生成zk-SNARK證明; 

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:SYNCSYNKSYzkSynczksync幣總量synapse幣深度解析zksync幣價格zksync幣發行量

狗狗幣
NEX:一文讀懂Synthetix的新前端項目Infinex

作者:蔣海波 Synthetix創始人Kain Warwick日前在Ethcc上接受采訪時表示,計劃在今年第四季度推出Perps V3和新的交易前端Infinex.

1900/1/1 0:00:00
區塊鏈:如何解決跨鏈橋的問題?4 個 ZK 橋新項目介紹

作者:zkvalidator;編譯:Kate, MarsbitZK技術已廣泛用于隱私和擴展目的。盡管如此,新一波的項目正在利用這種加密解決方案的特點來解決區塊鏈行業最引人注目的問題之一:跨鏈橋.

1900/1/1 0:00:00
POL:探析POL經濟模型:“被省略”的供應量問題

7 月 13 日,以太坊擴容解決方案 Polygon 官方宣布,作為 Polygon 2.0 路線圖的一部分,已提議對其原生 MATIC 代幣進行技術升級.

1900/1/1 0:00:00
代幣化:加密貨幣跨入現實:金融機構的全新賭注

文章作者:Jeff Wilser 文章編譯:Block unicorn長期以來,代幣化一直是加密貨幣界的大主題,現在,它或許終于準備好迎接黃金時期.

1900/1/1 0:00:00
NBS:DeFi 經濟模型全解:從 Value Flow 看四種激勵模式

目錄 01. 代幣經濟學中的激勵相容 02. 不同的經濟模型分類、目標與設計03. 從激勵模式看 DeFi 經濟模型04.

1900/1/1 0:00:00
NBS:L1公鏈競爭減弱 L2公鏈將成為下一個競爭焦點

作者:Zixi.eth,經緯中國投資人  來源:推特@Zixi41620514我非常看好 General L2和垂類L2.

1900/1/1 0:00:00
ads