Hey Mike and Justin,
Awesome research piece, thanks! Just wanted to point out that you could have relayer “slash” builder trustlessly as described in the Optimistic relaying endgame. To do so, you could use zero-knowledge encryption and probably build on top of already existing circuits to generate a proof of builder “misbehaviour”. Actually, by the time you’d get to optimistic relaying, extrapolating forward the past two-year of efficiency gain around zk, you could probably decentralise the relay job by having anyone submit a zkp in case of builder misbehaviour!
Happy to jam on this if needed.