An overview of the Tezos smart contract platform.

# An overview of the Tezos smart contract platform. Presenter(s): Arvid Jakobsson (Nomadic Labs), Matej Šima(Stove Labs), Pierre-Emmanuel Wulfman (LigoLANG),and Roland Zumkeller (SmartPy team). Abstract: In this webinar, we will present a sequence of short videos showcasing the state of the art of the Tezos smart contract ecosystem. First, we will present the Michelson programming language, the low-level building block of Tezos smart contracts. Then, we will present two different alternatives to writing Tezos smart contracts using higher level tools which transpile to Michelson: the LIGO programming language and the SmartPy framework. 1. Introduction to Tezos Smart Contracts, by Arvid Jakobsson (Nomadic Labs). In this video we will demonstrate the smart contract programming capabilities of the Tezos blockchain. We introduce Michelson, the programming language embedded in Tezos, and illustrate it with a smart contract implementing a vote on the blockchain. In order to replicate the experiments in this video, follow the instructions in this link: https://hackmd.io/iD5vJktuT1-LxblWtlfDSg 2a. Introduction to LIGO, by Matej Šima (Stove Labs). In this video we will introduce the basic building blocks required to understand and implement smart contracts in LIGO.We will go through topics such as available data structures, built-in constants and functions or code splitting. We conclude with an example: the design and implementation of a smart contract for a fingerprint-based document notarization. In this video we use the online LIGO Playground IDE. The source code of the notarization contract can be found here: https://ide.ligolang.org/p/ZFabxCTA1X4eBBDVMK_tJQ 2b. Implementing, testing and deploying LIGO smart-contracts, by Matej Sima (Stove Labs) In this video we will learn how to implement test and deploy LIGO smart-contracts within a sandboxed & private blockchain network. 3 Building a real-world language, by Pierre-Emmanuel Wulfman (LigoLANG). This video will present the Ligo project. It will go in-depth in the compiler's architecture and show how the different step relates to different field of computer science. At last, the video will enumerate the other elements needed for a real-world language (modules, separate compilation, LSP, tooling, etc.) 4 Introduction to SmartPy, by Roland Zumkeller (SmartPy team). This video gives an overview of the SmartPy framework for writing, simulating, deploying, and inspecting smart contracts. The language and its tools are introduced through increasingly complex examples. To follow along, go to the online editor available at https://smartpy.io/demo.