feat: add function verify_proof_and_register (#5)

* feat: add function verify_proof_and_register

* fix: flow_test

* chore: more info about transactions

* feat: optimize verify_proof_and_register

* fix: tx

* fix(CI): increase timeout for tarpaulin

---------

Co-authored-by: Steve Nguyen <[email protected]>
Co-authored-by: draply <[email protected]>

.env.example

@@ -3,8 +3,8 @@ export APTOS_PRIVATE_KEY="0x3d31ef06ed8003c3a85125b6e6287967a7b80a3e4367ccf2649e
 export APTOS_MODULE_ADDRESS="852578629621677c02f4b9679622f25cac00b4fe17d1fd8b197ba52a2627ee3b"
 export CHAIN_ID="testnet"
 
-export APTOS_TESTCONTAINER__ACCOUNTS="0xe47491c27051639d2bc0167af9370dd39f6df3479edfb51658a2eb0a16239cf6,0xdbba3d6050eab8b8683598fad3f80ba1282664a9fca018d629fe883e59889241"
-export APTOS_TESTCONTAINER__NODE_URL="https://api.testnet.aptoslabs.com/v1"
-export APTOS_TESTCONTAINER__ENABLE_NODE=true
+export APTOS_TESTCONTAINER__ACCOUNTS="0xb6c8ce69f296d08fc217b953c7fba5eb25fe14ce0c764b1360ddea4e7e21470a,0x054031364b8a623c093277d30ce9fefe0df363226c23b1cb130d6382f4a1162a"
+export APTOS_TESTCONTAINER__NODE_URL="http://10.20.21.121:8888"
+export APTOS_TESTCONTAINER__ENABLE_NODE=false
 export APTOS_TESTCONTAINER__DEPLOY_CONTRACT=true
-export APTOS_TESTCONTAINER__CHAIN_ID=2
+export APTOS_TESTCONTAINER__CHAIN_ID=4

.github/workflows/ci.yaml

@@ -46,6 +46,7 @@ jobs:
   test-and-coverage:
     name: Test and Coverage
     runs-on: ubuntu-latest
+    timeout-minutes: 25
     steps:
       - uses: actions/checkout@v4
         with:
@@ -58,4 +59,4 @@ jobs:
       - name: Set PKG_CONFIG_PATH
         run: echo "PKG_CONFIG_PATH=/usr/lib/pkgconfig" >> $GITHUB_ENV
       - name: Run tests
-        run: cargo tarpaulin --all-features --verbose --tests --skip-clean
+        run: cargo tarpaulin --all-features --verbose --tests --skip-clean --timeout 600

Cargo.toml

@@ -22,9 +22,7 @@ tokio = { version = "1.39.3", features = ["macros", "rt-multi-thread"] }
 url = { version = "2.4.0", features = ["serde"] }
 
 [dev-dependencies]
-aptos-testcontainer = { git = "https://github.com/sota-zk-labs/aptos-testcontainer.git", tag = "v0.0.3", features = [
-  "testing",
-] }
+aptos-testcontainer = { version = "0.1.2", features = ["testing"] }
 
 [patch.crates-io]
 merlin = { git = "https://github.com/aptos-labs/merlin" }

src/contracts_caller/gps/mod.rs

@@ -0,0 +1,2 @@
+pub mod types;
+pub mod verify_proof_and_register;

src/contracts_caller/gps/types/mod.rs

@@ -0,0 +1 @@
+pub mod verify_proof_and_register;

src/contracts_caller/gps/types/verify_proof_and_register.rs

@@ -0,0 +1,58 @@
+use std::str::FromStr;
+
+use aptos_sdk::move_types::u256::U256;
+use serde::Deserialize;
+
+#[derive(Debug)]
+pub struct VerifyProofAndRegisterData {
+    pub proof_params: Vec<U256>,
+    pub proof: Vec<U256>,
+    pub task_metadata: Vec<U256>,
+    pub cairo_aux_input: Vec<U256>,
+    pub cairo_verifier_id: U256,
+    pub pre_registered_facts: Vec<U256>,
+}
+
+#[derive(Deserialize)]
+#[serde(rename_all = "camelCase")]
+pub struct VerifyProofAndRegisterDataJson {
+    pub proof_params: Vec<String>,
+    pub proof: Vec<String>,
+    pub task_metadata: Vec<String>,
+    pub cairo_aux_input: Vec<String>,
+    pub cairo_verifier_id: String,
+    pub pre_registered_facts: Vec<String>,
+}
+
+impl From<VerifyProofAndRegisterDataJson> for VerifyProofAndRegisterData {
+    fn from(value: VerifyProofAndRegisterDataJson) -> Self {
+        VerifyProofAndRegisterData {
+            proof_params: value
+                .proof_params
+                .iter()
+                .map(|x| U256::from_str(x).unwrap())
+                .collect(),
+            proof: value
+                .proof
+                .iter()
+                .map(|x| U256::from_str(x).unwrap())
+                .collect(),
+            task_metadata: value
+                .task_metadata
+                .iter()
+                .map(|x| U256::from_str(x).unwrap())
+                .collect(),
+            cairo_aux_input: value
+                .cairo_aux_input
+                .iter()
+                .map(|x| U256::from_str(x).unwrap())
+                .collect(),
+            cairo_verifier_id: U256::from_str(value.cairo_verifier_id.as_str()).unwrap(),
+            pre_registered_facts: value
+                .pre_registered_facts
+                .iter()
+                .map(|x| U256::from_str(x).unwrap())
+                .collect(),
+        }
+    }
+}