usedusk_bls12_381::Scalar;/// Constants used in the permutation argument to ensure that the wire subsets are disjoint.
pub(crate)constK1: Scalar =Scalar::from_raw([7,0,0,0]);pub(crate)constK2: Scalar =Scalar::from_raw([13,0,0,0]);pub(crate)constK3: Scalar =Scalar::from_raw([17,0,0,0]);