acvm::pwg

Module arithmetic

Source

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.