Frank Hillard
Cet article a pour but de discuter des méthodes pour modifier un service décentralisé sur la Blockchain Tezos. Il est recommandé d’avoir des notions sur le fonctionnement de la blockchain pour bien comprendre les sujets évoqués dans cet article.IntroductionDans le cadre du delivery d’un produit, il arrive très régulièrement que le client souhaite m...
Cet article est une fiche technique qui a pour but d'illustrer l'implémentation d'un pattern "Factory" de smart contracts sur la blockchain Tezos. Les exemples de code seront écrits en LIGO. Il est recommandé de comprendre les concepts de blockchain et le langage LIGO de programmation de smart contract Tezos.DéfinitionLe pattern "Factory" a pour bu...
Cet article est une fiche technique illustrant l’utilisation de fonctions lambda lors de l'implémentation d’un smart contract Tezos. Le pattern de lambda permet de modifier la logique d’un smart contract déjà déployé, et ainsi le faire évoluer sans perdre les données du storage (voir l’article “Tezos - Gestion des évolutions d’un smart contract”). ...
L’année dernière, en octobre 2019, nous avions décrit l’écosystème Tezos (non exhaustivement) dans un premier article de blog, en faisant des zooms sur Michelson, Ligo, SmartPy, PyTezos. Pour cette seconde mouture, en mode “newsletter in french”, nous allons voir quelques points marquants de l’année 2020 : les nouveaux protocoles, les amélioratio...
IntroductionCet article est une brève introduction à la vérification formelle dans le cadre de smart contract de la blockchain Tezos [11]. Cet article a pour but de donner un aperçu du concept de vérification formelle et de donner un exemple d’application à un sm...
[DISCLAIMER: This snapshot has been made in October 2019. The ecosystem is really moving a lot therefore everything can change very quickly. Moreover, few versioning principles are really used so we can’t list the stack that we used for our study]This article is a technological deep-dive to the Tezos world, with a holistic presentation of how to de...