lib.rs

#![feature(lazy_cell)]
/// proof aggregation
mod aggregation;
/// This module implements `Batch` related data types.
/// A batch is a list of chunk.
mod batch;
/// blob struct and constants
mod blob;
// This module implements `Chunk` related data types.
// A chunk is a list of blocks.
mod chunk;
/// Configurations
mod constants;
/// Core module for circuit assignment
mod core;
/// Parameters for compression circuit
mod param;
/// utilities
mod util;

#[cfg(test)]
mod tests;

pub use self::core::extract_proof_and_instances_with_pairing_check;
pub use aggregation::*;
pub use batch::{BatchHash, BatchHeader};
pub use blob::BatchData;
pub use chunk::ChunkInfo;
pub use constants::MAX_AGG_SNARKS;
pub(crate) use constants::*;
pub use param::*;

mod mock_chunk;
pub use mock_chunk::MockChunkCircuit;