Spec'ing out Forward Inclusion-List w/ Dedicated Gas Limits

Thank you for the comments. Another effective way to examine these issues is to categorize them into two scenarios.

For Proposers N and N+1:

  • If N and N+1 are on the same team and are profit-maximizers, then the proposer N will include the maximum profit IL.
  • If N and N+1 are antagonistic, N may construct an IL to sabotage N+1, making it difficult or impossible for N+1 to include it or forcing them to drop the block. Some argue this is a feature, not a bug.
  • If N and N+1 are unfamiliar with each other, the situation remains as it was before.

For Proposers N and N+2:

  • If N and N+2 are on the same team and are profit-maximizers, N might create an IL designed to knock out N+1, allowing N+2 to seize the profit originally intended for N+1.

I think the default client setting is a significant factor here. Altering the stock client to engage in any of the above behaviors could potentially lead to social consequences.