ethrd

New post: Fork-Choice enforced Inclusion Lists (FOCIL): A simple committee-based inclusion list proposal 🦴

Designed and written w/ 
@barnabe, @fradamt and @julianma

Robust Incentives Group @ Ethereum Foundation

https://rig.ethereum.org

New post: Fork-Choice enforced Inclusion Lists (FOCIL): A simple committee-based inclusion list proposal 🦴

Designed and written w/ 
@barnabe, @fradamt and @julianma 

https://ethresear.ch/t/fork-choice-enforced-inclusion-lists-focil-a-simple-committee-based-inclusion-list-proposal/19870

research @Ethereum Foundation, Robust Incentives Group

tldr: FOCIL ensures a robust mechanism to preserve Ethereum’s censorship resistance and chain neutrality properties, by guaranteeing timely transaction inclusion.

FOCIL is more robust to bribing/extortion attacks, resolves fork-choice related issues like IL equivocation, allows to incentivize the IL committee for including transactions, and addresses incompatibilities with account abstraction.

To me, this IL proposal stands out as it presents a robust foundation for potential future implementation, even if some details still need to be ironed out.

This really was a team effort, special thanks to the co-authors and @luca-zanolini, @terencechain, @toniw.eth, @ansgar.eth, @ralexstokes, @anderselowsson, @caspar for discussions, ideas and feedback!

This design came together during a small, week long, in-person gathering in Berlin with RIG and friends to discuss censorship resistance, issuance, and Attester-Proposer-Builder-Consensus-Execution-[insert here] Separation.

Expect to hear more from us on these topics!

FOCIL is built in three simple steps:

1. Each slot, a set of validators is selected to become IL committee members. Each member gossips one local inclusion list according to their subjective view of the mempool.

2. The block proposer collects and aggregates available local inclusion lists into a concise aggregate, which is included in its block.

3.The attesters evaluate the quality of the aggregate given their own view of the gossiped local lists to ensure the block proposer accurately reports the available local lists.