samaharam 0.1.0

Scalable heterogeneous zero-knowledge proof aggregation for EVM chains
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

//! # Samaharam (സമാഹാരം)
//!
//! Scalable heterogeneous zero-knowledge proof aggregation for EVM chains.
//!
//! ## Features
//!
//! - **Heterogeneous aggregation**: Aggregate proofs from different circuits
//! - **EVM-compatible**: BN254 curve with Solidity verifier generation
//! - **Type-safe**: TypeState pattern for compile-time proof lifecycle
//! - **Scalable**: Parallel processing and batched aggregation
//!
//! ## Quick Start
//!
//! ```rust,ignore
//! use samaharam::{Aggregator, Bn254};
//!
//! let aggregator = Aggregator::<Bn254>::builder()
//!     .with_srs(srs)
//!     .max_batch_size(32)
//!     .build()?;
//!
//! let vk_id = aggregator.register_circuit("transfer", vk);
//! let proof = Proof::new(data, public_inputs, vk_id);
//! let verified = proof.verify(&aggregator.registry())?;
//! aggregator.submit(verified)?;
//!
//! let aggregated = aggregator.aggregate()?;
//! ```

pub mod aggregator;
pub mod backend;
pub mod circuit;
pub mod config;
pub mod crypto;
pub mod error;
pub mod proof;
pub mod registry;
pub mod traits;

#[cfg(feature = "parallel")]
pub mod scalability;

#[cfg(feature = "solidity")]
pub mod solidity;

/// External proof adapters for aggregating proofs from other systems.
pub mod adapters;

pub mod client;

/// Testing utilities for generating real PLONK proofs.
#[cfg(any(test, feature = "testing"))]
pub mod testing;

// Re-exports for ergonomic API
pub use aggregator::Aggregator;
pub use backend::bn254::Bn254;
pub use config::AggregatorBuilder;
pub use crypto::TRANSCRIPT_VERSION;
pub use error::{ConfigError, Error};
pub use proof::{Aggregated, Batched, Pending, Proof, Verified};
pub use registry::{VkId, VkRegistry};
pub use traits::PairingEngine;

/// Type alias for the primary BN254-based aggregator
pub type Bn254Aggregator = Aggregator<Bn254>;