LOADING...
LOADING...
LOADING...
当前位置: 玩币族首页 > 新闻观点 > zkSync升级:一个SNARK选手为何倒戈STARK?

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

2023-07-17 链上观 来源:区块链网络

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

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

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

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

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市场产生一定影响,但具体影响会受到市场和开发者的反应和采纳程度的影响。

查看更多

—-

编译者/作者:链上观

玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。

LOADING...
LOADING...