Minimal Viable Plasma

[JustinDrake]

@mrsmkl

I’m thinking about how to use Truebit to implement Plasma chains with more complex transactions

I’ve also been thinking about Plasma implemented with Truebit in this post. It makes a lot of sense IMO.

@mrsmkl

Assuming that all the data is available, and given the merkle roots of input and program code, Truebit can verify the correctness of merkle root of output.

For data availability one can use log shards, which is basically sharding for data availability.

@mrsmkl

Here is some untested code: GitHub - mrsmkl/truebit-plasma: Template for implementing Plasma child chains with Truebit

Congrats for whipping something out this fast!