sp1-recursion-circuit 6.1.0

Recursion circuit for SP1 proof aggregation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

mod complete;
mod compress;
mod core;
mod deferred;
mod public_values;
mod root;
mod vkey_proof;
mod witness;
mod wrap;

pub(crate) use complete::*;
pub use compress::*;
pub use core::*;
pub use deferred::*;
pub use public_values::*;
pub use root::*;
use sp1_primitives::{SP1ExtensionField, SP1Field};
pub use vkey_proof::*;
pub use wrap::*;

#[allow(unused_imports)]
pub use witness::*;

pub type InnerVal = SP1Field;
pub type InnerChallenge = SP1ExtensionField;