Blockchain

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

Simplifier la prise de décision dans le monde agricole grâce à la blockchain

blockchain_logo_zakaria_rachedi

Aujourd'hui les agriculteurs font face à des problèmes de gestion de leurs parcs d'appareillage technologiques. En effet que ce soit au niveau des machines agricoles (tracteurs, moissonneuse...), des divers capteurs ou des stations météo, les agriculteurs ont peu de moyens fiables et sûrs pour contrôler l'accès et l'exploitation de leurs données (température des sols, humidité…). Malheureusement de plus en plus d'acteurs du monde des objets connectés accèdent et exploitent les données des appareils qu'ils commercialisent sans rétribuer l'entreprise à qui le produit est vendu. Ceci…

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