Plasma implementer call 25
Date: Wed, Aug, 7, 2019
We are implementing basic decider and quantifiers
especially now we are implementing some properies such as state channel exit property and plasma checkpoint property
One unclear point is how do we express limbo-exit
remaining tasks to PoC are
And also we're implementing L1 adaptor and L2 networking system
If community make some standard for that, we would like to contribute
Where are important interfaces to be standarized?
ex) Property serialization format?
How do we share property between clients?
we should make sure there is a way different clients for plasma talk to each other
Or we don't need to share property?
how do you defines all the types in structs? (for universal decision contracts)
We should define Limbo-exit with OVM
I think it is most complex one which we should build first
Can we define limbo-exit out of OVM spec?
I think no because current exit claim can be deprecated by witness
- one solution is using 2 claims which are true and false of exit property. I guess if claim is false limbo-exit will be ready
- general rollup. I think that’s out side of OVM spec. (edi