Module arithmetic

Implementations for binary field operations and binary integer operations.

Enums

• BrilligArithmeticError 🔒

Functions

• evaluate_binary_field_op 🔒
  Evaluate a binary operation on two FieldElement memory values.
• evaluate_binary_int_op 🔒
  Evaluate a binary operation on two unsigned big integers with a given bit size.
• evaluate_binary_int_op_arith 🔒
  Evaluates arithmetic or bitwise operations on unsigned integer types, using wrapping arithmetic for add, sub, and mul.
• evaluate_binary_int_op_cmp 🔒
  Evaluates comparison operations (Equals, LessThan, LessThanEquals) between two values of an ordered type (e.g., fields are unordered).
• evaluate_binary_int_op_shifts 🔒
  Evaluates shift operations (Shl, Shr) for unsigned integers. Ensures that shifting beyond the type width returns zero.
• evaluate_binary_int_op_u1 🔒
  Evaluates binary operations on 1-bit unsigned integers (booleans).