A Gentle Guide to the OVM — Plasma Edition —

Yuriko Nishijima
Sep 4, 2019 · 8 min read
Image for post
Image for post
contradicting property to a claim: ∀X (cat(X) →cute(X))…gotta love this kitten.

Quick Recap

Table of contents

Glossary: Define New OVM Terminologies

OVM Architecture Design

Image for post
Image for post

OVM: L1 Contracts + Client Decider

L2 Client

Types of Data in the OVM

Property = {
predicateAddress: Address, // predicate that validates the property on L1
input: Bytes, // what is being decided by the predicate
}
And(Foo, Bar) -> Foo 
And(Foo, Bar) -> Bar

Plasma PoC Overview

State updates

{
coin_range: [0, 5000],
block_number: 10,
property: {/*property for defining deprecation logic*/}
}

Checkpointing and Exiting

plasma_checkpoint(block_number, coin_range) :=
ForAllSuchThat(
LessThanQuantifier(block_number),
(b) => {
ForAllSuchThat(
WithinBlockRangeQuantifier(b, coin_range),
state_update,
(state_update) => {
IsDeprecated(state_update)
}
)
}
)
plasma_exit(block_number, state_update) :=
And(
IncludedAtBlock(block_number, state_update),
Not(IsDeprecated(state_update)),
Not(
ThereExistsSuchThat(
NewerCheckpoint(block_number)
(checkpoint) => {
   IsIntersected(checkpoint.coin_range, state_update.coin_range)
}
)
)
)

Challenging

L1 <->L2 Interaction

Plasma Client and Aggregator Workflow

Where to standardize and what CEL is focusing on to build

Image for post
Image for post

There’s more to come!

Image for post
Image for post

Cryptoeconomics Lab

R&D blogs on layer2 technologies for public blockchains and official announcements from CEL.

Medium is an open platform where 170 million readers come to find insightful and dynamic thinking. Here, expert and undiscovered voices alike dive into the heart of any topic and bring new ideas to the surface. Learn more

Follow the writers, publications, and topics that matter to you, and you’ll see them on your homepage and in your inbox. Explore

If you have a story to tell, knowledge to share, or a perspective to offer — welcome home. It’s easy and free to post your thinking on any topic. Write on Medium

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store