Trait halo2_proofs::poly::commitment::MSM

source · [−]

pub trait MSM<C: CurveAffine>: Clone + Debug + Send + Sync {
    fn append_term(&mut self, scalar: C::Scalar, point: C::CurveExt);
    fn add_msm(&mut self, other: &Self)
    where
        Self: Sized;
    fn scale(&mut self, factor: C::Scalar);
    fn check(&self) -> bool;
    fn eval(&self) -> C::CurveExt;
    fn bases(&self) -> Vec<C::CurveExt>;
    fn scalars(&self) -> Vec<C::Scalar>;
}

Expand description

Multi scalar multiplication engine

Required Methods

fn append_term(&mut self, scalar: C::Scalar, point: C::CurveExt)

Add arbitrary term (the scalar and the point)

fn add_msm(&mut self, other: &Self)where
Self: Sized,

Add another multiexp into this one

fn scale(&mut self, factor: C::Scalar)

Scale all scalars in the MSM by some scaling factor

fn check(&self) -> bool

Perform multiexp and check that it results in zero

fn eval(&self) -> C::CurveExt

Perform multiexp and return the result

fn bases(&self) -> Vec<C::CurveExt>

Return base points

fn scalars(&self) -> Vec<C::Scalar>

Scalars

Implementors

impl<'a, C: CurveAffine> MSM<C> for MSMIPA<'a, C>

impl<E: Engine + Debug> MSM<<E as Engine>::G1Affine> for MSMKZG<E>