Trait kimchi::circuits::witness::WitnessCell

pub trait WitnessCell<F: Field, T = F, const W: usize = COLUMNS> {
    // Required method
    fn value(
        &self,
        witness: &mut [Vec<F>; W],
        variables: &Variables<'_, T>,
        index: usize
    ) -> F;

    // Provided method
    fn length(&self) -> usize { ... }
}

Witness cell interface. By default, the witness cell is a single element of type F.

Required Methods

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

Provided Methods

fn length(&self) -> usize

Implementors

impl<'a, F: Field, const W: usize> WitnessCell<F, Vec<F, Global>, W> for IndexCell<'a>

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

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

impl<F: Field, const W: usize> WitnessCell<F, F, W> for ConstantCell<F>

impl<F: Field, const W: usize> WitnessCell<F, F, W> for CopyBitsCell

impl<F: Field, const W: usize> WitnessCell<F, F, W> for CopyCell

impl<F: Field, const W: usize> WitnessCell<F, F, W> for CopyShiftCell