feat(aptos-verifier): add state proof verification

Signed-off-by: aeryz <[email protected]>
unionlabs · Mar 1, 2025 · 117a4cb · 117a4cb
1 parent 3128dc1
commit 117a4cb
Show file tree

Hide file tree

Showing 5 changed files with 222 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/lib/aptos-verifier/Cargo.toml b/lib/aptos-verifier/Cargo.toml
@@ -17,3 +17,7 @@ hex-literal = { workspace = true }
 sha3        = { workspace = true }
 thiserror   = { workspace = true }
 unionlabs   = { workspace = true }
+
+[dev-dependencies]
+cosmwasm-crypto = { version = "2.1" }
+serde           = { workspace = true }
diff --git a/lib/aptos-verifier/src/error.rs b/lib/aptos-verifier/src/error.rs
@@ -10,6 +10,8 @@ pub enum Error {
     MaxSiblingsExceeded(usize),
     #[error("storage verification error")]
     StorageVerification(#[from] StorageVerificationError),
+    #[error("the epoch order must be incrementing sequentially and one by one")]
+    InvalidEpochOrder,
 }
 
 #[derive(Debug, Clone, PartialEq, thiserror::Error)]

diff --git a/lib/aptos-verifier/src/lib.rs b/lib/aptos-verifier/src/lib.rs
diff --git a/lib/unionlabs/src/aptos/ledger_info.rs b/lib/unionlabs/src/aptos/ledger_info.rs
@@ -14,6 +14,18 @@ pub enum LedgerInfoWithSignatures {
     V0(LedgerInfoWithV0),
 }
 
+impl LedgerInfoWithSignatures {
+    pub fn ledger_info(&self) -> &LedgerInfo {
+        let Self::V0(ledger_info) = self;
+        &ledger_info.ledger_info
+    }
+
+    pub fn signatures(&self) -> &AggregateSignature {
+        let Self::V0(ledger_info) = self;
+        &ledger_info.signatures
+    }
+}
+
 /// The validator node returns this structure which includes signatures
 /// from validators that confirm the state.  The client needs to only pass back
 /// the `LedgerInfo` element since the validator node doesn't need to know the signatures