Module 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