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

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

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

声音 | Samson Mow:很难理解为何质疑Liquid网络不是真正的侧链:据Bitcoinist消息,Blockstream首席战略官Samson Mow近日表示,很难理解为何会有人质疑Liquid网络并不是真正的侧链。Liquid网络与两种数字货币锚定,并且其数据可在其他链上被验证。[2018/10/13]

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

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

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

Facebook Messenger负责人解释为何禁止数字货币广告:Facebook Messenger副总裁David Marcus本周表示,数字货币在他的平台上不会有任何作用。“现在使用加密技术的支付非常昂贵,超级慢,当这一问题解决了,也许我们会做点什么。”本周早些时候,Facebook禁止所有数字货币相关的广告。马库斯解释到:“我们希望保护社区,这最重要,大部分广告都是,我们不能让平台存在。[2018/2/3]

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

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

比特币为何如此疯狂:答案也许在这1000多个账户里:就在上周四晚到今天,几天时间里比特币的疯狂再次呈现:先是价格突破1.5万美元,就也就是突破10万元人民币!紧接着,比特币的价格又跌破13000美元关口。新进的比特币投资者必须警惕:这1000多人或许具有影响比特币整体的定价能力。芝加哥大学基金会前任投资组合经理Ari Paul认为,和任何资产类别一样,大型个人持有者和大型机构持有人可以合谋操纵价格。还有一种可能,这些早期比特币投资者已经彼此认识,因为他们是在早期挖掘加密货币比较容易时进入这个市场,当时“挖矿”行业和币圈的圈子很小。[2017/12/11]

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

曼昆区块链法律

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

中币交易所深入EVM-合约分类这件小事背后的风险

在智能合约领域,"以太坊虚拟机 EVM" 以及其算法和数据结构就是第一性原理。本文从合约为什么要分类出发,结合每个场景可能面对怎样的恶意攻击,最终给出一套达成相对安全的合约分类分析算法.

火星币Coinbase入驻香港的优势与风险

作者:金色财经,36度区块链 摘要 6月14日,全国政协委员、香港特区立法会议员吴杰庄在推特宣布与加密货币交易所Coinbase取得联系,探讨Coinbase在香港发展的机会.

FTT智源大会2023观后感:对AI更有信心 也更担心人类了

6月9日,为期两天的「北京智源大会」在中关村国家自主创新示范区会议中心成功开幕。智源大会是智源研究院(也被称为中国OpenAI的最强中国AI研究院)主办的年度国际性人工智能高端专业交流活动,定位于「AI内行顶级盛会」,也被戏称为「AI.

[0:46ms0-1:633ms