create-dubhe 0.0.8 → 0.0.9

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

@@ -0,0 +1,486 @@
+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/aptos-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/util.move

@@ -0,0 +1,16 @@
+/// 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/aptos-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/validator_consensus_info.move

@@ -0,0 +1,42 @@
+/// 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/aptos-template/contracts/counter/build/counter/sources/dependencies/AptosFramework/version.move

@@ -0,0 +1,115 @@
+/// 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);
+    }
+}