3 papers
cs.PL2020
Albert, an intermediate smart-contract language for the Tezos blockchain
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin +1
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. In this article we present Albert, an intermediate lan…
cs.PL2019
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu +2
Tezos is a blockchain launched in June 2018. It is written in OCaml and supports smart contracts. Its smart contract language is called Michelson and it has been designed with form…
cs.DC2019
Introduction to the Tezos Blockchain
Victor Allombert, Mathias Bourgoin, Julien Tesson
Tezos is an innovative blockchain that improves on several aspects compared to more established blockchains. It offers an original proof-of-stake consensus algorithm and can be use…