Smarter Contract Upgrades with Orthogonal Persistence
Altering the smart contract deployed on a blockchain is typically a cumbersome task, necessitating a proxy design, specific secondary data storage, or the use of obscure APIs. This can be substantially simplified if the programming language features orthogonal persistence, automatically retaining the native program state across program version upgrades. For this purpose, a customized compiler and runtime system needs to arrange the data in a self-descriptive portable format, such that new program versions can pick up the previous program state, check their compatibility, and support implicit or explicit data evolutions. We have implemented this for a modern programming language on a compute blockchain and evaluated the benefits in terms of code simplicity as well as upgrade and execution costs.
Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mResearch paper | Smarter Contract Upgrades with Orthogonal Persistence VMIL Luc Bläser DFINITY Foundation, Claudio Russo Dfinity, Gabor Greif DFINITY, Ryan Vandersmith DFINITY Foundation, Jason Ibrahim DFINITY Foundation DOI | ||
14:30 30mResearch paper | Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine VMIL DOI Pre-print File Attached | ||
15:00 15mShort-paper | The Fuzion Intermediate Representation VMIL Pre-print Media Attached | ||
15:15 15mShort-paper | An Effectively Ω(c) Language and Runtime VMIL Mark Marron University of Kentucky Pre-print |