Blockchain

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

Analyse d’un cas d’usage blockchain : Regen Network

Lorsque nous étudions un nouveau cas d’usage blockchain, deux questions se posent : Est-ce pertinent d’utiliser une blockchain ? Comment se place ce service numérique en regard de son impact environnemental ? Nous allons dans cet article analyser le besoin d’utiliser un service numérique et plus précisément la technologie blockchain pour répondre à plusieurs problèmes : l’érosion des sols, l’émission de CO2 et la perte de biodiversité. Nous le ferons en étudiant le whitepaper de Regen Network, une plateforme actuellement en développement permettant de créer…

Lire la suite
Blockchain

Compte Rendu du troisième volet de l’Ethereum Community Conference (EthCC)

J’ai participé à l’EthCC [3], le plus grand rassemblement communautaire Européen autour de la blockchain Ethereum. Le programme était très riche avec plus de 250 conférences et ateliers sur trois jours. L'événement a rassemblé un écosystème d’acteurs variés de développeurs, de chercheurs, de startupers et d’investisseurs. L’EthCC est organisé chaque année par l’association Ethereum France qui a pour objectif de promouvoir la compréhension et le développement de la technologie blockchain Ethereum, et plus largement des technologies de la blockchain, du pair-à-pair et de la cryptographie.…

Lire la suite
Blockchain

Compte rendu du Paris P2P Festival

P2P Festival

J’ai participé au Paris P2P Festival, un rassemblement communautaire gratuit, soutenu par OCTO Technology. Cet événement a accueilli pendant 5 jours de nombreuses conférences, des expositions, mais aussi des ateliers, des hackathons et des assemblées de travail ayant tous pour thématique commune les échanges en pair à pair (peer-to-peer).

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