Repository navigation

Update EIP-8288: Define proof-carrying inclusion lists - #12475

Draft

Marchhill wants to merge 220 commits into

ethereum:masterfrom

Marchhill:eip8288-focil-conditions

Draft

Update EIP-8288: Define proof-carrying inclusion lists#12475
Marchhill wants to merge 220 commits into
ethereum:masterfrom
Marchhill:eip8288-focil-conditions

Commits on Oct 11, 2026
- Update EIP-8288: commit to the block proof in the header and carry it in the body
  AnkushinDaniil
  committed
  0faa0b1
Commits on Oct 14, 2026
- Update EIP-8288: commit to the block proof in the header and carry it in the body
  
  AnkushinDaniil
  authored and
  Marchhill
  committed
  5b615e2
- Update EIP-8288: require the dependency union check in mode 1 wrappers
  
  AnkushinDaniil
  authored and
  Marchhill
  committed
  4b4dfb9
- Define bounded hash-only mempool wrappers and recovery
  Marchhill
  committed
  61dac52
- Rationale: clarify bandwidth, identity and proving tradeoffs
  Marchhill
  committed
  689e422
- Align block-proof references with the body commitment
  Marchhill
  committed
  cd84517
- Bind dependency schemes, key domains and aggregate proof limits
  Marchhill
  committed
  372b99c
- Define block capacity and authenticated per-list FOCIL proofs
  Marchhill
  committed
  5a4206f
- Bound block dependency capacity with provisional scheme weights
  Marchhill
  committed
  a04b0cc
Commits on Oct 15, 2026
Commits on Oct 16, 2026
Commits on Oct 17, 2026
Commits on Oct 19, 2026
Commits on Oct 20, 2026
Commits on Oct 21, 2026
- Trim wrapper specification and consolidate validation rules
  Marchhill
  committed
  8d97483
- Consolidate inclusion-list proof rules on trimmed wrapper specification
  Marchhill
  committed
  1cd5ab5
- Preserve original EIP wording around companion changes
  Marchhill
  committed
  13e7030
- Keep FOCIL companion aligned with original EIP wording
  Marchhill
  committed
  e1e3eea
- Clarify inclusion proof availability and Engine wording
  Marchhill
  committed
  7a7f9d6
- Keep essential FOCIL test cases and activation checks in the EIP
  Marchhill
  committed
  36ab27e
- Align bounded wrappers with latest proof-in-body baseline
  Marchhill
  committed
  cfa5b38
- Stack FOCIL proof interaction on updated bounded-wrapper baseline
  Marchhill
  committed
  b2e320a
- Align proof-in-body review baseline with companion repository state
  Marchhill
  committed
  f84d689
- Record aligned proof-in-body comparison baseline
  Marchhill
  committed
  487d86b
- Align FOCIL stack with wrapper review baseline
  Marchhill
  committed
  f56b9c9
- Clarify block-size budgeting for the aggregate proof
  Marchhill
  committed
  8ad2db1
- Align FOCIL proof-size budgeting with wrapper baseline
  Marchhill
  committed
  05dc9f8
- Leave dependency hash function TBD
  Marchhill
  committed
  d816724
- Keep dependency hash selection TBD in FOCIL companion
  Marchhill
  committed
  7c86ad3
- Remove scheme activation and cryptographic profile changes from wrapper scope
  Marchhill
  committed
  3f714c2
- Align FOCIL companion with narrowed wrapper changes
  Marchhill
  committed
  bbbb24d
- Restore baseline prose outside wrapper-specific changes
  Marchhill
  committed
  8be3201
- Restore baseline prose in FOCIL companion
  Marchhill
  committed
  8d318fe
Commits on Oct 26, 2026
Commits on Oct 27, 2026
Commits on Oct 28, 2026
Commits on Oct 29, 2026

Commits

Commits on Oct 11, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026

Commits on Oct 17, 2026

Commits on Oct 19, 2026