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

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
Archi & techno

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
Archi & techno

Hyperledger/Fabric : Du POC à la production ? – Compte-rendu du talk de Peva Blanchard à la Duck Conf 2019


Le but de cette mission est de passer du POC, déjà réalisé à un système destiné à la production. Elle se déroule en Suisse, pour une start up américaine. Elle concerne un domaine particulier, légal ou illégal selon les états. Ce marché, qui sera modélisé comme le marché de “la tulipe”, ne possède pas de consensus sur l’accord de vente du produit au niveau fédérale. Ça signifie qu’en boutique, il est obligatoire de payer en cash car les banques n’autorisent pas les moyens de paiement…

Lire la suite
Archi & techno

#LaDuckConf 2019 : découvrez les premiers talks !

Vous êtes un·e habitué·e du blog OCTO ?  Et si vous veniez voir les auteurs des articles en conférence ? #LaDuckConf est la seule conférence tech consacrée à l'architecture de SI, dispensée en grande majorité par nos experts maison : 1 journée, 300 participants attendus Une dizaine de talks fondés sur des expériences terrain  Un line-up d’experts sur les architectures techniques, big data, DevOps. Découvrez les noms des premiers intervenants et les sujets de leurs talks. RDV le 29 janvier 2019, à L'Espace Saint Martin (Paris…

Lire la suite
Archi & techno

La vision des OCTOs pour les 5 à 10 prochaines années

En ce début d’année 2018, nous avons demandé à quelques Octos comment ils prévoient l’évolution de leur métier, des technologies, les ruptures, les nouvelles approches, etc. C’est un exercice de style qui ne prétend pas nécessairement dire le vrai, mais qui a le mérite de présenter certaines convictions et d’inviter au débat. Partagez avec nous vos réactions et analyses, en réagissant à cet article ! Les plateformes cloud comme nouveaux runtimes Variables, disques et machines seront dépassés comme l’ont été les pointeurs, bandes et architectures…

Lire la suite
Digitalisation

Quand les usages et la technologie permettent de réinventer le mutualisme

Alors qu’il est désormais acquis que la banque de détail doit se transformer sous la pression des FinTech, les startupers commencent à s’intéresser de près au secteur de l’assurance. Cette stimulation donne naissance à de nouveaux usages. Par exemple, l’assurance collaborative, en se basant sur les concepts de la Blockchain, pourrait constituer un cas d’usage très pertinent pour l’assuré.

Lire la suite