pub fn extend_multi_from_fe<F: PrimeField>( witness: &mut [Vec<F>; 15], fe: &ForeignElement<F, LIMB_BITS, 3>, )
Extend an existing witness with a multi-range-check gadget for ForeignElement