//! Cryptographic primitives for proof aggregation.
//!
//! This module contains the core cryptographic operations:
//! - KZG polynomial commitment scheme
//! - Pairing-based verification
//! - Accumulator for batched proofs
//! - Real PLONK prover

mod accumulator;
mod gates;
mod kzg;
mod prover;
mod transcript;
mod verifier;

pub use accumulator::{AccumulatedProof, AccumulatorInstance, ProofAccumulator};
pub use gates::{EvaluationDomain, GateEvaluator, GateSelectors};
pub use kzg::{KzgCommitment, KzgProof, KzgScheme, KzgSrs};
pub use prover::{PlonkProver, SimpleCircuit};
pub use transcript::{Transcript, TRANSCRIPT_VERSION};
pub use verifier::{PlonkProof, PlonkVerifier, ProofEvaluations, VerificationKey};
