refactor: update vector and data types

Author: LouisTsai-Csie

tests/byzantium/eip198_modexp_precompile/helpers.py

@@ -23,6 +23,7 @@ class ModExpInput(TestParameterGroup):
     exponent: Bytes
     modulus: Bytes
     extra_data: Bytes = Field(default_factory=Bytes)
+    raw_input: Bytes | None = None
 
     @property
     def length_base(self) -> Bytes:
@@ -41,6 +42,8 @@ def length_modulus(self) -> Bytes:
 
     def __bytes__(self):
         """Generate input for the MODEXP precompile."""
+        if self.raw_input is not None:
+            return self.raw_input
         return (
             self.length_base
             + self.length_exponent
@@ -60,22 +63,31 @@ def from_bytes(cls, input_data: Bytes | str) -> "ModExpInput":
         """
         if isinstance(input_data, str):
             input_data = Bytes(input_data)
-        base_length = int.from_bytes(input_data[0:32], byteorder="big")
-        exponent_length = int.from_bytes(input_data[32:64], byteorder="big")
-        modulus_length = int.from_bytes(input_data[64:96], byteorder="big")
+        assert not isinstance(input_data, str)
+        padded_input_data = input_data
+        if len(padded_input_data) < 96:
+            padded_input_data = Bytes(padded_input_data.ljust(96, b"\0"))
+
+        base_length = int.from_bytes(padded_input_data[0:32], byteorder="big")
+        exponent_length = int.from_bytes(padded_input_data[32:64], byteorder="big")
+        modulus_length = int.from_bytes(padded_input_data[64:96], byteorder="big")
+
+        total_required_length = 96 + base_length + exponent_length + modulus_length
+        if len(padded_input_data) < total_required_length:
+            padded_input_data = Bytes(
+                padded_input_data.ljust(min(1024, total_required_length), b"\0")
+            )
 
         current_index = 96
-        base = input_data[current_index : current_index + base_length]
+        base = padded_input_data[current_index : current_index + base_length]
         current_index += base_length
 
-        exponent = input_data[current_index : current_index + exponent_length]
+        exponent = padded_input_data[current_index : current_index + exponent_length]
         current_index += exponent_length
 
-        modulus = input_data[current_index : current_index + modulus_length]
-
-        modulus = modulus.ljust(min(1024, modulus_length), b"\x00")
+        modulus = padded_input_data[current_index : current_index + modulus_length]
 
-        return cls(base=base, exponent=exponent, modulus=modulus)
+        return cls(base=base, exponent=exponent, modulus=modulus, raw_input=input_data)
 
 
 class ModExpOutput(TestParameterGroup):

tests/osaka/eip7883_modexp_gas_increase/test_modexp_thresholds.py

@@ -8,11 +8,7 @@
 import pytest
 
 from ethereum_test_checklists import EIPChecklist
-from ethereum_test_tools import (
-    Alloc,
-    StateTestFiller,
-    Transaction,
-)
+from ethereum_test_tools import Alloc, StateTestFiller, Transaction
 from ethereum_test_tools.vm.opcode import Opcodes as Op
 
 from ...byzantium.eip198_modexp_precompile.helpers import ModExpInput

tests/osaka/eip7883_modexp_gas_increase/vector/legacy.json

@@ -135,8 +135,8 @@
         "Name": "legacy-case-27"
     },
     {
-        "Input": "000000000000000000000000000000000000000000000000000000000000002100000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010035ee4e488f45e64d2f07becd54646357381d32f30b74c299a8c25d5202c04938ef6c4764a04f10fc908b78c4486886000f6d290251a79681a83b950c7e5c373510",
-        "Expected": "01",
+        "Input": "000000000000000000000000000000000000000000000000000000000000002100000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010035ee4e488f45e64d2f07becd54646357381d32f30b74c299a8c25d5202c04938ef6c4764a04f10fc908b78c4486886000f6d290251a79681a83b950c7e5c37351",
+        "Expected": "01000000000000000000000000000000",
         "Name": "legacy-case-31"
     },
     {

tests/osaka/eip7883_modexp_gas_increase/vector/vectors.json

@@ -141,7 +141,7 @@
     },
     {
         "Input": "00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000181000000000000000000000000000000000000000000000000000000000000000801ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff2cffffffffffffffffffffffffffffffffffffffffffffffffffffffff3b10000000006c01ffffffffffffffffffffffffffffffffffffffffffffffdffffb97ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3bffffffffffffffffffffffffffffffffffffffffffffffffffffffffebafd93b37ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc5bb6affffffff3fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff2a",
-        "Expected": "0001",
+        "Expected": "0001000000000000",
         "Name": "guido-4-even",
         "GasOld": 1026,
         "GasNew": 94448