Check the proof size is a multiple of 60

ethereum-optimism · Dec 10, 2024 · 2d5a55e · 2d5a55e
1 parent 8ff9318
commit 2d5a55e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/rvsol/src/RISCV.sol b/rvsol/src/RISCV.sol
@@ -346,6 +346,13 @@ contract RISCV is IBigStepper {
             }
             if iszero(eq(_proof.offset, proofContentOffset())) { revert(0, 0) }
 
+            if mod(calldataload(sub(proofContentOffset(), 32)), 60) {
+                // proof offset must be stateContentOffset+paddedStateSize+32
+                // proof size: 64-5+1=60 * 32 byte leaf,
+                // so the proofSize must be a multiple of 60
+                revert(0, 0)
+            }
+
             //
             // State loading
             //