[−][src]Crate r1cs
Modules
bits | This module contains wrappers for |
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 |