Jouez à Faire Consensus Avec MITTEN (démonstration) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Jouez à Faire Consensus Avec MITTEN (démonstration)

Abstract

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.
Fichier principal
Vignette du fichier
jfla22_paper_19.pdf (556.47 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

  • HAL Id : hal-03626847 , version 1

Cite

Ç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⟩
144 View
69 Download

Share

Gmail Facebook X LinkedIn More