[Paper] 멀티코어 병렬성을 활용한 블록체인 검증 및 구축

Source: arXiv - 2602.03444v1

Overview

이 논문은 블록체인 검증자들이 최신 멀티‑코어 CPU를 활용하여 블록 구성(트랜잭션 선택 및 정렬)과 블록 실행(미리 정렬된 블록 검증) 모두를 가속화할 수 있는 방법을 조사한다. 문제를 정확한 최적화 모델로 공식화하고 빠른 휴리스틱을 설계함으로써, 저자들은 블록체인 합의를 뒷받침하는 결정론적 의미론을 깨뜨리지 않으면서도 상당한 지연 시간 감소가 가능함을 보여준다.

주요 기여

• Formal problem definitions (1) 고정 순서 블록을 p 코어에서 병렬 실행하는 경우와 (2) 블록당 실행 시간 예산 B 하에서 블록을 병렬로 구성하는 경우.
• Exact MILP formulations 트랜잭션 충돌, 필요한 전체 순서, 코어 용량 제약을 포착하여 최적의 makespan 또는 보상을 보장합니다.
• Deterministic, scalable heuristics 두 문제 모두에 대해 현실적인 워크로드에서 밀리초 단위로 실행되어 실시간 검증자에게 실용적입니다.
• Comprehensive empirical evaluation Ethereum 메인넷 트레이스를 사용하고, Solana‑style 선언 접근 베이스라인 (Sol) 및 순진한 보상‑탐욕 베이스라인 (RG)도 포함합니다.
• Quantitative trade‑off analysis 최적성 및 실행 시간 간의 정량적 트레이드오프 분석을 통해, 휴리스틱이 최적 성능의 > 95 %를 달성하면서도 수십 배 빠름을 보여줍니다.

Source: …

방법론

1. 거래 충돌 모델링 – 거래는 충돌 그래프의 노드로 표현되며, 간선은 두 거래가 겹치는 상태를 읽거나/쓰는 경우를 나타내어 동시에 실행될 수 없음을 의미합니다.
2. 병렬 실행 문제 – 전체 순서(블록의 정규 순서)가 주어졌을 때, 각 거래를 p개의 코어 중 하나에 할당하되 순서와 충돌 제약을 만족하면서 전체 작업 시간(완료 시간)을 최소화하는 것이 목표입니다.
3. 병렬 구성 문제 – 검증자는 대기 중인 거래들의 메모풀을 가지고 있으며 블록당 엄격한 실행 시간 제한 B가 있습니다. 작업은 제한 B 안에 병렬 실행이 들어가도록 하면서 검증자의 보상(보통 가스 수수료)을 최대화하도록 거래의 부분집합을 선택하고 순서를 정하는 것입니다.
4. MILP 솔루션 – 저자들은 위의 제약들을 혼합 정수 선형 프로그램으로 인코딩하고, 상용 솔버를 사용해 최적 기준선을 도출합니다.
5. 휴리스틱 설계 –
   • 실행 휴리스틱: 전체 순서를 준수하고 같은 코어에서 충돌하는 거래를 건너뛰는 탐욕적인 리스트 스케줄링 알고리즘.
   • 구성 휴리스틱: 두 단계 접근법—첫 번째 단계에서는 보상(수수료) 가중치를 고려해 거래를 선택하고, 두 번째 단계에서는 충돌을 인식한 위상 정렬을 사용해 실행 시간 예산에 맞는 순서를 만든다.
6. 평가 – 실제 이더리움 블록 데이터(블록당 수천 건의 거래)를 MILP와 휴리스틱 파이프라인 모두에 적용합니다. Sol 기준선은 솔라나의 선언적 접근 모델(거래가 접근하는 계정을 선언) 을 모방하고, RG는 충돌을 고려하지 않고 수수료가 가장 높은 거래만 선택합니다.

결과 및 발견

• 실행 휴리스틱은 마이크로초 수준으로 실행되면서 거의 최적에 가까운 병렬 속도 향상을 달성하여 실시간 검증에 적합합니다.
• 구성 휴리스틱은 실행 시간 제한을 준수하는 고가치 트랜잭션 세트를 선택하며, 순수 보상‑탐욕 기반을 총 수수료 획득량에서 최대 30 %까지 능가합니다.
• Solana 스타일의 선언적 접근 기반과 비교했을 때, 제안된 방법은 동적 충돌 감지를 사전 접근 선언 없이 처리하여 EVM 호환 체인에 더 큰 유연성을 제공합니다.

실용적 함의

• Validator throughput: 멀티‑코어 인식 스케줄링은 블록 검증 지연 시간을 약 60 % 줄일 수 있어, 검증자들이 하드웨어 업그레이드 없이도 더 높은 트랜잭션 볼륨을 따라잡을 수 있습니다.
• Economic incentives: 런타임 한도 내에서 트랜잭션을 지능적으로 선택함으로써 검증자는 더 많은 수수료를 확보할 수 있어, proof‑of‑stake 네트워크에서 노드를 운영하는 경제성을 향상시킵니다.
• Protocol design: 충돌‑인식 모델은 기존 클라이언트 소프트웨어(예: Geth, Nethermind)에 선택적 병렬 실행 모듈로 통합될 수 있으며, 약간의 코드 변경만 필요합니다.
• Cross‑chain applicability: 이 방법은 Ethereum을 대상으로 평가되었지만, 트랜잭션 충돌을 추론할 수 있는 모든 결정론적 스마트‑컨트랙트 플랫폼(예: Hyperledger Besu, Avalanche C‑Chain)에서도 적용 가능합니다.
• Hardware utilization: 검증자 풀을 운영하는 데이터 센터는 CPU 활용도를 향상시켜 에너지 비용을 절감하고 동일한 하드웨어 공간에서 더 많은 검증자를 운영할 수 있습니다.

제한 사항 및 향후 작업

• 충돌 감지 오버헤드 – 현재 구현은 트랜잭션 읽기/쓰기 세트를 정적으로 분석하여 충돌 그래프를 구축하는데, 이는 복잡한 스토리지 패턴을 가진 계약에 대해 비용이 많이 들 수 있습니다.
• 결정론 보장 – 휴리스틱은 동일한 입력 순서가 주어지면 결정적이지만, 외부 호출과 같은 비결정론적 런타임 동작은 여전히 순차 실행과의 동등성을 깨뜨릴 수 있습니다.
• MILP 확장성 – 정확한 MILP 솔루션은 10 k 트랜잭션을 초과하는 블록에 대해 실행 가능하지 않으며, 향후 작업에서는 분해 기법이나 더 강력한 완화 방법을 탐색할 수 있습니다.
• 동적 워크로드 – 이 연구는 정적인 메모풀 스냅샷을 가정하고 있으며, 블록 구성 중 지속적으로 들어오는 트랜잭션을 처리하도록 모델을 확장하는 것은 아직 해결되지 않은 과제입니다.
• 합의와의 통합 – 병렬 블록 구성이 리더 선택 및 포크 선택 규칙(특히 PoS 시스템)과 어떻게 상호 작용하는지 조사하는 것은 아직 탐구가 필요합니다.

이러한 점들을 해결함으로써, 커뮤니티는 현대 멀티코어 하드웨어에 맞춰 확장되는 완전 병렬 고처리량 블록체인 검증을 향해 나아갈 수 있습니다.

저자

• Arivarasan Karmegam
• Lucianna Kiffer
• Antonio Fernández Anta

논문 정보

• arXiv ID: 2602.03444v1
• 카테고리: cs.DC, cs.DS
• 출판일: 2026년 2월 3일
• PDF: PDF 다운로드