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

CC-BY shoobydooby @Flickr

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

  1. No response
  2. incorrect block
  3. 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

Thank You

And hope you are the one

Made with Slides.com