The paper presents an analysis of fairness within the Proof of Stake (PoS) Ethereum protocol Gasper, utilizing simulations conducted with the PRISM+ modelling tool. Our study focuses on stake analyses, revealing that stake growth dynamics are tangled to the initial distribution of the stake. Furthermore, we investigate the impact of malicious validators on stake growth dynamics and fairness property in the Gasper protocol. Through our analyses, we highlight the significant influence of the initial stake distribution on stake growth and fairness metrics. Our findings contribute to a deeper understanding of the Gasper protocol's performance under varying conditions, aiding in developing strategies to enhance fairness and security within PoS Ethereum networks.
Bistarelli, S., Laneve, C., Mercanti, I., Veschetti, A. (2024). Analyzing the Fairness of Proof of Stake Ethereum.
Analyzing the Fairness of Proof of Stake Ethereum
Bistarelli S.;Laneve C.;Veschetti A.
2024
Abstract
The paper presents an analysis of fairness within the Proof of Stake (PoS) Ethereum protocol Gasper, utilizing simulations conducted with the PRISM+ modelling tool. Our study focuses on stake analyses, revealing that stake growth dynamics are tangled to the initial distribution of the stake. Furthermore, we investigate the impact of malicious validators on stake growth dynamics and fairness property in the Gasper protocol. Through our analyses, we highlight the significant influence of the initial stake distribution on stake growth and fairness metrics. Our findings contribute to a deeper understanding of the Gasper protocol's performance under varying conditions, aiding in developing strategies to enhance fairness and security within PoS Ethereum networks.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
