Skip to main content

sp1_recursion_circuit/machine/
mod.rs

1mod complete;
2mod compress;
3mod core;
4mod deferred;
5mod public_values;
6mod root;
7mod vkey_proof;
8mod witness;
9mod wrap;
10
11pub(crate) use complete::*;
12pub use compress::*;
13pub use core::*;
14pub use deferred::*;
15pub use public_values::*;
16pub use root::*;
17use sp1_primitives::{SP1ExtensionField, SP1Field};
18pub use vkey_proof::*;
19pub use wrap::*;
20
21#[allow(unused_imports)]
22pub use witness::*;
23
24pub type InnerVal = SP1Field;
25pub type InnerChallenge = SP1ExtensionField;