Struct kimchi::circuits::witness::VariableBitsCell

pub struct VariableBitsCell<'a> { /* private fields */ }

Witness cell assigned from bits of a variable See Variables for more details

Implementations

impl<'a> VariableBitsCell<'a>

pub fn create( name: &'a str, start: usize, end: Option<usize> ) -> Box<VariableBitsCell<'a>>

Create witness cell assigned from the bits [start, end) of named variable. If end is None, then the final bit corresponds to the position of the highest bit of the variable.

Trait Implementations

impl<'a, F: Field, const W: usize> WitnessCell<F, F, W> for VariableBitsCell<'a>

fn value( &self, _witness: &mut [Vec<F>; W], variables: &Variables<'_, F>, _index: usize ) -> F

fn length(&self) -> usize