区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 酷币 > 正文

SHA:万神殿Pantheon:Celer的ZKP开发框架评测平台_Shapepay Token

作者:

时间:

我们要感谢PolygonZero、Consensysgnark、PadoLabs和DelphinusLab团队对本篇文章的宝贵建议和反馈。

零知识证明开发框架评测平台「万神殿Pantheon」?

过去几个月,我们投入了大量时间和精力,开发了利用zk-SNARK简洁证明构建的前沿基础设施。这个下一代创新平台使开发者能够构建前所未有的区块链应用新范例。

在开发工作中,我们测试并使用了多种零知识证明(ZKP)开发框架。虽然这段旅程收获颇丰,但我们也确实意识到,当新的开发者试图找到最适合其特定用例和性能要求的框架时,多种多样的ZKP框架通常会给他们带来挑战。考虑到这一痛点,我们认为需要一个能够提供全面性能测试结果的社区评估平台,这将极大地促进这些新应用的开发。?

为了满足这一需求,我们推出了零知识证明开发框架评测平台「万神殿Pantheon」这一公益社区倡议。倡议的第一步将鼓励社区分享各种ZKP框架的可复现性能测试结果。我们的最终目标是共同协作创建并维护一个广受认可的测试平台,评估低级电路开发框架、高级zkVM和编译器,甚至硬件加速提供商。我们希望这一举措能够让开发者们在选用框架时能有更多性能比较的参考,从而加快ZKP的推广。同时,我们希望通过提供一组普遍可参考的性能测试结果,促进ZKP框架本身的升级和迭代。我们将大力投入这项计划,并邀请所有志同道合的社区成员加入我们,共同为这项工作做出贡献!

第一步:使用SHA-256对电路框架进行性能测试

在这篇文章中,我们迈出了构建ZKPPantheon的第一步,在一系列低级电路开发框架中使用SHA-256提供一组可复现的性能测试结果。虽然我们承认其他性能测试粒度和原语或许也是可行的,但我们选择SHA-256是因为它适用于广泛的ZKP用例,包括区块链系统、数字签名、zkDID等。另外值得一提的是,我们在自己的系统中也使用了SHA-256,所以这对我们来说也很方便!

DeBank交易历史功能引入分析模式,含关键交易数据摘要和交易记录过滤等功能:8月17日消息,DeBank交易历史功能引入分析模式,包含欺诈交易筛选器,以及关键交易数据摘要和交易记录过滤功能。用户进入分析模式后将看到一个仪表板,突出显示与其交互的顶级协议 / 地址及其交易量,以及交易最多的代币和金额,还可以快速查看地址主要交易地点及其主要交易资产。

用户能够过滤交易历史记录,定制任何维度的记录,每个过滤器的仪表板数据都会实时更新,此外用户还可以下载 CSV 格式的任何筛选结果以供进一步分析。[2023/8/17 18:05:10]

我们的性能测试评估了SHA-256在各种zk-SNARK和zk-STARK电路开发框架上的性能。通过比较,我们力求为开发者提供关于每个框架的效率和实用性的见解。我们的目标是,希望本次性能测试结果能够为开发者在选择最佳框架时提供参考,使之做出明智的决定。

证明系统

近年来,我们观察到零知识证明系统激增。跟上该领域所有激动人心的进步是具有挑战性的,我们根据成熟度和开发者采用情况精心挑选了以下证明系统作为测试对象。我们的目标是提供不同前端/后端组合的代表性样本。

Circom?+?snarkjs?/?rapidsnark:?

Circom是一种流行的DSL,用于编写电路和生成R1CS约束,而snarkjs能够为Circom生成Groth16或Plonk证明。Rapidsnark也是Circom的证明器,它生成Groth16证明,并且由于使用了ADX扩展,它通常比snarkjs快得多,并尽可能并行化证明生成。

gnark:?

gnark是来自Consensys的综合Golang框架,支持Groth16、Plonk和许多更高级的功能。

Arkworks:?

Mark Cuban:希望比特币下跌以便购入比特币:金色财经报道,据Bitcoin Magazine发推表示,达拉斯小牛队老板、亿万富翁Mark Cuban表示,“希望比特币下跌,这样我就能购入比特币了”。[2022/12/26 22:07:08]

Arkworks是一个用于zk-SNARKs的综合Rust框架。

Halo2(KZG):

Halo2是Zcash与Plonk的zk-SNARK实现。它配备了高度灵活的Plonkish算术,支持许多有用的原语,例如自定义网关和查找表。我们使用具有以太坊基金会和Scroll支持的KZG的Halo2分叉。

Plonky2:?

Plonky2是基于来自PolygonZero的PLONK和FRI技术的SNARK实现。Plonky2使用小的Goldilocks字段并支持高效的递归。在我们的性能测试中,我们以100位推测的安全性为目标,并使用为性能测试工作产生最佳证明时间的参数。具体来说,我们使用了28Merkle查询、8的放大系数和16位工作量证明挑战。此外,我们设置num_of_wires=60和num_routed_wires=60

Starky:?

Starky是PolygonZero的高性能STARK框架。在我们的性能测试中,我们以100位推测的安全性为目标,并使用产生最佳证明时间的参数。具体来说,我们使用了90Merkle查询、2倍放大系数和10位工作量证明挑战。

下表总结了上述框架以及我们性能测试中使用的相关配置。这个列表绝不是详尽的,我们还将在未来研究许多最先进的框架/技术。

请注意,这些性能测试结果仅适用于电路开发框架。我们计划在未来发布一篇单独的文章,对不同的zkVM和IR编译器框架进行性能测试。

意大利私人银行Banca Generali计划在2021年推出加密货币服务:据最新消息,意大利私人银行Banca Generali计划在2021年推出加密货币服务。Banca Generali已与金融科技公司Conio达成了合作,Conio将为Banca Generali提供管理数字资产的解决方案,包括钱包和托管问题。Banca Generali也将收购Conio的股份,以支持该公司的发展和产品分销。(Cointelegraph)[2020/12/15 15:15:46]

性能评测方法论

为了对这些不同的证明系统进行性能测试,我们计算了N字节数据的SHA-256哈希值,其中我们对N=64、128、...、64K进行了实验。可以在此存储库中找到性能代码和SHA-256电路配置。

此外,我们使用以下性能指标对每个系统进行了性能测试:

证明生成时间

证明生成期间的内存使用峰值

证明生成期间的平均CPU使用率百分比。

请注意,我们正在对证明大小和证明验证成本做一些「随意」的假设,因为这些方面可以通过在上链之前与Groth16或KZG组合来减轻。

机器

我们在两台不同的机器上进行了性能测试:

Linux服务器:20核@2.3GHz,384GB内存

MacbookM1Pro:10核@3.2Ghz,16GB内存

Linux服务器用于模拟CPU核数多、内存充裕的场景。而通常用于研发的MacbookM1Pro拥有更强大的CPU,但内核较少。

LBank将于2020年8月4日18:30(UTC+8)上线PNK:据悉,LBank将于2020年8月4日18:30(UTC+8)上线PNK,开启PNK/USDT交易对,并于8月4日18:00开启充值。

为庆祝此次交易上线,LBank将启动针对PNK的站内流动性挖矿活动。用户通过在指定交易对盘口的前10档挂单来获得奖励系数,每日奖池0.5 ETH,活动持续7天。更多详情请关注LBank官网公告。[2020/8/4]

我们启用了可选的多线程,但我们没有在此性能测试中使用GPU加速。我们计划在未来进行GPU性能测试。

性能评测结果?

NumberofConstraints约束数量

在我们继续讨论详细的性能测试结果之前,首先通过查看每个证明系统中的约束数量来了解SHA-256的复杂性是很有用的。重要的是要注意不能直接比较不同算术方案中的约束数量

下面的结果对应64KB的原像尺寸。虽然结果可能因其他原像尺寸而异,但它们可以粗略地线性缩放。

Circom、gnark、Arkworks都使用相同的R1CS算法,计算64KBSHA-256的R1CS约束数量大致在30M到45M之间。Circom、gnark和Arkworks之间的差异可能是由于配置差异造成的。

Halo2和Plonky2都使用Plonkish算术,其中行数范围从2^22到2^23。由于使用查找表,Halo2的SHA-256实现效率比Plonky2的高得多。

Starky使用AIR算法,其中执行跟踪表需要2^16个转换步骤。

ProofGenerationTime证明生成时间

动态 | 南非Nedbank银行不再为加密货币相关公司开设新账户:据Bitcoinist消息,有南非加密媒体报道称南非Nedbank计划关闭加密交易所银行账户,但南非加密货币交易平台AltcoinTrader首席执行官指出,这是媒体炒作,现实情况是Nedbank银行只是不再为加密货币相关公司开设新帐户,但他们没有关闭往来帐户。而随着银行撤回对南非加密交易平台的支持,行业利益相关者表示,政府需要制定明确的加密货币法规。[2020/1/25]

使用Linux服务器测试了SHA-256的每个框架在各种原图像尺寸上的证明生成时间。我们可以得到以下发现:

对于SHA-256,Groth16框架生成证明的速度比Plonk框架快。这是因为SHA-256主要由位运算组成,其中线值为0或1。对于Groth16,这减少了从椭圆曲线标量乘法到椭圆曲线点加法的大部分计算。但是,连线值并不直接用于Plonk的计算,因此SHA-256中的特殊连线结构不会减少Plonk框架中所需的计算量

在所有Groth16框架中,gnark和rapidsnark比Arkworks和snarkjs快5到10倍。这要归功于它们利用多个内核并行化生成证明的卓越能力。Gnark比rapidsnark快25%。

对于Plonk框架,当使用>=4KB的较大原像尺寸时,Plonky2的SHA-256比Halo2的慢50%。这是因为Halo2的实现主要使用查找表来加速按位运算,导致行数比Plonky2少2倍。但是,如果我们比较具有相同行数的Plonky2和Halo2,Plonky2比Halo2快50%。如果我们在Plonky2中使用查找表实现SHA-256,我们应该期望Plonky2比Halo2更快,尽管Plonky2的证明尺寸更大。

另一方面,当输入原像尺寸较小时,由于查找表的固定设置成本占大部分约束,Halo2比Plonky2慢。然而,随着原像的增加,Halo2的性能变得更具竞争力,对于高达2KB的原像大小,其证明生成时间保持不变,如图所示,其几乎呈线性扩展

正如预期的那样,Starky的证明生成时间比任何SNARK框架都短得多(5倍-50倍),但这是以更大的证明大小为代价的。

另外需要注意的是,即使电路大小与原像大小成线性关系,由于O(nlogn)FFT,对于SNARKs的证明生成也是呈超线性增长的。

图1

我们还在MacbookM1Pro上进行了证明生成时间性能测试,如所示。但是,需要注意的是,由于缺乏对arm64架构的支持,rapidsnark未包含在该性能测试中。为了在arm64上使用snarkjs,我们必须使用webassembly生成见证,这比Linux服务器上使用的C++见证生成要慢。

在MacbookM1Pro上运行性能测试时还有几个额外的观察结果:

除了Starky之外,所有SNARK框架在原像尺寸变大时都会遇到内存不足(OOM)错误或使用交换内存现象。具体来说,Groth16框架在原像尺寸>=8KB时就开始使用交换内存,而gnark在原像尺寸>=64KB时出现内存不足。当原像尺寸>=32KB时,Halo2遇到了内存限制。当原像尺寸>=8KB时,Plonky2开始使用交换内存。

基于FRI的框架在MacbookM1Pro上比在Linux服务器上快大约60%,而其他框架在两台机器上面的证明时间相似。因此即使在Plonky2中没有使用查找表,它在MacbookM1Pro上实现了与Halo2几乎相同的证明时间。主要原因是MacbookM1Pro拥有更强大的CPU,但内核更少。FRI主要进行哈希运算,对CPU时钟周期比较敏感,但并行性不如KZG或Groth16。

图2

PeakMemoryUsage内存使用峰值

和分别显示了在LinuxServer和MacbookM1Pro上生成证明期间的内存使用峰值。根据这些性能测试结果可以得出以下观察结果:

在所有SNARK框架中,rapidsnark是内存效率最高的。我们还看到,由于查找表的固定设置成本,当原像尺寸较小时,Halo2使用更多内存,但当原像尺寸较大时,整体消耗的内存较少。

Starky的内存效率比SNARK框架高10倍以上。部分原因是它使用了更少的行。

应该注意的是,由于使用交换内存,原像尺寸变大,因此MacbookM1Pro上的内存使用量峰值保持相对平稳。

图3

图4

CPUUtilizationCPU利用率

我们通过测量SHA-256在4KB原像输入的证明生成期间的平均CPU利用率来评估每个证明系统的并行化程度。下表显示了LinuxServer和MacbookM1Pro上的平均CPU利用率(括号中为每个内核的平均利用率)。

主要观察结果如下:

Gnark和rapidsnark在Linux服务器上表现出最高的CPU利用率,表明它们能够有效地使用多核且并行化生成证明。Halo2也展现了良好的并行化性能。

大多数框架在Linux服务器上的CPU利用率是在MacbookProM1的2倍,只有snarkjs例外。

尽管最初预计基于FRI的框架可能难以有效地使用多核,但它们在我们的性能测试中的表现并不比某些Groth16或KZG框架差。在具有更多内核的机器上,CPU利用率是否会有差异还有待观察。?

结论及未来研究

这篇文章全面比较了SHA-256在各种zk-SNARK和zk-STARK开发框架上的性能测试结果。通过比较,我们深入了解了每种框架的效率和实用性,以期可以帮助需要为SHA-256操作生成简洁证明的开发者。我们发现Groth16框架在生成证明方面比Plonk框架更快。Plonkish算术化中的查找表在使用较大的原像尺寸时显着减少了SHA-256的约束和证明时间。此外,gnark和rapidsnark展示了利用多核以并行化运作的出色能力。另一方面,Starky的证明生成时间要短得多,但代价是证明大小要大得多。在内存效率方面,rapidsnark和Starky优于其他框架。

作为构建零知识证明评测平台「万神殿Pantheon」的第一步,我们承认本次性能测试结果远不足以成为最终我们希望构建的一个综合测试平台。我们欢迎并乐于接受反馈和批评,并邀请所有人为这项倡议做出贡献,以便开发者更容易、低门槛地使用零知识证明。我们也愿意为个人独立贡献者提供资助,以支付大规模性能测试的计算资源成本。我们希望可以共同提高ZKP的效率和实用性,更为广泛地造福社区。

最后,我们要感谢PolygonZero、Consensysgnark、PadoLabs以及DelphinusLab团队,感谢他们对性能测试结果的宝贵审查和反馈。

标签:NARPLOUSDSHASonar TokenUPLOAD币USDEBT币Shapepay Token

酷币热门资讯
tron:被爆挪用18亿美元资产,币安是否能够对此坦白?_gusd币局

福布斯根据最近进行的一项详细调查,对币安对客户资产和稳定币抵押品的管理和保管提出了重大疑问。在调查中福布斯提到了一些链上交易的性质和意图,并对此做出了许多可能的解释.

IMI:用户群体深度分析:Arbitrum vs. Optimism, 谁更有戏_NoLimitCoin

要点概述 Arbitrum依赖有机增长,Optimism专注用户激励,在过去一年中各自积累300万独立用户;在网络层面,Arbitrum和Optimism在短期内都留存了35-45%的新用户.

ARB:Bankless:新型稳定币——加密稳定币的草莽时代_稳定币被设计出来的重要原因

一种新的特定于应用程序的稳定币可能正是DeFi所需要的。DeFi协议正在采取行动。随着基于收费的业务模式的佣金下降和链上活动的枯竭,蓝筹DeFi协议正在寻求建立替代收入来源,以实现协议的多样化和.

ROLL:新手指南:如何使用Scroll zkEVM_CBANK

本文旨在介绍初学者如何与L2Dapps交互。在本指南中,我将讨论如何开始使用ScrollzkEVM以及如何与以太坊L2Dapp交互。理论上,在本指南中学到的技能可迁移至任何其他2层网络.

SEA:NFT市场的修昔底德陷阱:OpenSea反击打响手续费战争_blur币能涨到多少

修昔底德陷阱,由美国哈佛大学教授格雷厄姆·艾利森提出,意思是一个新崛起的大国必然要挑战现存大国,而现存大国也必然来回应这种威胁,这样战争变得不可避免.

BLU:再出重拳,SEC拟将加密货币托管列入监管范围_SEA

当加密社区还在围绕稳定币是否为“证券”进行激辩时,美国证券交易委员会又一次吹响“预示强监管”的号角。美东时间2月15日,SEC官网发布「关于投资顾问托管的拟议规则的声明」.