extend_multi_from_fe

kimchi::circuits::polynomials::range_check::witness

Function extend_multi_from_fe 

Source 
pub fn extend_multi_from_fe<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    fe: &ForeignElement<F, LIMB_BITS, 3>,
)
Expand description

Extend an existing witness with a multi-range-check gadget for ForeignElement