Bryan Bishop [ARCHIVE] on Nostr: 📅 Original date posted:2015-02-14 📝 Original message:On Sat, Feb 14, 2015 at ...
📅 Original date posted:2015-02-14
📝 Original message:On Sat, Feb 14, 2015 at 1:04 PM, Adam Back <adam at cypherspace.org> wrote:
> That its highly complex to maintain strict consensus between bitcoin
> versions, does not justify consensus rewrite experiments
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.
- Bryan
http://heybryan.org/
1 512 203 0507
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20150214/67b27d76/attachment.html>;
📝 Original message:On Sat, Feb 14, 2015 at 1:04 PM, Adam Back <adam at cypherspace.org> wrote:
> That its highly complex to maintain strict consensus between bitcoin
> versions, does not justify consensus rewrite experiments
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.
- Bryan
http://heybryan.org/
1 512 203 0507
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20150214/67b27d76/attachment.html>;