snark_verifier::loader

Trait Loader

Source 
pub trait Loader<C: CurveAffine>:
    EcPointLoader<C>
    + ScalarLoader<C::ScalarExt>
    + Clone
    + Debug {
    // Provided methods
    fn start_cost_metering(&self, _identifier: &str) { ... }
    fn end_cost_metering(&self) { ... }
}
Expand description

EcPointLoader and ScalarLoader with some helper methods.

Provided Methods§

Source

fn start_cost_metering(&self, _identifier: &str)

Start cost metering with an identifier.

Source

fn end_cost_metering(&self)

End latest started cost metering.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

Source§

impl<C> Loader<C> for Rc<EvmLoader>
where C: CurveAffine, C::Scalar: PrimeField<Repr = [u8; 32]>,

Source§

impl<C: CurveAffine, EccChip: EccInstructions<C>> Loader<C> for Rc<Halo2Loader<C, EccChip>>

Implementors§