Random_oracle (random_oracle.Random

module Input = Random_oracle_input

module State : sig ... end

module Digest : sig ... end

val state_size : int

val rate : int

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

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

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

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

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

val salt : string -> Pickles.Impls.Step.Internal_Basic.Field.t State.t

module Checked : sig ... end

val read_typ : 
  Pickles.Impls.Step.Internal_Basic.Field.Var.t Input.Chunked.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t Input.Chunked.t

Read a value stored within a circuit. Must only be used in an As_prover block.

val read_typ' : 
  Pickles.Impls.Step.Internal_Basic.Field.Var.t Input.Chunked.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t Input.Chunked.t
    Pickles.Impls.Step.Internal_Basic.As_prover.t

Read a value stored within a circuit.

module Legacy : sig ... end