Output.Checked
val truncate : Random_oracle.Checked.Digest.t -> Pickles.Impls.Step.Internal_Basic.Boolean.var Core_kernel.Array.t Snark_params.Tick.Run.Internal_Basic.Checked.t
val hash : Message.var -> (Random_oracle.Checked.Digest.t * Random_oracle.Checked.Digest.t) -> Random_oracle.Checked.Digest.t Snark_params.Tick.Run.Internal_Basic.Checked.t