aptos: initial executor requests module

Author: evan-gray

README.md

@@ -8,8 +8,8 @@ Provide an execution framework and proof-of-concept (PoC) service for [Wormhole]
 
 - [x] [EVM](./evm/)
 - [x] [SVM](./svm/)
-- [x] Sui Move
-- [ ] Aptos Move
+- [x] [Sui Move](./sui/)
+- [x] [Aptos Move](./aptos/)
 
 ## Background
 

aptos/DEPLOYMENTS.md

@@ -0,0 +1,9 @@
+# Executor EVM Deployments
+
+## Testnet
+
+### April 24, 2025
+
+Executor: [0x139717c339f08af674be77143507a905aa28cbc67a0e53e7095c07b630d73815](https://explorer.aptoslabs.com/account/0x139717c339f08af674be77143507a905aa28cbc67a0e53e7095c07b630d73815/resources?network=testnet)
+
+Executor Requests: [0xf6cc46a85f8cac9852c62904f09ec7fc9d3fe41ff646913853bed2a992c1d6d7](https://explorer.aptoslabs.com/account/0xf6cc46a85f8cac9852c62904f09ec7fc9d3fe41ff646913853bed2a992c1d6d7/resources?network=testnet)

aptos/README.md

@@ -0,0 +1,50 @@
+# Aptos
+
+The executor folder was generated with `aptos move init --name executor`.
+
+This module was developed with aptos CLI `7.2.0`. It should generally match the Sui implementation with minor changes necessary for Aptos-specific implementation details.
+
+## Development
+
+[Move IDE Plugins](https://aptos.dev/en/build/smart-contracts#move-ide-plugins)
+
+### Compile
+
+```bash
+aptos move compile --named-addresses executor=default
+```
+
+### Test
+
+```bash
+aptos move test --named-addresses executor=default
+```
+
+For coverage, add the `--coverage` flag.
+
+```bash
+aptos move test --coverage --named-addresses executor=default
+```
+
+### Deploy
+
+First initialize the config, setting the desired network and deployment private key.
+
+```bash
+cd executor
+aptos init
+```
+
+Then, publish the module immutably via a resource account.
+
+```bash
+aptos move create-resource-account-and-publish-package --address-name executor --seed-encoding Utf8 --seed executorv1
+```
+
+Repeat this with the `executor_requests` module.
+
+```bash
+cd executor
+aptos init
+aptos move create-resource-account-and-publish-package --address-name executor_requests --named-addresses executor=<ADDRESS_FROM_PREVIOUS_STEP> --seed-encoding Utf8 --seed executor_requestsv1
+```

aptos/ci.sh

@@ -1,11 +1,11 @@
 #!/bin/bash
 
-for dir in */     # list directories in the form "/tmp/dirname/"
-do
-    dir=${dir%*/}      # remove the trailing "/"
-    cd ${dir}
-    aptos init --skip-faucet
-    sh -c "aptos move test --coverage --named-addresses ${dir}=default"
-    sh -c "aptos move coverage summary --named-addresses ${dir}=default | grep \"Move Coverage: 100.00\""
-    cd ..
-done
+cd executor
+aptos init --skip-faucet
+sh -c "aptos move test --coverage --named-addresses executor=default"
+sh -c "aptos move coverage summary --named-addresses executor=default | grep \"Move Coverage: 100.00\""
+cd ../executor_requests
+aptos init --skip-faucet
+sh -c "aptos move test --coverage --named-addresses executor=default,executor_requests=default"
+sh -c "aptos move coverage summary --named-addresses executor=default,executor_requests=default | grep \"Move Coverage: 100.00\""
+cd ..

aptos/executor/.gitignore

@@ -0,0 +1,2 @@
+.aptos/
+build/

aptos/executor_requests/.gitignore

@@ -0,0 +1,2 @@
+.aptos/
+build/

aptos/executor_requests/Move.toml

@@ -0,0 +1,20 @@
+[package]
+name = "executor_requests"
+version = "1.0.0"
+license = "Apache 2.0"
+authors = ["Wormhole Labs"]
+
+[dependencies.executor]
+local = "../executor"
+
+[addresses]
+executor_requests = "_"
+
+[dev-addresses]
+
+[dependencies.AptosFramework]
+git = "https://github.com/aptos-labs/aptos-framework.git"
+rev = "mainnet"
+subdir = "aptos-framework"
+
+[dev-dependencies]

aptos/executor_requests/sources/executor_requests.move

@@ -0,0 +1,36 @@
+// SPDX-License-Identifier: Apache-2.0
+
+module executor_requests::executor_requests {
+    use std::vector;
+    use executor::bytes;
+
+    const REQ_VAA_V1: vector<u8> = b"ERV1";
+    const REQ_CCTP_V1: vector<u8> = b"ERC1";
+
+    const E_INVALID_VEC_LENGTH: u64 = 0;
+
+    public fun make_vaa_v1_request(
+        emitter_chain: u16,
+        emitter_address: vector<u8>,
+        sequence: u64
+    ): vector<u8> {
+        assert!(emitter_address.length() == 32,E_INVALID_VEC_LENGTH);
+        let ret = vector::empty();
+        ret.append(REQ_VAA_V1);
+        bytes::push_u16_be(&mut ret, emitter_chain);
+        ret.append(emitter_address);
+        bytes::push_u64_be(&mut ret, sequence);
+        ret
+    }
+
+    public fun make_cctp_v1_request(
+        src_domain: u32,
+        nonce: u64,
+    ): vector<u8> {
+        let ret = vector::empty();
+        ret.append(REQ_CCTP_V1);
+        bytes::push_u32_be(&mut ret, src_domain);
+        bytes::push_u64_be(&mut ret, nonce);
+        ret
+    }
+}

aptos/executor_requests/tests/executor_requests_tests.move

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: Apache-2.0
+
+#[test_only]
+module executor_requests::executor_requests_tests {
+    use executor_requests::executor_requests;
+
+    #[test]
+    fun test_make_vaa_v1_request() {
+        let res = executor_requests::make_vaa_v1_request(
+            10002,
+            x"000000000000000000000000d4a6a72a025599fd7357c0f157c718d0f5e38c76",
+            29
+        );
+        assert!(res == x"455256312712000000000000000000000000d4a6a72a025599fd7357c0f157c718d0f5e38c76000000000000001d", 0);
+    }
+
+    #[test]
+    fun test_make_cctp_v1_request() {
+        let res = executor_requests::make_cctp_v1_request(
+            6,
+            6344
+        );
+        assert!(res == x"455243310000000600000000000018c8", 0);
+    }
+
+    #[test]
+    #[expected_failure(abort_code = executor_requests::E_INVALID_VEC_LENGTH)]
+    fun test_make_vaa_v1_request_fail_with_emitter_too_short() {
+        executor_requests::make_vaa_v1_request(
+            10002,
+            x"000000000000000000000000d4a6a72a025599fd7357c0f157c718d0f5e38c",
+            29
+        );
+    }
+
+    #[test]
+    #[expected_failure(abort_code = executor_requests::E_INVALID_VEC_LENGTH)]
+    fun test_make_vaa_v1_request_fail_with_emitter_too_long() {
+        executor_requests::make_vaa_v1_request(
+            10002,
+            x"000000000000000000000000d4a6a72a025599fd7357c0f157c718d0f5e38c7600",
+            29
+        );
+    }
+    
+}