re-export agg traits

Signed-off-by: noelwei <[email protected]>

Author: noel2004

common/types-rs/circuit/src/lib.rs

@@ -3,10 +3,10 @@ pub use io::read_witnesses;
 
 use alloy_primitives::B256;
 use itertools::Itertools;
-use types_agg::{AggregationInput, ProgramCommitment, ProofCarryingWitness, verify_proof};
-
-pub use types_base::{utils, public_inputs};
 use public_inputs::PublicInputs;
+use types_agg::verify_proof;
+pub use types_agg::{AggregationInput, ProgramCommitment, ProofCarryingWitness};
+pub use types_base::{public_inputs, utils};
 
 /// Reveal the public-input values as openvm public values.
 pub fn reveal_pi_hash(pi_hash: B256) {