Blockchain

Le 20 juin 2023 s’est tenu un nouvel épisode des Comptoirs OCTO, suite à une réalisation d’OCTO Technology chez Wakam : Une vision de plateforme sans leadership tech n’est qu’hallucination. Voici son descriptif : La littérature promeut les plateformes digitales comme un levier de croissance pour les entreprises et un vrai avantage stratégique dans l’économie numérique. Force est de constater que les entreprises qui se lancent dans cette aventure échouent : elles n’arrivent pas à dépasser le Proof Of Concept ou bien s’enlisent dans la…

Introduction Le salon Virtuality 2023, à Paris, a réuni plusieurs acteurs clés de l'industrie pour discuter des dernières tendances et innovations dans les domaines du Web décentralisé (Web3), de l'AR/VR/XR et du Métavers. Cette année, le Métavers était au cœur de nombreux débats et discussions. Comme nous l’attendions, le terme Métavers a été utilisé à plusieurs reprises pour décrire des concepts totalement différents, allant du web décentralisé aux mondes virtuels immersifs. Mais qu'entendons nous par Métavers aujourd’hui ? Le Métavers est un terme relativement nouveau…

Lorsque l’on parle de « smart contracts », que l’on soit connaisseur ou novice, on pense généralement à Ethereum. Or, ce concept date de bien avant et c’est la technologie Bitcoin qui l’implémente en production pour la première fois. Néanmoins, son langage bas-niveau « Bitcoin Script » n’est pas très alléchant. Pour remédier à cela et optimiser les smart contracts de Bitcoin, il y a Miniscript. "Smart" Contracts Soyons clairs dès le début : Ce que l’on appelle les "Contrats intelligents" existait au début de…

  INTRODUCTION Depuis 1976, date de l'implémentation de la cryptographie asymétrique par Whitfield Diffie et Martin Hellman, la cryptographie ne cesse d'évoluer et de se réinventer pour être toujours plus performante et impressionnante. Il faut dire que le fait de chiffrer une donnée avec une clé publique pour que seule la personne en possession de la clé privée associée puisse la déchiffrer, était une révolution par rapport à tous les moyens de chiffrement de l'époque. C'est dans ce contexte qu'en 1985 le Zero Knowledge Proof…

Avez-vous déjà oublié vos identifiants de connexion à un site ? Attendu de longues heures en faisant la queue à un guichet pour refaire vos papiers, papiers que vous avez de nouveau égarés le lendemain ? En avez-vous assez d'oublier votre carte de transport et de vous faire verbaliser alors que vous payez bien votre abonnement tous les mois ? Et si votre identité, vos droits et vos biens étaient rassemblés en une chaîne de caractères ? Et si vous pouviez choisir, de manière atomique,…

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…

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…

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…

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…

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…