Module Constants.Parametric

Constants parameterized by context. See Constants_parametric_repr.

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 : Mavryk_protocol_environment_alpha.Dal.parameters;
}
type sc_rollup_reveal_hashing_schemes = {
  1. blake2B : Raw_level.t;
}
type sc_rollup_reveal_activation_level = {
  1. raw_data : sc_rollup_reveal_hashing_schemes;
  2. metadata : Raw_level.t;
  3. dal_page : Raw_level.t;
  4. dal_parameters : Raw_level.t;
  5. dal_attested_slots_validity_lag : int;
}
type sc_rollup = {
  1. arith_pvm_enable : bool;
  2. origination_size : int;
  3. challenge_window_in_blocks : int;
  4. stake_amount : Tez.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 : Mavryk_protocol_environment_alpha.Q.t;
  2. issuance_ratio_final_max : Mavryk_protocol_environment_alpha.Q.t;
  3. issuance_ratio_initial_min : Mavryk_protocol_environment_alpha.Q.t;
  4. issuance_ratio_initial_max : Mavryk_protocol_environment_alpha.Q.t;
  5. initial_period : int;
  6. transition_period : int;
  7. max_bonus : Issuance_bonus_repr.max_bonus;
  8. growth_rate : Mavryk_protocol_environment_alpha.Q.t;
  9. center_dz : Mavryk_protocol_environment_alpha.Q.t;
  10. radius_dz : Mavryk_protocol_environment_alpha.Q.t;
}
type adaptive_issuance = {
  1. global_limit_of_staking_over_baking : int;
  2. edge_of_staking_over_delegation : int;
  3. launch_ema_threshold : int32;
  4. adaptive_rewards_params : adaptive_rewards_params;
  5. activation_vote_enable : bool;
  6. autostaking_enable : bool;
  7. force_activation : bool;
  8. ns_enable : bool;
}
type issuance_weights = {
  1. base_total_issued_per_minute : Tez.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;
}
type t = {
  1. consensus_rights_delay : int;
  2. blocks_preservation_cycles : int;
  3. delegate_parameters_activation_delay : int;
  4. blocks_per_cycle : int32;
  5. blocks_per_commitment : int32;
  6. nonce_revelation_threshold : int32;
  7. cycles_per_voting_period : int32;
  8. hard_gas_limit_per_operation : Gas.Arith.integral;
  9. hard_gas_limit_per_block : Gas.Arith.integral;
  10. proof_of_work_threshold : int64;
  11. minimal_stake : Tez.t;
  12. minimal_frozen_stake : Tez.t;
  13. vdf_difficulty : int64;
  14. origination_size : int;
  15. issuance_weights : issuance_weights;
  16. cost_per_byte : Tez.t;
  17. hard_storage_limit_per_operation : Mavryk_protocol_environment_alpha.Z.t;
  18. quorum_min : int32;
  19. quorum_max : int32;
  20. min_proposal_quorum : int32;
  21. liquidity_baking_subsidy : Tez.t;
  22. liquidity_baking_toggle_ema_threshold : int32;
  23. max_operations_time_to_live : int;
  24. minimal_block_delay : Period.t;
  25. delay_increment_per_round : Period.t;
  26. minimal_participation_ratio : Ratio.t;
  27. consensus_committee_size : int;
  28. consensus_threshold : int;
  29. limit_of_delegation_over_baking : int;
  30. percentage_of_frozen_deposits_slashed_per_double_baking : Percentage.t;
  31. percentage_of_frozen_deposits_slashed_per_double_attestation : Percentage.t;
  32. max_slashing_per_block : Percentage.t;
  33. max_slashing_threshold : int;
  34. testnet_dictator : public_key_hash 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;
}
val update_sc_rollup_parameter : block_time:int -> sc_rollup -> sc_rollup
module Internal_for_tests : sig ... end