SlideShare a Scribd company logo
Data availability solution in fully generalized
plasma
: Continuous Rebase
박정원(Aiden Park)
aiden.p@onther.io
Prerequisite
2
1. Plasma primitives
2. Plasma EVM primitives(ex. Computation Challenge)
Computation Challenge?
Invalid state transition can be challenged by computation challenge using truebit-like
verification game.
Tokamak Network: Fully generalized plasma
3
Identical
Root chain(Ethereum) Plasma chain(Tokamak Network)
Tokamak Network is fully generalized plasma chain framework
based on plasma EVM
Continuous Rebase
4
Plasma EVM sets Rebase(It is named after git's rebase) as default behavior. It makes the
Plasma chain apply continuously and periodically Escape Request. It allows users to safely
escape based on the last finalized block by submitting an Escape Request if the block data
is withheld.
Keyword: Rebase, Escape Request
What is Escape Request?
Emergency escape request.
Its structure is same as exit request of Plasma EVM.
Rebase
5
Re-mining original blocks based on another block.
As a result, stateRoot and receiptsRoot of the block could be changed but
the transactionsRoot should be same as before.
transactionsRoots are same
Rebase - simple example
6
#1 Block
A: 100 PETH, B: 0 PETH
#2 Block
tx1: send 100 PETH from A to B (Success)
A: 0 PETH, B: 100 PETH
#1 Block
A: 100 PETH, B: 0 PETH
Escape Block
escape req: exit 100 PETH from A
A: 0 PETH, B: 0 PETH
#2 Block’
tx1: send 100 PETH from A to B (Revert)
A: 0 PETH, B: 0 PETH
Rebase!!!
Continuous Rebase: 1 Cycle - 4 stages
7
1. Pre-commit: Operator submits blocks after mining them in plasma chain.
2. DA check: Users check data availability of blocks submitted in Pre-commit. In case of
unavailability, submit Escape Request
3. Commit:
3-1. Operator mine and submit Escape Block which includes Escape Request
3-2. Operator rebase pre-committed blocks based on Escape Block
4. Challenge: Users submit challenge on blocks submitted in Commit
Continuous Rebase: 1 Cycle - 4 stages
8
Stage Length
Pre-commit: Epoch Length
Commit: Epoch Length
There is halting condition based on stage period. If it is fulfilled, operator
could lose one’s deposit or the chain could be shutdown. But it always
guarantees that all users can safely exit from the chain.
Stage Period
All stages: Time
Q) Why only transactionsRoot?
1. Blocks submitted in Pre-commit will be rebased later, so the stateRoot, receiptsRoot can
be changed.
2. If we know the block body(list of transactions), can easily know valid stateRoot and
receiptsRoot. By comparing transactionsRoot and block data sent from operator, users can
easily check data availability.
Stage 1: Pre-Commit
9
1. Operator mine blocks and submit transactionsRoot of them.
2. Broadcast blocks to users.
Stage 2: DA-check
10
1. Users check DA of blocks submitted in Pre-commit.
2. If the data is unavailable, users can submit Escape Request.
- DA-check period should be long enough so that all users can check DA.
Stage 3: Commit - Process Escape
11
1. Operator mines and submits Escape Block which includes Escape Request.
- Parent block of Escape Block is last committed block of pre-cycle.
- Escape Request should be valid based on the parent block.
2. Operator rebases pre-committed blocks based on Escape Block.
- transactionsRoot should be same as before.
- But, result of each transaction execution could be different.
1. If block submitted in Commit is invalid, users can challenge this by computation challenge.
- This step is only for submitting challenge. Specific challenge process can proceed after
challenge period.
- If a cycle is on challenge, all subsequent cycles including it cannot be finalized.
Stage 4: Challenge
12
Overlap of Cycle
13
1. Pre-commit of next cycle can be initiated after Pre-commit of current cycle is completed.
- Parent block of first block of Pre-commit is last block of pre-committed block of pre-cycle.
2. Commit of current cycle cannot be started before Commit of pre-cycle is completed.
Attack scenario: data withholding attack
14
1. Users submit Escape Request in Pre-commit, DA-check.
2. Users can safely exit based on last block of pre-cycle.
Attack scenario: invalid block
15
1. Users can challenge in Challenge period.
2. All subsequent blocks including challenge cycle will be canceled in root chain.
Continuous Rebase: Dis/Advantages
16
- Advantages
1. Data unavailability is solved in fully generalized plasma.
- Disadvantages
1. Due to the Rebase, cannot guarantee instant finality => malicious users
can cancel their transactions.
2. Block submission cost has increased about twice.
Plasma EVM
17
https://github.com/Onther-Tech/plasma-evm
https://github.com/Onther-Tech/plasma-evm-contracts
http://tokamak.network/tech-paper_en.pdf
GitHub Link
Technical paper

More Related Content

Similar to [ETHCon Korea 2019] Aiden Park 박정원

Introduction of failsafe
Introduction of failsafeIntroduction of failsafe
Introduction of failsafe
Sunghyouk Bae
 
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.pptBIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
Kadri20
 
Thesis Presentation on Renewal theory based 802.15.6 latest.pptx
Thesis Presentation on Renewal theory based 802.15.6 latest.pptxThesis Presentation on Renewal theory based 802.15.6 latest.pptx
Thesis Presentation on Renewal theory based 802.15.6 latest.pptx
ssuserc02c1f
 
Distributed Mutual Exclusion and Distributed Deadlock Detection
Distributed Mutual Exclusion and Distributed Deadlock DetectionDistributed Mutual Exclusion and Distributed Deadlock Detection
Distributed Mutual Exclusion and Distributed Deadlock Detection
SHIKHA GAUTAM
 
Process Synchronization
Process SynchronizationProcess Synchronization
Process Synchronization
Shipra Swati
 
Operating system 23 process synchronization
Operating system 23 process synchronizationOperating system 23 process synchronization
Operating system 23 process synchronization
Vaibhav Khanna
 
Building resilient applications
Building resilient applicationsBuilding resilient applications
Building resilient applications
Nuno Caneco
 
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdfriyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
abdulhafeezkalsekar1
 
Mutual Exclusion using Peterson's Algorithm
Mutual Exclusion using Peterson's AlgorithmMutual Exclusion using Peterson's Algorithm
Mutual Exclusion using Peterson's AlgorithmSouvik Roy
 
Operating Systems - Process Synchronization and Deadlocks
Operating Systems - Process Synchronization and DeadlocksOperating Systems - Process Synchronization and Deadlocks
Operating Systems - Process Synchronization and Deadlocks
Mukesh Chinta
 
DOCUMENT FOR SOTF PROTECTION FINAL
DOCUMENT FOR SOTF PROTECTION FINALDOCUMENT FOR SOTF PROTECTION FINAL
DOCUMENT FOR SOTF PROTECTION FINALEKANANDHAN G
 
concurrency control.ppt
concurrency control.pptconcurrency control.ppt
concurrency control.ppt
BikalAdhikari4
 
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
Subhajit Sahu
 
Unit 5 ppt
Unit 5 pptUnit 5 ppt
Unit 5 ppt
jayanarayana reddy
 
Multi threading
Multi threadingMulti threading
Multi threading
gndu
 
Local Backup Protection Algorithm For HVDC Grids
Local Backup Protection Algorithm For HVDC GridsLocal Backup Protection Algorithm For HVDC Grids
Local Backup Protection Algorithm For HVDC Grids
yash Natani
 
Operating System lab
Operating System labOperating System lab
Operating System lab
Seyed Ehsan Beheshtian
 
Coordination and Agreement .ppt
Coordination and Agreement .pptCoordination and Agreement .ppt
Coordination and Agreement .ppt
SOURAVKUMAR723356
 
chap 7 : Threads (scjp/ocjp)
chap 7 : Threads (scjp/ocjp)chap 7 : Threads (scjp/ocjp)
chap 7 : Threads (scjp/ocjp)
It Academy
 
Control structures
Control structuresControl structures
Control structures
M Vishnuvardhan Reddy
 

Similar to [ETHCon Korea 2019] Aiden Park 박정원 (20)

Introduction of failsafe
Introduction of failsafeIntroduction of failsafe
Introduction of failsafe
 
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.pptBIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
BIL406-Chapter-9-Synchronization and Communication in MIMD Systems.ppt
 
Thesis Presentation on Renewal theory based 802.15.6 latest.pptx
Thesis Presentation on Renewal theory based 802.15.6 latest.pptxThesis Presentation on Renewal theory based 802.15.6 latest.pptx
Thesis Presentation on Renewal theory based 802.15.6 latest.pptx
 
Distributed Mutual Exclusion and Distributed Deadlock Detection
Distributed Mutual Exclusion and Distributed Deadlock DetectionDistributed Mutual Exclusion and Distributed Deadlock Detection
Distributed Mutual Exclusion and Distributed Deadlock Detection
 
Process Synchronization
Process SynchronizationProcess Synchronization
Process Synchronization
 
Operating system 23 process synchronization
Operating system 23 process synchronizationOperating system 23 process synchronization
Operating system 23 process synchronization
 
Building resilient applications
Building resilient applicationsBuilding resilient applications
Building resilient applications
 
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdfriyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
riyaj_advanced_rac_troubleshooting_rmoug_2010_ppt.pdf
 
Mutual Exclusion using Peterson's Algorithm
Mutual Exclusion using Peterson's AlgorithmMutual Exclusion using Peterson's Algorithm
Mutual Exclusion using Peterson's Algorithm
 
Operating Systems - Process Synchronization and Deadlocks
Operating Systems - Process Synchronization and DeadlocksOperating Systems - Process Synchronization and Deadlocks
Operating Systems - Process Synchronization and Deadlocks
 
DOCUMENT FOR SOTF PROTECTION FINAL
DOCUMENT FOR SOTF PROTECTION FINALDOCUMENT FOR SOTF PROTECTION FINAL
DOCUMENT FOR SOTF PROTECTION FINAL
 
concurrency control.ppt
concurrency control.pptconcurrency control.ppt
concurrency control.ppt
 
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
Monitors and Blocking Synchronization : The Art of Multiprocessor Programming...
 
Unit 5 ppt
Unit 5 pptUnit 5 ppt
Unit 5 ppt
 
Multi threading
Multi threadingMulti threading
Multi threading
 
Local Backup Protection Algorithm For HVDC Grids
Local Backup Protection Algorithm For HVDC GridsLocal Backup Protection Algorithm For HVDC Grids
Local Backup Protection Algorithm For HVDC Grids
 
Operating System lab
Operating System labOperating System lab
Operating System lab
 
Coordination and Agreement .ppt
Coordination and Agreement .pptCoordination and Agreement .ppt
Coordination and Agreement .ppt
 
chap 7 : Threads (scjp/ocjp)
chap 7 : Threads (scjp/ocjp)chap 7 : Threads (scjp/ocjp)
chap 7 : Threads (scjp/ocjp)
 
Control structures
Control structuresControl structures
Control structures
 

More from ethconkr

[ETHCon Korea 2019] Jang Byeongkook 장병국
[ETHCon Korea 2019] Jang Byeongkook 장병국[ETHCon Korea 2019] Jang Byeongkook 장병국
[ETHCon Korea 2019] Jang Byeongkook 장병국
ethconkr
 
[ETHCon Korea 2019] Jason lee 이진호
[ETHCon Korea 2019] Jason lee 이진호[ETHCon Korea 2019] Jason lee 이진호
[ETHCon Korea 2019] Jason lee 이진호
ethconkr
 
[ETHCon Korea 2019] Kim Taekgyun 김택균
[ETHCon Korea 2019] Kim Taekgyun 김택균[ETHCon Korea 2019] Kim Taekgyun 김택균
[ETHCon Korea 2019] Kim Taekgyun 김택균
ethconkr
 
[ETHCon Korea 2019] Kang Hyungseok 강형석
[ETHCon Korea 2019] Kang Hyungseok 강형석[ETHCon Korea 2019] Kang Hyungseok 강형석
[ETHCon Korea 2019] Kang Hyungseok 강형석
ethconkr
 
[ETHCon Korea 2019] Lim Dohyung 임도형
[ETHCon Korea 2019] Lim Dohyung 임도형[ETHCon Korea 2019] Lim Dohyung 임도형
[ETHCon Korea 2019] Lim Dohyung 임도형
ethconkr
 
[ETHCon Korea 2019] Seo Gijoon 서기준
[ETHCon Korea 2019] Seo Gijoon 서기준[ETHCon Korea 2019] Seo Gijoon 서기준
[ETHCon Korea 2019] Seo Gijoon 서기준
ethconkr
 
[ETHCon Korea 2019] Kim hyojun 김효준
[ETHCon Korea 2019] Kim hyojun 김효준[ETHCon Korea 2019] Kim hyojun 김효준
[ETHCon Korea 2019] Kim hyojun 김효준
ethconkr
 
[ETHCon Korea 2019] Park Chanhyun 박찬현
[ETHCon Korea 2019] Park Chanhyun 박찬현[ETHCon Korea 2019] Park Chanhyun 박찬현
[ETHCon Korea 2019] Park Chanhyun 박찬현
ethconkr
 
[ETHCon Korea 2019] Cha Seounghun 차승훈
[ETHCon Korea 2019] Cha Seounghun 차승훈[ETHCon Korea 2019] Cha Seounghun 차승훈
[ETHCon Korea 2019] Cha Seounghun 차승훈
ethconkr
 
[ETHCon Korea 2019] Park Sieun 박시은
[ETHCon Korea 2019] Park Sieun 박시은[ETHCon Korea 2019] Park Sieun 박시은
[ETHCon Korea 2019] Park Sieun 박시은
ethconkr
 
[ETHCon Korea 2019] Hong taeoh 홍태오
[ETHCon Korea 2019] Hong taeoh 홍태오[ETHCon Korea 2019] Hong taeoh 홍태오
[ETHCon Korea 2019] Hong taeoh 홍태오
ethconkr
 
[ETHCon Korea 2019] Hyun sooyoung 현수영
[ETHCon Korea 2019] Hyun sooyoung 현수영[ETHCon Korea 2019] Hyun sooyoung 현수영
[ETHCon Korea 2019] Hyun sooyoung 현수영
ethconkr
 
[ETHCon Korea 2019] Choi jihyuk 최지혁
[ETHCon Korea 2019] Choi jihyuk 최지혁[ETHCon Korea 2019] Choi jihyuk 최지혁
[ETHCon Korea 2019] Choi jihyuk 최지혁
ethconkr
 
[ETHCon Korea 2019] Choi yunsung 최윤성
[ETHCon Korea 2019] Choi yunsung 최윤성[ETHCon Korea 2019] Choi yunsung 최윤성
[ETHCon Korea 2019] Choi yunsung 최윤성
ethconkr
 
[ETHCon Korea 2019] Jung woohyun 정우현
[ETHCon Korea 2019] Jung woohyun 정우현[ETHCon Korea 2019] Jung woohyun 정우현
[ETHCon Korea 2019] Jung woohyun 정우현
ethconkr
 
[ETHCon Korea 2019] Jung soonhyung 정순형
[ETHCon Korea 2019] Jung soonhyung 정순형[ETHCon Korea 2019] Jung soonhyung 정순형
[ETHCon Korea 2019] Jung soonhyung 정순형
ethconkr
 
[ETHCon Korea 2019] Jang jinho 장진호
[ETHCon Korea 2019] Jang jinho 장진호[ETHCon Korea 2019] Jang jinho 장진호
[ETHCon Korea 2019] Jang jinho 장진호
ethconkr
 
[ETHCon Korea 2019] Jang jaehyuk 장재혁
[ETHCon Korea 2019] Jang jaehyuk 장재혁[ETHCon Korea 2019] Jang jaehyuk 장재혁
[ETHCon Korea 2019] Jang jaehyuk 장재혁
ethconkr
 
[ETHCon Korea 2019] Lee heungno 이흥노
[ETHCon Korea 2019] Lee heungno 이흥노[ETHCon Korea 2019] Lee heungno 이흥노
[ETHCon Korea 2019] Lee heungno 이흥노
ethconkr
 
[ETHCon Korea 2019] Yun sungjun 윤성준
[ETHCon Korea 2019] Yun sungjun 윤성준[ETHCon Korea 2019] Yun sungjun 윤성준
[ETHCon Korea 2019] Yun sungjun 윤성준
ethconkr
 

More from ethconkr (20)

[ETHCon Korea 2019] Jang Byeongkook 장병국
[ETHCon Korea 2019] Jang Byeongkook 장병국[ETHCon Korea 2019] Jang Byeongkook 장병국
[ETHCon Korea 2019] Jang Byeongkook 장병국
 
[ETHCon Korea 2019] Jason lee 이진호
[ETHCon Korea 2019] Jason lee 이진호[ETHCon Korea 2019] Jason lee 이진호
[ETHCon Korea 2019] Jason lee 이진호
 
[ETHCon Korea 2019] Kim Taekgyun 김택균
[ETHCon Korea 2019] Kim Taekgyun 김택균[ETHCon Korea 2019] Kim Taekgyun 김택균
[ETHCon Korea 2019] Kim Taekgyun 김택균
 
[ETHCon Korea 2019] Kang Hyungseok 강형석
[ETHCon Korea 2019] Kang Hyungseok 강형석[ETHCon Korea 2019] Kang Hyungseok 강형석
[ETHCon Korea 2019] Kang Hyungseok 강형석
 
[ETHCon Korea 2019] Lim Dohyung 임도형
[ETHCon Korea 2019] Lim Dohyung 임도형[ETHCon Korea 2019] Lim Dohyung 임도형
[ETHCon Korea 2019] Lim Dohyung 임도형
 
[ETHCon Korea 2019] Seo Gijoon 서기준
[ETHCon Korea 2019] Seo Gijoon 서기준[ETHCon Korea 2019] Seo Gijoon 서기준
[ETHCon Korea 2019] Seo Gijoon 서기준
 
[ETHCon Korea 2019] Kim hyojun 김효준
[ETHCon Korea 2019] Kim hyojun 김효준[ETHCon Korea 2019] Kim hyojun 김효준
[ETHCon Korea 2019] Kim hyojun 김효준
 
[ETHCon Korea 2019] Park Chanhyun 박찬현
[ETHCon Korea 2019] Park Chanhyun 박찬현[ETHCon Korea 2019] Park Chanhyun 박찬현
[ETHCon Korea 2019] Park Chanhyun 박찬현
 
[ETHCon Korea 2019] Cha Seounghun 차승훈
[ETHCon Korea 2019] Cha Seounghun 차승훈[ETHCon Korea 2019] Cha Seounghun 차승훈
[ETHCon Korea 2019] Cha Seounghun 차승훈
 
[ETHCon Korea 2019] Park Sieun 박시은
[ETHCon Korea 2019] Park Sieun 박시은[ETHCon Korea 2019] Park Sieun 박시은
[ETHCon Korea 2019] Park Sieun 박시은
 
[ETHCon Korea 2019] Hong taeoh 홍태오
[ETHCon Korea 2019] Hong taeoh 홍태오[ETHCon Korea 2019] Hong taeoh 홍태오
[ETHCon Korea 2019] Hong taeoh 홍태오
 
[ETHCon Korea 2019] Hyun sooyoung 현수영
[ETHCon Korea 2019] Hyun sooyoung 현수영[ETHCon Korea 2019] Hyun sooyoung 현수영
[ETHCon Korea 2019] Hyun sooyoung 현수영
 
[ETHCon Korea 2019] Choi jihyuk 최지혁
[ETHCon Korea 2019] Choi jihyuk 최지혁[ETHCon Korea 2019] Choi jihyuk 최지혁
[ETHCon Korea 2019] Choi jihyuk 최지혁
 
[ETHCon Korea 2019] Choi yunsung 최윤성
[ETHCon Korea 2019] Choi yunsung 최윤성[ETHCon Korea 2019] Choi yunsung 최윤성
[ETHCon Korea 2019] Choi yunsung 최윤성
 
[ETHCon Korea 2019] Jung woohyun 정우현
[ETHCon Korea 2019] Jung woohyun 정우현[ETHCon Korea 2019] Jung woohyun 정우현
[ETHCon Korea 2019] Jung woohyun 정우현
 
[ETHCon Korea 2019] Jung soonhyung 정순형
[ETHCon Korea 2019] Jung soonhyung 정순형[ETHCon Korea 2019] Jung soonhyung 정순형
[ETHCon Korea 2019] Jung soonhyung 정순형
 
[ETHCon Korea 2019] Jang jinho 장진호
[ETHCon Korea 2019] Jang jinho 장진호[ETHCon Korea 2019] Jang jinho 장진호
[ETHCon Korea 2019] Jang jinho 장진호
 
[ETHCon Korea 2019] Jang jaehyuk 장재혁
[ETHCon Korea 2019] Jang jaehyuk 장재혁[ETHCon Korea 2019] Jang jaehyuk 장재혁
[ETHCon Korea 2019] Jang jaehyuk 장재혁
 
[ETHCon Korea 2019] Lee heungno 이흥노
[ETHCon Korea 2019] Lee heungno 이흥노[ETHCon Korea 2019] Lee heungno 이흥노
[ETHCon Korea 2019] Lee heungno 이흥노
 
[ETHCon Korea 2019] Yun sungjun 윤성준
[ETHCon Korea 2019] Yun sungjun 윤성준[ETHCon Korea 2019] Yun sungjun 윤성준
[ETHCon Korea 2019] Yun sungjun 윤성준
 

Recently uploaded

Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi ArabiaTop 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Yara Milbes
 
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
informapgpstrackings
 
First Steps with Globus Compute Multi-User Endpoints
First Steps with Globus Compute Multi-User EndpointsFirst Steps with Globus Compute Multi-User Endpoints
First Steps with Globus Compute Multi-User Endpoints
Globus
 
Lecture 1 Introduction to games development
Lecture 1 Introduction to games developmentLecture 1 Introduction to games development
Lecture 1 Introduction to games development
abdulrafaychaudhry
 
Graphic Design Crash Course for beginners
Graphic Design Crash Course for beginnersGraphic Design Crash Course for beginners
Graphic Design Crash Course for beginners
e20449
 
Providing Globus Services to Users of JASMIN for Environmental Data Analysis
Providing Globus Services to Users of JASMIN for Environmental Data AnalysisProviding Globus Services to Users of JASMIN for Environmental Data Analysis
Providing Globus Services to Users of JASMIN for Environmental Data Analysis
Globus
 
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.ILBeyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Natan Silnitsky
 
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus
 
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptx
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptxTop Features to Include in Your Winzo Clone App for Business Growth (4).pptx
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptx
rickgrimesss22
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Globus
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
Globus
 
Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
Roshan Dwivedi
 
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus
 
Pro Unity Game Development with C-sharp Book
Pro Unity Game Development with C-sharp BookPro Unity Game Development with C-sharp Book
Pro Unity Game Development with C-sharp Book
abdulrafaychaudhry
 
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing SuiteAI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
Google
 
Vitthal Shirke Java Microservices Resume.pdf
Vitthal Shirke Java Microservices Resume.pdfVitthal Shirke Java Microservices Resume.pdf
Vitthal Shirke Java Microservices Resume.pdf
Vitthal Shirke
 
Enterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptxEnterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptx
QuickwayInfoSystems3
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
Matt Welsh
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
Ortus Solutions, Corp
 

Recently uploaded (20)

Top 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi ArabiaTop 7 Unique WhatsApp API Benefits | Saudi Arabia
Top 7 Unique WhatsApp API Benefits | Saudi Arabia
 
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
Field Employee Tracking System| MiTrack App| Best Employee Tracking Solution|...
 
First Steps with Globus Compute Multi-User Endpoints
First Steps with Globus Compute Multi-User EndpointsFirst Steps with Globus Compute Multi-User Endpoints
First Steps with Globus Compute Multi-User Endpoints
 
Lecture 1 Introduction to games development
Lecture 1 Introduction to games developmentLecture 1 Introduction to games development
Lecture 1 Introduction to games development
 
Graphic Design Crash Course for beginners
Graphic Design Crash Course for beginnersGraphic Design Crash Course for beginners
Graphic Design Crash Course for beginners
 
Providing Globus Services to Users of JASMIN for Environmental Data Analysis
Providing Globus Services to Users of JASMIN for Environmental Data AnalysisProviding Globus Services to Users of JASMIN for Environmental Data Analysis
Providing Globus Services to Users of JASMIN for Environmental Data Analysis
 
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.ILBeyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
 
Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024Globus Compute wth IRI Workflows - GlobusWorld 2024
Globus Compute wth IRI Workflows - GlobusWorld 2024
 
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptx
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptxTop Features to Include in Your Winzo Clone App for Business Growth (4).pptx
Top Features to Include in Your Winzo Clone App for Business Growth (4).pptx
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
 
Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
 
Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024Globus Connect Server Deep Dive - GlobusWorld 2024
Globus Connect Server Deep Dive - GlobusWorld 2024
 
Pro Unity Game Development with C-sharp Book
Pro Unity Game Development with C-sharp BookPro Unity Game Development with C-sharp Book
Pro Unity Game Development with C-sharp Book
 
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing SuiteAI Pilot Review: The World’s First Virtual Assistant Marketing Suite
AI Pilot Review: The World’s First Virtual Assistant Marketing Suite
 
Vitthal Shirke Java Microservices Resume.pdf
Vitthal Shirke Java Microservices Resume.pdfVitthal Shirke Java Microservices Resume.pdf
Vitthal Shirke Java Microservices Resume.pdf
 
Enterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptxEnterprise Software Development with No Code Solutions.pptx
Enterprise Software Development with No Code Solutions.pptx
 
Large Language Models and the End of Programming
Large Language Models and the End of ProgrammingLarge Language Models and the End of Programming
Large Language Models and the End of Programming
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
 

[ETHCon Korea 2019] Aiden Park 박정원

  • 1. Data availability solution in fully generalized plasma : Continuous Rebase 박정원(Aiden Park) aiden.p@onther.io
  • 2. Prerequisite 2 1. Plasma primitives 2. Plasma EVM primitives(ex. Computation Challenge) Computation Challenge? Invalid state transition can be challenged by computation challenge using truebit-like verification game.
  • 3. Tokamak Network: Fully generalized plasma 3 Identical Root chain(Ethereum) Plasma chain(Tokamak Network) Tokamak Network is fully generalized plasma chain framework based on plasma EVM
  • 4. Continuous Rebase 4 Plasma EVM sets Rebase(It is named after git's rebase) as default behavior. It makes the Plasma chain apply continuously and periodically Escape Request. It allows users to safely escape based on the last finalized block by submitting an Escape Request if the block data is withheld. Keyword: Rebase, Escape Request What is Escape Request? Emergency escape request. Its structure is same as exit request of Plasma EVM.
  • 5. Rebase 5 Re-mining original blocks based on another block. As a result, stateRoot and receiptsRoot of the block could be changed but the transactionsRoot should be same as before. transactionsRoots are same
  • 6. Rebase - simple example 6 #1 Block A: 100 PETH, B: 0 PETH #2 Block tx1: send 100 PETH from A to B (Success) A: 0 PETH, B: 100 PETH #1 Block A: 100 PETH, B: 0 PETH Escape Block escape req: exit 100 PETH from A A: 0 PETH, B: 0 PETH #2 Block’ tx1: send 100 PETH from A to B (Revert) A: 0 PETH, B: 0 PETH Rebase!!!
  • 7. Continuous Rebase: 1 Cycle - 4 stages 7 1. Pre-commit: Operator submits blocks after mining them in plasma chain. 2. DA check: Users check data availability of blocks submitted in Pre-commit. In case of unavailability, submit Escape Request 3. Commit: 3-1. Operator mine and submit Escape Block which includes Escape Request 3-2. Operator rebase pre-committed blocks based on Escape Block 4. Challenge: Users submit challenge on blocks submitted in Commit
  • 8. Continuous Rebase: 1 Cycle - 4 stages 8 Stage Length Pre-commit: Epoch Length Commit: Epoch Length There is halting condition based on stage period. If it is fulfilled, operator could lose one’s deposit or the chain could be shutdown. But it always guarantees that all users can safely exit from the chain. Stage Period All stages: Time
  • 9. Q) Why only transactionsRoot? 1. Blocks submitted in Pre-commit will be rebased later, so the stateRoot, receiptsRoot can be changed. 2. If we know the block body(list of transactions), can easily know valid stateRoot and receiptsRoot. By comparing transactionsRoot and block data sent from operator, users can easily check data availability. Stage 1: Pre-Commit 9 1. Operator mine blocks and submit transactionsRoot of them. 2. Broadcast blocks to users.
  • 10. Stage 2: DA-check 10 1. Users check DA of blocks submitted in Pre-commit. 2. If the data is unavailable, users can submit Escape Request. - DA-check period should be long enough so that all users can check DA.
  • 11. Stage 3: Commit - Process Escape 11 1. Operator mines and submits Escape Block which includes Escape Request. - Parent block of Escape Block is last committed block of pre-cycle. - Escape Request should be valid based on the parent block. 2. Operator rebases pre-committed blocks based on Escape Block. - transactionsRoot should be same as before. - But, result of each transaction execution could be different.
  • 12. 1. If block submitted in Commit is invalid, users can challenge this by computation challenge. - This step is only for submitting challenge. Specific challenge process can proceed after challenge period. - If a cycle is on challenge, all subsequent cycles including it cannot be finalized. Stage 4: Challenge 12
  • 13. Overlap of Cycle 13 1. Pre-commit of next cycle can be initiated after Pre-commit of current cycle is completed. - Parent block of first block of Pre-commit is last block of pre-committed block of pre-cycle. 2. Commit of current cycle cannot be started before Commit of pre-cycle is completed.
  • 14. Attack scenario: data withholding attack 14 1. Users submit Escape Request in Pre-commit, DA-check. 2. Users can safely exit based on last block of pre-cycle.
  • 15. Attack scenario: invalid block 15 1. Users can challenge in Challenge period. 2. All subsequent blocks including challenge cycle will be canceled in root chain.
  • 16. Continuous Rebase: Dis/Advantages 16 - Advantages 1. Data unavailability is solved in fully generalized plasma. - Disadvantages 1. Due to the Rebase, cannot guarantee instant finality => malicious users can cancel their transactions. 2. Block submission cost has increased about twice.