Consensus_state_hooks (mina_state.Mina_state.Consensus_state

include Consensus.Intf.State_hooks
  with type blockchain_state := Blockchain_state.Value.t
   and type protocol_state := Protocol_state.Value.t
   and type protocol_state_var := Protocol_state.var
   and type snark_transition_var := Snark_transition.var
   and type consensus_state := Consensus.Data.Consensus_state.Value.t
   and type consensus_state_var := Consensus.Data.Consensus_state.var
   and type consensus_transition := Consensus.Data.Consensus_transition.Value.t
   and type block_data := Consensus.Data.Block_data.t

val generate_transition : 
  previous_protocol_state:Protocol_state.Value.t ->
  blockchain_state:Blockchain_state.Value.t ->
  current_time:Unix_timestamp.t ->
  block_data:Consensus.Data.Block_data.t ->
  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.Value.t * Consensus.Data.Consensus_transition.Value.t

* 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.Data.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