Struct halo2_backend::poly::kzg::commitment::ParamsVerifierKZG

pub struct ParamsVerifierKZG<E: Engine> { /* private fields */ }

Parameters KZG-based proof verification:

Implementations

impl<E: Engine> ParamsVerifierKZG<E>

where E::G1Affine: CurveAffine, E::G1: CurveExt<AffineExt = E::G1Affine>,

pub fn write_custom<W: Write>( &self, writer: &mut W, format: SerdeFormat ) -> Result<()>

where E::G1Affine: SerdeCurveAffine, E::G2Affine: SerdeCurveAffine,

pub fn read_custom<R: Read>(reader: &mut R, format: SerdeFormat) -> Result<Self>

where E::G1Affine: SerdeCurveAffine, E::G2Affine: SerdeCurveAffine,

Trait Implementations

impl<E: Clone + Engine> Clone for ParamsVerifierKZG<E>

where E::G2Affine: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Engine> Debug for ParamsVerifierKZG<E>

where E::G2Affine: Debug,

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

Formats the value using the given formatter.

impl<E: Engine> Params<<E as Engine>::G1Affine> for ParamsVerifierKZG<E>

where E::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E::G1: CurveExt<AffineExt = E::G1Affine>, E::G2Affine: SerdeCurveAffine,

fn write<W: Write>(&self, writer: &mut W) -> Result<()>

Writes params to a buffer.

fn read<R: Read>(reader: &mut R) -> Result<Self>

Reads params from a buffer.

fn k(&self) -> u32

Logarithmic size of the circuit

fn n(&self) -> u64

Size of the circuit

fn downsize(&mut self, k: u32)

Downsize Params with smaller k.

fn commit_lagrange( &self, _engine: &impl MsmAccel<E::G1Affine>, _poly: &Polynomial<E::Fr, LagrangeCoeff>, _: Blind<E::Fr> ) -> E::G1

This commits to a polynomial using its evaluations over the $2^k$ size evaluation domain. The commitment will be blinded by the blinding factor r.

impl<'params, E: Engine> ParamsVerifier<'params, <E as Engine>::G1Affine> for ParamsVerifierKZG<E>

where E::G1Affine: SerdeCurveAffine<ScalarExt = <E as Engine>::Fr, CurveExt = <E as Engine>::G1>, E::G1: CurveExt<AffineExt = E::G1Affine>, E::G2Affine: SerdeCurveAffine,

type MSM = MSMKZG<E>

Multiscalar multiplication engine

const COMMIT_INSTANCE: bool = false

Can commit to instance or not.

fn empty_msm(&'params self) -> MSMKZG<E>

Generates an empty multiscalar multiplication struct using the appropriate params.