Jouez à Faire Consensus Avec MITTEN (démonstration)

Çagdas Bozman (1) , Mohamed Iguernlala (1) , Michael Laporte (1) , Maxime Levillain (1) , Alain Mebsout (1) , Sylvain Conchon (2, 3)

1 Functori
2 Nomadic Labs
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations

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]

Ç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⟩