EVM: Add machinery and fixes for hive and rpc-compat suite (#2506)

* Start working on hive and rpc-compat

* Improving

* Keep working on rpc-compat

* More work on rpc-compat

* More fixes and adressing feedback

* Cleaning up

* Cleaning up

* Finalizing the first stage hive tests

* Disable pruner for hive

* More clean up

* Fixes after merging dev

* Fixes after merging dev

* More fixes in tests

* Fix formatting

* Update prover cargo locks

* Clean up after manual review

* Rollback EIP-7702

* Cleaning up genesis_adapter

* Add missing files

* Refactoring genesis import

* Fix lint

* Revert conversions

* Revert TODO

* Genesis skip serialize if

* Revert apply margin move

* Address parse filter feedback

* Bring back `"eth_syncing` that fall through the cracks

* Fix error in FilterWithCursor

* Clean up hive adapter

* Clean up tests

* lint fix

* Removing debug methods that contain bugs

* More cleanup in hive

* More cleanups

* Claude simplifications

* Codex simplifcations

* More fixes after refactoring

Author: citizen-stig

.dockerignore

@@ -0,0 +1,8 @@
+target
+.github
+.idea
+.vscode
+
+# Guest artifacts are enormous and not needed when SKIP_GUEST_BUILD=1.
+examples/demo-rollup/provers/sp1/guest-mock
+examples/demo-rollup/provers/sp1/guest-celestia

CHANGELOG.md

@@ -9,6 +9,7 @@
 
 # 2026-02-23
 - #2520 reverts #2489
+- #2506 EVM: Fixes RPC endpoints and adds base for hive and rpc compat tests
 - #2532 EVM: Minor fixes in RPC endpoints
 
 # 2026-02-17

Cargo.lock

@@ -28,6 +28,7 @@ sov-rest-utils = { workspace = true }
 
 borsh = { workspace = true }
 serde = { workspace = true }
+serde_json = { workspace = true }
 
 alloy-consensus = { workspace = true }
 alloy-primitives = { workspace = true }

crates/full-node/sov-ethereum/Cargo.toml

@@ -1,3 +1,4 @@
+use crate::rpc_invalid_params;
 use crate::rpc_limit_exceeded;
 use crate::Ethereum;
 use crate::EthereumAddress;
@@ -35,9 +36,15 @@ where
         ethereum: Arc<Ethereum<S, Seq>>,
         _: Extensions,
     ) -> Result<Vec<LogWithExecutionTimestamp>, ErrorObjectOwned> {
+        // Force malformed filter payloads to return JSON-RPC -32602 (invalid params)
+        // instead of bubbling up as internal deserialization errors.
+        let filter = parameters
+            .one::<Filter>()
+            .map_err(|err| rpc_invalid_params(err.to_string()))?;
+
         let state = ethereum.api_state_accessor();
         let service = LogsService::<S, Seq>::new(
-            parameters.one::<Filter>()?,
+            filter,
             None,
             ethereum.extension.max_log_limit,
             state,
@@ -60,7 +67,11 @@ where
         _: Extensions,
     ) -> Result<LogsWithMaybeCursor, ErrorObjectOwned> {
         let state = ethereum.api_state_accessor();
-        let FilterWithCursor { cursor, filter } = parameters.one::<FilterWithCursor>()?;
+        // Keep deserialization failures aligned with eth_getLogs: malformed payloads
+        // should surface as JSON-RPC -32602 invalid params.
+        let FilterWithCursor { cursor, filter } = parameters
+            .one::<FilterWithCursor>()
+            .map_err(|err| rpc_invalid_params(err.to_string()))?;
         let cursor = cursor.map(|s| Cursor::unpack(&s)).transpose()?;
         let service = LogsService::<S, Seq>::new(
             filter,

crates/full-node/sov-ethereum/src/handlers/get_logs.rs

@@ -148,6 +148,20 @@ where
     ) -> Result<LogsWithMaybeCursor> {
         let start = self.get_block_nr(from_block)?;
         let end = self.get_block_nr(to_block)?;
+        if start > end {
+            return Err(Error::InvalidBlock(
+                "invalid block range params".to_string(),
+            ));
+        }
+        // Match expected eth_getLogs semantics: explicit numeric ranges that extend past
+        // the current head should fail with invalid params instead of surfacing internal
+        // "block not found/pruned" errors.
+        let latest = self.get_block_nr(Some(BlockNumberOrTag::Latest))?;
+        if end > latest {
+            return Err(Error::InvalidBlock(
+                "invalid block range params".to_string(),
+            ));
+        }
         let maybe_cursor = self.scan_block_range(start..=end)?;
         Ok(LogsWithMaybeCursor::new(
             self.logs,

crates/full-node/sov-ethereum/src/handlers/get_logs/service.rs

@@ -75,9 +75,8 @@ where
         "eth_protocolVersion",
         "eth_coinbase",
         "eth_mining",
+        "eth_syncing",
         "eth_hashrate",
-        "eth_getTransactionByBlockHashAndIndex",
-        "eth_getTransactionByBlockNumberAndIndex",
         "eth_getUncleCountByBlockHash",
         "eth_getUncleCountByBlockNumber",
         "eth_getUncleByBlockHashAndIndex",
@@ -95,8 +94,10 @@ where
         "eth_signTypedData_v3",
         "eth_signTypedData_v4",
         "eth_getProof",
-        "eth_createAccessList",
-        "eth_syncing",
+        "debug_getRawBlock",
+        "debug_getRawHeader",
+        "debug_getRawReceipts",
+        "debug_getRawTransaction",
         "net_peerCount",
         "trace_block",
         "trace_call",

crates/full-node/sov-ethereum/src/lib.rs

@@ -77,6 +77,12 @@ For the same tx/block, values must agree across:
 - Do not introduce non-deterministic state access in module/core logic.
 - Avoid hidden behavior drift between native and proof-relevant paths.
 
+### 6. Supported transaction types (Hard Constraint)
+
+- `sov-evm` must accept only `EIP-1559` transaction envelope.
+- `Legacy`, `EIP-2930`, `EIP-7702` and `EIP-4844` transactions must be rejected at authentication and execution ingress.
+- Do not relax this policy without explicit product approval and matching tests for the new support matrix.
+
 ## Failure Pattern Matrix (PR Lessons)
 
 | Pattern | Repeated in PR(s) | Typical root cause | What to verify before merge |

crates/module-system/module-implementations/sov-evm/AGENTS.md

@@ -55,6 +55,7 @@ alloy-consensus = { workspace = true, features = [
 	"serde",
 	"serde-bincode-compat",
 ] }
+alloy-rlp = { workspace = true }
 
 alloy-rpc-types = { workspace = true, optional = true }
 alloy-rpc-types-trace = { workspace = true, optional = true }
@@ -83,7 +84,6 @@ alloy-primitives = { workspace = true, features = ["getrandom"] }
 alloy-consensus = { workspace = true, features = ["secp256k1"] }
 alloy-signer = { workspace = true }
 alloy-signer-local = { workspace = true }
-alloy-rlp = { workspace = true }
 sov-evm = { path = ".", features = ["native"] }
 strum = { workspace = true }
 tokio = { workspace = true, features = ["macros", "rt", "rt-multi-thread"] }

crates/module-system/module-implementations/sov-evm/Cargo.toml

@@ -289,6 +289,8 @@ mod tests {
                 address,
                 code_hash: AccountData::empty_code(),
                 code: Bytes::default(),
+                nonce: 0,
+                storage: Default::default(),
             }],
             chain_spec: EvmChainSpec {
                 limit_contract_code_size: None,