Relayers' Optimistic Verification Game
Antonio
yanganto@github
antonio.yang@itering.io
2020/06/23
Photo by Aditya Chinchure on Unsplash
INTERNET OF TOKENS , CONNECTED !
Make bridges
Observe things on other chain
Learn more from previous meetup
Observing
is a big deal
Crab Testnet
A linear relay
Safe but high cost
On-Demand
Less cost
On-Demand
But is it still correct ?
Symbols from Clipart.co
A Game for Relayers
The Only Assumption
There is at least one honest relayer always on the network
Optimistic !
Who is Lie?
G======================================1===>
Evil L
Honest H
G is the genesis or some block already known on chain
It can not tell who is lie on chain
Make a Game
G======================================1===>
Evil L
Honest H
Need More Data
G=================2====================1===>
Evil L
Honest H
- No response
- incorrect block
- correct block
No Response
G=================2====================1===>
Evil L
Honest H H
G=================2====================1===>
Evil -
Honest C C
End of Game
G=================2====================1===>
Evil -
Honest C C
New G move here
G======================================G===>
- bond from Evil will be slashed
- Reward Honest
More Incorrect
G=================2====================1===>
Evil L L
Honest H H
G======3==========2====================1===>
Evil L L
Honest H H
Convergence
G======3==========2====================1===>
Evil L L
Honest H H
G======2==========1========================>
Evil L
Honest H
It like a new game with much near the G
Not Always Lie
G=================2====================1===>
Evil H L
Honest H H
G=================2==========3=========1===>
Evil C L
Honest C H
There is only one identical block on chain
Convergence
G=================2==========3=========1===>
Evil C L
Honest C H
New G move here
It like a new game with much near the G
G=================G====================1===>
Evil L
Honest H
Unfinalized Branch
G21====>
Honest HH
Ĥonest ĤĤ
G213===>
Honest HH
Ĥonest ĤĤ
- Relayer should relay the finalized blocks
- Only the longest chain will be accepted
Brief Summary
Good will always prevail over evil.
Handle Every Scenario
More than one evil
G=================2====================1===>
Evil1 L L
Evil2 H L
Honest H H
Into Sub Games
G=================2====================1===>
Evil1 L L
Evil2 H L
Honest H H
G=======3a========2====================1===>
Evil1 L L
Honest H H
G=================2==========3b========1===>
Evil2 H L
Honest H H
Beat two is still easy
One win many, always?
Proposal
Round 1
Proposal can be submit by anyone
Round 2
When challenge time over, there are more than one proposal the sample list will be update, for example (1,2)
Round 3
Advantages
- Sample more points at the same round
- Honest people easy to help each other
- The time is predictable
- Relayer is easy,
- just monitor the first submission from others
- monitor the sample list
Q & A
More details on Github