Function kimchi::circuits::polynomials::range_check::witness::extend_single
source · pub fn extend_single<F: PrimeField>(witness: &mut [Vec<F>; 15], elem: F)Expand description
Extend an existing witness with a single-range-check gate for 88bits