Module davies_meyer
r1cs
This module extends GadgetBuilder with an implementation of the Davies-Meyer construction.