Hash_prefix_states (hash_prefix_states.Hash_prefix

val signature : Snark_params.Tick.Field.t Random_oracle.State.t

val signature_for_mainnet : Snark_params.Tick.Field.t Random_oracle.State.t

val signature_for_testnet : Snark_params.Tick.Field.t Random_oracle.State.t

val signature_legacy : Snark_params.Tick.Field.t Random_oracle.Legacy.State.t

val signature_for_mainnet_legacy : 
  Snark_params.Tick.Field.t Random_oracle.Legacy.State.t

val signature_for_testnet_legacy : 
  Snark_params.Tick.Field.t Random_oracle.Legacy.State.t

val merkle_tree : int -> Snark_params.Tick.Field.t Random_oracle.State.t

merkle_tree depth gives the hash prefix for the given node depth.

This function performs caching: all prefixes up to the given depth will be computed, and subsequent calls will retrieve them with negligible cost.

val coinbase_merkle_tree : 
  int ->
  Snark_params.Tick.Field.t Random_oracle.State.t

val vrf_message : Snark_params.Tick.Field.t Random_oracle.State.t

val vrf_output : Snark_params.Tick.Field.t Random_oracle.State.t

val vrf_evaluation : Snark_params.Tick.Field.t Random_oracle.State.t

val epoch_seed : Snark_params.Tick.Field.t Random_oracle.State.t

val protocol_state : Snark_params.Tick.Field.t Random_oracle.State.t

val protocol_state_body : Snark_params.Tick.Field.t Random_oracle.State.t

val transition_system_snark : Snark_params.Tick.Field.t Random_oracle.State.t

val account : Snark_params.Tick.Field.t Random_oracle.State.t

val side_loaded_vk : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_account : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_payload : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_body : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_precondition : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_precondition_account : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_precondition_protocol_state : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val account_update_account_precondition : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val account_update : Snark_params.Tick.Field.t Random_oracle.State.t

val account_update_cons : Snark_params.Tick.Field.t Random_oracle.State.t

val account_update_node : Snark_params.Tick.Field.t Random_oracle.State.t

val account_update_stack_frame : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val account_update_stack_frame_cons : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val receipt_chain_signed_command : 
  Snark_params.Tick.Field.t Random_oracle.Legacy.State.t

val receipt_chain_zkapp_command : 
  Snark_params.Tick.Field.t Random_oracle.State.t

val receipt_chain_zkapp : Snark_params.Tick.Field.t Random_oracle.State.t

val pending_coinbases : Snark_params.Tick.Field.t Random_oracle.State.t

val coinbase_stack_data : Snark_params.Tick.Field.t Random_oracle.State.t

val coinbase_stack_state_hash : Snark_params.Tick.Field.t Random_oracle.State.t

val coinbase_stack : Snark_params.Tick.Field.t Random_oracle.State.t

val coinbase : Snark_params.Tick.Field.t Random_oracle.State.t

val checkpoint_list : Snark_params.Tick.Field.t Random_oracle.State.t

val merge_snark : Snark_params.Tick.Field.t Random_oracle.State.t

val base_snark : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_uri : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_event : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_events : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_sequence_events : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_memo : Snark_params.Tick.Field.t Random_oracle.State.t

val zkapp_test : Snark_params.Tick.Field.t Random_oracle.State.t

val derive_token_id : Snark_params.Tick.Field.t Random_oracle.State.t