La Blockchain e il consenso: il paradosso dei generali Bizantini

Ciao Everyone,

l'universo cripto è in perenne crescita. Uno degli argomenti che trovo più stimolante è la continua evoluzione e sperimentazione delle forme di consenso che permettano ai nodi delle blockchain di registrare correttamente l'aggiunta di nuovi blocchi immodificabili.

Tra le forme di consenso più note, che non approfondirò in questo post, ci sono:

• l'algoritmo Proof of Work
• l'algoritmo Proof of Stake
• l'algoritmo Delegated Proof of Stake
  e altri che descriverò in post dedicati.

Tutti questi algoritmi si sono posti la necessità di superare quello che è definito il paradosso dei generali Bizantini.
Nonostante il nome, questo paradosso non si basa su evidenze storiche ma sulla volontà da parte dell'ideatore di non dare una connotazione "nazionale" al problema.

Citando Wikipedia (https://it.wikipedia.org/wiki/Problema_dei_generali_bizantini):
"Il problema dei generali bizantini è un problema informatico su come raggiungere consenso in situazioni in cui è possibile la presenza di errori. Il problema consiste nel trovare un accordo, comunicando solo tramite messaggi, tra componenti diversi nel caso in cui siano presenti informazioni discordanti."

Il paradosso, descritto brevemente, prevede che due o più generali circondino una città che possa essere conquistata solo nel caso si verifichino tutte le seguenti condizioni:
A- la corretta trasmissione delle informazioni tra loro , anche nel caso in cui l'informazione dovesse passare per il campo nemico;
B- la lealtà di tutti i generali;
C- che l'attacco venga portato avanti da tutti i generali contemporaneamente.

Il superamento del paradosso prevede che la vittoria possa essere conseguita anche in presenza di uno o più generali traditori (che siano però la minoranza).

La forma di consenso più nota che ha permesso il superamento di questo paradosso è la Proof of Work, del Bitcoin in primis, in cui i nodi del network concorrono tra loro per registrare il nuovo blocco ottenenedo di conseguenza un compenso.
Grazie al compenso atteso la maggior parte dei nodi hanno interesse a comportarsi in maniera "legittima" contribuendo così alla crescita della blockchain.