fix(rust): Enforce that spec.InnerSpec.ChildSize is >= 1 (#339)

* Enforce that the spec.InnerSpec.ChildSize is >= 1 * Add changelog entry --------- Co-authored-by: Romain Ruetschi <[email protected]>
cosmos · Jul 17, 2024 · b788bcd · b788bcd
1 parent 9f41d71
commit b788bcd
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,11 @@
 # Changelog
+
+# Unreleased
+
+## Rust
+
+- fix(rust): Enforce that `spec.InnerSpec.ChildSize` is >= 1  ([#339](https://github.com/cosmos/ics23/pull/339))
+
 # 0.11.1
 
 ## Rust

diff --git a/rust/src/verify.rs b/rust/src/verify.rs
@@ -201,6 +201,10 @@ fn ensure_inner(inner: &ics23::InnerOp, spec: &ics23::ProofSpec) -> Result<()> {
                 "Inner prefix too long: {}",
                 inner.prefix.len(),
             );
+            ensure!(
+                inner_spec.child_size > 0,
+                "spec.InnerSpec.ChildSize must be >= 1"
+            );
             ensure!(
                 inner.suffix.len() % (inner_spec.child_size as usize) == 0,
                 "InnerOp suffix malformed"