Function kimchi_msm::serialization::interpreter::combine_carry
source · pub fn combine_carry<F: PrimeField, CIx: ColumnIndexer, Env: ColAccessCap<F, CIx>>(
x: [Env::Variable; 36]
) -> [Env::Variable; 6]
Expand description
Helper function for limb recombination for carry specifically. Each big carry limb is stored as 6 (not 5!) small elements. We accept 36 small limbs, and return 6 large ones.