一个SNARK选手居然宣布效仿STARK了?

'SNARK选手效仿STARK了?'

zkSync Boojum版本升级:SNARK与STARK的差异及影响

作者:Haotian,区块链研究者;来源:作者推特@tmel0211

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

Boojum:zkSync向STARK过渡的版本

简单来说,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选手们的格局和野心真是一个赛一个。

从上述内容可以看出,zkSync的新升级版本Boojum意味着其向STARK证明系统过渡。虽然大部分主流需求仍将使用SNARK证明管道,但Boojum使得zkSync的Prover证明系统具备了STARK的接口能力,从而使得一些个别应用,特别是未来ZK Stack多链环境下的应用,可以使用ZK证明系统并通过接入Boojum来实现。

这次升级对于zkSync执行ZK Stack多链战略来说是一个必然的选择。因为SNARK和STARK在证明方式上存在核心差异。SNARK依赖递归验证,适合同一系统下基于同一公钥的ZK推演证明;而STARK证明则可以基于非交互式验证方式,在跨链状态下实现复杂的非递归验证。因此,基于STARK的ZK Stack多链蓝图得以实现。

这种差异也是SNARK和STARK两种证明系统的本质区别。相比于基于数学假设的验证方式,STARK的证明过程中包含大量冗余信息,因此对计算算法资源要求较高,而相应的费率也偏高。因此,zkSync主链仍将以SNARK为主证明系统,而STARK则是其多链战略的一种延伸能力。

这与zkSync轻量化的开发精神相符。因此,zkSync的Boojum版本与Starknet并不在一个战略维度,但对于其他L2市场的竞争者如Op Stack、Arbitrum orbit以及polygon2.0等来说,却会带来一定的威胁。这次zkSync向STARK的过渡相当于承认了SNARK技术上的短板,利用竞争对手的优势来突破自身的局限,这一波L2选手们的格局和野心真是一个赛一个。

从这些内容可以看出,zkSync的Boojum版本升级将对L2市场产生重要影响。它不仅为zkSync的多链战略提供了支持,也展示了SNARK和STARK两种证明系统的差异,以及它们在不同场景下的适用性。这种升级不仅给zkSync带来了新的发展机遇,也为整个区块链技术的发展带来了更多探索的可能性。

表格:SNARK与STARK的对比

特点 SNARK STARK
验证方式 依赖递归验证 非交互式验证
适用场景 同一系统下基于同一公钥的ZK推演证明 跨链状态下实现复杂的非递归验证
计算算法资源要求
费率

通过以上表格,可以清楚地看到SNARK和STARK在验证方式、适用场景、计算算法资源要求以及费率等方面的差异。

结论

zkSync的升级版本Boojum的推出意味着其向STARK证明系统过渡,为多链战略提供了支持。虽然主链仍以SNARK为主证明系统,但STARK作为一种延伸能力,将对L2市场产生一定的影响。这次升级也展示了SNARK和STARK两种证明系统的差异,以及它们在不同场景下的适用性。这一切不仅为zkSync带来了新的发展机遇,也为整个区块链技术的发展带来了更多的可能性。