BulletProof vs snark vs stark性能对比

最新推荐文章于 2023-10-15 18:42:35 发布
原创 最新推荐文章于 2023-10-15 18:42:35 发布 · 1.1k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#零知识证明

博客参考以太坊社区已有讨论，提及论文《Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings》中的对比内容，还指出libsnark中对snark不同实现方法做了性能对比。
mutourend
关注
【密码原理】群与公钥加密体制：Diffie-Hellman密钥交换、ElGamal加密、零知识证明
skysys的研究小屋
07-24 994
本文主要介绍群、公钥密码体制以及DH协议、ElGamel加密和零知识证明ZKP基础，为后续进一步学习ZKP打下基础
零知识证明 Zero Knowledge Proof 以及 Layer2、跨链介绍
skysys的研究小屋
07-03 1481
定义：20世纪80年代初发明，证明者在不向验证者提供任何有用信息的情况下，使验证者相信某个论断是正确的。 要求：完整性、可靠性、零知识性 分类：交互式证明、非交互式证明 角色：示证者/证明方(prover)、验证者(verifier)eg： 跨链方法：公证人、哈希锁定、侧链、中继链............
零知识证明：STARKs vs SNARKs
szuwaterbrother的博客
05-09 4561
新技术之间的冲突 纵观历史，总是有类似的技术在同一时间上市，它们寻求相似的结果，但以不同的方式解决问题。当这种市场现象发生时，我们应该尝试客观地评估每项技术。 由于 STARK 阵营和 SNARK 阵营都对各自的技术充满热情，我们认为对这两种技术进行客观比较会很有趣。 零知识证明 零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到：证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。 从更技术的角度说，ZKP 是证明者与验证者两方之间的一个协议，
功能测试VS性能测试
huzi的博客
03-27 2317
一、功能测试VS性能测试 1、功能测试： QQ 软件 发信息的功能 能不能接收信息 12306购票系统 购票功能 能不能订购成功 如果失败 要有相对应的提示信息 性能测试：时间（快，慢），多用户（多，少） （1）前提：程序的功能已经通过测试（功能没有问题） （2）影响系统性能的因素：客户端、网络、域名服务器、服务器（被测系统）、代码、应用服务器、数据库、硬件（CPU、内存、磁...
Aurora ～VS～ Mysql 性能测试
weixin_33709219的博客
06-19 898
AWS基于Mysql/postgres开发的Aurora，是个很热门的OLTP数据库产品。目前很多用户很关心Aurora。更多关于Aurora的介绍，请参考官方文档：https://docs.aws.amazon.com/zh_cn/AmazonRDS/latest/AuroraUserGuide/CHAP_AuroraOverview.html各种官方的性能测试，也充分展示...
STARK/SNARK加速小技巧
mutourend2010@gmail.com
12-01 4875
1. 引言 STARK/SNARK中包含了大量的有限域运算，如： STARK中包含了对domain DDD的批量 polynomial evaluation运算 除可通过CPU/GPU等硬件加速外，还有一些算法可实现加速。 CPU加速可参看： CPU指令集——AVX2 采用CPU加速的密码学库有： https://github.com/dalek-cryptography/ed25519-dalek 2. 采用FFT来加速批量polynomial evaluation 有限域内的Fast Fou
Visual Studio进行Web性能测试- Part II
weixin_30301183的博客
08-31 245
原文作者：Ambily.raj 对于一个多用户的应用程序，性能是非常重要的。性能不仅是执行的速度，它包括负载和并发方面。Visual Studio是可以用于性能测试的工具之一。Visual Studio Test版或Visual Studio 2010旗舰版为自动化测试提供了支持。 介绍 对于一个多用户的应用程序，性能是非常重要的。性能不仅是执行的速度，它包括负载和并发方面。性能...
Step1. 理解零知识证明算法之Zk-stark
weixin_43179764的博客
11-12 3402
Concept：zk-stark vs zk-snark 谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。 不如，先让我们从名称说起？ 毕竟，两个看起来都很厉害的亚子_ ！ 如下图所示，我们将名称zk-stark 和 zk-...
技术分析｜零知识证明研究综述
GenesiSee的博客
05-22 3524
零知识证明允许一方（证明者）向另一方（验证者）证明一个陈述是真实的，而不透露任何超出陈述本身有效性的信息。
关于零知识证明的历史发展与变化
xfilesystem的博客
08-17 611
零知识证明是一种对于数据信息拥有高隐私保护能力的机制，随着人们对数据隐私的需求不断增加，可以预见，零知识证明在未来的互联网中将成为一个十分重要的基础设施。
sonic:线性大小的通用和可更新结构化参考字符串的零知识SNARK
03-15
[1]是具有通用和可更新的结构参考字符串（SRS）的通用算术电路可满足性的zk-SNARK协议，由提出 [2]大小线性缩放。 尽管需要对SRS进行可靠的设置，但SRS可以得到不断增强，并且Sonic只需为所有电路进行一次设置即可。 Sonic允许证明者证明给定约束系统的隐藏证人的知识。 它针对[3]中使用的二元多项式方程定义了约束系统。 用法 Sonic协议可以分为三个步骤：设置，验证和验证。 由于SRS的通用性，设置阶段仅需要运行一次。 此实现使用BLS12-381椭圆曲线。 sonicProtocol :: ArithCircuit Fr -> Assignment Fr -> Fr -> IO Bool sonicProtocol circuit assignment x = do -- Setup for an SRS srs <- SRS. new <$> rando
VS性能分析工具的使用（转载）
一个老菜鸟的学习分享
03-22 6382
VS 性能分析工具
零知识证明之争：STARK还是SNARK？
Galaxytraveller的博客
10-15 769
zkSNARK（零知识可验证的非交互式证明）是另一种零知识证明系统，它的特点是在证明过程中是非交互式的，即证明者可以生成一个证明，而验证者可以在不与证明者交互的情况下验证该证明的正确性。比如，如果一个算法的运行时间是O(n²)，这表示它的运行时间随着输入规模n的增加，以n的平方倍数增长。这样的算法被认为是多项式时间复杂性的，通常被认为是高效的。zkSNARK和zkSTARK的证明复杂性都是多项式级别的，多项式时间复杂性的算法是zkSNARK和zkSTARK作为零知识证明系统的共同特点，但二者略有差异。
VisualStudio性能分析工具使用
zw_whusgg的博客
08-18 4209
提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档。
理解 zk-SNARKs 和 zk-STARKs 的区别
ChainlinkO的博客
03-16 2113
SNARK 和 STARK 是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。引起了广泛关注，因其在增强安全性、保护用户隐私和支持扩展方面都有很大的潜力。ZKP 使一方能够向另一方证明声明是真实的，而无需透露任何其他信息。ZKP 既有利于增加隐私——因为它们减少了各方之间共享的信息量——也有利于可扩展性，因为它只需要证明而非整个数据集被验证，这样验证速度会更快。两个最受关注的零知识证明系统是 SNARK 和 STARK。
一个更优的零知识证明：Bulletproofs
omnispace的博客
05-03 3762
在2015年我们宣布机密交易(CT)作为侧链Elements Alpha的主要特征。该特征用Pedersen commitments取代了交易金额，这种一种隐藏金额的加密工具，同时保留了任何人验证在特定交易内余额的能力。CT面临的主要难题是让它交易变得非常大而且验证缓慢，因为它要求每个交易输出包含一个rangeproof，这是一种零知识证明，证明金额太小而不会溢出。普通数字签名小于100个字节，并...
snark/stark-friendly hash函数
mutourend2010@gmail.com
06-23 2684
参考资料 [1] 2020年2月版本 Report on the Security of STARK-friendly Hash Functions (Version 2.0) [2] Grassi等人2019年论文 POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems [3] ZCash讨论 evaluate SNARK-friendly hash functions, e.g. MiMC or the MARVELlous fami
zk、zkVM、zkEVM及其未来
mutourend2010@gmail.com
07-09 2245
zk、zkVM、zkEVM及其未来
零知识证明libSnark中Groth16算法的优劣——可加工性攻击问题
mutourend2010@gmail.com
06-13 2563
Groth16相比于PGHR13和GM17实现，具有一定的时间和空间优势，具体可参考： libsnark中有对snark的不同实现方法做了性能对比： ZoKrates中采用的是Ethereum支持的ALT_BN128曲线，同时也对这三种方法做了实现，默认采用的是Groth16。同时，在其指导网页中也指出，Groth16算法存在可加工性攻击问题——即攻击者可利用已知的valid proof再加工出...
Bulletproof Ajax：Jeremy Keith 的Web交互深度探索
他还讨论了Ajax在实际项目中的最佳实践，包括错误处理、性能优化和数据缓存策略。 书中的实例和案例研究使理论知识变得生动具体，读者可以跟随这些例子一步步学习如何构建功能丰富的Ajax应用。Jeremy Keith还提醒...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值