[RFC] Add native function create_uuid

aptos-move/aptos-gas/src/aptos_framework.rs

@@ -163,7 +163,10 @@ crate::natives::define_gas_parameters_for_natives!(GasParameters, "aptos_framewo
     [.util.from_bytes.base, "util.from_bytes.base", 300 * MUL],
     [.util.from_bytes.per_byte, "util.from_bytes.per_byte", 5 * MUL],
 
+    [.transaction_context.get_txn_hash.base, { 9.. => "transaction_context.get_txn_hash.base" }, 200 * MUL],
     [.transaction_context.get_script_hash.base, "transaction_context.get_script_hash.base", 200 * MUL],
+    // Using SHA2-256's cost
+    [.transaction_context.create_uuid.base, { 9.. => "transaction_context.create_uuid.base" }, 3000 * MUL],
 
     [.code.request_publish.base, "code.request_publish.base", 500 * MUL],
     [.code.request_publish.per_byte, "code.request_publish.per_byte", 2 * MUL],

aptos-move/aptos-gas/src/gas_meter.rs

@@ -33,6 +33,8 @@ use move_vm_types::{
 use std::collections::BTreeMap;
 
 // Change log:
+// - V9
+//   - Added create_uuid and get_txn_hash native functions
 // - V8
 //   - Added BLS12-381 operations.
 // - V7
@@ -59,7 +61,7 @@ use std::collections::BTreeMap;
 //       global operations.
 // - V1
 //   - TBA
-pub const LATEST_GAS_FEATURE_VERSION: u64 = 8;
+pub const LATEST_GAS_FEATURE_VERSION: u64 = 9;
 
 pub(crate) const EXECUTION_GAS_MULTIPLIER: u64 = 20;
 

aptos-move/aptos-vm/src/move_vm_ext/vm.rs

@@ -113,7 +113,11 @@ impl MoveVmExt {
             _ => vec![],
         };
 
-        extensions.add(NativeTransactionContext::new(script_hash, self.chain_id));
+        extensions.add(NativeTransactionContext::new(
+            txn_hash.to_vec(),
+            script_hash,
+            self.chain_id,
+        ));
         extensions.add(NativeCodeContext::default());
         extensions.add(NativeStateStorageContext::new(remote));
 

aptos-move/aptos-vm/src/natives.rs

@@ -91,7 +91,11 @@ pub fn configure_for_unit_test() {
 #[cfg(feature = "testing")]
 fn unit_test_extensions_hook(exts: &mut NativeContextExtensions) {
     exts.add(NativeCodeContext::default());
-    exts.add(NativeTransactionContext::new(vec![1], ChainId::test().id())); // We use the testing environment chain ID here
+    exts.add(NativeTransactionContext::new(
+        vec![1],
+        vec![1],
+        ChainId::test().id(),
+    )); // We use the testing environment chain ID here
     exts.add(NativeAggregatorContext::new(
         [0; 32],
         &*DUMMY_RESOLVER,

aptos-move/e2e-move-tests/src/lib.rs

@@ -4,6 +4,7 @@
 pub mod aggregator;
 pub mod harness;
 pub mod stake;
+pub mod transaction_context;
 pub mod transaction_fee;
 
 use anyhow::bail;

aptos-move/e2e-move-tests/src/tests/mod.rs

@@ -35,6 +35,7 @@ mod state_metadata;
 mod string_args;
 mod token_event_store;
 mod token_objects;
+mod transaction_context;
 mod transaction_fee;
 mod type_too_large;
 mod vector_numeric_address;

aptos-move/e2e-move-tests/src/tests/transaction_context.data/Move.toml

@@ -0,0 +1,6 @@
+[package]
+name = "transaction_context_test"
+version = "0.0.0"
+
+[dependencies]
+AptosFramework = { local = "../../../../framework/aptos-framework" }

aptos-move/e2e-move-tests/src/tests/transaction_context.data/sources/transaction_context_test.move

@@ -0,0 +1,25 @@
+module 0x1::transaction_context_test {
+    use std::vector;
+    use aptos_framework::transaction_context::create_uuid;
+
+    /// When checking the value of aggregator fails.
+    const ENOT_UNIQUE: u64 = 20;
+
+    public entry fun create_many_uuids(_account: &signer, count: u64) {
+        let uuids: vector<address> = vector<address>[];
+        let i: u64 = 0;
+        while (i < count) {
+            i = i+1;
+            vector::push_back(&mut uuids, create_uuid());
+        };
+        i = 0;
+        while (i < count - 1) {
+            let j: u64 = i + 1;
+            while (j < count) {
+                assert!(*vector::borrow(&uuids, i) != *vector::borrow(&uuids, j), ENOT_UNIQUE);
+                j = j + 1;
+            };
+            i = i + 1;
+        };
+    }
+}

aptos-move/e2e-move-tests/src/tests/transaction_context.rs

@@ -0,0 +1,20 @@
+use crate::{
+    assert_success,
+    tests::common,
+    transaction_context::{create_many_uuids, initialize},
+    MoveHarness,
+};
+use aptos_language_e2e_tests::account::Account;
+
+fn setup() -> (MoveHarness, Account) {
+    initialize(common::test_dir_path("transaction_context.data"))
+}
+
+#[test]
+fn test_many_unique_uuids() {
+    let (mut h, acc) = setup();
+
+    let txn1 = create_many_uuids(&mut h, &acc, 50);
+
+    assert_success!(h.run(txn1));
+}

aptos-move/e2e-move-tests/src/transaction_context.rs

@@ -0,0 +1,27 @@
+// Copyright © Aptos Foundation
+// SPDX-License-Identifier: Apache-2.0
+
+use crate::{assert_success, harness::MoveHarness};
+use aptos_language_e2e_tests::account::Account;
+use aptos_types::{account_address::AccountAddress, transaction::SignedTransaction};
+use std::path::PathBuf;
+
+pub fn initialize(path: PathBuf) -> (MoveHarness, Account) {
+    let mut harness = MoveHarness::new();
+    let account = harness.new_account_at(AccountAddress::ONE);
+    assert_success!(harness.publish_package(&account, &path));
+    (harness, account)
+}
+
+pub fn create_many_uuids(
+    harness: &mut MoveHarness,
+    account: &Account,
+    count: u64,
+) -> SignedTransaction {
+    harness.create_entry_function(
+        account,
+        str::parse("0x1::transaction_context_test::create_many_uuids").unwrap(),
+        vec![],
+        vec![bcs::to_bytes(&count).unwrap()],
+    )
+}

aptos-move/framework/aptos-framework/doc/object.md

@@ -42,9 +42,9 @@ make it so that a reference to a global object can be returned from a function.
 -  [Function `convert`](#0x1_object_convert)
 -  [Function `create_named_object`](#0x1_object_create_named_object)
 -  [Function `create_user_derived_object`](#0x1_object_create_user_derived_object)
+-  [Function `create_object`](#0x1_object_create_object)
 -  [Function `create_object_from_account`](#0x1_object_create_object_from_account)
 -  [Function `create_object_from_object`](#0x1_object_create_object_from_object)
--  [Function `create_object_from_guid`](#0x1_object_create_object_from_guid)
 -  [Function `create_object_internal`](#0x1_object_create_object_internal)
 -  [Function `generate_delete_ref`](#0x1_object_generate_delete_ref)
 -  [Function `generate_extend_ref`](#0x1_object_generate_extend_ref)
@@ -78,15 +78,15 @@ make it so that a reference to a global object can be returned from a function.
     -  [Function `exists_at`](#@Specification_1_exists_at)
 
 
-<pre><code><b>use</b> <a href="account.md#0x1_account">0x1::account</a>;
-<b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/bcs.md#0x1_bcs">0x1::bcs</a>;
+<pre><code><b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/bcs.md#0x1_bcs">0x1::bcs</a>;
 <b>use</b> <a href="create_signer.md#0x1_create_signer">0x1::create_signer</a>;
 <b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error">0x1::error</a>;
 <b>use</b> <a href="event.md#0x1_event">0x1::event</a>;
 <b>use</b> <a href="../../aptos-stdlib/doc/from_bcs.md#0x1_from_bcs">0x1::from_bcs</a>;
 <b>use</b> <a href="guid.md#0x1_guid">0x1::guid</a>;
 <b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/hash.md#0x1_hash">0x1::hash</a>;
 <b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">0x1::signer</a>;
+<b>use</b> <a href="transaction_context.md#0x1_transaction_context">0x1::transaction_context</a>;
 <b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector">0x1::vector</a>;
 </code></pre>
 
@@ -225,8 +225,7 @@ This is a one time ability given to the creator to configure the object as neces
 <code>can_delete: bool</code>
 </dt>
 <dd>
- Set to true so long as deleting the object is possible. For example, the object was
- created via create_object_from_guid.
+ Set to true so long as deleting the object is possible.
 </dd>
 </dl>
 
@@ -828,14 +827,16 @@ Derivde objects, similar to named objects, cannot be deleted.
 
 </details>
 
-<a name="0x1_object_create_object_from_account"></a>
+<a name="0x1_object_create_object"></a>
 
-## Function `create_object_from_account`
+## Function `create_object`
 
-Create a new object from a GUID generated by an account.
+Create a new object by generating a random UUID based on transaction hash.
+The created object is deletable as we can guarantee the same UUID can
+never be regenerated with future txs.
 
 
-<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_account">create_object_from_account</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object">create_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
 </code></pre>
 
 
@@ -844,24 +845,24 @@ Create a new object from a GUID generated by an account.
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_account">create_object_from_account</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> {
-    <b>let</b> <a href="guid.md#0x1_guid">guid</a> = <a href="account.md#0x1_account_create_guid">account::create_guid</a>(creator);
-    <a href="object.md#0x1_object_create_object_from_guid">create_object_from_guid</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(creator), <a href="guid.md#0x1_guid">guid</a>)
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object">create_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> {
+    <b>let</b> uuid = aptos_framework::transaction_context::create_uuid();
+    <a href="object.md#0x1_object_create_object_internal">create_object_internal</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(creator), uuid, <b>true</b>)
 }
 </code></pre>
 
 
 
 </details>
 
-<a name="0x1_object_create_object_from_object"></a>
+<a name="0x1_object_create_object_from_account"></a>
 
-## Function `create_object_from_object`
+## Function `create_object_from_account`
 
-Create a new object from a GUID generated by an object.
+Create a new object by generating a random UUID based on transaction hash.
 
 
-<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_object">create_object_from_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_account">create_object_from_account</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
 </code></pre>
 
 
@@ -870,23 +871,23 @@ Create a new object from a GUID generated by an object.
 <summary>Implementation</summary>
 
 
-<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_object">create_object_from_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> <b>acquires</b> <a href="object.md#0x1_object_ObjectCore">ObjectCore</a> {
-    <b>let</b> <a href="guid.md#0x1_guid">guid</a> = <a href="object.md#0x1_object_create_guid">create_guid</a>(creator);
-    <a href="object.md#0x1_object_create_object_from_guid">create_object_from_guid</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(creator), <a href="guid.md#0x1_guid">guid</a>)
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_account">create_object_from_account</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> {
+    <a href="object.md#0x1_object_create_object">create_object</a>(creator)
 }
 </code></pre>
 
 
 
 </details>
 
-<a name="0x1_object_create_object_from_guid"></a>
+<a name="0x1_object_create_object_from_object"></a>
 
-## Function `create_object_from_guid`
+## Function `create_object_from_object`
 
+Create a new object by generating a random UUID based on transaction hash.
 
 
-<pre><code><b>fun</b> <a href="object.md#0x1_object_create_object_from_guid">create_object_from_guid</a>(creator_address: <b>address</b>, <a href="guid.md#0x1_guid">guid</a>: <a href="guid.md#0x1_guid_GUID">guid::GUID</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_object">create_object_from_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">object::ConstructorRef</a>
 </code></pre>
 
 
@@ -895,11 +896,8 @@ Create a new object from a GUID generated by an object.
 <summary>Implementation</summary>
 
 
-<pre><code><b>fun</b> <a href="object.md#0x1_object_create_object_from_guid">create_object_from_guid</a>(creator_address: <b>address</b>, <a href="guid.md#0x1_guid">guid</a>: <a href="guid.md#0x1_guid_GUID">guid::GUID</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> {
-    <b>let</b> bytes = <a href="../../aptos-stdlib/../move-stdlib/doc/bcs.md#0x1_bcs_to_bytes">bcs::to_bytes</a>(&<a href="guid.md#0x1_guid">guid</a>);
-    <a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector_push_back">vector::push_back</a>(&<b>mut</b> bytes, <a href="object.md#0x1_object_OBJECT_FROM_GUID_ADDRESS_SCHEME">OBJECT_FROM_GUID_ADDRESS_SCHEME</a>);
-    <b>let</b> obj_addr = <a href="../../aptos-stdlib/doc/from_bcs.md#0x1_from_bcs_to_address">from_bcs::to_address</a>(<a href="../../aptos-stdlib/../move-stdlib/doc/hash.md#0x1_hash_sha3_256">hash::sha3_256</a>(bytes));
-    <a href="object.md#0x1_object_create_object_internal">create_object_internal</a>(creator_address, obj_addr, <b>true</b>)
+<pre><code><b>public</b> <b>fun</b> <a href="object.md#0x1_object_create_object_from_object">create_object_from_object</a>(creator: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>): <a href="object.md#0x1_object_ConstructorRef">ConstructorRef</a> {
+    <a href="object.md#0x1_object_create_object">create_object</a>(creator)
 }
 </code></pre>
 

aptos-move/framework/aptos-framework/doc/transaction_context.md

@@ -5,6 +5,8 @@
 
 
 
+-  [Function `get_txn_hash`](#0x1_transaction_context_get_txn_hash)
+-  [Function `create_uuid`](#0x1_transaction_context_create_uuid)
 -  [Function `get_script_hash`](#0x1_transaction_context_get_script_hash)
 -  [Specification](#@Specification_0)
     -  [Function `get_script_hash`](#@Specification_0_get_script_hash)
@@ -14,6 +16,56 @@
 
 
 
+<a name="0x1_transaction_context_get_txn_hash"></a>
+
+## Function `get_txn_hash`
+
+Return the transaction hash of the current transaction
+
+
+<pre><code><b>public</b> <b>fun</b> <a href="transaction_context.md#0x1_transaction_context_get_txn_hash">get_txn_hash</a>(): <a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector">vector</a>&lt;u8&gt;
+</code></pre>
+
+
+
+<details>
+<summary>Implementation</summary>
+
+
+<pre><code><b>public</b> <b>native</b> <b>fun</b> <a href="transaction_context.md#0x1_transaction_context_get_txn_hash">get_txn_hash</a>(): <a href="../../aptos-stdlib/../move-stdlib/doc/vector.md#0x1_vector">vector</a>&lt;u8&gt;;
+</code></pre>
+
+
+
+</details>
+
+<a name="0x1_transaction_context_create_uuid"></a>
+
+## Function `create_uuid`
+
+Return a universally unique identifier generated by hashing
+the transaction hash of this transaction and a sequence number
+specific to this transaction. This function can be called any
+number of times inside a single transaction. Each such call increments
+the sequence number and generates a new UUID
+
+
+<pre><code><b>public</b> <b>fun</b> <a href="transaction_context.md#0x1_transaction_context_create_uuid">create_uuid</a>(): <b>address</b>
+</code></pre>
+
+
+
+<details>
+<summary>Implementation</summary>
+
+
+<pre><code><b>public</b> <b>native</b> <b>fun</b> <a href="transaction_context.md#0x1_transaction_context_create_uuid">create_uuid</a>(): <b>address</b>;
+</code></pre>
+
+
+
+</details>
+
 <a name="0x1_transaction_context_get_script_hash"></a>
 
 ## Function `get_script_hash`