Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Original paper: [1]
- This is a formal proof of stake protocol like the Bitcoin backbone protocol.
- This is the first protocol in the series of Ouroboros protocols.
- Network model is $Δ$-bounded synchrony.
References
[1] Aggelos Kiayias, Alexander Russell, Bernardo David, and Roman Oliynykov. 2017. “Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol.” http://link.springer.com/10.1007/978-3-319-63688-7_12.