使用“扫一扫”即可将网页分享至朋友圈。
「zkEVM 战争」升温 一文全面对比Polygon zkEVM与zkSync Era
原文标题:《A comparison of zkEVMs》
原文作者:Daniel Lubarov
原文编译:Kxp,BlockBeats
随着「zkEVM 战争」的升温,公众讨论了许多关于不同 zkEVM 的优点。但也存在一些错误的信息,因此我们想澄清一些关于 Polygon zkEVM 以及它与其他项目的比较的事实。
作为 Polygon 的一名员工,我有偏见,但我会尽力保持比较公正。我主要关注 Polygon 的 zkEVM 和 zkSync Era,因为它们已经投入生产使用,并且我不太了解其他 zkEVM 项目。
zkSync 的 zkEVM 和证明器由 100 k 多行代码组成。我尽力提供准确的摘要,如果有任何不准确之处,请告诉我,我会进行更正。
EVM 兼容性
Polygon zkEVM 直接执行 EVM 字节码。根据 Vitalik 的分类,它是一种类型 3 的 zkEVM。很快它将成为类型 2 ;目前我们缺少四个预编译。Scroll 也在努力向类型 2 zkEVM 发展。
相比之下,zkSync Era 使用不同的字节码格式,通过提供编译器来支持 Solidity。这使它成为一种类型 4 的 zkEVM:它支持 Solidity,但不支持 EVM 字节码本身。例如 Hardhat 这样的工具不能直接使用,尽管可以使用 zkSync 的插件。
zkSync 认为他们的 zkVM 更加具有未来性,即它可以更好地与 Solidity 以外的语言配合使用。但是,他们的 VM 似乎继承了 EVM 的许多性能特征,例如其 256 位字大小。像 Miden 这样的 zkVM 可能更具有未来性,因为它是为通用计算而设计的,而不是专注于 Solidity。
性能
性能一直是 Polygon 的重点,我们的 zkEVM 非常高效。在 CPU 上运行我们的证明器的成本大约为每笔交易 0.000084 美元。
虽然我们没有找到任何关于 zkSync 的 zkEVM 的工作基准,但我们怀疑由于我们非常不同的 ZK 技术选择,存在着很大的性能差距。
域选择
经过研究多个替代方案,我们选择了所谓的 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 本身的审计。
除了审计外,两个项目都有各种「安全备胎」,以提供备用的安全层,但这是一个很深的话题,我在这里不会详细介绍。
L1 数据
Polygon zkEVM 将所有交易数据发布到 L1。在 Twitter 上存在一些关于此的混淆,有关此的 Gas 费用请参见 Edu 的文章。目前,平均交易大小约为 120 字节,因此每笔交易的 Gas 费用约为 120* 16 = 1920 Gas。
zkSync 则发布状态差异。恶意的序列化器可能会隐瞒交易数据,但 zkSync 认为拥有当前状态的 trie 足以确保安全。这似乎存在争议,因为通常预期交易数据是可用的,并且某些应用程序依赖于此。
查看经过更正的数据后,我们可以发现我们的 zkEVM 和 zkSync 的每笔交易 Gas 费用基本相同。这些数字可能会随着每个链上发生的交易类型的混合而随时间变化,但截至今日,状态差异并没有节省任何 Gas 费用;两个系统都向 L1 发送大约 120 字节的每笔交易数据。
我们计划在这里进行一些优化,但不使用状态差异。交易本身可以进行压缩,降低 Gas 费用,同时仍能保证交易数据的可用性。敬请期待!
原文链接
“广东财经网”的新闻页面文章、图片、音频、视频等稿件均为自媒体人、第三方机构发布或转载。如稿件涉及版权等问题,请与
我们联系删除或处理,客服邮箱1098101642@qq.com,稿件内容仅为传递更多信息之目的,不代表本网观点,亦不代表本网站赞同
其观点或证实其内容的真实性。
- 声音提醒
- 60秒后自动更新
【民政部回应何时恢复婚姻登记】民政部社会事务司二级巡视员杨宗涛表示,婚姻登记场所是人群聚集场所,部分地区暂停婚姻登记工作是对人民群众安全负责。未停止登记的地方推广用电话、网络、qq群预约登记,控制登记人数,分批分段登记,减少人员聚集和在登记机关停留时间。已停止婚姻登记地方将根据当地疫情控制情况逐渐恢复。
15:54欧洲央行副行长金多斯:欧洲央行还没有达到逆转利率。宽松政策的副作用更明显了。
15:54财经网站Forexlive分析师Justin Low评瑞士1月CPI月率:尽管通胀年率保持稳定,但核心通胀率有所下降,这一点令人更加担忧。这只是进一步巩固了瑞士央行维持现有货币政策不变,并可能在未来寻求更多宽松措施的观点。
15:54【武汉两大批发市场商户开业率超过80%】商务部市场建设司司长朱小良10日称,目前武汉生活必需品供应基本正常,除冷鲜肉、鲜叶菜等少数品种存在结构性短缺外,大部分重要生活物资供应充足,未发生明显抢购或脱销断档情况。当地白沙洲和四季美两大批发市场正常营业,商户开业率超过80%,日交易量上升至3000吨以上。(国是直通车)
15:53【日本2019年经常项目顺差增长4.4%】日本财务省10日发布的国际收支初步统计报告显示,主要受外国人入境游消费扩大影响,2019年日本经常项目顺差增长4.4%。报告显示,2019年日本经常项目顺差为20.06万亿日元(1美元约合109.8日元)。其中,商品贸易方面,由于液化天然气价格下跌等因素,进口下降5.6%至75.56万亿日元;由于汽车部件及钢铁等产品出口减少,出口下降6.3%至76.12万亿日元。货物贸易顺差减少53.8%,为5536亿日元。(新华社)
15:53欧元兑美元EUR/USD短线波动不大,现报1.0952。
15:53瑞士1月CPI年率:0.2%,前值:0.2%,预期:0.1%;瑞士1月CPI月率:-0.2%,前值:0%,预期:-0.2%。
15:52英镑兑美元GBP/USD短线走低13点,现报1.2890。
15:52【宁德时代“供电”国产特斯拉 有望拉低售价20%】全国乘联会秘书长崔东树分析认为,“随着特斯拉国产化率提升和产能爬坡,未来特斯拉国产车型的价格下探空间还是很大的。”他预计今年下半年,国产Model 3车型的售价就有望降至25万元,降幅接近20%。(新京报)
15:51【内蒙古:对不裁员或少裁员企业返还上年度50%失业保险费】据内蒙古新型冠状病毒肺炎疫情防控工作指挥部消息,疫情期间,内蒙古对不裁员或少裁员的企业返还上年度实际缴纳失业保险费的50%,对面临暂时性经营困难的中小企业,返还标准提高到上年度6个月企业及其职工缴纳社会保险费的50%。
15:51【商务部:2019年服务进出口总额54152.9亿元 同比增长2.8%】商务部新闻发言人表示,2019年,在服务贸易创新发展试点等政策的激励下,我国服务贸易总体保持平稳向上态势,逆差明显下降,结构显著优化,高质量发展成效初步显现。全年服务进出口总额54152.9亿元(人民币,下同),同比增长2.8%。其中,出口总额19564.0亿元,同比增长8.9%;进口总额34588.9亿元,同比减少0.4%。(第一财经)
15:51【振华股份:疫情导致下游客户开工推迟 产品库存上升】振华化学公告,公司目前生产经营稳定,所有产能均正常开工,原材料采购能基本满足生产需要,由于疫情导致下游客户开工推迟,公司出货量减少,产品库存有所上升。公司将根据客户需求、疫情及市场变化,适度调整生产经营策略,尽可能保持生产经营的稳定。
15:50环旭电子2月10日晚间公告,公司2020年1月合并营业收入为23.27亿元,较去年同期的合并营业收入减少27.83%,较2019年12月合并营业收入环比减少37.23%。
15:49精测电子:与京东方集团签订了多份销售合同,合同累计金额达到6.96亿元。
17:12华夏银行:银保监会同意本公司在全国银行间债券市场发行不超过100亿元人民币的金融债券,募集资金全部用于绿色信贷。
17:03