買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > DOT > Info

SYNC:為何zkSync總是“宕機”?一文探討zkSync Workflow_zksync幣與zks幣

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。

Flare CEO解釋為何Flare主網延期發布:涉及用戶群巨大,快速發布風險過高:Flare(FLR)首席執行官Hugo Philion回答了一些圍繞Flare(FLR)的問題。此前消息,Philion發帖表示在Flare主網運營開始之前,將在“金絲雀網絡”Songbird測試其某方面的功能。這意味著Flare主網發布被推遲到2020年第四季度。Philion強調,他的項目“沒有奢侈到可以”成為一個交易價值微不足道、開發活動少、社區規模小的“幽靈鏈”。據他說,Flare(FLR)的發布是加密領域中最“公開”的發布之一,因為涉及用戶群很大。快速發布的風險太高了,區塊鏈企業家和普通用戶都對他們的Dapp感興趣。因此,該團隊決定啟動一個更復雜的“真實”開發實驗,即Songbird。據悉,Songbird網絡擁有自己的治理和實用代幣SGB,SGB將分發給FLR分發的所有參與者。

Philion還強調,在Flare主網啟動后,他的團隊將不對Songbird和Flare本身的進展負責。所有計劃、協議升級和其他重大變化都將由社區決定。因此,其團隊不應該被視為云區塊鏈計算的供應商。而關于最近完成的1130萬美元戰略融資,Philion聲稱,這筆資金足夠他的工程師進行“多年”開發,所以下一輪融資并不是Flare的首要議程。注:6月初消息,Flare宣布完成1130萬美元的新一輪融資,由Kenetic Capital領投。(U.Today)[2021/7/26 1:15:02]

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

法院要求SEC出具有關為何批準BTC和ETH為非證券的文件:數據研究員Leonidas Hadjiloizou 發推文說,法院已同意Ripple的申請,要求SEC出具有關為何批準比特幣和以太坊為非證券的文件,另外還包括美國SEC關于XRP地位的內部通信以及有關另外十名托管人的文件。同時,美國地方法院法官Sarah Netburn裁定,Ripple Labs和SEC在4月6日下午2:00通過電話會議討論相關細節。(U.today)[2021/3/25 19:18:12]

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

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

韓國監管態度為何急轉?或不敢與趨勢對抗:不到一個月前,韓國司法部長表示,政府部門正在準備一項針對數字貨幣交易平臺的法案,財政部長和金融監督服務主管認為數字貨幣交易是“巨大的投機”,“泡沫注定破裂”。而本周,韓國金融監督機構(FSS)主管Choe Heungsik扭轉態度,表示當局希望促進數字貨幣交易的健康發展,政府應更多關注正常化,不是加強監管。分析文章認為,韓國政府可能意識到,與其對抗這一趨勢,不如將其變成一個有利可圖、但受到監管的行業。就像馬來西亞、新加坡和日本等國對賭場的管理方式一樣,韓國可能希望成為數字貨幣的區域性交易中心,為國外投資者提供服務,同時出臺更多限制本地居民交易活動的規定。[2018/2/23]

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:zkSyncZKSSYNCKSYzksync幣與zks幣zksync幣總量DSYNC幣Banksy Finance

DOT
NOV:最新meme項目NOVA:向藍籌大戶發放救濟金 一場人道主義新試驗_NOVA

作者:深潮 TechFlow流行文化 /meme 是 Web2 中最重要的組成部分之一。區塊鏈所帶來的加密技術讓流行文化 /meme 的貨幣化成為了可能.

1900/1/1 0:00:00
EOS:金色觀察丨14張圖解構2023年二季度加密風投市場_加密貨幣

來源:Galaxy官網;編譯:金色財經Jason金色財經報道,加密貨幣風險投資公司Galaxy Digital發布了二季度加密風投市場報告,數據顯示熊市仍在繼續,盡管交易數量仍然強勁.

1900/1/1 0:00:00
加密貨幣:金色早報 | 美國地方法院已向CZ發出傳票_galaxypoolcoin

▌美國地方法院已向CZ發出傳票美國證券交易委員會 (SEC) 要求Binance CEO CZ出庭哥倫比亞特區法院,CZ表示這只是SEC合規流程的一部分.

1900/1/1 0:00:00
THE:長推:比特幣將在下輪牛市中達到10萬至20萬美元_Bitcoin and Ethereum Standard Token

作者:Louround_,來源:Twitter@Louround;編譯:Yvonne,MarsBit為什么我相信在下一輪牛市中,比特幣將達到10萬至20萬美元.

1900/1/1 0:00:00
CHA:被神話的GPT 造不出你的夢中神車_HAT

ChatGPT爆火之后,AI大模型成為眾多科技公司追逐的熱點。從聊天對話,到圖像生成,再到桌面辦公,仿佛AI在一夜之間具備了顛覆一切的神力.

1900/1/1 0:00:00
OLA:Solana發布網絡性能報告:多項新功能上線 TPS激增、網絡平穩運行_Qomolangma

近日,Solana 基金會發布了《Solana 網絡性能報告》。該報告公開了 Solana有關網絡狀態的一系列指標,并回顧了過去半年多的時間里 Solana&nbs.

1900/1/1 0:00:00
ads