# TASK: Search the literature for definitions of Security, Liveness and Decentralization

Liveness is tied to blocks. Related the properties to blocks.
Cite High level properties.

Search for Bitcoin backbone protocol
Look for simple and in english formulations of the properties: security, liveness, decentraliz

Cite
https://eprint.iacr.org/2015/1019.pdf

fernando pedone -> paxos -> properties -> from citation look for works in blockchain that use those properties

For decentralization and fairness:
https://arxiv.org/pdf/1801.03998.pdf

1. [Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol](https://link.springer.com/content/pdf/10.1007%2F978-3-319-63688-7_12.pdf)


2. [Analysis of the Blockchain Protocol in Asynchronous Networks](https://link.springer.com/content/pdf/10.1007%2F978-3-319-56614-6_22.pdf)


3. [Hybrid Consensus: Efficient Consensus in the Permissionless Model](https://drops.dagstuhl.de/opus/volltexte/2017/8004/pdf/LIPIcs-DISC-2017-39.pdf)

4. [FruitChains: A Fair Blockchain](https://dl.acm.org/doi/pdf/10.1145/3087801.3087809)
Useful for the definition of fairness


5. [Bitcoin-NG: A Scalable Blockchain Protocol](https://www.usenix.org/system/files/conference/nsdi16/nsdi16-paper-eyal.pdf)
Useful for the system model they use

---

https://eprint.iacr.org/2015/1019.pdf

Requirements:
- blocks
- sequence of blocks
- probabilistic consensus: we allow to have temporarily disagreement. a way to do it is with common prefixes