qp-plonky2 1.4.1

Recursive SNARKs based on PLONK and FRI
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Recursion logic for verifying recursively plonky2 circuits.
//!
//! This module also provides ways to perform conditional recursive verification
//! (between two different circuits, depending on a condition), and cyclic
//! recursion where a circuit implements its own verification logic.

pub mod conditional_recursive_verifier;
pub mod cyclic_recursion;
pub mod dummy_circuit;
pub mod recursive_verifier;