tezos

Blockchain

Tezos – Gestion des évolutions d’un smart contract

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. Introduction Dans le cadre du delivery d’un produit, il arrive très régulièrement que le client souhaite mettre en place un service et ultérieurement faire des mises à jour. Soit parce que le besoin n’avait pas été bien cadré, ou bien que de nouvelles fonctionnalités apporteraient de…

Lire la suite
Blockchain

Tezos – LIGO patterns – Factory

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éfinition Le pattern "Factory" a pour but de générer à la volée des smart contrats et de permettre des interactions simples entre ces smart contract générés. Cas d’utilisation Le pattern factory est utilisé par exemple dans…

Lire la suite
Blockchain

Tezos – LIGO patterns – Lambda

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”). Ce genre d’anti-pattern peut être utile si notre service décentralisé est voué à évoluer (par exemple, à cause de règles étatiques). Dans cet article, un exemple d'implémentation est proposé sur le thème…

Lire la suite
Blockchain

Tezos – écosystème – Décembre 2020

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éliorations des langages, les standards de token, les preuves de smart contracts.    Big picture  Cet article aborde plusieurs éléments de l'écosystème Tezos. Ce schéma permet de cartographier les sujets abordés. A gauche les outils de…

Lire la suite
Blockchain

Tezos – Vérification formelle

Introduction Cet 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 smart contract. Bien que la vérification formelle ait été utilisée depuis les années 1960 sur des industries “critiques” (aérospatial), il n’y a pas eu d’émergence sur les autres industries. Il a fallu attendre plusieurs décennies avant de voir apparaître l’utilisation de…

Lire la suite
Blockchain

Tezos ecosystem – October 2019

[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 develop Dapps on this promising blockchain. We saw that few articles provide a extended insight of all the tooling. At OCTO, we aim to provide to the…

Lire la suite
Archi & techno

Tezos, une blockchain auto-évolutive (partie 1/3)

tezos

Cet article est la première partie d’une suite d’articles où nous allons étudier la blockchain française Tezos, blockchain publique. Dans ce premier article, nous nous intéresserons au modèle de gouvernance de Tezos qui diffère des autres blockchains. Dans un second article, nous nous pencherons sur le consensus utilisé, à savoir le mécanisme de validation des blocs. Puis, dans un dernier article, la partie pratique de Tezos sera présentée : l’utilisation de la CLI pour faire des transactions, les appels RPC pour interagir avec la blockchain…

Lire la suite