Author: Bryan Bishop 2015-02-14 19:29:16
Published on: 2015-02-14T19:29:16+00:00
In an email exchange on February 14th, 2015, Adam Back commented that while it is highly complex to maintain strict consensus between bitcoin versions, it doesn't justify consensus rewrite experiments. Bryan responded agreeing with this sentiment but pointed out that the maintenance costs do justify working towards formal proofs of correctness for the existing implementation. He suggested that it would be helpful for outsiders to know about ongoing progress in ensuring the correctness of Bitcoin's implementation whenever warnings are made about unjustified and dangerous consensus rewrite attempts.
Updated on: 2023-06-09T17:19:10.681137+00:00