Consensus_state (consensus.Consensus.Intf.S.Data.Consensus

module Value : sig ... end

type display

val display_to_yojson : display -> Yojson.Safe.t

val display_of_yojson : 
  Yojson.Safe.t ->
  display Ppx_deriving_yojson_runtime.error_or

type var

val typ : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ( var, Value.t ) Snark_params.Tick.Typ.t

val negative_one : 
  genesis_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  genesis_epoch_data:Genesis_epoch_data.t ->
  constants:Constants.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Value.t

val create_genesis_from_transition : 
  negative_one_protocol_state_hash:Mina_base.State_hash.t ->
  consensus_transition:Consensus_transition.Value.t ->
  genesis_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  genesis_epoch_data:Genesis_epoch_data.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  constants:Constants.t ->
  Value.t

val create_genesis : 
  negative_one_protocol_state_hash:Mina_base.State_hash.t ->
  genesis_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  genesis_epoch_data:Genesis_epoch_data.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  constants:Constants.t ->
  Value.t

val var_to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val to_input : 
  Value.t ->
  Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val display : Value.t -> display

val consensus_time : Value.t -> Consensus_time.t

val blockchain_length : Value.t -> Mina_numbers.Length.t

val min_window_density : Value.t -> Mina_numbers.Length.t

val block_stake_winner : Value.t -> Signature_lib.Public_key.Compressed.t

val block_creator : Value.t -> Signature_lib.Public_key.Compressed.t

val coinbase_receiver : Value.t -> Signature_lib.Public_key.Compressed.t

val coinbase_receiver_var : var -> Signature_lib.Public_key.Compressed.var

val curr_global_slot_var : var -> Mina_numbers.Global_slot.Checked.t

val blockchain_length_var : var -> Mina_numbers.Length.Checked.t

val min_window_density_var : var -> Mina_numbers.Length.Checked.t

val total_currency_var : var -> Currency.Amount.Checked.t

val staking_epoch_data_var : var -> Mina_base.Epoch_data.var

val staking_epoch_data : Value.t -> Mina_base.Epoch_data.Value.t

val next_epoch_data_var : var -> Mina_base.Epoch_data.var

val next_epoch_data : Value.t -> Mina_base.Epoch_data.Value.t

val graphql_type : unit -> ( 'ctx, Value.t option ) Graphql_async.Schema.typ

val curr_slot : Value.t -> Unsigned_extended.UInt32.t

val epoch_count : Value.t -> Mina_numbers.Length.t

val curr_global_slot : Value.t -> Mina_numbers.Global_slot.t

val total_currency : Value.t -> Currency.Amount.t

val global_slot_since_genesis : Value.t -> Mina_numbers.Global_slot.t

val global_slot_since_genesis_var : var -> Mina_numbers.Global_slot.Checked.t

val is_genesis_state : Value.t -> bool

val is_genesis_state_var : 
  var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val supercharge_coinbase_var : var -> Snark_params.Tick.Boolean.var

val supercharge_coinbase : Value.t -> bool