Module verify

Routines for checking whether the constraint system is satisfied with the given value vector.

Functions

eval_operand

Evaluates an operand (XOR of shifted values)

verify_and_constraint

Verifies that an AND constraint is satisfied: (A & B) ^ C = 0

verify_constraints

Verifies all constraints in a constraint system are satisfied by the witness

verify_mul_constraint

Verifies that a MUL constraint is satisfied: A * B = (HI << 64) | LO