snark_verifier::loader

Trait LoadedEcPoint

Source
pub trait LoadedEcPoint<C: CurveAffine>:
    Clone
    + Debug
    + PartialEq {
    type Loader: Loader<C, LoadedEcPoint = Self>;

    // Required method
    fn loader(&self) -> &Self::Loader;
}
Expand description

Loaded elliptic curve point.

Required Associated Types§

Source

type Loader: Loader<C, LoadedEcPoint = Self>

Required Methods§

Source

fn loader(&self) -> &Self::Loader

Returns Loader.

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.

Implementors§

Source§

impl<C> LoadedEcPoint<C> for snark_verifier::loader::evm::EcPoint
where C: CurveAffine, C::ScalarExt: PrimeField<Repr = [u8; 32]>,

Source§

impl<C: CurveAffine> LoadedEcPoint<C> for C

Source§

impl<C: CurveAffine, EccChip: EccInstructions<C>> LoadedEcPoint<C> for snark_verifier::loader::halo2::EcPoint<C, EccChip>

Source§

type Loader = Rc<Halo2Loader<C, EccChip>>