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 { ... }
}Expand description
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§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".