Module gadget_builder_arithmetic
r1cs
This module extends GadgetBuilder with native field arithmetic methods.