HoneyBadgerBFT: studio, implementazionee utilizzo dell’algoritmo di consenso

Nell’ambito dei sistemi distribuiti il problema del consenso ricopre un ruolo di primaria importanza. In questo report il problema del consenso viene dapprima formalmente introdottotte successivamente analizzato in base ai vari modelli e soluzioni proposti in letteratura. Viene poi presentato un algoritmo di consenso in grado di operare in modo completamente asincrono e in presenza di nodi bizantini: Honey Badger Byzantine Fault Tolerant (abbreviato semplicemente in Honey Badger o HoneyBadgerBFT). L’algoritmo viene dapprima analizzato e documentato sotto l’aspetto teorico, poi implementato in linguaggio Scala per mezzo delframework Akka sotto forma di libreria utilizzabile in applicazioni terze. È fornita un'applicazione per testare le funzionalità della libreria che permette all’utente di instanziare ed osservare lo stato di avanzamento dell’algoritmo HoneyBadgerBFT.