[−][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_davies_meyer | This module extends GadgetBuilder with an implementation of the Davies-Meyer construction. |
| gadget_builder_merkle_damgard | This module extends GadgetBuilder with an implementation of the Merkle-Damgard construction. |
| gadget_builder_mimc | This module extends GadgetBuilder with an implementation of MiMC. |
| 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 |