原文:《What’s New with ZKs?》by William M. Peaster
编译:Kyle
如果您深入了解加密世界,那么您已经听说过零知识证明(ZK Proof)及其应用已有一段时间了。他们已上线……或者非常接近上线……或者他们的某个版本就在眼前?这些信息很难跟踪。
ZK 拥有各种各样的实现——今天我们将通过一些关于 ZK 世界如何发展的更新。
在区块链术语中,我们认为以太坊生命的初始阶段是单体的。
这意味着,在最初几年,「第一层(L1)」以太坊主网完全负责执行自己的交易,促进自己的网络安全,并为自己的数据可用性提供服务。
在过去的几年里,以太坊一直在迅速转向模块化设计,这意味着围绕以太坊构建的外部第三方解决方案越来越多地被用来扩展以太坊的数据和执行需求。
模块化以太坊丨来源:Ultra Scalable Ethereum在数据可用性方面,Celestia 和 Polygon Avail 等项目是竞争者。至于执行,近年来我们看到像 Arbitrum 和 zkSync 这样的「第二层(L2)」的兴起,它们在以太坊之外(即链下)执行交易,然后有效地将交易批量「汇总」(rollup)到以太坊 L1,在此过程中提供令人难以置信的实惠和快速的用户体验。
今天,以太坊 L1 本身每秒促成可怜的约 30 笔交易(TPS)。为了更好地处理全球活动水平而不会出现严重的网络拥塞(高费用、缓慢的交易),以太坊越来越依赖于扩展创新来优化其执行能力。这里有两种主要的解决方案类型:链上扩展和链下扩展。
Manta Network与BNB链通过zkSBT打通链上DID:金色财经报道,ZK公链Manta Network将支持所有币安BAB(币安发行的SBT)持有者,在Manta先行网Calamari上铸造zkBAB,意味着Manta Network将与BNB链通过zkSBT打通链上DID。
通过zkBABs,用户可以在不透露他们的钱包地址、钱包地址内的资产或从钱包地址进行的交易的情况下,在Web3中完成币安身份验证证明。
zkBAB基于ZK技术,与BAB一样易于铸造,无法转让或交易。[2023/4/14 14:02:48]
链上扩展是指直接对区块链进行的更改,以提高其交易执行能力,即吞吐速度。对于以太坊来说,一个例子是分片,一旦这项创新得到实施,将把活动负载分散到几十个主要的、神圣的(enshrined)以太坊链上,而不是单一的主网上。
以太坊 L2 + 分片的未来 - 来自Vitalik Buterin链下扩展是指外部执行环境,即 L2,它促进以太坊之外的廉价和快速交易,然后将交易数据批量发布到以太坊以完成活动并继承以太坊的安全性。链下扩展不是像分片那样将 L1 分成许多主链,而是培养了一个由许多外部 rollup 组成的二级层,这些层的可定制性非常好。
谈到 L2,最流行的当代解决方案是零知识 rollup(ZK rollup)。值得注意的是,这些 rollup 可以促进大约 2,000 TPS,比以太坊目前的 30 TPS 速率增加了 6,500%!
zkSync:部分用户出现存款失败,团队将在24小时内部署修复程序:4月4日消息,zkSync 在其官方 Discord 社区表示,注意到部分用户在 zkSync Era网络出现存款失败问题。团队正在努力工作,预计将在未来 24 小时内部署修复程序。[2023/4/4 13:44:18]
这种特殊的 L2 风格使用了「零知识证明(ZKP)」技术,例如 SNARKs,以加密方式验证并在以太坊上发布其交易批次。因此,通过零知识证明(ZKP)将链下执行与链上数据结合起来,您将获得 ZK rollup(相反,通过欺诈证明将链下执行与链上数据结合起来以获得 Optimistic rollup)。
综上所述,L2 BEAT 目前跟踪的五个最大的 ZK rollup 如下:
dYdX—加密货币和衍生品交易所 | 3.75 亿美元 TVL
路印协议—用于交易,NFT 的 L2 | 1.21 亿美元 TVL
zkSync Lite—用于交易,NFT 的 L2 | 6500 万美元 TVL
ZKSpace—用于交易,NFT 的 L2 | 4900 万美元 TVL
Aztec Connect—用于私人 DeFI 的 L2 | 1500 万美元 TVL
今天最大的 10 个 L2 中有四个是 ZK rollup - 来自 L2 BEAT当今领先的 ZK rollup 是使用 StarkEx 技术(例如 dYdX 和 Loopring)或基于 zkSync 的代码(例如 zkSync Lite 和 ZKSpace)构建的。然而,还有更多未链接到这些技术栈的 ZK rollup 也值得你关注,比如 Aztec Connect。
zkSync官方:已解决zkSync Era网络停机问题,将发布情况报告:金色财经报道,zkSync官方发布推特表示,zkSync Era网络在北京时间07:52至12:02出现停机。官方将很快向社区提供包含更多详细信息的事后分析。[2023/4/1 13:39:34]
然而,ZK rollup 并不是当代以太坊扩容场景中唯一值得注意的基于 ZK 的解决方案。这里要注意的另外两种扩展方式是 Validium 和 Volitions。
Validiums 执行链下交易并通过链下零知识证明维护其数据。这种方法与 ZK rollups 如何将数据分批发送到以太坊上(即将其发布到链上)形成对比。那么,数据存储在哪里是 ZK rollups 和 validiums 之间的关键区别。
Validiums 的「双链下」方法使它们最终成为托管的,因为数据由可信方维护。然而,validiums 在无信任方面所缺乏的,它们以出色的性能弥补了这一点,因为当今最强大的 validiums 可以促进 +20,000 TPS。
目前,两个更知名的 validium 项目是 Immutable X,一个以 NFT 为中心的扩展解决方案,TVL 为 1.23 亿美元,以及 Sorare,一个幻想体育数字纸牌游戏,TVL 为 2100 万美元。目前值得关注的其他验证包括 ApeX、rhino.fi 和 Myria。
至于 Volitions,它们是 StarkWare 团队创造的一项创新,它们是 ZK-rollup 和 validium 之间的交叉。这就是说,只要有意愿,用户就可以在链上和链下数据可用性之间进行选择。这为应用程序提供了 TPS 性能验证级别的选项,同时仍可与非托管 ZK-rollup 技术互操作。zkSync 的新突破性 zkPorter 机制就是一个值得关注的 volition 系统。
Offchain Labs CEO:zkEVM距离正常运行还很遥远:7月24日消息,Polygon 本周宣布开源 zkEVM 代码,但多位开发人员认为目前距离正常运行 zkEVM 还很遥远。以太坊扩容解决方案 Arbitrum 开发商 Offchain Labs 首席执行官 Steven Goldfeder 表示,我们还没有达到任何团队拥有有效的 zkEVM 证明者(prover)的地步,因此我认为 zkEVM 距离正常运行还很遥远。此外,现阶段 zkEVM 还存在一定中心化问题,因为大多数 zkEVM 构建者还没有让他们的证明者开源,包括 Scroll 和 zkSync 都还没有正式发布 zkEVM 代码。
此前报道,7 月 20 日,Polygon 已开源 Polygon zkEVM 的代码,并表示即将上线公共测试网,后续会发布更多文档来详细说明细节。据悉,Polygon zkEVM 可为开发人员和用户提供“EVM 等效”解决方案,同时增加了吞吐量并从根本上降低了费用。(Blockworks)[2022/7/24 2:34:30]
图片来源:Matter LabszkEVM 作为扩展的圣杯考虑一下 ZK-rollup 的架构如何包含两个主要组件:接收和跟踪 L2 区块数据的链上以太坊智能合约,以及作为基于以太坊的交易的执行环境的链下虚拟机 (VM)。
那么,zkEVM 是与以太坊虚拟机 (EVM) 兼容的 ZK-rollup,即以太坊 L1 的执行环境。
BitDAO新提案提议创建zkSync生态加速器并提供2亿美元资金:1月7日消息,BitDAO与Matter Labs联合发起关于“zkDAO Endowment”的新提案,提议创建并资助社区拥有的zkSync生态系统加速器,并提供2亿美元,帮助启动zkSync生态系统,赋能构建者,并助力BitDAO和所有DAO增长。初始资金配置安排如下:grants 7.5%,安全/审计7.5%,战略资本70%,研发5%,教育5%,运营5%。[2022/1/7 8:31:25]
Polygon zkEVM 的一般扩展方法的图示在以太坊扩容竞赛之初,像 Arbitrum 和 Optimism 这样的 optimistic rollups 具有巨大的优势,因为这种风格的 rollups 最初更容易与 EVM 兼容甚至完全等效。这种技术亲和力使得应用程序可以轻松地移植他们的代码,并使用他们最喜欢的从 L1 迁移到 L2 的工具,这是很棒的 UX。
相比之下,ZK 式扩展的特性使得 ZK rollups 从定制的 VM 开始,这意味着项目因此需要更广泛的工作来「解释」来自 EVM 的代码或使用从头开始编写的新代码。不过,截至 2023 年 3 月,多个 ZK rollups 项目现在明显即将公布他们自己的 zkEVM 实现!
因此,zkEVM 的到来代表着 Vitalik Buterin 的 2021 年预测迈出了重要一步,即「从中长期来看,随着技术的改进,ZK rollups 将在所有用例中胜出。」由于使用加密证明,ZK rollups 比 optimistic rollups 具有内置的隐私和安全优势,因此当您将 EVM 兼容性添加到组合中时,ZK rollups 有可能在未来胜过 optimistic rollups。
「扩展战争」一词指的是在 optimistic rollups 和 ZK rollups 团队之间发生的友好、非正式的竞争,以提供尽可能最好的区块链扩展解决方案。
然而,在 ZK rollups 领域本身还有另一场比赛,这是一场非正式的比赛,看哪个团队能够实现 Vitalik Buterin 定义的第一个「1 型(Type 1)」和「2 型(Type 2)」zkEVM。
Buterin 的 zkEVM 类型在 2022 年 8 月的一篇博文中,Buterin 提供了一种衡量 zkEVM 项目能力的方法,方法是提出从 Type 1 到 Type 4 的等级来对它们进行分级。Type 1 zkEVM 将与 EVM 完全等效,甚至可以用于升级以太坊本身,而 Type 4 zkEVM 仅与某些以太坊应用程序兼容。
也就是说,由于涉及的所有工作,Type 1 zkEVM 实现还需要一段时间,但现在有多个项目正在研究 Type 2 zkEVM。
当前主要的 zkEVM 努力丨来源:Immutable X例如,Polygon zkEVM 是 Type 3 zkEVM,并且正在成为 Type 2 zkEVM,即具有一些额外细微差别的 EVM 等价物。Scroll 是另一个著名的团队,目前正在构建 Type 2 zkEVM。相比之下,zkSync Era(以前称为 zkSync 2.0)是一种固执己见、有意为之的 Type 4 zkEVM,它通过自定义功能和 zkPorter 令人印象深刻的意志力功能得到增强。相应地,这里的可能性范围是敞开的。
资料来源:MessariPolygon zkEVM 主网测试版将于 3 月 27 日开始:https://twitter.com/0xPolygon/status/1625529122561597440
zkSync Era 刚刚向建设者推出了主网,普通用户可用的版本即将到来:https://twitter.com/zksync/status/1626235292268240902?
Scroll 刚刚发布了 Goerli zkEVM 测试网,这是主网上线之前的最后一步:https://twitter.com/Scroll_ZKP/status/1630258973856395264?
Starknet 的 Kakarot zkEVM 已经处于 Type 3 状态并且正在加速:https://twitter.com/dimahledba/status/1606270836922585098?
终有一天,以太坊本身可能会升级到 Type 1 zkEVM 以进一步进行链上扩展。与此同时,作为潜在升级的补充,从 Type 2 到 Type 4 的外部 zkEVM 将继续蓬勃发展,并为开发人员和用户提供独特的定制和 UX 增强,这是以太坊 L1 无法做到的。
总而言之,ZK rollups 空间(也可以说是整个 L2 空间)的最终目标是 zkEVM,而这些努力中的第一个即将到来。2023 年将是日常加密货币用户将能够首次尝试 zkEVM 的一年,因此如果你想参与进来,请密切关注 Polygon、zkSync、Starknet 和 Scroll,因为这些团队的最新扩展进展已付诸实践!
DeFi之道
个人专栏
阅读更多
金色财经 善欧巴
金色早8点
Odaily星球日报
欧科云链
Arcane Labs
MarsBit
深潮TechFlow
BTCStudy
澎湃新闻
来源:CoinDesk 编译:Dali/img/2023525222027/0.jpg" />仔细想想,微软最终可能凭借人工智能终结谷歌在搜索引擎领域的霸主地位.
1900/1/1 0:00:00上海升级推迟下的板块机会:L2 头部生态的 DeFi “内卷”L2 是目前讨论热度最高的赛道之一.
1900/1/1 0:00:00文//img/2023525213023/0.jpg" />以太坊是一个高度安全的区块链。但它也非常慢。以太坊主网只能处理约10 TPS。通常情况下,像“Otherside NFT”铸造这样的特定事件会阻塞链,导致极高的gas价格.
1900/1/1 0:00:00作者:金色财经Jason. 金色财经 区块链3月14日讯 硅谷银行的倒闭是自 2008 年以来最大的银行倒闭事件,银行挤兑已进入加密生态系统.
1900/1/1 0:00:00撰文:0xmin 美国中小银行接连暴雷! 3 月 8 日,以加密货币友好著名的银行 Silvergate Bank 宣布清盘,将所有存款退还客户.
1900/1/1 0:00:00文/Jake&Stake,BanklessDAO作者;译/金色财经xiaozou在OpenZeppelin最近的审计之后,ERC-4337的“Entry Point”合约在主网上线,你可以在身边的EVM上使用帐户抽象了.
1900/1/1 0:00:00