Struct snark_wrapper::implementations::verifier_builder::CsWrapperVerifierBuilder

pub struct CsWrapperVerifierBuilder<'a, E: Engine, CS: ConstraintSystem<E> + 'static> {
    pub parameters: CSGeometry,
    pub lookup_parameters: LookupParameters,
    /* private fields */
}

Fields

parameters: CSGeometry

lookup_parameters: LookupParameters

Implementations

impl<'a, E: Engine, CS: ConstraintSystem<E> + 'static> CsWrapperVerifierBuilder<'a, E, CS>

pub fn new_from_parameters(cs: &'a mut CS, parameters: CSGeometry) -> Self

Trait Implementations

impl<'a, E: Engine, CS: ConstraintSystem<E> + 'static> CsBuilderImpl<GoldilocksField, CsWrapperVerifierBuilder<'a, E, CS>> for CsWrapperVerifierBuilder<'a, E, CS>

type Final<GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder> = WrapperVerifier<E, CS>

type BuildParams<'b> = ()

fn parameters<GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder>( builder: &CsBuilder<Self, GL, GC, TB>, ) -> CSGeometry

fn allow_gate<GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder, G: Gate<GL>, TAux: 'static + Send + Sync + Clone>( builder: CsBuilder<Self, GL, GC, TB>, placement_strategy: GatePlacementStrategy, params: <<G as Gate<GL>>::Evaluator as GateConstraintEvaluator<GL>>::UniqueParameterizationParams, aux_data: TAux, ) -> CsBuilder<Self, GL, (GateTypeEntry<GL, G, TAux>, GC), TB>

fn add_tool<GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder, M: 'static + Send + Sync + Clone, T: 'static + Send + Sync>( builder: CsBuilder<Self, GL, GC, TB>, tool: T, ) -> CsBuilder<Self, GL, GC, (Tool<M, T>, TB)>

type GcWithLookup<GC: GateConfigurationHolder<GL>> = (GateTypeEntry<GoldilocksField, LookupFormalGate, (Vec<Option<(usize, usize)>>, usize)>, GC)

fn allow_lookup<GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder>( builder: CsBuilder<Self, GL, GC, TB>, lookup_parameters: LookupParameters, ) -> CsBuilder<Self, GL, Self::GcWithLookup<GC>, TB>

fn build<'b, GC: GateConfigurationHolder<GL>, TB: StaticToolboxHolder, ARG: Into<Self::BuildParams<'b>>>( builder: CsBuilder<Self, GL, GC, TB>, _params: ARG, ) -> Self::Final<GC, TB>