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

//! Solidity verifier generator for EVM chains.
//!
//! This module generates Solidity smart contracts that can verify
//! aggregated proofs on Ethereum and EVM-compatible chains.

mod complete_verifier;
mod generator;
mod groth16;
mod serialization;
mod template;

pub use complete_verifier::COMPLETE_VERIFIER_TEMPLATE;
pub use generator::{SolidityConfig, SolidityGenerator, SolidityVk};
pub use groth16::{convert_to_groth16, Groth16Proof, SolidityCalldata};
pub use serialization::{
    decode_public_inputs, encode_public_inputs, generate_vk_constants, serialize_g1,
    serialize_scalar, EncodedProof, SerializedVk,
};