Make.6-Hash
val hash_for_proof : Message.value -> Group.t -> Group.t -> Group.t -> Scalar.t
module Checked : sig ... end