이더리움 지분 증명(PoS)의 작동 원리

1. 들어가며: 이더리움의 새로운 시대

2022년 9월, 이더리움은 '더 머지(The Merge)'를 통해 작업 증명(PoW)에서 지분 증명(PoS)으로 성공적으로 전환했다. 이로 인해 이더리움은 에너지 소비량을 99.95% 이상 절감했을 뿐만 아니라, 하드웨어 연산 능력에 의존하던 보안 모델을 경제적 자산(ETH)을 담보로 하는 지분 중심 모델로 근본적으로 변화시켰다.

2. 합의의 시간적 기초: 슬롯(Slot)과 에포크(Epoch)

이더리움 PoS 네트워크는 전 세계 수많은 검증인이 일관된 상태를 유지할 수 있도록 시간을 엄격한 단위로 분할하여 관리한다.

• 슬롯(Slot): 블록이 생성되는 최소 단위로, 12초마다 하나씩 생성된다. 각 슬롯에는 하나의 블록 제안자(Proposer)가 배정된다.
• 에포크(Epoch): 32개의 슬롯을 묶은 단위로, 약 6.4분(12초 × 32)이 소요된다. 에포크는 검증인의 투표를 집계하고 최종 확정(Finality)을 결정하는 연산의 기준점이 된다.

3. 검증인(Validator) 요구사항

이더리움 PoS에 참여하려면 검증인이 되어야 한다. 검증인이 되기 위한 요구사항은 다음과 같다.

• 최소 예치금: 32 ETH를 예치 계약(Deposit Contract)에 스테이킹해야 한다. 이 자산은 부정직한 행동 시 슬래싱의 대상이 된다.
• 세 가지 소프트웨어 실행: 실행 클라이언트(Execution Client), 합의 클라이언트(Consensus Client), 검증인 클라이언트(Validator Client)를 함께 운영해야 한다.
• 활성화 큐: 네트워크 안정성을 위해 새로운 검증인의 참여 속도가 제한된다. 예치 후 활성화 큐에서 대기한 뒤 검증인으로 활성화된다.

4. 블록 생성과 합의 프로세스

A. RANDAO: 공정한 무작위성 확보

네트워크 보안을 위해 다음 블록을 누가 만들지 예측할 수 없어야 한다. 이더리움은 RANDAO(Random Beacon) 메커니즘을 사용한다.

• 작동 방식: 검증인들이 제출한 숫자들을 'Commit-Reveal(약속-공개)' 방식으로 혼합하여 하나의 난수를 생성한다.
• 의미: 특정 세력이 블록 생성을 독점하거나 다음 제안자를 미리 파악하여 표적 공격을 수행하는 것을 원천적으로 차단한다.

B. 위원회(Committee)와 증명(Attestation)

수십만 명의 검증인이 한꺼번에 소통하는 것은 비효율적이다. 따라서 네트워크는 검증인들을 무작위로 작은 그룹인 위원회로 나눈다.

• 증명(Attestation): 위원회 멤버들은 제안된 블록의 유효성을 검토한 뒤, 자신의 지분을 담보로 해당 블록이 유효하다는 디지털 서명을 제출한다. 이 과정이 블록의 신뢰성을 보증하는 투표가 된다.

C. 포크 선택 규칙: LMD-GHOST

네트워크 지연이나 악의적 행위로 인해 여러 개의 포크(분기)가 발생할 수 있다. 이때 어떤 체인을 정본(canonical chain)으로 선택할지 결정하는 알고리즘이 LMD-GHOST(Latest Message Driven - Greedy Heaviest Observed SubTree)이다.

• 작동 방식: 각 검증인의 가장 최근 증명(attestation)을 기준으로, 누적된 투표 가중치가 가장 큰 포크를 선택한다.
• 의미: 단순히 가장 긴 체인이 아니라, 가장 많은 지분의 지지를 받는 체인이 선택된다.

이더리움의 실제 합의 알고리즘은 Casper FFG(최종성 담당)와 LMD-GHOST(포크 선택 담당)를 결합한 Gasper라고 불린다.

5. 인터랙티브 시뮬레이터

6. 경제적 인센티브 체계

이더리움 프로토콜은 검증인이 정직하게 행동하도록 유도하기 위해 명확한 보상 체계를 운영한다.

• 보상 구성: 블록 제안 보상, 정확한 증명 제출 보상, 그리고 사용자가 지불하는 우선순위 수수료와 MEV 수익이 포함된다.
• 수익률 공식: 전체 예치량(n)에 대하여 수익률은 대략 다음과 같은 반비례 관계를 가진다.

APR(%) = 166 / √n

이 모델은 예치량이 적을 때는 높은 수익률로 참여를 독려하고, 충분히 많아지면 수익률을 낮춰 과도한 인플레이션을 억제한다.

7. 보안 유지 및 억제 기제

A. 최종 확정성 (Finality)

이더리움은 Casper FFG 알고리즘을 통해 기록을 영구적으로 고정한다. 전체 지분의 2/3 이상이 동의한 블록은 '최종 확정' 상태가 되며, 이를 번복하려면 공격자는 막대한 자본 손실을 감수해야 한다.

B. 페널티 및 슬래싱 (Slashing)

프로토콜 위반 행위에 대해서는 강력한 경제적 제재가 가해진다.

• 비활성 페널티 (Inactivity Leak): 검증인이 오프라인 상태가 되어 합의에 참여하지 못할 경우 지분이 소량 삭감된다.
• 슬래싱 (Slashing): 이중 투표 등 악의적인 조작 행위가 적발될 경우, 연관 페널티(correlation penalty)에 따라 예치금의 1%에서 최대 100%까지 소각될 수 있다. 슬래싱된 검증인은 36일에 걸쳐 네트워크에서 강제 퇴출된다.

8. 마무리: 게임 이론 기반의 탈중앙화 신뢰

이더리움의 지분 증명은 암호학적 기술과 정교한 경제 모델이 결합된 결정체이다. 검증인들은 보상을 얻기 위해 정직하게 행동하고, 시스템은 자산을 담보로 보안을 유지하는 이 선순환 구조는 오늘날 이더리움을 가장 안전한 블록체인 중 하나로 만드는 원동력이다.

더 자세한 내용은 이더리움 공식 문서를 참고하자.