Validator Operations Analysis - 2026-05-26

핵심 요약

• HIGH FOCIL(EIP-7805) Lean 4 형식화 결과 3가지 spec 균열 노출 -- "1-out-of-N honesty" 클레임은 성립하나 (a) equivocation 채널, (b) adversarial nonce front-running, (c) attester compliance 양자화 모호성에서 명세 공백 발견.

본 노트일 핵심 시그널 = ethresearch 24950 -- Formalizing FOCIL in Lean 4 (5/25 14:56 UTC, author rahul, Consensus category). FOCIL(EIP-7805)의 마케팅 포인트인 "1-out-of-N honesty among IL committee members = 한 명의 정직한 위원이 트랜잭션을 listing하면 canonical block 포함 강제" 클레임을 Lean 4로 end-to-end 정형 증명한 결과, 표준 >2/3 honest-validator 가정으로부터 핵심 클레임은 성립하나 3가지 spec 균열이 표면화: (1) Equivocation 채널 = 한 committee 멤버가 두 개의 다른 IL을 발행하면 그 멤버의 모든 IL이 무시되어 "1-of-N"이 "1-of-(N-equivocators)"로 degrade, 명시적 slashing 페널티 필요 여부 미해결 = 저자가 "단순 bandwidth cost로 수용 가능한가?"라는 spec 질문 제기. (2) Adversarial validity 변경 = 악의적 proposer가 nonce front-running으로 (같은 sender의 충돌 트랜잭션 포함) IL에 등재된 트랜잭션을 stale 상태로 만들 수 있음, 비용은 "1 gas-fee payment + slashing 없음" = pre-state snapshot 강제 여부 spec 미확정. (3) Attester compliance 양자화 모호성 = "정직한 attester compliance" 규칙이 (a) all conceivable stores 기준(unsatisfiable, 비현실적) vs (b) observed store 기준(satisfiable, 현실적) 양립 해석 가능, spec이 명시적으로 구분하지 않음 = Lean 형식화에서만 표면화. Curated Operator 시사점: (i) FOCIL = 어제 Hegota CL 헤드라이너 후보로 Considered 상태 carry-over, 본 형식화 결과 = Lido NO 측 IL committee 참여 시 equivocation 위험 운영 표준 사전 준비 필요, (ii) IL 비공개 시그니처 키 관리 + non-equivocation 보장 = 신규 운영 요구 = SSV/Obol DVT 클러스터 채택 시 multi-sig threshold 정책에 equivocation guard 반영 필요, (iii) Hegota 인클루전 전 ACDC 트랙에서 spec 보강(slashing 조건 명시화) 가능성 = 어제(5/25) FOCIL Considered carry-over 상태에서 본 노트일 형식화 발견이 spec 변경 trigger 가능성 보유, (iv) 기관 고객 관점 검열 저항성 메시지(MEV 검열 패배) = "1-out-of-N" 클레임의 형식 검증 = curated operator 마케팅 신뢰도 강화 자산.

• HIGH EIP-8243 Batching Attestations at Source 신규 발의 -- 동일 슬롯 committee 내 멀티-validator 오퍼레이터의 N개 어테스테이션을 단일 pre-aggregated 어테스테이션으로 batch 가능 = Lido 대형 오퍼레이터 대역폭/CPU 절감 직접 수혜 표준.

본 노트일 두 번째 HIGH 시그널 = ethereum-magicians 28606 -- EIP-8243: Batching Attestations at Source (5/25 14:17 UTC, author raul, EIPs category, importance MEDIUM, submission PR #11589). 핵심 메커니즘: (a) WireAttestation SSZ union type 신규 = 기존 attestation gossip topic을 확장하여 SingleAttestation 또는 BatchAttestation 양립 carry 가능, (b) Batch 절차 = 각 batched validator가 batch_seal pre-sign → 지정 batcher가 aggregate → batcher가 batcher_signature 서명 → on-chain compatibility 위해 표준 attestation signature는 변경 없음 → aggregator는 validation 후 seal과 batcher signature 폐기, (c) Gossip dedup 원칙 = "메시지는 duty에 대해 이전에 보지 못한 vote 1건 이상을 전달하는 경우에만 수용", (d) No new slashing conditions = 기존 보안 패리티 유지 명시 = 도입 장벽 낮음. 정량 수치(대역폭 절감 %, CPU 절감 %) carry-over 미공개 [추가 검증 필요]. Curated Operator 시사점: (i) Lido NO는 본질적으로 멀티-validator 오퍼레이터 (단일 NO가 수천~수만 validator 운영) = EIP-8243 직접 수혜 대상 1순위 = 동일 슬롯 committee 우연 발생 시 N개 attestation → 1개 batch로 압축 = beacon node 네트워크 부하 + CPU + P2P bandwidth 동시 절감, (ii) EIP-7251 MaxEB 2,048 ETH + 0x02 consolidation 환경에서 validator 수 축소 효과와 결합 시 = Lido entry queue 50+ days carry-over 압력 완화 보완, (iii) CMv2 SNOPs v4 운영 표준 정합 = SNOP on Block Proposals v4가 batch attestation 운영 표준 반영 가능성 추적, (iv) DVT (Obol/SSV) 클러스터 환경 정합 = batch_seal + batcher signature 메커니즘이 threshold 서명 환경과의 호환성 검토 필요 = SSV 측 spec 응답 모니터링 핵심 = 본 주~다음 주 ethereum-magicians 28606 댓글 trajectory, (v) 도입 trajectory = ACDC 트랙 spec PR 등재 → Hegota 또는 그 이후 CL 인클루전 가능성, 본 노트일은 발의 Day 1, 댓글/spec 보강 D+1~D+14 모니터링 진입.

• MEDIUM MEV→GEV 추출 보존(Extraction Is Conserved) 프레임 -- 부분 fix가 추출을 제거하지 않고 재배치(relocate)할 뿐이라는 구조적 분석, ePBS/FOCIL 가시화 환경에서 운영자/제안자 수익 모델 재검토 트리거.

본 노트일 부수 핵심 = ethresearch 24953 -- Extraction Is Conserved: From MEV to GEV (5/25 18:47 UTC, author WGlynn, Economics category, importance MEDIUM). 핵심 논제: (a) MEV 추상화는 너무 좁다 = Daian et al. 이후 MEV 담론이 transaction-ordering extraction에 수렴되었으나, 올바른 분석 단위는 Generalized Extractable Value(GEV), (b) 추출은 프로토콜 레이어 간 보존된다(conserved) = 부분 fix는 추출을 제거하는 게 아니라 재배치한다, (c) Airgap-closure 시리즈 Part 3 = Part 1(DeFi airgap problem) + Part 2(augmented mechanism design as methodology) 후속 = 메커니즘 디자인 방법론 적용. Curated Operator 시사점: (i) FOCIL + MEV-Boost + ePBS + Inclusion List 표준화 환경에서도 GEV는 어딘가로 이동할 뿐 = curated operator의 수익 모델(propose-time MEV / relay 분배 / consolidation 수수료)이 GEV 재배치 경로에 따라 재정렬 가능성 = Lido SNOP on Block Proposals v4 정책(MEV-Boost relay 허용 리스트, allowlist/denylist 정책 변경)이 GEV 재배치의 한 축, (ii) 본 분석은 Economics 카테고리 academic 트랙 = 즉시 spec 변경 트리거는 아니나 = 기관 고객 대상 "MEV 정책 = 검열 저항성과 수익 보존의 균형" 리서치 발신 핵심 프레임 자산, (iii) 어제(5/25) Canonical Validator Wrapper ERC carry-over와 결합 시 = 풀드 스테이킹 lock-in 해제 + GEV 재배치 = curated operator 수익 구조의 두 가지 동시적 압력 인자 = 본 리서치 발신자 측 "기관 진입자 risk-adjusted yield" 측 분석 차별화 포인트.

• MEDIUM Lido 블로그/리서치 동시 0건 -- 5/23 SNOP v3→v4 프로포절 발의 이후 Day 3(월~화 정적 윈도우) carry-over 지속, 6월 Snapshot D-window 진입 사전 정비 단계 그대로.

output/sources/lido/2026-05-26.lido.json = 블로그 0건 + 리서치 0건 = 본 노트일 Lido 측 신규 시그널 zero. 어제(5/25) 캡처된 lido-research-71366442 (SNOP v3→v4 프로포절 carry-over)는 본 노트일 fetch에서 미캡처(아마 collection 윈도우 컷오프, 또는 fetch tooling 변동, [추가 검증 필요]). 5/23 발의 이후 trajectory: 5/24 일(Day 1) → 5/25 월(Day 2) → 5/26 화(Day 3) = 3일째 본문/댓글 변동 zero. CMv2 정책 패키지 5요소 현황 (어제와 동일): (1) CMv2 NO Type Framework = 완료 (5/18 56.7M LDO 찬성), (2) CMv2 스마트컨트랙트 = 대기 (SRv3 선행), (3) SRv3 = 거버넌스 제안 미게시 (carry-over), (4) SNOP on Block Proposals v4 = 발의됨, 6월 Snapshot 예정 (carry-over), (5) SNOP on Validator Exits v4 = 발의됨, 6월 Snapshot 예정 (carry-over). Curated Operator 시사점: (i) 본 주(5/26~5/30) 평일 = SRv3 거버넌스 제안 게시 + CMv2 파라미터(bonding 정량) 제안 게시 + 6월 Snapshot 일정 공지의 핵심 모니터링 윈도우 본격 진입, (ii) 본 노트일 0건은 화요일 비즈니스 데이 진입에도 신규 시그널 없음 = 미국/유럽 메모리얼 데이 휴일 효과 가능성 ([추가 검증 필요], 5/25 미국 메모리얼 데이 → 5/26 사후 효과 가능), (iii) D+3 시점에서도 댓글/카운터 프로포절/Lido contributor 응답 미캡처 = NO 커뮤니티 사일런스 = "쓰기 페이즈는 끝났고 거버넌스 사이클 D-day까지 통과 의례" 시그널 가능성, (iv) 본 리서치 발신자 측 후속 작업 = 5/27(수)~5/30(금) 댓글 burst 발생 시점 추적 우선순위 최고.

• MEDIUM 본 노트일 부수 시그널 -- ERC-8160 Primary Agent Registry 자체 삭제(deleted by author) + EIP-8081 commits 2건(EIP-7709/8025/8253 추가, declined trajectory 추적) + Vitalik EF X carry-over = validator 직접 정합 모두 LOW.

본 노트일 수집 8건 중 validator 직접 정합 외 부수 시그널: (a) ethereum-magicians 28608 -- ERC-8160: Primary Agent Registry (5/25 18:57 UTC, author nxt3d, ERCs) = topic deleted by author = AI agent 트랙 ERC 자체 철회, validator 직접 정합 zero; (b) EIPs commit 883c41d -- Update EIP-8081: Add EIP-7709 and EIP-8025 (5/25 23:08 UTC, author Ignacio Hagopian) + EIPs commit 5845a5d -- Update EIP-8081: add EIP-8253 (5/25 21:26 UTC, author Jochem Brouwer) = EIP-8081은 declined EIPs trajectory 추적 메타-EIP 추정 [추가 검증 필요] = EIP-7709/8025/8253 declined 등재 시그널, validator 직접 정합 LOW (단, declined trajectory는 ACDE/ACDC 의제 정합 추적용); (c) ethresearch 24935 -- Coordination is Self-Defeating: A Structural Proof for Diversity-Weighted Byzantine Fault Tolerance (5/24 carry-over, TRION Protocol, domain=infra) = 어제 분석 carry-over LOW; (d) @VitalikButerin X (5/24 16:19 UTC) EF 거버넌스 carry-over = carry-over LOW. EIPs commits trajectory: 5/24~5/25 2건 → 본 노트일 0건 자체 발생, 단 5/25 늦은 시각(21:26~23:08 UTC) commits 2건 = 본 주 EIPs 레포 활동 재개 시그널 = ACDE #238(6/4 14:00 UTC ETA) D-9 사전 burst 진입. Curated Operator 시사점: (i) AI agent ERC 트랙은 validator 직접 정합 카운트 0, (ii) EIP-8081 declined 트래킹은 EIP-7805 FOCIL의 Hegota Considered → Declined 가능성 추적과 정합, (iii) 본 주 EIPs 레포 활동 재개 + ACDE #238 D-9 진입 = 5/27~6/3 사전 의제 burst 예상.

본 노트일 데이터 정합

입력 데이터 요약

전일 대비 변동

6월 Snapshot D-Window 계산 (carry-over)

• 5/23 SNOP v3→v4 프로포절 발의 (Day 0)
• 5/26(화) = Day 3 = 본 노트일 = 비즈니스 데이 진입 첫날 + 신규 댓글 0건
• 5/27(수)~5/30(금) = 본 주 핵심 윈도우 = SRv3 게시 / CMv2 파라미터 / 6월 Snapshot 일정 공지 모니터링
• 6월 1~7주 추정 = Snapshot 투표 D-day 범위 (carry-over 미확정)

FOCIL(EIP-7805) Lean 4 형식화 -- 3가지 spec 균열 상세

1. Equivocation 채널

2. Adversarial Validity 변경

3. Attester Compliance 양자화 모호성

trajectory 추적: 본 형식화 발견이 ACDC 트랙에서 FOCIL spec PR 보강 트리거로 작용할 가능성. 본 노트일 D+1~D+14 윈도우에서 Hegota CL 헤드라이너 후보 FOCIL 트랙 변동 모니터링 필수.

EIP-8243 Batching Attestations at Source -- 메커니즘 상세

구조

attestation gossip topic
  └── WireAttestation (SSZ union type, 신규)
        ├── SingleAttestation (기존 호환)
        └── BatchAttestation (신규)
              ├── batch_seal[] (각 validator pre-sign)
              ├── batcher_signature (지정 batcher 서명)
              └── aggregated attestation (기존 signature 유지)

운영 절차

1. 동일 슬롯 committee에 멀티-validator 오퍼레이터의 N개 validator 스케줄
2. 각 validator가 batch_seal pre-sign
3. 지정 batcher가 N개 attestation aggregate → batcher_signature 서명
4. WireAttestation으로 gossip 전파
5. Aggregator는 validation 후 seal/batcher signature 폐기
6. 표준 attestation signature는 on-chain compatibility 위해 변경 없음

안전성 / 호환성

Curated Operator 직접 수혜

• Lido NO 본질 = 단일 NO가 수천~수만 validator 운영 = 동일 슬롯 committee 우연 발생 확률 높음 = EIP-8243 직접 수혜 1순위
• EIP-7251 MaxEB + 0x02 consolidation 결합 = validator 수 축소 + attestation 효율화 = Lido entry queue 50+ days 압력 보완
• DVT (Obol/SSV) 호환성 = batch_seal + batcher signature 메커니즘이 threshold 서명 환경과의 호환성 spec 검토 필요 → SSV/Obol 측 댓글 응답 모니터링 필수

Lido 거버넌스 -- CMv2 정책 패키지 5요소 상태 (어제와 동일 carry-over)

carry-over 미해소 핵심 변수 (모두 [추가 검증 필요]): - CMv2 bonding 정량 (ETH 기준 vs LDO 기준, per-validator vs per-NO, slashing 시 forfeiture 기준) - operator type별 bonding 차등화 - SRv3 거버넌스 제안 게시 일정 - 6월 Snapshot 투표 정확한 일자 + quorum 요구 사항 - SNOP Block Proposals v4의 MEV-Boost relay 정책 변경 사항 - SNOP Validator Exits v4의 EIP-7002 EL-triggered exit / partial withdrawal / consolidation 우선순위 spec

Curated Operator 진입 시사점

1. 본 노트일 핵심 액션 아이템 (HIGH 우선순위)

2. FOCIL(EIP-7805) 균열 발견의 차별화 리서치 포인트

• 마케팅 vs 형식 검증의 격차: "1-out-of-N honesty" 표어가 형식 증명 결과 = 성립하지만 3가지 spec 보강 필요 = 기관 고객 대상 "프로토콜 검열 저항성의 실효성" 정밀 리서치 자산
• DVT 환경 정합: equivocation 보호 = SSV/Obol multi-sig threshold 정책에 IL non-equivocation guard 신규 요구 = DVT 채택 차별화 메시지
• Adversarial validity = nonce front-running 비용 1 gas-fee = 검열 저항성의 경제적 약점 = 기관 고객 risk-adjusted 메시지 핵심

3. EIP-8243 + EIP-7251 + EIP-7002 운영 역량 결합

Pectra 도입 후 CMv2 환경 + EIP-8243 도입 가능성 시 신규 진입 NO 운영 역량 요구:

4. GEV 프레임 = 수익 모델 재정렬 사전 분석

• MEV 추상화의 한계 = GEV(Generalized Extractable Value)로 확장 = "추출은 보존되며 부분 fix는 재배치한다"
• FOCIL + ePBS + Inclusion List 표준화 환경에서도 GEV는 어딘가로 이동 = curated operator 수익 모델(propose-time MEV / relay 분배 / consolidation 수수료) 재정렬 가능성
• Lido SNOP on Block Proposals v4의 MEV-Boost relay 정책이 GEV 재배치의 한 축 = 기관 고객 "MEV 정책 = 검열 저항성과 수익 보존의 균형" 차별화 리서치 프레임

후속 추적 작업 (D+1~D+14 ETA)

출처

• ethresearch 24950 -- Formalizing FOCIL in Lean 4 (5/25 14:56 UTC, author rahul, Consensus, importance LOW → 본 분석에서 HIGH 격상)
• ethereum-magicians 28606 -- EIP-8243: Batching Attestations at Source (5/25 14:17 UTC, author raul, EIPs, importance MEDIUM → 본 분석에서 HIGH 격상)
• ethresearch 24953 -- Extraction Is Conserved: From MEV to GEV (5/25 18:47 UTC, author WGlynn, Economics, importance MEDIUM)
• ethresearch 24935 -- Coordination is Self-Defeating: A Structural Proof for Diversity-Weighted Byzantine Fault Tolerance (5/24 07:32 UTC carry-over, domain=infra, validator 직접 정합 LOW)
• ethereum-magicians 28608 -- ERC-8160: Primary Agent Registry (5/25 18:57 UTC, topic deleted by author)
• EIPs commit 883c41d -- Update EIP-8081: Add EIP-7709 and EIP-8025 (5/25 23:08 UTC)
• EIPs commit 5845a5d -- Update EIP-8081: add EIP-8253 (5/25 21:26 UTC)
• @VitalikButerin X (5/24 16:19 UTC) -- EF 거버넌스 perspective carry-over
• 수집 요약: output/sources/2026-05-26.summary.json
• Lido 데이터: output/sources/lido/2026-05-26.lido.json
• 직전 분석: output/notes/daily/2026-05-25-validator-analysis.md
• FOCIL entity 노트: output/entities/FOCIL.md
• EIP-7805 entity 노트: output/entities/EIP-7805.md