Node bandwidth costs seem high.
Rational sequencers will outsource block production to centralized relays (i.e. mev-boost). Consider Mechan-stein.
Rational committee members will not fetch block data, nor check for correctness.
The first sequencer of epoch N+1 will run their own prover auction and accept a 100% Edit: This seems fine. How is the proof-reward set?basisPointFee.
Bribing a sequencer + committee for one block per-epoch is enough to stall production to 1 epoch per BASE_FALLBACK period.
Bribing the prover also stalls production. How will the bond be priced (and why is bondAmount set by the prover)?
How is transaction data for the forced inclusion queue made available? Why not require all pending transactions be included?
Why? The overhead of consensus seems greater than the cost of extra proof-work. Re-Based is still the best proposal so far.