月亮链 月亮链
Ctrl+D收藏月亮链
首页 > Gate.io > 正文

KSY:为何zkSync总是“宕机”?一文探讨zkSync Workflow_zks币创始人

作者:

时间: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排序器发送批量交易;

法院要求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]

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

曼昆区块链法律

标签:KSYSYNCSYNZKSzksync币发行量zksync币发行量Synesis Onezks币创始人

Gate.io热门资讯
FLO:Paradigm:一文详解负载测试工具Flood_The Everlasting Parachain

作者:Storm Slivkoff, Georgios Konstantopoulos;编译:深潮 TechFlow介绍负载测试是构建开发弹性高、性能优秀数据系统的关键步骤.

1900/1/1 0:00:00
NBS:OKX Ventures研报:重新思考预言机 看到及未被看到的_bspt币未来前景

随着 Vitalik 最近在文章提及终极预言机的问题, “预言机”重新走进加密社区关注视野.

1900/1/1 0:00:00
SYN:Synthetix V3 正在将 DeFi 提升到一个新水平_HET

作者:THOR HARTVIGSEN ;编译:白话区块链Synthetix 最近增长显着。本文旨在剖析 Synthetix 如今的独特之处、它最近的表现以及为什么 V3 是 DeFi 的一项重大.

1900/1/1 0:00:00
WEB:AI+Web3大概率是下轮牛市热点之一 具体趋势和机会有哪些?_WEB3

作者:ABCEDE投研合伙人Lao Bai当下最炙手可热的AI被看作是第四次工业革命的关键点与核心,而科技界上一个炙手可热的概念是被看作下一代互联网关键核心的Web3.

1900/1/1 0:00:00
WEB:早期Web3公司应该如何选择增长策略?_DEFI

作者:Chainlink Labs ;编译:BlockMania一般来说,创业公司采取什么样的营销策略要取决于它们的商业模式以及所在的垂直领域.

1900/1/1 0:00:00
NFT:金色Web3.0日报 | FSB呼吁制定更严格的全球加密货币规则_zksync币价格

DeFi数据1、DeFi代币总市值:503.43亿美元 DeFi总市值及前十代币 数据来源:coingecko2、过去24小时去中心化交易所的交易量39.

1900/1/1 0:00:00