The Optimistic Virtual Machine: an Ov(m)erview by Karl Floersch (Devcon5)
Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more.
https://archive.devcon.org/archive/wa...
The Optimistic Virtual Machine (OVM) is a language for expressing layer 2 scaling solutions like state channels and plasma as a local fork choice. The language is built on a formal model of logical game semantics, along with a "cryptoeconomic dispute assumption." Composing these primitives allows us to describe complex properties of layer 2 state. These layer 2 systems can be written as OVM "programs" which are compiled into both a client-side "proof checker" (the local OVM) and ethereum-side code. The Ethereum code acts as OVM "interpreter" contract on the Ethereum blockchain, which can interpret disputes for any and all of these layer 2 system (state channels, plasmas, etc.). We will go over the details of both the game semantics and Ethereum smart contracts in this workshop.
Speaker(s): Karl Floersch, Ben Jones
Skill level: Intermediate
Track: Execution layer
Keywords: OVM, optimism, academic
Follow us: / efdevcon , / ethereum
Learn more about devcon: https://www.devcon.org/
Learn more about ethereum: https://ethereum.org/
Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.
Devcon 5 was held in Osaka, Japan on Oct 8 - 11, 2019.
Devcon is organized and presented by the Ethereum Foundation, with the support of our sponsors. To find out more, please visit https://ethereum.foundation/