create-dubhe 0.1.13 → 1.2.0-pre.51

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/transaction_validation.move

@@ -1,486 +0,0 @@
-module aptos_framework::transaction_validation {
-    use std::bcs;
-    use std::error;
-    use std::features;
-    use std::signer;
-    use std::vector;
-
-    use aptos_framework::account;
-    use aptos_framework::aptos_account;
-    use aptos_framework::aptos_coin::AptosCoin;
-    use aptos_framework::chain_id;
-    use aptos_framework::coin;
-    use aptos_framework::system_addresses;
-    use aptos_framework::timestamp;
-    use aptos_framework::transaction_fee;
-
-    friend aptos_framework::genesis;
-
-    /// This holds information that will be picked up by the VM to call the
-    /// correct chain-specific prologue and epilogue functions
-    struct TransactionValidation has key {
-        module_addr: address,
-        module_name: vector<u8>,
-        script_prologue_name: vector<u8>,
-        // module_prologue_name is deprecated and not used.
-        module_prologue_name: vector<u8>,
-        multi_agent_prologue_name: vector<u8>,
-        user_epilogue_name: vector<u8>,
-    }
-
-    /// MSB is used to indicate a gas payer tx
-    const MAX_U64: u128 = 18446744073709551615;
-
-    /// Transaction exceeded its allocated max gas
-    const EOUT_OF_GAS: u64 = 6;
-
-    /// Prologue errors. These are separated out from the other errors in this
-    /// module since they are mapped separately to major VM statuses, and are
-    /// important to the semantics of the system.
-    const PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY: u64 = 1001;
-    const PROLOGUE_ESEQUENCE_NUMBER_TOO_OLD: u64 = 1002;
-    const PROLOGUE_ESEQUENCE_NUMBER_TOO_NEW: u64 = 1003;
-    const PROLOGUE_EACCOUNT_DOES_NOT_EXIST: u64 = 1004;
-    const PROLOGUE_ECANT_PAY_GAS_DEPOSIT: u64 = 1005;
-    const PROLOGUE_ETRANSACTION_EXPIRED: u64 = 1006;
-    const PROLOGUE_EBAD_CHAIN_ID: u64 = 1007;
-    const PROLOGUE_ESEQUENCE_NUMBER_TOO_BIG: u64 = 1008;
-    const PROLOGUE_ESECONDARY_KEYS_ADDRESSES_COUNT_MISMATCH: u64 = 1009;
-    const PROLOGUE_EFEE_PAYER_NOT_ENABLED: u64 = 1010;
-
-    /// Only called during genesis to initialize system resources for this module.
-    public(friend) fun initialize(
-        aptos_framework: &signer,
-        script_prologue_name: vector<u8>,
-        // module_prologue_name is deprecated and not used.
-        module_prologue_name: vector<u8>,
-        multi_agent_prologue_name: vector<u8>,
-        user_epilogue_name: vector<u8>,
-    ) {
-        system_addresses::assert_aptos_framework(aptos_framework);
-
-        move_to(aptos_framework, TransactionValidation {
-            module_addr: @aptos_framework,
-            module_name: b"transaction_validation",
-            script_prologue_name,
-            // module_prologue_name is deprecated and not used.
-            module_prologue_name,
-            multi_agent_prologue_name,
-            user_epilogue_name,
-        });
-    }
-
-    fun prologue_common(
-        sender: signer,
-        gas_payer: address,
-        txn_sequence_number: u64,
-        txn_authentication_key: vector<u8>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-        is_simulation: bool,
-    ) {
-        assert!(
-            timestamp::now_seconds() < txn_expiration_time,
-            error::invalid_argument(PROLOGUE_ETRANSACTION_EXPIRED),
-        );
-        assert!(chain_id::get() == chain_id, error::invalid_argument(PROLOGUE_EBAD_CHAIN_ID));
-
-        let transaction_sender = signer::address_of(&sender);
-
-        if (
-            transaction_sender == gas_payer
-                || account::exists_at(transaction_sender)
-                || !features::sponsored_automatic_account_creation_enabled()
-                || txn_sequence_number > 0
-        ) {
-            assert!(account::exists_at(transaction_sender), error::invalid_argument(PROLOGUE_EACCOUNT_DOES_NOT_EXIST));
-            if (!features::transaction_simulation_enhancement_enabled() ||
-                    !skip_auth_key_check(is_simulation, &txn_authentication_key)) {
-                assert!(
-                    txn_authentication_key == account::get_authentication_key(transaction_sender),
-                    error::invalid_argument(PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY),
-                )
-            };
-
-            let account_sequence_number = account::get_sequence_number(transaction_sender);
-            assert!(
-                txn_sequence_number < (1u64 << 63),
-                error::out_of_range(PROLOGUE_ESEQUENCE_NUMBER_TOO_BIG)
-            );
-
-            assert!(
-                txn_sequence_number >= account_sequence_number,
-                error::invalid_argument(PROLOGUE_ESEQUENCE_NUMBER_TOO_OLD)
-            );
-
-            assert!(
-                txn_sequence_number == account_sequence_number,
-                error::invalid_argument(PROLOGUE_ESEQUENCE_NUMBER_TOO_NEW)
-            );
-        } else {
-            // In this case, the transaction is sponsored and the account does not exist, so ensure
-            // the default values match.
-            assert!(
-                txn_sequence_number == 0,
-                error::invalid_argument(PROLOGUE_ESEQUENCE_NUMBER_TOO_NEW)
-            );
-
-            if (!features::transaction_simulation_enhancement_enabled() ||
-                    !skip_auth_key_check(is_simulation, &txn_authentication_key)) {
-                assert!(
-                    txn_authentication_key == bcs::to_bytes(&transaction_sender),
-                    error::invalid_argument(PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY),
-                );
-            }
-        };
-
-        let max_transaction_fee = txn_gas_price * txn_max_gas_units;
-
-        if (!features::transaction_simulation_enhancement_enabled() || !skip_gas_payment(is_simulation, gas_payer)) {
-            if (features::operations_default_to_fa_apt_store_enabled()) {
-                assert!(
-                    aptos_account::is_fungible_balance_at_least(gas_payer, max_transaction_fee),
-                    error::invalid_argument(PROLOGUE_ECANT_PAY_GAS_DEPOSIT)
-                );
-            } else {
-                assert!(
-                    coin::is_balance_at_least<AptosCoin>(gas_payer, max_transaction_fee),
-                    error::invalid_argument(PROLOGUE_ECANT_PAY_GAS_DEPOSIT)
-                );
-            }
-        }
-    }
-
-    fun script_prologue(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_public_key: vector<u8>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-        _script_hash: vector<u8>,
-    ) {
-        let gas_payer = signer::address_of(&sender);
-        // prologue_common with is_simulation set to false behaves identically to the original script_prologue function.
-        prologue_common(
-            sender,
-            gas_payer,
-            txn_sequence_number,
-            txn_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            false,
-        )
-    }
-
-    // This function extends the script_prologue by adding a parameter to indicate simulation mode.
-    // Once the transaction_simulation_enhancement feature is enabled, the Aptos VM will invoke this function instead.
-    // Eventually, this function will be consolidated with the original function once the feature is fully enabled.
-    fun script_prologue_extended(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_public_key: vector<u8>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-        _script_hash: vector<u8>,
-        is_simulation: bool,
-    ) {
-        let gas_payer = signer::address_of(&sender);
-        prologue_common(
-            sender,
-            gas_payer,
-            txn_sequence_number,
-            txn_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            is_simulation,
-        )
-    }
-
-    fun multi_agent_script_prologue(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_sender_public_key: vector<u8>,
-        secondary_signer_addresses: vector<address>,
-        secondary_signer_public_key_hashes: vector<vector<u8>>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-    ) {
-        let sender_addr = signer::address_of(&sender);
-        // prologue_common and multi_agent_common_prologue with is_simulation set to false behaves identically to the
-        // original multi_agent_script_prologue function.
-        prologue_common(
-            sender,
-            sender_addr,
-            txn_sequence_number,
-            txn_sender_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            false,
-        );
-        multi_agent_common_prologue(secondary_signer_addresses, secondary_signer_public_key_hashes, false);
-    }
-
-    // This function extends the multi_agent_script_prologue by adding a parameter to indicate simulation mode.
-    // Once the transaction_simulation_enhancement feature is enabled, the Aptos VM will invoke this function instead.
-    // Eventually, this function will be consolidated with the original function once the feature is fully enabled.
-    fun multi_agent_script_prologue_extended(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_sender_public_key: vector<u8>,
-        secondary_signer_addresses: vector<address>,
-        secondary_signer_public_key_hashes: vector<vector<u8>>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-        is_simulation: bool,
-    ) {
-        let sender_addr = signer::address_of(&sender);
-        prologue_common(
-            sender,
-            sender_addr,
-            txn_sequence_number,
-            txn_sender_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            is_simulation,
-        );
-        multi_agent_common_prologue(secondary_signer_addresses, secondary_signer_public_key_hashes, is_simulation);
-    }
-
-    fun multi_agent_common_prologue(
-        secondary_signer_addresses: vector<address>,
-        secondary_signer_public_key_hashes: vector<vector<u8>>,
-        is_simulation: bool,
-    ) {
-        let num_secondary_signers = vector::length(&secondary_signer_addresses);
-        assert!(
-            vector::length(&secondary_signer_public_key_hashes) == num_secondary_signers,
-            error::invalid_argument(PROLOGUE_ESECONDARY_KEYS_ADDRESSES_COUNT_MISMATCH),
-        );
-
-        let i = 0;
-        while ({
-            spec {
-                invariant i <= num_secondary_signers;
-                invariant forall j in 0..i:
-                    account::exists_at(secondary_signer_addresses[j]);
-                invariant forall j in 0..i:
-                    secondary_signer_public_key_hashes[j] == account::get_authentication_key(secondary_signer_addresses[j]) ||
-                        (features::spec_simulation_enhancement_enabled() && is_simulation && vector::is_empty(secondary_signer_public_key_hashes[j]));
-            };
-            (i < num_secondary_signers)
-        }) {
-            let secondary_address = *vector::borrow(&secondary_signer_addresses, i);
-            assert!(account::exists_at(secondary_address), error::invalid_argument(PROLOGUE_EACCOUNT_DOES_NOT_EXIST));
-
-            let signer_public_key_hash = *vector::borrow(&secondary_signer_public_key_hashes, i);
-            if (!features::transaction_simulation_enhancement_enabled() ||
-                    !skip_auth_key_check(is_simulation, &signer_public_key_hash)) {
-                assert!(
-                    signer_public_key_hash == account::get_authentication_key(secondary_address),
-                    error::invalid_argument(PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY),
-                )
-            };
-            i = i + 1;
-        }
-    }
-
-    fun fee_payer_script_prologue(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_sender_public_key: vector<u8>,
-        secondary_signer_addresses: vector<address>,
-        secondary_signer_public_key_hashes: vector<vector<u8>>,
-        fee_payer_address: address,
-        fee_payer_public_key_hash: vector<u8>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-    ) {
-        assert!(features::fee_payer_enabled(), error::invalid_state(PROLOGUE_EFEE_PAYER_NOT_ENABLED));
-        // prologue_common and multi_agent_common_prologue with is_simulation set to false behaves identically to the
-        // original fee_payer_script_prologue function.
-        prologue_common(
-            sender,
-            fee_payer_address,
-            txn_sequence_number,
-            txn_sender_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            false,
-        );
-        multi_agent_common_prologue(secondary_signer_addresses, secondary_signer_public_key_hashes, false);
-        assert!(
-            fee_payer_public_key_hash == account::get_authentication_key(fee_payer_address),
-            error::invalid_argument(PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY),
-        );
-    }
-
-    // This function extends the fee_payer_script_prologue by adding a parameter to indicate simulation mode.
-    // Once the transaction_simulation_enhancement feature is enabled, the Aptos VM will invoke this function instead.
-    // Eventually, this function will be consolidated with the original function once the feature is fully enabled.
-    fun fee_payer_script_prologue_extended(
-        sender: signer,
-        txn_sequence_number: u64,
-        txn_sender_public_key: vector<u8>,
-        secondary_signer_addresses: vector<address>,
-        secondary_signer_public_key_hashes: vector<vector<u8>>,
-        fee_payer_address: address,
-        fee_payer_public_key_hash: vector<u8>,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        txn_expiration_time: u64,
-        chain_id: u8,
-        is_simulation: bool,
-    ) {
-        assert!(features::fee_payer_enabled(), error::invalid_state(PROLOGUE_EFEE_PAYER_NOT_ENABLED));
-        prologue_common(
-            sender,
-            fee_payer_address,
-            txn_sequence_number,
-            txn_sender_public_key,
-            txn_gas_price,
-            txn_max_gas_units,
-            txn_expiration_time,
-            chain_id,
-            is_simulation,
-        );
-        multi_agent_common_prologue(secondary_signer_addresses, secondary_signer_public_key_hashes, is_simulation);
-        if (!features::transaction_simulation_enhancement_enabled() ||
-            !skip_auth_key_check(is_simulation, &fee_payer_public_key_hash)) {
-            assert!(
-                fee_payer_public_key_hash == account::get_authentication_key(fee_payer_address),
-                error::invalid_argument(PROLOGUE_EINVALID_ACCOUNT_AUTH_KEY),
-            )
-        }
-    }
-
-    /// Epilogue function is run after a transaction is successfully executed.
-    /// Called by the Adapter
-    fun epilogue(
-        account: signer,
-        storage_fee_refunded: u64,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        gas_units_remaining: u64,
-    ) {
-        let addr = signer::address_of(&account);
-        epilogue_gas_payer(account, addr, storage_fee_refunded, txn_gas_price, txn_max_gas_units, gas_units_remaining);
-    }
-
-    // This function extends the epilogue by adding a parameter to indicate simulation mode.
-    // Once the transaction_simulation_enhancement feature is enabled, the Aptos VM will invoke this function instead.
-    // Eventually, this function will be consolidated with the original function once the feature is fully enabled.
-    fun epilogue_extended(
-        account: signer,
-        storage_fee_refunded: u64,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        gas_units_remaining: u64,
-        is_simulation: bool,
-    ) {
-        let addr = signer::address_of(&account);
-        epilogue_gas_payer_extended(account, addr, storage_fee_refunded, txn_gas_price, txn_max_gas_units, gas_units_remaining, is_simulation);
-    }
-
-    /// Epilogue function with explicit gas payer specified, is run after a transaction is successfully executed.
-    /// Called by the Adapter
-    fun epilogue_gas_payer(
-        account: signer,
-        gas_payer: address,
-        storage_fee_refunded: u64,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        gas_units_remaining: u64,
-    ) {
-        // epilogue_gas_payer_extended with is_simulation set to false behaves identically to the original
-        // epilogue_gas_payer function.
-        epilogue_gas_payer_extended(
-            account,
-            gas_payer,
-            storage_fee_refunded,
-            txn_gas_price,
-            txn_max_gas_units,
-            gas_units_remaining,
-            false,
-        );
-    }
-
-    // This function extends the epilogue_gas_payer by adding a parameter to indicate simulation mode.
-    // Once the transaction_simulation_enhancement feature is enabled, the Aptos VM will invoke this function instead.
-    // Eventually, this function will be consolidated with the original function once the feature is fully enabled.
-    fun epilogue_gas_payer_extended(
-        account: signer,
-        gas_payer: address,
-        storage_fee_refunded: u64,
-        txn_gas_price: u64,
-        txn_max_gas_units: u64,
-        gas_units_remaining: u64,
-        is_simulation: bool,
-    ) {
-        assert!(txn_max_gas_units >= gas_units_remaining, error::invalid_argument(EOUT_OF_GAS));
-        let gas_used = txn_max_gas_units - gas_units_remaining;
-
-        assert!(
-            (txn_gas_price as u128) * (gas_used as u128) <= MAX_U64,
-            error::out_of_range(EOUT_OF_GAS)
-        );
-        let transaction_fee_amount = txn_gas_price * gas_used;
-
-        // it's important to maintain the error code consistent with vm
-        // to do failed transaction cleanup.
-        if (!features::transaction_simulation_enhancement_enabled() || !skip_gas_payment(is_simulation, gas_payer)) {
-            if (features::operations_default_to_fa_apt_store_enabled()) {
-                assert!(
-                    aptos_account::is_fungible_balance_at_least(gas_payer, transaction_fee_amount),
-                    error::out_of_range(PROLOGUE_ECANT_PAY_GAS_DEPOSIT),
-                );
-            } else {
-                assert!(
-                    coin::is_balance_at_least<AptosCoin>(gas_payer, transaction_fee_amount),
-                    error::out_of_range(PROLOGUE_ECANT_PAY_GAS_DEPOSIT),
-                );
-            };
-
-            if (transaction_fee_amount > storage_fee_refunded) {
-                let burn_amount = transaction_fee_amount - storage_fee_refunded;
-                transaction_fee::burn_fee(gas_payer, burn_amount);
-            } else if (transaction_fee_amount < storage_fee_refunded) {
-                let mint_amount = storage_fee_refunded - transaction_fee_amount;
-                transaction_fee::mint_and_refund(gas_payer, mint_amount)
-            };
-        };
-
-        // Increment sequence number
-        let addr = signer::address_of(&account);
-        account::increment_sequence_number(addr);
-    }
-
-    inline fun skip_auth_key_check(is_simulation: bool, auth_key: &vector<u8>): bool {
-        is_simulation && vector::is_empty(auth_key)
-    }
-
-    inline fun skip_gas_payment(is_simulation: bool, gas_payer: address): bool {
-        is_simulation && gas_payer == @0x0
-    }
-}

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/util.move

@@ -1,16 +0,0 @@
-/// Utility functions used by the framework modules.
-module aptos_framework::util {
-    friend aptos_framework::code;
-    friend aptos_framework::gas_schedule;
-
-    /// Native function to deserialize a type T.
-    ///
-    /// Note that this function does not put any constraint on `T`. If code uses this function to
-    /// deserialized a linear value, its their responsibility that the data they deserialize is
-    /// owned.
-    public(friend) native fun from_bytes<T>(bytes: vector<u8>): T;
-
-    public fun address_from_bytes(bytes: vector<u8>): address {
-        from_bytes(bytes)
-    }
-}

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/validator_consensus_info.move

@@ -1,42 +0,0 @@
-/// Common type: `ValidatorConsensusInfo`.
-module aptos_framework::validator_consensus_info {
-    /// Information about a validator that participates consensus.
-    struct ValidatorConsensusInfo has copy, drop, store {
-        addr: address,
-        pk_bytes: vector<u8>,
-        voting_power: u64,
-    }
-
-    /// Create a default `ValidatorConsensusInfo` object. Value may be invalid. Only for place holding prupose.
-    public fun default(): ValidatorConsensusInfo {
-        ValidatorConsensusInfo {
-            addr: @vm,
-            pk_bytes: vector[],
-            voting_power: 0,
-        }
-    }
-
-    /// Create a `ValidatorConsensusInfo` object.
-    public fun new(addr: address, pk_bytes: vector<u8>, voting_power: u64): ValidatorConsensusInfo {
-        ValidatorConsensusInfo {
-            addr,
-            pk_bytes,
-            voting_power,
-        }
-    }
-
-    /// Get `ValidatorConsensusInfo.addr`.
-    public fun get_addr(vci: &ValidatorConsensusInfo): address {
-        vci.addr
-    }
-
-    /// Get `ValidatorConsensusInfo.pk_bytes`.
-    public fun get_pk_bytes(vci: &ValidatorConsensusInfo): vector<u8> {
-        vci.pk_bytes
-    }
-
-    /// Get `ValidatorConsensusInfo.voting_power`.
-    public fun get_voting_power(vci: &ValidatorConsensusInfo): u64 {
-        vci.voting_power
-    }
-}

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/version.move

@@ -1,115 +0,0 @@
-/// Maintains the version number for the blockchain.
-module aptos_framework::version {
-    use std::error;
-    use std::signer;
-    use aptos_framework::chain_status;
-    use aptos_framework::config_buffer;
-
-    use aptos_framework::reconfiguration;
-    use aptos_framework::system_addresses;
-
-    friend aptos_framework::genesis;
-    friend aptos_framework::reconfiguration_with_dkg;
-
-    struct Version has drop, key, store {
-        major: u64,
-    }
-
-    struct SetVersionCapability has key {}
-
-    /// Specified major version number must be greater than current version number.
-    const EINVALID_MAJOR_VERSION_NUMBER: u64 = 1;
-    /// Account is not authorized to make this change.
-    const ENOT_AUTHORIZED: u64 = 2;
-
-    /// Only called during genesis.
-    /// Publishes the Version config.
-    public(friend) fun initialize(aptos_framework: &signer, initial_version: u64) {
-        system_addresses::assert_aptos_framework(aptos_framework);
-
-        move_to(aptos_framework, Version { major: initial_version });
-        // Give aptos framework account capability to call set version. This allows on chain governance to do it through
-        // control of the aptos framework account.
-        move_to(aptos_framework, SetVersionCapability {});
-    }
-
-    /// Deprecated by `set_for_next_epoch()`.
-    ///
-    /// WARNING: calling this while randomness is enabled will trigger a new epoch without randomness!
-    ///
-    /// TODO: update all the tests that reference this function, then disable this function.
-    public entry fun set_version(account: &signer, major: u64) acquires Version {
-        assert!(exists<SetVersionCapability>(signer::address_of(account)), error::permission_denied(ENOT_AUTHORIZED));
-        chain_status::assert_genesis();
-
-        let old_major = borrow_global<Version>(@aptos_framework).major;
-        assert!(old_major < major, error::invalid_argument(EINVALID_MAJOR_VERSION_NUMBER));
-
-        let config = borrow_global_mut<Version>(@aptos_framework);
-        config.major = major;
-
-        // Need to trigger reconfiguration so validator nodes can sync on the updated version.
-        reconfiguration::reconfigure();
-    }
-
-    /// Used in on-chain governances to update the major version for the next epoch.
-    /// Example usage:
-    /// - `aptos_framework::version::set_for_next_epoch(&framework_signer, new_version);`
-    /// - `aptos_framework::aptos_governance::reconfigure(&framework_signer);`
-    public entry fun set_for_next_epoch(account: &signer, major: u64) acquires Version {
-        assert!(exists<SetVersionCapability>(signer::address_of(account)), error::permission_denied(ENOT_AUTHORIZED));
-        let old_major = borrow_global<Version>(@aptos_framework).major;
-        assert!(old_major < major, error::invalid_argument(EINVALID_MAJOR_VERSION_NUMBER));
-        config_buffer::upsert(Version {major});
-    }
-
-    /// Only used in reconfigurations to apply the pending `Version`, if there is any.
-    public(friend) fun on_new_epoch(framework: &signer) acquires Version {
-        system_addresses::assert_aptos_framework(framework);
-        if (config_buffer::does_exist<Version>()) {
-            let new_value = config_buffer::extract<Version>();
-            if (exists<Version>(@aptos_framework)) {
-                *borrow_global_mut<Version>(@aptos_framework) = new_value;
-            } else {
-                move_to(framework, new_value);
-            }
-        }
-    }
-
-    /// Only called in tests and testnets. This allows the core resources account, which only exists in tests/testnets,
-    /// to update the version.
-    fun initialize_for_test(core_resources: &signer) {
-        system_addresses::assert_core_resource(core_resources);
-        move_to(core_resources, SetVersionCapability {});
-    }
-
-    #[test(aptos_framework = @aptos_framework)]
-    public entry fun test_set_version(aptos_framework: signer) acquires Version {
-        initialize(&aptos_framework, 1);
-        assert!(borrow_global<Version>(@aptos_framework).major == 1, 0);
-        set_version(&aptos_framework, 2);
-        assert!(borrow_global<Version>(@aptos_framework).major == 2, 1);
-    }
-
-    #[test(aptos_framework = @aptos_framework, core_resources = @core_resources)]
-    public entry fun test_set_version_core_resources(
-        aptos_framework: signer,
-        core_resources: signer,
-    ) acquires Version {
-        initialize(&aptos_framework, 1);
-        assert!(borrow_global<Version>(@aptos_framework).major == 1, 0);
-        initialize_for_test(&core_resources);
-        set_version(&core_resources, 2);
-        assert!(borrow_global<Version>(@aptos_framework).major == 2, 1);
-    }
-
-    #[test(aptos_framework = @aptos_framework, random_account = @0x123)]
-    #[expected_failure(abort_code = 327682, location = Self)]
-    public entry fun test_set_version_unauthorized_should_fail(
-        aptos_framework: signer,
-        random_account: signer,
-    ) acquires Version {
-        initialize(&aptos_framework, 1);
-        set_version(&random_account, 2);
-    }
-}