Thanks, yeah the delta parameter is definitely important: you’re trading off liveness vs being able to censor a (very) small fraction of transactions included in the IL.
In my opinion it’s an acceptable trade-off. Playing around with this leeway is not necessarily easy:
- It’s impossible to know exactly what attesters will include in their aggregates, and how much room you have as a proposer to exclude some transactions.
- The risk of having your block invalidated in case you exclude transactions and end up not satisfying the overlap condition is high.
- We also have to keep in mind that every slot, a new proposer and a new committee is elected, so keeping a transaction out for consecutive slots seems difficult.