refactor: split into multiple packages

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

Hide file tree

Showing 16 changed files with 18 additions and 3 deletions.
diff --git a/libs/Move.toml b/libs/Move.toml
@@ -0,0 +1,12 @@
+[package]
+name = "libs"
+version = "1.0.0"
+authors = []
+
+[addresses]
+lib_addr = "_"
+
+[dependencies.AptosFramework]
+git = "https://github.com/aptos-labs/aptos-core.git"
+rev = "mainnet"
+subdir = "aptos-move/framework/aptos-framework"
diff --git a/sources/libs/bytes.move → libs/sources/bytes.move b/sources/libs/bytes.move → libs/sources/bytes.move
@@ -1,4 +1,4 @@
-module verifier_addr::bytes {
+module lib_addr::bytes {
     use std::bcs::to_bytes;
     use std::vector;
     use std::vector::{append, for_each_ref};

diff --git a/sources/libs/convert_memory.move → libs/sources/convert_memory.move b/sources/libs/convert_memory.move → libs/sources/convert_memory.move
@@ -1,4 +1,4 @@
-module verifier_addr::convert_memory {
+module lib_addr::convert_memory {
     use std::vector;
 
     public fun copy_vec_to_memory(vec: vector<u256>, table: &mut vector<u256>, start_prt: u64) {

diff --git a/sources/prime_field_element_0.move → libs/sources/prime_field_element_0.move b/sources/prime_field_element_0.move → libs/sources/prime_field_element_0.move
diff --git a/Move.toml → verifier/Move.toml b/Move.toml → verifier/Move.toml
@@ -4,7 +4,7 @@ version = "1.0.0"
 authors = []
 
 [addresses]
-verifier_addr = "0d86ef4ed97b15752707c861650d084d2ad181357b7f966a2e08a931c63187c7"
+verifier_addr = "_"
 
 [dev-addresses]
 
@@ -13,4 +13,7 @@ git = "https://github.com/aptos-labs/aptos-core.git"
 rev = "release-v.1.14"
 subdir = "aptos-move/framework/aptos-framework"
 
+[dependencies]
+libs = {local = "../libs"}
+
 [dev-dependencies]
diff --git a/sources/components/fact_registry.move → ...ier/sources/components/fact_registry.move b/sources/components/fact_registry.move → ...ier/sources/components/fact_registry.move
diff --git a/sources/fri.move → verifier/sources/fri.move b/sources/fri.move → verifier/sources/fri.move
diff --git a/sources/fri_layer.move → verifier/sources/fri_layer.move b/sources/fri_layer.move → verifier/sources/fri_layer.move
diff --git a/sources/fri_statement_contract.move → verifier/sources/fri_statement_contract.move b/sources/fri_statement_contract.move → verifier/sources/fri_statement_contract.move
diff --git a/sources/fri_transform.move → verifier/sources/fri_transform.move b/sources/fri_transform.move → verifier/sources/fri_transform.move
diff --git a/sources/merkle_statement_contract.move → ...er/sources/merkle_statement_contract.move b/sources/merkle_statement_contract.move → ...er/sources/merkle_statement_contract.move
diff --git a/sources/merkle_verifier.move → verifier/sources/merkle_verifier.move b/sources/merkle_verifier.move → verifier/sources/merkle_verifier.move
diff --git a/sources/test/fri_test.move → verifier/sources/test/fri_test.move b/sources/test/fri_test.move → verifier/sources/test/fri_test.move
diff --git a/sources/test/merkle_test.move → verifier/sources/test/merkle_test.move b/sources/test/merkle_test.move → verifier/sources/test/merkle_test.move
diff --git a/sources/test/test_verify_fri_statement.move → ...urces/test/test_verify_fri_statement.move b/sources/test/test_verify_fri_statement.move → ...urces/test/test_verify_fri_statement.move
diff --git a/...es/test/test_verify_merkle_statement.move → ...es/test/test_verify_merkle_statement.move b/...es/test/test_verify_merkle_statement.move → ...es/test/test_verify_merkle_statement.move