Function kimchi::circuits::polynomials::range_check::witness::extend_multi

source · 
pub fn extend_multi<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    v0: F,
    v1: F,
    v2: F
)
Expand description

Extend an existing witness with a multi-range-check gadget for three 88-bit values: v0, v1 and v2