Trait kimchi::snarky::runner::WitnessGeneration

pub trait WitnessGeneration<F>where
    F: PrimeField,{
    // Required methods
    fn read_var(&self, var: &FieldVar<F>) -> F;
    fn constraints_counter(&self) -> usize;
}

A witness generation environment. This is passed to any closure in RunState::compute so that they can access the witness generation environment.

Required Methods

fn read_var(&self, var: &FieldVar<F>) -> F

Allows the caller to obtain the value behind a circuit variable.

fn constraints_counter(&self) -> usize

Trait Implementations

impl<F: PrimeField> WitnessGeneration<F> for &dyn WitnessGeneration<F>

fn read_var(&self, var: &FieldVar<F>) -> F

Allows the caller to obtain the value behind a circuit variable.

fn constraints_counter(&self) -> usize

Implementations on Foreign Types

impl<F: PrimeField, G: WitnessGeneration<F>> WitnessGeneration<F> for &G

fn read_var(&self, var: &FieldVar<F>) -> F

fn constraints_counter(&self) -> usize

Implementors

impl<F> WitnessGeneration<F> for RunState<F>where F: PrimeField,

impl<F: PrimeField> WitnessGeneration<F> for &dyn WitnessGeneration<F>