dc.contributor.author | Gogada, Hanish | |
dc.contributor.author | Jehl, Leander | |
dc.contributor.author | Meling, Hein | |
dc.contributor.author | Olsen, John Ingve | |
dc.date.accessioned | 2023-07-06T13:31:34Z | |
dc.date.available | 2023-07-06T13:31:34Z | |
dc.date.created | 2023-07-05T10:16:18Z | |
dc.date.issued | 2023-06 | |
dc.identifier.citation | Gogada, H., Meling, H., Jehl, L. & Olsen, J.: (2023) An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols. ApPLIED 2023: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems | en_US |
dc.identifier.isbn | 979-8-4007-0128-3 | |
dc.identifier.uri | https://hdl.handle.net/11250/3076643 | |
dc.description.abstract | HotStuff is a Byzantine fault-tolerant state machine replication protocol that incurs linear communication costs to achieve consensus. This linear scalability promoted the protocol to be adopted as the consensus mechanism in permissioned blockchains. This paper discusses the architecture, testing, and evaluation of our extensible framework to implement HotStuff and its variants. The framework already contains three HotStuff variants and other interchangeable components for cryptographic operations and leader selection.
Inspired by the Twins approach, we also provide a testing framework for validating protocol implementations by inducing Byzantine behaviors. Test generation is protocol-agnostic; new protocols can execute the test suite with little-to-no modifications. We report relevant insights on how we benefited from Twins for validation and test-driven development. Leveraging our deployment tool, we evaluated our implementation in various configurations. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Association for Computing Machinery (ACM) | en_US |
dc.relation.ispartof | ApPLIED 2023: Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems | |
dc.title | An Extensible Framework for Implementing and Validating Byzantine Fault-tolerant Protocols | en_US |
dc.type | Chapter | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | © 2023 Copyright held by the owner/author(s). Publication rights licensed to ACM | en_US |
dc.subject.nsi | VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551 | en_US |
dc.identifier.doi | 10.1145/3584684.3597266 | |
dc.identifier.cristin | 2160906 | |
dc.source.articlenumber | 11 | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |