Module gadget_builder_split
r1cs
This module extends GadgetBuilder with a method for splitting a field element into bits.