Rejoignez-Nous sur

Initiation au langage Blockchain Simplicity

eureka certification

News

Initiation au langage Blockchain Simplicity

Aurait-on pu prévenir des événements comme le hack du fond d’investissement en ethers, TheDAO, grâce aux « vérifications formelles » ?

Pour le savoir, nous vous invitons à notre Meetup consacré à Simplicity pour y découvrir si ce nouveau langage proposé en remplacement de Bitcoin Script a un avenir.

Qu’est-ce que Simplicity ?
Simplicity est un langage de programmation de bas niveau pour les Smart Contracts. Dès le départ, il a été conçu pour avoir une sémantique « simple » qui se prête à l’analyse statique de programmes et au raisonnement avec des Méthodes Formelles.

À quoi sert Simplicity ?
Simplicity facilite la lecture, l’écriture, et l’utilisation des Smart Contracts pour les développeurs, pour le protocole Bitcoin et même Ethereum.

Venez à notre rencontre, afin de savoir ce qu’il en est réellement des fondements de Simplicity et des Méthodes Formelles.

Programme :
18h30 | Ouverture des portes et accueil des participants.
19h | Première partie : Présentation de Simplicity avec quelques exemples. L’objectif est d’appréhender la sémantique et vous proposez les premières conclusions que l’on peut en tirer quant à ses intérêts.
20h | Seconde partie : Explications et exemples de méthodes formelles concrets en production sur des systèmes automatisés, et application directe sur un ou des scripts Bitcoin principalement utilisés.

L’intervenant :
Nicolas Ayache est ingénieur-chercheur en méthodes formelles. Après un doctorat à Orsay sur des outils pour la vérification de systèmes-sur-puce, et un post-doctorat à l’INRIA sur la compilation certifiée, Nicolas intègre ClearSy, une société qui développe des systèmes sécuritaires. Il effectue quelques missions de développement formel dans des grands groupes, et gère à présent des projets de R&D, encadre des projets de développement logiciel, est responsable de formation, et enseigne les méthodes formelles à l’université et en école d’ingénieur.

Evénement gratuit organisé par Eureka, organisme de formation et d’expertise spécialisé dans les blockchains.

Où ? – Sia Partners, 21 Rue de Berri à Paris

Quand ? – Mercredi 8 avril 2020 de 19h00 à 21h00

Inscription : meetup.com/fr-FR/Eureka-Meetup



Retrouver l’article original de Jean-Luc ici: Lien Source

BlockBlog

Le Meilleur de l'Actualité Blockchain Francophone & Internationale | News, Guides, Avis & Tutoriels pour s'informer et démarrer facilement avec Bitcoin, les Crypto-Monnaies et le Blockchain. En Savoir Plus sur L'Équipe BlockBlog

Commenter cet Article

Commenter cet Article

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Plus dans News

Les Plus Populaires

Acheter des Bitcoin

Acheter des Alt-Coins

Sécuriser vos Cryptos

Vêtements et Produits Dérivés

Top