fix(rust): Interpret max_depth in proof specs as 128 if left to 0

cosmos · Sep 18, 2024 · ec91661 · ec91661
1 parent 6302484
commit ec91661
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/rust/src/lib.rs b/rust/src/lib.rs
@@ -14,6 +14,10 @@ mod verify;
 mod ics23 {
     include!("cosmos.ics23.v1.rs");
 
+    impl ProofSpec {
+        pub const DEFAULT_MAX_DEPTH: i32 = 128;
+    }
+
     #[cfg(feature = "serde")]
     include!("cosmos.ics23.v1.serde.rs");
 }

diff --git a/rust/src/verify.rs b/rust/src/verify.rs
@@ -118,6 +118,13 @@ fn check_existence_spec(proof: &ics23::ExistenceProof, spec: &ics23::ProofSpec)
     if let (Some(leaf), Some(leaf_spec)) = (&proof.leaf, &spec.leaf_spec) {
         ensure_leaf_prefix(&leaf.prefix, spec)?;
         ensure_leaf(leaf, leaf_spec)?;
+
+        let max_depth = if spec.max_depth == 0 {
+            ics23::ProofSpec::DEFAULT_MAX_DEPTH
+        } else {
+            spec.max_depth
+        };
+
         // ensure min/max depths
         if spec.min_depth != 0 {
             ensure!(
@@ -126,7 +133,7 @@ fn check_existence_spec(proof: &ics23::ExistenceProof, spec: &ics23::ProofSpec)
                 proof.path.len(),
             );
             ensure!(
-                proof.path.len() <= spec.max_depth as usize,
+                proof.path.len() <= max_depth as usize,
                 "Too many InnerOps: {}",
                 proof.path.len(),
             );