Function kimchi::circuits::polynomials::range_check::witness::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