Gasper: Struttura e Proprietà del protocollo di consenso Proof of Stake di Ethereum.

Questo lavoro di tesi presenta una disamina del protocollo di consenso a Proof of Stake Gasper attivato nel 2022 da Ethereum. Lo scopo è quello di raccogliere in un unico testo le scelte progettuali adottate approfondendo la base teorica su cui queste si fondano. Gasper unisce due aree di studio ben specifiche: una che si occupa di finalizzare la catena di blocchi fornendo la sicurezza che questa abbia l'approvazione della maggioranza della comunità di validazione, l'altra invece si occupa di risolvere in maniera efficiente il problema delle biforcazioni così da garantire sempre un percorso certo all'evoluzione della blockchain. La realizzazione di questo protocollo comprende scelte progettuali che spaziano su molteplici campi di studio come: la sicurezza informatica per quanto riguarda i sistemi di firma digitale e la garanzia dei dati tramite funzioni hash, la teoria del consenso in particolare per sistemi decentralizzati che ha ricevuto un contributo fondamentale con la formalizzazione del Problema dei Generali Bizantini nel 1982 e l'introduzione del protocollo PBFT, l'architettura delle reti su cui si basano le comunicazioni ed infine la teoria dei protocolli con le loro principali proprietà.