HF RL Explorer

Prover panics on invalid MPT prover inputs

Prover panics on invalid MPT prover inputs: a task in LegoFlow-SWE (Harbor dataset). The EVM prover currently panics when processing certain invalid or edge‑case Merkle Patricia Trie (MPT) inputs, instead of returning an error that the caller can handle. This leads to provers crashing abruptly…

The task

The EVM prover currently panics when processing certain invalid or edge‑case Merkle Patricia Trie (MPT) inputs, instead of returning an error that the caller can handle. This leads to provers crashing abruptly when given untrusted or malformed data.

Part of Lego-X/LegoFlow-SWE.