실행 모델, 합의, EVM 기초, 검증 가능한 AI에 관한 기술 장문입니다. 각 통찰은 Web3를 더 선명하게 만듭니다.

"확장"은 흔히 하나의 문제로 취급됩니다. 이 글은 그것을 합의, 데이터 가용성, 실행, 정산으로 나누고 L2, 샤딩, 독립형 DA, L1 병렬 실행을 그 지도 위에 놓으며, 병렬 EVM이 어디에 위치하는지도 밝힙니다.

고전적 BFT의 직렬 단계와 메시징 복잡도가 처리량을 어떻게 제한하는지, Pipeline BFT가 파이프라인에서 높이를 어떻게 겹치는지, 그리고 합의가 실행과 분리된 뒤 정합성 경계가 어디에 있는지를 설명합니다.