「zkEVM 战争」升温,一文全面对比Polygon zkEVM与zkSync Era_KSY:SYNC

随着「zkEVM战争」的升温,公众讨论了许多关于不同zkEVM的优点。但也存在一些错误的信息,因此我们想澄清一些关于PolygonzkEVM以及它与其他项目的比较的事实。作为Polygon的一名员工,我有偏见,但我会尽力保持比较公正。我主要关注Polygon的zkEVM和zkSyncEra,因为它们已经投入生产使用,并且我不太了解其他zkEVM项目。zkSync的zkEVM和证明器由100k多行代码组成。我尽力提供准确的摘要,如果有任何不准确之处,请告诉我,我会进行更正。EVM兼容性

PolygonzkEVM直接执行EVM字节码。根据Vitalik的分类,它是一种类型3的zkEVM。很快它将成为类型2;目前我们缺少四个预编译。Scroll也在努力向类型2zkEVM发展。相比之下,zkSyncEra使用不同的字节码格式,通过提供编译器来支持Solidity。这使它成为一种类型4的zkEVM:它支持Solidity,但不支持EVM字节码本身。例如Hardhat这样的工具不能直接使用,尽管可以使用zkSync的插件。zkSync认为他们的zkVM更加具有未来性,即它可以更好地与Solidity以外的语言配合使用。但是,他们的VM似乎继承了EVM的许多性能特征,例如其256位字大小。像Miden这样的zkVM可能更具有未来性,因为它是为通用计算而设计的,而不是专注于Solidity。性能

研究:比特大陆的 S19 比特币矿机占网络哈希率的76%:金色财经报道,根据Coinmetrics周二发布的最新研究,三种型号的比特大陆矿机占比特币网络算力的 76%。

Coinmetrics 发现,Antminer S19j Pro 占网络哈希率的 34.3%,S19 占 28.1%,自 2021 年 3 月以来,它们一直是网络上使用最多的机器。报告称,Antminer S19 XP 占网络哈希率的另外 13.7%。同时,研究人员表示,MicroBT 的 M50 低于可检测性阈值。

该报告还发现,比特币网络消耗 13.4 吉瓦 (GW) 的电力,比剑桥大学另类金融中心发布的常用指数低 13% 。[2023/6/14 21:35:06]

性能一直是Polygon的重点,我们的zkEVM非常高效。在CPU上运行我们的证明器的成本大约为每笔交易0.000084美元。虽然我们没有找到任何关于zkSync的zkEVM的工作基准,但我们怀疑由于我们非常不同的ZK技术选择,存在着很大的性能差距。域选择

数字银行Revolut在巴西提供加密投资:金色财经报道,数字银行应用Revolut首次进军拉丁美洲,在巴西进行现场发布。Revolut应用程序近期将在印度、墨西哥和新西兰推出。

在印度,该公司为即将推出的产品建立了一支由 400 多名员工组成的团队。墨西哥也计划扩大劳动力,计划到 2025 年在墨西哥和巴西之间雇用 250 多个新职位。该公司还表示,未来几个月将在新西兰上线,以补充其在澳大利亚的现有业务。[2023/5/2 14:38:32]

经过研究多个替代方案,我们选择了所谓的Goldilocksfield,一个二阶巨大素数域2^64-2^32+1。它的小尺寸和美丽的二进制结构导致了极快的域操作,乘法仅需在现代CPU上花费不到两个周期。zkSync采用了更传统的方法,使用基于alt-bn128曲线的SNARK。基础域的大小约为254位,域乘法在CPU上需要大约80个周期。为了感受到这种巨大差异的影响,我们可以看看Celer的SHA2基准测试。在那里,我们的STARK证明器比基于椭圆曲线的证明器快了5-50倍。alt-bn128的优点在于EVM原生支持它,因此向Ethereum提交证明更简单。在Polygon,我们将最终的聚合证明用alt-bn128的fflonk证明「包裹」起来。虽然我们的方法需要更多的工作,但我们认为这对于不可思议的性能增益来说是值得的。算术化

HIVE Blockchain 10月产出307枚BTC,现持有约3311枚BTC:11月7日消息,上市矿企HIVE Blockchain发布挖矿数据更新,HIVE 10月份产出的比特币总产量未307枚BTC。截至目前,HIVE持有约3311枚BTC,市值逾7000万美元。公司强调没有任何数字资产或加密挖矿硬件相关的偿债付款。该公司已收到140 PH/s的MicroBT M30S++矿机,它们正在安装中(目前大约80 PH/s已经安装)。HIVE预计ASIC和GPU的比特币哈希率到11月底将超过2.7 Exahash。[2022/11/7 12:27:39]

区别不止于此。我们的zkEVM基于STARKs构建,但具有现代化的变化。我们有一个主STARK用于CPU,还有其他用于算术、哈希等的STARK。这些表格可以连接,就像我们在RapidUp中描述的那样。这类似于物理CPU,它们经常有协处理器来加速渲染、Crypto或ML推断等密集操作。以Keccak为例。由于它在EVM应用中被广泛使用,我们设计了一个专门的STARK用于它,使用了一些我们在这里记录的新技巧。设计这样的定制算术化需要大量的工作,但它带来了回报,使我们能够每秒证明数百个Keccak排列。zkSync采用了我称之为更传统的方法。他们使用基于PLONK的证明器,尽管它支持自定义门,但他们的zkEVM并没有多少使用;大多数计算都是使用一个名为SelectorOptimizedWidth4MainGateWithDNext的通用门进行的。它似乎比vanillaPLONK门稍微强大一些,但仍然局限于像mul-adds这样的简单操作。值得赞扬的是,zkSync使用了查找参数,这是一种更现代的技术,可以帮助提高像Keccak这样的效率。但是,没有自定义算术化,256位数学、Keccak等等的效率都会大打折扣。安全性

菲律宾监管机构:投资者不要与未注册加密货币公司进行交易:金色财经报道,菲律宾中央银行(BSP)是该国加密货币行业的主要监管机构,它警告投资者不要与未注册的外国加密货币服务提供商交易。监管机构说,它们“可能会对当地客户执行法律追索,消费者保护及补救机制方面等带来额外的挑战”。此外,该央行警告说,政府不保证对加密货币价格波动所带来的财务损失提供保护。菲律宾中央银行强调,公众应谨慎行事,自身进行尽职调查,并在参与虚拟资产相关活动之前始终注意风险。(Bitcoin.com)[2022/8/19 12:35:57]

Polygon非常重视安全性,我们的zkEVM经过了两次独立审计:一次是由Spearbit进行的,另一次是由Hexens进行的。两份报告都可以在这里公开查看。我们还发布了验证部署的说明。我们不知道zkSync的zkEVM是否经过任何公开审计。zkSync的网站列出了桥接合约的审计,但没有zkEVM本身的审计。除了审计外,两个项目都有各种「安全备胎」,以提供备用的安全层,但这是一个很深的话题,我在这里不会详细介绍。L1数据

PolygonzkEVM将所有交易数据发布到L1。在Twitter上存在一些关于此的混淆,有关此的Gas费用请参见Edu的文章。目前,平均交易大小约为120字节,因此每笔交易的Gas费用约为120*16=1920Gas。zkSync则发布状态差异。恶意的序列化器可能会隐瞒交易数据,但zkSync认为拥有当前状态的trie足以确保安全。这似乎存在争议,因为通常预期交易数据是可用的,并且某些应用程序依赖于此。查看经过更正的数据后,我们可以发现我们的zkEVM和zkSync的每笔交易Gas费用基本相同。这些数字可能会随着每个链上发生的交易类型的混合而随时间变化,但截至今日,状态差异并没有节省任何Gas费用;两个系统都向L1发送大约120字节的每笔交易数据。我们计划在这里进行一些优化,但不使用状态差异。交易本身可以进行压缩,降低Gas费用,同时仍能保证交易数据的可用性。敬请期待!原地址

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:0ms0-5:842ms