Trait halo2_proofs::poly::commitment::CommitmentScheme

pub trait CommitmentScheme {
    type Scalar: FieldExt + Group;
    type Curve: CurveAffine<ScalarExt = Self::Scalar>;
    type ParamsProver: for<'params> ParamsProver<'params, Self::Curve, ParamsVerifier = Self::ParamsVerifier>;
    type ParamsVerifier: for<'params> ParamsVerifier<'params, Self::Curve>;

    fn new_params(k: u32) -> Self::ParamsProver;
    fn read_params<R: Read>(reader: &mut R) -> Result<Self::ParamsProver>;
}

Defines components of a commitment scheme.

Required Associated Types

type Scalar: FieldExt + Group

Application field of this commitment scheme

type Curve: CurveAffine<ScalarExt = Self::Scalar>

Elliptic curve used to commit the application and witnesses

type ParamsProver: for<'params> ParamsProver<'params, Self::Curve, ParamsVerifier = Self::ParamsVerifier>

Constant prover parameters

type ParamsVerifier: for<'params> ParamsVerifier<'params, Self::Curve>

Constant verifier parameters

Required Methods

fn new_params(k: u32) -> Self::ParamsProver

Wrapper for parameter generator

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

Wrapper for parameter reader

Implementors

impl<C: CurveAffine> CommitmentScheme for IPACommitmentScheme<C>

type Scalar = <C as CurveAffine>::ScalarExt

type Curve = C

type ParamsProver = ParamsIPA<C>

type ParamsVerifier = ParamsIPA<C>

impl<E: Engine + Debug> CommitmentScheme for KZGCommitmentScheme<E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

type Scalar = <E as Engine>::Scalar

type Curve = <E as Engine>::G1Affine

type ParamsProver = ParamsKZG<E>

type ParamsVerifier = ParamsKZG<E>