Halo2 是一种零知识证明系统， Halo2 不需要可信设置。支持递归证明，允许将多个证明组合成一个简洁的证明，提高了证明的可扩展性和效率。
zk-STARK 是一种零知识证明技术，旨在提供高效、安全和可扩展的证明系统。：zk-STARK 不需要可信设置, 并且生成证明和验证过程非常高效，适合处理复杂和大量的数据。
Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。
zkEVM 利用零知识证明技术证明 EVM 的执行，zkEVM 的主要目标是提高以太坊网络的隐私性、可扩展性和安全性，同时保持兼容现有的以太坊智能合约。
Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法
R1CS是零知识证明技术中电路约束表示形式
Groth16，是由Jens Groth在2016年提出的算法, 是一个高效的非交互式零知识证明系统。
DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。