Trait CostEstimation

pub trait CostEstimation<T> {
    type Input;

    // Required method
    fn estimate_cost(input: &Self::Input) -> Cost;
}

For estimating cost of a verifier.

Required Associated Types

type Input

Input for CostEstimation::estimate_cost.

Required Methods

fn estimate_cost(input: &Self::Input) -> Cost

Estimate cost of verifier given the input.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<C, L, AS, AE> CostEstimation<(C, L)> for PlonkSuccinctVerifier<AS, AE>

where C: CurveAffine, L: Loader<C>, AS: AccumulationScheme<C, L> + PolynomialCommitmentScheme<C, L, Output = AS::Accumulator> + CostEstimation<C, Input = Vec<Query<Rotation>>>,

type Input = PlonkProtocol<C, L>

impl<C, L, AS, AE> CostEstimation<(C, L)> for PlonkVerifier<AS, AE>

where C: CurveAffine, L: Loader<C>, AS: AccumulationScheme<C, L> + PolynomialCommitmentScheme<C, L, Output = AS::Accumulator> + CostEstimation<C, Input = Vec<Query<Rotation>>>,

type Input = PlonkProtocol<C, L>

impl<M> CostEstimation<<M as Engine>::G1Affine> for KzgAs<M, Bdfg21>

where M: MultiMillerLoop,

type Input = Vec<Query<Rotation>>

impl<M> CostEstimation<<M as Engine>::G1Affine> for KzgAs<M, Gwc19>

where M: MultiMillerLoop,

type Input = Vec<Query<Rotation>>