第三财经网
首页 > 区块链 > 文章正文

一个SNARK选手 竟然宣布向STARK看齐了?

第三财经网 2024-11-17 19:16 729

一个SNARK选手,竟然宣布向STARK看齐了? 没想到zksync的STARK升级来得这么猝不及防,Starknet瑟瑟发抖ing! 那么,zkSync新升级版本 Boojum是什么?zkSync为何这么快宣布升级STARK?SNARK和STARK的本质区别是啥?这次升级会给L2市场产生哪些影响? 从技术探讨的角度,我试着快评下。

简单来说,Boojum是zkSync从SNARK向STARK证明系统过渡的版本。 意味着接下来很长时间内,zkSync的Prover证明系统会具备STARK的接口能力,大部分主流需求依然会走SNARK的成熟证明管道,个别应用尤其是未来ZK Stack多链环境下的应用要使用ZK证明系统,可接入boojum来实现。

在此圈重点,Boojum是zkSync执行ZK Stack多链战略的一种必然选择。 因为SNARK和STARK相比,SNARK证明方式依赖递归验证,适合同一系统下基于同一公钥的ZK推演证明,而STARK证明则可基于非交互式验证方式,允许在跨链状态下实现复杂地非递归验证。 显然,ZK Stack描绘的多链蓝图得基于STARK。

这是SNARK和STARK两种证明系统存在的核心差异。 相比SNARK基于数学假设的验证方式,STARK的证明过程中包含大量冗余信息,因此对计算算法资源要求比较高,当然,相应地费率也偏高。 所以,zkSync主链未来还会以SNARK为主证明系统(Gas 便宜),STARK只是其多链战略的一种延伸能力。

这才符合zkSync轻量化的开发精神。 因此,zkSync做Boojum跟Starknet不在一个战略维度,但会对其他诸如Op Stack、Arbitrum orbit以及polygon2.0带来一定的威胁。 要知道,zkSync向STARK过渡等于承认SNARK技术上的短板,拿竞品杀手锏来突破自己的天花板,这一波L2选手们的格局和野心真是一个赛一个。