﻿---
title: "옵티미스틱 롤업"
description: "시퀀서 영수증, L1 도출 데이터, unsafe/safe/finalized head, 결함 증명 게임, canonical 인출, 거버넌스와 빠른 출구를 배포별로 설명합니다."
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# 옵티미스틱 롤업

> 교육 목적의 정보일 뿐 프로토콜, 브리지 또는 거래에 관한 조언이 아닙니다. 옵티미스틱 롤업의 보장은 정확한 배포, 데이터 모드, 도출 규칙, 실제 가동 중인 결함 증명 게임, 권한, 시계, 거버넌스와 인출 컨트랙트에 따라 달라집니다. 각 단계와 자산을 독립적으로 확인하세요.

<a id="answer"></a>

## 핵심 답변

옵티미스틱 롤업은 정렬된 트랜잭션 흐름을 실행하고, 배치마다 유효성 증명을 붙이지 않은 채 프로토콜이 정한 도출 데이터와 상태 주장을 게시합니다. “Optimistic”은 적격 주장이 배포된 규칙에 따라 진행되다가 성공적인 결함 증명 분쟁이 오류를 입증하면 뒤집힌다는 뜻입니다. 시퀀서 메시지가 정확성을 증명한다거나 모든 구현이 무허가 도전 또는 같은 인출 지연을 제공한다는 뜻은 아닙니다.

롤업 노드는 canonical L1 입력과 정확한 프로토콜 설정에서 L2 블록을 독립적으로 도출합니다. 따라서 보안 경로에는 데이터 가용성, 올바른 도출과 실행, 실제 가동 중이며 건전한 결함 증명 시스템, L1 접근성과 완결성, 거버넌스와 브리지 컨트랙트가 포함됩니다. 상태 루트만으로는 체인을 재구성하거나 유효하지 않은 상태 전이에 이의를 제기할 수 없습니다.

<a id="mechanism"></a>

## 작동 방식

1. 배포를 특정합니다. L1/L2 체인 ID, 롤업 설정과 포크, inbox와 브리지 컨트랙트, 배치 형식과 DA 모드, 상태 주장과 분쟁 게임 컨트랙트, portal 버전, 관리자, guardian, 관측 블록을 고정합니다. 스택 문서는 지정 체인에서 각 기능이 실제 가동 중이라는 증거가 아닙니다.
2. 관측 상태를 분류합니다. 시퀀서 영수증이나 unsafe block은 빠른 로컬 정렬 약속입니다. L1에 게시된 배치는 안전하게 도출된 safe head를 뒷받침하고, L1 완결성은 도출된 finalized head를 뒷받침합니다. 상태·출력 주장, 해결된 분쟁, 실행 가능한 인출은 서로 다른 객체와 시계입니다.
3. L1에서 L2로 이어지는 도출 파이프라인을 재구성합니다. canonical L1 데이터에서 예치와 정렬 입력, 채널과 배치, L1 origin, 설정 변경과 상태 전이를 검증합니다. blob 기반 데이터는 프로토콜 기간의 가용성과 이후의 아카이브 검색을 구분합니다.
4. 활성과 통제권을 대응시킵니다. 시퀀서, batcher, proposer, challenger, relayer, guardian, 업그레이드 권한을 구분합니다. 강제 포함이나 delayed inbox 경로의 존재 여부, 지연과 일시중지 조건, 일반 사용자가 실제 호출할 소프트웨어가 있는지 확인합니다.
5. 배포된 결함 증명 경로를 검증합니다. 인정되는 게임 유형, proposer/challenger 권한, bond, absolute prestate, 증명 프로그램과 VM, preimage oracle, 주장 깊이, 시계와 연장, 해결 규칙, blacklist/pause 권한, 업그레이드 지연을 기록합니다. OP Stack 방식을 Arbitrum 등 다른 롤업에 그대로 적용하면 안 됩니다.
6. 인출과 경제성을 따로 추적합니다. L2 시작, L1 증명, 주장·게임 의존성, 성숙·완결 지연, 재증명, portal 검사와 L1 실행을 따라갑니다. 빠른 출구는 별도 거래상대방과 체결하는 유상 유동성·신용 거래이지 canonical 도전 시계를 줄이는 수단이 아닙니다.
7. 계속 대조합니다. unsafe/safe/finalized 블록 해시, L1 배치 트랜잭션, 상태 주장, 게임 결과, 브리지 메시지, 영수증, 토큰 컨트랙트와 최종 잔액을 맞춥니다. L1/L2 reorg, 배치 누락, 분쟁, 일시중지, 컨트랙트 업그레이드, DA 이전 후에는 분석을 다시 수행합니다.

<a id="example"></a>

## 계산 예시

- **도출 페이로드.** 배치에 트랜잭션 `10,000`건, 원시 프로토콜 입력 `1,200 KB`가 있고 압축 후 `300 KB`입니다. 비율은 `1,200 / 300 = 4.0x`, 감소율은 `1 - 300 / 1,200 = 75%`, 십진 평균은 `300,000 / 10,000 = 30 bytes/tx`입니다. 이는 인코딩된 입력 페이로드만 설명하며 L1 gas, 실행 정확성, 상태 크기나 아카이브 보장을 뜻하지 않습니다.
- **누락 비용 전 기여액.** 사용자는 `2.4 ETH`를 지불하고 측정된 L2 실행비는 `0.3 ETH`, L1 DA는 `1.2 ETH`입니다. 잔액은 `2.4 - 0.3 - 1.2 = 0.9 ETH`, 즉 `0.9 / 10,000 = 0.00009 ETH/tx`입니다. 운영 인프라, L1 실행, 증명 게임, 환불, 자본, 장애와 세금을 빼지 않았으므로 순이익이 아닙니다.
- **분쟁 위치 특정.** 교육용 실행 추적에는 `2^20 = 1,048,576`개 단계가 있습니다. 이상적인 이진 축소는 한 단계를 특정하는 데 `log2(2^20) = 20`번 선택해야 합니다. 각 교육용 라운드의 개별 한도가 `3-hour`라면 단순 직렬 상한은 `20 * 3 = 60 hours`입니다. 실제 프로토콜은 고유한 체스 시계, 동시성, 연장과 트랜잭션 일정을 사용합니다.
- **인출 시계와 빠른 유동성.** 교육용 배치가 `10 minutes` 후 L1에 도달하고, 다시 `30 minutes` 후 인정된 주장이 나타나며, 가상의 도전 기간이 `7 days`, 최종 릴레이가 `2 hours` 걸립니다. 순차 경과 시간은 `10 + 30 + 10,080 + 120 = 10,240 minutes = 7 days 2 hours 40 minutes`입니다. 유동성 브리지는 `4.97 ETH`를 선지급하고 대상 청구권은 `5 ETH`이며, 수수료는 `0.03 ETH`, 즉 `0.03 / 5 = 0.6%`입니다. canonical 청구권은 원래 시계와 위험의 적용을 받습니다.

<a id="risks"></a>

## 위험

- L1, L2, 체인 ID, 롤업 설정 또는 컨트랙트 배포 오류.
- unsafe 시퀀서 영수증을 safe 또는 final로 간주하는 경우.
- 시퀀서의 상충된 제시, 검열, 재정렬 또는 중단.
- L1 배치 게시 지연, 누락, 잘못된 형식 또는 무효화.
- Blob 또는 대체 DA 데이터가 사라지거나 보관되지 않는 경우.
- 도출 클라이언트, 설정 또는 포크 불일치.
- L1 reorg로 기존 safe 도출 입력이 무효화되는 경우.
- Batcher, 상태 proposer 또는 증명 참여자 중단.
- 강제 포함이나 delayed inbox 경로가 없거나 중단되거나 오해되는 경우.
- 결함 증명이 미배포·비활성이거나 잘못된 게임 유형에 연결된 경우.
- Proposer 또는 challenger 역할이 허가제·허용목록 방식인 경우.
- Challenger가 오프라인·검열·자금 부족 상태이거나 기한을 놓치는 경우.
- 증명 프로그램, VM, absolute prestate, oracle 또는 verifier 결함.
- 시계, 연장, 주장 위치, bond 또는 해결 회계 오류.
- Guardian, 보안 위원회, 일시중지 또는 블랙리스트 개입.
- 즉시 업그레이드, 짧은 timelock 또는 관리자 키 탈취.
- Canonical 브리지, messenger, 재전송 방지 또는 자산 매핑 취약점.
- 인출 증명, 성숙, 재증명, 최종화 또는 릴레이 실패.
- 빠른 출구의 유동성, 가격, 경로, 지급불능 또는 거래상대방 위험.
- L1 완결성, L2 도출 완결성, 주장 해결과 자산 수령을 혼동하는 경우.

<a id="misconceptions"></a>

## 흔한 오해

- Optimistic는 사용자가 시퀀서 표시 결과를 무조건 신뢰한다는 뜻입니다.
- 상태 루트만 게시하면 데이터 가용성과 독립 도출이 보장됩니다.
- 모든 옵티미스틱 롤업은 실제 가동 중인 무허가 결함 증명과 공통 7일 시계를 사용합니다.
- L2 블록이 safe 또는 finalized이면 L2→L1 인출을 즉시 실행할 수 있습니다.
- 빠른 브리지는 canonical 도전 기간을 단축하거나 롤업 위험만 부담합니다.

<a id="related"></a>

## 관련 주제

- [결함 증명](/ko/crypto/fraud-proof/)
- [데이터 가용성](/ko/crypto/data-availability/)
- [롤업](/ko/crypto/rollup/)

<a id="sources"></a>

## 출처

- [Optimistic Rollups](https://ethereum.org/developers/docs/scaling/optimistic-rollups/) - Ethereum.org(확인일: 2026-08-13)
- [EIP-4844: Shard Blob Transactions](https://eips.ethereum.org/EIPS/eip-4844) - Ethereum Improvement Proposals(확인일: 2026-08-13)
- [Rollup Node](https://specs.optimism.io/protocol/rollup-node.html) - OP Stack Specification(확인일: 2026-08-13)
- [Derivation](https://specs.optimism.io/protocol/derivation.html) - OP Stack Specification(확인일: 2026-08-13)
- [Fault Proof](https://specs.optimism.io/fault-proof/index.html) - OP Stack Specification(확인일: 2026-08-13)
- [Optimism Portal](https://specs.optimism.io/fault-proof/stage-one/optimism-portal.html) - OP Stack Specification(확인일: 2026-08-13)
- [Stage 1 Roles and Requirements](https://specs.optimism.io/protocol/stage-1.html) - OP Stack Specification(확인일: 2026-08-13)
- [Arbitrum Nitro: A Second-Generation Optimistic Rollup](https://docs.arbitrum.io/nitro-whitepaper.pdf) - Offchain Labs(확인일: 2026-08-13)

Source: https://wiki.fcontext.com/ko/crypto/optimistic-rollup/index.mdx
