[−][src]Crate r1cs
Modules
constraint | |
expression | |
field | |
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_permutation | This module extends GadgetBuilder with a method for verifying permutations. |
gadget_builder_random_access | This module extends GadgetBuilder with methods for randomly accessing lists. |
gadget_builder_sort | This module extends GadgetBuilder with a method for sorting lists of field elements. |
gadget_builder_split | This module extends GadgetBuilder with methods for splitting field elements into bits. |
wire | |
wire_values | |
witness_generator |
Macros
binary_unsigned_values | |
boolean_values | |
values |