Function kimchi::circuits::polynomials::range_check::witness::extend
source · pub fn extend<F: PrimeField>(witness: &mut [Vec<F>; 15], fe: F)Expand description
Extend an existing witness with a single range check witness for foreign field element