Trait halo2_proofs::poly::commitment::Prover

pub trait Prover<'params, Scheme: CommitmentScheme> {
    const QUERY_INSTANCE: bool;

    fn new(params: &'params Scheme::ParamsProver) -> Self;
    fn create_proof<'com, E: EncodedChallenge<Scheme::Curve>, T: TranscriptWrite<Scheme::Curve, E>, R, I>(
        &self,
        rng: R,
        transcript: &mut T,
        queries: I
    ) -> Result<()>
    where
        I: IntoIterator<Item = ProverQuery<'com, Scheme::Curve>> + Clone,
        R: RngCore;
}

Common multi-open prover interface for various commitment schemes

Required Associated Constants

const QUERY_INSTANCE: bool

Query instance or not

Required Methods

fn new(params: &'params Scheme::ParamsProver) -> Self

Creates new prover instance

fn create_proof<'com, E: EncodedChallenge<Scheme::Curve>, T: TranscriptWrite<Scheme::Curve, E>, R, I>(
    &self,
    rng: R,
    transcript: &mut T,
    queries: I
) -> Result<()>where
    I: IntoIterator<Item = ProverQuery<'com, Scheme::Curve>> + Clone,
    R: RngCore,

Create a multi-opening proof

Implementors

impl<'params, C: CurveAffine> Prover<'params, IPACommitmentScheme<C>> for ProverIPA<'params, C>

const QUERY_INSTANCE: bool = true

impl<'params, E: Engine + Debug> Prover<'params, KZGCommitmentScheme<E>> for ProverGWC<'params, E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,

Create a multi-opening proof

const QUERY_INSTANCE: bool = false

impl<'params, E: Engine + Debug> Prover<'params, KZGCommitmentScheme<E>> for ProverSHPLONK<'params, E>where
    E::G1Affine: SerdeCurveAffine,
    E::G2Affine: SerdeCurveAffine,
    E::Scalar: Hash,

Create a multi-opening proof

const QUERY_INSTANCE: bool = false