Module Tezos_raw_protocol_alpha.Constants_parametric_repr

Protocol-specific constants.

When the protocol is activated via migration from its predecessor (e.g. on mainnet, ghostnet, <proto-name>net), these constants are fully controlled by Raw_context.prepare_first_block, which copies over the value from the previous protocol for most constants, but may also modify some of them and/or initialize new constants.

When the protocol is activated from Genesis, e.g. in most tests, constant values must be provided through a parameter file (or internal arguments, depending of the level of abstraction). Typical default values for various situations are available in lib_parameters/default_parameters.ml.

Note that there are also "hard" constants (non-parametric: cannot be adjusted in tests) which are defined in Constants_repr.

Documentation on individual constants can be found either in this file or in lib_parameters/default_parameters.ml. Eventually, we would like to keep the constant's documentation mainly into lib_parameters/default_parameters.ml as it allows it to be rights next to each constant's current value, no matter whether the constant has been updated in the current protocol or not (whereas only the values of modified constants can be found in Raw_context.prepare_first_block, so it's not a good place to put the documentation).

In order to add or modify a protocol constant, you should therefore:

(The CI will fail if you don't update default_parameters.ml accordingly.)

type dal = {
  1. feature_enable : bool;
  2. incentives_enable : bool;
  3. number_of_slots : int;
  4. attestation_lag : int;
  5. attestation_threshold : int;
  6. cryptobox_parameters : Tezos_protocol_environment_alpha.Dal.parameters;
  7. minimal_participation_ratio : Tezos_protocol_environment_alpha.Q.t;
  8. rewards_ratio : Tezos_protocol_environment_alpha.Q.t;
  9. traps_fraction : Tezos_protocol_environment_alpha.Q.t;
}
type sc_rollup_reveal_hashing_schemes = {
  1. blake2B : Raw_level_repr.t;
}
type sc_rollup_reveal_activation_level = {
  1. raw_data : sc_rollup_reveal_hashing_schemes;
  2. metadata : Raw_level_repr.t;
  3. dal_page : Raw_level_repr.t;
  4. dal_parameters : Raw_level_repr.t;
  5. dal_attested_slots_validity_lag : int;
}

Associates reveal kinds to their activation level.

type sc_rollup = {
  1. arith_pvm_enable : bool;
  2. origination_size : int;
  3. challenge_window_in_blocks : int;
  4. stake_amount : Tez_repr.t;
  5. commitment_period_in_blocks : int;
  6. max_lookahead_in_blocks : int32;
  7. max_active_outbox_levels : int32;
  8. max_outbox_messages_per_level : int;
  9. number_of_sections_in_dissection : int;
  10. timeout_period_in_blocks : int;
  11. max_number_of_stored_cemented_commitments : int;
  12. max_number_of_parallel_games : int;
  13. reveal_activation_level : sc_rollup_reveal_activation_level;
  14. private_enable : bool;
  15. riscv_pvm_enable : bool;
}
type zk_rollup = {
  1. enable : bool;
  2. origination_size : int;
  3. min_pending_to_process : int;
  4. max_ticket_payload_size : int;
}
type adaptive_rewards_params = {
  1. issuance_ratio_final_min : Tezos_protocol_environment_alpha.Q.t;
  2. issuance_ratio_final_max : Tezos_protocol_environment_alpha.Q.t;
  3. issuance_ratio_initial_min : Tezos_protocol_environment_alpha.Q.t;
  4. issuance_ratio_initial_max : Tezos_protocol_environment_alpha.Q.t;
  5. initial_period : int;
  6. transition_period : int;
  7. max_bonus : Issuance_bonus_repr.max_bonus;
  8. growth_rate : Tezos_protocol_environment_alpha.Q.t;
  9. center_dz : Tezos_protocol_environment_alpha.Q.t;
  10. radius_dz : Tezos_protocol_environment_alpha.Q.t;
}
type adaptive_issuance = {
  1. global_limit_of_staking_over_baking : int;
  2. edge_of_staking_over_delegation : int;
  3. adaptive_rewards_params : adaptive_rewards_params;
}
type issuance_weights = {
  1. base_total_issued_per_minute : Tez_repr.t;
  2. baking_reward_fixed_portion_weight : int;
  3. baking_reward_bonus_weight : int;
  4. attesting_reward_weight : int;
  5. seed_nonce_revelation_tip_weight : int;
  6. vdf_revelation_tip_weight : int;
  7. dal_rewards_weight : int;
}
type t = {
  1. consensus_rights_delay : int;
  2. blocks_preservation_cycles : int;
  3. delegate_parameters_activation_delay : int;
  4. tolerated_inactivity_period : int;
  5. blocks_per_cycle : int32;
  6. blocks_per_commitment : int32;
  7. nonce_revelation_threshold : int32;
  8. cycles_per_voting_period : int32;
  9. hard_gas_limit_per_operation : Gas_limit_repr.Arith.integral;
  10. hard_gas_limit_per_block : Gas_limit_repr.Arith.integral;
  11. proof_of_work_threshold : int64;
  12. minimal_stake : Tez_repr.t;
  13. minimal_frozen_stake : Tez_repr.t;
  14. vdf_difficulty : int64;
  15. origination_size : int;
  16. issuance_weights : issuance_weights;
  17. cost_per_byte : Tez_repr.t;
  18. hard_storage_limit_per_operation : Tezos_protocol_environment_alpha.Z.t;
  19. quorum_min : int32;
  20. quorum_max : int32;
  21. min_proposal_quorum : int32;
  22. liquidity_baking_subsidy : Tez_repr.t;
  23. liquidity_baking_toggle_ema_threshold : int32;
  24. max_operations_time_to_live : int;
  25. minimal_block_delay : Period_repr.t;
  26. delay_increment_per_round : Period_repr.t;
  27. minimal_participation_ratio : Ratio_repr.t;
  28. consensus_committee_size : int;
  29. consensus_threshold_size : int;
  30. limit_of_delegation_over_baking : int;
  31. percentage_of_frozen_deposits_slashed_per_double_baking : Percentage.t;
  32. max_slashing_per_block : Percentage.t;
  33. max_slashing_threshold : Ratio_repr.t;
  34. testnet_dictator : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t option;
  35. initial_seed : State_hash.t option;
  36. cache_script_size : int;
  37. cache_stake_distribution_cycles : int;
  38. cache_sampler_state_cycles : int;
  39. dal : dal;
  40. sc_rollup : sc_rollup;
  41. zk_rollup : zk_rollup;
  42. adaptive_issuance : adaptive_issuance;
  43. direct_ticket_spending_enable : bool;
  44. aggregate_attestation : bool;
  45. allow_tz4_delegate_enable : bool;
  46. all_bakers_attest_activation_level : Raw_level_repr.t option;
}
val update_sc_rollup_parameter : (int32 -> int32) -> sc_rollup -> sc_rollup

update_sc_rollup_parameter ratio_f c updates the smart rollups constants expressed in number of blocks (e.g., commitment_period_in_blocks) to preserve their average duration with a new block time.

This function is primilarly intended to be used by the Init_storage module. ratio_f is a function used to compute the new constants. For instance, if the block time is multiplied by 4/5, then the constant should be multiplied by 5/4.

module Internal_for_tests : sig ... end