samaharam 0.2.0

Scalable heterogeneous zero-knowledge proof aggregation for EVM chains
Documentation 
1
2
3
4
5
6
7
8
9
10

//! 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};