Hooks.Make_state_hooksmodule Blockchain_state : Intf.Blockchain_statemodule Protocol_state :
Intf.Protocol_state
with type blockchain_state := Blockchain_state.Value.t
and type blockchain_state_var := Blockchain_state.var
and type consensus_state := Data.Consensus_state.Value.t
and type consensus_state_var := Data.Consensus_state.varmodule Snark_transition :
Intf.Snark_transition
with type blockchain_state_var := Blockchain_state.var
and type consensus_transition_var := Data.Consensus_transition.varval generate_transition :
previous_protocol_state:Protocol_state.Value.t ->
blockchain_state:Blockchain_state.Value.t ->
current_time:Unix_timestamp.t ->
block_data: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 * 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 ] * 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.tmodule For_tests : sig ... end