2026-05-26 Ethereum Roadmap Analysis

핵심 요약

• HIGH FOCIL (EIP-7805) 1-out-of-N honesty 가정 Lean 4 형식검증 -- Hegota CR 헤드라이너 신뢰도 보강, 단 "writing it down in Lean surfaced three things" 언급으로 미발견 엣지케이스 후속 검증 필요.

  https://ethresear.ch/t/formalizing-focil-in-lean-4/24950 (@rahul, 5/25 14:56 UTC). 본문 인용 (snippet): "FOCIL (EIP-7805) is the censorship-resistance headliner scheduled for Hegotá. The selling point everyone repeats is '1-out-of-N honesty among IL committee members': one non-equivocating member listing a transaction is enough to force its inclusion in the canonical block. I wanted to know what that claim looks like under a microscope. The short answer is that it holds, derived end-to-end from Ethereum's standard >2/3 honest-validator assumption, but writing it down in Lean surfaced three thing[s]...". 확인된 사실: (1) EIP-7805 FOCIL 의 핵심 마케팅 클레임 (1-of-N IL committee honesty) 이 이더리움의 표준 >2/3 honest-validator 가정으로부터 end-to-end 도출 = 형식검증 (Lean 4) 으로 클레임 자체는 유효, (2) 단 Lean 형식화 과정에서 "three things" 가 표면화 (snippet 절단으로 미공개) = 형식검증 부산물의 후속 검토 필요. 본 노트 시점 해석/추론: (a) Hegota CR (censorship-resistance) 헤드라이너 후보로서 FOCIL 의 신뢰도 보강 = ACDE #238 (6/4 UTC) Hegotá CFI 결정 라인의 학술 / 형식검증 기반 추가 확보, (b) "surfaced three things" 표현 = 클레임 자체는 유효하나 디테일 / 가정 / 엣지케이스 측면에서 보강 포인트 존재 = 후속 ethresear.ch 포스트 또는 ACDC 발표 모니터링 라인. 인용 신뢰도: snippet 만 확보, 본문 전체 + 3가지 발견 사항 직접 fetch 미수행 = P1 우선순위. 어제 노트 EIP-4758 / EIP-7805 CFI 결정 라인의 학술적 기반 보강. 출처: output/sources/2026-05-26.json ethresearch[1].

• HIGH EIP-8243 Batching Attestations at Source 신규 등록 -- operator 측 multi-validator slot committee 어그리게이션 SSZ union WireAttestation 도입, Validator Ops 직접 연결 신규 사양.

  https://ethereum-magicians.org/t/eip-8243-batching-attestations-at-source/28606 (@raul, 5/25 14:17 UTC) + Submission PR https://github.com/ethereum/EIPs/pull/11589. 본문 인용 (snippet): "Discussion topic for EIP-8243: Batching Attestations at Source. Introduce the ability to batch attestations at source, allowing operators running multiple validators scheduled in the same slot committee to publish a single pre-aggregated attestation in place of N individual ones. We extend the existing attestation gossip topic via SSZ union type WireAttestation to carry either a SingleAttestation or BatchAttestation. Each batched validat[or]...". 확인된 사실: (1) 신규 메커니즘 = 동일 slot committee 에 N개 밸리데이터를 운영하는 operator 가 N개 개별 attestation 대신 1개 pre-aggregated attestation 발행 가능, (2) wire format 확장 = 기존 attestation gossip topic 을 SSZ union type WireAttestation 으로 확장 = SingleAttestation 또는 BatchAttestation 모두 운반 가능, (3) Submission PR #11589 등록. 본 노트 시점 해석/추론: (a) 본 사양의 직접 수혜자 = 대형 staking pool 의 single-node multi-validator 운영 환경 = Lido CSM (Community Staking Module) / curated operator / Rocket Pool / Coinbase / Kraken / Binance 등 다수 밸리데이터를 동일 노드에서 운영하는 모든 operator, (b) attestation gossip 대역폭 / CPU 사이클 절감 = operator 별 N배 → 1배 압축 (committee 당 같은 노드 운영 밸리데이터 수에 비례), (c) consensus layer (CL) 클라이언트 (Lighthouse / Prysm / Teku / Lodestar / Nimbus / Grandine) 의 attestation 수신 / 검증 / aggregation 라인 변경 = CL 6개 팀 vendor PR 라인 라인업 후보. 포함 여부 확인 필요: 본 노트 시점 EIP 업그레이드 현황 데이터 (output/sources/forkcast/2026-05-26.forkcast.json) 에 EIP-8243 객체 미캡처 (grep "8243" 매치 0건) = Hegota / Glamsterdam 포함 단계 검증 불가 = 확정 트랙 미정 (논의 단계). 출처: output/sources/2026-05-26.json ethmagicians[1].

• HIGH ethereum/EIPs 레포 EIP-8081 Hegota 메타 커밋 2건 burst (5/25 21:26 / 23:08 UTC, ~2시간 윈도우) -- Add EIP-7709 / EIP-8025 / EIP-8253, ACDE #238 (6/4 UTC) D-9 윈도우 burst 시그널 가능성, 어제 노트의 72시간 침묵 해소.

  확인된 사실: (a) https://github.com/ethereum/EIPs/commit/5845a5dfe12149f1d5c444335f594dcf603d20e2 (@Jochem Brouwer, 5/25 21:26:45 UTC) = "Update EIP-8081: add EIP-8253" = EIP-8253 (Bump nonce of zero-nonce storage accounts) 를 EIP-8081 Hegota 메타에 추가, (b) https://github.com/ethereum/EIPs/commit/883c41d020e101ae2b3e4db21028d0c6a43e8182 (@Ignacio Hagopian, 5/25 23:08:15 UTC) = "Update EIP-8081: Add EIP-7709 and EIP-8025" = EIP-7709 (BLOCKHASH from storage) + EIP-8025 (Optional Execution Proofs) 를 Hegota 메타에 추가. 본 노트 시점 해석/추론: (1) 어제 노트의 "72시간 누적 정비 침묵" (5/22 burst 후 5/23~5/25 0건) 해소 = 5/25 21:26~23:08 UTC ~2시간 윈도우에서 2건 burst = ACDE #238 (6/4 14:00 UTC) D-9 윈도우 진입과 함께 Hegota 메타 정비 재개, (2) EIP-8081 = Hegota Hardfork Meta = ACDE 콜에서 CFI 받은 EIP 가 메타에 추가되는 패턴 (어제 노트 추적 라인) = EIP-7709 / EIP-8025 / EIP-8253 모두 ACDE #237 (5/21) 또는 후속 콜에서 Hegota Proposed → 메타 추가 가능성 (해석/추론), (3) EIP-7709 = 어제까지 미확인 entity 메타데이터 = Stagnant 상태이지만 Hegota 메타에 합류 = jsign 5/12 ACDC 스펙 갱신 PR #11587 (entity 노트 컨텍스트) 결과 정착, (4) EIP-8025 = L1-zkEVM Breakout #004 (5/13) prysm 구현 업데이트 발표 후속 = L1-zkEVM 트랙의 Hegota 합류 시그널, (5) EIP-8253 = ACDE #237 어젠다 추가 후 당일 취소 (어제 노트 라인) → 5/25 Hegota 메타 정식 합류 = ACDE #237 후속 CFI 결정 정착. 포함 여부 확인 필요: 본 노트 시점 EIP 업그레이드 현황 데이터에 EIP-7709 / EIP-8025 / EIP-8253 / EIP-8081 객체 모두 미캡처 = 확정 inclusion stage 검증 불가 = entity 메타데이터 + GitHub commit 직접 인용 필요. 출처: output/sources/2026-05-26.json eips[0], eips[1].

• MEDIUM "Extraction Is Conserved: From MEV to GEV" (ethresear.ch, @WGlynn 5/25 18:47 UTC) -- airgap closure 시리즈 Part 3, MEV 추상화의 협소성 비판 + Generalized Extractable Value (GEV) 도입 + "partial fixes relocate rather than eliminate" 명제.

  https://ethresear.ch/t/extraction-is-conserved-from-mev-to-gev/24953. 본문 인용 (snippet): "Part 3 of the airgap-closure series. Following on from Part 1 (the airgap problem in DeFi) and Part 2 (augmented mechanism design as methodology), this post argues that the MEV abstraction is too narrow, and the right unit of analysis is generalized extractable value. Extraction is conserved across protocol layers, which means partial fixes relocate rather than eliminate. The narrow frame: MEV discourse since Daian et al. has converged on transaction-ordering extraction as the central problem. Fl[ash Boys 2.0]...". 확인된 사실: (1) airgap-closure 시리즈 Part 3 (Part 1 = DeFi airgap problem, Part 2 = augmented mechanism design as methodology), (2) MEV 추상화의 협소성 주장 = Daian et al. (Flash Boys 2.0) 이후 MEV 담론이 transaction-ordering extraction 에 수렴 = 너무 좁다, (3) Generalized Extractable Value (GEV) 가 올바른 분석 단위 = 프로토콜 레이어 전반 (across protocol layers), (4) "Extraction is conserved" = 추출이 보존된다 = 보존 법칙 = 부분적 수정 (partial fixes) 은 추출을 제거 (eliminate) 하지 않고 재배치 (relocate) 만 한다. 본 노트 시점 해석/추론: (a) FOCIL / ePBS / Encrypted Mempool (LUCID / UEEM) 등 Hegota CR 라인의 MEV 완화 사양들에 대한 이론적 비판 = "부분적 수정은 재배치만 한다" 명제 적용 가능 (해석/추론, 본문 직접 인용 미수행), (b) Augmented mechanism design as methodology (Part 2) = 메커니즘 디자인 자체의 변경 필요 = 단순 사양 변경이 아닌 디자인 패러다임 시프트 요청, (c) Part 4+ 후속 포스트 예상 = airgap closure 시리즈의 결론부 모니터링 라인. 로드맵 관점 의미: ethresear.ch 의 학술 레이어가 Hegota CR 라인의 사양 결정 (ACDE #238 / #239) 과 평행 진행 중 = 사양 결정 이후 6~12개월 윈도우의 retrospective 비판 자료 가능성 (해석/추론). 출처: output/sources/2026-05-26.json ethresearch[0].

• MEDIUM EIP 업그레이드 현황 데이터 -- Hegota proposed EIP-4758 3일 연속 안정 캡처 (5/24/5/25/5/26), Pectra included [2537, 2935] / declined 5종 / Glamsterdam declined [2926, 5920, 6404] 변동 0건, 어제 노트의 "20 레벨 ± 소량 변동" 정착 가설 D+1 검증.

  output/sources/forkcast/2026-05-26.forkcast.json summary 변동: (1) Dencun included = [4844] 유지, (2) Pectra included = [2537, 2935] 유지 (5/25 동일, EIP-6110 24시간 누락 후 회복 0건), (3) Pectra declined = [3540, 3670, 4200, 4750, 5450] 유지 (5/25 동일, EIP-6206 누락 지속), (4) Glamsterdam declined = [2926, 5920, 6404] 유지 (5/25 동일, EIP-6466 SSZ receipts 여전히 미캡처), (5) Glamsterdam considered = [2780] 유지, (6) Fusaka declined = [3540, 3670, 4200, 4750, 5450] 유지 (5/25 동일, EIP-5920 5/25 등장 후 누락? - 본 데이터 검증 필요), (7) Hegota proposed = [4758] 유지 = 3일 연속 안정 캡처 (5/24/5/25/5/26). 본 노트 시점 해석/추론: (a) 어제 노트의 "20 레벨 ± 소량 변동" 정착 가설 D+1 검증 = 24시간 윈도우 변동 0건 = 정착 패턴 확인, (b) EIP-4758 3일 연속 안정 = ACDE #238 (6/4 UTC) CFI 결정 라인의 페치 데이터 신뢰도 강화, (c) 5/4 ~ 5/26 누적 23일 페치 안정성 결함 지속 (5/22 reference snapshot 146 records 대비 본 노트 ~20 레벨) = scripts/fetch_forkcast.py 마이그레이션 P0 유지. Fusaka 객체 정합성 노트: 어제 5/25 노트의 Fusaka declined 라인은 [3540, 3670, 4200, 4750, 5450, 5920] 이었으나 본 5/26 페치 데이터는 [3540, 3670, 4200, 4750, 5450] (5920 누락) = 24시간 만에 EIP-5920 의 Fusaka declined 라인 페치 누락 (단, Glamsterdam declined 라인의 5920 은 유지) = 단일 EIP 의 멀티-fork inclusion 데이터의 비독립 캡처 패턴 재확인. 출처: output/sources/forkcast/2026-05-26.forkcast.json summary 라인 1702-1743 + EIP 객체 직접 검증.

주요 변화/이슈

1) FOCIL (EIP-7805) Lean 4 형식검증 -- "1-out-of-N honesty" 클레임 학술 검증

확인된 사실:

• ethresear.ch 24950, 2026-05-25 14:56:57 UTC 등록, 저자 @rahul, 카테고리 Consensus.
• 본문 핵심 주장 (snippet 인용):
  • EIP-7805 FOCIL = Hegota 의 censorship-resistance (CR) 헤드라이너 후보 (정식 표현: "scheduled for Hegotá").
  • 핵심 마케팅 클레임 = "1-out-of-N honesty among IL (Inclusion List) committee members" = "one non-equivocating member listing a transaction is enough to force its inclusion in the canonical block".
  • Lean 4 (theorem prover) 로 형식검증 = 클레임이 이더리움의 표준 >2/3 honest-validator 가정으로부터 end-to-end 도출됨 = 유효.
  • 단, "writing it down in Lean surfaced three things" = 형식검증 과정에서 3가지가 표면화 (snippet 에서 절단, 본문 직접 fetch 미수행).

해석/추론:

• Hegota CR 헤드라이너 후보로서 FOCIL 의 학술적 / 형식검증 신뢰도 +1:
  • 본 형식검증은 FOCIL 의 핵심 안전성 클레임 (1-of-N IL committee honesty) 이 이론적으로 유효함을 Lean 4 로 증명.
  • ACDE #238 (6/4 UTC) Hegotá CFI 결정 라인 (어제 노트 추적 클러스터) 의 정성적 신뢰도 보강 = 형식검증 기반 = 정식 사양 단계 진입 가능 시그널.
• "surfaced three things" 의 후속 분석 필요성:
  • 형식검증 과정에서 표면화된 3가지 = 가정의 디테일 / 엣지케이스 / 보강 포인트 (해석/추론, 본문 직접 fetch 필요).
  • 가능성 1: IL committee 의 비투표 (non-equivocating) 정의 / 슬랙 / non-honest 노이즈 처리.
  • 가능성 2: Fork-choice 와 IL inclusion 의 상호작용 (악의적 제안자 시나리오).
  • 가능성 3: timing / slot boundary / propagation 가정.
  • 본 분석은 snippet 만 확보 = 본문 직접 fetch P1 우선순위.
• 본 학술 작업의 사양 결정 영향:
  • ACDE #238 (6/4 UTC) 또는 FOCIL Breakout (focil 콜 시리즈) 에서 본 Lean 4 형식검증 발표 / 인용 가능성 = 사양 결정 라인의 학술 백업 확보.
  • 단, "three things" 의 디테일에 따라 사양 수정 (예: IL committee size 조정 / honesty 가정 강화 / fork-choice 규칙 보강) 요청 가능성 (해석/추론).

Operator 관점:

• FOCIL / EIP-7805 CFI 결정 후 운영 영향: IL committee 멤버 자격 = 일반 밸리데이터 중 매 슬롯 랜덤 선출 → operator 측 추가 작업 = 별도 IL gossip 토픽 구독 / pre-confirmed transaction subset 발행 라인.
• 본 형식검증의 결과 = Lido / curated operator / Rocket Pool / Coinbase / Kraken 의 IL 참여 라인의 안전성 기반 강화 = operator 의 IL 비참여 (default) 시에도 1-of-N 가정으로 안전 = 운영 인센티브 신호.
• 본 ethresear.ch 24950 본문 직접 fetch P1 우선순위 (3가지 발견 사항 디테일 확보) = WebFetch / curl 직접 호출.

2) EIP-8243 Batching Attestations at Source -- operator 측 multi-validator 어그리게이션

확인된 사실:

• ethereum-magicians 28606, 2026-05-25 14:17:06 UTC 등록, 저자 @raul, 카테고리 EIPs.
• Submission PR: https://github.com/ethereum/EIPs/pull/11589 (본 노트 시점 PR 본문 직접 fetch 미수행).
• 핵심 메커니즘 (snippet 인용):
  • 사양 목적: 동일 slot committee 에 다수 밸리데이터를 운영하는 operator 가 N개 개별 attestation 대신 1개 pre-aggregated attestation 발행 가능.
  • Wire format: 기존 attestation gossip topic 을 SSZ union type WireAttestation 으로 확장.
  • WireAttestation = SingleAttestation 또는 BatchAttestation 모두 운반.
  • 각 batched validat[or]... (snippet 절단, 본문 직접 fetch 필요).

해석/추론:

• 본 사양의 직접 수혜자:
  • 대형 staking pool 의 single-node multi-validator 운영 환경.
  • Lido curated operator (수십~수백 노드 / 노드당 ~100~1,000 밸리데이터 운영 가능) = 슬롯 committee 당 동일 노드의 밸리데이터 수가 평균적으로 다수 = 본 사양 도입 시 attestation 발행 N배 → 1배 압축.
  • Lido CSM (Community Staking Module) = 노드당 밸리데이터 수가 적어 직접 수혜는 제한적 가능성.
  • Coinbase / Kraken / Binance = 대형 노드 운영, 슬롯 committee 당 동일 노드 밸리데이터 다수 = 직접 수혜.
  • Rocket Pool = 노드당 16 밸리데이터 (LEB16) / 8 밸리데이터 (LEB8) = 슬롯 committee 당 동일 노드 다수 가능성, 부분 수혜.
• CL 클라이언트 영향:
  • Lighthouse / Prysm / Teku / Lodestar / Nimbus / Grandine 6개 팀 = attestation 수신 / 검증 / aggregation / propagation 라인 변경 = vendor PR 라인업 후보.
  • SSZ union type WireAttestation = 기존 SingleAttestation 유지 (하위호환) + BatchAttestation 추가 = soft fork 가능 단계 (해석/추론, 사양 본문 미확인).
• MEV 영향:
  • attestation pre-aggregation = operator 측 통합 단계 = mev-boost / relay 와의 상호작용 가능성 (해석/추론, 본 사양 본문 미확인).
  • 단, 본 사양은 attestation 만 다루므로 block production / proposer-builder separation 라인과 직접 충돌 없음 (해석/추론).

포함 여부 확인 필요:

• 본 노트 시점 EIP 업그레이드 현황 데이터 (output/sources/forkcast/2026-05-26.forkcast.json) 에 EIP-8243 객체 미캡처 = grep "8243" 매치 0건.
• = Hegota / Glamsterdam 포함 단계 검증 불가 = 확정 트랙 미정 (논의 단계).
• ACDC (All Core Devs - Consensus) 콜 어젠다 등재 시 = Consensus Layer 사양이므로 ACDC 트랙 = ACDC #176 (예상 6/3 UTC) 또는 후속 콜의 CFI 라인 추적.

Operator 관점:

• 본 사양은 operator 의 인프라 비용 / 대역폭 / CPU 사이클 직접 절감 라인 = Validator Ops 도메인 1순위 추적 사양.
• 노드당 밸리데이터 수가 많은 operator 일수록 직접 수혜 = Lido curated operator 진입 가능성 분석의 핵심 변수.
• 본 사양 도입 후 = attestation gossip topic 메시지 수 감소 = 네트워크 대역폭 / P2P relay 부담 감소 = Infra Monitor 추적 라인.
• PR #11589 본문 직접 fetch P1 우선순위 = WireAttestation SSZ 정의 / BatchAttestation 시그니처 어그리게이션 방식 (BLS aggregation) / 보안 가정 검증.

3) ethereum/EIPs 레포 EIP-8081 Hegota 메타 커밋 2건 burst

확인된 사실:

• 5/25 21:26~23:08 UTC ~2시간 윈도우 내 2건 commit:
  • (a) 5845a5d (@Jochem Brouwer, 5/25 21:26:45 UTC) = "Update EIP-8081: add EIP-8253".
  • (b) 883c41d (@Ignacio Hagopian, 5/25 23:08:15 UTC) = "Update EIP-8081: Add EIP-7709 and EIP-8025".
• 총 3종 EIP 가 EIP-8081 Hegota Hardfork Meta 에 추가:
  • EIP-7709: Read BLOCKHASH from storage and update cost (Stagnant 상태, jsign 5/12 ACDC 스펙 갱신 PR #11587 entity 노트 라인).
  • EIP-8025: Optional Execution Proofs (Stagnant 상태, L1-zkEVM Breakout #004 prysm 구현 업데이트 entity 노트 라인).
  • EIP-8253: Bump nonce of zero-nonce storage accounts (Draft 상태, ACDE #237 어젠다 추가 후 당일 취소 → 본 시점 정식 합류).

해석/추론:

• 어제 노트 "72시간 누적 정비 침묵" 해소:
  • 5/22 burst (33분 7건) → 5/23~5/25 (72시간 0건) → 5/25 21:26~23:08 burst (~2시간 2건) = ACDE #238 (6/4 UTC) D-9 윈도우 진입과 함께 정비 재개.
  • 어제 노트의 "ACDE #238 직전 burst 추정 (6/2~6/3 윈도우, D-1~D-2)" 가설 = D-9 시점 미니 burst 로 부분 검증 = burst 가 D-1~D-2 에 집중되는 것이 아닌 D-9~D-2 윈도우 전반에 분산 가능성 (해석/추론).
• Hegota 메타 합류 EIP 의 라인 분석:
  • (1) EIP-7709 = EL 사양 (BLOCKHASH from storage / gas cost update) = jsign 5/12 ACDC 스펙 갱신 PR #11587 후속 = statelessness / verkle 호환 사양 라인.
  • (2) EIP-8025 = CL+EL 사양 (Optional Execution Proofs) = L1-zkEVM Breakout #004 prysm 구현 업데이트 후속 = L1-zkEVM 트랙의 Hegota 합류 = 정식 통합 (2027+) 이전 옵셔널 단계.
  • (3) EIP-8253 = EL 사양 (Bump nonce of zero-nonce storage accounts) = ACDE #237 (5/21) 어젠다 추가 후 당일 취소 (@jochem-brouwer) → 5/25 정식 합류 = ACDE #237 후속 정착.
• 5/22 reference snapshot 의 Hegota Proposed 8종 (4758, 7709, 7716, 8025, 8182, 8188, 8205, 8253) 라인 후속:
  • 본 burst 로 3종 (7709 / 8025 / 8253) 이 EIP-8081 Hegota 메타에 합류 = 8종 중 3종 (37.5%) 진입 정착.
  • 잔존 5종 (4758 / 7716 / 8182 / 8188 / 8205) 의 메타 합류 라인 = ACDE #238 (6/4 UTC) CFI 결정 라인 + 후속 burst 모니터링.
  • 단, EIP-4758 = 어제 노트 추적 클러스터 + 본 노트 페치 데이터 3일 연속 Proposed 안정 = CFI 가장 임박 후보.

Operator 관점:

• EIP-7709 (BLOCKHASH from storage) Hegota 합류 시: EL 클라이언트 (Geth / Reth / Nethermind / Erigon / Besu) 의 BLOCKHASH opcode 구현 변경 라인.
• EIP-8025 (Optional Execution Proofs) Hegota 합류 시: L1-zkEVM 트랙의 메인넷 진입 전 옵셔널 단계 = operator 별 proof 생성 참여 여부 선택 가능 (해석/추론, 본 사양 본문 미확인).
• EIP-8253 (Bump nonce of zero-nonce storage accounts) Hegota 합류 시: 이전 Spurious Dragon (2016) 이전의 0-nonce storage 계정 정리 = state size 감소 / statelessness 사전 정비.
• ACDE #238 (6/4 UTC) 모니터링 라인 = ethereum/pm 레포 + Ethereum Magicians #28596 + Protocol Calls Tracker 직접 추적 (어제 노트 라인 유지) + 본 burst 후속 6/2~6/3 (D-1~D-2) 윈도우 추가 burst 모니터링.

4) MEV → GEV (Generalized Extractable Value) 학술 비판 (Part 3)

확인된 사실:

• ethresear.ch 24953, 2026-05-25 18:47:38 UTC 등록, 저자 @WGlynn, 카테고리 Economics.
• airgap closure 시리즈 3부작 (Part 1 = DeFi airgap problem, Part 2 = augmented mechanism design as methodology, Part 3 = 본 포스트).
• 핵심 주장 (snippet 인용):
  • MEV 추상화의 협소성: Daian et al. (Flash Boys 2.0) 이후 MEV 담론이 transaction-ordering extraction 에 수렴 = 너무 좁다.
  • Generalized Extractable Value (GEV) = 올바른 분석 단위 = 프로토콜 레이어 전반.
  • 보존 법칙: "Extraction is conserved across protocol layers" = 추출은 프로토콜 레이어 전반에서 보존된다.
  • 함의: 부분적 수정 (partial fixes) = 추출을 제거 (eliminate) 하지 않고 재배치 (relocate) 만 한다.

해석/추론:

• Hegota CR / MEV 완화 사양에 대한 이론적 비판 적용 가능성:
  • FOCIL (EIP-7805) = censorship-resistance 사양 = MEV 추출의 한 형태 (검열형 MEV) 완화.
  • ePBS (EIP-7732) = proposer-builder separation enshrining = MEV 추출의 builder-proposer 분리.
  • Encrypted Mempool (LUCID / UEEM EIP-8105) = transaction-ordering MEV 완화.
  • 본 GEV 논문 명제 적용 시: 이들 사양은 MEV 추출을 제거하지 않고 다른 레이어 (L1 → L2, builder → proposer, public mempool → private mempool 등) 로 재배치만 한다 = 이론적 비판 (해석/추론, 본문 직접 인용 미수행).
• Augmented mechanism design (Part 2 참조):
  • 단순 사양 변경이 아닌 메커니즘 디자인 자체의 변경 필요 = 디자인 패러다임 시프트 요청.
  • 본 시리즈의 후속 (Part 4+) = 구체 사양 제안 가능성 (해석/추론).
• 로드맵 관점 의미:
  • ethresear.ch 의 학술 레이어가 Hegota CR 라인의 사양 결정 (ACDE #238 / #239) 과 평행 진행 = 사양 결정 이후 6~12개월 윈도우의 retrospective 비판 자료 가능성.
  • 본 시리즈가 ACDC / ACDE 콜에서 인용될 가능성 = 학술 → 사양 결정 영향 채널 확인 필요 (해석/추론).
• 단, 본 포스트는 EIP 사양이 아닌 학술 비판 = 직접 사양 결정 영향 라인은 아니나 = 장기 로드맵 (Splurge / Scourge) 의 MEV 정책 방향 시그널 = ethresear.ch / EF Research 우선순위 라인.

Operator 관점:

• 본 학술 비판은 operator 직접 영향 없음 (사양 미제안) = 정보 모니터링 라인.
• 단, MEV → GEV 패러다임 시프트가 Hegota / 후속 하드포크 사양에 반영될 경우 = operator 의 MEV-boost / builder relay 운영 라인 변경 가능성 (장기, 12~24개월 윈도우).
• 본 ethresear.ch 24953 본문 직접 fetch P1 우선순위 (Part 1+2+3 전체 + GEV 정의 / 보존 법칙 형식화 / 함의 디테일 확보).

5) EIP 업그레이드 현황 데이터 5/25 → 5/26 변동 표

확인된 사실:

해석:

• 24시간 윈도우 변동 = 1건 (Fusaka EIP-5920 누락) = 어제 노트의 "20 레벨 ± 소량 변동" 정착 가설 D+1 검증.
• EIP-5920 의 멀티-fork 캡처 패턴:
  • 5/24: Fusaka declined 6종에 EIP-6206 포함, EIP-5920 미포함.
  • 5/25: Fusaka declined 에 EIP-5920 등장 (6206 → 5920 swap), Glamsterdam declined 에도 EIP-5920 등장.
  • 5/26: Fusaka declined 에서 EIP-5920 누락 (5종 = [3540, 3670, 4200, 4750, 5450]), Glamsterdam declined 에는 EIP-5920 유지.
  • = 단일 EIP 의 멀티-fork inclusion 데이터의 비독립 캡처 패턴 재확인 (어제 노트 가설 검증 계속).
• Hegota proposed EIP-4758 3일 연속 안정 캡처 (5/24/5/25/5/26):
  • forks.Hegota.history = {"status": "Proposed", "call": "acde/237", "date": "2026-05-21", "timestamp": 4148} 단일.
  • = 인용 신뢰도 확보 = ACDE #238 (6/4 UTC) CFI 결정 라인의 핵심 트래킹 EIP.
• fork-stage 레코드 패턴:
  • 5/22 (146) → 5/23 (20) → 5/24 (20) → 5/25 (~20, +2/-1) → 5/26 (~20, -1) = 20 레벨 ± 소량 변동 정착 가설 D+1 추가 검증.

Operator 관점:

• 본 노트 시점 직접 인용 가능 항목: EIP-4758 / EIP-2537 / EIP-2935 / EIP-2926 / EIP-2780 / EIP-4844 / EIP-3540 / EIP-3670 / EIP-4200 / EIP-4750 / EIP-5450 / EIP-5920 (Glamsterdam) / EIP-6404 = 페치 데이터 직접 인용 가능.
• 페치 미캡처 항목 (entity 메타데이터 / 5/22 reference snapshot 인용): EIP-6110 / EIP-6206 / EIP-6466 / EIP-7251 / EIP-7702 / EIP-7594 / EIP-7732 / EIP-7805 / EIP-7928 / EIP-7708 / EIP-7954 / EIP-7709 / EIP-8025 / EIP-8081 / EIP-8243 / EIP-8253.
• scripts/fetch_forkcast.py 마이그레이션 P0 유지 = 본 시점 누적 23일 결함.

6) 어제 노트 추적 라인 24시간 후속 발화

본 노트 수집 윈도우 (5/24 16:19 ~ 5/25 23:08 UTC, ~31시간) 내 어제 노트의 추적 클러스터 후속 발화:

• @VitalikButerin EF 방향성 트윗 (5/24 16:19 UTC) = D+2 추적, 본 노트 시점 후속 트윗 / Vitalik 블로그 (vitalik.eth.limo) / EF 블로그 (blog.ethereum.org) 후속 포스트 0건 캡처. 본 노트 입력 데이터 (output/sources/2026-05-26.summary.json) twitter 항목 1건 (동일 트윗 재캡처) = 24~48시간 윈도우 후속 응답 0건. 어제 노트의 P1 우선순위 라인 유지. 추가 검증 필요: scripts/fetch_tweet.py 직접 호출 (2058583593102844111 전문 fetch) + 답글 / 인용 트윗 분석.

• TRION Protocol 합의 이론 (24935, ethresear.ch, 5/24 07:32 UTC) = 본 노트 입력 데이터에 동일 항목 재캡처. D+2 후속 발화 0건. 본 노트 로드맵 관점 [LOW] 유지 (BFT 학술 단계, EIP 코어 프로토콜 외).

• [Draft ERC] Canonical Validator Wrapper (28599, @bbjubjub) = 본 노트 시점 토픽 갱신 / 답글 캡처 0건 (output/sources/2026-05-26.summary.json 미수록) = 48~72시간 신규 발화 없음. 어제 노트의 [HIGH] 항목 라인 유지. 본문 + GitHub PR 직접 fetch P1 우선순위 유지.

• ERC-8265 (Portable Agent Memory Capsule, 28597, @Clavote) = 본 노트 시점 미수록 = 48~72시간 후속 발화 0건. [LOW] 유지.

• EIP-7928 (BAL) / EIP-8141 (Frame Transaction) / EIP-8163 (EXTENSION opcode) = 본 노트 시점 ethereum/EIPs 레포 신규 커밋 0건 = 어제 노트 freeze 도달 가설 유지. 단, EIP-8081 Hegota 메타 커밋 2건 burst = 침묵 윈도우 해소 = D-9 윈도우 추가 burst 모니터링.

• 신규 등장 항목:

  • ERC-8160: Primary Agent Registry (28608, @nxt3d, 5/25 18:57 UTC) = (topic deleted by author) = 본 노트 분석 대상 외 (삭제됨).
  • EIP-8243: Batching Attestations at Source (28606, @raul, 5/25 14:17 UTC) = 본 노트 [HIGH] 항목 (위 #2 섹션).

EIP 업그레이드 현황 변화 (5/25 → 5/26, 24시간 윈도우)

Dencun

• 변동 없음: included = [4844] 유지.

Pectra

• 변동 없음 = 24시간 윈도우 안정 (어제 노트의 EIP-6110 / EIP-6206 누락 후속 회복 0건).
• (참고: 5/22 reference snapshot 의 Pectra included 12종 / declined 10종 풍부 캡처 유지.)

Glamsterdam

• 변동 없음 = 24시간 윈도우 안정 (어제 노트의 EIP-5920 / EIP-6404 부분 회복 유지).
• (참고: EIP-6466 SSZ receipts 는 5/24 이후 계속 미캡처.)

Fusaka

• declined -1: EIP-5920 (PAY opcode) 의 Fusaka 라인 페치 누락 (단, Glamsterdam declined 라인은 유지).
• = 단일 EIP 의 멀티-fork inclusion 데이터의 비독립 캡처 패턴 재확인.

Hegota (3일 연속 안정 캡처)

• 24시간 윈도우 안정성 확보 (3일 연속): EIP-4758 (Deactivate SELFDESTRUCT, acde/237 2026-05-21) 페치 데이터 직접 인용 가능.
• (참고: 5/22 reference snapshot 의 Hegota 13종 풍부 캡처 대비 = 1/13 수준의 부분 회복 유지.)

데이터 정합성 노트

• 본 노트 시점 직접 인용 가능 항목: EIP-4758 (Hegota Proposed, 3일 연속 안정) / EIP-2537 / EIP-2935 (Pectra Included) / EIP-5920 / EIP-6404 / EIP-2926 / EIP-2780 (Glamsterdam) / EIP-4844 (Dencun) / EIP-3540 / EIP-3670 / EIP-4200 / EIP-4750 / EIP-5450 (Pectra·Fusaka Declined).
• 페치 데이터 미캡처 항목: EIP-6110 / EIP-6206 / EIP-6466 / EIP-7251 / EIP-7702 / EIP-7594 / EIP-7732 / EIP-7805 / EIP-7928 / EIP-7708 / EIP-7954 / EIP-7709 / EIP-8025 / EIP-8081 / EIP-8243 / EIP-8253 등 핵심 사양 = entity 메타데이터 + 5/22 reference snapshot 인용 유지.
• 5/4 ~ 5/26 누적 23일 페치 안정성 결함 지속 = scripts/fetch_forkcast.py 마이그레이션 P0 유지.
• 본 노트 시점 페치 데이터 패턴 = 5/22 (146 records) → 5/23~5/26 (~20 레벨 ± 소량 변동) = 정착 패턴 확인.

시사점

1. [중요] FOCIL (EIP-7805) Lean 4 형식검증 -- Hegota CR 헤드라이너 후보의 학술 / 형식검증 신뢰도 보강, ACDE #238 (6/4 UTC) Hegotá CFI 결정 라인의 정성적 기반 강화.

@rahul (5/25 14:56 UTC) 의 ethresear.ch 24950 = EIP-7805 FOCIL 의 "1-out-of-N IL committee honesty" 클레임이 이더리움의 표준 >2/3 honest-validator 가정으로부터 end-to-end 도출됨을 Lean 4 로 형식검증. 단 "writing it down in Lean surfaced three things" = 형식검증 부산물 3가지 미공개. 기관투자자/리서치 관점:

• (1) Hegota CR 헤드라이너 후보로서 FOCIL 의 사양 결정 신뢰도 +1 = ACDE #238 (6/4 UTC) 또는 FOCIL Breakout 콜 시리즈에서 본 형식검증 발표 / 인용 가능성.
• (2) 본문 직접 fetch P1 우선순위 = 3가지 발견 사항 디테일 확보 (IL committee 정의 / fork-choice 상호작용 / timing 가정 등 가능성, 해석/추론).
• (3) 사양 수정 가능성 = 3가지 발견 사항에 따라 IL committee size / honesty 가정 강화 / fork-choice 규칙 보강 요청 가능 (해석/추론).
• (4) operator 영향: FOCIL / EIP-7805 CFI 결정 후 = IL committee 멤버 자격 (일반 밸리데이터 중 매 슬롯 랜덤 선출) + IL gossip 토픽 구독 / pre-confirmed transaction subset 발행 라인.

2. [중요] EIP-8243 Batching Attestations at Source 신규 등록 -- operator 측 multi-validator slot committee 어그리게이션, Validator Ops 1순위 추적 사양, Lido / 대형 staking pool 직접 수혜.

@raul (5/25 14:17 UTC) 의 ethereum-magicians 28606 = 동일 slot committee 에 다수 밸리데이터를 운영하는 operator 가 N개 → 1개 pre-aggregated attestation 발행. SSZ union type WireAttestation (SingleAttestation | BatchAttestation) 도입. Submission PR #11589. 기관투자자/리서치 관점:

• (1) 본 사양의 직접 수혜자 = Lido curated operator / Coinbase / Kraken / Binance / Rocket Pool 등 노드당 다수 밸리데이터 운영 환경 = Lido curated operator 진입 가능성 분석의 핵심 변수.
• (2) CL 6개 팀 (Lighthouse / Prysm / Teku / Lodestar / Nimbus / Grandine) vendor PR 라인업 후보 = attestation 수신 / 검증 / aggregation / propagation 라인 변경 모니터링.
• (3) 포함 단계 확인 필요 = 본 노트 시점 EIP 업그레이드 현황 데이터에 EIP-8243 객체 미캡처 = 확정 트랙 미정 = ACDC (Consensus 트랙) 어젠다 등재 시 = ACDC #176 (예상 6/3 UTC) 또는 후속 콜 CFI 라인 추적.
• (4) PR #11589 본문 직접 fetch P1 우선순위 = WireAttestation SSZ 정의 / BLS aggregation 방식 / 보안 가정 검증.
• (5) 운영 영향: attestation gossip topic 메시지 수 감소 = 네트워크 대역폭 / P2P relay 부담 감소 = Infra Monitor 추적 라인.

3. [중요] EIP-8081 Hegota 메타 커밋 2건 burst (5/25 21:26~23:08 UTC) -- 72시간 침묵 해소 + ACDE #238 (6/4 UTC) D-9 윈도우 burst 시그널, EIP-7709 / EIP-8025 / EIP-8253 정식 메타 합류.

@Jochem Brouwer + @Ignacio Hagopian 의 ~2시간 윈도우 2건 burst = 어제 노트 "72시간 누적 정비 침묵" 해소. 5/22 reference snapshot 의 Hegota Proposed 8종 (4758, 7709, 7716, 8025, 8182, 8188, 8205, 8253) 중 3종 (37.5%) 이 메타 합류 = ACDE #237 (5/21) 후속 정착. 기관투자자/리서치 관점:

• (1) EIP-7709 (BLOCKHASH from storage) Hegota 메타 합류 = statelessness / verkle 호환 사양 라인 진입 = EL 클라이언트 (Geth / Reth / Nethermind / Erigon / Besu) BLOCKHASH opcode 구현 변경 라인.
• (2) EIP-8025 (Optional Execution Proofs) Hegota 메타 합류 = L1-zkEVM 트랙의 Hegota 옵셔널 단계 진입 = prysm 구현 업데이트 (L1-zkEVM Breakout #004) 후속 = operator 별 proof 생성 참여 선택 가능 (해석/추론).
• (3) EIP-8253 (Bump nonce of zero-nonce storage accounts) Hegota 메타 합류 = ACDE #237 (5/21) 어젠다 추가 후 당일 취소 (@jochem-brouwer) → 5/25 정식 합류 = ACDE #237 후속 정착 + state size 감소 / statelessness 사전 정비.
• (4) 어제 노트 burst 가설 검증 = "ACDE #238 직전 burst 추정 (6/2~6/3 윈도우, D-1~D-2)" → D-9 시점 미니 burst 로 분산 패턴 검증 = 6/2~6/3 추가 burst 라인 유지.
• (5) 잔존 5종 (4758 / 7716 / 8182 / 8188 / 8205) 메타 합류 라인 = ACDE #238 (6/4 UTC) CFI 결정 라인 + 후속 burst 모니터링.

4. [참고] MEV → GEV (Generalized Extractable Value) 학술 비판 -- airgap closure 시리즈 Part 3, Hegota CR 라인 (FOCIL / ePBS / Encrypted Mempool) 이론적 비판 가능성, 직접 사양 영향 없음.

@WGlynn (5/25 18:47 UTC) 의 ethresear.ch 24953 = MEV 추상화 협소성 비판 + GEV 분석 단위 제안 + "Extraction is conserved across protocol layers" 보존 법칙 + "partial fixes relocate rather than eliminate" 함의. 기관투자자/리서치 관점:

• (1) Hegota CR 라인 사양들에 대한 이론적 비판 가능성 = FOCIL / ePBS / Encrypted Mempool (LUCID / UEEM EIP-8105) = "부분적 수정은 재배치만 한다" 명제 적용 가능 (해석/추론).
• (2) 직접 사양 영향 없음 = 본 포스트는 학술 비판 / 메커니즘 디자인 패러다임 시프트 요청 = 사양 결정 6~12개월 retrospective 비판 자료 가능성.
• (3) 본문 직접 fetch P1 우선순위 = Part 1+2+3 전체 + GEV 정의 / 보존 법칙 형식화 / 함의 디테일 확보 + Part 4+ 후속 모니터링.
• (4) operator 영향: 본 학술 비판 자체는 영향 없음. 단, MEV → GEV 패러다임 시프트가 후속 하드포크 사양 (Splurge / Scourge) 에 반영될 경우 = MEV-boost / builder relay 운영 라인 변경 가능성 (장기, 12~24개월).

5. [참고] EIP 업그레이드 현황 데이터 -- 24시간 윈도우 변동 -1 (Fusaka EIP-5920 라인 누락) + Hegota EIP-4758 3일 연속 안정 캡처, 20 레벨 ± 소량 변동 정착 가설 D+1 추가 검증.

5/22 (146 records) → 5/23~5/26 (~20 레벨 ± 소량) = 20 레벨 정착 패턴 검증. 본 시점 변동 = Fusaka declined 라인의 EIP-5920 누락 (Glamsterdam declined 라인은 유지) = 멀티-fork 비독립 캡처. EIP-4758 3일 연속 안정 = ACDE #238 (6/4 UTC) CFI 결정 라인 인용 신뢰도 확보. 기관투자자/리서치 관점:

• (1) 직접 인용 가능 항목 ~13종 + entity 메타데이터 인용 항목 ~16종 (본 노트 시점 EIP-7709 / EIP-8025 / EIP-8081 / EIP-8243 / EIP-8253 추가).
• (2) scripts/fetch_forkcast.py 마이그레이션 P0 유지 = 본 시점 누적 23일 결함.
• (3) 본 노트 시점 신규 Hegota 메타 합류 EIP (7709 / 8025 / 8253) + EIP-8243 의 페치 데이터 캡처 = 다음 24시간 윈도우 모니터링 라인.

6. [참고] @VitalikButerin EF 방향성 트윗 D+2 -- 후속 트윗 / 블로그 포스트 0건, 어제 노트 P1 우선순위 라인 유지.

5/24 16:19 UTC 트윗 (2058583593102844111) 의 D+2 (5/26) 추적 = 본 노트 입력 데이터 후속 발화 0건. 기관투자자/리서치 관점:

• (1) 본 트윗 전문 fetch 직접 P1 우선순위 유지 = scripts/fetch_tweet.py 또는 Twitter API v2 직접 호출.
• (2) Vitalik 블로그 (vitalik.eth.limo) / EF 블로그 (blog.ethereum.org) 48~72시간 윈도우 후속 포스트 모니터링 라인 유지.
• (3) 답글 / 인용 트윗 분석 = 코어 데브 / 클라이언트 팀 / 커뮤니티 반응 = EF 방향성 변화의 외부 반응 라인.

추가 검증 필요 사항

메타 정보

• 수집 윈도우: 2026-05-24 16:19 UTC ~ 2026-05-25 23:08 UTC (약 31시간)
• 분석 윈도우: 2026-05-26 (어제 노트 2026-05-25 와의 24시간 변동 윈도우)
• 입력 데이터:
  • output/sources/2026-05-26.summary.json (8 items: ethresearch 3건 + ethmagicians 2건 + eips 2건 + twitter 1건, 어제 5건 대비 +3)
  • output/sources/forkcast/2026-05-26.forkcast.json (upgrades_tracked 5종, fork-stage 레코드 ~20)
• 비교 기준: output/sources/forkcast/2026-05-25.forkcast.json (upgrades_tracked 5종, fork-stage 레코드 ~20) + output/notes/daily/2026-05-25-roadmap-analysis.md
• 다음 노트 추적 라인:
  • (1) ethresear.ch 24950 (FOCIL Lean 4 형식검증) 본문 fetch 결과 + "surfaced three things" 디테일 + 후속 ethresear.ch 응답 모니터링.
  • (2) EIP-8243 (Batching Attestations at Source) PR #11589 본문 + ACDC 어젠다 등재 + Validator Ops 노트 직접 분석.
  • (3) EIP-8081 Hegota 메타 burst 후속 (잔존 5종 = 4758 / 7716 / 8182 / 8188 / 8205 합류 라인) + D-1~D-2 (6/2~6/3) 추가 burst 모니터링.
  • (4) ethresear.ch 24953 (MEV → GEV) Part 4+ 후속 포스트.
  • (5) ACDE #238 (6/4 14:00 UTC) EIP-4758 / EIP-8188 / EIP-7904 / EIP-8182 CFI 결정 + EIP-7928 freeze 결정 + EIP-8243 신규 어젠다 등재 가능성.
  • (6) @VitalikButerin EF 방향성 트윗 후속 포스트 (Vitalik 블로그 / EF 블로그 D+3~D+5 윈도우).
  • (7) 페치 로직 마이그레이션 진행 상황 (scripts/fetch_forkcast.py) + EIP-8243 / EIP-7805 / EIP-6110 객체 페치 누락 원인 추적.
  • (8) 데이터 파이프라인 정상화 (5/27 페치 items 수 / 분포 / 신규 EIPs 커밋).