我们要感谢PolygonZero团队、Consensysgnark项目、PadoLabs和DelphinusLab团队对本篇文章的宝贵评论和反馈。
零知识证明开发框架评测平台「万神殿Patheon」
过去几个月,我们投入了大量时间和精力,开发了利用zk-SNARK简洁证明构建的前沿基础设施。这个次世代创新平台使开发者能够构建前所未有的区块链应用新范例。
在开发工作中,我们测试并使用了多种零知识证明(ZKP)开发框架。虽然这段旅程收获颇丰,但我们也确实意识到,当新的开发者试图找到最适合其特定用例和性能要求的框架时,多种多样的ZKP框架通常会给他们带来挑战。考虑到这一痛点,我们认为需要一个能够提供全面性能测试结果的社区评估平台,这将极大地促进这些新应用的开发。
为了满足这一需求,我们推出了零知识证明开发框架评测平台「万神殿Patheon」这一公益社区倡议。倡议的第一步将鼓励社区分享各种ZKP框架的可复现性能测试结果。我们的最终目标是共同协作创建并维护一个广受认可的测试平台,评估低级电路开发框架、高级zkVM和编译器,甚至硬件加速提供商。我们希望这一举措能够让开发者们在选用框架时能有更多性能比较的参考,从而加快ZKP的推广。同时,我们希望通过提供一组普遍可参考的性能测试结果,促进ZKP框架本身的升级和迭代。我们将大力投入这项计划,并邀请所有志同道合的社区成员加入我们,共同为这项工作做出贡献!
第一步:使用SHA-256对电路框架进行性能测试
PeopleDAO与WTF Academy合作,在Goerli测试网上试用Soulbound协议:2月21日消息,PeopleDAO与Web3开源学习社区WTF Academy合作,在Goerli测试网上试用声誉NFT协议Soulbound。用例类似于获得课程学分。当WTF学院的学生完成课程后,他们将获得不可转让的证书,即教育证明。
Soulbound选择Goerli测试网对产品进行Beta测试,因为测试网是编码人员用来开发和试用智能合约的以太坊区块链的替代版本。一旦该项目从早期用户那里获得了足够的反馈,下一步将部署到合适的以太坊L2网络。[2023/2/21 12:19:31]
在这篇文章中,我们迈出了构建ZKPPatheon的第一步,在一系列低级电路开发框架中使用SHA-256提供一组可复现的性能测试结果。虽然我们承认其他性能测试粒度和原语或许也是可行的,但我们选择SHA-256是因为它适用于广泛的ZKP用例,包括区块链系统、数字签名、zkDID等。另外值得一提的是,我们在自己的系统中也使用了SHA-256?,所以这对我们来说也很方便!
我们的性能测试评估了SHA-256在各种zk-SNARK和zk-STARK电路开发框架上的性能。通过比较,我们力求为开发者提供关于每个框架的效率和实用性的见解。我们的目标是,希望本次性能测试结果能够为开发者在选择最佳框架时提供参考,使之做出明智的决定。
Circomsnarkjs/rapidsnark:Circom是一种流行的DSL,用于编写电路和生成R?1?CS约束,而snarkjs能够为Circom生成Groth?16或Plonk证明。Rapidsnark也是Circom的证明器,它生成Groth?16证明,并且由于使用了ADX扩展,它通常比snarkjs快得多,并尽可能并行化证明生成。
黑客攻击一家罗马尼亚医院后要求支付比特币恢复数据访问:金色财经报道,罗马尼亚位于罗马尼亚东北部 Boto?ani 的 Saint Gheorghe 康复医院成为勒索软件攻击的目标,黑客从 12 月开始锁定其医疗记录,并要求支付三枚比特币作为赎金以恢复对文件的访问权限。由于 12 月的数据库被加密,卫生部门无法报告 2022 年最后一个月执行的服务。因此,它甚至无法收到这些服务的费用。不过,CAS 的代表表示,他们正在努力寻找解决方案,以便卫生部门能够支付工资。[2023/1/5 10:23:43]
gnark:gnark是来自Consensys的综合Golang框架,支持Groth?16、Plonk和许多更高级的功能。
Arkworks:Arkworks是一个用于zk-SNARKs的综合Rust框架。
Halo?2(KZG):Halo?2是Zcash与Plonk的zk-SNARK实现。它配备了高度灵活的Plonkish算术,支持许多有用的原语,例如自定义网关和查找表。我们使用具有以太坊基金会和Scroll支持的KZG的Halo?2分叉。
Plonky?2?:Plonky?2是基于来自PolygonZero的PLONK和FRI技术的SNARK实现。Plonky?2使用小的Goldilocks字段并支持高效的递归。在我们的性能测试中,我们以100位推测的安全性为目标,并使用为性能测试工作产生最佳证明时间的参数。具体来说,我们使用了28Merkle查询、?8的放大系数和16位工作量证明挑战。此外,我们设置num_of_wires=60和num_routed_wires=60?。
港交所加密货币期货ETF已完成7360万美元募资:金色财经报道,尽管当前加密市场处于低迷状态,但即将在香港证券交易所上市的南方东英资产管理公司(CSOP)旗下加密货币期货 ETF 在上市前仍募集到高达 7360 万美元资金,其中南方东英比特币期货 ETF 募集金额达到 5390 万美元。
据南方东英资产管理公司量化投资主管 Yi Wang 表示,旗下两只加密期货 ETF 表明香港对虚拟资产的发展仍然持开放态度。
金色财经此前报道,本周五港交所将以 780 港元每手交易价格上市 CSOP 加密货币期货 ETF。[2022/12/15 21:47:26]
Starky:Starky是PolygonZero的高性能STARK框架。在我们的性能测试中,我们以100位推测的安全性为目标,并使用产生最佳证明时间的参数。具体来说,我们使用了90Merkle查询、?2倍放大系数和10位工作量证明挑战。
下表总结了上述框架以及我们性能测试中使用的相关配置。这个列表绝不是详尽的,我们还将在未来研究许多最先进的框架/技术。
请注意,这些性能测试结果仅适用于电路开发框架。我们计划在未来发布一篇单独的文章,对不同的zkVM和IR编译器框架进行性能测试。
此存储库中找到性能代码和SHA-256电路配置。
此外,我们使用以下性能指标对每个系统进行了性能测试:
证明生成时间
证明生成期间的内存使用峰值
BNB Chain二层扩容方案Zecrey Legend第一阶段公开测试网已上线:12月4日消息,基于BNB Chain的二层扩容方案Zecrey Legend已于北京时间12月3日21:00上线公开测试网。该测试网包含多个阶段,目前已上线的第一阶段产品为Android应用,包括了多链资产管理,以及基于ZK Rollup的Layer 2 NFT市场等功能。[2022/12/4 21:21:55]
证明生成期间的平均CPU使用率百分比。?
请注意,我们正在对证明大小和证明验证成本做一些“随意”的假设,因为这些方面可以通过在上链之前与Groth?16或KZG组合来减轻。
Linux服务器:?20核@?2.3GHz,?384?GB内存
MacbookM?1Pro:?10核@?3.2?Ghz,?16?GB内存
Linux服务器用于模拟CPU核数多、内存充裕的场景。而通常用于研发的MacbookM?1Pro拥有更强大的CPU,但内核较少。
我们启用了可选的多线程,但我们没有在此性能测试中使用GPU加速。我们计划在未来进行?GPU性能测试。
约束数量
在我们继续讨论详细的性能测试结果之前,首先通过查看每个证明系统中的约束数量来了解SHA-256的复杂性是很有用的。重要的是要注意不能直接比较不同算术方案中的约束数量。
下面的结果对应64?KB的原像尺寸。虽然结果可能因其他原像尺寸而异,但它们可以粗略地线性缩放。
Nansen CEO:过去24小时仅币安与Uniswap上以太坊交易额超10亿美元:11月14日消息,Nansen首席执行官Alex Svanevik在社交媒体上表示,据CoinGecko与Uniswap数据显示,过去24小时Uniswap上以太坊交易额为11.1亿美元,而中心化交易所中ETH与USDT或USD交易对的交易量均未超过10亿美元。仅币安在考虑了其他以太坊交易对的基础上超过了10亿美元。[2022/11/14 13:03:34]
Circom、gnark、Arkworks都使用相同的R?1?CS算法,计算64?KBSHA-256的R?1?CS约束数量大致在30?M到45?M之间。Circom、gnark和Arkworks之间的差异可能是由于配置差异造成的。
Halo?2和Plonky?2都使用Plonkish算术,其中行数范围从2?^?22到2?^?23?。由于使用查找表,Halo?2的SHA-256实现效率比Plonky?2的高得多。
Starky使用AIR算法,其中执行跟踪表需要2?^?16个转换步骤。
对于SHA-256?,Groth?16框架生成证明的速度比Plonk框架快。这是因为SHA-256主要由位运算组成,其中线值为0或1?。对于Groth?16?,这减少了从椭圆曲线标量乘法到椭圆曲线点加法的大部分计算。但是,连线值并不直接用于Plonk的计算,因此SHA-256中的特殊连线结构不会减少Plonk框架中所需的计算量。
在所有Groth?16框架中,gnark和rapidsnark比Arkworks和snarkjs快5到10倍。这要归功于它们利用多个内核并行化生成证明的卓越能力。Gnark比rapidsnark快25%?。
对于Plonk框架,当使用>=4?KB的较大原像尺寸时,Plonky?2的SHA-256比Halo?2的慢50%?。这是因为Halo?2的实现主要使用查找表来加速按位运算,导致行数比Plonky?2少2倍。但是,如果我们比较具有相同行数的Plonky?2和Halo?2?,Plonky?2比Halo?2快50%?。如果我们在Plonky?2中使用查找表实现SHA-256?,我们应该期望Plonky?2比Halo?2更快,尽管Plonky?2的证明尺寸更大。
另一方面,当输入原像尺寸较小时,由于查找表的固定设置成本占大部分约束,Halo?2比Plonky?2?慢。然而,随着原像的增加,Halo?2的性能变得更具竞争力,对于高达2?KB的原像大小,其证明生成时间保持不变,如图所示,其几乎呈线性扩展。
正如预期的那样,Starky的证明生成时间比任何SNARK框架都短得多(?5?倍-50?倍),但这是以更大的证明大小为代价的。
另外需要注意的是,即使电路大小与原像大小成线性关系,由于O(nlogn)FFT,对于SNARKs的证明生成也是呈超线性增长的。
我们还在MacbookM?1Pro上进行了证明生成时间性能测试,如所示。但是,需要注意的是,由于缺乏对arm?64架构的支持,rapidsnark未包含在该性能测试中。为了在arm?64上使用snarkjs,我们必须使用webassembly生成见证,这比Linux服务器上使用的C见证生成要慢。
在MacbookM?1Pro上运行性能测试时还有几个额外的观察结果:
除了Starky之外,所有SNARK框架在原像尺寸变大时都会遇到内存不足(OOM)错误或使用交换内存现象。具体来说,Groth?16框架在原像尺寸>=8?KB时就开始使用交换内存,而gnark在原像尺寸>=64?KB时出现内存不足。当原像尺寸>=32?KB时,Halo?2遇到了内存限制。当原像尺寸>=8?KB时,Plonky?2开始使用交换内存。
基于FRI的框架在MacbookM?1Pro上比在Linux服务器上快大约60%?,而其他框架在两台机器上面的证明时间相似。因此即使在Plonky?2中没有使用查找表,它在MacbookM?1Pro上实现了与Halo?2几乎相同的证明时间。主要原因是MacbookM?1Pro拥有更强大的CPU,但内核更少。FRI主要进行哈希运算,对CPU时钟周期比较敏感,但并行性不如KZG或Groth?16?。
在所有SNARK框架中,rapidsnark是内存效率最高的。我们还看到,由于查找表的固定设置成本,当原像尺寸较小时,Halo?2使用更多内存,但当原像尺寸较大时,整体消耗的内存较少。
Starky的内存效率比SNARK框架高10倍以上。部分原因是它使用了更少的行。
应该注意的是,由于使用交换内存,原像尺寸变大,因此MacbookM?1Pro上的内存使用量峰值保持相对平稳。
Gnark和rapidsnark在Linux服务器上表现出最高的CPU利用率,表明它们能够有效地使用多核且并行化生成证明。Halo?2也展现了良好的并行化性能。
大多数框架在Linux服务器上的CPU利用率是在MacbookProM?1的2倍,只有snarkjs例外。
尽管最初预计基于FRI的框架可能难以有效地使用多核,但它们在我们的性能测试中的表现并不比某些Groth?16或KZG框架差。在具有更多内核的机器上,CPU利用率是否会有差异还有待观察。?
结论及未来研究
这篇文章全面比较了SHA-256在各种zk-SNARK和zk-STARK开发框架上的性能测试结果。通过比较,我们深入了解了每种框架的效率和实用性,以期可以帮助需要为?SHA-256操作生成简洁证明的开发者。我们发现Groth?16框架在生成证明方面比Plonk框架更快。Plonkish算术化中的查找表在使用较大的原像尺寸时显着减少了SHA-256的约束和证明时间。此外,gnark和rapidsnark展示了利用多核以并行化运作的出色能力。另一方面,Starky的证明生成时间要短得多,但代价是证明大小要大得多。在内存效率方面,rapidsnark和Starky优于其他框架。
作为构建零知识证明评测平台「万神殿Patheon」的第一步,我们承认本次性能测试结果远不足以成为最终我们希望构建的一个综合测试平台。我们欢迎并乐于接受反馈和批评,并邀请所有人为这项倡议做出贡献,以便开发者更容易、低门槛地使用零知识证明。我们也愿意为个人独立贡献者提供资助,以支付大规模性能测试的计算资源成本。我们希望可以共同提高ZKP的效率和实用性,更为广泛地造福社区。
最后,我们要感谢PolygonZero团队、Consensys的gnark团队、PadoLabs以及DelphinusLab团队,感谢他们对性能测试结果的宝贵审查和反馈。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。