Type Alias ParamsVerifierIPA

pub type ParamsVerifierIPA<C> = ParamsIPA<C>;

Verifier parameters

Aliased Type

struct ParamsVerifierIPA<C> { /* private fields */ }

Trait Implementations

impl<C: Clone + CurveAffine> Clone for ParamsIPA<C>

fn clone(&self) -> ParamsIPA<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug + CurveAffine> Debug for ParamsIPA<C>

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

Formats the value using the given formatter.

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

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

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.

type MSM = MSMIPA<'params, C>

Multi scalar multiplication engine

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) -> MSMIPA<'_, C>

Generates an empty multiscalar multiplication struct using the appropriate params.

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

fn new(k: u32) -> Self

Initializes parameters for the curve, given a random oracle to draw points from.

fn commit( &self, poly: &Polynomial<C::Scalar, Coeff>, r: Blind<C::Scalar>, ) -> C::Curve

This computes a commitment to a polynomial described by the provided slice of coefficients. The commitment will be blinded by the blinding factor r.

type ParamsVerifier = ParamsIPA<C>

Constant verifier parameters.

fn verifier_params(&'params self) -> &'params Self::ParamsVerifier

Returns verification parameters.

fn get_g(&self) -> &[C]

Getter for g generators

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