18 citations · 18 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Formal Verification of the Ethereum 2.0 Beacon Chain
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
We report our experience in the formal verification of the reference implementation of the Beacon Chain. The Beacon Chain is the backbone component of the new Proof-of-Stake Ethere…
cs.CR2021
Three Attacks on Proof-of-Stake Ethereum
Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot +3
Recently, two attacks were presented against Proof-of-Stake (PoS) Ethereum: one where short-range reorganizations of the underlying consensus chain are used to increase individual…