ZKS:为何zkSync总是“宕机”？一文探讨zkSync Workflow

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

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

如workflow所示，zkSync运行分以下步骤：

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

动态 | 马绍尔官员David?Paul发解释为何马绍尔群岛计划发布自己的加密货币:马绍尔群岛总统助理兼环境部长David?Paul发文解释为什么马绍尔群岛要发布自己的加密货币。 马绍尔群岛共和国自1979年成为独立民主国家以来，一直使用美元作为货币。今天，马绍尔正在推进使用区块链技术以数字形式发行主权货币的计划。马绍尔去年通过了《主权货币法案》，宣布打算发行一种新货币Sovereign （SOV），将与美元一起使用。发行货币当然是任何主权国家的特权，但史无前例的是，马绍尔选择使用区块链技术发行主权货币。 当马绍尔选择发行货币时，做了三个关键的决定。首先，货币将基于区块链技术，这对于马绍尔群岛至关重要。第二，货币供应量的增长将是预先确定的和防篡改的。最后但同样重要的是，这种合规性将被纳入货币协议本身，同时保持个人隐私。 他表示，区块链技术的出现为马绍尔这样的小国打开了一个充满机遇的世界。借助基于区块链的数字货币，马绍尔可以自动化大部分合规负担，并在国际舞台上发挥积极作用。区块链让马绍尔有机会以反映马绍尔价值观的方式最终获得货币独立。马绍尔打算以创新和负责任的方式抓住这个机会。[2019/9/4]

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； 

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

曼昆区块链法律

标签：KSYSYNSYNCZKSzksync币图标syn币币情DSYNC价格zksvm币币情

屎币热门资讯