feat: add layout7 contracts

.github/workflows/aptos_test.yaml

@@ -19,4 +19,4 @@ jobs:
         with:
           version: 4.0.0
       - name: test_contract
-        run: (cd libs && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd verifier && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks)
+        run: (cd libs && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd verifier && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd cpu && aptos move test --coverage --dev --skip-fetch-latest-git-deps --skip-attribute-checks)

README.md

@@ -47,3 +47,6 @@ aptos move create-object-and-publish-package --address-name <your_account_name>
 ```bash
 aptos move upgrade-object-package --object-address <object_address> --named-addresses <your_account_name>=<object_address>
 ```
+
+The reference source for the verifier part https://etherscan.io/address/0xd51A3D50d4D2f99a345a66971E650EEA064DD8dF#code
+CPU layout 7 contracts: https://vscode.blockscan.com/ethereum/0x28e3ad4201ba416b23d9950503db28a9232be32a

cpu/Move.toml

@@ -0,0 +1,19 @@
+[package]
+name = "cpu"
+version = "1.0.0"
+authors = []
+
+[addresses]
+cpu_addr = "_"
+
+[dev-addresses]
+cpu_addr = "1725fb72ba62d830193fe57a932b5071c9718a44e40891e4067a2fe0e78f4d0f"
+lib_addr = "54ba5979fbdf5fa56c4f4b5147fa33068148d08f6f191c23bca865c21192dcaa"
+
+[dependencies.AptosFramework]
+git = "https://github.com/aptos-labs/aptos-core.git"
+rev = "aptos-release-v1.17"
+subdir = "aptos-move/framework/aptos-framework"
+
+[dependencies]
+libs = { local = "../libs" }

cpu/sources/cairo_bootloader_program.move

@@ -0,0 +1,20 @@
+module cpu_addr::cairo_bootloader_program {
+    use std::signer::address_of;
+
+    struct CompiledProgram has key {
+        inner: vector<u256>
+    }
+
+    public fun init_compiled_program(signer: &signer, compiled_program: vector<u256>) {
+        if (!exists<CompiledProgram>(address_of(signer))) {
+            move_to(signer, CompiledProgram {
+                inner: compiled_program
+            });
+        };
+    }
+
+    #[view]
+    public fun get_compiled_program(signer_addr: address): vector<u256> acquires CompiledProgram {
+        borrow_global<CompiledProgram>(signer_addr).inner
+    }
+}