Qadeer & Rossberg & Chakravarty - The Move language for the Diem Blockchain

Описание: Rebase (https://rebase-conf.org/2021-ECOOP/) is a conference aimed at bringing people from the industry to talk about what matters to them, in an effort to bridge the gap with the scientific community.

In this session, Shaz Qadeer (Facebook) discusses with Andreas Rossberg (Dfinity) and Manuel Chakravarty (IOHK) about a programming language for the blockchain.

Move is a language originally designed for programming Diem (https://github.com/diem/diem), a peer-to-peer network for replicated computation (also known as a blockchain in some circles). The Move programming framework provides: (1) a compiler that lowers the code to bytecode, (2) a verifier that guarantees type and memory safety even in the presence of untrusted code, and (3) a prover capable of verifying functional correctness of compiled bytecode against deep safety specifications. This talk will provide an overview of the language, the bytecode verifier, and the prover. If time permits, I will speculate on new applications for Move.