nits

patrick-ogrady · patrick-ogrady · commit c7de4ff89f36 · 2026-05-23T13:29:14.000-07:00
diff --git a/storage/src/qmdb/current/ordered/db.rs b/storage/src/qmdb/current/ordered/db.rs
@@ -95,16 +95,13 @@ impl<F: merkle::Graftable, K: Key, D: Digest, const N: usize> KeyValueProof<F, K
     where
         H: Hasher<Digest = D>,
         V: ValueEncoding,
-        Operation<F, K, V>: Codec + Clone,
+        Operation<F, K, V>: Codec,
     {
         let Operation::Update(update) = operation else {
             return false;
         };
-        if self.next_key != update.next_key {
-            return false;
-        }
 
-        self.proof.verify(hasher, operation.clone(), root)
+        self.verify_update(hasher, update, root)
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -95,16 +95,13 @@ impl<F: merkle::Graftable, K: Key, D: Digest, const N: usize> KeyValueProof<F, K`
`95`	`95`	`where`
`96`	`96`	`H: Hasher<Digest = D>,`
`97`	`97`	`V: ValueEncoding,`
`98`		`- Operation<F, K, V>: Codec + Clone,`
	`98`	`+ Operation<F, K, V>: Codec,`
`99`	`99`	`{`
`100`	`100`	`let Operation::Update(update) = operation else {`
`101`	`101`	`return false;`
`102`	`102`	`};`
`103`		`- if self.next_key != update.next_key {`
`104`		`- return false;`
`105`		`- }`
`106`	`103`
`107`		`- self.proof.verify(hasher, operation.clone(), root)`
	`104`	`+ self.verify_update(hasher, update, root)`
`108`	`105`	`}`
`109`	`106`	`}`
`110`	`107`