Crate r1cs

Modules

constraint
expression
field_element
gadget
gadget_builder
gadget_builder_arithmetic	This module extends GadgetBuilder with native field arithmetic methods.
gadget_builder_binary_arithmetic
gadget_builder_bitwise	This module extends GadgetBuilder with bitwise operations such as rotations, bitwise AND, and so forth.
gadget_builder_boolean	This module extends GadgetBuilder with boolean algebra methods.
gadget_builder_compare	This module extends GadgetBuilder with methods for comparing native field elements.
gadget_builder_split	This module extends GadgetBuilder with a method for splitting a field element into bits.
wire
wire_values
witness_generator

Macros

binary_unsigned_values
boolean_values
values