[−][src]Crate r1cs
This is a rust library for building R1CS gadgets over prime fields, which are useful in SNARKs and other argument systems.
See the readme for more information and examples.
Modules
| constraint | |
| davies_meyer | This module extends GadgetBuilder with an implementation of the Davies-Meyer construction. |
| expression | |
| field | |
| gadget | |
| gadget_builder | |
| gadget_traits | |
| merkle_damgard | This module extends GadgetBuilder with an implementation of the Merkle-Damgard construction. |
| merkle_trees | |
| mimc | This module extends GadgetBuilder with an implementation of MiMC. |
| wire | |
| wire_values | |
| witness_generator |
Macros
| binary_unsigned_values | |
| boolean_values | |
| values |