2026-07-25T03:00:30Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23040 2025-10-02T12:30:36Z ddc:004 open_access

A Benchmark Framework for Byzantine Fault Tolerance Testing Algorithms (Tool Paper) Louro Neto, João Miguel Kulahcioglu Ozkan, Burcu Byzantine Fault Tolerance BFT Protocols Automated Testing Recent discoveries of vulnerabilities in the design and implementation of Byzantine fault-tolerant protocols underscore the need for testing and exploration techniques to ensure their correctness. While there has been some recent effort for automated test generation for BFT protocols, there is no benchmark framework available to systematically evaluate their performance. We present ByzzBench, a benchmark framework designed to evaluate the performance of testing algorithms in detecting Byzantine fault tolerance bugs. ByzzBench is designed for a standardized implementation of BFT protocols and their execution in a controlled testing environment. It controls the nondeterminism in the concurrency, network, and process faults in the protocol execution, enabling the functionality to enforce particular execution scenarios and thereby facilitating the implementation of testing algorithms for BFT protocols. Schloss Dagstuhl – Leibniz-Zentrum für Informatik João Miguel Louro Neto and Burcu Kulahcioglu Ozkan 2025 Is Part Of OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.FMBC.2025.13 urn:nbn:de:0030-drops-230406 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.13 eng https://creativecommons.org/licenses/by/4.0/legalcode