Module witness 

This module computes the witness of a foreign field addition circuit.

Enums

FFOps

All foreign field operations allowed

Functions

compute_ffadd_values 🔒

create_chain

Creates a FFAdd witness (including ForeignFieldAdd rows, and one final ForeignFieldAdd row for bound) inputs: list of all inputs to the chain of additions/subtractions opcode: true for addition, false for subtraction modulus: modulus of the foreign field

extend_witness_bound_addition

Create witness for bound computation addition gate

init_bound_rows 🔒

init_ffadd_row 🔒