This resolves YES if the Ethereum L1 protocol uses some kind of proposer-builder separation by the resolution date. You can read about PBS here. I'll use my best judgement about what kinds of upgrades count as PBS, but a major criterion I will use is whether the Ethereum Foundation describes the upgrade as PBS.
Nov 6, 12:46pm: "The Splurge": Will Ethereum have Proposer-Builder Separation by end of 2023? → "The Scourge": Will Ethereum have Proposer-Builder Separation by end of 2023?
Note: This market is trying to ask about whether PBS will be enshrined in the core L1 protocol itself. So mev-boost does not count but an enshrined PBS as described here would count.
@BoltonBailey request for clarification: Arguably, with mev-boost, Ethereum already has a PBS architecture today. There are plans to move to an enshrined version of that in the future, called ePBS. For a good overview see: https://ethresear.ch/t/why-enshrine-proposer-builder-separation-a-viable-path-to-epbs/15710
In that context, it would be important to either resolve this market to YES now, or clarify that it refers to ePBS.
@ansgar Yes, this market is trying to ask about whether PBS will be enshrined in the core L1 protocol itself. I'll note this in the criteria, let me know if anything else is unclear.