3 citations · 3 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…