Orateur : Guillaume Bau (Nomadics Lib)

Titre : Michelson : langage de smart-contracts de la blockchain Tezos

Abstract : 

Michelson est le langage permettant l'exécution de smart-contracts sur
la blockchain Tezos. C'est un langage statiquement et fortement typé, à
pile, disposant de structures de données haut-niveau et d'un typage
fort. Il dispose d'une sémantique formalisée, conçue pour éviter les
erreurs d'exécution, faciliter l'analyse statique et l'écriture de
preuves formelles concernant les smart-contracts.  Dans cet exposé, nous
présenterons le contexte d'utilisation de smart-contracts, présenterons
les différents aspects de Michelson les plus intéressants du point de
vue de la sûreté, et introduirons à la programmation en Michelson avec
des exemples simples.