Ethereum's Proposer-Builder Separation: Promises and Realities | Synapse