Function kimchi::circuits::polynomials::foreign_field_mul::circuitgates::compose_carry
source · pub fn compose_carry<F: PrimeField, T: ExprOps<F, BerkeleyChallengeTerm>>(
carry: &[T; 11]
) -> T
Expand description
Composes the 91-bit carry1 value from its parts