Module `Evaluation_hash.Checked`

val hash_for_proof : 
  Message.var ->
  (Random_oracle.Checked.Digest.t * Random_oracle.Checked.Digest.t) ->
  (Random_oracle.Checked.Digest.t * Random_oracle.Checked.Digest.t) ->
  (Random_oracle.Checked.Digest.t * Random_oracle.Checked.Digest.t) ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
      Bitstring_lib.Bitstring.Lsb_first.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t