480. 롤업: 옵티미스틱과 ZK 사기/타당성 증명 (Rollup: Optimistic vs ZK Fraud/Validity Proof)

핵심 인사이트 (3줄 요약)

1. 본질: 롤업(Rollup)은 수백 개 트랜잭션을 L2에서 처리 후 압축·증명하여 L1에 제출하는 확장성 기술로, 옵티미스틱(낙관적 가정+사기 증명)과 ZK(즉시 타당성 증명) 두 패러다임이 대립한다.
2. 가치: 옵티미스틱 롤업(Optimistic Rollup)은 범용 EVM 호환이 쉬워 Arbitrum·Optimism이 TVL(Total Value Locked) 기준 L2 1~2위를 차지하고, ZK 롤업은 더 빠른 최종성과 높은 보안이 장점이다.
3. 판단 포인트: 출금 지연(7일 챌린지 vs 즉시), 연산 오버헤드(낮음 vs 높음), EVM 호환성(완전 vs 부분)이 두 롤업 선택의 핵심 트레이드오프다.

Ⅰ. 개요 및 필요성

L2 롤업이 필요한 이유

이더리움 L1은 TPS(Transactions Per Second) 약 15~30 수준으로 글로벌 결제·DeFi 트래픽을 감당하기 어렵다. 롤업은 연산을 L2로 오프로드하되 데이터와 보안은 L1에 위탁하는 방식으로 확장성을 달성한다.

기존: L1에서 모든 트랜잭션 개별 실행 → TPS ≈ 15
롤업: L2에서 배치 실행 → 압축 데이터만 L1에 → TPS ≈ 2,000+

• 📢 섹션 요약 비유: — "지점 창구(L2)에서 모든 거래를 처리하고, 일일 결산서(롤업 배치)만 본점(L1)에 보고하는 은행 구조다.

Ⅱ. 아키텍처 및 핵심 원리

두 롤업 구조 비교

옵티미스틱 롤업(Optimistic Rollup)
┌────────────────────────────────────────────┐
│  L2: 트랜잭션 실행 (EVM 호환)               │
│  시퀀서(Sequencer): 배치 구성 및 L1 제출    │
│  가정: "모든 거래는 유효하다" (낙관적)      │
│  L1 제출: 압축 calldata + 상태 루트         │
│  챌린지 기간: 7일 (Fraud Proof 제출 가능)   │
│  출금: 7일 대기 (또는 유동성 브릿지 사용)   │
└────────────────────────────────────────────┘

ZK 롤업(ZK Rollup)
┌────────────────────────────────────────────┐
│  L2: 트랜잭션 실행                          │
│  ZK Prover: 유효성 증명(Validity Proof) 생성│
│  L1 제출: 압축 데이터 + ZK 증명(π)          │
│  L1 Verifier: π 검증 → 즉시 최종화          │
│  출금: 즉시 (증명 검증 완료 후)             │
└────────────────────────────────────────────┘

핵심 비교표

• 📢 섹션 요약 비유: — "옵티미스틱은 '일단 믿고 7일 안에 이의제기 없으면 OK', ZK는 '수학 증명서 첨부해서 즉시 승인'이다.

Ⅲ. 비교 및 연결

사기 증명(Fraud Proof) 동작

시퀀서가 잘못된 상태 루트 제출
    → 챌린저: L1에 챌린지 트랜잭션 전송
    → L1: 문제 구간 단일 연산 재실행(Interactive Fraud Proof)
    → 위반 확인 → 시퀀서 본드 슬래싱 + 롤백

Optimism Cannon, Arbitrum BOLD: 이분 탐색(Bisection) 방식으로 문제 구간을 좁혀가는 대화형 사기 증명

ZK 롤업 EVM 호환 도전

ZK-EVM은 이더리움 Opcode를 ZK 회로(Circuit)로 변환해야 한다. 일부 Opcode(SHA-256, KECCAK)는 ZK 증명 비용이 매우 높아 완전 EVM 호환이 어렵다.

ZK-EVM 호환 레벨 (Vitalik Buterin 분류):

• Type 1: 완전 호환, 가장 무거운 증명

• Type 2: EVM 동등, 약간 최적화

• Type 3/4: 고수준 언어(Solidity) 호환, 경량

• 📢 섹션 요약 비유: — "옵티미스틱은 '출입증 검사 없이 들어가되 나중에 단속', ZK는 '입구에서 신분증 검사 완료 후 즉시 입장'이다.

Ⅳ. 실무 적용 및 기술사 판단

롤업 선택 기준

1. 빠른 출금이 중요한 경우: ZK 롤업 (DeFi, CEX 연동)
2. 기존 Solidity 코드 재사용: 옵티미스틱 롤업 (Arbitrum, EVM 완전 호환)
3. 최고 보안이 필요한 경우: ZK 롤업 (수학적 완전성)
4. 저비용 트랜잭션: EIP-4844(Blob) 도입 후 양쪽 모두 비용 대폭 감소

Sequencer 중앙화 문제

현재 대부분 L2의 시퀀서(Sequencer)는 단일 주체가 운영 → 단일 장애점·검열 위험. 분산 시퀀서(Decentralized Sequencer) 가 L2 로드맵의 핵심 과제.

기술사 핵심 판단

• "L2 보안은 어디서 오는가?": L1에 제출된 데이터 + L1 Fraud/Validity Proof

• "출금 7일이 왜 필요한가?": 챌린저가 사기를 감지·증명할 시간 보장

• "ZK 롤업이 더 좋으면 왜 옵티미스틱이 더 많이 쓰이나?": EVM 호환성, 개발 성숙도

• 📢 섹션 요약 비유: — "옵티미스틱은 법원 재판(느리지만 쉬운 진입), ZK는 현장 공증(빠르지만 공증인 비용 높음)이다.

Ⅴ. 기대효과 및 결론

롤업은 현재 이더리움 확장성 로드맵의 핵심 전략이다. 옵티미스틱과 ZK 두 접근은 서로 다른 트레이드오프를 제공하며, 중장기적으로는 ZK-EVM 성숙에 따라 ZK 롤업 우세가 예상된다.

• 📢 섹션 요약 비유: — "블록체인 고속도로를 넓히는 대신, 고속도로 옆에 지름길을 만들어 결과만 보고하는 방식이 롤업이다.

📌 관련 개념 맵

📈 관련 키워드 및 발전 흐름도

[관계 설명] → [롤업: 옵티미스틱과 ZK 사기 · 타당성 증명] → [옵티미스틱 롤업 보안 메커니즘]

👶 어린이를 위한 3줄 비유 설명

1. 롤업은 반 아이들의 숙제를 반장이 모아서 선생님께 한꺼번에 제출하는 것이에요.
2. 옵티미스틱은 "일단 믿고 일주일 안에 이상하면 신고해요", ZK는 "숙제마다 정답 증명서를 붙여서 바로 검사해요".
3. 덕분에 이더리움이 훨씬 빠르고 저렴하게 많은 거래를 처리할 수 있어요.