Hyperledger Foundation / Hyperledger Francophonie

Nous allons présenter des résultats préliminaires tirés de notre travail actuel portant sur la spécification et la vérification de chaincodes HLF.
La méthodologie proposée consiste en l'utilisation de l'outil Why3 [1] (ainsi que de son langage dédié WhyML et de solveurs SMT tiers) afin de spécifier, implémenter et prouver des chaincodes.
L'outil Why3 permet ensuite d'extraire un chaincode dans le langage OCaml. Enfin, nous avons développé OCaml-chaincode-shim [2] pour rendre ces chaincodes OCaml exécutables sur un noeud HLF.
Nous démontrerons l'application de cette méthodologie sur un scénario de développement sans code d'un superviseur de workflow (qui pourrait être un composant critique au sein d'un système de tracabilité d'une chaîne logistique industrielle).
Ce scénario débute par la spécification abstraite du workflow à l'aide d'un formalisme graphique (comparable à [3]) et se termine par le déploiement d'un chaincode formellement vérifié sur un testnet HLF.

We will show some preliminary results of our ongoing work to enable formal specification and verification of HLF chaincode.
The proposed methodology consists in using the tool Why3 [1] (and its underneath language WhyML, and third-party SMT solvers) to specify, implement and prove the chaincodes.
The tool Why3 then extracts an OCaml chaincode. Finally, we developped OCaml-chaincode-shim [2] to make OCaml chaincodes executable by an HLF peer.
We will demonstrate the application of this methodology on a no code development scenario of a workflow supervisor (that could be a critical component of an industrial supply chain traceability system).
This scenario starts with an abstract specification of the workflow in a graphical formalism (in the vein of [3]) and ends with a formally verified chaincode living in a HLF testnet.

[1] : Filliâtre, J. C., & Paskevich, A. (2013, March). Why3—where programs meet provers. In European symposium on programming (pp. 125-128). Springer, Berlin, Heidelberg.
[2] : https://github.com/hyperledger-labs/fabric-chaincode-ocaml
[3] : Bistarelli, S., Faloci, F., & Mori, P. (2021, November). *. chain: automatic coding of smart contracts and user interfaces for supply chains. In 2021 Third International Conference on Blockchain Computing and Applications (BCCA) (pp. 164-171). IEEE.

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Discord: https://discord.gg/rVCn4j7UFd
Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain
License
Creative Commons Attribution license (reuse allowed)

------ Description ------

Le Laboratoire d'identité numérique du Canada (IDLab) est heureux de partager les résultats de son examen du code de sécurité et de cryptographie de la librairie d'outils cryptographiques Hyperledger URSA.

Afin de soutenir les futurs déploiements de services d'identité numérique, et dans un esprit « de confiance, et de vérification » (de l’anglais : trust but verify), IDLab a réalisé une évaluation indépendante de la librairie URSA afin de comprendre et d'atténuer les risques potentiels associés à l'utilisation de la technologie Hyperledger dans le domaine de l'identité décentralisée. Pierre Roberge présentera l'approche adoptée, suivie d'une revue des principaux constats et conclusions tirés de l'exercice.

------ À propos du orateur ------

Pierre A. Roberge est co-fondateur et directeur général du Laboratoire d’identité numérique du Canada. Pierre a plus de 25 années d'expertise et d'expérience en transformation numérique dans différent domaines tel que l'identité numérique, protection intégrée de la vie privée, paiement électronique, opérations bancaires et, plus généralement, en cybersécurité.

Pierre jette les ponts entre les domaines des affaires et de la technologie dans l’utilisation des technologies émergentes, afin de créer et d’opérationnaliser de nouvelles opportunités stratégiques.

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Discord: https://discord.gg/rVCn4j7UFd
Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain
License
Creative Commons Attribution license (reuse allowed)

La présentation vous donnera les outils pour mieux comprendre l'environnement de la levée de fonds pour des startups blockchain/DLT et les outils et conseils pour mieux réussir votre premier tour de table.

------ À propos du orateur ------
Baptiste Cota est l'un des associés fondateurs de LeadBlock Partners. Nous sommes un fonds franco-britannique de capital-risque investissant dans le secteur de la blockchain et des actifs digitaux. Baptiste se concentre en particulier sur la fintech est le développement durable. Avant de lancer le fonds Baptiste travaillait chez Goldman Sachs.

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Discord: https://discord.gg/rVCn4j7UFd
Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain
License
Creative Commons Attribution license (reuse allowed)

L’identité numérique auto-souveraine, qui place l'individu au centre de chacune de ses interactions numériques, amorce une transformation fondamentale dans la façon dont les personnes et organisations prouvent leur identité en ligne.

Ses cas d’utilisations, innombrables, servant à prouver que les individus sont bien qui elles prétendent être: passeports, permis de conduire, certifications et diplômes, cartes d’assurance, attestations médicales, etc.

Dans cette présentation, Oumar va, d’une part, de définir les concepts, les défis et les enjeux de l’Identité Numérique, et d’autre part, de présenter des cas d’usage pertinents pour l’Afrique.

De nombreux services et applications traditionnels peuvent se connecter à ce système décentralisé pour solliciter la permission d’accéder à l’identité des utilisateurs. Ainsi, il est à l’unique discrétion des utilisateurs d’accepter de partager certaines informations souhaitées ou encore de choisir quand attribuer ou révoquer l’accès à leurs données par des tiers.

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Discord: https://discord.gg/rVCn4j7UFd
Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain
License
Creative Commons Attribution license (reuse allowed)

Le jeudi 17 mars à 14:00 CET, Hyperledger Francophone avec Greg Scullard organise un meetup virtuel sur Hyperledger Fabric. Utiliser le consensus Hedera Hashgraph.

------ Description ------

Lors de cette réunion, nous allons découvrir comment l'architecture modulable de consensus d'Hyperldeger Fabric peut utiliser le consensus de Hedera Hashgraph. Hedera Hashgraph est un réseau distribué publique qui est rapide, juste et sécurisé, ce qui peut apporter plus de débit, sécurité et confiance à Hyperledger Fabric.

------ À propos du orateur ------

Depuis 1981 Greg n'a jamais cessé de développer du logiciel. Sa grand-mère était très fière quand le nom de son petit-fils âgé de 12 ans est apparu sur la couverture d'un magazine informatique. Avant de rejoindre Hedera Hashgraph en tant que Lead Developer Advocate, Greg a passé presque 30 ans à travailler pour des petites, moyennes et grandes entreprises dans le monde du logiciel et a tenu presque tous les rôles. Destiné pour une fin de carrière en tant que dirigeant, il a développé et publié deux applications mobiles dans son temps libre, ce qui lui a fait réaliser que le développement logiciel et travailler avec des développeurs était ce qui le motivait. Hedera est arrivé juste au bon moment.

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain

C'est de son expérience récente en tant que porteur de la casquette CPTO de Tayara, place de marché leader en Tunisie, que Rafik va vous parler: en tant que praticien de la blockchain en général, et concepteur de la solution de paiement t-Jetons de tayara, initialement implémentée en Hyperledger Iroha - Rafik veut partager son expérience dans le domaine du paiement, et de sa vision de la "blockchain pour entreprise" en relatant l'histoire que son équipe et lui ont eu à faire face avec Tayara et Hyperledger Iroha.

------ À propos du orateur ------

Rafik Naccache est un architecte IT Sénior d'origine tunisienne. Il a plus de 20 ans d'expérience dans le logiciel, l'IA, la DATA, et le cloud. Il a travaillé comme directeur exécutif, leader technique, co-founder, et consultant. Depuis 2016, il opère l'agence de conseil fekr technologies, qui a pu assister des organisations appartenant à des industries aussi diverses que les télécoms, l'énergie, la cybersécurité, la finance, et l'Ecommerce - des organisations positionnées en Tunisie, au Maroc, en Oman, en France, en Allemagne, et aux états unis.

Rafik est aussi contributeur de la librarie client python d'Iroha (https://github.com/hyperledger/iroha-python)

----
Hyperledger – Open Source Blockchain Technologies

Hyperledger is an open source community focused on developing a suite of stable frameworks, tools and libraries for enterprise-grade blockchain deployments.
It serves as a neutral home for various distributed ledger frameworks including Hyperledger Besu, Fabric, Sawtooth, Indy, as well as tools like Hyperledger Avalon, Cactus and libraries like Hyperledger Aries, Ursa. Learn more about Hyperledger projects: https://www.hyperledger.org/use

Case Studies: https://www.hyperledger.org/learn/case-studies
Training & Certification: https://www.hyperledger.org/learn/training
Tutorials: https://www.hyperledger.org/use/tutorials
Webinars: https://www.hyperledger.org/learn/webinars
Events: https://www.hyperledger.org/events
Vendor Directory: https://www.hyperledger.org/use/vendor-directory

Subscribe to the Hyperledger Newsletter: https://www.hyperledger.org/newsletter

Follow-us on Twitter @Hyperledger

Learn about Hyperledger Membership: https://www.hyperledger.org/about/join

#Hyperledger #Blockchain