@misc{Pass_Seeman_Shelat_2016, plus elaboration on blockchain consensus security

[jamesray1]

No description provided.

[vladzamfir]

I heard that Rafael Pass has a paper with this proof, also.

Will have to look into it/ask around

[jamesray1]

I think this is the paper you are referring to:
https://eprint.iacr.org/2016/454.pdf

[jamesray1]

Note that that paper by Pass actually cites the same paper (in 2015) by the same authors that I originally cited. Note that the 2017 paper that I cited is the full version, while the 2015 paper (which they cited and appears in the journal, which I noted in the reference) is an abridged version. However, we can cite both papers. Also note however:

So citing just the Pass paper may be better.

[jamesray1]

I'm reading through it (I'm up to p. 12). It seems OK to cite but I'll read all of it.

[jamesray1]

OK I finished reading the paper. It should be good to cite.

As I understand it the paper shows that blockchains are attack-proof (having the properties of liveness and persistence (or consistency), future self-consistence, as well as an upper bound on the chain growth; and chain quality) in asychronous networks (like the internet which public blockchains are used in) with an upper bound on the network delay, and with an adversary having hash power of less than a half of the total hash power, and with negligible probabilities for bad events.

@vladzamfir I've updated this PR, as well as the other ones that are open.

[jamesray1]

Hi @vladzamfir, just a remind to process these PRs! Let me know if you require further changes.

[jamesray1]

OK I made changes on my four open PRs, it should be good to merge now.

[jamesray1]

See also http://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf