Stochastic model of consensus in Ethereum Proof-of-Stake

The aim of this project is to create a streamlined modelling framework for Ethereum Proof-of-Stake Consensus with corresponding source code. This framework, using an agent-based approach, prioritises extensibility and computational efficiency. Unlike a one-to-one Ethereum agent-based simulation, our approach avoids excessive computational demands and data volume, focusing on essential consensus mechanisms.