Module kimchi::circuits::polynomials::foreign_field_mul::circuitgates

Foreign field multiplication

Structs

• ForeignFieldMul
  This gate operates on the Curr and Next rowsIt uses copy, plookup, crumb and custom constraints

Functions

• compose_carry
  Composes the 91-bit carry1 value from its parts
• compute_intermediate_products
  Compute non-zero intermediate products
• compute_native_modulus_values