GdT programmation / séminaire IRILL / séminaire APRRSS

Michelson : langage de smart-contracts de la blockchain Tezos

23/05/2019
Intervenant(s) : Guillaume BAU (Namadics Lab)
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.

Plus d'informations ici …
Emmanuel.Chailloux (at) nulllip6.fr
Mentions légales
Carte du site