Crate r1cs

Modules

bits	This module contains wrappers for Wires, Expressions which designate them as boolean, i.e., equal to 0 or 1. Similarly, it contains wrappers for Wire arrays and Expression arrays which designate them as binary, i.e., with each bit equal to 0 or 1.
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