Module `6-Hash.Checked`

val hash_for_proof : 
  Message.var ->
  Group.var ->
  Group.var ->
  Group.var ->
  Scalar.var Impl.Checked.t