EIP-7701 Withdrawn 공식화 · PQTS #9 콜 오늘 개최 · FCR #9 콜 6월 예고 · FOCIL Lean 4 형식화

신호 강도: MEDIUM — 오늘(2026-05-27) 수집 데이터(총 17건)에서 인프라 도메인에 직접적으로 영향을 주는 시그널 4건이 확인된다. EL/CL 신규 릴리즈는 없으나 EIP-7701 Withdrawn 공식화, PQTS #9 오늘 개최, FCR #9 콜 일정 게시, FOCIL Lean 4 형식화 연구가 주요 사항이다. 어제(5/26) 기준 HIGH 리스크 3종(Besu CVE, Erigon segfault, Geth structLog)은 여전히 유효하며 해소 신호 없음.

핵심 요약

• MEDIUM EIP-7701 Withdrawn 이동 확정 — AA-via-EOF 방향 폐기.

EIP Editing Office Hour #100 아젠다(2026-06-02 예정)에 EIP-7701(Native Account Abstraction via EOF)의 Withdrawn 이동 PR(ethereum/EIPs#11528)이 포함됐다. EIP-7701은 EOF(EVM Object Format) 기반 네이티브 AA를 제안했으나 공식적으로 폐기 방향으로 정리된다. AA 인프라 구현 계획이 있는 팀은 EIP-7702 또는 별도 접근 방향으로 전환 여부를 검토해야 한다.

• MEDIUM PQTS #9 콜 — 오늘 2026-05-27 13:00 UTC 개최.

Post-Quantum Transaction Signature (PQTS) 워킹그룹 아홉 번째 콜이 오늘 개최된다. 양자내성 서명 체계를 이더리움 트랜잭션에 통합하는 작업이 진행 중이며, 클라이언트 서명 검증 레이어에 장기적 변화를 유발할 수 있다. 오늘 콜 결과물이 인프라 영향도 판단에 필요하다.

• MEDIUM FCR #9 콜 예고 — 2026-06-23 클라이언트·스펙·테스트·API 업데이트 예정.

Fast Confirmation Rule (FCR) 아홉 번째 콜이 2026-06-23 10:00 UTC에 예정됐다. 아젠다에 Client Updates, Spec Updates, Testing Updates, API and Metrics Updates가 명시됐다. FCR은 단일 슬롯 내 확정 규칙 강화를 다루며, 구현이 확정되면 CL 클라이언트 업데이트 및 모니터링 API 변경이 수반된다.

• LOW FOCIL Lean 4 형식화 — EIP-7805의 수학적 안전성 검증 완료.

ethresear.ch에서 rahul이 FOCIL(EIP-7805, Hegota 포함 예정)의 핵심 "1-out-of-N 정직성" 보장을 Lean 4 형식 증명으로 검증했다. 이더리움 표준 2/3 정직 밸리데이터 가정에서 성립함을 end-to-end로 도출했으며, 증명 과정에서 엣지 케이스 3가지가 표면화됐다. 클라이언트 구현에 선행하는 안전성 근거가 확보된다.

주요 변화 / 이슈

1. EIP-7701 Withdrawn — AA-via-EOF 경로 공식 종료

출처: EIP Editing Office Hour Meeting #100 아젠다 — ethereum-magicians.org (2026-05-26)

EIP Editing Office Hour #100(2026-06-02 예정) 아젠다 중 Misc 섹션에 다음 항목이 포함됐다:

"Update EIP-7701: Move to Withdrawn by forshtat · Pull Request #11528 · ethereum/EIPs"

EIP-7701은 EOF 컨트랙트를 Account Abstraction 진입점으로 사용하는 방식을 제안한 EIP다. 2024년부터 Native AA 논의에서 중심적으로 거론됐으나 EOF 통합 일정 지연 및 EIP-7702(Set EOA Account Code)의 부상으로 실질적 추진력을 잃은 상태였다. Withdrawn으로 공식 정리됨으로써 EOF 기반 AA 경로는 명시적으로 폐기된다.

노드 운영 관점 영향:

직접적인 클라이언트 패치는 없다. 그러나 EIP-7701을 구현하거나 연구하던 팀 및 AA 인프라 구현 계획이 있는 노드 오퍼레이터는 로드맵 의존성을 재정비해야 한다. ERC-4337, EIP-7702 기반 접근으로 전환이 현실화된다.

2. PQTS #9 콜 — 오늘 13:00 UTC

출처: Post Quantum transaction signature (PQTS) #9 — ethereum-magicians.org (2026-05-26)

양자내성 서명 체계 통합 워킹그룹이 오늘(2026-05-27) 13:00 UTC에 #9 콜을 개최한다. PQTS는 ECDSA secp256k1 서명을 양자내성 알고리즘(예: CRYSTALS-Dilithium 등)으로 교체하거나 병용하는 방향을 논의 중이다.

인프라 영향 전망:

PQTS가 확정되면 EL 클라이언트의 트랜잭션 서명 검증 로직 전면 수정 및 새로운 트랜잭션 타입 도입이 필요해진다. 현재 연구 단계이나, 오늘 콜 결과물에서 구체적 EIP 번호 및 타임라인이 논의될 경우 클라이언트 개발 일정에 영향을 줄 수 있다.

3. FCR #9 콜 예고 — 2026-06-23

출처: Fast Confirmation Rule (FCR) #9, June 23, 2026 — ethereum-magicians.org (2026-05-26)

Fast Confirmation Rule 워킹그룹의 아홉 번째 콜이 2026-06-23 10:00 UTC에 개최된다. 아젠다에 명시된 항목:

• Client Updates
• Spec Updates
• Testing Updates
• API and Metrics Updates
• Research Updates

FCR은 기존 finalization 주기(~12분)보다 빠른 단일 슬롯 내 확정 기준을 정의하는 작업이다. API and Metrics 업데이트 아젠다가 명시된 점이 주목된다. FCR 구현 확정 시 eth_getBlockByNumber의 safe/finalized 태그 처리 방식, 모니터링 대시보드의 확정 블록 표시 로직에 영향을 준다.

모니터링 예정일: 2026-06-23 10:00 UTC

4. FOCIL Lean 4 형식화 — 핵심 안전성 증명

출처: Formalizing FOCIL in Lean 4 — ethresear.ch (2026-05-25, 저자: rahul)

FOCIL(EIP-7805, Force Inclusion via Inclusion Lists)의 핵심 안전성 주장을 Lean 4 정리 증명기로 형식화한 연구가 게시됐다. 주요 내용:

• 검증 목표: "IL 위원회원 중 1명만 정직해도 트랜잭션 강제 포함 보장" 성립 여부
• 결론: 이더리움 표준 >2/3 정직 밸리데이터 가정에서 성립. end-to-end 도출 완료
• 부산물: 증명 과정에서 엣지 케이스 3가지 표면화(원문에 상세 서술)

FOCIL은 Hegota 업그레이드에 포함 예정이다. 클라이언트 구현 단계 진입 전 수학적 안전성 근거가 확보됐다는 점에서 CL 클라이언트 팀 개발 신뢰도를 높인다.

5. EIP-7979 / EIP-8173 스펙 활발한 편집

출처: ethereum/EIPs commit 7008d3a / ethereum/EIPs commit af7f4bf 외

오늘 수집 데이터에서 EIP 저장소 커밋 4건이 확인됐다.

EIP-7979는 Greg Colvin이 검증 스펙과 근거(rationale)를 대폭 정리한 커밋("lots of picky stuff")을 올렸다. 별도 업그레이드 배정 정보는 없으나 활발한 편집은 Draft 진행을 의미한다. EIP-8173은 EIP-8141(Frame Transactions)과 연관된 EIP로 동일 저자가 하루 3건을 편집했다. 직접적 클라이언트 운영 영향은 없다.

6. EIP-8272 신규 제안 — Frame Transactions용 Recent Roots

출처: EIP-8272: Recent Roots for Frame Transactions — ethereum-magicians.org (2026-05-26, 저자: soispoke)

EIP-8141(Frame Transactions)을 보완하는 신규 EIP-8272 토픽이 개설됐다. 요약:

• EIP-8141 frame transaction이 mutable storage 읽기 없이 최근 루트를 참조 가능하게 함
• system contract에 (source_id, slot, root) 형태로 루트를 기록
• frame transaction 실행 전 클라이언트가 recent root references를 검증

Frame Transaction 생태계(EIP-8141, EIP-8272)는 EL 실행 레이어에 새로운 트랜잭션 타입과 검증 로직을 추가한다. 현재 Draft 단계이며 어떤 업그레이드에도 배정되지 않았다.

7. TEE 물리적 무결성 연구 — 탈중앙 TEE 네트워크 현황

출처: Physical integrity, attestation, and the state of permissionless TEEs — ethresear.ch (2026-05-26, 저자: fnerdman)

분산 TEE(Trusted Execution Environment) 네트워크의 permissionless 운영 가능성과 물리적 무결성 아테스테이션 현황을 분석한 글이 게시됐다. 저자는 2024년부터 관련 연구를 진행 중이라고 밝혔다.

인프라 관점: TEE 기반 MEV 완화, Private Mempool, DVT 보안 강화 등에 활용될 수 있는 기반 기술이다. 현재 프로덕션 적용 단계는 아니며 연구 레이어에 해당한다. 중기 모니터링 대상.

8. 클라이언트 릴리즈 현황 (2026-05-27 기준)

신규 릴리즈 없음. 어제(5/26)와 동일 상태 유지. 7일 연속 신규 릴리즈 공백.

Execution Layer (EL)

Consensus Layer (CL)

9. P2P / 네트워크 지표 현황

오늘 수집 데이터에 P2P 네트워크 신규 시그널 없음. 어제 상태 유지.

10. 어제 대비 신규 / 변경 사항

전반 평가: 어제보다 인프라 관점 신호가 다소 증가했다. EIP-7701 Withdrawn은 인프라 구현 방향성 변화를 의미하는 중요한 사건이며, PQTS 오늘 콜 및 FCR 콜 예고는 중기 클라이언트 변경 일정을 예고한다. 반면 EL/CL 클라이언트 긴급 릴리즈나 네트워크 이슈는 없다. HIGH 리스크 3종(Besu CVE, Erigon segfault, Geth structLog)은 여전히 미해소 최우선 사항이다.

노드 운영자 액션 아이템

관련 엔티티

• EIP-7701 — Withdrawn 이동 아젠다 확인 (EIP Editing Office Hour #100)
• EIP-7805 / FOCIL — Lean 4 형식 증명 완료. Hegota 포함 예정
• EIP-7979 — Greg Colvin 스펙 대폭 개선
• EIP-8173 — Greg Colvin 동일일 3건 편집
• EIP-8272 — Frame Transactions 최근 루트 참조 신규 제안
• Geth — v1.17.3. structLog tracing API 파서 불일치 지속 유효
• Besu — 26.5.0. CVE-2026-34480/34478 미패치 시 HIGH
• Erigon — v3.4.1. v3.4.0 segfault 수정 버전 유지 필수
• Nimbus — v26.5.0. KZG 60% 성능 향상 포함
• Glamsterdam — ACDE #238 (2026-06-04) 스코핑 확정 D-8

참고 자료

• EIP Editing Office Hour Meeting #100 아젠다 — ethereum-magicians.org
• Post Quantum transaction signature (PQTS) #9 — ethereum-magicians.org
• Fast Confirmation Rule (FCR) #9, June 23, 2026 — ethereum-magicians.org
• Formalizing FOCIL in Lean 4 — ethresear.ch
• EIP-8272: Recent Roots for Frame Transactions — ethereum-magicians.org
• Update EIP-7979: Better validation spec and rationale — github.com/ethereum/EIPs
• Physical integrity, attestation, and the state of permissionless TEEs — ethresear.ch
• 연속성 참고 노트: output/notes/daily/2026-05-26-infra-analysis.md