Module V.Hash

val digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t