Add range_checks and corresponding test

src/utils/rlp.cairo

@@ -85,6 +85,10 @@ namespace RLP {
         let (rlp_type, offset, len) = decode_type(data);
         local remaining_data_len = data_len - len - offset;
         with_attr error_message("RLP data too short for declared length") {
+            assert [range_check_ptr] = offset;
+            assert [range_check_ptr + 1] = len;
+            assert [range_check_ptr + 2] = offset + len;
+            let range_check_ptr = range_check_ptr + 3;
             assert_nn(remaining_data_len);
         }
 

tests/src/utils/test_rlp.py

@@ -2,6 +2,7 @@
 from hypothesis import given
 from hypothesis.strategies import binary, lists, recursive
 from rlp import codec, decode, encode
+from starkware.cairo.lang.cairo_constants import DEFAULT_PRIME
 
 from tests.utils.constants import TRANSACTIONS
 from tests.utils.errors import cairo_error
@@ -40,6 +41,12 @@ def test_should_raise_when_malicious_prover_fills_data(self, cairo_run, data):
                     data=list(encode(data)),
                 )
 
+        def test_should_raise_when_decoded_params_overflow(self, cairo_run):
+            size = bytes.fromhex(f"{DEFAULT_PRIME - 1:064x}")
+            data = [len(size) + 0xF7] + list(size)
+            with cairo_error("RLP data too short for declared length"):
+                cairo_run("test__decode_raw", data=data)
+
     class TestDecode:
         @given(data=recursive(binary(), lists))
         def test_should_match_decode_reference_implementation(self, cairo_run, data):