Struct halo2_proofs::poly::kzg::msm::DualMSM

pub struct DualMSM<E>
where
    E: Engine,
    <E as Engine>::G1Affine: CurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>,
    <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>,
{ /* private fields */ }

Two channel MSM accumulator

Implementations

impl<E> DualMSM<E>

where E: MultiMillerLoop, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>, <E as Engine>::G1Affine: CurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>,

pub fn new() -> DualMSM<E>

Create a new two channel MSM accumulator instance

pub fn scale(&mut self, e: <E as Engine>::Fr)

Scale all scalars in the MSM by some scaling factor

pub fn add_msm(&mut self, other: DualMSM<E>)

Add another multiexp into this one

pub fn check( self, engine: &impl MsmAccel<<E as Engine>::G1Affine>, params: &ParamsVerifierKZG<E> ) -> bool

Performs final pairing check with given verifier params and two channel linear combination

Trait Implementations

impl<E> Clone for DualMSM<E>

where <E as Engine>::G1Affine: CurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E: Clone + Engine, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>,

fn clone(&self) -> DualMSM<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E> Debug for DualMSM<E>

where <E as Engine>::G1Affine: CurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E: Debug + Engine, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<E> Default for DualMSM<E>

where <E as Engine>::G1Affine: CurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E: Default + Engine, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>,

fn default() -> DualMSM<E>

Returns the “default value” for a type.