Ethereum Proof-of-Stake under Scrutiny.

Ulysse Pavloff Yackolley Amoussou-Guenou Sara Tucci Piergiovanni

Published in: CoRR (2022)

Keyphrases

theorem proving
linear logic
social networks
high level
formal proof
machine learning
optimal solution
preprocessing