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 <romain@informal.systems>
cosmos · Jul 17, 2024 · d124546 · d124546
1 parent 333d554
commit d124546
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"