a16z Crypto가 블록체인의 '검열 저항성'과 '낮은 지연 시간' 사이의 근본적인 모순을 탐구합니다.
Odaily星球日报讯 a16z Crypto가 블록체인의 '검열 저항성'과 '낮은 지연 시간' 사이의 근본적인 모순을 탐구하는 글을 발표했습니다. 해당 글은 검열 저항 기능을 갖춘 비잔틴 장애 허용(BFT) 블록체인 프로토콜의 경우, 악의적으로 행동할 수 있는 검증인의 비율이 5분의 1을 초과할 때 최적의 good-case latency가 최소 5라운드의 통신이 필요한 반면, 기존 BFT 합의는 최소 3라운드만 필요하다고 지적합니다.
글은 기존 BFT 프로토콜에서 블록 제안자가 블록 구축과 합의 진행 권한을 동시에 쥐고 있기 때문에 특정 거래를 배제하여 검열을 시행할 수 있으며, 이것이 대규모 MEV 문제의 근원이라고 지적합니다. 이 문제를 해결하기 위해 이더리움은 FOCIL / EIP-7805를 연구 중이며, 솔라나는 Constellation 및 MCP와 같은 메커니즘을 연구 중입니다. 이들의 핵심 아이디어는 블록이 공식적으로 제안되기 전에 검증인이 무시할 수 없는 거래 '포함 목록(Inclusion Lists)'을 사전에 수집하도록 하는 것입니다.
a16z Crypto는 검열 저항을 달성하려면 추가로 두 라운드의 통신이 필요하다고 밝혔습니다. 먼저 사용자 거래가 모든 검증인에게 브로드캐스트되어야 하고, 이후 검증인이 이를 확인하여 inclusion list에 기록해야 합의 프로세스가 시작될 수 있습니다. 따라서 부분 동기 네트워크 환경에서는 4라운드만으로 BFT와 검열 저항을 동시에 구현할 수 있는 프로토콜 설계는 존재하지 않으며, 5라운드가 수학적 이론적 하한선입니다.
글은 검열 저항 메커니즘이 프로토콜 지연 시간을 증가시키지만, 사용자가 실제로 직면하는 '유효 지연 시간'을 현저히 줄일 수 있다고 강조합니다. 검열 저항 기능이 없는 시스템에서는 검증인의 검열로 인해 거래가 무기한 지연될 수 있습니다. 반면, 검열 저항이 보장된 시스템에서는 거래가 최대 5라운드 통신 내에 블록에 포함되어 거래 확인 시간이 더 예측 가능해집니다.
