Expand description
Utilities for testing M3 constraint systems and gadgets.
Structs§
- Closure
Filler - An easy-to-use implementation of
TableFiller
that is constructed with a closure.
Functions§
- validate_
system_ witness - Utility for M3 tests to validate a constraint system and witness.
- validate_
system_ witness_ with_ prove_ verify