说说zk-snark的PGHR13算法和Groth16算法的异同

建议

建议读者在阅读本篇分享时,要具备以下知识储备:
1. 算数环路的基本概念及数学模型
2. QAP的原理
3. 零知识证明的基本思想
4. PGHR13算法的数学原理
5. Groth16算法的数学原理

目的

本篇分享主要针对零知识证明的两个主流算法,PGHR13和Groth16算法进行了相同点和异同点的分析。主要是个人的理解,如有错位,还请热心读者批评指正,先谢过^_^

对比分析

主要从以下几点做了比较:
1. 算法结构上
	(1)  CRS size
	(2)  Proof Size
	(3)  Proof Complex
	(4)  Verify Size
	(5)  Verify Complex
	(6)  Verify equality nums
2. 算法思想上
	(1)  QAP多项式的结构及意义
	(2)  如何隐藏witness,即隐私输入
	(3)  如何保证在隐私输入不被暴露的情况下,保证多项式因子的正确性及等式成立。
3. 具体的内容如下图所示:

在这里插入图片描述

总结

PGHR13和Groth16作为zk-snark的主流算法,其思想基本相同,可以简单概括为:
	Computational statement => Arithmetic circuits => R1CS => QAP => ?
对于QAP的多项式的后续验证处理,虽然两者在数学上形式有所不同,但是其思想基本一致。
  • 0
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值