Ethereum Proof-of-Stake Consensus Layer: Participation and Decentralization.

Dominic Grandjean Lioba Heimbach Roger Wattenhofer

Published in: CoRR (2023)

Keyphrases

multi layer
theorem proving
theorem prover
decision making
proof planning
directed networks
application layer
website
neural network
artificial neural networks
case study
machine learning
real world
clustering ensemble
linear logic
automated theorem proving
data sets