Message.Checked
val to_input : var -> Random_oracle.Checked.Digest.t Random_oracle.Input.Chunked.t
val hash_to_group : var -> (Snark_params.Tick.Run.field Snarky_backendless.Cvar.t * Snark_params.Tick.Run.field Snarky_backendless.Cvar.t) Snark_params.Tick.Run.Internal_Basic.Checked.t