Module kimchi::circuits::polynomials::foreign_field_mul::witness

Foreign field multiplication witness computation

Structs

• ExternalChecks
  Track external check witness data

Functions

• compute_bound
  Perform integer bound addition for all limbs x’ = x + f’
• compute_high_bound
  Perform integer bound computation for high limb x’2 = x2 + 2^l - f2 - 1
• create
  Create a foreign field multiplication witness Input: multiplicands left_input and right_input