Checked (random_oracle.Random

module Digest : sig ... end

val state_size : int

val rate : int

val initial_state : Pickles.Impls.Step.Internal_Basic.Field.Var.t State.t

val update : 
  state:Pickles.Impls.Step.Internal_Basic.Field.Var.t State.t ->
  Pickles.Impls.Step.Internal_Basic.Field.Var.t array ->
  Pickles.Impls.Step.Internal_Basic.Field.Var.t State.t

val digest : Pickles.Impls.Step.Internal_Basic.Field.Var.t State.t -> Digest.t

val hash : 
  ?init:Pickles.Impls.Step.Internal_Basic.Field.t State.t ->
  Pickles.Impls.Step.Internal_Basic.Field.Var.t array ->
  Digest.t

val pack_input : 
  Pickles.Impls.Step.Internal_Basic.Field.Var.t Random_oracle_input.Chunked.t ->
  Pickles.Impls.Step.Internal_Basic.Field.Var.t array