Digest.Checked
type t
val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t