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>
Published at
2023-06-07 15:30:34Event JSON
{
"id": "4e5022c3fdc963bd611c961d469d282d50a0d077c88d4c17132fc866908e7307",
"pubkey": "62ddcb547224b421822b62845fb1bbd77c838b924bd022814cfcbe25b7a07475",
"created_at": 1686151834,
"kind": 1,
"tags": [
[
"e",
"a1e27a9e8f5d88bf32b6a112984bbe10158121e645475e7be21e08ccaa36e778",
"",
"root"
],
[
"e",
"e0a7d3411c98e690f3aac3b1b277d09fb6b539563f715baff75afccc90b7cf64",
"",
"reply"
],
[
"p",
"ee0fa66772f633411e4432e251cfb15b1c0fe8cd8befd8b0d86eb302402a8b4a"
]
],
"content": "📅 Original date posted:2015-02-14\n📝 Original message:On Sat, Feb 14, 2015 at 1:04 PM, Adam Back \u003cadam at cypherspace.org\u003e wrote:\n\n\u003e That its highly complex to maintain strict consensus between bitcoin\n\u003e versions, does not justify consensus rewrite experiments\n\n\nCorrect. However, those maintenance costs absolutely do justify working\ntowards formal proofs of correctness for the existing implementation. These\nplans are no secret and are publicly discussed, but I think it would be\ninstrumental to outsiders if the correctness plans and ongoing progress\ncould be mentioned whenever a warning is made about unjustified and\ndangerous Bitcoin consensus rewrite attempts.\n\n- Bryan\nhttp://heybryan.org/\n1 512 203 0507\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20150214/67b27d76/attachment.html\u003e",
"sig": "9bc9e0799ddb9c962dc01b97aed1c89a23430dbdb94bf1c04ad2a82924f4271b231133c1576f029cf5b6be1c094ef69a1ecccddc186cedbe93a69fd9f675b2de"
}