samaharam 0.2.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

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