1 2 3 4 5 6 7 8
//! Core traits for proof aggregation. //! //! This module defines the algebraic abstractions needed for //! pairing-based proof systems. mod engine; pub use engine::PairingEngine;