kimchi_msm::circuit_design::capabilities

Trait DirectWitnessCap

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

Expand description

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

Required Methods§

Source

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

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

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§

Source §

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