Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Topics & Concepts
Computer scienceProgramming languageByzantine fault toleranceFault toleranceDistributed computingDistributed systems and fault toleranceService-Oriented Architecture and Web ServicesSecurity and Verification in Computing