Function kimchi::circuits::polynomials::range_check::witness::create_multi_compact
source · pub fn create_multi_compact<F: PrimeField>(v01: F, v2: F) -> [Vec<F>; 15]
Expand description
Create a multi range check witness from two limbs: v01 (176 bits), v2 (88 bits), where v2 is the most significant limb and v01 is the least significant limb