Type Alias RingProver

pub type RingProver = RingProver<<<BandersnatchSha512Ell2 as Suite>::Affine as AffineRepr>::BaseField, KZG<<BandersnatchSha512Ell2 as RingSuite>::Pairing>, <<BandersnatchSha512Ell2 as Suite>::Affine as AffineRepr>::Config>;

Aliased Type

struct RingProver { /* private fields */ }

Implementations

impl<F, CS, Curve, T> RingProver<F, CS, Curve, T>

where F: PrimeField, CS: PCS<F>, Curve: TECurveConfig<BaseField = F>, T: PlonkTranscript<F, CS>,

pub fn init( prover_key: ProverKey<F, CS, Affine<Curve>>, piop_params: PiopParams<F, Curve>, k: usize, empty_transcript: T, ) -> RingProver<F, CS, Curve, T>

pub fn prove( &self, t: <Curve as CurveConfig>::ScalarField, ) -> Proof<F, CS, RingCommitments<F, <CS as PCS<F>>::C>, RingEvaluations<F>>

pub fn piop_params(&self) -> &PiopParams<F, Curve>