qp-plonky2 1.4.1

Recursive SNARKs based on PLONK and FRI
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! plonky2 proving system.
//!
//! This module also defines the [CircuitBuilder](circuit_builder::CircuitBuilder)
//! structure, used to build custom plonky2 circuits satisfying arbitrary statements.

pub mod circuit_builder;
pub mod circuit_data;
pub mod config;
pub(crate) mod copy_constraint;
mod get_challenges;
pub(crate) mod permutation_argument;
pub mod plonk_common;
pub mod proof;
pub mod prover;
mod validate_shape;
pub(crate) mod vanishing_poly;
pub mod vars;
pub mod verifier;
pub mod zk;