sui_protocol_config/
lib.rs

1// Copyright (c) Mysten Labs, Inc.
2// SPDX-License-Identifier: Apache-2.0
3
4use std::{
5    cell::RefCell,
6    collections::BTreeSet,
7    sync::atomic::{AtomicBool, Ordering},
8};
9
10use clap::*;
11use fastcrypto::encoding::{Base58, Encoding, Hex};
12use move_binary_format::{
13    binary_config::{BinaryConfig, TableConfig},
14    file_format_common::VERSION_1,
15};
16use move_vm_config::verifier::VerifierConfig;
17use mysten_common::in_integration_test;
18use serde::{Deserialize, Serialize};
19use serde_with::skip_serializing_none;
20use sui_protocol_config_macros::{
21    ProtocolConfigAccessors, ProtocolConfigFeatureFlagsGetters, ProtocolConfigOverride,
22};
23use tracing::{info, warn};
24
25/// The minimum and maximum protocol versions supported by this build.
26const MIN_PROTOCOL_VERSION: u64 = 1;
27const MAX_PROTOCOL_VERSION: u64 = 118;
28
29// Record history of protocol version allocations here:
30//
31// Version 1: Original version.
32// Version 2: Framework changes, including advancing epoch_start_time in safemode.
33// Version 3: gas model v2, including all sui conservation fixes. Fix for loaded child object
34//            changes, enable package upgrades, add limits on `max_size_written_objects`,
35//            `max_size_written_objects_system_tx`
36// Version 4: New reward slashing rate. Framework changes to skip stake susbidy when the epoch
37//            length is short.
38// Version 5: Package upgrade compatibility error fix. New gas cost table. New scoring decision
39//            mechanism that includes up to f scoring authorities.
40// Version 6: Change to how bytes are charged in the gas meter, increase buffer stake to 0.5f
41// Version 7: Disallow adding new abilities to types during package upgrades,
42//            disable_invariant_violation_check_in_swap_loc,
43//            disable init functions becoming entry,
44//            hash module bytes individually before computing package digest.
45// Version 8: Disallow changing abilities and type constraints for type parameters in structs
46//            during upgrades.
47// Version 9: Limit the length of Move idenfitiers to 128.
48//            Disallow extraneous module bytes,
49//            advance_to_highest_supported_protocol_version,
50// Version 10:increase bytecode verifier `max_verifier_meter_ticks_per_function` and
51//            `max_meter_ticks_per_module` limits each from 6_000_000 to 16_000_000. sui-system
52//            framework changes.
53// Version 11: Introduce `std::type_name::get_with_original_ids` to the system frameworks. Bound max depth of values within the VM.
54// Version 12: Changes to deepbook in framework to add API for querying marketplace.
55//             Change NW Batch to use versioned metadata field.
56//             Changes to sui-system package to add PTB-friendly unstake function, and minor cleanup.
57// Version 13: System package change deprecating `0xdee9::clob` and `0xdee9::custodian`, replaced by
58//             `0xdee9::clob_v2` and `0xdee9::custodian_v2`.
59// Version 14: Introduce a config variable to allow charging of computation to be either
60//             bucket base or rounding up. The presence of `gas_rounding_step` (or `None`)
61//             decides whether rounding is applied or not.
62// Version 15: Add reordering of user transactions by gas price after consensus.
63//             Add `sui::table_vec::drop` to the framework via a system package upgrade.
64// Version 16: Enabled simplified_unwrap_then_delete feature flag, which allows the execution engine
65//             to no longer consult the object store when generating unwrapped_then_deleted in the
66//             effects; this also allows us to stop including wrapped tombstones in accumulator.
67//             Add self-matching prevention for deepbook.
68// Version 17: Enable upgraded multisig support.
69// Version 18: Introduce execution layer versioning, preserve all existing behaviour in v0.
70//             Gas minimum charges moved to be a multiplier over the reference gas price. In this
71//             protocol version the multiplier is the same as the lowest bucket of computation
72//             such that the minimum transaction cost is the same as the minimum computation
73//             bucket.
74//             Add a feature flag to indicate the changes semantics of `base_tx_cost_fixed`.
75// Version 19: Changes to sui-system package to enable liquid staking.
76//             Add limit for total size of events.
77//             Increase limit for number of events emitted to 1024.
78// Version 20: Enables the flag `narwhal_new_leader_election_schedule` for the new narwhal leader
79//             schedule algorithm for enhanced fault tolerance and sets the bad node stake threshold
80//             value. Both values are set for all the environments except mainnet.
81// Version 21: ZKLogin known providers.
82// Version 22: Child object format change.
83// Version 23: Enabling the flag `narwhal_new_leader_election_schedule` for the new narwhal leader
84//             schedule algorithm for enhanced fault tolerance and sets the bad node stake threshold
85//             value for mainnet.
86// Version 24: Re-enable simple gas conservation checks.
87//             Package publish/upgrade number in a single transaction limited.
88//             JWK / authenticator state flags.
89// Version 25: Add sui::table_vec::swap and sui::table_vec::swap_remove to system packages.
90// Version 26: New gas model version.
91//             Add support for receiving objects off of other objects in devnet only.
92// Version 28: Add sui::zklogin::verify_zklogin_id and related functions to sui framework.
93//             Enable transaction effects v2 in devnet.
94// Version 29: Add verify_legacy_zklogin_address flag to sui framework, this add ability to verify
95//             transactions from a legacy zklogin address.
96// Version 30: Enable Narwhal CertificateV2
97//             Add support for random beacon.
98//             Enable transaction effects v2 in testnet.
99//             Deprecate supported oauth providers from protocol config and rely on node config
100//             instead.
101//             In execution, has_public_transfer is recomputed when loading the object.
102//             Add support for shared obj deletion and receiving objects off of other objects in devnet only.
103// Version 31: Add support for shared object deletion in devnet only.
104//             Add support for getting object ID referenced by receiving object in sui framework.
105//             Create new execution layer version, and preserve previous behavior in v1.
106//             Update semantics of `sui::transfer::receive` and add `sui::transfer::public_receive`.
107// Version 32: Add delete functions for VerifiedID and VerifiedIssuer.
108//             Add sui::token module to sui framework.
109//             Enable transfer to object in testnet.
110//             Enable Narwhal CertificateV2 on mainnet
111//             Make critbit tree and order getters public in deepbook.
112// Version 33: Add support for `receiving_object_id` function in framework
113//             Hardened OTW check.
114//             Enable transfer-to-object in mainnet.
115//             Enable shared object deletion in testnet.
116//             Enable effects v2 in mainnet.
117// Version 34: Framework changes for random beacon.
118// Version 35: Add poseidon hash function.
119//             Enable coin deny list.
120// Version 36: Enable group operations native functions in devnet.
121//             Enable shared object deletion in mainnet.
122//             Set the consensus accepted transaction size and the included transactions size in the proposed block.
123// Version 37: Reject entry functions with mutable Random.
124// Version 38: Introduce limits for binary tables size.
125// Version 39: Allow skipped epochs for randomness updates.
126//             Extra version to fix `test_upgrade_compatibility` simtest.
127// Version 40:
128// Version 41: Enable group operations native functions in testnet and mainnet (without msm).
129// Version 42: Migrate sui framework and related code to Move 2024
130// Version 43: Introduce the upper bound delta config for a zklogin signature's max epoch.
131//             Introduce an explicit parameter for the tick limit per package (previously this was
132//             represented by the parameter for the tick limit per module).
133// Version 44: Enable consensus fork detection on mainnet.
134//             Switch between Narwhal and Mysticeti consensus in tests, devnet and testnet.
135// Version 45: Use tonic networking for Mysticeti consensus.
136//             Set min Move binary format version to 6.
137//             Enable transactions to be signed with zkLogin inside multisig signature.
138//             Add native bridge.
139//             Enable native bridge in devnet
140//             Enable Leader Scoring & Schedule Change for Mysticeti consensus on testnet.
141// Version 46: Enable native bridge in testnet
142//             Enable resharing at the same initial shared version.
143// Version 47: Deepbook changes (framework update)
144// Version 48: Use tonic networking for Mysticeti.
145//             Resolve Move abort locations to the package id instead of the runtime module ID.
146//             Enable random beacon in testnet.
147//             Use new VM when verifying framework packages.
148// Version 49: Enable Move enums on devnet.
149//             Enable VDF in devnet
150//             Enable consensus commit prologue V3 in devnet.
151//             Run Mysticeti consensus by default.
152// Version 50: Add update_node_url to native bridge,
153//             New Move stdlib integer modules
154//             Enable checkpoint batching in testnet.
155//             Prepose consensus commit prologue in checkpoints.
156//             Set number of leaders per round for Mysticeti commits.
157// Version 51: Switch to DKG V1.
158//             Enable deny list v2 on devnet.
159// Version 52: Emit `CommitteeMemberUrlUpdateEvent` when updating bridge node url.
160//             std::config native functions.
161//             Modified sui-system package to enable withdrawal of stake before it becomes active.
162//             Enable soft bundle in devnet and testnet.
163//             Core macro visibility in sui core framework.
164//             Enable checkpoint batching in mainnet.
165//             Enable Mysticeti on mainnet.
166//             Enable Leader Scoring & Schedule Change for Mysticeti consensus on mainnet.
167//             Turn on count based shared object congestion control in devnet.
168//             Enable consensus commit prologue V3 in testnet.
169//             Enable enums on testnet.
170//             Add support for passkey in devnet.
171//             Enable deny list v2 on testnet and mainnet.
172// Version 53: Add feature flag to decide whether to attempt to finalize bridge committee
173//             Enable consensus commit prologue V3 on testnet.
174//             Turn on shared object congestion control in testnet.
175//             Update stdlib natives costs
176// Version 54: Enable random beacon on mainnet.
177//             Enable soft bundle on mainnet.
178// Version 55: Enable enums on mainnet.
179//             Rethrow serialization type layout errors instead of converting them.
180// Version 56: Enable bridge on mainnet.
181//             Note: do not use version 56 for any new features.
182// Version 57: Reduce minimum number of random beacon shares.
183// Version 58: Optimize boolean binops
184//             Finalize bridge committee on mainnet.
185//             Switch to distributed vote scoring in consensus in devnet
186// Version 59: Enable round prober in consensus.
187// Version 60: Validation of public inputs for Groth16 verification.
188//             Enable configuration of maximum number of type nodes in a type layout.
189// Version 61: Switch to distributed vote scoring in consensus in testnet
190//             Further reduce minimum number of random beacon shares.
191//             Add feature flag for Mysticeti fastpath.
192// Version 62: Makes the event's sending module package upgrade-aware.
193// Version 63: Enable gas based congestion control in consensus commit.
194// Version 64: Revert congestion control change.
195// Version 65: Enable distributed vote scoring in mainnet.
196// Version 66: Revert distributed vote scoring in mainnet.
197//             Framework fix for fungible staking book-keeping.
198// Version 67: Re-enable distributed vote scoring in mainnet.
199// Version 68: Add G1Uncompressed group to group ops.
200//             Update to Move stdlib.
201//             Enable gas based congestion control with overage.
202//             Further reduce minimum number of random beacon shares.
203//             Disallow adding new modules in `deps-only` packages.
204// Version 69: Sets number of rounds allowed for fastpath voting in consensus.
205//             Enable smart ancestor selection in devnet.
206//             Enable G1Uncompressed group in testnet.
207// Version 70: Enable smart ancestor selection in testnet.
208//             Enable probing for accepted rounds in round prober in testnet
209//             Add new gas model version to update charging of native functions.
210//             Add std::uq64_64 module to Move stdlib.
211//             Improve gas/wall time efficiency of some Move stdlib vector functions
212// Version 71: [SIP-45] Enable consensus amplification.
213// Version 72: Fix issue where `convert_type_argument_error` wasn't being used in all cases.
214//             Max gas budget moved to 50_000 SUI
215//             Max gas price moved to 50 SUI
216//             Variants as type nodes.
217// Version 73: Enable new marker table version.
218//             Enable consensus garbage collection and new commit rule for devnet.
219//             Enable zstd compression for consensus tonic network in testnet.
220//             Enable smart ancestor selection in mainnet.
221//             Enable probing for accepted rounds in round prober in mainnet
222// Version 74: Enable load_nitro_attestation move function in sui framework in devnet.
223//             Enable all gas costs for load_nitro_attestation.
224//             Enable zstd compression for consensus tonic network in mainnet.
225//             Enable the new commit rule for devnet.
226// Version 75: Enable passkey auth in testnet.
227// Version 76: Deprecate Deepbook V2 order placement and deposit.
228//             Removes unnecessary child object mutations
229//             Enable passkey auth in multisig for testnet.
230// Version 77: Enable uncompressed point group ops on mainnet.
231//             Enable consensus garbage collection for testnet
232//             Enable the new consensus commit rule for testnet.
233// Version 78: Make `TxContext` Move API native
234//             Enable execution time estimate mode for congestion control on testnet.
235// Version 79: Enable median based commit timestamp in consensus on testnet.
236//             Increase threshold for bad nodes that won't be considered leaders in consensus in testnet
237//             Enable load_nitro_attestation move function in sui framework in testnet.
238//             Enable consensus garbage collection for mainnet
239//             Enable the new consensus commit rule for mainnet.
240// Version 80: Bound size of values created in the adapter.
241// Version 81: Enable median based commit timestamp in consensus on mainnet.
242//             Enforce checkpoint timestamps are non-decreasing for testnet and mainnet.
243//             Increase threshold for bad nodes that won't be considered leaders in consensus in mainnet
244// Version 82: Relax bounding of size of values created in the adapter.
245// Version 83: Resolve `TypeInput` IDs to defining ID when converting to `TypeTag`s in the adapter.
246//             Enable execution time estimate mode for congestion control on mainnet.
247//             Enable nitro attestation upgraded parsing and mainnet.
248// Version 84: Limit number of stored execution time observations between epochs.
249// Version 85: Enable party transfer in devnet.
250// Version 86: Use type tags in the object runtime and adapter instead of `Type`s.
251//             Make variant count limit explicit in protocol config.
252//             Enable party transfer in testnet.
253// Version 87: Enable better type resolution errors in the adapter.
254// Version 88: Update `sui-system` package to use `calculate_rewards` function.
255//             Define the cost for the native Move function `rgp`.
256//             Ignore execution time observations after validator stops accepting certs.
257// Version 89: Add additional signature checks
258//             Add additional linkage checks
259// Version 90: Standard library improvements.
260//             Enable `debug_fatal` on Move invariant violations.
261//             Enable passkey and passkey inside multisig for mainnet.
262// Version 91: Minor changes in Sui Framework. Include CheckpointDigest in consensus dedup key for checkpoint signatures (V2).
263// Version 92: Disable checking shared object transfer restrictions per command = false
264// Version 93: Enable CheckpointDigest in consensus dedup key for checkpoint signatures.
265// Version 94: Decrease stored observations limit by 10% to stay within system object size limit.
266//             Enable party transfer on mainnet.
267// Version 95: Change type name id base cost to 52, increase max transactions per checkpoint to 20000.
268// Version 96: Enable authority capabilities v2.
269//             Fix bug where MFP transaction shared inputs' debts were not loaded
270//             Create Coin Registry object
271//             Enable checkpoint artifacts digest in devnet.
272// Version 97: Enable additional borrow checks
273// Version 98: Add authenticated event streams support via emit_authenticated function.
274//             Add better error messages to the loader.
275// Version 99: Enable new commit handler.
276// Version 100: Framework update
277// Version 101: Framework update
278//              Set max updates per settlement txn to 100.
279// Version 103: Framework update: internal Coin methods
280// Version 104: Framework update: CoinRegistry follow up for Coin methods
281//              Enable all non-zero PCRs parsing for nitro attestation native function in Devnet and Testnet.
282// Version 105: Framework update: address aliases
283//              Enable multi-epoch transaction expiration.
284//              Enable always include required PCRs (0-4 & 8) parsing even if they are zeros for
285//              nitro attestation native function in Devnet and Testnet.
286// Version 106: Framework update: accumulator storage fund calculations
287//              Enable address balances on devnet
288// Version 108: Enable new digit based gas rounding.
289//              Support TxContext in all parameter positions.
290//              Disable entry point signature check.
291//              Enable address aliases on testnet.
292//              Enable poseidon_bn254 on mainnet.
293// Version 109: Update where we set bounds for some binary tables to be a bit more idiomatic.
294// Version 110: Enable parsing on all nonzero custom pcrs in nitro attestation parsing native
295//              function on mainnet.
296//              split_checkpoints_in_consensus_handler in devnet
297//              Enable additional validation on zkLogin public identifier.
298// Version 111: Validator metadata
299// Version 112: Enable Ristretto255 in devnet.
300// Version 113: Validate gas price >= RGP at signing for address balance gas payments.
301// Version 114: Gate seeded test overrides for checkpoint tx limit behind feature flag.
302// Version 115: Gasless transaction drop safety.
303//              Enable address aliases on mainnet.
304//              Relax ValidDuring requirement for transactions with owned inputs.
305//              Disable defer_unpaid_amplification (debugging).
306// Version 116: Enable Display Registry.
307// Version 117: Update Sui System metadata handling.
308// Version 118: Enable the new VM.
309
310#[derive(Copy, Clone, Debug, Hash, Serialize, Deserialize, PartialEq, Eq, PartialOrd, Ord)]
311pub struct ProtocolVersion(u64);
312
313impl ProtocolVersion {
314    // The minimum and maximum protocol version supported by this binary. Counterintuitively, this constant may
315    // change over time as support for old protocol versions is removed from the source. This
316    // ensures that when a new network (such as a testnet) is created, its genesis committee will
317    // use a protocol version that is actually supported by the binary.
318    pub const MIN: Self = Self(MIN_PROTOCOL_VERSION);
319
320    pub const MAX: Self = Self(MAX_PROTOCOL_VERSION);
321
322    #[cfg(not(msim))]
323    pub const MAX_ALLOWED: Self = Self::MAX;
324
325    // We create one additional "fake" version in simulator builds so that we can test upgrades.
326    #[cfg(msim)]
327    pub const MAX_ALLOWED: Self = Self(MAX_PROTOCOL_VERSION + 1);
328
329    pub fn new(v: u64) -> Self {
330        Self(v)
331    }
332
333    pub const fn as_u64(&self) -> u64 {
334        self.0
335    }
336
337    // For serde deserialization - we don't define a Default impl because there isn't a single
338    // universally appropriate default value.
339    pub fn max() -> Self {
340        Self::MAX
341    }
342
343    pub fn prev(self) -> Self {
344        Self(self.0.checked_sub(1).unwrap())
345    }
346}
347
348impl From<u64> for ProtocolVersion {
349    fn from(v: u64) -> Self {
350        Self::new(v)
351    }
352}
353
354impl std::ops::Sub<u64> for ProtocolVersion {
355    type Output = Self;
356    fn sub(self, rhs: u64) -> Self::Output {
357        Self::new(self.0 - rhs)
358    }
359}
360
361impl std::ops::Add<u64> for ProtocolVersion {
362    type Output = Self;
363    fn add(self, rhs: u64) -> Self::Output {
364        Self::new(self.0 + rhs)
365    }
366}
367
368#[derive(
369    Clone, Serialize, Deserialize, Debug, Default, PartialEq, Copy, PartialOrd, Ord, Eq, ValueEnum,
370)]
371pub enum Chain {
372    Mainnet,
373    Testnet,
374    #[default]
375    Unknown,
376}
377
378impl Chain {
379    pub fn as_str(self) -> &'static str {
380        match self {
381            Chain::Mainnet => "mainnet",
382            Chain::Testnet => "testnet",
383            Chain::Unknown => "unknown",
384        }
385    }
386}
387
388pub struct Error(pub String);
389
390// TODO: There are quite a few non boolean values in the feature flags. We should move them out.
391/// Records on/off feature flags that may vary at each protocol version.
392#[derive(Default, Clone, Serialize, Deserialize, Debug, ProtocolConfigFeatureFlagsGetters)]
393struct FeatureFlags {
394    // Add feature flags here, e.g.:
395    // new_protocol_feature: bool,
396    #[serde(skip_serializing_if = "is_false")]
397    package_upgrades: bool,
398    // If true, validators will commit to the root state digest
399    // in end of epoch checkpoint proposals
400    #[serde(skip_serializing_if = "is_false")]
401    commit_root_state_digest: bool,
402    // Pass epoch start time to advance_epoch safe mode function.
403    #[serde(skip_serializing_if = "is_false")]
404    advance_epoch_start_time_in_safe_mode: bool,
405    // If true, apply the fix to correctly capturing loaded child object versions in execution's
406    // object runtime.
407    #[serde(skip_serializing_if = "is_false")]
408    loaded_child_objects_fixed: bool,
409    // If true, treat missing types in the upgraded modules when creating an upgraded package as a
410    // compatibility error.
411    #[serde(skip_serializing_if = "is_false")]
412    missing_type_is_compatibility_error: bool,
413    // If true, then the scoring decision mechanism will not get disabled when we do have more than
414    // f low scoring authorities, but it will simply flag as low scoring only up to f authorities.
415    #[serde(skip_serializing_if = "is_false")]
416    scoring_decision_with_validity_cutoff: bool,
417
418    // DEPRECATED: this was an ephemeral feature flag only used by consensus handler, which has now
419    // been deployed everywhere.
420    #[serde(skip_serializing_if = "is_false")]
421    consensus_order_end_of_epoch_last: bool,
422
423    // Disallow adding abilities to types during package upgrades.
424    #[serde(skip_serializing_if = "is_false")]
425    disallow_adding_abilities_on_upgrade: bool,
426    // Disables unnecessary invariant check in the Move VM when swapping the value out of a local
427    #[serde(skip_serializing_if = "is_false")]
428    disable_invariant_violation_check_in_swap_loc: bool,
429    // advance to highest supported protocol version at epoch change, instead of the next consecutive
430    // protocol version.
431    #[serde(skip_serializing_if = "is_false")]
432    advance_to_highest_supported_protocol_version: bool,
433    // If true, disallow entry modifiers on entry functions
434    #[serde(skip_serializing_if = "is_false")]
435    ban_entry_init: bool,
436    // If true, hash module bytes individually when calculating package digests for upgrades
437    #[serde(skip_serializing_if = "is_false")]
438    package_digest_hash_module: bool,
439    // If true, disallow changing struct type parameters during package upgrades
440    #[serde(skip_serializing_if = "is_false")]
441    disallow_change_struct_type_params_on_upgrade: bool,
442    // If true, checks no extra bytes in a compiled module
443    #[serde(skip_serializing_if = "is_false")]
444    no_extraneous_module_bytes: bool,
445    // If true, then use the versioned metadata format in narwhal entities.
446    #[serde(skip_serializing_if = "is_false")]
447    narwhal_versioned_metadata: bool,
448
449    // Enable zklogin auth
450    #[serde(skip_serializing_if = "is_false")]
451    zklogin_auth: bool,
452    // How we order transactions coming out of consensus before sending to execution.
453    #[serde(skip_serializing_if = "ConsensusTransactionOrdering::is_none")]
454    consensus_transaction_ordering: ConsensusTransactionOrdering,
455
456    // Previously, the unwrapped_then_deleted field in TransactionEffects makes a distinction between
457    // whether an object has existed in the store previously (i.e. whether there is a tombstone).
458    // Such dependency makes effects generation inefficient, and requires us to include wrapped
459    // tombstone in state root hash.
460    // To prepare for effects V2, with this flag set to true, we simplify the definition of
461    // unwrapped_then_deleted to always include unwrapped then deleted objects,
462    // regardless of their previous state in the store.
463    #[serde(skip_serializing_if = "is_false")]
464    simplified_unwrap_then_delete: bool,
465    // Enable upgraded multisig support
466    #[serde(skip_serializing_if = "is_false")]
467    upgraded_multisig_supported: bool,
468    // If true minimum txn charge is a multiplier of the gas price
469    #[serde(skip_serializing_if = "is_false")]
470    txn_base_cost_as_multiplier: bool,
471
472    // If true, the ability to delete shared objects is in effect
473    #[serde(skip_serializing_if = "is_false")]
474    shared_object_deletion: bool,
475
476    // If true, then the new algorithm for the leader election schedule will be used
477    #[serde(skip_serializing_if = "is_false")]
478    narwhal_new_leader_election_schedule: bool,
479
480    // A list of supported OIDC providers that can be used for zklogin.
481    #[serde(skip_serializing_if = "is_empty")]
482    zklogin_supported_providers: BTreeSet<String>,
483
484    // If true, use the new child object format
485    #[serde(skip_serializing_if = "is_false")]
486    loaded_child_object_format: bool,
487
488    #[serde(skip_serializing_if = "is_false")]
489    enable_jwk_consensus_updates: bool,
490
491    #[serde(skip_serializing_if = "is_false")]
492    end_of_epoch_transaction_supported: bool,
493
494    // Perform simple conservation checks keeping into account out of gas scenarios
495    // while charging for storage.
496    #[serde(skip_serializing_if = "is_false")]
497    simple_conservation_checks: bool,
498
499    // If true, use the new child object format type logging
500    #[serde(skip_serializing_if = "is_false")]
501    loaded_child_object_format_type: bool,
502
503    // Enable receiving sent objects
504    #[serde(skip_serializing_if = "is_false")]
505    receive_objects: bool,
506
507    // If true, include CheckpointDigest in consensus dedup key for checkpoint signatures (V2).
508    #[serde(skip_serializing_if = "is_false")]
509    consensus_checkpoint_signature_key_includes_digest: bool,
510
511    // Enable random beacon protocol
512    #[serde(skip_serializing_if = "is_false")]
513    random_beacon: bool,
514
515    // Enable bridge protocol
516    #[serde(skip_serializing_if = "is_false")]
517    bridge: bool,
518
519    #[serde(skip_serializing_if = "is_false")]
520    enable_effects_v2: bool,
521
522    // If true, then use CertificateV2 in narwhal.
523    #[serde(skip_serializing_if = "is_false")]
524    narwhal_certificate_v2: bool,
525
526    // If true, allow verify with legacy zklogin address
527    #[serde(skip_serializing_if = "is_false")]
528    verify_legacy_zklogin_address: bool,
529
530    // Enable throughput aware consensus submission
531    #[serde(skip_serializing_if = "is_false")]
532    throughput_aware_consensus_submission: bool,
533
534    // If true, recompute has_public_transfer from the type instead of what is stored in the object
535    #[serde(skip_serializing_if = "is_false")]
536    recompute_has_public_transfer_in_execution: bool,
537
538    // If true, multisig containing zkLogin sig is accepted.
539    #[serde(skip_serializing_if = "is_false")]
540    accept_zklogin_in_multisig: bool,
541
542    // If true, multisig containing passkey sig is accepted.
543    #[serde(skip_serializing_if = "is_false")]
544    accept_passkey_in_multisig: bool,
545
546    // If true, additional zkLogin public identifier structure is validated.
547    #[serde(skip_serializing_if = "is_false")]
548    validate_zklogin_public_identifier: bool,
549
550    // If true, consensus prologue transaction also includes the consensus output digest.
551    // It can be used to detect consensus output folk.
552    #[serde(skip_serializing_if = "is_false")]
553    include_consensus_digest_in_prologue: bool,
554
555    // If true, use the hardened OTW check
556    #[serde(skip_serializing_if = "is_false")]
557    hardened_otw_check: bool,
558
559    // If true allow calling receiving_object_id function
560    #[serde(skip_serializing_if = "is_false")]
561    allow_receiving_object_id: bool,
562
563    // Enable the poseidon hash function
564    #[serde(skip_serializing_if = "is_false")]
565    enable_poseidon: bool,
566
567    // If true, enable the coin deny list.
568    #[serde(skip_serializing_if = "is_false")]
569    enable_coin_deny_list: bool,
570
571    // Enable native functions for group operations.
572    #[serde(skip_serializing_if = "is_false")]
573    enable_group_ops_native_functions: bool,
574
575    // Enable native function for msm.
576    #[serde(skip_serializing_if = "is_false")]
577    enable_group_ops_native_function_msm: bool,
578
579    // Enable group operations for Ristretto255
580    #[serde(skip_serializing_if = "is_false")]
581    enable_ristretto255_group_ops: bool,
582
583    // Enable nitro attestation.
584    #[serde(skip_serializing_if = "is_false")]
585    enable_nitro_attestation: bool,
586
587    // Enable upgraded parsing of nitro attestation that interprets pcrs as a map.
588    #[serde(skip_serializing_if = "is_false")]
589    enable_nitro_attestation_upgraded_parsing: bool,
590
591    // Enable upgraded parsing of nitro attestation containing all nonzero PCRs.
592    #[serde(skip_serializing_if = "is_false")]
593    enable_nitro_attestation_all_nonzero_pcrs_parsing: bool,
594
595    // Enable upgraded parsing of nitro attestation to always include required PCRs, even when all zeros.
596    #[serde(skip_serializing_if = "is_false")]
597    enable_nitro_attestation_always_include_required_pcrs_parsing: bool,
598
599    // Reject functions with mutable Random.
600    #[serde(skip_serializing_if = "is_false")]
601    reject_mutable_random_on_entry_functions: bool,
602
603    // Controls the behavior of per object congestion control in consensus handler.
604    #[serde(skip_serializing_if = "PerObjectCongestionControlMode::is_none")]
605    per_object_congestion_control_mode: PerObjectCongestionControlMode,
606
607    // The consensus protocol to be used for the epoch.
608    #[serde(skip_serializing_if = "ConsensusChoice::is_narwhal")]
609    consensus_choice: ConsensusChoice,
610
611    // Consensus network to use.
612    #[serde(skip_serializing_if = "ConsensusNetwork::is_anemo")]
613    consensus_network: ConsensusNetwork,
614
615    // If true, use the correct (<=) comparison for max_gas_payment_objects instead of (<)
616    #[serde(skip_serializing_if = "is_false")]
617    correct_gas_payment_limit_check: bool,
618
619    // Set the upper bound allowed for max_epoch in zklogin signature.
620    #[serde(skip_serializing_if = "Option::is_none")]
621    zklogin_max_epoch_upper_bound_delta: Option<u64>,
622
623    // Controls leader scoring & schedule change in Mysticeti consensus.
624    #[serde(skip_serializing_if = "is_false")]
625    mysticeti_leader_scoring_and_schedule: bool,
626
627    // Enable resharing of shared objects using the same initial shared version
628    #[serde(skip_serializing_if = "is_false")]
629    reshare_at_same_initial_version: bool,
630
631    // Resolve Move abort locations to the package id instead of the runtime module ID.
632    #[serde(skip_serializing_if = "is_false")]
633    resolve_abort_locations_to_package_id: bool,
634
635    // Enables the use of the Mysticeti committed sub dag digest to the `ConsensusCommitInfo` in checkpoints.
636    // When disabled the default digest is used instead. It's important to have this guarded behind
637    // a flag as it will lead to checkpoint forks.
638    #[serde(skip_serializing_if = "is_false")]
639    mysticeti_use_committed_subdag_digest: bool,
640
641    // Enable VDF
642    #[serde(skip_serializing_if = "is_false")]
643    enable_vdf: bool,
644
645    // Controls whether consensus handler should record consensus determined shared object version
646    // assignments in consensus commit prologue transaction.
647    // The purpose of doing this is to enable replaying transaction without transaction effects.
648    // V2 also records initial shared versions for consensus objects.
649    #[serde(skip_serializing_if = "is_false")]
650    record_consensus_determined_version_assignments_in_prologue: bool,
651    #[serde(skip_serializing_if = "is_false")]
652    record_consensus_determined_version_assignments_in_prologue_v2: bool,
653
654    // Run verification of framework upgrades using a new/fresh VM.
655    #[serde(skip_serializing_if = "is_false")]
656    fresh_vm_on_framework_upgrade: bool,
657
658    // When set to true, the consensus commit prologue transaction will be placed first
659    // in a consensus commit in checkpoints.
660    // If a checkpoint contains multiple consensus commit, say [cm1][cm2]. The each commit's
661    // consensus commit prologue will be the first transaction in each segment:
662    //     [ccp1, rest cm1][ccp2, rest cm2]
663    // The reason to prepose the prologue transaction is to provide information for transaction
664    // cancellation.
665    #[serde(skip_serializing_if = "is_false")]
666    prepend_prologue_tx_in_consensus_commit_in_checkpoints: bool,
667
668    // Set number of leaders per round for Mysticeti commits.
669    #[serde(skip_serializing_if = "Option::is_none")]
670    mysticeti_num_leaders_per_round: Option<usize>,
671
672    // Enable Soft Bundle (SIP-19).
673    #[serde(skip_serializing_if = "is_false")]
674    soft_bundle: bool,
675
676    // If true, enable the coin deny list V2.
677    #[serde(skip_serializing_if = "is_false")]
678    enable_coin_deny_list_v2: bool,
679
680    // Enable passkey auth (SIP-9)
681    #[serde(skip_serializing_if = "is_false")]
682    passkey_auth: bool,
683
684    // Use AuthorityCapabilitiesV2
685    #[serde(skip_serializing_if = "is_false")]
686    authority_capabilities_v2: bool,
687
688    // Rethrow type layout errors during serialization instead of trying to convert them.
689    #[serde(skip_serializing_if = "is_false")]
690    rethrow_serialization_type_layout_errors: bool,
691
692    // Use distributed vote leader scoring strategy in consensus.
693    #[serde(skip_serializing_if = "is_false")]
694    consensus_distributed_vote_scoring_strategy: bool,
695
696    // Probe rounds received by peers from every authority.
697    #[serde(skip_serializing_if = "is_false")]
698    consensus_round_prober: bool,
699
700    // Validate identifier inputs separately
701    #[serde(skip_serializing_if = "is_false")]
702    validate_identifier_inputs: bool,
703
704    // Disallow self identifier
705    #[serde(skip_serializing_if = "is_false")]
706    disallow_self_identifier: bool,
707
708    // Enables Mysticeti fastpath.
709    #[serde(skip_serializing_if = "is_false")]
710    mysticeti_fastpath: bool,
711
712    // If true, disable pre-consensus locking for owned objects.
713    // All transactions go through consensus, and owned object conflict detection
714    // happens post-consensus via lock acquisition.
715    #[serde(skip_serializing_if = "is_false")]
716    disable_preconsensus_locking: bool,
717
718    // Makes the event's sending module version-aware.
719    #[serde(skip_serializing_if = "is_false")]
720    relocate_event_module: bool,
721
722    // Enable uncompressed group elements in BLS123-81 G1
723    #[serde(skip_serializing_if = "is_false")]
724    uncompressed_g1_group_elements: bool,
725
726    #[serde(skip_serializing_if = "is_false")]
727    disallow_new_modules_in_deps_only_packages: bool,
728
729    // Use smart ancestor selection in consensus.
730    #[serde(skip_serializing_if = "is_false")]
731    consensus_smart_ancestor_selection: bool,
732
733    // Probe accepted rounds in round prober.
734    #[serde(skip_serializing_if = "is_false")]
735    consensus_round_prober_probe_accepted_rounds: bool,
736
737    // Enable v2 native charging for natives.
738    #[serde(skip_serializing_if = "is_false")]
739    native_charging_v2: bool,
740
741    // Enables the new logic for collecting the subdag in the consensus linearizer. The new logic does not stop the recursion at the highest
742    // committed round for each authority, but allows to commit uncommitted blocks up to gc round (excluded) for that authority.
743    #[serde(skip_serializing_if = "is_false")]
744    consensus_linearize_subdag_v2: bool,
745
746    // Properly convert certain type argument errors in the execution layer.
747    #[serde(skip_serializing_if = "is_false")]
748    convert_type_argument_error: bool,
749
750    // Variants count as nodes
751    #[serde(skip_serializing_if = "is_false")]
752    variant_nodes: bool,
753
754    // If true, enable zstd compression for consensus tonic network.
755    #[serde(skip_serializing_if = "is_false")]
756    consensus_zstd_compression: bool,
757
758    // If true, enables the optimizations for child object mutations, removing unnecessary mutations
759    #[serde(skip_serializing_if = "is_false")]
760    minimize_child_object_mutations: bool,
761
762    // If true, record the additional state digest in the consensus commit prologue.
763    #[serde(skip_serializing_if = "is_false")]
764    record_additional_state_digest_in_prologue: bool,
765
766    // If true, enable `TxContext` Move API to go native.
767    #[serde(skip_serializing_if = "is_false")]
768    move_native_context: bool,
769
770    // If true, then it (1) will not enforce monotonicity checks for a block's ancestors and (2) calculates the commit's timestamp based on the
771    // weighted by stake median timestamp of the leader's ancestors.
772    #[serde(skip_serializing_if = "is_false")]
773    consensus_median_based_commit_timestamp: bool,
774
775    // If true, enables the normalization of PTB arguments but does not yet enable splatting
776    // `Result`s of length not equal to 1
777    #[serde(skip_serializing_if = "is_false")]
778    normalize_ptb_arguments: bool,
779
780    // If true, enabled batched block sync in consensus.
781    #[serde(skip_serializing_if = "is_false")]
782    consensus_batched_block_sync: bool,
783
784    // If true, enforces checkpoint timestamps are non-decreasing.
785    #[serde(skip_serializing_if = "is_false")]
786    enforce_checkpoint_timestamp_monotonicity: bool,
787
788    // If true, enables better errors and bounds for max ptb values
789    #[serde(skip_serializing_if = "is_false")]
790    max_ptb_value_size_v2: bool,
791
792    // If true, resolves all type input ids to be defining ID based in the adapter
793    #[serde(skip_serializing_if = "is_false")]
794    resolve_type_input_ids_to_defining_id: bool,
795
796    // Enable native function for party transfer
797    #[serde(skip_serializing_if = "is_false")]
798    enable_party_transfer: bool,
799
800    // Allow objects created or mutated in system transactions to exceed the max object size limit.
801    #[serde(skip_serializing_if = "is_false")]
802    allow_unbounded_system_objects: bool,
803
804    // Signifies the cut-over of using type tags instead of `Type`s in the object runtime.
805    #[serde(skip_serializing_if = "is_false")]
806    type_tags_in_object_runtime: bool,
807
808    // Enable accumulators
809    #[serde(skip_serializing_if = "is_false")]
810    enable_accumulators: bool,
811
812    // Enable coin reservation
813    #[serde(skip_serializing_if = "is_false")]
814    enable_coin_reservation_obj_refs: bool,
815
816    // If true, create the root accumulator object in the change epoch transaction.
817    // This must be enabled and shipped before `enable_accumulators` is set to true.
818    #[serde(skip_serializing_if = "is_false")]
819    create_root_accumulator_object: bool,
820
821    // Enable authenticated event streams
822    #[serde(skip_serializing_if = "is_false")]
823    enable_authenticated_event_streams: bool,
824
825    // Enable address balance gas payments
826    #[serde(skip_serializing_if = "is_false")]
827    enable_address_balance_gas_payments: bool,
828
829    // Validate gas price >= RGP at signing for address balance gas payments
830    #[serde(skip_serializing_if = "is_false")]
831    address_balance_gas_check_rgp_at_signing: bool,
832
833    #[serde(skip_serializing_if = "is_false")]
834    address_balance_gas_reject_gas_coin_arg: bool,
835
836    // Enable multi-epoch transaction expiration (max 1 epoch difference)
837    #[serde(skip_serializing_if = "is_false")]
838    enable_multi_epoch_transaction_expiration: bool,
839
840    // Relax ValidDuring expiration requirement for transactions with owned inputs
841    #[serde(skip_serializing_if = "is_false")]
842    relax_valid_during_for_owned_inputs: bool,
843
844    // Enable statically type checked ptb execution
845    #[serde(skip_serializing_if = "is_false")]
846    enable_ptb_execution_v2: bool,
847
848    // Provide better type resolution errors in the adapter.
849    #[serde(skip_serializing_if = "is_false")]
850    better_adapter_type_resolution_errors: bool,
851
852    // If true, record the time estimate processed in the consensus commit prologue.
853    #[serde(skip_serializing_if = "is_false")]
854    record_time_estimate_processed: bool,
855
856    // If true enable additional linkage checks.
857    #[serde(skip_serializing_if = "is_false")]
858    dependency_linkage_error: bool,
859
860    // If true enable additional multisig checks.
861    #[serde(skip_serializing_if = "is_false")]
862    additional_multisig_checks: bool,
863
864    // If true, ignore execution time observations after certs are closed.
865    #[serde(skip_serializing_if = "is_false")]
866    ignore_execution_time_observations_after_certs_closed: bool,
867
868    // If true use `debug_fatal` to report invariant violations.
869    // `debug_fatal` panics in debug builds and breaks tests/behavior based on older
870    // protocol versions (see make_vec_non_existent_type_v71.move)
871    #[serde(skip_serializing_if = "is_false")]
872    debug_fatal_on_move_invariant_violation: bool,
873
874    // DO NOT ENABLE THIS FOR PRODUCTION NETWORKS. used for testing only.
875    // Allow private accumulator entrypoints
876    #[serde(skip_serializing_if = "is_false")]
877    allow_private_accumulator_entrypoints: bool,
878
879    // If true, include indirect state in the additional consensus digest.
880    #[serde(skip_serializing_if = "is_false")]
881    additional_consensus_digest_indirect_state: bool,
882
883    // Check for `init` for new modules to a package on upgrade.
884    #[serde(skip_serializing_if = "is_false")]
885    check_for_init_during_upgrade: bool,
886
887    // Check shared object transfer restrictions per command.
888    #[serde(skip_serializing_if = "is_false")]
889    per_command_shared_object_transfer_rules: bool,
890
891    // Enable including checkpoint artifacts digest in the summary.
892    #[serde(skip_serializing_if = "is_false")]
893    include_checkpoint_artifacts_digest_in_summary: bool,
894
895    // If true, use MFP txns in load initial object debts.
896    #[serde(skip_serializing_if = "is_false")]
897    use_mfp_txns_in_load_initial_object_debts: bool,
898
899    // If true, cancel randomness-using txns when DKG has failed *before* doing other congestion checks.
900    #[serde(skip_serializing_if = "is_false")]
901    cancel_for_failed_dkg_early: bool,
902
903    // Enable coin registry protocol
904    #[serde(skip_serializing_if = "is_false")]
905    enable_coin_registry: bool,
906
907    // Use abstract size in the object runtime instead the legacy value size.
908    #[serde(skip_serializing_if = "is_false")]
909    abstract_size_in_object_runtime: bool,
910
911    // If true charge for loads into the cache (i.e., fetches from storage) in the object runtime.
912    #[serde(skip_serializing_if = "is_false")]
913    object_runtime_charge_cache_load_gas: bool,
914
915    // If true, perform additional borrow checks
916    #[serde(skip_serializing_if = "is_false")]
917    additional_borrow_checks: bool,
918
919    // If true, use the new commit handler.
920    #[serde(skip_serializing_if = "is_false")]
921    use_new_commit_handler: bool,
922
923    // If true return a better error message when we encounter a loader error.
924    #[serde(skip_serializing_if = "is_false")]
925    better_loader_errors: bool,
926
927    // If true generate layouts for dynamic fields
928    #[serde(skip_serializing_if = "is_false")]
929    generate_df_type_layouts: bool,
930
931    // If true, allow Move functions called in PTBs to return references
932    #[serde(skip_serializing_if = "is_false")]
933    allow_references_in_ptbs: bool,
934
935    // Enable display registry protocol
936    #[serde(skip_serializing_if = "is_false")]
937    enable_display_registry: bool,
938
939    // If true, enable private generics verifier v2
940    #[serde(skip_serializing_if = "is_false")]
941    private_generics_verifier_v2: bool,
942
943    // If true, deprecate global storage ops during Move module deserialization
944    #[serde(skip_serializing_if = "is_false")]
945    deprecate_global_storage_ops_during_deserialization: bool,
946
947    // If true, enable non-exclusive writes for user transactions.
948    // DO NOT ENABLE outside of the transaction test runner.
949    #[serde(skip_serializing_if = "is_false")]
950    enable_non_exclusive_writes: bool,
951
952    // If true, deprecate global storage ops everywhere.
953    #[serde(skip_serializing_if = "is_false")]
954    deprecate_global_storage_ops: bool,
955
956    // If true, normalize depth formula to not be empty for zero depth.
957    #[serde(skip_serializing_if = "is_false")]
958    normalize_depth_formula: bool,
959
960    // If true, skip GC'ed accept votes in CommitFinalizer.
961    #[serde(skip_serializing_if = "is_false")]
962    consensus_skip_gced_accept_votes: bool,
963
964    // If true, include cancelled randomness txns in the consensus commit prologue.
965    #[serde(skip_serializing_if = "is_false")]
966    include_cancelled_randomness_txns_in_prologue: bool,
967
968    // Enables address aliases.
969    #[serde(skip_serializing_if = "is_false")]
970    address_aliases: bool,
971
972    // Corrects signature-to-signer mapping in CheckpointContentsV2.
973    // TODO: remove old code and deprecate once in mainnet.
974    #[serde(skip_serializing_if = "is_false")]
975    fix_checkpoint_signature_mapping: bool,
976
977    // If true, enable object funds withdraw.
978    #[serde(skip_serializing_if = "is_false")]
979    enable_object_funds_withdraw: bool,
980
981    // If true, skip GC'ed blocks in direct finalization.
982    #[serde(skip_serializing_if = "is_false")]
983    consensus_skip_gced_blocks_in_direct_finalization: bool,
984
985    // If true, uses a new rounding mechanism for gas calculations, replacing the step-based one
986    #[serde(skip_serializing_if = "is_false")]
987    gas_rounding_halve_digits: bool,
988
989    // If true, enable tx contexts in all argument positions
990    #[serde(skip_serializing_if = "is_false")]
991    flexible_tx_context_positions: bool,
992
993    // If true, disable entry point signature check.
994    #[serde(skip_serializing_if = "is_false")]
995    disable_entry_point_signature_check: bool,
996
997    // If true, convert withdrawal compatibility PTB arguments to coins at the start of the PTB.
998    #[serde(skip_serializing_if = "is_false")]
999    convert_withdrawal_compatibility_ptb_arguments: bool,
1000
1001    // If true, additional restrictions for hot or not entry functions are enforced.
1002    #[serde(skip_serializing_if = "is_false")]
1003    restrict_hot_or_not_entry_functions: bool,
1004
1005    // If true, split checkpoints in consensus handler.
1006    #[serde(skip_serializing_if = "is_false")]
1007    split_checkpoints_in_consensus_handler: bool,
1008
1009    // If true, always accept committed system transactions.
1010    #[serde(skip_serializing_if = "is_false")]
1011    consensus_always_accept_system_transactions: bool,
1012
1013    // If true perform consistent verification of metadata
1014    #[serde(skip_serializing_if = "is_false")]
1015    validator_metadata_verify_v2: bool,
1016
1017    // If true, defer transactions with unpaid consensus amplification
1018    // (where duplicate count exceeds gas_price / RGP + 1)
1019    #[serde(skip_serializing_if = "is_false")]
1020    defer_unpaid_amplification: bool,
1021
1022    #[serde(skip_serializing_if = "is_false")]
1023    randomize_checkpoint_tx_limit_in_tests: bool,
1024
1025    // If true, mark the gas coin as uninitialized in drop safety when there is no gas coin.
1026    #[serde(skip_serializing_if = "is_false")]
1027    gasless_transaction_drop_safety: bool,
1028
1029    // Set to true if new VM (bella ciao) is enabled in this protocol version.
1030    #[serde(skip_serializing_if = "is_false")]
1031    new_vm_enabled: bool,
1032}
1033
1034fn is_false(b: &bool) -> bool {
1035    !b
1036}
1037
1038fn is_empty(b: &BTreeSet<String>) -> bool {
1039    b.is_empty()
1040}
1041
1042fn is_zero(val: &u64) -> bool {
1043    *val == 0
1044}
1045
1046/// Ordering mechanism for transactions in one Narwhal consensus output.
1047#[derive(Default, Copy, Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
1048pub enum ConsensusTransactionOrdering {
1049    /// No ordering. Transactions are processed in the order they appear in the consensus output.
1050    #[default]
1051    None,
1052    /// Order transactions by gas price, highest first.
1053    ByGasPrice,
1054}
1055
1056impl ConsensusTransactionOrdering {
1057    pub fn is_none(&self) -> bool {
1058        matches!(self, ConsensusTransactionOrdering::None)
1059    }
1060}
1061
1062#[derive(Default, Copy, Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
1063pub struct ExecutionTimeEstimateParams {
1064    // Targeted per-object utilization as an integer percentage (1-100).
1065    pub target_utilization: u64,
1066    // Schedule up to this much extra work (in microseconds) per object,
1067    // but don't allow more than a single transaction to exceed this
1068    // burst limit.
1069    pub allowed_txn_cost_overage_burst_limit_us: u64,
1070
1071    // For separate budget for randomness-using tx, the above limits are
1072    // used with this integer-percentage scaling factor (1-100).
1073    pub randomness_scalar: u64,
1074
1075    // Absolute maximum allowed transaction duration estimate (in microseconds).
1076    pub max_estimate_us: u64,
1077
1078    // Number of the final checkpoints in an epoch whose observations should be
1079    // stored for use in the next epoch.
1080    pub stored_observations_num_included_checkpoints: u64,
1081
1082    // Absolute limit on the number of saved observations at end of epoch.
1083    pub stored_observations_limit: u64,
1084
1085    // Requires observations from at least this amount of stake in order to use
1086    // observation-based execution time estimates instead of the default.
1087    #[serde(skip_serializing_if = "is_zero")]
1088    pub stake_weighted_median_threshold: u64,
1089
1090    // For backwards compatibility with old behavior we use a zero default duration when adding
1091    // new execution time observation keys and a zero generation when loading stored observations.
1092    // This can be removed once set to "true" on mainnet.
1093    #[serde(skip_serializing_if = "is_false")]
1094    pub default_none_duration_for_new_keys: bool,
1095
1096    // Number of observations per chunk. When None, chunking is disabled.
1097    #[serde(skip_serializing_if = "Option::is_none")]
1098    pub observations_chunk_size: Option<u64>,
1099}
1100
1101// The config for per object congestion control in consensus handler.
1102#[derive(Default, Copy, Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
1103pub enum PerObjectCongestionControlMode {
1104    #[default]
1105    None, // Deprecated.
1106    TotalGasBudget,                                     // Deprecated.
1107    TotalTxCount,                                       // Deprecated.
1108    TotalGasBudgetWithCap,                              // Deprecated.
1109    ExecutionTimeEstimate(ExecutionTimeEstimateParams), // Use execution time estimate as execution cost.
1110}
1111
1112impl PerObjectCongestionControlMode {
1113    pub fn is_none(&self) -> bool {
1114        matches!(self, PerObjectCongestionControlMode::None)
1115    }
1116}
1117
1118// Configuration options for consensus algorithm.
1119#[derive(Default, Copy, Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
1120pub enum ConsensusChoice {
1121    #[default]
1122    Narwhal,
1123    SwapEachEpoch,
1124    Mysticeti,
1125}
1126
1127impl ConsensusChoice {
1128    pub fn is_narwhal(&self) -> bool {
1129        matches!(self, ConsensusChoice::Narwhal)
1130    }
1131}
1132
1133// Configuration options for consensus network.
1134#[derive(Default, Copy, Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
1135pub enum ConsensusNetwork {
1136    #[default]
1137    Anemo,
1138    Tonic,
1139}
1140
1141impl ConsensusNetwork {
1142    pub fn is_anemo(&self) -> bool {
1143        matches!(self, ConsensusNetwork::Anemo)
1144    }
1145}
1146
1147/// Constants that change the behavior of the protocol.
1148///
1149/// The value of each constant here must be fixed for a given protocol version. To change the value
1150/// of a constant, advance the protocol version, and add support for it in `get_for_version` under
1151/// the new version number.
1152/// (below).
1153///
1154/// To add a new field to this struct, use the following procedure:
1155/// - Advance the protocol version.
1156/// - Add the field as a private `Option<T>` to the struct.
1157/// - Initialize the field to `None` in prior protocol versions.
1158/// - Initialize the field to `Some(val)` for your new protocol version.
1159/// - Add a public getter that simply unwraps the field.
1160/// - Two public getters of the form `field(&self) -> field_type`
1161///     and `field_as_option(&self) -> Option<field_type>` will be automatically generated for you.
1162/// Example for a field: `new_constant: Option<u64>`
1163/// ```rust,ignore
1164///      pub fn new_constant(&self) -> u64 {
1165///         self.new_constant.expect(Self::CONSTANT_ERR_MSG)
1166///     }
1167///      pub fn new_constant_as_option(&self) -> Option<u64> {
1168///         self.new_constant.expect(Self::CONSTANT_ERR_MSG)
1169///     }
1170/// ```
1171/// With `pub fn new_constant(&self) -> u64`, if the constant is accessed in a protocol version
1172/// in which it is not defined, the validator will crash. (Crashing is necessary because
1173/// this type of error would almost always result in forking if not prevented here).
1174/// If you don't want the validator to crash, you can use the
1175/// `pub fn new_constant_as_option(&self) -> Option<u64>` getter, which will
1176/// return `None` if the field is not defined at that version.
1177/// - If you want a customized getter, you can add a method in the impl.
1178#[skip_serializing_none]
1179#[derive(Clone, Serialize, Debug, ProtocolConfigAccessors, ProtocolConfigOverride)]
1180pub struct ProtocolConfig {
1181    pub version: ProtocolVersion,
1182
1183    feature_flags: FeatureFlags,
1184
1185    // ==== Transaction input limits ====
1186    /// Maximum serialized size of a transaction (in bytes).
1187    max_tx_size_bytes: Option<u64>,
1188
1189    /// Maximum number of input objects to a transaction. Enforced by the transaction input checker
1190    max_input_objects: Option<u64>,
1191
1192    /// Max size of objects a transaction can write to disk after completion. Enforce by the Sui adapter.
1193    /// This is the sum of the serialized size of all objects written to disk.
1194    /// The max size of individual objects on the other hand is `max_move_object_size`.
1195    max_size_written_objects: Option<u64>,
1196    /// Max size of objects a system transaction can write to disk after completion. Enforce by the Sui adapter.
1197    /// Similar to `max_size_written_objects` but for system transactions.
1198    max_size_written_objects_system_tx: Option<u64>,
1199
1200    /// Maximum size of serialized transaction effects.
1201    max_serialized_tx_effects_size_bytes: Option<u64>,
1202
1203    /// Maximum size of serialized transaction effects for system transactions.
1204    max_serialized_tx_effects_size_bytes_system_tx: Option<u64>,
1205
1206    /// Maximum number of gas payment objects for a transaction.
1207    max_gas_payment_objects: Option<u32>,
1208
1209    /// Maximum number of modules in a Publish transaction.
1210    max_modules_in_publish: Option<u32>,
1211
1212    /// Maximum number of transitive dependencies in a package when publishing.
1213    max_package_dependencies: Option<u32>,
1214
1215    /// Maximum number of arguments in a move call or a ProgrammableTransaction's
1216    /// TransferObjects command.
1217    max_arguments: Option<u32>,
1218
1219    /// Maximum number of total type arguments, computed recursively.
1220    max_type_arguments: Option<u32>,
1221
1222    /// Maximum depth of an individual type argument.
1223    max_type_argument_depth: Option<u32>,
1224
1225    /// Maximum size of a Pure CallArg.
1226    max_pure_argument_size: Option<u32>,
1227
1228    /// Maximum number of Commands in a ProgrammableTransaction.
1229    max_programmable_tx_commands: Option<u32>,
1230
1231    // ==== Move VM, Move bytecode verifier, and execution limits ===
1232    /// Maximum Move bytecode version the VM understands. All older versions are accepted.
1233    move_binary_format_version: Option<u32>,
1234    min_move_binary_format_version: Option<u32>,
1235
1236    /// Configuration controlling binary tables size.
1237    binary_module_handles: Option<u16>,
1238    binary_struct_handles: Option<u16>,
1239    binary_function_handles: Option<u16>,
1240    binary_function_instantiations: Option<u16>,
1241    binary_signatures: Option<u16>,
1242    binary_constant_pool: Option<u16>,
1243    binary_identifiers: Option<u16>,
1244    binary_address_identifiers: Option<u16>,
1245    binary_struct_defs: Option<u16>,
1246    binary_struct_def_instantiations: Option<u16>,
1247    binary_function_defs: Option<u16>,
1248    binary_field_handles: Option<u16>,
1249    binary_field_instantiations: Option<u16>,
1250    binary_friend_decls: Option<u16>,
1251    binary_enum_defs: Option<u16>,
1252    binary_enum_def_instantiations: Option<u16>,
1253    binary_variant_handles: Option<u16>,
1254    binary_variant_instantiation_handles: Option<u16>,
1255
1256    /// Maximum size of the `contents` part of an object, in bytes. Enforced by the Sui adapter when effects are produced.
1257    max_move_object_size: Option<u64>,
1258
1259    // TODO: Option<increase to 500 KB. currently, publishing a package > 500 KB exceeds the max computation gas cost
1260    /// Maximum size of a Move package object, in bytes. Enforced by the Sui adapter at the end of a publish transaction.
1261    max_move_package_size: Option<u64>,
1262
1263    /// Max number of publish or upgrade commands allowed in a programmable transaction block.
1264    max_publish_or_upgrade_per_ptb: Option<u64>,
1265
1266    /// Maximum gas budget in MIST that a transaction can use.
1267    max_tx_gas: Option<u64>,
1268
1269    /// Maximum amount of the proposed gas price in MIST (defined in the transaction).
1270    max_gas_price: Option<u64>,
1271
1272    /// For aborted txns, we cap the gas price at a factor of RGP. This lowers risk of setting higher priority gas price
1273    /// if there's a chance the txn will abort.
1274    max_gas_price_rgp_factor_for_aborted_transactions: Option<u64>,
1275
1276    /// The max computation bucket for gas. This is the max that can be charged for computation.
1277    max_gas_computation_bucket: Option<u64>,
1278
1279    // Define the value used to round up computation gas charges
1280    gas_rounding_step: Option<u64>,
1281
1282    /// Maximum number of nested loops. Enforced by the Move bytecode verifier.
1283    max_loop_depth: Option<u64>,
1284
1285    /// Maximum number of type arguments that can be bound to generic type parameters. Enforced by the Move bytecode verifier.
1286    max_generic_instantiation_length: Option<u64>,
1287
1288    /// Maximum number of parameters that a Move function can have. Enforced by the Move bytecode verifier.
1289    max_function_parameters: Option<u64>,
1290
1291    /// Maximum number of basic blocks that a Move function can have. Enforced by the Move bytecode verifier.
1292    max_basic_blocks: Option<u64>,
1293
1294    /// Maximum stack size value. Enforced by the Move bytecode verifier.
1295    max_value_stack_size: Option<u64>,
1296
1297    /// Maximum number of "type nodes", a metric for how big a SignatureToken will be when expanded into a fully qualified type. Enforced by the Move bytecode verifier.
1298    max_type_nodes: Option<u64>,
1299
1300    /// Maximum number of push instructions in one function. Enforced by the Move bytecode verifier.
1301    max_push_size: Option<u64>,
1302
1303    /// Maximum number of struct definitions in a module. Enforced by the Move bytecode verifier.
1304    max_struct_definitions: Option<u64>,
1305
1306    /// Maximum number of function definitions in a module. Enforced by the Move bytecode verifier.
1307    max_function_definitions: Option<u64>,
1308
1309    /// Maximum number of fields allowed in a struct definition. Enforced by the Move bytecode verifier.
1310    max_fields_in_struct: Option<u64>,
1311
1312    /// Maximum dependency depth. Enforced by the Move linker when loading dependent modules.
1313    max_dependency_depth: Option<u64>,
1314
1315    /// Maximum number of Move events that a single transaction can emit. Enforced by the VM during execution.
1316    max_num_event_emit: Option<u64>,
1317
1318    /// Maximum number of new IDs that a single transaction can create. Enforced by the VM during execution.
1319    max_num_new_move_object_ids: Option<u64>,
1320
1321    /// Maximum number of new IDs that a single system transaction can create. Enforced by the VM during execution.
1322    max_num_new_move_object_ids_system_tx: Option<u64>,
1323
1324    /// Maximum number of IDs that a single transaction can delete. Enforced by the VM during execution.
1325    max_num_deleted_move_object_ids: Option<u64>,
1326
1327    /// Maximum number of IDs that a single system transaction can delete. Enforced by the VM during execution.
1328    max_num_deleted_move_object_ids_system_tx: Option<u64>,
1329
1330    /// Maximum number of IDs that a single transaction can transfer. Enforced by the VM during execution.
1331    max_num_transferred_move_object_ids: Option<u64>,
1332
1333    /// Maximum number of IDs that a single system transaction can transfer. Enforced by the VM during execution.
1334    max_num_transferred_move_object_ids_system_tx: Option<u64>,
1335
1336    /// Maximum size of a Move user event. Enforced by the VM during execution.
1337    max_event_emit_size: Option<u64>,
1338
1339    /// Maximum size of a Move user event. Enforced by the VM during execution.
1340    max_event_emit_size_total: Option<u64>,
1341
1342    /// Maximum length of a vector in Move. Enforced by the VM during execution, and for constants, by the verifier.
1343    max_move_vector_len: Option<u64>,
1344
1345    /// Maximum length of an `Identifier` in Move. Enforced by the bytecode verifier at signing.
1346    max_move_identifier_len: Option<u64>,
1347
1348    /// Maximum depth of a Move value within the VM.
1349    max_move_value_depth: Option<u64>,
1350
1351    /// Maximum number of variants in an enum. Enforced by the bytecode verifier at signing.
1352    max_move_enum_variants: Option<u64>,
1353
1354    /// Maximum number of back edges in Move function. Enforced by the bytecode verifier at signing.
1355    max_back_edges_per_function: Option<u64>,
1356
1357    /// Maximum number of back edges in Move module. Enforced by the bytecode verifier at signing.
1358    max_back_edges_per_module: Option<u64>,
1359
1360    /// Maximum number of meter `ticks` spent verifying a Move function. Enforced by the bytecode verifier at signing.
1361    max_verifier_meter_ticks_per_function: Option<u64>,
1362
1363    /// Maximum number of meter `ticks` spent verifying a Move module. Enforced by the bytecode verifier at signing.
1364    max_meter_ticks_per_module: Option<u64>,
1365
1366    /// Maximum number of meter `ticks` spent verifying a Move package. Enforced by the bytecode verifier at signing.
1367    max_meter_ticks_per_package: Option<u64>,
1368
1369    // === Object runtime internal operation limits ====
1370    // These affect dynamic fields
1371    /// Maximum number of cached objects in the object runtime ObjectStore. Enforced by object runtime during execution
1372    object_runtime_max_num_cached_objects: Option<u64>,
1373
1374    /// Maximum number of cached objects in the object runtime ObjectStore in system transaction. Enforced by object runtime during execution
1375    object_runtime_max_num_cached_objects_system_tx: Option<u64>,
1376
1377    /// Maximum number of stored objects accessed by object runtime ObjectStore. Enforced by object runtime during execution
1378    object_runtime_max_num_store_entries: Option<u64>,
1379
1380    /// Maximum number of stored objects accessed by object runtime ObjectStore in system transaction. Enforced by object runtime during execution
1381    object_runtime_max_num_store_entries_system_tx: Option<u64>,
1382
1383    // === Execution gas costs ====
1384    /// Base cost for any Sui transaction
1385    base_tx_cost_fixed: Option<u64>,
1386
1387    /// Additional cost for a transaction that publishes a package
1388    /// i.e., the base cost of such a transaction is base_tx_cost_fixed + package_publish_cost_fixed
1389    package_publish_cost_fixed: Option<u64>,
1390
1391    /// Cost per byte of a Move call transaction
1392    /// i.e., the cost of such a transaction is base_cost + (base_tx_cost_per_byte * size)
1393    base_tx_cost_per_byte: Option<u64>,
1394
1395    /// Cost per byte for a transaction that publishes a package
1396    package_publish_cost_per_byte: Option<u64>,
1397
1398    // Per-byte cost of reading an object during transaction execution
1399    obj_access_cost_read_per_byte: Option<u64>,
1400
1401    // Per-byte cost of writing an object during transaction execution
1402    obj_access_cost_mutate_per_byte: Option<u64>,
1403
1404    // Per-byte cost of deleting an object during transaction execution
1405    obj_access_cost_delete_per_byte: Option<u64>,
1406
1407    /// Per-byte cost charged for each input object to a transaction.
1408    /// Meant to approximate the cost of checking locks for each object
1409    // TODO: Option<I'm not sure that this cost makes sense. Checking locks is "free"
1410    // in the sense that an invalid tx that can never be committed/pay gas can
1411    // force validators to check an arbitrary number of locks. If those checks are
1412    // "free" for invalid transactions, why charge for them in valid transactions
1413    // TODO: Option<if we keep this, I think we probably want it to be a fixed cost rather
1414    // than a per-byte cost. checking an object lock should not require loading an
1415    // entire object, just consulting an ID -> tx digest map
1416    obj_access_cost_verify_per_byte: Option<u64>,
1417
1418    // Maximal nodes which are allowed when converting to a type layout.
1419    max_type_to_layout_nodes: Option<u64>,
1420
1421    // Maximal size in bytes that a PTB value can be
1422    max_ptb_value_size: Option<u64>,
1423
1424    // === Gas version. gas model ===
1425    /// Gas model version, what code we are using to charge gas
1426    gas_model_version: Option<u64>,
1427
1428    // === Storage gas costs ===
1429    /// Per-byte cost of storing an object in the Sui global object store. Some of this cost may be refundable if the object is later freed
1430    obj_data_cost_refundable: Option<u64>,
1431
1432    // Per-byte cost of storing an object in the Sui transaction log (e.g., in CertifiedTransactionEffects)
1433    // This depends on the size of various fields including the effects
1434    // TODO: Option<I don't fully understand this^ and more details would be useful
1435    obj_metadata_cost_non_refundable: Option<u64>,
1436
1437    // === Tokenomics ===
1438
1439    // TODO: Option<this should be changed to u64.
1440    /// Sender of a txn that touches an object will get this percent of the storage rebate back.
1441    /// In basis point.
1442    storage_rebate_rate: Option<u64>,
1443
1444    /// 5% of the storage fund's share of rewards are reinvested into the storage fund.
1445    /// In basis point.
1446    storage_fund_reinvest_rate: Option<u64>,
1447
1448    /// The share of rewards that will be slashed and redistributed is 50%.
1449    /// In basis point.
1450    reward_slashing_rate: Option<u64>,
1451
1452    /// Unit gas price, Mist per internal gas unit.
1453    storage_gas_price: Option<u64>,
1454
1455    /// Per-object storage cost for accumulator objects, used during end-of-epoch accounting.
1456    accumulator_object_storage_cost: Option<u64>,
1457
1458    // === Core Protocol ===
1459    /// Max number of transactions per checkpoint.
1460    /// Note that this is a protocol constant and not a config as validators must have this set to
1461    /// the same value, otherwise they *will* fork.
1462    max_transactions_per_checkpoint: Option<u64>,
1463
1464    /// Max size of a checkpoint in bytes.
1465    /// Note that this is a protocol constant and not a config as validators must have this set to
1466    /// the same value, otherwise they *will* fork.
1467    max_checkpoint_size_bytes: Option<u64>,
1468
1469    /// A protocol upgrade always requires 2f+1 stake to agree. We support a buffer of additional
1470    /// stake (as a fraction of f, expressed in basis points) that is required before an upgrade
1471    /// can happen automatically. 10000bps would indicate that complete unanimity is required (all
1472    /// 3f+1 must vote), while 0bps would indicate that 2f+1 is sufficient.
1473    buffer_stake_for_protocol_upgrade_bps: Option<u64>,
1474
1475    // === Native Function Costs ===
1476
1477    // `address` module
1478    // Cost params for the Move native function `address::from_bytes(bytes: vector<u8>)`
1479    address_from_bytes_cost_base: Option<u64>,
1480    // Cost params for the Move native function `address::to_u256(address): u256`
1481    address_to_u256_cost_base: Option<u64>,
1482    // Cost params for the Move native function `address::from_u256(u256): address`
1483    address_from_u256_cost_base: Option<u64>,
1484
1485    // `config` module
1486    // Cost params for the Move native function `read_setting_impl<Name: copy + drop + store,
1487    // SettingValue: key + store, SettingDataValue: store, Value: copy + drop + store,
1488    // >(config: address, name: address, current_epoch: u64): Option<Value>`
1489    config_read_setting_impl_cost_base: Option<u64>,
1490    config_read_setting_impl_cost_per_byte: Option<u64>,
1491
1492    // `dynamic_field` module
1493    // Cost params for the Move native function `hash_type_and_key<K: copy + drop + store>(parent: address, k: K): address`
1494    dynamic_field_hash_type_and_key_cost_base: Option<u64>,
1495    dynamic_field_hash_type_and_key_type_cost_per_byte: Option<u64>,
1496    dynamic_field_hash_type_and_key_value_cost_per_byte: Option<u64>,
1497    dynamic_field_hash_type_and_key_type_tag_cost_per_byte: Option<u64>,
1498    // Cost params for the Move native function `add_child_object<Child: key>(parent: address, child: Child)`
1499    dynamic_field_add_child_object_cost_base: Option<u64>,
1500    dynamic_field_add_child_object_type_cost_per_byte: Option<u64>,
1501    dynamic_field_add_child_object_value_cost_per_byte: Option<u64>,
1502    dynamic_field_add_child_object_struct_tag_cost_per_byte: Option<u64>,
1503    // Cost params for the Move native function `borrow_child_object_mut<Child: key>(parent: &mut UID, id: address): &mut Child`
1504    dynamic_field_borrow_child_object_cost_base: Option<u64>,
1505    dynamic_field_borrow_child_object_child_ref_cost_per_byte: Option<u64>,
1506    dynamic_field_borrow_child_object_type_cost_per_byte: Option<u64>,
1507    // Cost params for the Move native function `remove_child_object<Child: key>(parent: address, id: address): Child`
1508    dynamic_field_remove_child_object_cost_base: Option<u64>,
1509    dynamic_field_remove_child_object_child_cost_per_byte: Option<u64>,
1510    dynamic_field_remove_child_object_type_cost_per_byte: Option<u64>,
1511    // Cost params for the Move native function `has_child_object(parent: address, id: address): bool`
1512    dynamic_field_has_child_object_cost_base: Option<u64>,
1513    // Cost params for the Move native function `has_child_object_with_ty<Child: key>(parent: address, id: address): bool`
1514    dynamic_field_has_child_object_with_ty_cost_base: Option<u64>,
1515    dynamic_field_has_child_object_with_ty_type_cost_per_byte: Option<u64>,
1516    dynamic_field_has_child_object_with_ty_type_tag_cost_per_byte: Option<u64>,
1517
1518    // `event` module
1519    // Cost params for the Move native function `event::emit<T: copy + drop>(event: T)`
1520    event_emit_cost_base: Option<u64>,
1521    event_emit_value_size_derivation_cost_per_byte: Option<u64>,
1522    event_emit_tag_size_derivation_cost_per_byte: Option<u64>,
1523    event_emit_output_cost_per_byte: Option<u64>,
1524    event_emit_auth_stream_cost: Option<u64>,
1525
1526    //  `object` module
1527    // Cost params for the Move native function `borrow_uid<T: key>(obj: &T): &UID`
1528    object_borrow_uid_cost_base: Option<u64>,
1529    // Cost params for the Move native function `delete_impl(id: address)`
1530    object_delete_impl_cost_base: Option<u64>,
1531    // Cost params for the Move native function `record_new_uid(id: address)`
1532    object_record_new_uid_cost_base: Option<u64>,
1533
1534    // Transfer
1535    // Cost params for the Move native function `transfer_impl<T: key>(obj: T, recipient: address)`
1536    transfer_transfer_internal_cost_base: Option<u64>,
1537    // Cost params for the Move native function `party_transfer_impl<T: key>(obj: T, party_members: vector<address>)`
1538    transfer_party_transfer_internal_cost_base: Option<u64>,
1539    // Cost params for the Move native function `freeze_object<T: key>(obj: T)`
1540    transfer_freeze_object_cost_base: Option<u64>,
1541    // Cost params for the Move native function `share_object<T: key>(obj: T)`
1542    transfer_share_object_cost_base: Option<u64>,
1543    // Cost params for the Move native function
1544    // `receive_object<T: key>(p: &mut UID, recv: Receiving<T>T)`
1545    transfer_receive_object_cost_base: Option<u64>,
1546
1547    // TxContext
1548    // Cost params for the Move native function `transfer_impl<T: key>(obj: T, recipient: address)`
1549    tx_context_derive_id_cost_base: Option<u64>,
1550    tx_context_fresh_id_cost_base: Option<u64>,
1551    tx_context_sender_cost_base: Option<u64>,
1552    tx_context_epoch_cost_base: Option<u64>,
1553    tx_context_epoch_timestamp_ms_cost_base: Option<u64>,
1554    tx_context_sponsor_cost_base: Option<u64>,
1555    tx_context_rgp_cost_base: Option<u64>,
1556    tx_context_gas_price_cost_base: Option<u64>,
1557    tx_context_gas_budget_cost_base: Option<u64>,
1558    tx_context_ids_created_cost_base: Option<u64>,
1559    tx_context_replace_cost_base: Option<u64>,
1560
1561    // Types
1562    // Cost params for the Move native function `is_one_time_witness<T: drop>(_: &T): bool`
1563    types_is_one_time_witness_cost_base: Option<u64>,
1564    types_is_one_time_witness_type_tag_cost_per_byte: Option<u64>,
1565    types_is_one_time_witness_type_cost_per_byte: Option<u64>,
1566
1567    // Validator
1568    // Cost params for the Move native function `validate_metadata_bcs(metadata: vector<u8>)`
1569    validator_validate_metadata_cost_base: Option<u64>,
1570    validator_validate_metadata_data_cost_per_byte: Option<u64>,
1571
1572    // Crypto natives
1573    crypto_invalid_arguments_cost: Option<u64>,
1574    // bls12381::bls12381_min_sig_verify
1575    bls12381_bls12381_min_sig_verify_cost_base: Option<u64>,
1576    bls12381_bls12381_min_sig_verify_msg_cost_per_byte: Option<u64>,
1577    bls12381_bls12381_min_sig_verify_msg_cost_per_block: Option<u64>,
1578
1579    // bls12381::bls12381_min_pk_verify
1580    bls12381_bls12381_min_pk_verify_cost_base: Option<u64>,
1581    bls12381_bls12381_min_pk_verify_msg_cost_per_byte: Option<u64>,
1582    bls12381_bls12381_min_pk_verify_msg_cost_per_block: Option<u64>,
1583
1584    // ecdsa_k1::ecrecover
1585    ecdsa_k1_ecrecover_keccak256_cost_base: Option<u64>,
1586    ecdsa_k1_ecrecover_keccak256_msg_cost_per_byte: Option<u64>,
1587    ecdsa_k1_ecrecover_keccak256_msg_cost_per_block: Option<u64>,
1588    ecdsa_k1_ecrecover_sha256_cost_base: Option<u64>,
1589    ecdsa_k1_ecrecover_sha256_msg_cost_per_byte: Option<u64>,
1590    ecdsa_k1_ecrecover_sha256_msg_cost_per_block: Option<u64>,
1591
1592    // ecdsa_k1::decompress_pubkey
1593    ecdsa_k1_decompress_pubkey_cost_base: Option<u64>,
1594
1595    // ecdsa_k1::secp256k1_verify
1596    ecdsa_k1_secp256k1_verify_keccak256_cost_base: Option<u64>,
1597    ecdsa_k1_secp256k1_verify_keccak256_msg_cost_per_byte: Option<u64>,
1598    ecdsa_k1_secp256k1_verify_keccak256_msg_cost_per_block: Option<u64>,
1599    ecdsa_k1_secp256k1_verify_sha256_cost_base: Option<u64>,
1600    ecdsa_k1_secp256k1_verify_sha256_msg_cost_per_byte: Option<u64>,
1601    ecdsa_k1_secp256k1_verify_sha256_msg_cost_per_block: Option<u64>,
1602
1603    // ecdsa_r1::ecrecover
1604    ecdsa_r1_ecrecover_keccak256_cost_base: Option<u64>,
1605    ecdsa_r1_ecrecover_keccak256_msg_cost_per_byte: Option<u64>,
1606    ecdsa_r1_ecrecover_keccak256_msg_cost_per_block: Option<u64>,
1607    ecdsa_r1_ecrecover_sha256_cost_base: Option<u64>,
1608    ecdsa_r1_ecrecover_sha256_msg_cost_per_byte: Option<u64>,
1609    ecdsa_r1_ecrecover_sha256_msg_cost_per_block: Option<u64>,
1610
1611    // ecdsa_r1::secp256k1_verify
1612    ecdsa_r1_secp256r1_verify_keccak256_cost_base: Option<u64>,
1613    ecdsa_r1_secp256r1_verify_keccak256_msg_cost_per_byte: Option<u64>,
1614    ecdsa_r1_secp256r1_verify_keccak256_msg_cost_per_block: Option<u64>,
1615    ecdsa_r1_secp256r1_verify_sha256_cost_base: Option<u64>,
1616    ecdsa_r1_secp256r1_verify_sha256_msg_cost_per_byte: Option<u64>,
1617    ecdsa_r1_secp256r1_verify_sha256_msg_cost_per_block: Option<u64>,
1618
1619    // ecvrf::verify
1620    ecvrf_ecvrf_verify_cost_base: Option<u64>,
1621    ecvrf_ecvrf_verify_alpha_string_cost_per_byte: Option<u64>,
1622    ecvrf_ecvrf_verify_alpha_string_cost_per_block: Option<u64>,
1623
1624    // ed25519
1625    ed25519_ed25519_verify_cost_base: Option<u64>,
1626    ed25519_ed25519_verify_msg_cost_per_byte: Option<u64>,
1627    ed25519_ed25519_verify_msg_cost_per_block: Option<u64>,
1628
1629    // groth16::prepare_verifying_key
1630    groth16_prepare_verifying_key_bls12381_cost_base: Option<u64>,
1631    groth16_prepare_verifying_key_bn254_cost_base: Option<u64>,
1632
1633    // groth16::verify_groth16_proof_internal
1634    groth16_verify_groth16_proof_internal_bls12381_cost_base: Option<u64>,
1635    groth16_verify_groth16_proof_internal_bls12381_cost_per_public_input: Option<u64>,
1636    groth16_verify_groth16_proof_internal_bn254_cost_base: Option<u64>,
1637    groth16_verify_groth16_proof_internal_bn254_cost_per_public_input: Option<u64>,
1638    groth16_verify_groth16_proof_internal_public_input_cost_per_byte: Option<u64>,
1639
1640    // hash::blake2b256
1641    hash_blake2b256_cost_base: Option<u64>,
1642    hash_blake2b256_data_cost_per_byte: Option<u64>,
1643    hash_blake2b256_data_cost_per_block: Option<u64>,
1644
1645    // hash::keccak256
1646    hash_keccak256_cost_base: Option<u64>,
1647    hash_keccak256_data_cost_per_byte: Option<u64>,
1648    hash_keccak256_data_cost_per_block: Option<u64>,
1649
1650    // poseidon::poseidon_bn254
1651    poseidon_bn254_cost_base: Option<u64>,
1652    poseidon_bn254_cost_per_block: Option<u64>,
1653
1654    // group_ops
1655    group_ops_bls12381_decode_scalar_cost: Option<u64>,
1656    group_ops_bls12381_decode_g1_cost: Option<u64>,
1657    group_ops_bls12381_decode_g2_cost: Option<u64>,
1658    group_ops_bls12381_decode_gt_cost: Option<u64>,
1659    group_ops_bls12381_scalar_add_cost: Option<u64>,
1660    group_ops_bls12381_g1_add_cost: Option<u64>,
1661    group_ops_bls12381_g2_add_cost: Option<u64>,
1662    group_ops_bls12381_gt_add_cost: Option<u64>,
1663    group_ops_bls12381_scalar_sub_cost: Option<u64>,
1664    group_ops_bls12381_g1_sub_cost: Option<u64>,
1665    group_ops_bls12381_g2_sub_cost: Option<u64>,
1666    group_ops_bls12381_gt_sub_cost: Option<u64>,
1667    group_ops_bls12381_scalar_mul_cost: Option<u64>,
1668    group_ops_bls12381_g1_mul_cost: Option<u64>,
1669    group_ops_bls12381_g2_mul_cost: Option<u64>,
1670    group_ops_bls12381_gt_mul_cost: Option<u64>,
1671    group_ops_bls12381_scalar_div_cost: Option<u64>,
1672    group_ops_bls12381_g1_div_cost: Option<u64>,
1673    group_ops_bls12381_g2_div_cost: Option<u64>,
1674    group_ops_bls12381_gt_div_cost: Option<u64>,
1675    group_ops_bls12381_g1_hash_to_base_cost: Option<u64>,
1676    group_ops_bls12381_g2_hash_to_base_cost: Option<u64>,
1677    group_ops_bls12381_g1_hash_to_cost_per_byte: Option<u64>,
1678    group_ops_bls12381_g2_hash_to_cost_per_byte: Option<u64>,
1679    group_ops_bls12381_g1_msm_base_cost: Option<u64>,
1680    group_ops_bls12381_g2_msm_base_cost: Option<u64>,
1681    group_ops_bls12381_g1_msm_base_cost_per_input: Option<u64>,
1682    group_ops_bls12381_g2_msm_base_cost_per_input: Option<u64>,
1683    group_ops_bls12381_msm_max_len: Option<u32>,
1684    group_ops_bls12381_pairing_cost: Option<u64>,
1685    group_ops_bls12381_g1_to_uncompressed_g1_cost: Option<u64>,
1686    group_ops_bls12381_uncompressed_g1_to_g1_cost: Option<u64>,
1687    group_ops_bls12381_uncompressed_g1_sum_base_cost: Option<u64>,
1688    group_ops_bls12381_uncompressed_g1_sum_cost_per_term: Option<u64>,
1689    group_ops_bls12381_uncompressed_g1_sum_max_terms: Option<u64>,
1690
1691    group_ops_ristretto_decode_scalar_cost: Option<u64>,
1692    group_ops_ristretto_decode_point_cost: Option<u64>,
1693    group_ops_ristretto_scalar_add_cost: Option<u64>,
1694    group_ops_ristretto_point_add_cost: Option<u64>,
1695    group_ops_ristretto_scalar_sub_cost: Option<u64>,
1696    group_ops_ristretto_point_sub_cost: Option<u64>,
1697    group_ops_ristretto_scalar_mul_cost: Option<u64>,
1698    group_ops_ristretto_point_mul_cost: Option<u64>,
1699    group_ops_ristretto_scalar_div_cost: Option<u64>,
1700    group_ops_ristretto_point_div_cost: Option<u64>,
1701
1702    // hmac::hmac_sha3_256
1703    hmac_hmac_sha3_256_cost_base: Option<u64>,
1704    hmac_hmac_sha3_256_input_cost_per_byte: Option<u64>,
1705    hmac_hmac_sha3_256_input_cost_per_block: Option<u64>,
1706
1707    // zklogin::check_zklogin_id
1708    check_zklogin_id_cost_base: Option<u64>,
1709    // zklogin::check_zklogin_issuer
1710    check_zklogin_issuer_cost_base: Option<u64>,
1711
1712    vdf_verify_vdf_cost: Option<u64>,
1713    vdf_hash_to_input_cost: Option<u64>,
1714
1715    // nitro_attestation::load_nitro_attestation
1716    nitro_attestation_parse_base_cost: Option<u64>,
1717    nitro_attestation_parse_cost_per_byte: Option<u64>,
1718    nitro_attestation_verify_base_cost: Option<u64>,
1719    nitro_attestation_verify_cost_per_cert: Option<u64>,
1720
1721    // Stdlib costs
1722    bcs_per_byte_serialized_cost: Option<u64>,
1723    bcs_legacy_min_output_size_cost: Option<u64>,
1724    bcs_failure_cost: Option<u64>,
1725
1726    hash_sha2_256_base_cost: Option<u64>,
1727    hash_sha2_256_per_byte_cost: Option<u64>,
1728    hash_sha2_256_legacy_min_input_len_cost: Option<u64>,
1729    hash_sha3_256_base_cost: Option<u64>,
1730    hash_sha3_256_per_byte_cost: Option<u64>,
1731    hash_sha3_256_legacy_min_input_len_cost: Option<u64>,
1732    type_name_get_base_cost: Option<u64>,
1733    type_name_get_per_byte_cost: Option<u64>,
1734    type_name_id_base_cost: Option<u64>,
1735
1736    string_check_utf8_base_cost: Option<u64>,
1737    string_check_utf8_per_byte_cost: Option<u64>,
1738    string_is_char_boundary_base_cost: Option<u64>,
1739    string_sub_string_base_cost: Option<u64>,
1740    string_sub_string_per_byte_cost: Option<u64>,
1741    string_index_of_base_cost: Option<u64>,
1742    string_index_of_per_byte_pattern_cost: Option<u64>,
1743    string_index_of_per_byte_searched_cost: Option<u64>,
1744
1745    vector_empty_base_cost: Option<u64>,
1746    vector_length_base_cost: Option<u64>,
1747    vector_push_back_base_cost: Option<u64>,
1748    vector_push_back_legacy_per_abstract_memory_unit_cost: Option<u64>,
1749    vector_borrow_base_cost: Option<u64>,
1750    vector_pop_back_base_cost: Option<u64>,
1751    vector_destroy_empty_base_cost: Option<u64>,
1752    vector_swap_base_cost: Option<u64>,
1753    debug_print_base_cost: Option<u64>,
1754    debug_print_stack_trace_base_cost: Option<u64>,
1755
1756    // ==== Ephemeral (consensus only) params deleted ====
1757    //
1758    // Const params for consensus scoring decision
1759    // The scaling factor property for the MED outlier detection
1760    // scoring_decision_mad_divisor: Option<f64>,
1761    // The cutoff value for the MED outlier detection
1762    // scoring_decision_cutoff_value: Option<f64>,
1763    /// === Execution Version ===
1764    execution_version: Option<u64>,
1765
1766    // Dictates the threshold (percentage of stake) that is used to calculate the "bad" nodes to be
1767    // swapped when creating the consensus schedule. The values should be of the range [0 - 33]. Anything
1768    // above 33 (f) will not be allowed.
1769    consensus_bad_nodes_stake_threshold: Option<u64>,
1770
1771    max_jwk_votes_per_validator_per_epoch: Option<u64>,
1772    // The maximum age of a JWK in epochs before it is removed from the AuthenticatorState object.
1773    // Applied at the end of an epoch as a delta from the new epoch value, so setting this to 1
1774    // will cause the new epoch to start with JWKs from the previous epoch still valid.
1775    max_age_of_jwk_in_epochs: Option<u64>,
1776
1777    // === random beacon ===
1778    /// Maximum allowed precision loss when reducing voting weights for the random beacon
1779    /// protocol.
1780    random_beacon_reduction_allowed_delta: Option<u16>,
1781
1782    /// Minimum number of shares below which voting weights will not be reduced for the
1783    /// random beacon protocol.
1784    random_beacon_reduction_lower_bound: Option<u32>,
1785
1786    /// Consensus Round after which DKG should be aborted and randomness disabled for
1787    /// the epoch, if it hasn't already completed.
1788    random_beacon_dkg_timeout_round: Option<u32>,
1789
1790    /// Minimum interval between consecutive rounds of generated randomness.
1791    random_beacon_min_round_interval_ms: Option<u64>,
1792
1793    /// Version of the random beacon DKG protocol.
1794    /// 0 was deprecated (and currently not supported), 1 is the default version.
1795    random_beacon_dkg_version: Option<u64>,
1796
1797    /// The maximum serialised transaction size (in bytes) accepted by consensus. That should be bigger than the
1798    /// `max_tx_size_bytes` with some additional headroom.
1799    consensus_max_transaction_size_bytes: Option<u64>,
1800    /// The maximum size of transactions included in a consensus block.
1801    consensus_max_transactions_in_block_bytes: Option<u64>,
1802    /// The maximum number of transactions included in a consensus block.
1803    consensus_max_num_transactions_in_block: Option<u64>,
1804
1805    /// The maximum number of rounds where transaction voting is allowed.
1806    consensus_voting_rounds: Option<u32>,
1807
1808    /// DEPRECATED. Do not use.
1809    max_accumulated_txn_cost_per_object_in_narwhal_commit: Option<u64>,
1810
1811    /// The max number of consensus rounds a transaction can be deferred due to shared object congestion.
1812    /// Transactions will be cancelled after this many rounds.
1813    max_deferral_rounds_for_congestion_control: Option<u64>,
1814
1815    /// DEPRECATED. Do not use.
1816    max_txn_cost_overage_per_object_in_commit: Option<u64>,
1817
1818    /// DEPRECATED. Do not use.
1819    allowed_txn_cost_overage_burst_per_object_in_commit: Option<u64>,
1820
1821    /// Minimum interval of commit timestamps between consecutive checkpoints.
1822    min_checkpoint_interval_ms: Option<u64>,
1823
1824    /// Version number to use for version_specific_data in `CheckpointSummary`.
1825    checkpoint_summary_version_specific_data: Option<u64>,
1826
1827    /// The max number of transactions that can be included in a single Soft Bundle.
1828    max_soft_bundle_size: Option<u64>,
1829
1830    /// Whether to try to form bridge committee
1831    // Note: this is not a feature flag because we want to distinguish between
1832    // `None` and `Some(false)`, as committee was already finalized on Testnet.
1833    bridge_should_try_to_finalize_committee: Option<bool>,
1834
1835    /// The max accumulated txn execution cost per object in a mysticeti. Transactions
1836    /// in a commit will be deferred once their touch shared objects hit this limit,
1837    /// unless the selected congestion control mode allows overage.
1838    /// This config plays the same role as `max_accumulated_txn_cost_per_object_in_narwhal_commit`
1839    /// but for mysticeti commits due to that mysticeti has higher commit rate.
1840    max_accumulated_txn_cost_per_object_in_mysticeti_commit: Option<u64>,
1841
1842    /// As above, but separate per-commit budget for transactions that use randomness.
1843    /// If not configured, uses the setting for `max_accumulated_txn_cost_per_object_in_mysticeti_commit`.
1844    max_accumulated_randomness_txn_cost_per_object_in_mysticeti_commit: Option<u64>,
1845
1846    /// Configures the garbage collection depth for consensus. When is unset or `0` then the garbage collection
1847    /// is disabled.
1848    consensus_gc_depth: Option<u32>,
1849
1850    /// DEPRECATED. Do not use.
1851    gas_budget_based_txn_cost_cap_factor: Option<u64>,
1852
1853    /// DEPRECATED. Do not use.
1854    gas_budget_based_txn_cost_absolute_cap_commit_count: Option<u64>,
1855
1856    /// SIP-45: K in the formula `amplification_factor = max(0, gas_price / reference_gas_price - K)`.
1857    /// This is the threshold for activating consensus amplification.
1858    sip_45_consensus_amplification_threshold: Option<u64>,
1859
1860    /// DEPRECATED: this was an ephemeral feature flag only used in per-epoch tables, which has now
1861    /// been deployed everywhere.
1862    use_object_per_epoch_marker_table_v2: Option<bool>,
1863
1864    /// The number of commits to consider when computing a deterministic commit rate.
1865    consensus_commit_rate_estimation_window_size: Option<u32>,
1866
1867    /// A list of effective AliasedAddress.
1868    /// For each pair, `aliased` is allowed to act as `original` for any of the transaction digests
1869    /// listed in `tx_digests`
1870    #[serde(skip_serializing_if = "Vec::is_empty")]
1871    aliased_addresses: Vec<AliasedAddress>,
1872
1873    /// The base charge for each command in a programmable transaction. This is a fixed cost to
1874    /// account for the overhead of processing each command.
1875    translation_per_command_base_charge: Option<u64>,
1876
1877    /// The base charge for each input in a programmable transaction regardless of if it is used or
1878    /// not, or a pure/object/funds withdrawal input.
1879    translation_per_input_base_charge: Option<u64>,
1880
1881    /// The base charge for each byte of pure input in a programmable transaction.
1882    translation_pure_input_per_byte_charge: Option<u64>,
1883
1884    /// The multiplier for the number of type nodes when charging for type loading.
1885    /// This is multiplied by the number of type nodes to get the total cost.
1886    /// This should be a small number to avoid excessive gas costs for loading types.
1887    translation_per_type_node_charge: Option<u64>,
1888
1889    /// The multiplier for the number of type references when charging for type checking and reference
1890    /// checking.
1891    translation_per_reference_node_charge: Option<u64>,
1892
1893    /// The multiplier for each linkage entry when charging for linkage tables that we have
1894    /// created.
1895    translation_per_linkage_entry_charge: Option<u64>,
1896
1897    /// The maximum number of updates per settlement transaction.
1898    max_updates_per_settlement_txn: Option<u32>,
1899}
1900
1901/// An aliased address.
1902#[derive(Clone, Serialize, Deserialize, Debug)]
1903pub struct AliasedAddress {
1904    /// The original address.
1905    pub original: [u8; 32],
1906    /// An aliased address which is allowed to act as the original address.
1907    pub aliased: [u8; 32],
1908    /// A list of transaction digests for which the aliasing is allowed to be in effect.
1909    pub allowed_tx_digests: Vec<[u8; 32]>,
1910}
1911
1912// feature flags
1913impl ProtocolConfig {
1914    // Add checks for feature flag support here, e.g.:
1915    // pub fn check_new_protocol_feature_supported(&self) -> Result<(), Error> {
1916    //     if self.feature_flags.new_protocol_feature_supported {
1917    //         Ok(())
1918    //     } else {
1919    //         Err(Error(format!(
1920    //             "new_protocol_feature is not supported at {:?}",
1921    //             self.version
1922    //         )))
1923    //     }
1924    // }
1925
1926    pub fn check_package_upgrades_supported(&self) -> Result<(), Error> {
1927        if self.feature_flags.package_upgrades {
1928            Ok(())
1929        } else {
1930            Err(Error(format!(
1931                "package upgrades are not supported at {:?}",
1932                self.version
1933            )))
1934        }
1935    }
1936
1937    pub fn allow_receiving_object_id(&self) -> bool {
1938        self.feature_flags.allow_receiving_object_id
1939    }
1940
1941    pub fn receiving_objects_supported(&self) -> bool {
1942        self.feature_flags.receive_objects
1943    }
1944
1945    pub fn package_upgrades_supported(&self) -> bool {
1946        self.feature_flags.package_upgrades
1947    }
1948
1949    pub fn check_commit_root_state_digest_supported(&self) -> bool {
1950        self.feature_flags.commit_root_state_digest
1951    }
1952
1953    pub fn get_advance_epoch_start_time_in_safe_mode(&self) -> bool {
1954        self.feature_flags.advance_epoch_start_time_in_safe_mode
1955    }
1956
1957    pub fn loaded_child_objects_fixed(&self) -> bool {
1958        self.feature_flags.loaded_child_objects_fixed
1959    }
1960
1961    pub fn missing_type_is_compatibility_error(&self) -> bool {
1962        self.feature_flags.missing_type_is_compatibility_error
1963    }
1964
1965    pub fn scoring_decision_with_validity_cutoff(&self) -> bool {
1966        self.feature_flags.scoring_decision_with_validity_cutoff
1967    }
1968
1969    pub fn narwhal_versioned_metadata(&self) -> bool {
1970        self.feature_flags.narwhal_versioned_metadata
1971    }
1972
1973    pub fn consensus_order_end_of_epoch_last(&self) -> bool {
1974        self.feature_flags.consensus_order_end_of_epoch_last
1975    }
1976
1977    pub fn disallow_adding_abilities_on_upgrade(&self) -> bool {
1978        self.feature_flags.disallow_adding_abilities_on_upgrade
1979    }
1980
1981    pub fn disable_invariant_violation_check_in_swap_loc(&self) -> bool {
1982        self.feature_flags
1983            .disable_invariant_violation_check_in_swap_loc
1984    }
1985
1986    pub fn advance_to_highest_supported_protocol_version(&self) -> bool {
1987        self.feature_flags
1988            .advance_to_highest_supported_protocol_version
1989    }
1990
1991    pub fn ban_entry_init(&self) -> bool {
1992        self.feature_flags.ban_entry_init
1993    }
1994
1995    pub fn package_digest_hash_module(&self) -> bool {
1996        self.feature_flags.package_digest_hash_module
1997    }
1998
1999    pub fn disallow_change_struct_type_params_on_upgrade(&self) -> bool {
2000        self.feature_flags
2001            .disallow_change_struct_type_params_on_upgrade
2002    }
2003
2004    pub fn no_extraneous_module_bytes(&self) -> bool {
2005        self.feature_flags.no_extraneous_module_bytes
2006    }
2007
2008    pub fn zklogin_auth(&self) -> bool {
2009        self.feature_flags.zklogin_auth
2010    }
2011
2012    pub fn zklogin_supported_providers(&self) -> &BTreeSet<String> {
2013        &self.feature_flags.zklogin_supported_providers
2014    }
2015
2016    pub fn consensus_transaction_ordering(&self) -> ConsensusTransactionOrdering {
2017        self.feature_flags.consensus_transaction_ordering
2018    }
2019
2020    pub fn simplified_unwrap_then_delete(&self) -> bool {
2021        self.feature_flags.simplified_unwrap_then_delete
2022    }
2023
2024    pub fn supports_upgraded_multisig(&self) -> bool {
2025        self.feature_flags.upgraded_multisig_supported
2026    }
2027
2028    pub fn txn_base_cost_as_multiplier(&self) -> bool {
2029        self.feature_flags.txn_base_cost_as_multiplier
2030    }
2031
2032    pub fn shared_object_deletion(&self) -> bool {
2033        self.feature_flags.shared_object_deletion
2034    }
2035
2036    pub fn narwhal_new_leader_election_schedule(&self) -> bool {
2037        self.feature_flags.narwhal_new_leader_election_schedule
2038    }
2039
2040    pub fn loaded_child_object_format(&self) -> bool {
2041        self.feature_flags.loaded_child_object_format
2042    }
2043
2044    pub fn enable_jwk_consensus_updates(&self) -> bool {
2045        let ret = self.feature_flags.enable_jwk_consensus_updates;
2046        if ret {
2047            // jwk updates required end-of-epoch transactions
2048            assert!(self.feature_flags.end_of_epoch_transaction_supported);
2049        }
2050        ret
2051    }
2052
2053    pub fn simple_conservation_checks(&self) -> bool {
2054        self.feature_flags.simple_conservation_checks
2055    }
2056
2057    pub fn loaded_child_object_format_type(&self) -> bool {
2058        self.feature_flags.loaded_child_object_format_type
2059    }
2060
2061    pub fn end_of_epoch_transaction_supported(&self) -> bool {
2062        let ret = self.feature_flags.end_of_epoch_transaction_supported;
2063        if !ret {
2064            // jwk updates required end-of-epoch transactions
2065            assert!(!self.feature_flags.enable_jwk_consensus_updates);
2066        }
2067        ret
2068    }
2069
2070    pub fn recompute_has_public_transfer_in_execution(&self) -> bool {
2071        self.feature_flags
2072            .recompute_has_public_transfer_in_execution
2073    }
2074
2075    // this function only exists for readability in the genesis code.
2076    pub fn create_authenticator_state_in_genesis(&self) -> bool {
2077        self.enable_jwk_consensus_updates()
2078    }
2079
2080    pub fn random_beacon(&self) -> bool {
2081        self.feature_flags.random_beacon
2082    }
2083
2084    pub fn dkg_version(&self) -> u64 {
2085        // Version 0 was deprecated and removed, the default is 1 if not set.
2086        self.random_beacon_dkg_version.unwrap_or(1)
2087    }
2088
2089    pub fn enable_bridge(&self) -> bool {
2090        let ret = self.feature_flags.bridge;
2091        if ret {
2092            // bridge required end-of-epoch transactions
2093            assert!(self.feature_flags.end_of_epoch_transaction_supported);
2094        }
2095        ret
2096    }
2097
2098    pub fn should_try_to_finalize_bridge_committee(&self) -> bool {
2099        if !self.enable_bridge() {
2100            return false;
2101        }
2102        // In the older protocol version, always try to finalize the committee.
2103        self.bridge_should_try_to_finalize_committee.unwrap_or(true)
2104    }
2105
2106    pub fn enable_effects_v2(&self) -> bool {
2107        self.feature_flags.enable_effects_v2
2108    }
2109
2110    pub fn narwhal_certificate_v2(&self) -> bool {
2111        self.feature_flags.narwhal_certificate_v2
2112    }
2113
2114    pub fn verify_legacy_zklogin_address(&self) -> bool {
2115        self.feature_flags.verify_legacy_zklogin_address
2116    }
2117
2118    pub fn accept_zklogin_in_multisig(&self) -> bool {
2119        self.feature_flags.accept_zklogin_in_multisig
2120    }
2121
2122    pub fn accept_passkey_in_multisig(&self) -> bool {
2123        self.feature_flags.accept_passkey_in_multisig
2124    }
2125
2126    pub fn validate_zklogin_public_identifier(&self) -> bool {
2127        self.feature_flags.validate_zklogin_public_identifier
2128    }
2129
2130    pub fn zklogin_max_epoch_upper_bound_delta(&self) -> Option<u64> {
2131        self.feature_flags.zklogin_max_epoch_upper_bound_delta
2132    }
2133
2134    pub fn throughput_aware_consensus_submission(&self) -> bool {
2135        self.feature_flags.throughput_aware_consensus_submission
2136    }
2137
2138    pub fn include_consensus_digest_in_prologue(&self) -> bool {
2139        self.feature_flags.include_consensus_digest_in_prologue
2140    }
2141
2142    pub fn record_consensus_determined_version_assignments_in_prologue(&self) -> bool {
2143        self.feature_flags
2144            .record_consensus_determined_version_assignments_in_prologue
2145    }
2146
2147    pub fn record_additional_state_digest_in_prologue(&self) -> bool {
2148        self.feature_flags
2149            .record_additional_state_digest_in_prologue
2150    }
2151
2152    pub fn record_consensus_determined_version_assignments_in_prologue_v2(&self) -> bool {
2153        self.feature_flags
2154            .record_consensus_determined_version_assignments_in_prologue_v2
2155    }
2156
2157    pub fn prepend_prologue_tx_in_consensus_commit_in_checkpoints(&self) -> bool {
2158        self.feature_flags
2159            .prepend_prologue_tx_in_consensus_commit_in_checkpoints
2160    }
2161
2162    pub fn hardened_otw_check(&self) -> bool {
2163        self.feature_flags.hardened_otw_check
2164    }
2165
2166    pub fn enable_poseidon(&self) -> bool {
2167        self.feature_flags.enable_poseidon
2168    }
2169
2170    pub fn enable_coin_deny_list_v1(&self) -> bool {
2171        self.feature_flags.enable_coin_deny_list
2172    }
2173
2174    pub fn enable_accumulators(&self) -> bool {
2175        self.feature_flags.enable_accumulators
2176    }
2177
2178    pub fn enable_coin_reservation_obj_refs(&self) -> bool {
2179        self.feature_flags.enable_coin_reservation_obj_refs
2180    }
2181
2182    pub fn create_root_accumulator_object(&self) -> bool {
2183        self.feature_flags.create_root_accumulator_object
2184    }
2185
2186    pub fn enable_address_balance_gas_payments(&self) -> bool {
2187        self.feature_flags.enable_address_balance_gas_payments
2188    }
2189
2190    pub fn address_balance_gas_check_rgp_at_signing(&self) -> bool {
2191        self.feature_flags.address_balance_gas_check_rgp_at_signing
2192    }
2193
2194    pub fn address_balance_gas_reject_gas_coin_arg(&self) -> bool {
2195        self.feature_flags.address_balance_gas_reject_gas_coin_arg
2196    }
2197
2198    pub fn enable_multi_epoch_transaction_expiration(&self) -> bool {
2199        self.feature_flags.enable_multi_epoch_transaction_expiration
2200    }
2201
2202    pub fn relax_valid_during_for_owned_inputs(&self) -> bool {
2203        self.feature_flags.relax_valid_during_for_owned_inputs
2204    }
2205
2206    pub fn enable_authenticated_event_streams(&self) -> bool {
2207        self.feature_flags.enable_authenticated_event_streams && self.enable_accumulators()
2208    }
2209
2210    pub fn enable_non_exclusive_writes(&self) -> bool {
2211        self.feature_flags.enable_non_exclusive_writes
2212    }
2213
2214    pub fn enable_coin_registry(&self) -> bool {
2215        self.feature_flags.enable_coin_registry
2216    }
2217
2218    pub fn enable_display_registry(&self) -> bool {
2219        self.feature_flags.enable_display_registry
2220    }
2221
2222    pub fn enable_coin_deny_list_v2(&self) -> bool {
2223        self.feature_flags.enable_coin_deny_list_v2
2224    }
2225
2226    pub fn enable_group_ops_native_functions(&self) -> bool {
2227        self.feature_flags.enable_group_ops_native_functions
2228    }
2229
2230    pub fn enable_group_ops_native_function_msm(&self) -> bool {
2231        self.feature_flags.enable_group_ops_native_function_msm
2232    }
2233
2234    pub fn enable_ristretto255_group_ops(&self) -> bool {
2235        self.feature_flags.enable_ristretto255_group_ops
2236    }
2237
2238    pub fn reject_mutable_random_on_entry_functions(&self) -> bool {
2239        self.feature_flags.reject_mutable_random_on_entry_functions
2240    }
2241
2242    pub fn per_object_congestion_control_mode(&self) -> PerObjectCongestionControlMode {
2243        self.feature_flags.per_object_congestion_control_mode
2244    }
2245
2246    pub fn consensus_choice(&self) -> ConsensusChoice {
2247        self.feature_flags.consensus_choice
2248    }
2249
2250    pub fn consensus_network(&self) -> ConsensusNetwork {
2251        self.feature_flags.consensus_network
2252    }
2253
2254    pub fn correct_gas_payment_limit_check(&self) -> bool {
2255        self.feature_flags.correct_gas_payment_limit_check
2256    }
2257
2258    pub fn reshare_at_same_initial_version(&self) -> bool {
2259        self.feature_flags.reshare_at_same_initial_version
2260    }
2261
2262    pub fn resolve_abort_locations_to_package_id(&self) -> bool {
2263        self.feature_flags.resolve_abort_locations_to_package_id
2264    }
2265
2266    pub fn mysticeti_use_committed_subdag_digest(&self) -> bool {
2267        self.feature_flags.mysticeti_use_committed_subdag_digest
2268    }
2269
2270    pub fn enable_vdf(&self) -> bool {
2271        self.feature_flags.enable_vdf
2272    }
2273
2274    pub fn fresh_vm_on_framework_upgrade(&self) -> bool {
2275        self.feature_flags.fresh_vm_on_framework_upgrade
2276    }
2277
2278    pub fn mysticeti_num_leaders_per_round(&self) -> Option<usize> {
2279        self.feature_flags.mysticeti_num_leaders_per_round
2280    }
2281
2282    pub fn soft_bundle(&self) -> bool {
2283        self.feature_flags.soft_bundle
2284    }
2285
2286    pub fn passkey_auth(&self) -> bool {
2287        self.feature_flags.passkey_auth
2288    }
2289
2290    pub fn authority_capabilities_v2(&self) -> bool {
2291        self.feature_flags.authority_capabilities_v2
2292    }
2293
2294    pub fn max_transaction_size_bytes(&self) -> u64 {
2295        // Provide a default value if protocol config version is too low.
2296        self.consensus_max_transaction_size_bytes
2297            .unwrap_or(256 * 1024)
2298    }
2299
2300    pub fn max_transactions_in_block_bytes(&self) -> u64 {
2301        if cfg!(msim) {
2302            256 * 1024
2303        } else {
2304            self.consensus_max_transactions_in_block_bytes
2305                .unwrap_or(512 * 1024)
2306        }
2307    }
2308
2309    pub fn max_num_transactions_in_block(&self) -> u64 {
2310        if cfg!(msim) {
2311            8
2312        } else {
2313            self.consensus_max_num_transactions_in_block.unwrap_or(512)
2314        }
2315    }
2316
2317    pub fn rethrow_serialization_type_layout_errors(&self) -> bool {
2318        self.feature_flags.rethrow_serialization_type_layout_errors
2319    }
2320
2321    pub fn consensus_distributed_vote_scoring_strategy(&self) -> bool {
2322        self.feature_flags
2323            .consensus_distributed_vote_scoring_strategy
2324    }
2325
2326    pub fn consensus_round_prober(&self) -> bool {
2327        self.feature_flags.consensus_round_prober
2328    }
2329
2330    pub fn validate_identifier_inputs(&self) -> bool {
2331        self.feature_flags.validate_identifier_inputs
2332    }
2333
2334    pub fn gc_depth(&self) -> u32 {
2335        self.consensus_gc_depth.unwrap_or(0)
2336    }
2337
2338    pub fn mysticeti_fastpath(&self) -> bool {
2339        self.feature_flags.mysticeti_fastpath
2340    }
2341
2342    pub fn relocate_event_module(&self) -> bool {
2343        self.feature_flags.relocate_event_module
2344    }
2345
2346    pub fn uncompressed_g1_group_elements(&self) -> bool {
2347        self.feature_flags.uncompressed_g1_group_elements
2348    }
2349
2350    pub fn disallow_new_modules_in_deps_only_packages(&self) -> bool {
2351        self.feature_flags
2352            .disallow_new_modules_in_deps_only_packages
2353    }
2354
2355    pub fn consensus_smart_ancestor_selection(&self) -> bool {
2356        self.feature_flags.consensus_smart_ancestor_selection
2357    }
2358
2359    pub fn disable_preconsensus_locking(&self) -> bool {
2360        self.feature_flags.disable_preconsensus_locking
2361    }
2362
2363    pub fn consensus_round_prober_probe_accepted_rounds(&self) -> bool {
2364        self.feature_flags
2365            .consensus_round_prober_probe_accepted_rounds
2366    }
2367
2368    pub fn native_charging_v2(&self) -> bool {
2369        self.feature_flags.native_charging_v2
2370    }
2371
2372    pub fn consensus_linearize_subdag_v2(&self) -> bool {
2373        let res = self.feature_flags.consensus_linearize_subdag_v2;
2374        assert!(
2375            !res || self.gc_depth() > 0,
2376            "The consensus linearize sub dag V2 requires GC to be enabled"
2377        );
2378        res
2379    }
2380
2381    pub fn consensus_median_based_commit_timestamp(&self) -> bool {
2382        let res = self.feature_flags.consensus_median_based_commit_timestamp;
2383        assert!(
2384            !res || self.gc_depth() > 0,
2385            "The consensus median based commit timestamp requires GC to be enabled"
2386        );
2387        res
2388    }
2389
2390    pub fn consensus_batched_block_sync(&self) -> bool {
2391        self.feature_flags.consensus_batched_block_sync
2392    }
2393
2394    pub fn convert_type_argument_error(&self) -> bool {
2395        self.feature_flags.convert_type_argument_error
2396    }
2397
2398    pub fn variant_nodes(&self) -> bool {
2399        self.feature_flags.variant_nodes
2400    }
2401
2402    pub fn consensus_zstd_compression(&self) -> bool {
2403        self.feature_flags.consensus_zstd_compression
2404    }
2405
2406    pub fn enable_nitro_attestation(&self) -> bool {
2407        self.feature_flags.enable_nitro_attestation
2408    }
2409
2410    pub fn enable_nitro_attestation_upgraded_parsing(&self) -> bool {
2411        self.feature_flags.enable_nitro_attestation_upgraded_parsing
2412    }
2413
2414    pub fn enable_nitro_attestation_all_nonzero_pcrs_parsing(&self) -> bool {
2415        self.feature_flags
2416            .enable_nitro_attestation_all_nonzero_pcrs_parsing
2417    }
2418
2419    pub fn enable_nitro_attestation_always_include_required_pcrs_parsing(&self) -> bool {
2420        self.feature_flags
2421            .enable_nitro_attestation_always_include_required_pcrs_parsing
2422    }
2423
2424    pub fn get_consensus_commit_rate_estimation_window_size(&self) -> u32 {
2425        self.consensus_commit_rate_estimation_window_size
2426            .unwrap_or(0)
2427    }
2428
2429    pub fn consensus_num_requested_prior_commits_at_startup(&self) -> u32 {
2430        // Currently there is only one parameter driving this value. If there are multiple
2431        // things computed from prior consensus commits, this function must return the max
2432        // of all of them.
2433        let window_size = self.get_consensus_commit_rate_estimation_window_size();
2434        // Ensure we are not using past commits without recording a state digest in the prologue.
2435        assert!(window_size == 0 || self.record_additional_state_digest_in_prologue());
2436        window_size
2437    }
2438
2439    pub fn minimize_child_object_mutations(&self) -> bool {
2440        self.feature_flags.minimize_child_object_mutations
2441    }
2442
2443    pub fn move_native_context(&self) -> bool {
2444        self.feature_flags.move_native_context
2445    }
2446
2447    pub fn normalize_ptb_arguments(&self) -> bool {
2448        self.feature_flags.normalize_ptb_arguments
2449    }
2450
2451    pub fn enforce_checkpoint_timestamp_monotonicity(&self) -> bool {
2452        self.feature_flags.enforce_checkpoint_timestamp_monotonicity
2453    }
2454
2455    pub fn max_ptb_value_size_v2(&self) -> bool {
2456        self.feature_flags.max_ptb_value_size_v2
2457    }
2458
2459    pub fn resolve_type_input_ids_to_defining_id(&self) -> bool {
2460        self.feature_flags.resolve_type_input_ids_to_defining_id
2461    }
2462
2463    pub fn enable_party_transfer(&self) -> bool {
2464        self.feature_flags.enable_party_transfer
2465    }
2466
2467    pub fn allow_unbounded_system_objects(&self) -> bool {
2468        self.feature_flags.allow_unbounded_system_objects
2469    }
2470
2471    pub fn type_tags_in_object_runtime(&self) -> bool {
2472        self.feature_flags.type_tags_in_object_runtime
2473    }
2474
2475    pub fn enable_ptb_execution_v2(&self) -> bool {
2476        self.feature_flags.enable_ptb_execution_v2
2477    }
2478
2479    pub fn better_adapter_type_resolution_errors(&self) -> bool {
2480        self.feature_flags.better_adapter_type_resolution_errors
2481    }
2482
2483    pub fn record_time_estimate_processed(&self) -> bool {
2484        self.feature_flags.record_time_estimate_processed
2485    }
2486
2487    pub fn ignore_execution_time_observations_after_certs_closed(&self) -> bool {
2488        self.feature_flags
2489            .ignore_execution_time_observations_after_certs_closed
2490    }
2491
2492    pub fn dependency_linkage_error(&self) -> bool {
2493        self.feature_flags.dependency_linkage_error
2494    }
2495
2496    pub fn additional_multisig_checks(&self) -> bool {
2497        self.feature_flags.additional_multisig_checks
2498    }
2499
2500    pub fn debug_fatal_on_move_invariant_violation(&self) -> bool {
2501        self.feature_flags.debug_fatal_on_move_invariant_violation
2502    }
2503
2504    pub fn allow_private_accumulator_entrypoints(&self) -> bool {
2505        self.feature_flags.allow_private_accumulator_entrypoints
2506    }
2507
2508    pub fn additional_consensus_digest_indirect_state(&self) -> bool {
2509        self.feature_flags
2510            .additional_consensus_digest_indirect_state
2511    }
2512
2513    pub fn check_for_init_during_upgrade(&self) -> bool {
2514        self.feature_flags.check_for_init_during_upgrade
2515    }
2516
2517    pub fn per_command_shared_object_transfer_rules(&self) -> bool {
2518        self.feature_flags.per_command_shared_object_transfer_rules
2519    }
2520
2521    pub fn consensus_checkpoint_signature_key_includes_digest(&self) -> bool {
2522        self.feature_flags
2523            .consensus_checkpoint_signature_key_includes_digest
2524    }
2525
2526    pub fn include_checkpoint_artifacts_digest_in_summary(&self) -> bool {
2527        self.feature_flags
2528            .include_checkpoint_artifacts_digest_in_summary
2529    }
2530
2531    pub fn use_mfp_txns_in_load_initial_object_debts(&self) -> bool {
2532        self.feature_flags.use_mfp_txns_in_load_initial_object_debts
2533    }
2534
2535    pub fn cancel_for_failed_dkg_early(&self) -> bool {
2536        self.feature_flags.cancel_for_failed_dkg_early
2537    }
2538
2539    pub fn abstract_size_in_object_runtime(&self) -> bool {
2540        self.feature_flags.abstract_size_in_object_runtime
2541    }
2542
2543    pub fn object_runtime_charge_cache_load_gas(&self) -> bool {
2544        self.feature_flags.object_runtime_charge_cache_load_gas
2545    }
2546
2547    pub fn additional_borrow_checks(&self) -> bool {
2548        self.feature_flags.additional_borrow_checks
2549    }
2550
2551    pub fn use_new_commit_handler(&self) -> bool {
2552        self.feature_flags.use_new_commit_handler
2553    }
2554
2555    pub fn better_loader_errors(&self) -> bool {
2556        self.feature_flags.better_loader_errors
2557    }
2558
2559    pub fn generate_df_type_layouts(&self) -> bool {
2560        self.feature_flags.generate_df_type_layouts
2561    }
2562
2563    pub fn allow_references_in_ptbs(&self) -> bool {
2564        self.feature_flags.allow_references_in_ptbs
2565    }
2566
2567    pub fn private_generics_verifier_v2(&self) -> bool {
2568        self.feature_flags.private_generics_verifier_v2
2569    }
2570
2571    pub fn deprecate_global_storage_ops_during_deserialization(&self) -> bool {
2572        self.feature_flags
2573            .deprecate_global_storage_ops_during_deserialization
2574    }
2575
2576    pub fn enable_observation_chunking(&self) -> bool {
2577        matches!(self.feature_flags.per_object_congestion_control_mode,
2578            PerObjectCongestionControlMode::ExecutionTimeEstimate(ref params)
2579                if params.observations_chunk_size.is_some()
2580        )
2581    }
2582
2583    pub fn deprecate_global_storage_ops(&self) -> bool {
2584        self.feature_flags.deprecate_global_storage_ops
2585    }
2586
2587    pub fn normalize_depth_formula(&self) -> bool {
2588        self.feature_flags.normalize_depth_formula
2589    }
2590
2591    pub fn consensus_skip_gced_accept_votes(&self) -> bool {
2592        self.feature_flags.consensus_skip_gced_accept_votes
2593    }
2594
2595    pub fn include_cancelled_randomness_txns_in_prologue(&self) -> bool {
2596        self.feature_flags
2597            .include_cancelled_randomness_txns_in_prologue
2598    }
2599
2600    pub fn address_aliases(&self) -> bool {
2601        let address_aliases = self.feature_flags.address_aliases;
2602        assert!(
2603            !address_aliases || self.mysticeti_fastpath(),
2604            "Address aliases requires Mysticeti fastpath to be enabled"
2605        );
2606        if address_aliases {
2607            assert!(
2608                self.feature_flags.disable_preconsensus_locking,
2609                "Address aliases requires CertifiedTransaction to be disabled"
2610            );
2611        }
2612        address_aliases
2613    }
2614
2615    pub fn fix_checkpoint_signature_mapping(&self) -> bool {
2616        self.feature_flags.fix_checkpoint_signature_mapping
2617    }
2618
2619    pub fn enable_object_funds_withdraw(&self) -> bool {
2620        self.feature_flags.enable_object_funds_withdraw
2621    }
2622
2623    pub fn gas_rounding_halve_digits(&self) -> bool {
2624        self.feature_flags.gas_rounding_halve_digits
2625    }
2626
2627    pub fn flexible_tx_context_positions(&self) -> bool {
2628        self.feature_flags.flexible_tx_context_positions
2629    }
2630
2631    pub fn disable_entry_point_signature_check(&self) -> bool {
2632        self.feature_flags.disable_entry_point_signature_check
2633    }
2634
2635    pub fn consensus_skip_gced_blocks_in_direct_finalization(&self) -> bool {
2636        self.feature_flags
2637            .consensus_skip_gced_blocks_in_direct_finalization
2638    }
2639
2640    pub fn convert_withdrawal_compatibility_ptb_arguments(&self) -> bool {
2641        self.feature_flags
2642            .convert_withdrawal_compatibility_ptb_arguments
2643    }
2644
2645    pub fn restrict_hot_or_not_entry_functions(&self) -> bool {
2646        self.feature_flags.restrict_hot_or_not_entry_functions
2647    }
2648
2649    pub fn split_checkpoints_in_consensus_handler(&self) -> bool {
2650        self.feature_flags.split_checkpoints_in_consensus_handler
2651    }
2652
2653    pub fn consensus_always_accept_system_transactions(&self) -> bool {
2654        self.feature_flags
2655            .consensus_always_accept_system_transactions
2656    }
2657
2658    pub fn validator_metadata_verify_v2(&self) -> bool {
2659        self.feature_flags.validator_metadata_verify_v2
2660    }
2661
2662    pub fn defer_unpaid_amplification(&self) -> bool {
2663        self.feature_flags.defer_unpaid_amplification
2664    }
2665
2666    pub fn gasless_transaction_drop_safety(&self) -> bool {
2667        self.feature_flags.gasless_transaction_drop_safety
2668    }
2669
2670    pub fn new_vm_enabled(&self) -> bool {
2671        self.feature_flags.new_vm_enabled
2672    }
2673}
2674
2675#[cfg(not(msim))]
2676static POISON_VERSION_METHODS: AtomicBool = AtomicBool::new(false);
2677
2678// Use a thread local in sim tests for test isolation.
2679#[cfg(msim)]
2680thread_local! {
2681    static POISON_VERSION_METHODS: AtomicBool = AtomicBool::new(false);
2682}
2683
2684// Instantiations for each protocol version.
2685impl ProtocolConfig {
2686    /// Get the value ProtocolConfig that are in effect during the given protocol version.
2687    pub fn get_for_version(version: ProtocolVersion, chain: Chain) -> Self {
2688        // ProtocolVersion can be deserialized so we need to check it here as well.
2689        assert!(
2690            version >= ProtocolVersion::MIN,
2691            "Network protocol version is {:?}, but the minimum supported version by the binary is {:?}. Please upgrade the binary.",
2692            version,
2693            ProtocolVersion::MIN.0,
2694        );
2695        assert!(
2696            version <= ProtocolVersion::MAX_ALLOWED,
2697            "Network protocol version is {:?}, but the maximum supported version by the binary is {:?}. Please upgrade the binary.",
2698            version,
2699            ProtocolVersion::MAX_ALLOWED.0,
2700        );
2701
2702        let mut ret = Self::get_for_version_impl(version, chain);
2703        ret.version = version;
2704
2705        ret = CONFIG_OVERRIDE.with(|ovr| {
2706            if let Some(override_fn) = &*ovr.borrow() {
2707                warn!(
2708                    "overriding ProtocolConfig settings with custom settings (you should not see this log outside of tests)"
2709                );
2710                override_fn(version, ret)
2711            } else {
2712                ret
2713            }
2714        });
2715
2716        if std::env::var("SUI_PROTOCOL_CONFIG_OVERRIDE_ENABLE").is_ok() {
2717            warn!(
2718                "overriding ProtocolConfig settings with custom settings; this may break non-local networks"
2719            );
2720            let overrides: ProtocolConfigOptional =
2721                serde_env::from_env_with_prefix("SUI_PROTOCOL_CONFIG_OVERRIDE")
2722                    .expect("failed to parse ProtocolConfig override env variables");
2723            overrides.apply_to(&mut ret);
2724        }
2725
2726        ret
2727    }
2728
2729    /// Get the value ProtocolConfig that are in effect during the given protocol version.
2730    /// Or none if the version is not supported.
2731    pub fn get_for_version_if_supported(version: ProtocolVersion, chain: Chain) -> Option<Self> {
2732        if version.0 >= ProtocolVersion::MIN.0 && version.0 <= ProtocolVersion::MAX_ALLOWED.0 {
2733            let mut ret = Self::get_for_version_impl(version, chain);
2734            ret.version = version;
2735            Some(ret)
2736        } else {
2737            None
2738        }
2739    }
2740
2741    #[cfg(not(msim))]
2742    pub fn poison_get_for_min_version() {
2743        POISON_VERSION_METHODS.store(true, Ordering::Relaxed);
2744    }
2745
2746    #[cfg(not(msim))]
2747    fn load_poison_get_for_min_version() -> bool {
2748        POISON_VERSION_METHODS.load(Ordering::Relaxed)
2749    }
2750
2751    #[cfg(msim)]
2752    pub fn poison_get_for_min_version() {
2753        POISON_VERSION_METHODS.with(|p| p.store(true, Ordering::Relaxed));
2754    }
2755
2756    #[cfg(msim)]
2757    fn load_poison_get_for_min_version() -> bool {
2758        POISON_VERSION_METHODS.with(|p| p.load(Ordering::Relaxed))
2759    }
2760
2761    /// Convenience to get the constants at the current minimum supported version.
2762    /// Mainly used by client code that may not yet be protocol-version aware.
2763    pub fn get_for_min_version() -> Self {
2764        if Self::load_poison_get_for_min_version() {
2765            panic!("get_for_min_version called on validator");
2766        }
2767        ProtocolConfig::get_for_version(ProtocolVersion::MIN, Chain::Unknown)
2768    }
2769
2770    /// CAREFUL! - You probably want to use `get_for_version` instead.
2771    ///
2772    /// Convenience to get the constants at the current maximum supported version.
2773    /// Mainly used by genesis. Note well that this function uses the max version
2774    /// supported locally by the node, which is not necessarily the current version
2775    /// of the network. ALSO, this function disregards chain specific config (by
2776    /// using Chain::Unknown), thereby potentially returning a protocol config that
2777    /// is incorrect for some feature flags. Definitely safe for testing and for
2778    /// protocol version 11 and prior.
2779    #[allow(non_snake_case)]
2780    pub fn get_for_max_version_UNSAFE() -> Self {
2781        if Self::load_poison_get_for_min_version() {
2782            panic!("get_for_max_version_UNSAFE called on validator");
2783        }
2784        ProtocolConfig::get_for_version(ProtocolVersion::MAX, Chain::Unknown)
2785    }
2786
2787    fn get_for_version_impl(version: ProtocolVersion, chain: Chain) -> Self {
2788        #[cfg(msim)]
2789        {
2790            // populate the fake simulator version # with a different base tx cost.
2791            if version == ProtocolVersion::MAX_ALLOWED {
2792                let mut config = Self::get_for_version_impl(version - 1, Chain::Unknown);
2793                config.base_tx_cost_fixed = Some(config.base_tx_cost_fixed() + 1000);
2794                return config;
2795            }
2796        }
2797
2798        // IMPORTANT: Never modify the value of any constant for a pre-existing protocol version.
2799        // To change the values here you must create a new protocol version with the new values!
2800        let mut cfg = Self {
2801            // will be overwritten before being returned
2802            version,
2803
2804            // All flags are disabled in V1
2805            feature_flags: Default::default(),
2806
2807            max_tx_size_bytes: Some(128 * 1024),
2808            // We need this number to be at least 100x less than `max_serialized_tx_effects_size_bytes`otherwise effects can be huge
2809            max_input_objects: Some(2048),
2810            max_serialized_tx_effects_size_bytes: Some(512 * 1024),
2811            max_serialized_tx_effects_size_bytes_system_tx: Some(512 * 1024 * 16),
2812            max_gas_payment_objects: Some(256),
2813            max_modules_in_publish: Some(128),
2814            max_package_dependencies: None,
2815            max_arguments: Some(512),
2816            max_type_arguments: Some(16),
2817            max_type_argument_depth: Some(16),
2818            max_pure_argument_size: Some(16 * 1024),
2819            max_programmable_tx_commands: Some(1024),
2820            move_binary_format_version: Some(6),
2821            min_move_binary_format_version: None,
2822            binary_module_handles: None,
2823            binary_struct_handles: None,
2824            binary_function_handles: None,
2825            binary_function_instantiations: None,
2826            binary_signatures: None,
2827            binary_constant_pool: None,
2828            binary_identifiers: None,
2829            binary_address_identifiers: None,
2830            binary_struct_defs: None,
2831            binary_struct_def_instantiations: None,
2832            binary_function_defs: None,
2833            binary_field_handles: None,
2834            binary_field_instantiations: None,
2835            binary_friend_decls: None,
2836            binary_enum_defs: None,
2837            binary_enum_def_instantiations: None,
2838            binary_variant_handles: None,
2839            binary_variant_instantiation_handles: None,
2840            max_move_object_size: Some(250 * 1024),
2841            max_move_package_size: Some(100 * 1024),
2842            max_publish_or_upgrade_per_ptb: None,
2843            max_tx_gas: Some(10_000_000_000),
2844            max_gas_price: Some(100_000),
2845            max_gas_price_rgp_factor_for_aborted_transactions: None,
2846            max_gas_computation_bucket: Some(5_000_000),
2847            max_loop_depth: Some(5),
2848            max_generic_instantiation_length: Some(32),
2849            max_function_parameters: Some(128),
2850            max_basic_blocks: Some(1024),
2851            max_value_stack_size: Some(1024),
2852            max_type_nodes: Some(256),
2853            max_push_size: Some(10000),
2854            max_struct_definitions: Some(200),
2855            max_function_definitions: Some(1000),
2856            max_fields_in_struct: Some(32),
2857            max_dependency_depth: Some(100),
2858            max_num_event_emit: Some(256),
2859            max_num_new_move_object_ids: Some(2048),
2860            max_num_new_move_object_ids_system_tx: Some(2048 * 16),
2861            max_num_deleted_move_object_ids: Some(2048),
2862            max_num_deleted_move_object_ids_system_tx: Some(2048 * 16),
2863            max_num_transferred_move_object_ids: Some(2048),
2864            max_num_transferred_move_object_ids_system_tx: Some(2048 * 16),
2865            max_event_emit_size: Some(250 * 1024),
2866            max_move_vector_len: Some(256 * 1024),
2867            max_type_to_layout_nodes: None,
2868            max_ptb_value_size: None,
2869
2870            max_back_edges_per_function: Some(10_000),
2871            max_back_edges_per_module: Some(10_000),
2872            max_verifier_meter_ticks_per_function: Some(6_000_000),
2873            max_meter_ticks_per_module: Some(6_000_000),
2874            max_meter_ticks_per_package: None,
2875
2876            object_runtime_max_num_cached_objects: Some(1000),
2877            object_runtime_max_num_cached_objects_system_tx: Some(1000 * 16),
2878            object_runtime_max_num_store_entries: Some(1000),
2879            object_runtime_max_num_store_entries_system_tx: Some(1000 * 16),
2880            base_tx_cost_fixed: Some(110_000),
2881            package_publish_cost_fixed: Some(1_000),
2882            base_tx_cost_per_byte: Some(0),
2883            package_publish_cost_per_byte: Some(80),
2884            obj_access_cost_read_per_byte: Some(15),
2885            obj_access_cost_mutate_per_byte: Some(40),
2886            obj_access_cost_delete_per_byte: Some(40),
2887            obj_access_cost_verify_per_byte: Some(200),
2888            obj_data_cost_refundable: Some(100),
2889            obj_metadata_cost_non_refundable: Some(50),
2890            gas_model_version: Some(1),
2891            storage_rebate_rate: Some(9900),
2892            storage_fund_reinvest_rate: Some(500),
2893            reward_slashing_rate: Some(5000),
2894            storage_gas_price: Some(1),
2895            accumulator_object_storage_cost: None,
2896            max_transactions_per_checkpoint: Some(10_000),
2897            max_checkpoint_size_bytes: Some(30 * 1024 * 1024),
2898
2899            // For now, perform upgrades with a bare quorum of validators.
2900            // MUSTFIX: This number should be increased to at least 2000 (20%) for mainnet.
2901            buffer_stake_for_protocol_upgrade_bps: Some(0),
2902
2903            // === Native Function Costs ===
2904            // `address` module
2905            // Cost params for the Move native function `address::from_bytes(bytes: vector<u8>)`
2906            address_from_bytes_cost_base: Some(52),
2907            // Cost params for the Move native function `address::to_u256(address): u256`
2908            address_to_u256_cost_base: Some(52),
2909            // Cost params for the Move native function `address::from_u256(u256): address`
2910            address_from_u256_cost_base: Some(52),
2911
2912            // `config` module
2913            // Cost params for the Move native function `read_setting_impl``
2914            config_read_setting_impl_cost_base: None,
2915            config_read_setting_impl_cost_per_byte: None,
2916
2917            // `dynamic_field` module
2918            // Cost params for the Move native function `hash_type_and_key<K: copy + drop + store>(parent: address, k: K): address`
2919            dynamic_field_hash_type_and_key_cost_base: Some(100),
2920            dynamic_field_hash_type_and_key_type_cost_per_byte: Some(2),
2921            dynamic_field_hash_type_and_key_value_cost_per_byte: Some(2),
2922            dynamic_field_hash_type_and_key_type_tag_cost_per_byte: Some(2),
2923            // Cost params for the Move native function `add_child_object<Child: key>(parent: address, child: Child)`
2924            dynamic_field_add_child_object_cost_base: Some(100),
2925            dynamic_field_add_child_object_type_cost_per_byte: Some(10),
2926            dynamic_field_add_child_object_value_cost_per_byte: Some(10),
2927            dynamic_field_add_child_object_struct_tag_cost_per_byte: Some(10),
2928            // Cost params for the Move native function `borrow_child_object_mut<Child: key>(parent: &mut UID, id: address): &mut Child`
2929            dynamic_field_borrow_child_object_cost_base: Some(100),
2930            dynamic_field_borrow_child_object_child_ref_cost_per_byte: Some(10),
2931            dynamic_field_borrow_child_object_type_cost_per_byte: Some(10),
2932            // Cost params for the Move native function `remove_child_object<Child: key>(parent: address, id: address): Child`
2933            dynamic_field_remove_child_object_cost_base: Some(100),
2934            dynamic_field_remove_child_object_child_cost_per_byte: Some(2),
2935            dynamic_field_remove_child_object_type_cost_per_byte: Some(2),
2936            // Cost params for the Move native function `has_child_object(parent: address, id: address): bool`
2937            dynamic_field_has_child_object_cost_base: Some(100),
2938            // Cost params for the Move native function `has_child_object_with_ty<Child: key>(parent: address, id: address): bool`
2939            dynamic_field_has_child_object_with_ty_cost_base: Some(100),
2940            dynamic_field_has_child_object_with_ty_type_cost_per_byte: Some(2),
2941            dynamic_field_has_child_object_with_ty_type_tag_cost_per_byte: Some(2),
2942
2943            // `event` module
2944            // Cost params for the Move native function `event::emit<T: copy + drop>(event: T)`
2945            event_emit_cost_base: Some(52),
2946            event_emit_value_size_derivation_cost_per_byte: Some(2),
2947            event_emit_tag_size_derivation_cost_per_byte: Some(5),
2948            event_emit_output_cost_per_byte: Some(10),
2949            event_emit_auth_stream_cost: None,
2950
2951            //  `object` module
2952            // Cost params for the Move native function `borrow_uid<T: key>(obj: &T): &UID`
2953            object_borrow_uid_cost_base: Some(52),
2954            // Cost params for the Move native function `delete_impl(id: address)`
2955            object_delete_impl_cost_base: Some(52),
2956            // Cost params for the Move native function `record_new_uid(id: address)`
2957            object_record_new_uid_cost_base: Some(52),
2958
2959            // `transfer` module
2960            // Cost params for the Move native function `transfer_impl<T: key>(obj: T, recipient: address)`
2961            transfer_transfer_internal_cost_base: Some(52),
2962            // Cost params for the Move native function `party_transfer_impl<T: key>(obj: T, party_members: vector<address>)`
2963            transfer_party_transfer_internal_cost_base: None,
2964            // Cost params for the Move native function `freeze_object<T: key>(obj: T)`
2965            transfer_freeze_object_cost_base: Some(52),
2966            // Cost params for the Move native function `share_object<T: key>(obj: T)`
2967            transfer_share_object_cost_base: Some(52),
2968            transfer_receive_object_cost_base: None,
2969
2970            // `tx_context` module
2971            // Cost params for the Move native function `transfer_impl<T: key>(obj: T, recipient: address)`
2972            tx_context_derive_id_cost_base: Some(52),
2973            tx_context_fresh_id_cost_base: None,
2974            tx_context_sender_cost_base: None,
2975            tx_context_epoch_cost_base: None,
2976            tx_context_epoch_timestamp_ms_cost_base: None,
2977            tx_context_sponsor_cost_base: None,
2978            tx_context_rgp_cost_base: None,
2979            tx_context_gas_price_cost_base: None,
2980            tx_context_gas_budget_cost_base: None,
2981            tx_context_ids_created_cost_base: None,
2982            tx_context_replace_cost_base: None,
2983
2984            // `types` module
2985            // Cost params for the Move native function `is_one_time_witness<T: drop>(_: &T): bool`
2986            types_is_one_time_witness_cost_base: Some(52),
2987            types_is_one_time_witness_type_tag_cost_per_byte: Some(2),
2988            types_is_one_time_witness_type_cost_per_byte: Some(2),
2989
2990            // `validator` module
2991            // Cost params for the Move native function `validate_metadata_bcs(metadata: vector<u8>)`
2992            validator_validate_metadata_cost_base: Some(52),
2993            validator_validate_metadata_data_cost_per_byte: Some(2),
2994
2995            // Crypto
2996            crypto_invalid_arguments_cost: Some(100),
2997            // bls12381::bls12381_min_pk_verify
2998            bls12381_bls12381_min_sig_verify_cost_base: Some(52),
2999            bls12381_bls12381_min_sig_verify_msg_cost_per_byte: Some(2),
3000            bls12381_bls12381_min_sig_verify_msg_cost_per_block: Some(2),
3001
3002            // bls12381::bls12381_min_pk_verify
3003            bls12381_bls12381_min_pk_verify_cost_base: Some(52),
3004            bls12381_bls12381_min_pk_verify_msg_cost_per_byte: Some(2),
3005            bls12381_bls12381_min_pk_verify_msg_cost_per_block: Some(2),
3006
3007            // ecdsa_k1::ecrecover
3008            ecdsa_k1_ecrecover_keccak256_cost_base: Some(52),
3009            ecdsa_k1_ecrecover_keccak256_msg_cost_per_byte: Some(2),
3010            ecdsa_k1_ecrecover_keccak256_msg_cost_per_block: Some(2),
3011            ecdsa_k1_ecrecover_sha256_cost_base: Some(52),
3012            ecdsa_k1_ecrecover_sha256_msg_cost_per_byte: Some(2),
3013            ecdsa_k1_ecrecover_sha256_msg_cost_per_block: Some(2),
3014
3015            // ecdsa_k1::decompress_pubkey
3016            ecdsa_k1_decompress_pubkey_cost_base: Some(52),
3017
3018            // ecdsa_k1::secp256k1_verify
3019            ecdsa_k1_secp256k1_verify_keccak256_cost_base: Some(52),
3020            ecdsa_k1_secp256k1_verify_keccak256_msg_cost_per_byte: Some(2),
3021            ecdsa_k1_secp256k1_verify_keccak256_msg_cost_per_block: Some(2),
3022            ecdsa_k1_secp256k1_verify_sha256_cost_base: Some(52),
3023            ecdsa_k1_secp256k1_verify_sha256_msg_cost_per_byte: Some(2),
3024            ecdsa_k1_secp256k1_verify_sha256_msg_cost_per_block: Some(2),
3025
3026            // ecdsa_r1::ecrecover
3027            ecdsa_r1_ecrecover_keccak256_cost_base: Some(52),
3028            ecdsa_r1_ecrecover_keccak256_msg_cost_per_byte: Some(2),
3029            ecdsa_r1_ecrecover_keccak256_msg_cost_per_block: Some(2),
3030            ecdsa_r1_ecrecover_sha256_cost_base: Some(52),
3031            ecdsa_r1_ecrecover_sha256_msg_cost_per_byte: Some(2),
3032            ecdsa_r1_ecrecover_sha256_msg_cost_per_block: Some(2),
3033
3034            // ecdsa_r1::secp256k1_verify
3035            ecdsa_r1_secp256r1_verify_keccak256_cost_base: Some(52),
3036            ecdsa_r1_secp256r1_verify_keccak256_msg_cost_per_byte: Some(2),
3037            ecdsa_r1_secp256r1_verify_keccak256_msg_cost_per_block: Some(2),
3038            ecdsa_r1_secp256r1_verify_sha256_cost_base: Some(52),
3039            ecdsa_r1_secp256r1_verify_sha256_msg_cost_per_byte: Some(2),
3040            ecdsa_r1_secp256r1_verify_sha256_msg_cost_per_block: Some(2),
3041
3042            // ecvrf::verify
3043            ecvrf_ecvrf_verify_cost_base: Some(52),
3044            ecvrf_ecvrf_verify_alpha_string_cost_per_byte: Some(2),
3045            ecvrf_ecvrf_verify_alpha_string_cost_per_block: Some(2),
3046
3047            // ed25519
3048            ed25519_ed25519_verify_cost_base: Some(52),
3049            ed25519_ed25519_verify_msg_cost_per_byte: Some(2),
3050            ed25519_ed25519_verify_msg_cost_per_block: Some(2),
3051
3052            // groth16::prepare_verifying_key
3053            groth16_prepare_verifying_key_bls12381_cost_base: Some(52),
3054            groth16_prepare_verifying_key_bn254_cost_base: Some(52),
3055
3056            // groth16::verify_groth16_proof_internal
3057            groth16_verify_groth16_proof_internal_bls12381_cost_base: Some(52),
3058            groth16_verify_groth16_proof_internal_bls12381_cost_per_public_input: Some(2),
3059            groth16_verify_groth16_proof_internal_bn254_cost_base: Some(52),
3060            groth16_verify_groth16_proof_internal_bn254_cost_per_public_input: Some(2),
3061            groth16_verify_groth16_proof_internal_public_input_cost_per_byte: Some(2),
3062
3063            // hash::blake2b256
3064            hash_blake2b256_cost_base: Some(52),
3065            hash_blake2b256_data_cost_per_byte: Some(2),
3066            hash_blake2b256_data_cost_per_block: Some(2),
3067
3068            // hash::keccak256
3069            hash_keccak256_cost_base: Some(52),
3070            hash_keccak256_data_cost_per_byte: Some(2),
3071            hash_keccak256_data_cost_per_block: Some(2),
3072
3073            poseidon_bn254_cost_base: None,
3074            poseidon_bn254_cost_per_block: None,
3075
3076            // hmac::hmac_sha3_256
3077            hmac_hmac_sha3_256_cost_base: Some(52),
3078            hmac_hmac_sha3_256_input_cost_per_byte: Some(2),
3079            hmac_hmac_sha3_256_input_cost_per_block: Some(2),
3080
3081            // group ops
3082            group_ops_bls12381_decode_scalar_cost: None,
3083            group_ops_bls12381_decode_g1_cost: None,
3084            group_ops_bls12381_decode_g2_cost: None,
3085            group_ops_bls12381_decode_gt_cost: None,
3086            group_ops_bls12381_scalar_add_cost: None,
3087            group_ops_bls12381_g1_add_cost: None,
3088            group_ops_bls12381_g2_add_cost: None,
3089            group_ops_bls12381_gt_add_cost: None,
3090            group_ops_bls12381_scalar_sub_cost: None,
3091            group_ops_bls12381_g1_sub_cost: None,
3092            group_ops_bls12381_g2_sub_cost: None,
3093            group_ops_bls12381_gt_sub_cost: None,
3094            group_ops_bls12381_scalar_mul_cost: None,
3095            group_ops_bls12381_g1_mul_cost: None,
3096            group_ops_bls12381_g2_mul_cost: None,
3097            group_ops_bls12381_gt_mul_cost: None,
3098            group_ops_bls12381_scalar_div_cost: None,
3099            group_ops_bls12381_g1_div_cost: None,
3100            group_ops_bls12381_g2_div_cost: None,
3101            group_ops_bls12381_gt_div_cost: None,
3102            group_ops_bls12381_g1_hash_to_base_cost: None,
3103            group_ops_bls12381_g2_hash_to_base_cost: None,
3104            group_ops_bls12381_g1_hash_to_cost_per_byte: None,
3105            group_ops_bls12381_g2_hash_to_cost_per_byte: None,
3106            group_ops_bls12381_g1_msm_base_cost: None,
3107            group_ops_bls12381_g2_msm_base_cost: None,
3108            group_ops_bls12381_g1_msm_base_cost_per_input: None,
3109            group_ops_bls12381_g2_msm_base_cost_per_input: None,
3110            group_ops_bls12381_msm_max_len: None,
3111            group_ops_bls12381_pairing_cost: None,
3112            group_ops_bls12381_g1_to_uncompressed_g1_cost: None,
3113            group_ops_bls12381_uncompressed_g1_to_g1_cost: None,
3114            group_ops_bls12381_uncompressed_g1_sum_base_cost: None,
3115            group_ops_bls12381_uncompressed_g1_sum_cost_per_term: None,
3116            group_ops_bls12381_uncompressed_g1_sum_max_terms: None,
3117
3118            group_ops_ristretto_decode_scalar_cost: None,
3119            group_ops_ristretto_decode_point_cost: None,
3120            group_ops_ristretto_scalar_add_cost: None,
3121            group_ops_ristretto_point_add_cost: None,
3122            group_ops_ristretto_scalar_sub_cost: None,
3123            group_ops_ristretto_point_sub_cost: None,
3124            group_ops_ristretto_scalar_mul_cost: None,
3125            group_ops_ristretto_point_mul_cost: None,
3126            group_ops_ristretto_scalar_div_cost: None,
3127            group_ops_ristretto_point_div_cost: None,
3128
3129            // zklogin::check_zklogin_id
3130            check_zklogin_id_cost_base: None,
3131            // zklogin::check_zklogin_issuer
3132            check_zklogin_issuer_cost_base: None,
3133
3134            vdf_verify_vdf_cost: None,
3135            vdf_hash_to_input_cost: None,
3136
3137            // nitro_attestation::verify_nitro_attestation
3138            nitro_attestation_parse_base_cost: None,
3139            nitro_attestation_parse_cost_per_byte: None,
3140            nitro_attestation_verify_base_cost: None,
3141            nitro_attestation_verify_cost_per_cert: None,
3142
3143            bcs_per_byte_serialized_cost: None,
3144            bcs_legacy_min_output_size_cost: None,
3145            bcs_failure_cost: None,
3146            hash_sha2_256_base_cost: None,
3147            hash_sha2_256_per_byte_cost: None,
3148            hash_sha2_256_legacy_min_input_len_cost: None,
3149            hash_sha3_256_base_cost: None,
3150            hash_sha3_256_per_byte_cost: None,
3151            hash_sha3_256_legacy_min_input_len_cost: None,
3152            type_name_get_base_cost: None,
3153            type_name_get_per_byte_cost: None,
3154            type_name_id_base_cost: None,
3155            string_check_utf8_base_cost: None,
3156            string_check_utf8_per_byte_cost: None,
3157            string_is_char_boundary_base_cost: None,
3158            string_sub_string_base_cost: None,
3159            string_sub_string_per_byte_cost: None,
3160            string_index_of_base_cost: None,
3161            string_index_of_per_byte_pattern_cost: None,
3162            string_index_of_per_byte_searched_cost: None,
3163            vector_empty_base_cost: None,
3164            vector_length_base_cost: None,
3165            vector_push_back_base_cost: None,
3166            vector_push_back_legacy_per_abstract_memory_unit_cost: None,
3167            vector_borrow_base_cost: None,
3168            vector_pop_back_base_cost: None,
3169            vector_destroy_empty_base_cost: None,
3170            vector_swap_base_cost: None,
3171            debug_print_base_cost: None,
3172            debug_print_stack_trace_base_cost: None,
3173
3174            max_size_written_objects: None,
3175            max_size_written_objects_system_tx: None,
3176
3177            // ==== Ephemeral (consensus only) params deleted ====
3178            // Const params for consensus scoring decision
3179            // scoring_decision_mad_divisor: None,
3180            // scoring_decision_cutoff_value: None,
3181
3182            // Limits the length of a Move identifier
3183            max_move_identifier_len: None,
3184            max_move_value_depth: None,
3185            max_move_enum_variants: None,
3186
3187            gas_rounding_step: None,
3188
3189            execution_version: None,
3190
3191            max_event_emit_size_total: None,
3192
3193            consensus_bad_nodes_stake_threshold: None,
3194
3195            max_jwk_votes_per_validator_per_epoch: None,
3196
3197            max_age_of_jwk_in_epochs: None,
3198
3199            random_beacon_reduction_allowed_delta: None,
3200
3201            random_beacon_reduction_lower_bound: None,
3202
3203            random_beacon_dkg_timeout_round: None,
3204
3205            random_beacon_min_round_interval_ms: None,
3206
3207            random_beacon_dkg_version: None,
3208
3209            consensus_max_transaction_size_bytes: None,
3210
3211            consensus_max_transactions_in_block_bytes: None,
3212
3213            consensus_max_num_transactions_in_block: None,
3214
3215            consensus_voting_rounds: None,
3216
3217            max_accumulated_txn_cost_per_object_in_narwhal_commit: None,
3218
3219            max_deferral_rounds_for_congestion_control: None,
3220
3221            max_txn_cost_overage_per_object_in_commit: None,
3222
3223            allowed_txn_cost_overage_burst_per_object_in_commit: None,
3224
3225            min_checkpoint_interval_ms: None,
3226
3227            checkpoint_summary_version_specific_data: None,
3228
3229            max_soft_bundle_size: None,
3230
3231            bridge_should_try_to_finalize_committee: None,
3232
3233            max_accumulated_txn_cost_per_object_in_mysticeti_commit: None,
3234
3235            max_accumulated_randomness_txn_cost_per_object_in_mysticeti_commit: None,
3236
3237            consensus_gc_depth: None,
3238
3239            gas_budget_based_txn_cost_cap_factor: None,
3240
3241            gas_budget_based_txn_cost_absolute_cap_commit_count: None,
3242
3243            sip_45_consensus_amplification_threshold: None,
3244
3245            use_object_per_epoch_marker_table_v2: None,
3246
3247            consensus_commit_rate_estimation_window_size: None,
3248
3249            aliased_addresses: vec![],
3250
3251            translation_per_command_base_charge: None,
3252            translation_per_input_base_charge: None,
3253            translation_pure_input_per_byte_charge: None,
3254            translation_per_type_node_charge: None,
3255            translation_per_reference_node_charge: None,
3256            translation_per_linkage_entry_charge: None,
3257
3258            max_updates_per_settlement_txn: None,
3259            // When adding a new constant, set it to None in the earliest version, like this:
3260            // new_constant: None,
3261        };
3262        for cur in 2..=version.0 {
3263            match cur {
3264                1 => unreachable!(),
3265                2 => {
3266                    cfg.feature_flags.advance_epoch_start_time_in_safe_mode = true;
3267                }
3268                3 => {
3269                    // changes for gas model
3270                    cfg.gas_model_version = Some(2);
3271                    // max gas budget is in MIST and an absolute value 50SUI
3272                    cfg.max_tx_gas = Some(50_000_000_000);
3273                    // min gas budget is in MIST and an absolute value 2000MIST or 0.000002SUI
3274                    cfg.base_tx_cost_fixed = Some(2_000);
3275                    // storage gas price multiplier
3276                    cfg.storage_gas_price = Some(76);
3277                    cfg.feature_flags.loaded_child_objects_fixed = true;
3278                    // max size of written objects during a TXn
3279                    // this is a sum of all objects written during a TXn
3280                    cfg.max_size_written_objects = Some(5 * 1000 * 1000);
3281                    // max size of written objects during a system TXn to allow for larger writes
3282                    // akin to `max_size_written_objects` but for system TXns
3283                    cfg.max_size_written_objects_system_tx = Some(50 * 1000 * 1000);
3284                    cfg.feature_flags.package_upgrades = true;
3285                }
3286                // This is the first protocol version currently possible.
3287                // Mainnet starts with version 4. Previous versions are pre mainnet and have
3288                // all been wiped out.
3289                // Every other chain is after version 4.
3290                4 => {
3291                    // Change reward slashing rate to 100%.
3292                    cfg.reward_slashing_rate = Some(10000);
3293                    // protect old and new lookup for object version
3294                    cfg.gas_model_version = Some(3);
3295                }
3296                5 => {
3297                    cfg.feature_flags.missing_type_is_compatibility_error = true;
3298                    cfg.gas_model_version = Some(4);
3299                    cfg.feature_flags.scoring_decision_with_validity_cutoff = true;
3300                    // ==== Ephemeral (consensus only) params deleted ====
3301                    // cfg.scoring_decision_mad_divisor = Some(2.3);
3302                    // cfg.scoring_decision_cutoff_value = Some(2.5);
3303                }
3304                6 => {
3305                    cfg.gas_model_version = Some(5);
3306                    cfg.buffer_stake_for_protocol_upgrade_bps = Some(5000);
3307                    cfg.feature_flags.consensus_order_end_of_epoch_last = true;
3308                }
3309                7 => {
3310                    cfg.feature_flags.disallow_adding_abilities_on_upgrade = true;
3311                    cfg.feature_flags
3312                        .disable_invariant_violation_check_in_swap_loc = true;
3313                    cfg.feature_flags.ban_entry_init = true;
3314                    cfg.feature_flags.package_digest_hash_module = true;
3315                }
3316                8 => {
3317                    cfg.feature_flags
3318                        .disallow_change_struct_type_params_on_upgrade = true;
3319                }
3320                9 => {
3321                    // Limits the length of a Move identifier
3322                    cfg.max_move_identifier_len = Some(128);
3323                    cfg.feature_flags.no_extraneous_module_bytes = true;
3324                    cfg.feature_flags
3325                        .advance_to_highest_supported_protocol_version = true;
3326                }
3327                10 => {
3328                    cfg.max_verifier_meter_ticks_per_function = Some(16_000_000);
3329                    cfg.max_meter_ticks_per_module = Some(16_000_000);
3330                }
3331                11 => {
3332                    cfg.max_move_value_depth = Some(128);
3333                }
3334                12 => {
3335                    cfg.feature_flags.narwhal_versioned_metadata = true;
3336                    if chain != Chain::Mainnet {
3337                        cfg.feature_flags.commit_root_state_digest = true;
3338                    }
3339
3340                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3341                        cfg.feature_flags.zklogin_auth = true;
3342                    }
3343                }
3344                13 => {}
3345                14 => {
3346                    cfg.gas_rounding_step = Some(1_000);
3347                    cfg.gas_model_version = Some(6);
3348                }
3349                15 => {
3350                    cfg.feature_flags.consensus_transaction_ordering =
3351                        ConsensusTransactionOrdering::ByGasPrice;
3352                }
3353                16 => {
3354                    cfg.feature_flags.simplified_unwrap_then_delete = true;
3355                }
3356                17 => {
3357                    cfg.feature_flags.upgraded_multisig_supported = true;
3358                }
3359                18 => {
3360                    cfg.execution_version = Some(1);
3361                    // Following flags are implied by this execution version.  Once support for earlier
3362                    // protocol versions is dropped, these flags can be removed:
3363                    // cfg.feature_flags.package_upgrades = true;
3364                    // cfg.feature_flags.disallow_adding_abilities_on_upgrade = true;
3365                    // cfg.feature_flags.disallow_change_struct_type_params_on_upgrade = true;
3366                    // cfg.feature_flags.loaded_child_objects_fixed = true;
3367                    // cfg.feature_flags.ban_entry_init = true;
3368                    // cfg.feature_flags.pack_digest_hash_modules = true;
3369                    cfg.feature_flags.txn_base_cost_as_multiplier = true;
3370                    // this is a multiplier of the gas price
3371                    cfg.base_tx_cost_fixed = Some(1_000);
3372                }
3373                19 => {
3374                    cfg.max_num_event_emit = Some(1024);
3375                    // We maintain the same total size limit for events, but increase the number of
3376                    // events that can be emitted.
3377                    cfg.max_event_emit_size_total = Some(
3378                        256 /* former event count limit */ * 250 * 1024, /* size limit per event */
3379                    );
3380                }
3381                20 => {
3382                    cfg.feature_flags.commit_root_state_digest = true;
3383
3384                    if chain != Chain::Mainnet {
3385                        cfg.feature_flags.narwhal_new_leader_election_schedule = true;
3386                        cfg.consensus_bad_nodes_stake_threshold = Some(20);
3387                    }
3388                }
3389
3390                21 => {
3391                    if chain != Chain::Mainnet {
3392                        cfg.feature_flags.zklogin_supported_providers = BTreeSet::from([
3393                            "Google".to_string(),
3394                            "Facebook".to_string(),
3395                            "Twitch".to_string(),
3396                        ]);
3397                    }
3398                }
3399                22 => {
3400                    cfg.feature_flags.loaded_child_object_format = true;
3401                }
3402                23 => {
3403                    cfg.feature_flags.loaded_child_object_format_type = true;
3404                    cfg.feature_flags.narwhal_new_leader_election_schedule = true;
3405                    // Taking a baby step approach, we consider only 20% by stake as bad nodes so we
3406                    // have a 80% by stake of nodes participating in the leader committee. That allow
3407                    // us for more redundancy in case we have validators under performing - since the
3408                    // responsibility is shared amongst more nodes. We can increase that once we do have
3409                    // higher confidence.
3410                    cfg.consensus_bad_nodes_stake_threshold = Some(20);
3411                }
3412                24 => {
3413                    cfg.feature_flags.simple_conservation_checks = true;
3414                    cfg.max_publish_or_upgrade_per_ptb = Some(5);
3415
3416                    cfg.feature_flags.end_of_epoch_transaction_supported = true;
3417
3418                    if chain != Chain::Mainnet {
3419                        cfg.feature_flags.enable_jwk_consensus_updates = true;
3420                        // Max of 10 votes per hour
3421                        cfg.max_jwk_votes_per_validator_per_epoch = Some(240);
3422                        cfg.max_age_of_jwk_in_epochs = Some(1);
3423                    }
3424                }
3425                25 => {
3426                    // Enable zkLogin for all providers in all networks.
3427                    cfg.feature_flags.zklogin_supported_providers = BTreeSet::from([
3428                        "Google".to_string(),
3429                        "Facebook".to_string(),
3430                        "Twitch".to_string(),
3431                    ]);
3432                    cfg.feature_flags.zklogin_auth = true;
3433
3434                    // Enable jwk consensus updates
3435                    cfg.feature_flags.enable_jwk_consensus_updates = true;
3436                    cfg.max_jwk_votes_per_validator_per_epoch = Some(240);
3437                    cfg.max_age_of_jwk_in_epochs = Some(1);
3438                }
3439                26 => {
3440                    cfg.gas_model_version = Some(7);
3441                    // Only enable receiving objects in devnet
3442                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3443                        cfg.transfer_receive_object_cost_base = Some(52);
3444                        cfg.feature_flags.receive_objects = true;
3445                    }
3446                }
3447                27 => {
3448                    cfg.gas_model_version = Some(8);
3449                }
3450                28 => {
3451                    // zklogin::check_zklogin_id
3452                    cfg.check_zklogin_id_cost_base = Some(200);
3453                    // zklogin::check_zklogin_issuer
3454                    cfg.check_zklogin_issuer_cost_base = Some(200);
3455
3456                    // Only enable effects v2 on devnet.
3457                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3458                        cfg.feature_flags.enable_effects_v2 = true;
3459                    }
3460                }
3461                29 => {
3462                    cfg.feature_flags.verify_legacy_zklogin_address = true;
3463                }
3464                30 => {
3465                    // Only enable nw certificate v2 on testnet.
3466                    if chain != Chain::Mainnet {
3467                        cfg.feature_flags.narwhal_certificate_v2 = true;
3468                    }
3469
3470                    cfg.random_beacon_reduction_allowed_delta = Some(800);
3471                    // Only enable effects v2 on devnet and testnet.
3472                    if chain != Chain::Mainnet {
3473                        cfg.feature_flags.enable_effects_v2 = true;
3474                    }
3475
3476                    // zklogin_supported_providers config is deprecated, zklogin
3477                    // signature verifier will use the fetched jwk map to determine
3478                    // whether the provider is supported based on node config.
3479                    cfg.feature_flags.zklogin_supported_providers = BTreeSet::default();
3480
3481                    cfg.feature_flags.recompute_has_public_transfer_in_execution = true;
3482                }
3483                31 => {
3484                    cfg.execution_version = Some(2);
3485                    // Only enable shared object deletion on devnet
3486                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3487                        cfg.feature_flags.shared_object_deletion = true;
3488                    }
3489                }
3490                32 => {
3491                    // enable zklogin in multisig in devnet and testnet
3492                    if chain != Chain::Mainnet {
3493                        cfg.feature_flags.accept_zklogin_in_multisig = true;
3494                    }
3495                    // enable receiving objects in devnet and testnet
3496                    if chain != Chain::Mainnet {
3497                        cfg.transfer_receive_object_cost_base = Some(52);
3498                        cfg.feature_flags.receive_objects = true;
3499                    }
3500                    // Only enable random beacon on devnet
3501                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3502                        cfg.feature_flags.random_beacon = true;
3503                        cfg.random_beacon_reduction_lower_bound = Some(1600);
3504                        cfg.random_beacon_dkg_timeout_round = Some(3000);
3505                        cfg.random_beacon_min_round_interval_ms = Some(150);
3506                    }
3507                    // Only enable consensus digest in consensus commit prologue in devnet.
3508                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3509                        cfg.feature_flags.include_consensus_digest_in_prologue = true;
3510                    }
3511
3512                    // enable nw cert v2 on mainnet
3513                    cfg.feature_flags.narwhal_certificate_v2 = true;
3514                }
3515                33 => {
3516                    cfg.feature_flags.hardened_otw_check = true;
3517                    cfg.feature_flags.allow_receiving_object_id = true;
3518
3519                    // Enable transfer-to-object in mainnet
3520                    cfg.transfer_receive_object_cost_base = Some(52);
3521                    cfg.feature_flags.receive_objects = true;
3522
3523                    // Enable shared object deletion in testnet and devnet
3524                    if chain != Chain::Mainnet {
3525                        cfg.feature_flags.shared_object_deletion = true;
3526                    }
3527
3528                    cfg.feature_flags.enable_effects_v2 = true;
3529                }
3530                34 => {}
3531                35 => {
3532                    // Add costs for poseidon::poseidon_bn254
3533                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3534                        cfg.feature_flags.enable_poseidon = true;
3535                        cfg.poseidon_bn254_cost_base = Some(260);
3536                        cfg.poseidon_bn254_cost_per_block = Some(10);
3537                    }
3538
3539                    cfg.feature_flags.enable_coin_deny_list = true;
3540                }
3541                36 => {
3542                    // Only enable group ops on devnet
3543                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3544                        cfg.feature_flags.enable_group_ops_native_functions = true;
3545                        cfg.feature_flags.enable_group_ops_native_function_msm = true;
3546                        // Next values are arbitrary in a similar way as the other crypto native functions.
3547                        cfg.group_ops_bls12381_decode_scalar_cost = Some(52);
3548                        cfg.group_ops_bls12381_decode_g1_cost = Some(52);
3549                        cfg.group_ops_bls12381_decode_g2_cost = Some(52);
3550                        cfg.group_ops_bls12381_decode_gt_cost = Some(52);
3551                        cfg.group_ops_bls12381_scalar_add_cost = Some(52);
3552                        cfg.group_ops_bls12381_g1_add_cost = Some(52);
3553                        cfg.group_ops_bls12381_g2_add_cost = Some(52);
3554                        cfg.group_ops_bls12381_gt_add_cost = Some(52);
3555                        cfg.group_ops_bls12381_scalar_sub_cost = Some(52);
3556                        cfg.group_ops_bls12381_g1_sub_cost = Some(52);
3557                        cfg.group_ops_bls12381_g2_sub_cost = Some(52);
3558                        cfg.group_ops_bls12381_gt_sub_cost = Some(52);
3559                        cfg.group_ops_bls12381_scalar_mul_cost = Some(52);
3560                        cfg.group_ops_bls12381_g1_mul_cost = Some(52);
3561                        cfg.group_ops_bls12381_g2_mul_cost = Some(52);
3562                        cfg.group_ops_bls12381_gt_mul_cost = Some(52);
3563                        cfg.group_ops_bls12381_scalar_div_cost = Some(52);
3564                        cfg.group_ops_bls12381_g1_div_cost = Some(52);
3565                        cfg.group_ops_bls12381_g2_div_cost = Some(52);
3566                        cfg.group_ops_bls12381_gt_div_cost = Some(52);
3567                        cfg.group_ops_bls12381_g1_hash_to_base_cost = Some(52);
3568                        cfg.group_ops_bls12381_g2_hash_to_base_cost = Some(52);
3569                        cfg.group_ops_bls12381_g1_hash_to_cost_per_byte = Some(2);
3570                        cfg.group_ops_bls12381_g2_hash_to_cost_per_byte = Some(2);
3571                        cfg.group_ops_bls12381_g1_msm_base_cost = Some(52);
3572                        cfg.group_ops_bls12381_g2_msm_base_cost = Some(52);
3573                        cfg.group_ops_bls12381_g1_msm_base_cost_per_input = Some(52);
3574                        cfg.group_ops_bls12381_g2_msm_base_cost_per_input = Some(52);
3575                        cfg.group_ops_bls12381_msm_max_len = Some(32);
3576                        cfg.group_ops_bls12381_pairing_cost = Some(52);
3577                    }
3578                    // Enable shared object deletion on all networks.
3579                    cfg.feature_flags.shared_object_deletion = true;
3580
3581                    cfg.consensus_max_transaction_size_bytes = Some(256 * 1024); // 256KB
3582                    cfg.consensus_max_transactions_in_block_bytes = Some(6 * 1_024 * 1024);
3583                    // 6 MB
3584                }
3585                37 => {
3586                    cfg.feature_flags.reject_mutable_random_on_entry_functions = true;
3587
3588                    // Enable consensus digest in consensus commit prologue in testnet and devnet.
3589                    if chain != Chain::Mainnet {
3590                        cfg.feature_flags.include_consensus_digest_in_prologue = true;
3591                    }
3592                }
3593                38 => {
3594                    cfg.binary_module_handles = Some(100);
3595                    cfg.binary_struct_handles = Some(300);
3596                    cfg.binary_function_handles = Some(1500);
3597                    cfg.binary_function_instantiations = Some(750);
3598                    cfg.binary_signatures = Some(1000);
3599                    // constants and identifiers are proportional to the binary size,
3600                    // and they vastly depend on the code, so we are leaving them
3601                    // reasonably high
3602                    cfg.binary_constant_pool = Some(4000);
3603                    cfg.binary_identifiers = Some(10000);
3604                    cfg.binary_address_identifiers = Some(100);
3605                    cfg.binary_struct_defs = Some(200);
3606                    cfg.binary_struct_def_instantiations = Some(100);
3607                    cfg.binary_function_defs = Some(1000);
3608                    cfg.binary_field_handles = Some(500);
3609                    cfg.binary_field_instantiations = Some(250);
3610                    cfg.binary_friend_decls = Some(100);
3611                    // reduce dependencies maximum
3612                    cfg.max_package_dependencies = Some(32);
3613                    cfg.max_modules_in_publish = Some(64);
3614                    // bump execution version
3615                    cfg.execution_version = Some(3);
3616                }
3617                39 => {
3618                    // It is important that we keep this protocol version blank due to an issue with random.move.
3619                }
3620                40 => {}
3621                41 => {
3622                    // Enable group ops and all networks (but not msm)
3623                    cfg.feature_flags.enable_group_ops_native_functions = true;
3624                    // Next values are arbitrary in a similar way as the other crypto native functions.
3625                    cfg.group_ops_bls12381_decode_scalar_cost = Some(52);
3626                    cfg.group_ops_bls12381_decode_g1_cost = Some(52);
3627                    cfg.group_ops_bls12381_decode_g2_cost = Some(52);
3628                    cfg.group_ops_bls12381_decode_gt_cost = Some(52);
3629                    cfg.group_ops_bls12381_scalar_add_cost = Some(52);
3630                    cfg.group_ops_bls12381_g1_add_cost = Some(52);
3631                    cfg.group_ops_bls12381_g2_add_cost = Some(52);
3632                    cfg.group_ops_bls12381_gt_add_cost = Some(52);
3633                    cfg.group_ops_bls12381_scalar_sub_cost = Some(52);
3634                    cfg.group_ops_bls12381_g1_sub_cost = Some(52);
3635                    cfg.group_ops_bls12381_g2_sub_cost = Some(52);
3636                    cfg.group_ops_bls12381_gt_sub_cost = Some(52);
3637                    cfg.group_ops_bls12381_scalar_mul_cost = Some(52);
3638                    cfg.group_ops_bls12381_g1_mul_cost = Some(52);
3639                    cfg.group_ops_bls12381_g2_mul_cost = Some(52);
3640                    cfg.group_ops_bls12381_gt_mul_cost = Some(52);
3641                    cfg.group_ops_bls12381_scalar_div_cost = Some(52);
3642                    cfg.group_ops_bls12381_g1_div_cost = Some(52);
3643                    cfg.group_ops_bls12381_g2_div_cost = Some(52);
3644                    cfg.group_ops_bls12381_gt_div_cost = Some(52);
3645                    cfg.group_ops_bls12381_g1_hash_to_base_cost = Some(52);
3646                    cfg.group_ops_bls12381_g2_hash_to_base_cost = Some(52);
3647                    cfg.group_ops_bls12381_g1_hash_to_cost_per_byte = Some(2);
3648                    cfg.group_ops_bls12381_g2_hash_to_cost_per_byte = Some(2);
3649                    cfg.group_ops_bls12381_g1_msm_base_cost = Some(52);
3650                    cfg.group_ops_bls12381_g2_msm_base_cost = Some(52);
3651                    cfg.group_ops_bls12381_g1_msm_base_cost_per_input = Some(52);
3652                    cfg.group_ops_bls12381_g2_msm_base_cost_per_input = Some(52);
3653                    cfg.group_ops_bls12381_msm_max_len = Some(32);
3654                    cfg.group_ops_bls12381_pairing_cost = Some(52);
3655                }
3656                42 => {}
3657                43 => {
3658                    cfg.feature_flags.zklogin_max_epoch_upper_bound_delta = Some(30);
3659                    cfg.max_meter_ticks_per_package = Some(16_000_000);
3660                }
3661                44 => {
3662                    // Enable consensus digest in consensus commit prologue on all networks..
3663                    cfg.feature_flags.include_consensus_digest_in_prologue = true;
3664                    // Switch between Narwhal and Mysticeti per epoch in tests, devnet and testnet.
3665                    if chain != Chain::Mainnet {
3666                        cfg.feature_flags.consensus_choice = ConsensusChoice::SwapEachEpoch;
3667                    }
3668                }
3669                45 => {
3670                    // Use tonic networking for consensus, in tests and devnet.
3671                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3672                        cfg.feature_flags.consensus_network = ConsensusNetwork::Tonic;
3673                    }
3674
3675                    if chain != Chain::Mainnet {
3676                        // Enable leader scoring & schedule change on testnet for mysticeti.
3677                        cfg.feature_flags.mysticeti_leader_scoring_and_schedule = true;
3678                    }
3679                    cfg.min_move_binary_format_version = Some(6);
3680                    cfg.feature_flags.accept_zklogin_in_multisig = true;
3681
3682                    // Also bumps framework snapshot to fix binop issue.
3683
3684                    // enable bridge in devnet
3685                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3686                        cfg.feature_flags.bridge = true;
3687                    }
3688                }
3689                46 => {
3690                    // enable bridge in devnet and testnet
3691                    if chain != Chain::Mainnet {
3692                        cfg.feature_flags.bridge = true;
3693                    }
3694
3695                    // Enable resharing at same initial version
3696                    cfg.feature_flags.reshare_at_same_initial_version = true;
3697                }
3698                47 => {}
3699                48 => {
3700                    // Use tonic networking for Mysticeti.
3701                    cfg.feature_flags.consensus_network = ConsensusNetwork::Tonic;
3702
3703                    // Enable resolving abort code IDs to package ID instead of runtime module ID
3704                    cfg.feature_flags.resolve_abort_locations_to_package_id = true;
3705
3706                    // Enable random beacon on testnet.
3707                    if chain != Chain::Mainnet {
3708                        cfg.feature_flags.random_beacon = true;
3709                        cfg.random_beacon_reduction_lower_bound = Some(1600);
3710                        cfg.random_beacon_dkg_timeout_round = Some(3000);
3711                        cfg.random_beacon_min_round_interval_ms = Some(200);
3712                    }
3713
3714                    // Enable the committed sub dag digest inclusion on the commit output
3715                    cfg.feature_flags.mysticeti_use_committed_subdag_digest = true;
3716                }
3717                49 => {
3718                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3719                        cfg.move_binary_format_version = Some(7);
3720                    }
3721
3722                    // enable vdf in devnet
3723                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3724                        cfg.feature_flags.enable_vdf = true;
3725                        // Set to 30x and 2x the cost of a signature verification for now. This
3726                        // should be updated along with other native crypto functions.
3727                        cfg.vdf_verify_vdf_cost = Some(1500);
3728                        cfg.vdf_hash_to_input_cost = Some(100);
3729                    }
3730
3731                    // Only enable consensus commit prologue V3 in devnet.
3732                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3733                        cfg.feature_flags
3734                            .record_consensus_determined_version_assignments_in_prologue = true;
3735                    }
3736
3737                    // Run Mysticeti consensus in testnet.
3738                    if chain != Chain::Mainnet {
3739                        cfg.feature_flags.consensus_choice = ConsensusChoice::Mysticeti;
3740                    }
3741
3742                    // Run Move verification on framework upgrades in its own VM
3743                    cfg.feature_flags.fresh_vm_on_framework_upgrade = true;
3744                }
3745                50 => {
3746                    // Enable checkpoint batching in testnet.
3747                    if chain != Chain::Mainnet {
3748                        cfg.checkpoint_summary_version_specific_data = Some(1);
3749                        cfg.min_checkpoint_interval_ms = Some(200);
3750                    }
3751
3752                    // Only enable prepose consensus commit prologue in checkpoints in devnet.
3753                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3754                        cfg.feature_flags
3755                            .prepend_prologue_tx_in_consensus_commit_in_checkpoints = true;
3756                    }
3757
3758                    cfg.feature_flags.mysticeti_num_leaders_per_round = Some(1);
3759
3760                    // Set max transaction deferral to 10 consensus rounds.
3761                    cfg.max_deferral_rounds_for_congestion_control = Some(10);
3762                }
3763                51 => {
3764                    cfg.random_beacon_dkg_version = Some(1);
3765
3766                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3767                        cfg.feature_flags.enable_coin_deny_list_v2 = true;
3768                    }
3769                }
3770                52 => {
3771                    if chain != Chain::Mainnet {
3772                        cfg.feature_flags.soft_bundle = true;
3773                        cfg.max_soft_bundle_size = Some(5);
3774                    }
3775
3776                    cfg.config_read_setting_impl_cost_base = Some(100);
3777                    cfg.config_read_setting_impl_cost_per_byte = Some(40);
3778
3779                    // Turn on shared object congestion control in devnet.
3780                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3781                        cfg.max_accumulated_txn_cost_per_object_in_narwhal_commit = Some(100);
3782                        cfg.feature_flags.per_object_congestion_control_mode =
3783                            PerObjectCongestionControlMode::TotalTxCount;
3784                    }
3785
3786                    // Enable Mysticeti on mainnet.
3787                    cfg.feature_flags.consensus_choice = ConsensusChoice::Mysticeti;
3788
3789                    // Enable leader scoring & schedule change on mainnet for mysticeti.
3790                    cfg.feature_flags.mysticeti_leader_scoring_and_schedule = true;
3791
3792                    // Enable checkpoint batching on mainnet.
3793                    cfg.checkpoint_summary_version_specific_data = Some(1);
3794                    cfg.min_checkpoint_interval_ms = Some(200);
3795
3796                    // Enable consensus commit prologue V3 in testnet.
3797                    if chain != Chain::Mainnet {
3798                        cfg.feature_flags
3799                            .record_consensus_determined_version_assignments_in_prologue = true;
3800                        cfg.feature_flags
3801                            .prepend_prologue_tx_in_consensus_commit_in_checkpoints = true;
3802                    }
3803                    // Turn on enums in testnet and devnet
3804                    if chain != Chain::Mainnet {
3805                        cfg.move_binary_format_version = Some(7);
3806                    }
3807
3808                    if chain != Chain::Testnet && chain != Chain::Mainnet {
3809                        cfg.feature_flags.passkey_auth = true;
3810                    }
3811                    cfg.feature_flags.enable_coin_deny_list_v2 = true;
3812                }
3813                53 => {
3814                    // Do not allow bridge committee to finalize on mainnet.
3815                    cfg.bridge_should_try_to_finalize_committee = Some(chain != Chain::Mainnet);
3816
3817                    // Enable consensus commit prologue V3 on mainnet.
3818                    cfg.feature_flags
3819                        .record_consensus_determined_version_assignments_in_prologue = true;
3820                    cfg.feature_flags
3821                        .prepend_prologue_tx_in_consensus_commit_in_checkpoints = true;
3822
3823                    if chain == Chain::Unknown {
3824                        cfg.feature_flags.authority_capabilities_v2 = true;
3825                    }
3826
3827                    // Turns on shared object congestion control on testnet.
3828                    if chain != Chain::Mainnet {
3829                        cfg.max_accumulated_txn_cost_per_object_in_narwhal_commit = Some(100);
3830                        cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(10);
3831                        cfg.feature_flags.per_object_congestion_control_mode =
3832                            PerObjectCongestionControlMode::TotalTxCount;
3833                    }
3834
3835                    // Adjust stdlib gas costs
3836                    cfg.bcs_per_byte_serialized_cost = Some(2);
3837                    cfg.bcs_legacy_min_output_size_cost = Some(1);
3838                    cfg.bcs_failure_cost = Some(52);
3839                    cfg.debug_print_base_cost = Some(52);
3840                    cfg.debug_print_stack_trace_base_cost = Some(52);
3841                    cfg.hash_sha2_256_base_cost = Some(52);
3842                    cfg.hash_sha2_256_per_byte_cost = Some(2);
3843                    cfg.hash_sha2_256_legacy_min_input_len_cost = Some(1);
3844                    cfg.hash_sha3_256_base_cost = Some(52);
3845                    cfg.hash_sha3_256_per_byte_cost = Some(2);
3846                    cfg.hash_sha3_256_legacy_min_input_len_cost = Some(1);
3847                    cfg.type_name_get_base_cost = Some(52);
3848                    cfg.type_name_get_per_byte_cost = Some(2);
3849                    cfg.string_check_utf8_base_cost = Some(52);
3850                    cfg.string_check_utf8_per_byte_cost = Some(2);
3851                    cfg.string_is_char_boundary_base_cost = Some(52);
3852                    cfg.string_sub_string_base_cost = Some(52);
3853                    cfg.string_sub_string_per_byte_cost = Some(2);
3854                    cfg.string_index_of_base_cost = Some(52);
3855                    cfg.string_index_of_per_byte_pattern_cost = Some(2);
3856                    cfg.string_index_of_per_byte_searched_cost = Some(2);
3857                    cfg.vector_empty_base_cost = Some(52);
3858                    cfg.vector_length_base_cost = Some(52);
3859                    cfg.vector_push_back_base_cost = Some(52);
3860                    cfg.vector_push_back_legacy_per_abstract_memory_unit_cost = Some(2);
3861                    cfg.vector_borrow_base_cost = Some(52);
3862                    cfg.vector_pop_back_base_cost = Some(52);
3863                    cfg.vector_destroy_empty_base_cost = Some(52);
3864                    cfg.vector_swap_base_cost = Some(52);
3865                }
3866                54 => {
3867                    // Enable random beacon on mainnet.
3868                    cfg.feature_flags.random_beacon = true;
3869                    cfg.random_beacon_reduction_lower_bound = Some(1000);
3870                    cfg.random_beacon_dkg_timeout_round = Some(3000);
3871                    cfg.random_beacon_min_round_interval_ms = Some(500);
3872
3873                    // Turns on shared object congestion control on mainnet.
3874                    cfg.max_accumulated_txn_cost_per_object_in_narwhal_commit = Some(100);
3875                    cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(10);
3876                    cfg.feature_flags.per_object_congestion_control_mode =
3877                        PerObjectCongestionControlMode::TotalTxCount;
3878
3879                    // Enable soft bundle on mainnet.
3880                    cfg.feature_flags.soft_bundle = true;
3881                    cfg.max_soft_bundle_size = Some(5);
3882                }
3883                55 => {
3884                    // Turn on enums mainnet
3885                    cfg.move_binary_format_version = Some(7);
3886
3887                    // Assume 1KB per transaction and 500 transactions per block.
3888                    cfg.consensus_max_transactions_in_block_bytes = Some(512 * 1024);
3889                    // Assume 20_000 TPS * 5% max stake per validator / (minimum) 4 blocks per round = 250 transactions per block maximum
3890                    // Using a higher limit that is 512, to account for bursty traffic and system transactions.
3891                    cfg.consensus_max_num_transactions_in_block = Some(512);
3892
3893                    cfg.feature_flags.rethrow_serialization_type_layout_errors = true;
3894                }
3895                56 => {
3896                    if chain == Chain::Mainnet {
3897                        cfg.feature_flags.bridge = true;
3898                    }
3899                }
3900                57 => {
3901                    // Reduce minimum number of random beacon shares.
3902                    cfg.random_beacon_reduction_lower_bound = Some(800);
3903                }
3904                58 => {
3905                    if chain == Chain::Mainnet {
3906                        cfg.bridge_should_try_to_finalize_committee = Some(true);
3907                    }
3908
3909                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3910                        // Enable distributed vote scoring for devnet
3911                        cfg.feature_flags
3912                            .consensus_distributed_vote_scoring_strategy = true;
3913                    }
3914                }
3915                59 => {
3916                    // Enable round prober in consensus.
3917                    cfg.feature_flags.consensus_round_prober = true;
3918                }
3919                60 => {
3920                    cfg.max_type_to_layout_nodes = Some(512);
3921                    cfg.feature_flags.validate_identifier_inputs = true;
3922                }
3923                61 => {
3924                    if chain != Chain::Mainnet {
3925                        // Enable distributed vote scoring for testnet
3926                        cfg.feature_flags
3927                            .consensus_distributed_vote_scoring_strategy = true;
3928                    }
3929                    // Further reduce minimum number of random beacon shares.
3930                    cfg.random_beacon_reduction_lower_bound = Some(700);
3931
3932                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3933                        // Enable Mysticeti fastpath for devnet
3934                        cfg.feature_flags.mysticeti_fastpath = true;
3935                    }
3936                }
3937                62 => {
3938                    cfg.feature_flags.relocate_event_module = true;
3939                }
3940                63 => {
3941                    cfg.feature_flags.per_object_congestion_control_mode =
3942                        PerObjectCongestionControlMode::TotalGasBudgetWithCap;
3943                    cfg.gas_budget_based_txn_cost_cap_factor = Some(400_000);
3944                    cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(18_500_000);
3945                    cfg.max_accumulated_txn_cost_per_object_in_narwhal_commit = Some(240_000_000);
3946                }
3947                64 => {
3948                    cfg.feature_flags.per_object_congestion_control_mode =
3949                        PerObjectCongestionControlMode::TotalTxCount;
3950                    cfg.max_accumulated_txn_cost_per_object_in_narwhal_commit = Some(40);
3951                    cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(3);
3952                }
3953                65 => {
3954                    // Enable distributed vote scoring for mainnet
3955                    cfg.feature_flags
3956                        .consensus_distributed_vote_scoring_strategy = true;
3957                }
3958                66 => {
3959                    if chain == Chain::Mainnet {
3960                        // Revert the distributed vote scoring for mainnet (for one protocol upgrade)
3961                        cfg.feature_flags
3962                            .consensus_distributed_vote_scoring_strategy = false;
3963                    }
3964                }
3965                67 => {
3966                    // Enable it once again.
3967                    cfg.feature_flags
3968                        .consensus_distributed_vote_scoring_strategy = true;
3969                }
3970                68 => {
3971                    cfg.group_ops_bls12381_g1_to_uncompressed_g1_cost = Some(26);
3972                    cfg.group_ops_bls12381_uncompressed_g1_to_g1_cost = Some(52);
3973                    cfg.group_ops_bls12381_uncompressed_g1_sum_base_cost = Some(26);
3974                    cfg.group_ops_bls12381_uncompressed_g1_sum_cost_per_term = Some(13);
3975                    cfg.group_ops_bls12381_uncompressed_g1_sum_max_terms = Some(2000);
3976
3977                    if chain != Chain::Mainnet && chain != Chain::Testnet {
3978                        cfg.feature_flags.uncompressed_g1_group_elements = true;
3979                    }
3980
3981                    cfg.feature_flags.per_object_congestion_control_mode =
3982                        PerObjectCongestionControlMode::TotalGasBudgetWithCap;
3983                    cfg.gas_budget_based_txn_cost_cap_factor = Some(400_000);
3984                    cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(18_500_000);
3985                    cfg.max_accumulated_randomness_txn_cost_per_object_in_mysticeti_commit =
3986                        Some(3_700_000); // 20% of above
3987                    cfg.max_txn_cost_overage_per_object_in_commit = Some(u64::MAX);
3988                    cfg.gas_budget_based_txn_cost_absolute_cap_commit_count = Some(50);
3989
3990                    // Further reduce minimum number of random beacon shares.
3991                    cfg.random_beacon_reduction_lower_bound = Some(500);
3992
3993                    cfg.feature_flags.disallow_new_modules_in_deps_only_packages = true;
3994                }
3995                69 => {
3996                    // Sets number of rounds allowed for fastpath voting in consensus.
3997                    cfg.consensus_voting_rounds = Some(40);
3998
3999                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4000                        // Enable smart ancestor selection for devnet
4001                        cfg.feature_flags.consensus_smart_ancestor_selection = true;
4002                    }
4003
4004                    if chain != Chain::Mainnet {
4005                        cfg.feature_flags.uncompressed_g1_group_elements = true;
4006                    }
4007                }
4008                70 => {
4009                    if chain != Chain::Mainnet {
4010                        // Enable smart ancestor selection for testnet
4011                        cfg.feature_flags.consensus_smart_ancestor_selection = true;
4012                        // Enable probing for accepted rounds in round prober for testnet
4013                        cfg.feature_flags
4014                            .consensus_round_prober_probe_accepted_rounds = true;
4015                    }
4016
4017                    cfg.poseidon_bn254_cost_per_block = Some(388);
4018
4019                    cfg.gas_model_version = Some(9);
4020                    cfg.feature_flags.native_charging_v2 = true;
4021                    cfg.bls12381_bls12381_min_sig_verify_cost_base = Some(44064);
4022                    cfg.bls12381_bls12381_min_pk_verify_cost_base = Some(49282);
4023                    cfg.ecdsa_k1_secp256k1_verify_keccak256_cost_base = Some(1470);
4024                    cfg.ecdsa_k1_secp256k1_verify_sha256_cost_base = Some(1470);
4025                    cfg.ecdsa_r1_secp256r1_verify_sha256_cost_base = Some(4225);
4026                    cfg.ecdsa_r1_secp256r1_verify_keccak256_cost_base = Some(4225);
4027                    cfg.ecvrf_ecvrf_verify_cost_base = Some(4848);
4028                    cfg.ed25519_ed25519_verify_cost_base = Some(1802);
4029
4030                    // Manually changed to be "under cost"
4031                    cfg.ecdsa_r1_ecrecover_keccak256_cost_base = Some(1173);
4032                    cfg.ecdsa_r1_ecrecover_sha256_cost_base = Some(1173);
4033                    cfg.ecdsa_k1_ecrecover_keccak256_cost_base = Some(500);
4034                    cfg.ecdsa_k1_ecrecover_sha256_cost_base = Some(500);
4035
4036                    cfg.groth16_prepare_verifying_key_bls12381_cost_base = Some(53838);
4037                    cfg.groth16_prepare_verifying_key_bn254_cost_base = Some(82010);
4038                    cfg.groth16_verify_groth16_proof_internal_bls12381_cost_base = Some(72090);
4039                    cfg.groth16_verify_groth16_proof_internal_bls12381_cost_per_public_input =
4040                        Some(8213);
4041                    cfg.groth16_verify_groth16_proof_internal_bn254_cost_base = Some(115502);
4042                    cfg.groth16_verify_groth16_proof_internal_bn254_cost_per_public_input =
4043                        Some(9484);
4044
4045                    cfg.hash_keccak256_cost_base = Some(10);
4046                    cfg.hash_blake2b256_cost_base = Some(10);
4047
4048                    // group ops
4049                    cfg.group_ops_bls12381_decode_scalar_cost = Some(7);
4050                    cfg.group_ops_bls12381_decode_g1_cost = Some(2848);
4051                    cfg.group_ops_bls12381_decode_g2_cost = Some(3770);
4052                    cfg.group_ops_bls12381_decode_gt_cost = Some(3068);
4053
4054                    cfg.group_ops_bls12381_scalar_add_cost = Some(10);
4055                    cfg.group_ops_bls12381_g1_add_cost = Some(1556);
4056                    cfg.group_ops_bls12381_g2_add_cost = Some(3048);
4057                    cfg.group_ops_bls12381_gt_add_cost = Some(188);
4058
4059                    cfg.group_ops_bls12381_scalar_sub_cost = Some(10);
4060                    cfg.group_ops_bls12381_g1_sub_cost = Some(1550);
4061                    cfg.group_ops_bls12381_g2_sub_cost = Some(3019);
4062                    cfg.group_ops_bls12381_gt_sub_cost = Some(497);
4063
4064                    cfg.group_ops_bls12381_scalar_mul_cost = Some(11);
4065                    cfg.group_ops_bls12381_g1_mul_cost = Some(4842);
4066                    cfg.group_ops_bls12381_g2_mul_cost = Some(9108);
4067                    cfg.group_ops_bls12381_gt_mul_cost = Some(27490);
4068
4069                    cfg.group_ops_bls12381_scalar_div_cost = Some(91);
4070                    cfg.group_ops_bls12381_g1_div_cost = Some(5091);
4071                    cfg.group_ops_bls12381_g2_div_cost = Some(9206);
4072                    cfg.group_ops_bls12381_gt_div_cost = Some(27804);
4073
4074                    cfg.group_ops_bls12381_g1_hash_to_base_cost = Some(2962);
4075                    cfg.group_ops_bls12381_g2_hash_to_base_cost = Some(8688);
4076
4077                    cfg.group_ops_bls12381_g1_msm_base_cost = Some(62648);
4078                    cfg.group_ops_bls12381_g2_msm_base_cost = Some(131192);
4079                    cfg.group_ops_bls12381_g1_msm_base_cost_per_input = Some(1333);
4080                    cfg.group_ops_bls12381_g2_msm_base_cost_per_input = Some(3216);
4081
4082                    cfg.group_ops_bls12381_uncompressed_g1_to_g1_cost = Some(677);
4083                    cfg.group_ops_bls12381_g1_to_uncompressed_g1_cost = Some(2099);
4084                    cfg.group_ops_bls12381_uncompressed_g1_sum_base_cost = Some(77);
4085                    cfg.group_ops_bls12381_uncompressed_g1_sum_cost_per_term = Some(26);
4086
4087                    cfg.group_ops_bls12381_pairing_cost = Some(26897);
4088                    cfg.group_ops_bls12381_uncompressed_g1_sum_max_terms = Some(1200);
4089
4090                    cfg.validator_validate_metadata_cost_base = Some(20000);
4091                }
4092                71 => {
4093                    cfg.sip_45_consensus_amplification_threshold = Some(5);
4094
4095                    // Enable bursts for congestion control. (10x the per-commit budget)
4096                    cfg.allowed_txn_cost_overage_burst_per_object_in_commit = Some(185_000_000);
4097                }
4098                72 => {
4099                    cfg.feature_flags.convert_type_argument_error = true;
4100
4101                    // Invariant: max_gas_price * base_tx_cost_fixed <= max_tx_gas
4102                    // max gas budget is in MIST and an absolute value 50_000 SUI
4103                    cfg.max_tx_gas = Some(50_000_000_000_000);
4104                    // max gas price is in MIST and an absolute value 50 SUI
4105                    cfg.max_gas_price = Some(50_000_000_000);
4106
4107                    cfg.feature_flags.variant_nodes = true;
4108                }
4109                73 => {
4110                    // Enable new marker table version.
4111                    cfg.use_object_per_epoch_marker_table_v2 = Some(true);
4112
4113                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4114                        // Assuming a round rate of max 15/sec, then using a gc depth of 60 allow blocks within a window of ~4 seconds
4115                        // to be included before be considered garbage collected.
4116                        cfg.consensus_gc_depth = Some(60);
4117                    }
4118
4119                    if chain != Chain::Mainnet {
4120                        // Enable zstd compression for consensus in testnet
4121                        cfg.feature_flags.consensus_zstd_compression = true;
4122                    }
4123
4124                    // Enable smart ancestor selection for mainnet
4125                    cfg.feature_flags.consensus_smart_ancestor_selection = true;
4126                    // Enable probing for accepted rounds in round prober for mainnet
4127                    cfg.feature_flags
4128                        .consensus_round_prober_probe_accepted_rounds = true;
4129
4130                    // Increase congestion control budget.
4131                    cfg.feature_flags.per_object_congestion_control_mode =
4132                        PerObjectCongestionControlMode::TotalGasBudgetWithCap;
4133                    cfg.gas_budget_based_txn_cost_cap_factor = Some(400_000);
4134                    cfg.max_accumulated_txn_cost_per_object_in_mysticeti_commit = Some(37_000_000);
4135                    cfg.max_accumulated_randomness_txn_cost_per_object_in_mysticeti_commit =
4136                        Some(7_400_000); // 20% of above
4137                    cfg.max_txn_cost_overage_per_object_in_commit = Some(u64::MAX);
4138                    cfg.gas_budget_based_txn_cost_absolute_cap_commit_count = Some(50);
4139                    cfg.allowed_txn_cost_overage_burst_per_object_in_commit = Some(370_000_000);
4140                }
4141                74 => {
4142                    // Enable nitro attestation verify native move function for devnet
4143                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4144                        cfg.feature_flags.enable_nitro_attestation = true;
4145                    }
4146                    cfg.nitro_attestation_parse_base_cost = Some(53 * 50);
4147                    cfg.nitro_attestation_parse_cost_per_byte = Some(50);
4148                    cfg.nitro_attestation_verify_base_cost = Some(49632 * 50);
4149                    cfg.nitro_attestation_verify_cost_per_cert = Some(52369 * 50);
4150
4151                    // Enable zstd compression for consensus in mainnet
4152                    cfg.feature_flags.consensus_zstd_compression = true;
4153
4154                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4155                        cfg.feature_flags.consensus_linearize_subdag_v2 = true;
4156                    }
4157                }
4158                75 => {
4159                    if chain != Chain::Mainnet {
4160                        cfg.feature_flags.passkey_auth = true;
4161                    }
4162                }
4163                76 => {
4164                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4165                        cfg.feature_flags.record_additional_state_digest_in_prologue = true;
4166                        cfg.consensus_commit_rate_estimation_window_size = Some(10);
4167                    }
4168                    cfg.feature_flags.minimize_child_object_mutations = true;
4169
4170                    if chain != Chain::Mainnet {
4171                        cfg.feature_flags.accept_passkey_in_multisig = true;
4172                    }
4173                }
4174                77 => {
4175                    cfg.feature_flags.uncompressed_g1_group_elements = true;
4176
4177                    if chain != Chain::Mainnet {
4178                        cfg.consensus_gc_depth = Some(60);
4179                        cfg.feature_flags.consensus_linearize_subdag_v2 = true;
4180                    }
4181                }
4182                78 => {
4183                    cfg.feature_flags.move_native_context = true;
4184                    cfg.tx_context_fresh_id_cost_base = Some(52);
4185                    cfg.tx_context_sender_cost_base = Some(30);
4186                    cfg.tx_context_epoch_cost_base = Some(30);
4187                    cfg.tx_context_epoch_timestamp_ms_cost_base = Some(30);
4188                    cfg.tx_context_sponsor_cost_base = Some(30);
4189                    cfg.tx_context_gas_price_cost_base = Some(30);
4190                    cfg.tx_context_gas_budget_cost_base = Some(30);
4191                    cfg.tx_context_ids_created_cost_base = Some(30);
4192                    cfg.tx_context_replace_cost_base = Some(30);
4193                    cfg.gas_model_version = Some(10);
4194
4195                    if chain != Chain::Mainnet {
4196                        cfg.feature_flags.record_additional_state_digest_in_prologue = true;
4197                        cfg.consensus_commit_rate_estimation_window_size = Some(10);
4198
4199                        // Enable execution time estimate mode for congestion control on testnet.
4200                        cfg.feature_flags.per_object_congestion_control_mode =
4201                            PerObjectCongestionControlMode::ExecutionTimeEstimate(
4202                                ExecutionTimeEstimateParams {
4203                                    target_utilization: 30,
4204                                    allowed_txn_cost_overage_burst_limit_us: 100_000, // 100 ms
4205                                    randomness_scalar: 20,
4206                                    max_estimate_us: 1_500_000, // 1.5s
4207                                    stored_observations_num_included_checkpoints: 10,
4208                                    stored_observations_limit: u64::MAX,
4209                                    stake_weighted_median_threshold: 0,
4210                                    default_none_duration_for_new_keys: false,
4211                                    observations_chunk_size: None,
4212                                },
4213                            );
4214                    }
4215                }
4216                79 => {
4217                    if chain != Chain::Mainnet {
4218                        cfg.feature_flags.consensus_median_based_commit_timestamp = true;
4219
4220                        // Increase threshold for bad nodes that won't be considered
4221                        // leaders in consensus in testnet
4222                        cfg.consensus_bad_nodes_stake_threshold = Some(30);
4223
4224                        cfg.feature_flags.consensus_batched_block_sync = true;
4225
4226                        // Enable verify nitro attestation in testnet.
4227                        cfg.feature_flags.enable_nitro_attestation = true
4228                    }
4229                    cfg.feature_flags.normalize_ptb_arguments = true;
4230
4231                    cfg.consensus_gc_depth = Some(60);
4232                    cfg.feature_flags.consensus_linearize_subdag_v2 = true;
4233                }
4234                80 => {
4235                    cfg.max_ptb_value_size = Some(1024 * 1024);
4236                }
4237                81 => {
4238                    cfg.feature_flags.consensus_median_based_commit_timestamp = true;
4239                    cfg.feature_flags.enforce_checkpoint_timestamp_monotonicity = true;
4240                    cfg.consensus_bad_nodes_stake_threshold = Some(30)
4241                }
4242                82 => {
4243                    cfg.feature_flags.max_ptb_value_size_v2 = true;
4244                }
4245                83 => {
4246                    if chain == Chain::Mainnet {
4247                        // The address that will sign the recovery transaction.
4248                        let aliased: [u8; 32] = Hex::decode(
4249                            "0x0b2da327ba6a4cacbe75dddd50e6e8bbf81d6496e92d66af9154c61c77f7332f",
4250                        )
4251                        .unwrap()
4252                        .try_into()
4253                        .unwrap();
4254
4255                        // Allow aliasing for the two addresses that contain stolen funds.
4256                        cfg.aliased_addresses.push(AliasedAddress {
4257                            original: Hex::decode("0xcd8962dad278d8b50fa0f9eb0186bfa4cbdecc6d59377214c88d0286a0ac9562").unwrap().try_into().unwrap(),
4258                            aliased,
4259                            allowed_tx_digests: vec![
4260                                Base58::decode("B2eGLFoMHgj93Ni8dAJBfqGzo8EWSTLBesZzhEpTPA4").unwrap().try_into().unwrap(),
4261                            ],
4262                        });
4263
4264                        cfg.aliased_addresses.push(AliasedAddress {
4265                            original: Hex::decode("0xe28b50cef1d633ea43d3296a3f6b67ff0312a5f1a99f0af753c85b8b5de8ff06").unwrap().try_into().unwrap(),
4266                            aliased,
4267                            allowed_tx_digests: vec![
4268                                Base58::decode("J4QqSAgp7VrQtQpMy5wDX4QGsCSEZu3U5KuDAkbESAge").unwrap().try_into().unwrap(),
4269                            ],
4270                        });
4271                    }
4272
4273                    // These features had to be deferred to v84 for mainnet in order to ship the recovery protocol
4274                    // upgrade as a patch to 1.48
4275                    if chain != Chain::Mainnet {
4276                        cfg.feature_flags.resolve_type_input_ids_to_defining_id = true;
4277                        cfg.transfer_party_transfer_internal_cost_base = Some(52);
4278
4279                        // Enable execution time estimate mode for congestion control on mainnet.
4280                        cfg.feature_flags.record_additional_state_digest_in_prologue = true;
4281                        cfg.consensus_commit_rate_estimation_window_size = Some(10);
4282                        cfg.feature_flags.per_object_congestion_control_mode =
4283                            PerObjectCongestionControlMode::ExecutionTimeEstimate(
4284                                ExecutionTimeEstimateParams {
4285                                    target_utilization: 30,
4286                                    allowed_txn_cost_overage_burst_limit_us: 100_000, // 100 ms
4287                                    randomness_scalar: 20,
4288                                    max_estimate_us: 1_500_000, // 1.5s
4289                                    stored_observations_num_included_checkpoints: 10,
4290                                    stored_observations_limit: u64::MAX,
4291                                    stake_weighted_median_threshold: 0,
4292                                    default_none_duration_for_new_keys: false,
4293                                    observations_chunk_size: None,
4294                                },
4295                            );
4296
4297                        // Enable the new depth-first block sync logic.
4298                        cfg.feature_flags.consensus_batched_block_sync = true;
4299
4300                        // Enable nitro attestation upgraded parsing logic and enable the
4301                        // native function on mainnet.
4302                        cfg.feature_flags.enable_nitro_attestation_upgraded_parsing = true;
4303                        cfg.feature_flags.enable_nitro_attestation = true;
4304                    }
4305                }
4306                84 => {
4307                    if chain == Chain::Mainnet {
4308                        cfg.feature_flags.resolve_type_input_ids_to_defining_id = true;
4309                        cfg.transfer_party_transfer_internal_cost_base = Some(52);
4310
4311                        // Enable execution time estimate mode for congestion control on mainnet.
4312                        cfg.feature_flags.record_additional_state_digest_in_prologue = true;
4313                        cfg.consensus_commit_rate_estimation_window_size = Some(10);
4314                        cfg.feature_flags.per_object_congestion_control_mode =
4315                            PerObjectCongestionControlMode::ExecutionTimeEstimate(
4316                                ExecutionTimeEstimateParams {
4317                                    target_utilization: 30,
4318                                    allowed_txn_cost_overage_burst_limit_us: 100_000, // 100 ms
4319                                    randomness_scalar: 20,
4320                                    max_estimate_us: 1_500_000, // 1.5s
4321                                    stored_observations_num_included_checkpoints: 10,
4322                                    stored_observations_limit: u64::MAX,
4323                                    stake_weighted_median_threshold: 0,
4324                                    default_none_duration_for_new_keys: false,
4325                                    observations_chunk_size: None,
4326                                },
4327                            );
4328
4329                        // Enable the new depth-first block sync logic.
4330                        cfg.feature_flags.consensus_batched_block_sync = true;
4331
4332                        // Enable nitro attestation upgraded parsing logic and enable the
4333                        // native function on mainnet.
4334                        cfg.feature_flags.enable_nitro_attestation_upgraded_parsing = true;
4335                        cfg.feature_flags.enable_nitro_attestation = true;
4336                    }
4337
4338                    // Limit the number of stored execution time observations at end of epoch.
4339                    cfg.feature_flags.per_object_congestion_control_mode =
4340                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4341                            ExecutionTimeEstimateParams {
4342                                target_utilization: 30,
4343                                allowed_txn_cost_overage_burst_limit_us: 100_000, // 100 ms
4344                                randomness_scalar: 20,
4345                                max_estimate_us: 1_500_000, // 1.5s
4346                                stored_observations_num_included_checkpoints: 10,
4347                                stored_observations_limit: 20,
4348                                stake_weighted_median_threshold: 0,
4349                                default_none_duration_for_new_keys: false,
4350                                observations_chunk_size: None,
4351                            },
4352                        );
4353                    cfg.feature_flags.allow_unbounded_system_objects = true;
4354                }
4355                85 => {
4356                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4357                        cfg.feature_flags.enable_party_transfer = true;
4358                    }
4359
4360                    cfg.feature_flags
4361                        .record_consensus_determined_version_assignments_in_prologue_v2 = true;
4362                    cfg.feature_flags.disallow_self_identifier = true;
4363                    cfg.feature_flags.per_object_congestion_control_mode =
4364                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4365                            ExecutionTimeEstimateParams {
4366                                target_utilization: 50,
4367                                allowed_txn_cost_overage_burst_limit_us: 500_000, // 500 ms
4368                                randomness_scalar: 20,
4369                                max_estimate_us: 1_500_000, // 1.5s
4370                                stored_observations_num_included_checkpoints: 10,
4371                                stored_observations_limit: 20,
4372                                stake_weighted_median_threshold: 0,
4373                                default_none_duration_for_new_keys: false,
4374                                observations_chunk_size: None,
4375                            },
4376                        );
4377                }
4378                86 => {
4379                    cfg.feature_flags.type_tags_in_object_runtime = true;
4380                    cfg.max_move_enum_variants = Some(move_core_types::VARIANT_COUNT_MAX);
4381
4382                    // Set a stake_weighted_median_threshold for congestion control.
4383                    cfg.feature_flags.per_object_congestion_control_mode =
4384                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4385                            ExecutionTimeEstimateParams {
4386                                target_utilization: 50,
4387                                allowed_txn_cost_overage_burst_limit_us: 500_000, // 500 ms
4388                                randomness_scalar: 20,
4389                                max_estimate_us: 1_500_000, // 1.5s
4390                                stored_observations_num_included_checkpoints: 10,
4391                                stored_observations_limit: 20,
4392                                stake_weighted_median_threshold: 3334,
4393                                default_none_duration_for_new_keys: false,
4394                                observations_chunk_size: None,
4395                            },
4396                        );
4397                    // Enable party transfer for testnet.
4398                    if chain != Chain::Mainnet {
4399                        cfg.feature_flags.enable_party_transfer = true;
4400                    }
4401                }
4402                87 => {
4403                    if chain == Chain::Mainnet {
4404                        cfg.feature_flags.record_time_estimate_processed = true;
4405                    }
4406                    cfg.feature_flags.better_adapter_type_resolution_errors = true;
4407                }
4408                88 => {
4409                    cfg.feature_flags.record_time_estimate_processed = true;
4410                    cfg.tx_context_rgp_cost_base = Some(30);
4411                    cfg.feature_flags
4412                        .ignore_execution_time_observations_after_certs_closed = true;
4413
4414                    // Disable backwards compatible behavior in execution time estimator for
4415                    // new protocol version.
4416                    cfg.feature_flags.per_object_congestion_control_mode =
4417                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4418                            ExecutionTimeEstimateParams {
4419                                target_utilization: 50,
4420                                allowed_txn_cost_overage_burst_limit_us: 500_000, // 500 ms
4421                                randomness_scalar: 20,
4422                                max_estimate_us: 1_500_000, // 1.5s
4423                                stored_observations_num_included_checkpoints: 10,
4424                                stored_observations_limit: 20,
4425                                stake_weighted_median_threshold: 3334,
4426                                default_none_duration_for_new_keys: true,
4427                                observations_chunk_size: None,
4428                            },
4429                        );
4430                }
4431                89 => {
4432                    cfg.feature_flags.dependency_linkage_error = true;
4433                    cfg.feature_flags.additional_multisig_checks = true;
4434                }
4435                90 => {
4436                    // 100x RGP
4437                    cfg.max_gas_price_rgp_factor_for_aborted_transactions = Some(100);
4438                    cfg.feature_flags.debug_fatal_on_move_invariant_violation = true;
4439                    cfg.feature_flags.additional_consensus_digest_indirect_state = true;
4440                    cfg.feature_flags.accept_passkey_in_multisig = true;
4441                    cfg.feature_flags.passkey_auth = true;
4442                    cfg.feature_flags.check_for_init_during_upgrade = true;
4443
4444                    // Enable Mysticeti fastpath handlers on testnet.
4445                    if chain != Chain::Mainnet {
4446                        cfg.feature_flags.mysticeti_fastpath = true;
4447                    }
4448                }
4449                91 => {
4450                    cfg.feature_flags.per_command_shared_object_transfer_rules = true;
4451                }
4452                92 => {
4453                    cfg.feature_flags.per_command_shared_object_transfer_rules = false;
4454                }
4455                93 => {
4456                    cfg.feature_flags
4457                        .consensus_checkpoint_signature_key_includes_digest = true;
4458                }
4459                94 => {
4460                    // Decrease stored observations limit 20->18 to stay within system object size limit.
4461                    cfg.feature_flags.per_object_congestion_control_mode =
4462                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4463                            ExecutionTimeEstimateParams {
4464                                target_utilization: 50,
4465                                allowed_txn_cost_overage_burst_limit_us: 500_000, // 500 ms
4466                                randomness_scalar: 20,
4467                                max_estimate_us: 1_500_000, // 1.5s
4468                                stored_observations_num_included_checkpoints: 10,
4469                                stored_observations_limit: 18,
4470                                stake_weighted_median_threshold: 3334,
4471                                default_none_duration_for_new_keys: true,
4472                                observations_chunk_size: None,
4473                            },
4474                        );
4475
4476                    // Enable party transfer on mainnet.
4477                    cfg.feature_flags.enable_party_transfer = true;
4478                }
4479                95 => {
4480                    cfg.type_name_id_base_cost = Some(52);
4481
4482                    // Reduce the frequency of checkpoint splitting under high TPS.
4483                    cfg.max_transactions_per_checkpoint = Some(20_000);
4484                }
4485                96 => {
4486                    // Enable artifacts digest in devnet.
4487                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4488                        cfg.feature_flags
4489                            .include_checkpoint_artifacts_digest_in_summary = true;
4490                    }
4491                    cfg.feature_flags.correct_gas_payment_limit_check = true;
4492                    cfg.feature_flags.authority_capabilities_v2 = true;
4493                    cfg.feature_flags.use_mfp_txns_in_load_initial_object_debts = true;
4494                    cfg.feature_flags.cancel_for_failed_dkg_early = true;
4495                    cfg.feature_flags.enable_coin_registry = true;
4496
4497                    // Enable Mysticeti fastpath handlers on mainnet.
4498                    cfg.feature_flags.mysticeti_fastpath = true;
4499                }
4500                97 => {
4501                    cfg.feature_flags.additional_borrow_checks = true;
4502                }
4503                98 => {
4504                    cfg.event_emit_auth_stream_cost = Some(52);
4505                    cfg.feature_flags.better_loader_errors = true;
4506                    cfg.feature_flags.generate_df_type_layouts = true;
4507                }
4508                99 => {
4509                    cfg.feature_flags.use_new_commit_handler = true;
4510                }
4511                100 => {
4512                    cfg.feature_flags.private_generics_verifier_v2 = true;
4513                }
4514                101 => {
4515                    cfg.feature_flags.create_root_accumulator_object = true;
4516                    cfg.max_updates_per_settlement_txn = Some(100);
4517                    if chain != Chain::Mainnet {
4518                        cfg.feature_flags.enable_poseidon = true;
4519                    }
4520                }
4521                102 => {
4522                    // Enable execution time observation chunking and increase limit to 180.
4523                    // max_move_object_size is 250 KB, we've experientially determined that fits ~ 18 estimates
4524                    // so if we have 10 chunks, that's 2.5MB, < 8MB max_serialized_tx_effects_size_bytes_system_tx
4525                    cfg.feature_flags.per_object_congestion_control_mode =
4526                        PerObjectCongestionControlMode::ExecutionTimeEstimate(
4527                            ExecutionTimeEstimateParams {
4528                                target_utilization: 50,
4529                                allowed_txn_cost_overage_burst_limit_us: 500_000, // 500 ms
4530                                randomness_scalar: 20,
4531                                max_estimate_us: 1_500_000, // 1.5s
4532                                stored_observations_num_included_checkpoints: 10,
4533                                stored_observations_limit: 180,
4534                                stake_weighted_median_threshold: 3334,
4535                                default_none_duration_for_new_keys: true,
4536                                observations_chunk_size: Some(18),
4537                            },
4538                        );
4539                    cfg.feature_flags.deprecate_global_storage_ops = true;
4540                }
4541                103 => {}
4542                104 => {
4543                    cfg.translation_per_command_base_charge = Some(1);
4544                    cfg.translation_per_input_base_charge = Some(1);
4545                    cfg.translation_pure_input_per_byte_charge = Some(1);
4546                    cfg.translation_per_type_node_charge = Some(1);
4547                    cfg.translation_per_reference_node_charge = Some(1);
4548                    cfg.translation_per_linkage_entry_charge = Some(10);
4549                    cfg.gas_model_version = Some(11);
4550                    cfg.feature_flags.abstract_size_in_object_runtime = true;
4551                    cfg.feature_flags.object_runtime_charge_cache_load_gas = true;
4552                    cfg.dynamic_field_hash_type_and_key_cost_base = Some(52);
4553                    cfg.dynamic_field_add_child_object_cost_base = Some(52);
4554                    cfg.dynamic_field_add_child_object_value_cost_per_byte = Some(1);
4555                    cfg.dynamic_field_borrow_child_object_cost_base = Some(52);
4556                    cfg.dynamic_field_borrow_child_object_child_ref_cost_per_byte = Some(1);
4557                    cfg.dynamic_field_remove_child_object_cost_base = Some(52);
4558                    cfg.dynamic_field_remove_child_object_child_cost_per_byte = Some(1);
4559                    cfg.dynamic_field_has_child_object_cost_base = Some(52);
4560                    cfg.dynamic_field_has_child_object_with_ty_cost_base = Some(52);
4561                    cfg.feature_flags.enable_ptb_execution_v2 = true;
4562
4563                    cfg.poseidon_bn254_cost_base = Some(260);
4564
4565                    cfg.feature_flags.consensus_skip_gced_accept_votes = true;
4566
4567                    if chain != Chain::Mainnet {
4568                        cfg.feature_flags
4569                            .enable_nitro_attestation_all_nonzero_pcrs_parsing = true;
4570                    }
4571
4572                    cfg.feature_flags
4573                        .include_cancelled_randomness_txns_in_prologue = true;
4574                }
4575                105 => {
4576                    cfg.feature_flags.enable_multi_epoch_transaction_expiration = true;
4577                    cfg.feature_flags.disable_preconsensus_locking = true;
4578
4579                    if chain != Chain::Mainnet {
4580                        cfg.feature_flags
4581                            .enable_nitro_attestation_always_include_required_pcrs_parsing = true;
4582                    }
4583                }
4584                106 => {
4585                    // est. 100 bytes per object * 76 (storage_gas_price)
4586                    cfg.accumulator_object_storage_cost = Some(7600);
4587
4588                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4589                        cfg.feature_flags.enable_accumulators = true;
4590                        cfg.feature_flags.enable_address_balance_gas_payments = true;
4591                        cfg.feature_flags.enable_authenticated_event_streams = true;
4592                        cfg.feature_flags.enable_object_funds_withdraw = true;
4593                    }
4594                }
4595                107 => {
4596                    cfg.feature_flags
4597                        .consensus_skip_gced_blocks_in_direct_finalization = true;
4598
4599                    // Trigger edge cases more often in integration tests.
4600                    if in_integration_test() {
4601                        cfg.consensus_gc_depth = Some(6);
4602                        cfg.consensus_max_num_transactions_in_block = Some(8);
4603                    }
4604                }
4605                108 => {
4606                    cfg.feature_flags.gas_rounding_halve_digits = true;
4607                    cfg.feature_flags.flexible_tx_context_positions = true;
4608                    cfg.feature_flags.disable_entry_point_signature_check = true;
4609
4610                    if chain != Chain::Mainnet {
4611                        cfg.feature_flags.address_aliases = true;
4612
4613                        cfg.feature_flags.enable_accumulators = true;
4614                        cfg.feature_flags.enable_address_balance_gas_payments = true;
4615                    }
4616
4617                    cfg.feature_flags.enable_poseidon = true;
4618                }
4619                109 => {
4620                    cfg.binary_variant_handles = Some(1024);
4621                    cfg.binary_variant_instantiation_handles = Some(1024);
4622                    cfg.feature_flags.restrict_hot_or_not_entry_functions = true;
4623                }
4624                110 => {
4625                    cfg.feature_flags
4626                        .enable_nitro_attestation_all_nonzero_pcrs_parsing = true;
4627                    cfg.feature_flags
4628                        .enable_nitro_attestation_always_include_required_pcrs_parsing = true;
4629                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4630                        cfg.feature_flags.split_checkpoints_in_consensus_handler = true;
4631                    }
4632                    cfg.feature_flags.validate_zklogin_public_identifier = true;
4633                    cfg.feature_flags.fix_checkpoint_signature_mapping = true;
4634                    cfg.feature_flags
4635                        .consensus_always_accept_system_transactions = true;
4636                    if chain != Chain::Mainnet {
4637                        cfg.feature_flags.enable_object_funds_withdraw = true;
4638                    }
4639                }
4640                111 => {
4641                    cfg.feature_flags.validator_metadata_verify_v2 = true;
4642                }
4643                112 => {
4644                    cfg.group_ops_ristretto_decode_scalar_cost = Some(7);
4645                    cfg.group_ops_ristretto_decode_point_cost = Some(200);
4646                    cfg.group_ops_ristretto_scalar_add_cost = Some(10);
4647                    cfg.group_ops_ristretto_point_add_cost = Some(500);
4648                    cfg.group_ops_ristretto_scalar_sub_cost = Some(10);
4649                    cfg.group_ops_ristretto_point_sub_cost = Some(500);
4650                    cfg.group_ops_ristretto_scalar_mul_cost = Some(11);
4651                    cfg.group_ops_ristretto_point_mul_cost = Some(1200);
4652                    cfg.group_ops_ristretto_scalar_div_cost = Some(151);
4653                    cfg.group_ops_ristretto_point_div_cost = Some(2500);
4654
4655                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4656                        cfg.feature_flags.enable_ristretto255_group_ops = true;
4657                    }
4658                }
4659                113 => {
4660                    cfg.feature_flags.address_balance_gas_check_rgp_at_signing = true;
4661                    if chain != Chain::Mainnet && chain != Chain::Testnet {
4662                        cfg.feature_flags.defer_unpaid_amplification = true;
4663                    }
4664                }
4665                114 => {
4666                    cfg.feature_flags.randomize_checkpoint_tx_limit_in_tests = true;
4667                    cfg.feature_flags.address_balance_gas_reject_gas_coin_arg = true;
4668                    if chain != Chain::Mainnet {
4669                        cfg.feature_flags.split_checkpoints_in_consensus_handler = true;
4670                        cfg.feature_flags.enable_authenticated_event_streams = true;
4671                        cfg.feature_flags
4672                            .include_checkpoint_artifacts_digest_in_summary = true;
4673                    }
4674                }
4675                115 => {
4676                    cfg.feature_flags.normalize_depth_formula = true;
4677                }
4678                116 => {
4679                    cfg.feature_flags.gasless_transaction_drop_safety = true;
4680                    cfg.feature_flags.address_aliases = true;
4681                    cfg.feature_flags.relax_valid_during_for_owned_inputs = true;
4682                    // Disabled while debugging
4683                    cfg.feature_flags.defer_unpaid_amplification = false;
4684                    cfg.feature_flags.enable_display_registry = true;
4685                }
4686                117 => {}
4687                118 => {
4688                    // Enable new VM.
4689                    cfg.execution_version = Some(4);
4690                    cfg.feature_flags.new_vm_enabled = true;
4691                }
4692                // Use this template when making changes:
4693                //
4694                //     // modify an existing constant.
4695                //     move_binary_format_version: Some(7),
4696                //
4697                //     // Add a new constant (which is set to None in prior versions).
4698                //     new_constant: Some(new_value),
4699                //
4700                //     // Remove a constant (ensure that it is never accessed during this version).
4701                //     max_move_object_size: None,
4702                _ => panic!("unsupported version {:?}", version),
4703            }
4704        }
4705
4706        cfg
4707    }
4708
4709    pub fn apply_seeded_test_overrides(&mut self, seed: &[u8; 32]) {
4710        if !self.feature_flags.randomize_checkpoint_tx_limit_in_tests
4711            || !self.feature_flags.split_checkpoints_in_consensus_handler
4712        {
4713            return;
4714        }
4715
4716        if !mysten_common::in_test_configuration() {
4717            return;
4718        }
4719
4720        use rand::{Rng, SeedableRng, rngs::StdRng};
4721        let mut rng = StdRng::from_seed(*seed);
4722        let max_txns = rng.gen_range(10..=100u64);
4723        info!("seeded test override: max_transactions_per_checkpoint = {max_txns}");
4724        self.max_transactions_per_checkpoint = Some(max_txns);
4725    }
4726
4727    // Extract the bytecode verifier config from this protocol config.
4728    // If used during signing, `signing_limits` should be set.
4729    // The third limit configures`sanity_check_with_regex_reference_safety`,
4730    // which runs the new regex-based reference safety check to check that it is strictly more
4731    // permissive than the current implementation.
4732    pub fn verifier_config(&self, signing_limits: Option<(usize, usize, usize)>) -> VerifierConfig {
4733        let (
4734            max_back_edges_per_function,
4735            max_back_edges_per_module,
4736            sanity_check_with_regex_reference_safety,
4737        ) = if let Some((
4738            max_back_edges_per_function,
4739            max_back_edges_per_module,
4740            sanity_check_with_regex_reference_safety,
4741        )) = signing_limits
4742        {
4743            (
4744                Some(max_back_edges_per_function),
4745                Some(max_back_edges_per_module),
4746                Some(sanity_check_with_regex_reference_safety),
4747            )
4748        } else {
4749            (None, None, None)
4750        };
4751
4752        let additional_borrow_checks = if signing_limits.is_some() {
4753            // always turn on additional borrow checks during signing
4754            true
4755        } else {
4756            self.additional_borrow_checks()
4757        };
4758        let deprecate_global_storage_ops = if signing_limits.is_some() {
4759            // always turn on additional vector borrow checks during signing
4760            true
4761        } else {
4762            self.deprecate_global_storage_ops()
4763        };
4764
4765        VerifierConfig {
4766            max_loop_depth: Some(self.max_loop_depth() as usize),
4767            max_generic_instantiation_length: Some(self.max_generic_instantiation_length() as usize),
4768            max_function_parameters: Some(self.max_function_parameters() as usize),
4769            max_basic_blocks: Some(self.max_basic_blocks() as usize),
4770            max_value_stack_size: self.max_value_stack_size() as usize,
4771            max_type_nodes: Some(self.max_type_nodes() as usize),
4772            max_push_size: Some(self.max_push_size() as usize),
4773            max_dependency_depth: Some(self.max_dependency_depth() as usize),
4774            max_fields_in_struct: Some(self.max_fields_in_struct() as usize),
4775            max_function_definitions: Some(self.max_function_definitions() as usize),
4776            max_data_definitions: Some(self.max_struct_definitions() as usize),
4777            max_constant_vector_len: Some(self.max_move_vector_len()),
4778            max_back_edges_per_function,
4779            max_back_edges_per_module,
4780            max_basic_blocks_in_script: None,
4781            max_identifier_len: self.max_move_identifier_len_as_option(), // Before protocol version 9, there was no limit
4782            disallow_self_identifier: self.feature_flags.disallow_self_identifier,
4783            allow_receiving_object_id: self.allow_receiving_object_id(),
4784            reject_mutable_random_on_entry_functions: self
4785                .reject_mutable_random_on_entry_functions(),
4786            bytecode_version: self.move_binary_format_version(),
4787            max_variants_in_enum: self.max_move_enum_variants_as_option(),
4788            additional_borrow_checks,
4789            better_loader_errors: self.better_loader_errors(),
4790            private_generics_verifier_v2: self.private_generics_verifier_v2(),
4791            sanity_check_with_regex_reference_safety: sanity_check_with_regex_reference_safety
4792                .map(|limit| limit as u128),
4793            deprecate_global_storage_ops,
4794            disable_entry_point_signature_check: self.disable_entry_point_signature_check(),
4795            switch_to_regex_reference_safety: false,
4796        }
4797    }
4798
4799    pub fn binary_config(
4800        &self,
4801        override_deprecate_global_storage_ops_during_deserialization: Option<bool>,
4802    ) -> BinaryConfig {
4803        let deprecate_global_storage_ops =
4804            override_deprecate_global_storage_ops_during_deserialization
4805                .unwrap_or_else(|| self.deprecate_global_storage_ops());
4806        BinaryConfig::new(
4807            self.move_binary_format_version(),
4808            self.min_move_binary_format_version_as_option()
4809                .unwrap_or(VERSION_1),
4810            self.no_extraneous_module_bytes(),
4811            deprecate_global_storage_ops,
4812            TableConfig {
4813                module_handles: self.binary_module_handles_as_option().unwrap_or(u16::MAX),
4814                datatype_handles: self.binary_struct_handles_as_option().unwrap_or(u16::MAX),
4815                function_handles: self.binary_function_handles_as_option().unwrap_or(u16::MAX),
4816                function_instantiations: self
4817                    .binary_function_instantiations_as_option()
4818                    .unwrap_or(u16::MAX),
4819                signatures: self.binary_signatures_as_option().unwrap_or(u16::MAX),
4820                constant_pool: self.binary_constant_pool_as_option().unwrap_or(u16::MAX),
4821                identifiers: self.binary_identifiers_as_option().unwrap_or(u16::MAX),
4822                address_identifiers: self
4823                    .binary_address_identifiers_as_option()
4824                    .unwrap_or(u16::MAX),
4825                struct_defs: self.binary_struct_defs_as_option().unwrap_or(u16::MAX),
4826                struct_def_instantiations: self
4827                    .binary_struct_def_instantiations_as_option()
4828                    .unwrap_or(u16::MAX),
4829                function_defs: self.binary_function_defs_as_option().unwrap_or(u16::MAX),
4830                field_handles: self.binary_field_handles_as_option().unwrap_or(u16::MAX),
4831                field_instantiations: self
4832                    .binary_field_instantiations_as_option()
4833                    .unwrap_or(u16::MAX),
4834                friend_decls: self.binary_friend_decls_as_option().unwrap_or(u16::MAX),
4835                enum_defs: self.binary_enum_defs_as_option().unwrap_or(u16::MAX),
4836                enum_def_instantiations: self
4837                    .binary_enum_def_instantiations_as_option()
4838                    .unwrap_or(u16::MAX),
4839                variant_handles: self.binary_variant_handles_as_option().unwrap_or(u16::MAX),
4840                variant_instantiation_handles: self
4841                    .binary_variant_instantiation_handles_as_option()
4842                    .unwrap_or(u16::MAX),
4843            },
4844        )
4845    }
4846
4847    /// Override one or more settings in the config, for testing.
4848    /// This must be called at the beginning of the test, before get_for_(min|max)_version is
4849    /// called, since those functions cache their return value.
4850    pub fn apply_overrides_for_testing(
4851        override_fn: impl Fn(ProtocolVersion, Self) -> Self + Send + 'static,
4852    ) -> OverrideGuard {
4853        CONFIG_OVERRIDE.with(|ovr| {
4854            let mut cur = ovr.borrow_mut();
4855            assert!(cur.is_none(), "config override already present");
4856            *cur = Some(Box::new(override_fn));
4857            OverrideGuard
4858        })
4859    }
4860}
4861
4862// Setters for tests.
4863// This is only needed for feature_flags. Please suffix each setter with `_for_testing`.
4864// Non-feature_flags should already have test setters defined through macros.
4865impl ProtocolConfig {
4866    pub fn set_advance_to_highest_supported_protocol_version_for_testing(&mut self, val: bool) {
4867        self.feature_flags
4868            .advance_to_highest_supported_protocol_version = val
4869    }
4870    pub fn set_commit_root_state_digest_supported_for_testing(&mut self, val: bool) {
4871        self.feature_flags.commit_root_state_digest = val
4872    }
4873    pub fn set_zklogin_auth_for_testing(&mut self, val: bool) {
4874        self.feature_flags.zklogin_auth = val
4875    }
4876    pub fn set_enable_jwk_consensus_updates_for_testing(&mut self, val: bool) {
4877        self.feature_flags.enable_jwk_consensus_updates = val
4878    }
4879    pub fn set_random_beacon_for_testing(&mut self, val: bool) {
4880        self.feature_flags.random_beacon = val
4881    }
4882
4883    pub fn set_upgraded_multisig_for_testing(&mut self, val: bool) {
4884        self.feature_flags.upgraded_multisig_supported = val
4885    }
4886    pub fn set_accept_zklogin_in_multisig_for_testing(&mut self, val: bool) {
4887        self.feature_flags.accept_zklogin_in_multisig = val
4888    }
4889
4890    pub fn set_shared_object_deletion_for_testing(&mut self, val: bool) {
4891        self.feature_flags.shared_object_deletion = val;
4892    }
4893
4894    pub fn set_narwhal_new_leader_election_schedule_for_testing(&mut self, val: bool) {
4895        self.feature_flags.narwhal_new_leader_election_schedule = val;
4896    }
4897
4898    pub fn set_receive_object_for_testing(&mut self, val: bool) {
4899        self.feature_flags.receive_objects = val
4900    }
4901    pub fn set_narwhal_certificate_v2_for_testing(&mut self, val: bool) {
4902        self.feature_flags.narwhal_certificate_v2 = val
4903    }
4904    pub fn set_verify_legacy_zklogin_address_for_testing(&mut self, val: bool) {
4905        self.feature_flags.verify_legacy_zklogin_address = val
4906    }
4907
4908    pub fn set_per_object_congestion_control_mode_for_testing(
4909        &mut self,
4910        val: PerObjectCongestionControlMode,
4911    ) {
4912        self.feature_flags.per_object_congestion_control_mode = val;
4913    }
4914
4915    pub fn set_consensus_choice_for_testing(&mut self, val: ConsensusChoice) {
4916        self.feature_flags.consensus_choice = val;
4917    }
4918
4919    pub fn set_consensus_network_for_testing(&mut self, val: ConsensusNetwork) {
4920        self.feature_flags.consensus_network = val;
4921    }
4922
4923    pub fn set_zklogin_max_epoch_upper_bound_delta_for_testing(&mut self, val: Option<u64>) {
4924        self.feature_flags.zklogin_max_epoch_upper_bound_delta = val
4925    }
4926
4927    pub fn set_disable_bridge_for_testing(&mut self) {
4928        self.feature_flags.bridge = false
4929    }
4930
4931    pub fn set_mysticeti_num_leaders_per_round_for_testing(&mut self, val: Option<usize>) {
4932        self.feature_flags.mysticeti_num_leaders_per_round = val;
4933    }
4934
4935    pub fn set_enable_soft_bundle_for_testing(&mut self, val: bool) {
4936        self.feature_flags.soft_bundle = val;
4937    }
4938
4939    pub fn set_passkey_auth_for_testing(&mut self, val: bool) {
4940        self.feature_flags.passkey_auth = val
4941    }
4942
4943    pub fn set_enable_party_transfer_for_testing(&mut self, val: bool) {
4944        self.feature_flags.enable_party_transfer = val
4945    }
4946
4947    pub fn set_consensus_distributed_vote_scoring_strategy_for_testing(&mut self, val: bool) {
4948        self.feature_flags
4949            .consensus_distributed_vote_scoring_strategy = val;
4950    }
4951
4952    pub fn set_consensus_round_prober_for_testing(&mut self, val: bool) {
4953        self.feature_flags.consensus_round_prober = val;
4954    }
4955
4956    pub fn set_disallow_new_modules_in_deps_only_packages_for_testing(&mut self, val: bool) {
4957        self.feature_flags
4958            .disallow_new_modules_in_deps_only_packages = val;
4959    }
4960
4961    pub fn set_correct_gas_payment_limit_check_for_testing(&mut self, val: bool) {
4962        self.feature_flags.correct_gas_payment_limit_check = val;
4963    }
4964
4965    pub fn set_address_aliases_for_testing(&mut self, val: bool) {
4966        self.feature_flags.address_aliases = val;
4967    }
4968
4969    pub fn set_consensus_round_prober_probe_accepted_rounds(&mut self, val: bool) {
4970        self.feature_flags
4971            .consensus_round_prober_probe_accepted_rounds = val;
4972    }
4973
4974    pub fn set_mysticeti_fastpath_for_testing(&mut self, val: bool) {
4975        self.feature_flags.mysticeti_fastpath = val;
4976    }
4977
4978    pub fn set_accept_passkey_in_multisig_for_testing(&mut self, val: bool) {
4979        self.feature_flags.accept_passkey_in_multisig = val;
4980    }
4981
4982    pub fn set_consensus_batched_block_sync_for_testing(&mut self, val: bool) {
4983        self.feature_flags.consensus_batched_block_sync = val;
4984    }
4985
4986    pub fn set_record_time_estimate_processed_for_testing(&mut self, val: bool) {
4987        self.feature_flags.record_time_estimate_processed = val;
4988    }
4989
4990    pub fn set_prepend_prologue_tx_in_consensus_commit_in_checkpoints_for_testing(
4991        &mut self,
4992        val: bool,
4993    ) {
4994        self.feature_flags
4995            .prepend_prologue_tx_in_consensus_commit_in_checkpoints = val;
4996    }
4997
4998    pub fn enable_accumulators_for_testing(&mut self) {
4999        self.feature_flags.enable_accumulators = true;
5000    }
5001
5002    pub fn disable_accumulators_for_testing(&mut self) {
5003        self.feature_flags.enable_accumulators = false;
5004        self.feature_flags.enable_address_balance_gas_payments = false;
5005    }
5006
5007    pub fn enable_coin_reservation_for_testing(&mut self) {
5008        self.feature_flags.enable_coin_reservation_obj_refs = true;
5009    }
5010
5011    pub fn create_root_accumulator_object_for_testing(&mut self) {
5012        self.feature_flags.create_root_accumulator_object = true;
5013    }
5014
5015    pub fn disable_create_root_accumulator_object_for_testing(&mut self) {
5016        self.feature_flags.create_root_accumulator_object = false;
5017    }
5018
5019    pub fn enable_address_balance_gas_payments_for_testing(&mut self) {
5020        self.feature_flags.enable_accumulators = true;
5021        self.feature_flags.allow_private_accumulator_entrypoints = true;
5022        self.feature_flags.enable_address_balance_gas_payments = true;
5023        self.feature_flags.address_balance_gas_check_rgp_at_signing = true;
5024        self.feature_flags.address_balance_gas_reject_gas_coin_arg = true;
5025    }
5026
5027    pub fn disable_address_balance_gas_payments_for_testing(&mut self) {
5028        self.feature_flags.enable_address_balance_gas_payments = false;
5029    }
5030
5031    pub fn enable_multi_epoch_transaction_expiration_for_testing(&mut self) {
5032        self.feature_flags.enable_multi_epoch_transaction_expiration = true;
5033    }
5034
5035    pub fn enable_authenticated_event_streams_for_testing(&mut self) {
5036        self.enable_accumulators_for_testing();
5037        self.feature_flags.enable_authenticated_event_streams = true;
5038        self.feature_flags
5039            .include_checkpoint_artifacts_digest_in_summary = true;
5040        self.feature_flags.split_checkpoints_in_consensus_handler = true;
5041    }
5042
5043    pub fn disable_authenticated_event_streams_for_testing(&mut self) {
5044        self.feature_flags.enable_authenticated_event_streams = false;
5045    }
5046
5047    pub fn disable_randomize_checkpoint_tx_limit_for_testing(&mut self) {
5048        self.feature_flags.randomize_checkpoint_tx_limit_in_tests = false;
5049    }
5050
5051    pub fn enable_non_exclusive_writes_for_testing(&mut self) {
5052        self.feature_flags.enable_non_exclusive_writes = true;
5053    }
5054
5055    pub fn set_relax_valid_during_for_owned_inputs_for_testing(&mut self, val: bool) {
5056        self.feature_flags.relax_valid_during_for_owned_inputs = val;
5057    }
5058
5059    pub fn set_ignore_execution_time_observations_after_certs_closed_for_testing(
5060        &mut self,
5061        val: bool,
5062    ) {
5063        self.feature_flags
5064            .ignore_execution_time_observations_after_certs_closed = val;
5065    }
5066
5067    pub fn set_consensus_checkpoint_signature_key_includes_digest_for_testing(
5068        &mut self,
5069        val: bool,
5070    ) {
5071        self.feature_flags
5072            .consensus_checkpoint_signature_key_includes_digest = val;
5073    }
5074
5075    pub fn set_cancel_for_failed_dkg_early_for_testing(&mut self, val: bool) {
5076        self.feature_flags.cancel_for_failed_dkg_early = val;
5077    }
5078
5079    pub fn set_use_mfp_txns_in_load_initial_object_debts_for_testing(&mut self, val: bool) {
5080        self.feature_flags.use_mfp_txns_in_load_initial_object_debts = val;
5081    }
5082
5083    pub fn set_authority_capabilities_v2_for_testing(&mut self, val: bool) {
5084        self.feature_flags.authority_capabilities_v2 = val;
5085    }
5086
5087    pub fn allow_references_in_ptbs_for_testing(&mut self) {
5088        self.feature_flags.allow_references_in_ptbs = true;
5089    }
5090
5091    pub fn set_consensus_skip_gced_accept_votes_for_testing(&mut self, val: bool) {
5092        self.feature_flags.consensus_skip_gced_accept_votes = val;
5093    }
5094
5095    pub fn set_enable_object_funds_withdraw_for_testing(&mut self, val: bool) {
5096        self.feature_flags.enable_object_funds_withdraw = val;
5097    }
5098
5099    pub fn set_split_checkpoints_in_consensus_handler_for_testing(&mut self, val: bool) {
5100        self.feature_flags.split_checkpoints_in_consensus_handler = val;
5101    }
5102}
5103
5104type OverrideFn = dyn Fn(ProtocolVersion, ProtocolConfig) -> ProtocolConfig + Send;
5105
5106thread_local! {
5107    static CONFIG_OVERRIDE: RefCell<Option<Box<OverrideFn>>> = RefCell::new(None);
5108}
5109
5110#[must_use]
5111pub struct OverrideGuard;
5112
5113impl Drop for OverrideGuard {
5114    fn drop(&mut self) {
5115        info!("restoring override fn");
5116        CONFIG_OVERRIDE.with(|ovr| {
5117            *ovr.borrow_mut() = None;
5118        });
5119    }
5120}
5121
5122/// Defines which limit got crossed.
5123/// The value which crossed the limit and value of the limit crossed are embedded
5124#[derive(PartialEq, Eq)]
5125pub enum LimitThresholdCrossed {
5126    None,
5127    Soft(u128, u128),
5128    Hard(u128, u128),
5129}
5130
5131/// Convenience function for comparing limit ranges
5132/// V::MAX must be at >= U::MAX and T::MAX
5133pub fn check_limit_in_range<T: Into<V>, U: Into<V>, V: PartialOrd + Into<u128>>(
5134    x: T,
5135    soft_limit: U,
5136    hard_limit: V,
5137) -> LimitThresholdCrossed {
5138    let x: V = x.into();
5139    let soft_limit: V = soft_limit.into();
5140
5141    debug_assert!(soft_limit <= hard_limit);
5142
5143    // It is important to preserve this comparison order because if soft_limit == hard_limit
5144    // we want LimitThresholdCrossed::Hard
5145    if x >= hard_limit {
5146        LimitThresholdCrossed::Hard(x.into(), hard_limit.into())
5147    } else if x < soft_limit {
5148        LimitThresholdCrossed::None
5149    } else {
5150        LimitThresholdCrossed::Soft(x.into(), soft_limit.into())
5151    }
5152}
5153
5154#[macro_export]
5155macro_rules! check_limit {
5156    ($x:expr, $hard:expr) => {
5157        check_limit!($x, $hard, $hard)
5158    };
5159    ($x:expr, $soft:expr, $hard:expr) => {
5160        check_limit_in_range($x as u64, $soft, $hard)
5161    };
5162}
5163
5164/// Used to check which limits were crossed if the TX is metered (not system tx)
5165/// Args are: is_metered, value_to_check, metered_limit, unmetered_limit
5166/// metered_limit is always less than or equal to unmetered_hard_limit
5167#[macro_export]
5168macro_rules! check_limit_by_meter {
5169    ($is_metered:expr, $x:expr, $metered_limit:expr, $unmetered_hard_limit:expr, $metric:expr) => {{
5170        // If this is metered, we use the metered_limit limit as the upper bound
5171        let (h, metered_str) = if $is_metered {
5172            ($metered_limit, "metered")
5173        } else {
5174            // Unmetered gets more headroom
5175            ($unmetered_hard_limit, "unmetered")
5176        };
5177        use sui_protocol_config::check_limit_in_range;
5178        let result = check_limit_in_range($x as u64, $metered_limit, h);
5179        match result {
5180            LimitThresholdCrossed::None => {}
5181            LimitThresholdCrossed::Soft(_, _) => {
5182                $metric.with_label_values(&[metered_str, "soft"]).inc();
5183            }
5184            LimitThresholdCrossed::Hard(_, _) => {
5185                $metric.with_label_values(&[metered_str, "hard"]).inc();
5186            }
5187        };
5188        result
5189    }};
5190}
5191#[cfg(all(test, not(msim)))]
5192mod test {
5193    use insta::assert_yaml_snapshot;
5194
5195    use super::*;
5196
5197    #[test]
5198    fn snapshot_tests() {
5199        println!("\n============================================================================");
5200        println!("!                                                                          !");
5201        println!("! IMPORTANT: never update snapshots from this test. only add new versions! !");
5202        println!("!                                                                          !");
5203        println!("============================================================================\n");
5204        for chain_id in &[Chain::Unknown, Chain::Mainnet, Chain::Testnet] {
5205            // make Chain::Unknown snapshots compatible with pre-chain-id snapshots so that we
5206            // don't break the release-time compatibility tests. Once Chain Id configs have been
5207            // released everywhere, we can remove this and only test Mainnet and Testnet
5208            let chain_str = match chain_id {
5209                Chain::Unknown => "".to_string(),
5210                _ => format!("{:?}_", chain_id),
5211            };
5212            for i in MIN_PROTOCOL_VERSION..=MAX_PROTOCOL_VERSION {
5213                let cur = ProtocolVersion::new(i);
5214                assert_yaml_snapshot!(
5215                    format!("{}version_{}", chain_str, cur.as_u64()),
5216                    ProtocolConfig::get_for_version(cur, *chain_id)
5217                );
5218            }
5219        }
5220    }
5221
5222    #[test]
5223    fn test_getters() {
5224        let prot: ProtocolConfig =
5225            ProtocolConfig::get_for_version(ProtocolVersion::new(1), Chain::Unknown);
5226        assert_eq!(
5227            prot.max_arguments(),
5228            prot.max_arguments_as_option().unwrap()
5229        );
5230    }
5231
5232    #[test]
5233    fn test_setters() {
5234        let mut prot: ProtocolConfig =
5235            ProtocolConfig::get_for_version(ProtocolVersion::new(1), Chain::Unknown);
5236        prot.set_max_arguments_for_testing(123);
5237        assert_eq!(prot.max_arguments(), 123);
5238
5239        prot.set_max_arguments_from_str_for_testing("321".to_string());
5240        assert_eq!(prot.max_arguments(), 321);
5241
5242        prot.disable_max_arguments_for_testing();
5243        assert_eq!(prot.max_arguments_as_option(), None);
5244
5245        prot.set_attr_for_testing("max_arguments".to_string(), "456".to_string());
5246        assert_eq!(prot.max_arguments(), 456);
5247    }
5248
5249    #[test]
5250    #[should_panic(expected = "unsupported version")]
5251    fn max_version_test() {
5252        // When this does not panic, version higher than MAX_PROTOCOL_VERSION exists.
5253        // To fix, bump MAX_PROTOCOL_VERSION or disable this check for the version.
5254        let _ = ProtocolConfig::get_for_version_impl(
5255            ProtocolVersion::new(MAX_PROTOCOL_VERSION + 1),
5256            Chain::Unknown,
5257        );
5258    }
5259
5260    #[test]
5261    fn lookup_by_string_test() {
5262        let prot: ProtocolConfig =
5263            ProtocolConfig::get_for_version(ProtocolVersion::new(1), Chain::Unknown);
5264        // Does not exist
5265        assert!(prot.lookup_attr("some random string".to_string()).is_none());
5266
5267        assert!(
5268            prot.lookup_attr("max_arguments".to_string())
5269                == Some(ProtocolConfigValue::u32(prot.max_arguments())),
5270        );
5271
5272        // We didnt have this in version 1
5273        assert!(
5274            prot.lookup_attr("max_move_identifier_len".to_string())
5275                .is_none()
5276        );
5277
5278        // But we did in version 9
5279        let prot: ProtocolConfig =
5280            ProtocolConfig::get_for_version(ProtocolVersion::new(9), Chain::Unknown);
5281        assert!(
5282            prot.lookup_attr("max_move_identifier_len".to_string())
5283                == Some(ProtocolConfigValue::u64(prot.max_move_identifier_len()))
5284        );
5285
5286        let prot: ProtocolConfig =
5287            ProtocolConfig::get_for_version(ProtocolVersion::new(1), Chain::Unknown);
5288        // We didnt have this in version 1
5289        assert!(
5290            prot.attr_map()
5291                .get("max_move_identifier_len")
5292                .unwrap()
5293                .is_none()
5294        );
5295        // We had this in version 1
5296        assert!(
5297            prot.attr_map().get("max_arguments").unwrap()
5298                == &Some(ProtocolConfigValue::u32(prot.max_arguments()))
5299        );
5300
5301        // Check feature flags
5302        let prot: ProtocolConfig =
5303            ProtocolConfig::get_for_version(ProtocolVersion::new(1), Chain::Unknown);
5304        // Does not exist
5305        assert!(
5306            prot.feature_flags
5307                .lookup_attr("some random string".to_owned())
5308                .is_none()
5309        );
5310        assert!(
5311            !prot
5312                .feature_flags
5313                .attr_map()
5314                .contains_key("some random string")
5315        );
5316
5317        // Was false in v1
5318        assert!(
5319            prot.feature_flags
5320                .lookup_attr("package_upgrades".to_owned())
5321                == Some(false)
5322        );
5323        assert!(
5324            prot.feature_flags
5325                .attr_map()
5326                .get("package_upgrades")
5327                .unwrap()
5328                == &false
5329        );
5330        let prot: ProtocolConfig =
5331            ProtocolConfig::get_for_version(ProtocolVersion::new(4), Chain::Unknown);
5332        // Was true from v3 and up
5333        assert!(
5334            prot.feature_flags
5335                .lookup_attr("package_upgrades".to_owned())
5336                == Some(true)
5337        );
5338        assert!(
5339            prot.feature_flags
5340                .attr_map()
5341                .get("package_upgrades")
5342                .unwrap()
5343                == &true
5344        );
5345    }
5346
5347    #[test]
5348    fn limit_range_fn_test() {
5349        let low = 100u32;
5350        let high = 10000u64;
5351
5352        assert!(check_limit!(1u8, low, high) == LimitThresholdCrossed::None);
5353        assert!(matches!(
5354            check_limit!(255u16, low, high),
5355            LimitThresholdCrossed::Soft(255u128, 100)
5356        ));
5357        // This wont compile because lossy
5358        //assert!(check_limit!(100000000u128, low, high) == LimitThresholdCrossed::None);
5359        // This wont compile because lossy
5360        //assert!(check_limit!(100000000usize, low, high) == LimitThresholdCrossed::None);
5361
5362        assert!(matches!(
5363            check_limit!(2550000u64, low, high),
5364            LimitThresholdCrossed::Hard(2550000, 10000)
5365        ));
5366
5367        assert!(matches!(
5368            check_limit!(2550000u64, high, high),
5369            LimitThresholdCrossed::Hard(2550000, 10000)
5370        ));
5371
5372        assert!(matches!(
5373            check_limit!(1u8, high),
5374            LimitThresholdCrossed::None
5375        ));
5376
5377        assert!(check_limit!(255u16, high) == LimitThresholdCrossed::None);
5378
5379        assert!(matches!(
5380            check_limit!(2550000u64, high),
5381            LimitThresholdCrossed::Hard(2550000, 10000)
5382        ));
5383    }
5384}