이더리움 캐스퍼 프로토콜이란 무엇인가? PoS 합의의 기초

이더리움 캐스퍼 프로토콜이란 무엇인가?

캐스퍼(Casper) 프로토콜은 이더리움이 에너지 집약적인 채굴에서 벗어나도록 이끈 지분증명 합의 설계의 계열을 말합니다. 네트워크 참여자는 연산 퍼즐을 푸는 대신 자본을 예치하고 블록 확인을 돕는 검증자가 됩니다. 핵심 혁신은 경제적 최종성입니다. 검증자는 실제 가치를 스테이킹하고, 정직하게 행동하면 보상을 받으며, 규칙을 어기면 예치금 일부를 잃습니다('슬래싱'이라는 패널티). 캐스퍼는 이더리움을 공격하는 것을 경제적으로 비합리적인 선택으로 만들었고, 작업증명의 물량 공세식 보안을 정직한 합의에는 보상을, 이중 투표에는 처벌을 주는 게임 이론 인센티브로 대체했습니다.

작업증명 채굴장과 예치금을 잠그는 지분증명 검증자를 나란히 대비한 다이어그램

두 갈래: 캐스퍼 FFG와 캐스퍼 CBC

캐스퍼는 처음부터 하나의 제품이 아니었습니다. 두 연구 갈래가 그 모습을 만들었습니다.

• 캐스퍼 FFG(Friendly Finality Gadget) — 원래 작업증명 위에 얹혀 최종성 체크포인트를 더하던 하이브리드 계층입니다. 완전한 지분증명으로 가는 개념적 다리가 됐고, 머지 때 도입된 합의 계층에 직접 영향을 줬습니다.
• 캐스퍼 CBC(Correct-By-Construction) — 사후 보완이 아니라 수학적 구성 자체로 안전성이 성립하도록 설계된, 더 이론적이고 추상적인 계열입니다.

현재 실제로 작동하는 이더리움의 합의 메커니즘은 캐스퍼 FFG에서 이어진 아이디어를 LMD-GHOST 포크 선택 규칙과 결합해 사용합니다.

캐스퍼가 네트워크를 보호하는 방식

보안 모델은 함께 작동하는 세 가지 기둥 위에 서 있습니다.

1. 담보 예치(본딩)

참여하려면 검증자는 보증금으로 ETH를 잠가야 하며, 이를 '본딩(bonding)'이라고 합니다. 담보를 예치한 검증자만 합의에 투표할 수 있습니다. 예치금은 언제든 빼앗길 수 있는, 자기 돈을 건 책임입니다.

2. 최종성 투표

검증자는 에포크(epoch) 단위로 체크포인트를 '정당화'한 뒤 '최종 확정'하는 투표를 합니다. 체크포인트가 최종 확정되면, 이를 되돌리려는 공격자는 전체 스테이킹된 ETH의 최소 3분의 1을 소각해야 합니다. 이것이 실제 의미의 경제적 최종성입니다. 되돌리기가 '매우 어려운' 수준이 아니라, 비용이 증명 가능하게 큽니다.

3. 슬래싱

검증자가 이중 서명을 하거나 자신의 이전 투표와 모순되는 투표(이중 투표)를 하면 프로토콜이 예치금을 삭감합니다. 정직한 검증자는 신규 발행분과 거래 수수료를 받고, 부정직한 검증자는 자본을 잃습니다. 패널티는 동시에 규칙을 어긴 검증자 수에 비례해 커지므로 조직적인 공격이 가장 무겁게 처벌됩니다.

에포크 흐름도 — 블록 제안, 증명(attestation), 정당화, 최종 확정, 부정직한 투표 시 슬래싱 분기

작업증명 vs 캐스퍼 지분증명

계산 예시: 정직한 검증자 vs 슬래싱된 검증자

검증자가 32 ETH를 예치하고 네트워크가 연 4%의 스테이킹 수익률을 제공한다고 가정해 봅시다.

• 정직한 경우: 1년 동안 약 32 × 0.04 = 1.28 ETH의 보상을 얻습니다. 원금은 그대로이며, 원래의 32 ETH와 보상을 함께 인출할 수 있습니다.
• 슬래싱된 경우: 검증자가 연쇄적인 사고 중에 이중 서명을 했고, 프로토콜이 최소 패널티 1 ETH에 상관 패널티를 더해 예컨대 총 3 ETH를 부과한다고 해 봅시다. 검증자는 29 ETH만 남긴 채 강제 퇴출되고 향후 수익도 모두 잃습니다. 한순간의 부정행위가 2년 넘게 기대할 수 있는 보상을 지워 버립니다.

핵심은 부정행위의 기대값이 크게 마이너스라는 점입니다. 이 비대칭성이 설계의 전부입니다.

검증자가 되는 기본 단계

1. 지분 확보 — 32 ETH를 마련합니다(보유량이 적다면 스테이킹 풀이나 리퀴드 스테이킹을 이용합니다).
2. 노드 운영 — 안정적인 하드웨어에서 실행 클라이언트와 합의 클라이언트를 모두 운영합니다.
3. 키 생성과 예치 — 검증자 키를 만들고 예치 컨트랙트에 담보를 제출합니다.
4. 증명과 제안 — 검증자가 체크포인트에 투표하고 때때로 블록을 제안합니다.
5. 온라인 유지 — 다운타임에는 작은 비활성 패널티가 붙고, 꾸준한 정상 가동은 보상을 복리로 늘립니다.
6. 준비되면 퇴출 — 질서 있는 퇴출을 요청해 담보를 해제하고 지분을 인출합니다.

자세한 과정은 이더리움 스테이킹 가이드와 폭넓은 지분증명 채굴 가이드를 참고하세요.

위험 요소와 주의할 점

• 슬래싱 위험: 잘못 설정되거나 중복된 검증자 키는 의도치 않은 이중 서명을 일으킬 수 있습니다. 같은 키를 두 대의 기기에서 돌리면 정직한 운영자도 슬래싱됩니다.
• 상관 패널티: 클라우드 장애나 버그가 있는 클라이언트 때문에 많은 검증자가 동시에 실패하면 패널티가 커집니다. 클라이언트 소프트웨어를 다양화하면 이 위험이 줄어듭니다.
• 유동성 잠김: 스테이킹 중인 ETH는 자유롭게 거래할 수 없고, 퇴출은 대기열을 거칩니다.
• '잃을 것 없음(Nothing at stake)' 문제의 이론과 실제: 비판자들은 오랫동안 PoS 검증자가 모든 포크에 값싸게 투표할 수 있다고 주장했습니다. 캐스퍼의 슬래싱 조건은 바로 그 행동을 비싸게 만들기 위해 존재하지만, 보안은 결국 올바른 구현에 달려 있습니다.
• 중앙화 경향: 대형 스테이킹 사업자가 영향력을 쌓을 수 있으며, 이는 프로토콜 자체의 보안과는 별개인 거버넌스 문제입니다.

COINOTAG 관점

과거 캐스퍼는 언젠가 채굴을 대체할지도 모르는 이론상의 프로토콜로 여겨졌습니다. 그 시대는 끝났습니다. 캐스퍼 FFG의 후손은 실제로 가동되며 현존하는 가장 큰 스마트 컨트랙트 네트워크 중 하나를 보호하고 있고, 이더리움은 머지 이후 지분증명으로 운영되고 있습니다. 일반 투자자에게 실용적인 신호는 이것입니다. ETH는 보안과 통화 정책이 스테이킹 참여와 연결된 수익형 자산이 됐습니다. 본딩과 슬래싱을 이해하는 일은 더 이상 학문적인 관심사가 아닙니다. 스테이킹 수익, 검증자 경제, 이더리움의 장기 보안 예산이 실제로 어떻게 작동하는지 이해하는 토대입니다.

초기 캐스퍼 연구 제안부터 머지, 그리고 스테이킹 참여 현황까지 이어지는 타임라인