diff --git a/codex-plonky2-circuits/src/recursion/compress.rs b/codex-plonky2-circuits/src/recursion/compress.rs index 9ab3374..471e0e6 100644 --- a/codex-plonky2-circuits/src/recursion/compress.rs +++ b/codex-plonky2-circuits/src/recursion/compress.rs @@ -1,8 +1,7 @@ -use std::marker::PhantomData; -use plonky2::hash::hash_types::{HashOutTarget, RichField}; +use plonky2::hash::hash_types::RichField; use plonky2::iop::witness::{PartialWitness, WitnessWrite}; use plonky2::plonk::circuit_builder::CircuitBuilder; -use plonky2::plonk::circuit_data::{CommonCircuitData, VerifierCircuitData, VerifierOnlyCircuitData}; +use plonky2::plonk::circuit_data::VerifierCircuitData; use plonky2::plonk::config::{AlgebraicHasher, GenericConfig}; use plonky2::plonk::proof::{ProofWithPublicInputs, ProofWithPublicInputsTarget}; use plonky2_field::extension::Extendable; @@ -10,7 +9,6 @@ use plonky2_poseidon2::poseidon2_hash::poseidon2::Poseidon2; use crate::{error::CircuitError,Result}; use crate::circuit_helper::Plonky2Circuit; -//TODO: include the flag_buckets in the public input /// recursion compression circuit /// verifies 1 inner proof and as result should shrink it #[derive(Clone, Debug)]