//! Aggregation circuit for heterogeneous proof verification.
//!
//! This module contains the circuit logic that verifies multiple proofs
//! with variable public inputs and different verification keys.

mod accumulator;
mod processor; // Renamed from 'circuit' to avoid module_inception clippy warning

pub use accumulator::Accumulator;
pub use processor::{AggregationCircuit, AggregationConfig, PreparedProof, ProofBatch};
