<p dir="ltr">To say that Bitcoin is strongly consistent is to say that the memory pool and the last X blocks aren&#39;t part of Bitcoin. If you want to avoid making that claim, you can at best argue that Bitcoin has both a strongly consistent component AND an eventually consistent component. </p>
<p dir="ltr">The entire point of the definition of eventually consistency is that your computer system is running continously and DO NOT have a final state, and therefore you must be able to describe the behavior when your system either may give responses to queries across time that are either perfectly consistent *or not* perfectly consistent.</p>
<p dir="ltr">And Bitcoin by default *does not* ignore the contents of the last X blocks. A Bitcoin node being queried about the current blockchain state WILL give inconsistent answers when there&#39;s block rearrangements = no strong consistency. Not to mention that your definition ignores the nonzero probability of a block rearrangement extending beyond your constant omega. </p>
<p dir="ltr">Bitcoin provides a probabilistic, accumulative probability. Not a perfect one. </p>
<div class="gmail_quote">Den 2 mar 2016 04:04 skrev &quot;Emin Gün Sirer&quot; &lt;<a href="mailto:bitcoin-dev@lists.linuxfoundation.org">bitcoin-dev@lists.linuxfoundation.org</a>&gt;:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div>There seems to be a perception out there that Bitcoin is eventually consistent. I wrote this post to describe why this perception is completely false. </div><div><br></div><div><div>Bitcoin Guarantees Strong, not Eventual, Consistency</div></div><div><a href="http://hackingdistributed.com/2016/03/01/bitcoin-guarantees-strong-not-eventual-consistency/" target="_blank">http://hackingdistributed.com/2016/03/01/bitcoin-guarantees-strong-not-eventual-consistency/</a><br></div><div><br></div><div>I hope we can lay this bad meme to rest. Bitcoin provides a strong guarantee.</div><div>- egs</div><div><br></div></div>
<br>_______________________________________________<br>
bitcoin-dev mailing list<br>
<a href="mailto:bitcoin-dev@lists.linuxfoundation.org">bitcoin-dev@lists.linuxfoundation.org</a><br>
<a href="https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev" rel="noreferrer" target="_blank">https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev</a><br>
<br></blockquote></div>