Struct halo2_proofs::poly::kzg::strategy::SingleStrategy

pub struct SingleStrategy<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 */ }

A verifier that checks a single proof

Implementations

impl<'params, E> SingleStrategy<E>

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

pub fn new(params: &'params ParamsVerifierKZG<E>) -> SingleStrategy<E>

Constructs an empty batch verifier

Trait Implementations

impl<E> Clone for SingleStrategy<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) -> SingleStrategy<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E> Debug for SingleStrategy<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<'params, E, V> VerificationStrategy<'params, KZGCommitmentScheme<E>, V> for SingleStrategy<E>

where <E as Engine>::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E: MultiMillerLoop + Debug, <E as Engine>::G1: CurveExt<AffineExt = <E as Engine>::G1Affine>, V: Verifier<'params, KZGCommitmentScheme<E>, MSMAccumulator = DualMSM<E>, Guard = GuardKZG<E>>, <E as Engine>::G2Affine: SerdeCurveAffine,

fn new(params: &'params ParamsVerifierKZG<E>) -> SingleStrategy<E>

Creates new verification strategy instance

fn process( self, f: impl FnOnce(<V as Verifier<'params, KZGCommitmentScheme<E>>>::MSMAccumulator) -> Result<<V as Verifier<'params, KZGCommitmentScheme<E>>>::Guard, Error> ) -> Result<SingleStrategy<E>, Error>

Obtains an MSM from the verifier strategy and yields back the strategy

fn finalize(self) -> bool

Finalizes the batch and checks its validity.