kimchi::circuits::polynomials::foreign_field_mul

Module circuitgates

Source
Expand description

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