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