Jouez à Faire Consensus Avec MITTEN (démonstration) - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2022

Jouez à Faire Consensus Avec MITTEN (démonstration)

Çagdas Bozman
Functori
Mohamed Iguernlala
Functori
Michael Laporte
  • Fonction : Auteur
Functori
Maxime Levillain
  • Fonction : Auteur
Functori
Alain Mebsout
  • Fonction : Auteur
Functori
Sylvain Conchon
  • Fonction : Auteur
Nomadic Labs
Formally Verified Programs, Certified Tools and Numerical Computations

Résumé

Cet article présente Mitten, un outil pour décrire finement et jouer des scénarios sur une implémentation de Tenderbake-le prochain protocole de consensus à la pBFT de la blockchain Tezos. Mitten est paramétrable pour filtrer et examiner les messages selon des scénarios particuliers écrits dans un DSL construit sur OCaml. Grâce à Mitten, nous avons pu écrire et simuler des scénarios subtils pour reproduire des comportements difficilement atteignables en temps normal. Nous avons également pu simuler des situations permettant d'exhiber des bugs dans l'implémentation en cours et de tester des correctifs proposés.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
jfla22_paper_19.pdf (556.47 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Timothy Bourke  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03626847

Soumis le : jeudi 31 mars 2022-19:45:29

Dernière modification le : mardi 12 novembre 2024-11:13:20

Archivage à long terme le : vendredi 1 juillet 2022-19:49:10

Télécharger pour visualiser

Dates et versions

hal-03626847 , version 1 (31-03-2022)

Identifiants

  • HAL Id : hal-03626847 , version 1

Citer

Çagdas Bozman, Mohamed Iguernlala, Michael Laporte, Maxime Levillain, Alain Mebsout, et al.. Jouez à Faire Consensus Avec MITTEN (démonstration). 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.248-250. ⟨hal-03626847⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF JFLA2022 JFLA
180 Consultations
92 Téléchargements

Partager

More