SYN:zkSync升级:一个SNARK选手为何倒戈STARK?_zksync币与zks币

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

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

zkSync已开启针对编号、时间戳和哈希值的主网升级计划:9月7日消息,zkSync宣布已于今日18:00对block.number、block.timestamp和blockhash在zkSync Era上的行为方式进行升级,升级后block.number、block.timestamp和blockhash将分别返回L2区块的编号、时间戳和哈希值。升级预计持续40-60天,在此期间出块率和时间戳刷新时间将逐渐增加。

zkSync提醒其生态开发者,若项目具有依赖于block.number、block.timestamp和blockhash返回值的关键逻辑,可能会面临意外行为(例如治理投票时间缩短、奖励激增等)。[2023/9/7 13:24:47]

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

zkSync 2.0引入三因素方法以保证资金安全:金色财经报道,据官方推特消息,以太坊二层解决方案zkSync表示,zkSync 2.0引入了三因素方法以保证资金安全。其中包括:1. 通过隔离和冗余实现安全性;2. 信任最小化的可升级性;3. 由15位以太坊社区成员组成的zkSync安全理事会。[2021/5/21 22:30:37]

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

MatterLabs已在以太坊主网部署Layer2扩展工具zkSync:据官方消息,以太坊扩容项目MatterLabs宣布已在以太坊主网部署其Layer2扩展工具zkSync。MatterLabs团队表示,zkSync将极大解决以太坊上的交易成本(Gas)费,平均交易费用旨在长期保持在的小于0.01美元的低位,并逐步实现最高达2000TPS的吞吐量。目前,zkSync已经实现「可扩展的支付功能」,后续将依次实现「智能合约部署」、「隐私」和「加密抗审查」等功能,最终实现为数十亿人提供可扩展的、保护隐私的、公平的且无许可的加密基础设施。(Medium)[2020/6/19]

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:15ms0-5:112ms