Nick Szabo  🔑

@el33th4xor just read your post: http://hackingdistributed.com/2016/03/01/bitcoin-guarantees-strong-not-eventual-consistency/ …

@el33th4xor I think I mostly agree but you don't assume the "enough rational miners" model. Did you leave that out intentionally?

@el33th4xor That model usually isn't a part of serializability and I'm not sure I understand all the ramifications of it

@neha e.g. we would discuss the consistency of quorum systems indep of their assumptions, such as failure independence.

@el33th4xor no, we absolutely consider failure independence. It's baked into f.

@neha if you like, add an implicit "under the assumption that Bitcoin works" to "what's its consistency?"

@el33th4xor "under the assumption bitcoin works, bitcoin works"? :D