Evaluation_hash (consensus.Consensus_vrf.Evaluation

val hash_for_proof : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Message.value ->
  Pasta_bindings.Pallas.t ->
  Pasta_bindings.Pallas.t ->
  Pasta_bindings.Pallas.t ->
  Snark_params.Tick.Inner_curve.Scalar.t

module Checked : sig ... end