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