공동 저자 마이클 및 쿠비 (가타카). 피드백과 제안에 대해 토마스, 줄리안, 토니, 라디, 저스틴, 오스턴 및 맥스에게 특별한 감사를 드립니다. 피드백이 반드시 보증을 의미하는 것은 아닙니다.
개요
이 문서는 릴레이 포함 목록(rILs)을 소개하며, 프로토콜 변경, 새로운 신뢰 가정 또는 상당한 기술적 복잡성 없이 이더리움의 검열 저항성을 즉시 개선할 수 있는 방법을 제시합니다. 이 설계는 비검열 릴레이의 새로운 기본 기능으로 의도되며, 검증자의 선호도를 수용하기 위해 옵트아웃 옵션을 제공합니다.
우리는 릴레이 포함 목록이 검증자의 위험-보상 균형을 유지하면서 이더리움의 검열 저항성을 어떻게 높이는지 자세히 설명합니다. 그런 다음 효율적이고 이상값에 대해 탄력적인 릴레이 포함 목록 구성 규칙을 제안하고, 기존 블록 검증과 원활하게 통합되는 집행 절차를 제안합니다. 문서는 유망한 미래 방향에 대한 전망으로 마무리됩니다.
전반적으로, 이 문서는 릴레이에서 포함 목록을 생성, 검증 및 집행하는 정확한 절차를 상세히 설명합니다. 프로토콜 호환성과 운영 무결성을 보장하기 위해 EIP-7805 (FOCIL) 사양을 반영하여 위험을 최소화하는 방식으로 향후 프로토콜 내 포함 목록 구현을 위한 블록 생성 시스템을 준비합니다.
(이하 생략)포함 목록은 각 슬롯의 시작 전에 계산되며, 릴레이는 빌더가 완성된 포함 목록을 가져오는 데 사용할 수 있는 HTTP API 엔드포인트를 노출합니다. 빌더에게 부과되는 정렬 제약 조건은 없습니다. 포함 목록의 트랜잭션은 가장 효율적인 방식으로 블록에 정렬될 수 있습니다.
블록 검증 및 집행
블록 유효성은 FOCIL 기준에 대해 집행됩니다. 특히, 릴레이에 제안된 블록은 다음 조건이 충족되는 경우에만 유효합니다:
- 트랜잭션 포함 확인
- 릴레이가 제공한 IL에 나열된 모든 트랜잭션은 다음 중 하나입니다:
- 빌더가 제공한 블록에 명시적으로 포함됨.
- 블록의 결과 상태에 대해 실행 후 검증 불가능하게 됨.
- 시뮬레이션된 트랜잭션 검증
- 릴레이는 블록에 포함되지 않은 각 IL 트랜잭션을 블록의 사후 상태에 대해 시뮬레이션 실행합니다.
- 블록은 사후 상태에 대해 검증할 때 모든 사전 실행 유효성 검사를 통과할 포함 목록 트랜잭션을 생략하는 경우 무효입니다 - 올바른 서명, 체인 ID, 논스, 충분한 잔액 및 고유 가스.
- 고유한 무효성(예: 논스 불일치, 불충분한 잔액)으로 인해 시뮬레이션에 실패한 트랜잭션은 블록을 무효화하지 않습니다.
- IL의 시뮬레이션 및 검증은 블록 검증의 시뮬레이션 부분에서 수행됩니다.
이 접근 방식은 추가 단계를 도입하지 않고 현재의 오프체인 PBS 파이프라인에 FOCIL 기준을 적용합니다. 블록 시뮬레이션은 블록에 포함되지 않은 각 IL 트랜잭션에 대해 단순히 약간 확장됩니다. 신뢰할 수 있는 빌더를 위해 시뮬레이션 단계를 건너뛰는 낙관적 릴레이의 경우 오버헤드가 발생하지 않습니다.
집행 및 페널티
FOCIL 기준에 따라 포함 목록 준수는 유효성 조건으로 취급됩니다. 미준수는 최소한 수용되지 않으며, 낙관적 빌더의 경우 페널티가 부과될 수 있습니다.
우리는 비준수 낙관적 빌더에 대해 부과되는 페널티가 포함 목록을 통합된 유효성 조건으로 반영하고 빌더의 담보에 대한 블록 가치의 몰수로 이어져야 한다고 제안합니다. 릴레이는 과도한 담보 소각을 방지하기 위해 오류가 추적될 때까지 비준수 빌더를 일시적으로 강등할 수 있습니다.
향후 방향
Blob 유형 트랜잭션을 위한 포함 목록
향후 이 설계는 블롭을 포함하도록 확장될 수 있습니다. 이는 현재 설계의 검열 저항성을 넓히고 L2에 대한 시기적절한 데이터 가용성을 개선할 것입니다.
더 큰 포함 목록
릴레이 포함 목록은 제안자 중심 포함 목록보다 더 클 수 있습니다. 현재 설계는 릴레이 IL이 있는 블록이 PBS 경매에서 경쟁력 있게 가격이 책정되도록 FOCIL 크기를 반영하며, 향후 더 큰 총 크기를 수용하도록 확장될 수 있습니다.
다중 릴레이 포함 목록
현재 설계에서 각 릴레이는 자체 포함 목록을 유지합니다. 블록에 대한 최대 선택권을 유지하려는 빌더는 각 릴레이가 제공하는 IL을 반영하여 각 릴레이에 다른 블록을 보낼 수 있습니다.
향후 여러 포함 목록의 교집합에서 포함 목록을 형성함으로써 더 강력한 검열 보장을 달성할 수 있습니다. 이는 포함 규칙의 균일한 적용을 강제함으로써 릴레이 간 공정한 경쟁을 보장하고 포함 목록을 컴파일하는 데 사용되는 트랜잭션 순위를 통해 쉽게 계산할 수 있습니다. 이는 또한 빌더에게 릴레이당 맞춤형 블록을 계산하거나 포함 목록의 합집합을 포함할 필요가 없어 중복을 줄일 수 있습니다.
이러한 경우 각 릴레이는 확장된 목록을 gossip할 수 있으며, 이는 교집합을 취하여 균일한 표준 크기 목록으로 결정론적으로 축소됩니다. 실제로 이는 간단한 gossip 프로토콜로 릴레이를 업그레이드하여 달성될 수 있습니다.
링크
