테조스 스마트 롤업은 L1 메인체인의 보안을 그대로 유지하면서
연산을 L2 레이어로 오프로드하는 확장 솔루션이다.
WASM 커널로 구동되는 롤업 노드는 L1 인박스로 유입되는
메시지를 처리하고, 결과를 커밋한다.
누구든 ~2주의 챌린지 윈도우 내에 사기 증명(Fraud Proof)을 제출할 수 있으며,
반박 게임(Refutation Game)을 통해 잘못된 커밋은 슬래시된다.
이것이 옵티미스틱 실행의 본질 — 믿되, 검증하라.
VM Engine
WASM (WebAssembly)
Execution Model
Optimistic Rollup
Proof Type
Fraud Proof (PVM)
Challenge Window
~2 Weeks
Message Layer
Inbox / Outbox
Mainnet Since
Mumbai (Proto 016)
// SMART ROLLUP ARCHITECTURE
L2 · SMART ROLLUP LAYER
WASM KERNEL
롤업의 두뇌. WebAssembly로 작성된 실행 엔진. 임의 연산 처리 가능.
INBOX
L1에서 수신된 메시지 큐. 결정론적 순서 보장.
OUTBOX
L2→L1 출력. 위드드로우, 실행 결과 전달.
↑
INBOX MSGS
L1 ↔ L2 BRIDGE
↓
OUTBOX EXEC
L1 · TEZOS MAINCHAIN
COMMITMENT
롤업 실행 상태를 L1에 커밋. 스테이크 본딩 필요.
REFUTATION
잘못된 커밋 챌린지. 바이섹션 게임으로 분쟁 해결.
BOND / SLASH
정직한 연산자 보상, 부정직한 연산자 스테이크 몰수.
// ROLLUP EXECUTION LIFECYCLE
01
ORIGINATE
rollup origination 오퍼레이션으로 L1에 스마트 롤업 등록. WASM 커널 코드 온체인 배포. 고유 롤업 주소(sr1...) 부여.
sr1... ADDRESSWASM DEPLOY
02
INBOX PROCESSING
L1 블록마다 생성되는 인박스 메시지를 WASM 커널이 순서대로 처리. 결정론적 실행 보장 — 동일 입력에 동일 출력.
DETERMINISTICL1 MESSAGES
03
COMMITMENT PUBLISH
롤업 오퍼레이터가 실행 결과(PVM 상태 해시)를 L1에 커밋. 본딩 XTZ를 담보로 걸고 정직한 실행을 서약.
PVM STATE HASHBOND XTZ
04
CHALLENGE WINDOW
~2주간의 챌린지 기간. 누구든 잘못된 커밋에 대해 반박 게임(Refutation Game)을 시작할 수 있다. 바이섹션 프로토콜로 단일 WASM 스텝까지 분쟁을 좁힌다.
BISECTION GAMEFRAUD PROOF
05
FINALIZE & EXECUTE
챌린지 미발생 시 커밋 확정. 아웃박스 메시지가 L1에서 실행됨. 위드드로우 완료, 크로스레이어 결과 반영. 오퍼레이터 본딩 반환.