Trait kimchi_msm::circuit_design::capabilities::DirectWitnessCap

pub trait DirectWitnessCap<F: PrimeField, CIx: ColumnIndexer>where
    Self: MultiRowReadCap<F, CIx>,{
    // Required method
    fn variable_to_field(value: Self::Variable) -> F;
}

A direct field access capability modelling an abstract witness builder. Not for constraint building.

Required Methods

fn variable_to_field(value: Self::Variable) -> F

Convert an abstract variable to a field element! Inverse of Env::constant().

Implementors

impl<'a, F: PrimeField, CIx: ColumnIndexer, Env1: DirectWitnessCap<F, CIx>, L> DirectWitnessCap<F, CIx> for SubEnvLookup<'a, F, CIx, Env1, L>

impl<F: PrimeField, CIx: ColumnIndexer, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> DirectWitnessCap<F, CIx> for WitnessBuilderEnv<F, CIx, N_WIT, N_REL, N_DSEL, N_FSEL, LT>