宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > Fil > 正文

为何zkSync总是“宕机”?一文探讨zkSync Workflow

作者:

时间:1900/1/1 0:00:00

看有朋友吐槽zkSync总是宕机,其实称“宕机”略微言过其辞了,准确说是“出块不稳定”。 本质上是,Sequencer提交的交易,最终Verified的时间不稳定,但用户在交互端感知并不明显,因为zkSync的Verify设计就存在确认滞后性。 未来去中心化阶段不稳定性会得到缓解。我画了个workflow和大家探讨下。

之所以有用户感知“宕机”,可能是某些DApp和链底层兼容性导致的交易失败问题,毕竟在zkSync上开发DApp本身挑战就很大。 我从官方浏览器观察Commit到Verified的Status改变大致需要30min-1小时左右,而用户端交互DApp几乎不受此影响。 此文重点在科普zkSync的技术底层逻辑,带大家清晰地认识zkSync。

声音 | 刘国宏:深交所编制深证区块链50指数 为何此时推出:中国(深圳)综合开发研究院金融与现代产业研究所刘国宏所长解释,主要有两个原因,一是深圳有众多在深交所上市企业涉及区块链应用和产业上下游的布局;二是近来高层表达了大力发展区块链技术的决心,市场也随之关注,以此可反映区块链相关企业表现。(金十)[2019/12/25]

如workflow所示,zkSync运行分以下步骤:

1)User通过relay转发向Sequencer排序器发送批量交易;

2)Sequencer负责对交易进行排序、聚合打包batch成Merkle树;

韩国金融消费院:政府为何不对自己的无能进行反省反而打压加密货币市场:7日,韩国金融消费院表示很难理解为什么政府没有对加密货币政策的失败或自己的无能进行反省,反而一直在用权利打压加密货币市场。[2018/3/7]

3)zkPorter将Merkle树生成zk-SNARK证明; 

4)zk-SNARK证明分别relay给L2的Validators和L1 主链生成 Commit Hash

5)Validator负责验证zk-SNARK证明的正确性,无误后提交给L1智能合约生成Verify Hash; 

调查显示 超半数俄罗斯人知道比特币为何物:最近由全俄公众舆论研究中心(VCIOM)进行的一项调查结果显示,超过56%的俄罗斯人表示他们知道比特币,活跃网民中这一数字已经涨至66%。年轻的俄罗斯人(18-24岁)中知道比特币的比率已经达到75%。而首都莫斯科和第二大城市圣彼得堡有74%的居民已经了解到了去中心化的虚拟货币。然而只有三分之一的人知道,任何人都可以购买比特币,16%认为比特币在俄罗斯实际上是被禁止的。不过,有四分之一以上的人知道虚拟货币不仅可以购买,还可以被开采。另有44%的人意识到,将虚拟货币兑现,目前在俄罗斯还没有合法化。[2018/1/23]

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

曼昆区块链法律

标签:zkSyncSYNCZKSSYNzksync币与zks币SYNC NetworkZKSVMzksync币合法吗

Fil热门资讯
Sei如何使用订单簿引擎抵制MEV?

作者:/img/202379225802/0.jpg" />让我们后退一步,看看什么是 MEV。"最大可提取价值,是通过在区块中包含、排除和改变交易顺序,从区块生产中最大化经济价值的过程".

1900/1/1 0:00:00
「套现」还是「惜售」?Curve创始人究竟在Aave抵押了多少CRV?

链上数据显示,由于近期 CRV 价格的再次下跌,Curve 创始人 Michael Egorov 于昨日再度把 3800 万枚 CRV( 2450 万美元)存入 Aave,以降低自己的借贷清算风险.

1900/1/1 0:00:00
加密熊市里的机构们还在投什么?做哪些布局?

据rootdata数据显示,2022年,加密行业筹款金额为267.7 亿美元,融资笔数为1528 笔,而在2023年上半年,加密行业的筹款金额大幅下降,近半年来,全球加密市场总共筹集资金47.74亿美金,总共融资497起.

1900/1/1 0:00:00
盘点2023年Crypto领域五大黑客攻击事件

原文作者:Poopman 原文编译:Kxp,BlockBeats每年,加密领域都会遭受 100 多起黑客攻击,导致个人损失超过 2 亿美元。这一数字让我们深感警觉,同时也给我们上了宝贵的一课.

1900/1/1 0:00:00
币安和Coinbase面临SEC的指控:详解市场反应与影响

摘要: 美国证券交易委员会(SEC)对加密货币交易所Binance和Coinbase提出了正式诉讼,这引发了市场的大规模抛售及涉及证券定义的代币被下架等一系列连锁事件;SEC对币安的指控更为严重.

1900/1/1 0:00:00
AI大模型 与传统文化到底有什么关系?

6月21日,在联合国教科文组织驻华代表处、中国文物信息咨询中心(国家文物局数据中心)、中国文化遗产研究院的指导下,腾讯SSV数字文化实验室与腾讯研究院联合发起“探元计划2023”.

1900/1/1 0:00:00