diff --git a/codex-plonky2-circuits/src/recursion/cyclic_recursion.rs b/codex-plonky2-circuits/src/recursion/cyclic_recursion.rs index 38b3bb5..a19236f 100644 --- a/codex-plonky2-circuits/src/recursion/cyclic_recursion.rs +++ b/codex-plonky2-circuits/src/recursion/cyclic_recursion.rs @@ -1,3 +1,7 @@ +// Cyclic approach to recursion where at each cycle you verify previous proof +// and run the inner circuit -> resulting in one proof that again can be fed +// into another cyclic circle. + use hashbrown::HashMap; use plonky2::hash::hash_types::{HashOut, HashOutTarget, RichField}; use plonky2::iop::target::{BoolTarget, Target};