Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.12105
Cited By
v1
v2 (latest)
Formalizing Nakamoto-Style Proof of Stake
23 July 2020
Søren Eller Thomsen
Bas Spitters
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formalizing Nakamoto-Style Proof of Stake"
1 / 1 papers shown
Title
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand
Pranav Ghorpade
Sasha Rubin
Bernhard Scholz
Pavle Subotić
60
2
0
02 Jul 2024
1
