State_hooks (consensus.Consensus.Intf.State

type consensus_state

type consensus_state_var

type consensus_transition

type block_data

type blockchain_state

type protocol_state

type protocol_state_var

type snark_transition_var

val generate_transition : 
  previous_protocol_state:protocol_state ->
  blockchain_state:blockchain_state ->
  current_time:Unix_timestamp.t ->
  block_data:block_data ->
  supercharge_coinbase:bool ->
  snarked_ledger_hash:Mina_base.Frozen_ledger_hash.t ->
  genesis_ledger_hash:Mina_base.Frozen_ledger_hash.t ->
  supply_increase:Currency.Amount.Signed.t ->
  logger:Logger.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  protocol_state * consensus_transition

* Generate a new protocol state and consensus specific transition data * for a new transition. Called from the block producer in order to generate * a new transition to broadcast to the network. Returns `None` if a new * transition cannot be generated.

val next_state_checked : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  prev_state:protocol_state_var ->
  prev_state_hash:Mina_base.State_hash.var ->
  snark_transition_var ->
  Currency.Amount.Signed.var ->
  ([ `Success of Snark_params.Tick.Boolean.var ] * consensus_state_var)
    Snark_params.Tick.Checked.t

* Create a constrained, checked var for the next consensus state of * a given consensus state and snark transition.

val genesis_winner : 
  Signature_lib.Public_key.Compressed.t * Signature_lib.Private_key.t

module For_tests : sig ... end