이더리움 FOCIL 해설: 포함 목록으로 거래 검열에 저항하는 원리

이더리움 거래는 형식이 올바르고 잔액도 충분하며 공개 멤풀(Mempool)에 보이는데도 블록 빌더가 선택해야 체인에 들어갈 수 있어요. 소수의 전문 빌더가 많은 블록을 만드는 구조에서는 이 간극이 중요합니다. 블록체인 기초에서 합의가 어느 기록을 채택할지 정한다면, FOCIL은 대기 중인 거래를 그 기록에 넣을 때 누가 실질적인 발언권을 가져야 하는지 묻습니다.

FOCIL은 **포크초이스 강제 포함 목록(Fork-Choice Enforced Inclusion Lists)**의 약자이며 EIP-7805에 제안된 장치예요. 무작위로 선택된 검증자 위원회가 크기가 제한된 대기 거래 목록을 공개하고, 다음 블록은 그 목록의 조건을 충족해야 합니다. 지키지 않으면 증명자(Attester)가 투표하지 않아요. 다만 FOCIL은 현재 사용자가 의존할 수 있는 출시 기능이 아니라 제안 단계이며, 명세와 업그레이드 목표는 바뀔 수 있습니다.

이더리움은 왜 FOCIL을 검토하나요?

이더리움은 여러 역할을 나눠요. 각 슬롯의 제안자(Proposer)가 선정되고, 전문 빌더는 블록을 구성해 가치가 높은 페이로드를 제안자에게 제공하려 경쟁합니다. 효율적인 블록 구성이 가능하지만 거래 선택 권한이 집중될 수 있어요. 빌더, 릴레이, 제안자가 정책, 규제, 사적 이익이나 선호 때문에 특정 거래를 빼는 병목이 생깁니다.

거래가 늦는다고 모두 검열은 아니에요. 낮은 수수료, 잘못된 논스(Nonce), 부족한 잔액, 혼잡, 네트워크 전파 지연도 원인이 됩니다. 구조적인 문제는 최종 거래 목록을 한 주체가 사실상 결정할 때 그 주체가 차단 지점이 된다는 점이에요.

블록 빌더를 신문 한 판을 편집하는 편집장이라고 생각해 보세요. 지금은 편집장이 어떤 기사를 실을지 대부분 선택해요. FOCIL은 매번 바뀌는 위원회가 여러 장의 작은 ‘반드시 검토할 항목’을 건네는 구조입니다. 편집장은 여전히 배치와 나머지 지면을 정하지만, 목록의 유효한 항목을 모두 조용히 버린 판을 정상 판으로 인정받기는 어려워져요.

FOCIL은 어떻게 작동하나요?

현재 EIP-7805는 포함 목록 위원회 16명과 위원당 최대 8 KiB 목록을 설명해요. 이 숫자는 제안의 매개변수이며 메인넷 도입 전 달라질 수 있습니다.

1. 위원회가 멤풀을 관찰해요. 슬롯 N에서 무작위로 선택된 검증자들이 자신에게 보이는 대기 거래로 각자 포함 목록을 만듭니다.
2. 위원이 목록에 서명해 전파해요. 검증자는 정상적인 위원회 메시지를 합의 네트워크로 전달합니다. 위원마다 관찰한 멤풀 내용은 다를 수 있어요.
3. 빌더가 제약 조건을 모아요. 슬롯 N+1의 빌더는 페이로드를 만드는 동안 목록을 받습니다.
4. 다음 블록이 유효한 목록 항목을 충족해요. 거래는 블록 어디에나 배치할 수 있어요. 최종 상태에서 무효이거나 남은 가스가 부족하면 제외할 수 있습니다.
5. 증명자가 규칙을 집행해요. 증명자는 블록과 자신이 저장한 정상 목록을 비교합니다. 넣을 수 있는 목록 거래가 빠졌다면 그 블록에 투표하지 않아요.

마지막 단계가 ‘포크초이스 강제’라는 이름의 핵심이에요. 빌더에게 정중히 요청하는 데 그치지 않고, 검증자가 포크초이스 과정에서 해당 블록을 지지할지에 영향을 줍니다.

FOCIL이 바꾸는 것과 바꾸지 않는 것

FOCIL은 빌더를 없애지 않고 거래 포함 영향력을 분산해요. 빌더는 여전히 거래 순서를 최적화하고 나머지 공간을 채울 수 있습니다. 위원회는 완전한 정렬표가 아니라 제약 조건을 제공합니다.

제안의 핵심 직관은 **N명 중 1명의 정직성(One-out-of-N Honesty)**이에요. 서로 모순되는 목록을 보내지 않은 위원 한 명이라도 유효한 거래를 보고 목록에 올리면, 빌더는 그 거래를 계속 억제하면서 증명자의 지지를 받는 블록을 만들기 어려워집니다. 2026년에는 별도의 Lean 4 형식화 연구가 이더리움의 더 넓은 정직한 검증자 가정 아래 이 안전성 주장을 검토했어요. 유용한 검증이지만 모든 구현과 네트워크 조건이 해결됐다는 뜻은 아닙니다.

FOCIL은 즉시 포함도 보장하지 않아요. 거래가 위원에게 전파되고 일반 유효성 조건을 통과하며 조건부 포함 규칙에 맞아야 합니다. 공개 멤풀에 도달하지 않는 비공개 거래는 위원회가 보지 못할 수 있어요. 특정 순서를 강제하거나 프런트러닝을 없애고 MEV를 사라지게 하는 장치도 아닙니다.

조건부 포함이 필요한 이유

‘목록의 모든 거래를 무조건 넣는다’는 단순한 규칙은 안전하지 않아요. 거래는 서로 영향을 줍니다. 앞선 거래가 잔액을 쓰거나 논스를 소비하면 다음 거래가 무효가 될 수 있고, 목록 전체가 블록의 남은 용량보다 클 수도 있어요.

그래서 FOCIL은 빠진 목록 거래를 기존 블록 거래 뒤에 붙였을 때 유효하게 실행할 수 있는지 확인합니다. 실행 레이어는 논스, 잔액, 남은 가스 같은 조건을 검사해요. 실행 가능하고 공간도 있는데 빠졌다면 포함 목록 조건을 충족하지 못한 것으로 봅니다. 실행할 수 없다면 목록에 있었다는 이유만으로 증명자가 블록을 거부하지 않아요.

빌더의 유연성을 지키는 대신 구현 과제가 생깁니다. 빌더는 제때 목록을 받아야 하고, 합의 클라이언트는 무엇을 관찰했는지 일관되게 처리해야 하며, 실행 클라이언트는 누락 거래를 같은 방식으로 평가해야 해요.

리스크와 한계, 남은 질문

• 네트워크 시간과 활성성(Liveness) — 빌더가 목록을 제때 받아야 해요. 연결 상태가 나쁘거나 관찰 내용이 달라도 정직한 검증자들이 정상 블록을 대규모로 거부하는 상황은 피해야 합니다.
• 위원의 이중 메시지(Equivocation) — 한 위원이 서로 다른 목록을 보낼 수 있어요. 제안은 해당 위원을 식별해 그 위원의 목록을 무시하도록 하지만 프로토콜과 네트워크가 복잡해집니다.
• 스팸과 자원 사용 — 목록 크기는 제한되지만 노드는 대역폭과 검증 자원을 사용해요. 목록 구성 정책 일부는 구현자 판단에 남아 있습니다.
• 위원 압박 — 알려진 위원은 회유나 위협을 받을 수 있어요. zkFOCIL 같은 연구가 위원 신원을 숨기는 방법을 다루지만 별도의 실험적 작업입니다.
• 공개 멤풀 의존성 — 비공개 주문 흐름에 숨은 거래는 위원회가 보지 못해 보호받을 수 없어요.
• 제안의 불확실성 — EIP-7805는 확정된 메인넷 동작이 아닙니다. 포크 범위, 매개변수, 네이티브 계정 추상화와의 상호작용, 배포 시점은 테스트와 거버넌스에 따라 바뀔 수 있어요.

이더리움 재단의 2026년 프로토콜 우선순위는 FOCIL을 ‘L1 강화(Harden the L1)’의 검열 저항성 작업으로 분류합니다. 활발한 연구 우선순위라는 의미이지 출시일을 보장한다는 뜻은 아니에요. 로드맵은 방향으로 보고 약속으로 받아들이지 마세요.

사용자와 개발자는 지금 무엇을 해야 하나요?

일반 지갑 사용자는 자산을 옮기거나 주소를 바꾸거나 FOCIL 설정을 켤 필요가 없어요. 사용자 측 업그레이드 기능이 아니기 때문입니다. 지금 거래가 지연된다면 먼저 이더리움 대기 거래 가이드를 참고해 논스, 수수료, 잔액, RPC 제공자와 네트워크 상태를 확인하세요.

개발자와 노드 운영자는 정식 EIP, 클라이언트 테스트 구현, 이더리움 프로토콜 공지를 추적할 수 있어요. 앱은 제안된 장치가 즉시 정산을 보장한다고 가정하지 말고 계속 지연 포함과 체인 재구성(Reorg)을 처리해야 합니다. 거래 포함과 블록체인 완결성은 서로 다른 단계예요.

자주 묻는 질문(FAQ)

FOCIL은 이더리움 메인넷에서 작동 중인가요?

아니요. 2026년 8월 11일 현재 EIP-7805는 연구와 명세 작업이 진행 중인 제안이에요. 위원회 크기, 시간 규칙, 업그레이드 배치를 확정된 메인넷 동작처럼 설명하면 안 됩니다.

FOCIL은 모든 검열을 막나요?

아니요. 정직한 위원이 관찰한 유효 거래를 지속적으로 빼는 일을 더 어렵게 만듭니다. 모든 거래가 전파되고 계속 유효하며 즉시 들어갈 공간이 생긴다고 보장하지 않아요.

FOCIL이 블록 빌더나 MEV 시장을 대체하나요?

아니요. 빌더는 계속 블록을 구성합니다. FOCIL은 목록 거래의 누락을 제약하지만 전체 거래 순서를 정하거나 모든 추출 가능 가치를 없애지 않아요.

목록에 오른 거래도 제외될 수 있나요?

네. 블록 실행 뒤 무효가 되거나 남은 가스에 들어갈 수 없으면 조건부 포함 규칙에 따라 제외할 수 있어요. 정확한 규칙은 발전 중인 명세의 일부입니다.

1차 출처

• EIP-7805: 포크초이스 강제 포함 목록 — 정식 제안, 작동 방식, 매개변수, 보안 고려사항.
• Ethereum Foundation: 2026년 프로토콜 우선순위 업데이트 — L1 강화와 검열 저항성 작업에서 FOCIL의 위치.
• Ethereum Research: Lean 4로 FOCIL 형식화 — 2026년 5월 포함 안전성 주장과 가정의 형식 분석.
• Ethereum Research: zkFOCIL 구현과 벤치마크 — 포함 목록 위원의 프라이버시와 강압 위험을 다룬 연구.

FOCIL은 집중된 블록 구성 권한을 견제하는 제안으로 이해하면 좋아요. 여러 검증자가 한 빌더를 제약하고, 포크초이스가 그 제약에 힘을 줍니다. 유망한 인프라 연구이지만 투자 신호도, 현재 작동하는 보장도 아니에요. 바뀌는 내용은 1차 출처에서 확인하고 업그레이드 서사를 이용한 토큰 홍보를 경계하며 스스로 조사하세요(DYOR). 이 글은 교육 목적이며 투자 조언이 아닙니다(NFA).