Trait halo2_proofs::poly::commitment::Params

pub trait Params<'params, C: CurveAffine>: Sized + Clone {
    type MSM: MSM<C> + 'params;

    fn k(&self) -> u32;
    fn n(&self) -> u64;
    fn downsize(&mut self, k: u32);
    fn empty_msm(&'params self) -> Self::MSM;
    fn commit_lagrange(
        &self,
        poly: &Polynomial<C::ScalarExt, LagrangeCoeff>,
        r: Blind<C::ScalarExt>
    ) -> C::CurveExt;
    fn write<W: Write>(&self, writer: &mut W) -> Result<()>;
    fn read<R: Read>(reader: &mut R) -> Result<Self>;
}

Parameters for circuit sysnthesis and prover parameters.

Required Associated Types

type MSM: MSM<C> + 'params

Multi scalar multiplication engine

Required Methods

fn k(&self) -> u32

Logaritmic size of the circuit

fn n(&self) -> u64

Size of the circuit

fn downsize(&mut self, k: u32)

Downsize Params with smaller k.

fn empty_msm(&'params self) -> Self::MSM

Generates an empty multiscalar multiplication struct using the appropriate params.

fn commit_lagrange(
    &self,
    poly: &Polynomial<C::ScalarExt, LagrangeCoeff>,
    r: Blind<C::ScalarExt>
) -> C::CurveExt

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.

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.

Implementors

impl<'params, C: CurveAffine> Params<'params, C> for ParamsIPA<C>

type MSM = MSMIPA<'params, C>

impl<'params, E: Engine + Debug> Params<'params, <E as Engine>::G1Affine> for ParamsKZG<E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type MSM = MSMKZG<E>