fix: navori ci

sota-zk-labs · Aug 23, 2024 · 25abe29 · 25abe29
1 parent aada8d6
commit 25abe29
Show file tree

Hide file tree

Showing 11 changed files with 25 additions and 14 deletions.
diff --git a/.github/actions/setup_aptos_cli/action.yaml b/.github/actions/setup_aptos_cli/action.yaml
@@ -1,5 +1,10 @@
 name: Setup Aptos CLI
 description: A composite action that sets up the Aptos CLI
+inputs:
+  version:
+    description: 'The version of the Aptos CLI to install'
+    required: true
+    default: '4.0.0'
 runs:
   using: "composite"
   steps:

diff --git a/.github/workflows/aptos_test.yaml b/.github/workflows/aptos_test.yaml
@@ -18,5 +18,5 @@ jobs:
       - uses: ./.github/actions/setup_aptos_cli
         with:
           version: 4.0.0
-      - name: Test
-        run: aptos move test
+      - name: test_contract
+        run: (cd libs && aptos move test --skip-fetch-latest-git-deps --skip-attribute-checks) & (cd verifier && aptos move test --skip-fetch-latest-git-deps --skip-attribute-checks)
diff --git a/libs/Move.toml b/libs/Move.toml
@@ -6,7 +6,10 @@ authors = []
 [addresses]
 lib_addr = "_"
 
+[dev-addresses]
+lib_addr = "0x70c7fb94e185ce44f460f4fd8f9c38751bf9689ce8faefb7a216d8f224ec38fc"
+
 [dependencies.AptosFramework]
 git = "https://github.com/aptos-labs/aptos-core.git"
-rev = "mainnet"
+rev = "release-v.1.14"
 subdir = "aptos-move/framework/aptos-framework"
diff --git a/libs/sources/bytes.move b/libs/sources/bytes.move
@@ -72,11 +72,11 @@ module lib_addr::bytes {
 }
 
 #[test_only]
-module verifier_addr::bytes_test {
+module lib_addr::bytes_test {
     use std::bcs::to_bytes;
     use std::vector;
 
-    use verifier_addr::bytes::{pad, vec_to_bytes_be};
+    use lib_addr::bytes::{pad, vec_to_bytes_be};
 
     #[test]
     fun test_padding() {

diff --git a/libs/sources/prime_field_element_0.move b/libs/sources/prime_field_element_0.move
@@ -1,4 +1,4 @@
-module verifier_addr::prime_field_element_0 {
+module lib_addr::prime_field_element_0 {
     // This line is used for generating constants DO NOT REMOVE!
     // 3618502788666131213697322783095070105623107215331596699973092056135872020481
     const K_MODULUS: u256 = 0x800000000000011000000000000000000000000000000000000000000000001;

diff --git a/verifier/Move.toml b/verifier/Move.toml
@@ -5,8 +5,11 @@ authors = []
 
 [addresses]
 verifier_addr = "_"
+lib_addr = "_"
 
 [dev-addresses]
+verifier_addr = "0x70c7fb94e185ce44f460f4fd8f9c38751bf9689ce8faefb7a216d8f224ec38fc"
+lib_addr = "0x70c7fb94e185ce44f460f4fd8f9c38751bf9689ce8faefb7a216d8f224ec38f3"
 
 [dependencies.AptosFramework]
 git = "https://github.com/aptos-labs/aptos-core.git"

diff --git a/verifier/sources/fri_layer.move b/verifier/sources/fri_layer.move
@@ -3,10 +3,10 @@ module verifier_addr::fri_layer {
     use std::vector;
     use aptos_std::aptos_hash::keccak256;
 
-    use verifier_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
+    use lib_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
     use verifier_addr::fri::{get_fri, update_fri};
     use verifier_addr::fri_transform::transform_coset;
-    use verifier_addr::prime_field_element_0::{fmul, fpow};
+    use lib_addr::prime_field_element_0::{fmul, fpow};
 
     // This line is used for generating constants DO NOT REMOVE!
     // 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF000000000000000000000000

diff --git a/verifier/sources/fri_statement_contract.move b/verifier/sources/fri_statement_contract.move
@@ -4,8 +4,8 @@ module verifier_addr::fri_statement_contract {
     use aptos_std::aptos_hash::keccak256;
     use aptos_framework::event::emit;
 
-    use verifier_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
-    use verifier_addr::convert_memory::copy_vec_to_memory;
+    use lib_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
+    use lib_addr::convert_memory::copy_vec_to_memory;
     use verifier_addr::fact_registry::register_fact;
     use verifier_addr::fri::{get_fri, new_fri, update_fri};
 

diff --git a/verifier/sources/fri_transform.move b/verifier/sources/fri_transform.move
@@ -1,7 +1,7 @@
 module verifier_addr::fri_transform {
     use std::vector;
 
-    use verifier_addr::prime_field_element_0::fmul;
+    use lib_addr::prime_field_element_0::fmul;
 
     // This line is used for generating constants DO NOT REMOVE!
     // 3618502788666131213697322783095070105623107215331596699973092056135872020481

diff --git a/verifier/sources/merkle_statement_contract.move b/verifier/sources/merkle_statement_contract.move
@@ -6,8 +6,8 @@ module verifier_addr::merkle_statement_contract {
     use aptos_std::math64::pow;
     use aptos_framework::event;
 
-    use verifier_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
-    use verifier_addr::convert_memory::copy_vec_to_memory;
+    use lib_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
+    use lib_addr::convert_memory::copy_vec_to_memory;
     use verifier_addr::fact_registry::register_fact;
     use verifier_addr::fri::{get_fri, new_fri, update_fri};
 

diff --git a/verifier/sources/merkle_verifier.move b/verifier/sources/merkle_verifier.move
@@ -5,7 +5,7 @@ module verifier_addr::merkle_verifier {
     use aptos_std::aptos_hash::keccak256;
     use aptos_framework::event;
 
-    use verifier_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
+    use lib_addr::bytes::{bytes32_to_u256, u256_to_bytes32};
     use verifier_addr::fri::{get_fri, update_fri};
 
     // This line is used for generating constants DO NOT REMOVE!