zkSync升级:一个SNARK选手为何倒戈STARK?

一个SNARK选手,竟然宣布向STARK看齐了?属与 @zksync 的STARK时代这么快就来了 @Starknet 瑟瑟发抖ing!

那么,zkSync升级的新版本 Boojum是什么?zkSync为何这么快宣布升级Stark?snark和stark的本质区别是啥?这次升级会给L2市场产生哪些影响?

zkSync:EIP-4337为避免硬分叉做出妥协:金色财经报道,zkSync在社交媒体发文解释了EIP-4337和zkSync Era对原生账户抽象之间的区别,zkSync表示为了避免硬分叉,EIP-4337做出一些妥协,比如外部拥有账户 (EOA)和账户抽象 (AA)单独的交易流、单独的内存池、单独的验证器/捆绑器角色、外部拥有账户不能使用Paymasters,而zkSync通过在协议级别集成账户抽象对EIP-4337进行了改进,上述功能均可实现。[2023/3/30 13:33:53]

本着技术探讨的角度,来快速点评探讨下。

zkSync生态DeFi协议Increment发布空投治理Token INCR提案:2月1日消息,基于zkSync2.0构建的算法汇率协议Increment宣布将向贡献者空投INCR治理Token。INCR在以太坊主网启动铸造时总量将为2000万枚,其中将向社区用户分三阶段总计空投240万枚,将向核心贡献者空投总计300万枚。

金色财经此前报道,算法汇率协议Increment团队表示zkSync2.0是最适合该协议的基础设施,同时未来也会考虑进行多链部署。[2023/2/1 11:40:10]

1. Boojum是zkSync从SNARK向STARK证明系统过渡的版本。这意味着zkSync的Prover证明系统将具备STARK的接口能力,但仍会使用SNARK证明系统来满足大部分主流需求。

zkSync:zkSync 1.0运营现已恢复,恭喜以太坊社区完成合并:9月15日消息,以太坊 Layer2 扩容解决方案zkSync在其社交平台表示,zkSync 1.0运营现已恢复,恭喜以太坊社区完成合并。zkSync 的使命是扩展以太坊的价值和安全性,将继续致力于加速加密货币的大规模采用以实现个人主权。[2022/9/15 6:58:20]

2. Boojum是zkSync执行zk Stack多链战略的一种选择。相比SNARK,STARK证明方式具有非交互式验证的能力,适用于跨链环境下的复杂非递归验证。

3. SNARK和STARK的核心差异在于验证方式。SNARK基于数学假设,适用于同一系统下基于同一公钥的zk推演证明;而STARK的证明过程包含冗余信息,对计算资源要求较高。

4. zkSync主链仍将以SNARK为主证明系统,STARK只是其多链战略的一种扩展能力。这与Starknet的战略维度不同,但对其他L2解决方案如Op Stark、Arbitrum Orbit和Polygon 2.0等可能带来一定竞争压力。

总的来说,zkSync通过Boojum的升级选择向STARK证明系统过渡,这表明他们认识到SNARK在某些方面存在技术上的限制,并借助竞争对手的优势来突破自身的技术天花板。这次升级可能会对L2市场产生一定影响,但具体影响会受到市场和开发者的反应和采纳程度的影响。

链上观

个人专栏

阅读更多

金色财经

金色荐读

Block unicorn

区块链骑士

金色财经 善欧巴

Foresight News

深潮TechFlow

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

银河链

[0:31ms0-1:401ms