<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Feb 14, 2015 at 1:04 PM, Adam Back <span dir="ltr"><<a href="mailto:adam@cypherspace.org" target="_blank">adam@cypherspace.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">That its highly complex to maintain strict consensus between bitcoin versions, does not justify consensus rewrite experiments</blockquote></div><br>Correct. However, those maintenance costs absolutely do justify working towards formal proofs of correctness for the existing implementation. These plans are no secret and are publicly discussed, but I think it would be instrumental to outsiders if the correctness plans and ongoing progress could be mentioned whenever a warning is made about unjustified and dangerous Bitcoin consensus rewrite attempts.<br><br><div class="gmail_signature">- Bryan<br><a href="http://heybryan.org/">http://heybryan.org/</a><br>1 512 203 0507</div>
</div></div>