Struct BenchmarkCtx 

pub struct BenchmarkCtx {
    pub num_gates: usize,
    group_map: BWParameters<VestaParameters>,
    index: ProverIndex<FULL_ROUNDS, Vesta, <OpeningProof<Vesta, FULL_ROUNDS> as OpenProof<Vesta, FULL_ROUNDS>>::SRS>,
}

Fields

num_gates: usize

group_map: BWParameters<VestaParameters>

index: ProverIndex<FULL_ROUNDS, Vesta, <OpeningProof<Vesta, FULL_ROUNDS> as OpenProof<Vesta, FULL_ROUNDS>>::SRS>

Implementations

impl BenchmarkCtx

pub fn srs_size(&self) -> usize

pub fn new(srs_size_log2: u32) -> Self

This will create a context that allows for benchmarks of num_gates gates (multiplication gates).

pub fn create_proof( &self, ) -> (ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>)

Produces a proof

pub fn batch_verification( &self, batch: &[(ProverProof<Vesta, OpeningProof<Vesta, FULL_ROUNDS>, FULL_ROUNDS>, Vec<Fp>)], )