formal security analysis of the Enshrined Proposer-Builder Separation (ePBS) design introduced in EIP-7732 - View it on GitHub