Module merkle_damgard
r1cs
This module extends GadgetBuilder with an implementation of the Merkle-Damgard construction.