3 citations · 3 across the 2 of their papers we have counts for
5 papers
Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos
Mathias Bourgoin, Arthur Breitman, Pierrick Couderc +5
Canonical LST (sTEZ) is an enshrined, protocol-native mechanism designed to mitigate the centralization risks associated with liquid staking intermediaries. Intended to complement…
Making Tezos smart contracts more reliable with Coq
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret +3
Tezos is a smart-contract blockchain. Tezos smart contracts are written in a low-level stack-based language called Michelson. This article gives an overview of efforts using the Co…
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…
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…
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…