Ream: BlackBox Interop Testing Post Quantam Lean Ethereum

Lean Ethereum’s move toward hash-based signatures introduces signing constraints that clients must preserve throughout operation. My EPF cohort 7 project focuses on turning these constraints into black-box integration tests in Hive, starting with Ream and designing for cross-client coverage.

The talk follows the process from studying XMSS and client implementations to exposing the real production signer, independently verifying its output, and designing tests for same-slot conflicts, concurrent requests, restart persistence, and key activation and preparation boundaries. It also examines signature aggregation and the challenges of passing proof material between clients.

The aim is to make failures reproducible and identify coverage gaps beyond existing cryptographic unit tests. Attendees will learn how to translate a cryptographic assumption into a client-level assertion, choose meaningful controls, and distinguish signer behavior from test-harness failures.

Speakers: Mohit Grover

Track: [CLS] - EPF