After consideration, I now believe in-protocol provers are required in order to meet sequencer decentralization requirements (builders may be optional) [1]:
- Hardware requirements for sequencers must be similar to those of Ethereum validators
80 Likes