[−][src]Crate r1cs

Modules

binary_arithmetic
bitwise_operations	This module extends GadgetBuilder with bitwise operations such as rotations, bitwise AND, and so forth.
boolean_algebra	This module extends GadgetBuilder with boolean algebra methods.
comparisons	This module extends GadgetBuilder with methods for comparing native field elements.
constraint
davies_meyer	This module extends GadgetBuilder with an implementation of the Davies-Meyer construction.
expression
field
field_arithmetic	This module extends GadgetBuilder with native field arithmetic methods.
gadget
gadget_builder
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.
permutations	This module extends GadgetBuilder with a method for verifying permutations.
random_access	This module extends GadgetBuilder with methods for randomly accessing lists.
sorting	This module extends GadgetBuilder with a method for sorting lists of field elements.
splitting	This module extends GadgetBuilder with methods for splitting field elements into bits.
wire
wire_values
witness_generator