编辑“零知识证明（ZKP）”（章节）

== 零知识证明协议 ==
最流行的交互式或非交互式零知识证明（例如 zk-SNARK）协议可大致分为以下四类：简洁的非交互式知识论证（SNARK）、可扩展的透明知识论证（STARK）、可验证多项式委派（VPD）和简洁的非交互式论证（SNARG）。 下面提供了零知识证明协议和库的列表，以及基于透明度、通用性、可信赖的后量子安全性、编程范式的比较。 透明协议是不需要任何可信设置并使用公共随机性的协议。 通用协议是不需要为每个电路进行单独的可信设置的协议。 最后，可信的后量子协议是不容易受到涉及量子算法的已知攻击的协议。
{| class="wikitable" style="width: 100%;"
|+零知识证明（ZKP）系统
!系统名称
!发布年份
!协议
!透明性
!通用性
!可信的后量子安全
!编程模式
|-
|Pinocchio
|2013
|zk-SNARK
|否
|否
|否
|过程式的
|-
|Geppetto
|2015
|zk-SNARK
|否
|否
|否
|过程式的
|-
|TinyRAM
|2013
|zk-SNARK
|否
|否
|否
|过程式的
|-
|Buffet
|2015
|zk-SNARK
|否
|否
|否
|过程式的
|-
|ZoKrates
|2018
|zk-SNARK
|否
|否
|否
|过程式的
|-
|xJsnark
|2018
|zk-SNARK
|否
|否
|否
|过程式的
|-
|vRAM
|2018
|zk-SNARG
|否
|是
|否
|汇编语言
|-
|vnTinyRAM
|2014
|zk-SNARK
|否
|是
|否
|过程式的
|-
|MIRAGE
|2020
|zk-SNARK
|否
|是
|否
|算术电路
|-
|Sonic
|2019
|zk-SNARK
|否
|是
|否
|算术电路
|-
|Marlin
|2020
|zk-SNARK
|否
|是
|否
|算术电路
|-
|PLONK
|2019
|zk-SNARK
|否
|是
|否
|算术电路
|-
|SuperSonic
|2020
|zk-SNARK
|是
|是
|否
|算术电路
|-
|Bulletproofs
|2018
|Bulletproofs
|是
|是
|否
|算术电路
|-
|Hyrax
|2018
|zk-SNARK
|是
|是
|否
|算术电路
|-
|Halo
|2019
|zk-SNARK
|是
|是
|否
|算术电路
|-
|Virgo
|2020
|zk-SNARK
|是
|是
|是
|算术电路
|-
|Ligero
|2017
|zk-SNARK
|是
|是
|是
|算术电路
|-
|Aurora
|2019
|zk-SNARK
|是
|是
|是
|算术电路
|-
|zk-STARK
|2019
|zk-STARK
|是
|是
|是
|汇编语言
|-
|Zilch
|2021
|zk-STARK
|是
|是
|是
|面向对象的
|}