The MEV Letter #158

The MEV Letter is a weekly collection of papers, articles and resources related to MEV. The intention of this letter is to provide a comprehensive summary of the latest research, discussions, and developments in the space, with links for further reading.


Papers & Articles

Posts & Threads

  • Francesco D’Amato published a thread presenting a formal verification of FCR, with a Lean safety proof showing that confirmed blocks remain canonical under its assumptions.
  • Barnabé Monnot published a thread with takeaways from Cambridge PQ R&D Workshop Week, highlighting progress toward faster, post-quantum finality.
  • Ethlabs published a thread sharing highlights from the Cambridge PQ R&D Workshop Week on Ethereum’s PQ roadmap, AI-assisted formal verification, fast finality, decoupled consensus, and more, attended by over 100 researchers from 69 organizations.
  • Yann Vonlanthen published a post sharing a recap of the fast finality discussions during Cambridge PQ R&D Workshop Week, from AI-assisted formal verification and lean clients to PQ validators and one-round finality
  • Derek Chiang published a post detailing why blob inclusion can be unreliable even when fees are low, and how ePBS is expected to help by giving blobs more propagation time.
  • Toni Wahrstätter published a post explaining how BALs let returning nodes skip re-execution for finalized blocks, resulting in 115x faster catch-up in an early Nethermind benchmark.
  • Barnabé Monnot published a thread calling for shared account standards and wallet support to make Frame Transactions practical for users and avoid repeating EIP-7702’s fragmentation.
  • Derek Chiang published a post explaining how EIP-8288 would turn Ethereum’s mempool into a distributed proving network, combining signatures and proofs before a builder produces one final proof with lightweight verification for validators.

Talks & Discussions

Other


:envelope: Sign up here if you’d like to get The MEV Letter straight to your inbox!
:crystal_ball: Explore previous editions via The MEV Letter explorer