原文标题:《A comparison of zkEVMs》
原文作者:Daniel Lubarov
原文编译:Kxp,BlockBeats
随着「zkEVM 战争」的升温,公众讨论了许多关于不同 zkEVM 的优点。但也存在一些错误的信息,因此我们想澄清一些关于 Polygon zkEVM 以及它与其他项目的比较的事实。
作为 Polygon 的一名员工,我有偏见,但我会尽力保持比较公正。我主要关注 Polygon 的 zkEVM 和 zkSync Era,因为它们已经投入生产使用,并且我不太了解其他 zkEVM 项目。
zkSync 的 zkEVM 和证明器由 100 k 多行代码组成。我尽力提供准确的摘要,如果有任何不准确之处,请告诉我,我会进行更正。
MetronomeDAO:已收回Curve事件中大部分被盗资金,将确立恢复计划:8月2日消息,MetronomeDAO发推称,已成功收回大部分在Curve稳定币池攻击事件中被盗的资金,并将继续努力收回剩余资金。MetronomeDAO的下一步将急需确定其恢复计划,目前已建立一个新的msETH/WETH池,并初步注入流动性,将在未来10天内继续增加。其恢复计划将包括LP如何在这个新池中申领头寸。在部署这个新的msETH/WETH池时,项目方确认已经能够恢复Metronome主网运行。用户再次能够管理其Metronome Synth和智能挖矿。[2023/8/3 16:14:49]
Polygon zkEVM 直接执行 EVM 字节码。根据 Vitalik 的分类,它是一种类型 3 的 zkEVM。很快它将成为类型 2 ;目前我们缺少四个预编译。Scroll 也在努力向类型 2 zkEVM 发展。
阿联酋房地产开发商Mag接受使用USDT和USDC购买房产:12月19日消息,阿联酋房地产开发商Mag已与中东和北非(MENA)加密资产服务提供商Coin Mena签署协议,将接受使用USDT和USDC购买房产。该措施旨在为投资者创造新的途径,通过数字资产实现投资组合多元化,并进一步加速迪拜新经济的增长。
据悉,CoinMena是一家总部位于巴林的加密货币金融服务公司,作为加密资产服务提供商受到巴林中央银行的监管和许可。[2022/12/19 21:53:10]
相比之下,zkSync Era 使用不同的字节码格式,通过提供编译器来支持 Solidity。这使它成为一种类型 4 的 zkEVM:它支持 Solidity,但不支持 EVM 字节码本身。例如 Hardhat 这样的工具不能直接使用,尽管可以使用 zkSync 的插件。
zkSync 认为他们的 zkVM 更加具有未来性,即它可以更好地与 Solidity 以外的语言配合使用。但是,他们的 VM 似乎继承了 EVM 的许多性能特征,例如其 256 位字大小。像 Miden 这样的 zkVM 可能更具有未来性,因为它是为通用计算而设计的,而不是专注于 Solidity。
通用 Layer2 基础设施 Eclipse 完成 1500 万美元融资:金色财经报道,通用 Layer2 基础设施 Eclipse 宣布以上亿美元估值完成 1500 万美元的Pre-seed和种子轮融资,其中,900 万美元种子轮融资由 Tribe Capital 和 Tabiya 共同领投,Tabiya 是一家由币安前高管创办的加密风险投资基金,该轮的其他参与者包括Caballeros Capital、 Infinity Ventures Crypto、Soma Capital、Struck Capital 和 CoinList。600 万美元 Pre-seed 轮融资由 Polychain Capital 牵头,参与方包括 Tribe Capital、Tabiya、Galileo、Polygon Ventures、The House Fund 和 Accel。据悉,Eclipse 是一个可定制的 Rollup,与多个第 1 层区块链兼容。该平台使开发人员能够部署他们自己的由 Solana 操作系统提供支持的Rollup,使用任何链进行安全或数据存储。(coindesk)[2022/9/28 5:55:52]
性能一直是 Polygon 的重点,我们的 zkEVM 非常高效。在 CPU 上运行我们的证明器的成本大约为每笔交易 0.000084 美元。
数据:到2030年,资产代币化将增长50倍、市场规模可达16万亿美元:9月12日消息,波士顿咨询公司(BCG)和ADDX联合发布的一份报告显示,到2030年,资产代币化将增长50倍,创造16.1万亿美元的商业机会。
报告指出,在全球范围内,房地产、股票、债券和投资基金以及专利等资产预计将出现代币化资产增长。在2022年到2030年之间,这一数字预计将增长50倍,从3100亿美元增至16.1万亿美元,代币化资产预计将占到全球 GDP 的10%。波士顿咨询集团东南亚公司董事总经理兼合伙人 Sumit Kumar 说: “加密货币的冬天使整个区块链行业的资金紧张。一些 Web3公司将受到负面影响。但是,那些能够显示出固有价值、可扩展性和增强传统金融生态系统潜力的项目在这种新的背景下可以受益。”(tradearabia)[2022/9/12 13:24:19]
虽然我们没有找到任何关于 zkSync 的 zkEVM 的工作基准,但我们怀疑由于我们非常不同的 ZK 技术选择,存在着很大的性能差距。
Gitcoin将推出Web3身份系统Gitcoin Passport:8月12日消息,Gitcoin将推出Web3身份系统Gitcoin Passport,用户可以从不同的身份验证器处收集凭证,例如Bright ID和Proof of Humanity。应用在与Gitcoin Passport集成后无需依赖中间商来验证用户身份,而是可以使用可自定义的算法自行验证身份。[2022/8/12 12:20:21]
经过研究多个替代方案,我们选择了所谓的 Goldilocks field,一个二阶巨大素数域 2 ^ 64 - 2 ^ 32 + 1 。它的小尺寸和美丽的二进制结构导致了极快的域操作,乘法仅需在现代 CPU 上花费不到两个周期。
zkSync 采用了更传统的方法,使用基于 alt-bn 128 曲线的 SNARK。基础域的大小约为 254 位,域乘法在 CPU 上需要大约 80 个周期。
为了感受到这种巨大差异的影响,我们可以看看 Celer 的 SHA 2 基准测试。在那里,我们的 STARK 证明器比基于椭圆曲线的证明器快了 5-50 倍。
alt-bn 128 的优点在于 EVM 原生支持它,因此向 Ethereum 提交证明更简单。在 Polygon,我们将最终的聚合证明用 alt-bn 128 的 fflonk 证明「包裹」起来。虽然我们的方法需要更多的工作,但我们认为这对于不可思议的性能增益来说是值得的。
区别不止于此。我们的 zkEVM 基于 STARKs 构建,但具有现代化的变化。我们有一个主 STARK 用于 CPU(每个周期有一行),还有其他用于算术、哈希等的 STARK。这些表格可以连接,就像我们在 RapidUp 中描述的那样。这类似于物理 CPU,它们经常有协处理器来加速渲染、Crypto 或 ML 推断等密集操作。
以 Keccak 为例。由于它在 EVM 应用中被广泛使用,我们设计了一个专门的 STARK 用于它,使用了一些我们在这里记录的新技巧。设计这样的定制算术化需要大量的工作,但它带来了回报,使我们能够每秒证明数百个 Keccak 排列。
zkSync 采用了我称之为更传统的方法。他们使用基于 PLONK 的证明器,尽管它支持自定义门,但他们的 zkEVM 并没有多少使用;大多数计算都是使用一个名为 SelectorOptimizedWidth 4 MainGateWithDNext 的通用门进行的。它似乎比 vanilla PLONK 门稍微强大一些,但仍然局限于像 mul-adds 这样的简单操作。
值得赞扬的是,zkSync 使用了查找参数(像我们一样),这是一种更现代的技术,可以帮助提高像 Keccak 这样的效率。但是,没有自定义算术化, 256 位数学、Keccak 等等的效率都会大打折扣。
Polygon 非常重视安全性,我们的 zkEVM 经过了两次独立审计:一次是由 Spearbit 进行的,另一次是由 Hexens 进行的。两份报告都可以在这里公开查看。我们还发布了验证部署的说明。
我们不知道 zkSync 的 zkEVM 是否经过任何公开审计。zkSync 的网站列出了桥接合约的审计,但没有 zkEVM 本身的审计。
除了审计外,两个项目都有各种「安全备胎」,以提供备用的安全层,但这是一个很深的话题,我在这里不会详细介绍。
Polygon zkEVM 将所有交易数据发布到 L1。在 Twitter 上存在一些关于此的混淆,有关此的 Gas 费用请参见 Edu 的文章。目前,平均交易大小约为 120 字节,因此每笔交易的 Gas 费用约为 120* 16 = 1920 Gas。
zkSync 则发布状态差异。恶意的序列化器可能会隐瞒交易数据,但 zkSync 认为拥有当前状态的 trie 足以确保安全。这似乎存在争议,因为通常预期交易数据是可用的,并且某些应用程序依赖于此。
查看经过更正的数据后,我们可以发现我们的 zkEVM 和 zkSync 的每笔交易 Gas 费用基本相同。这些数字可能会随着每个链上发生的交易类型的混合而随时间变化,但截至今日,状态差异并没有节省任何 Gas 费用;两个系统都向 L1 发送大约 120 字节的每笔交易数据。
我们计划在这里进行一些优化,但不使用状态差异。交易本身可以进行压缩,降低 Gas 费用,同时仍能保证交易数据的可用性。敬请期待!
原文链接
Odaily星球日报
媒体专栏
阅读更多
金色财经 善欧巴
金色早8点
白话区块链
Arcane Labs
欧科云链
MarsBit
深潮TechFlow
BTCStudy
链得得
美国时间3月25日,OpenAI官方发布了3月20日ChatGPT临时中断服务的调查报告,并表示有1.2%的ChatGPT Plus用户可能数据被泄露.
1900/1/1 0:00:00从2020(个别2019年)-2021年整个大牛市周期中,市值前600的加密货币中,诞生了61个百倍以上的项目.
1900/1/1 0:00:00Filecoin虚拟机(FVM)的启动可以让用户可编程智能合约(actors)落地到 Filecoin 区块链上.
1900/1/1 0:00:003月29日消息,Meta全球事务总裁、英国前副首相尼克-克莱格(Nick Clegg)周三表示,Meta会继续发展元宇宙,计算的未来将出现在这个仍未被充分定义的虚拟世界中.
1900/1/1 0:00:00今天凌晨, Sui开发团队Mysten Labs 在官方推特上举办了主题为「The Wave to Mainnet」的Twitter Space.
1900/1/1 0:00:00编译:Dali/img/2023525211357/0.jpg" />著名投资者、Shark Tank节目主持人Kevin O’leary就加密交易所的崩溃进行了反思:“不同于其他金融灾难.
1900/1/1 0:00:00