Module arithmetic

Structs

• ExpressionSolver 🔒
  An Expression solver will take a Circuit’s assert-zero opcodes with witness assignments and create the other witness variables

Enums

• MulTerm 🔒
• OpcodeStatus 🔒

Functions

• quick_invert 🔒
  A wrapper around field division which skips the inversion if the denominator is ±1.