From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from sog-mx-4.v43.ch3.sourceforge.com ([172.29.43.194] helo=mx.sourceforge.net) by sfs-ml-1.v29.ch3.sourceforge.com with esmtp (Exim 4.76) (envelope-from ) id 1YMiP7-0004cv-BM for bitcoin-development@lists.sourceforge.net; Sat, 14 Feb 2015 19:29:25 +0000 Received-SPF: pass (sog-mx-4.v43.ch3.sourceforge.com: domain of gmail.com designates 209.85.214.179 as permitted sender) client-ip=209.85.214.179; envelope-from=kanzure@gmail.com; helo=mail-ob0-f179.google.com; Received: from mail-ob0-f179.google.com ([209.85.214.179]) by sog-mx-4.v43.ch3.sourceforge.com with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) id 1YMiP3-00048a-Re for bitcoin-development@lists.sourceforge.net; Sat, 14 Feb 2015 19:29:25 +0000 Received: by mail-ob0-f179.google.com with SMTP id wp4so30779917obc.10 for ; Sat, 14 Feb 2015 11:29:16 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.182.233.226 with SMTP id tz2mr2787630obc.33.1423942156421; Sat, 14 Feb 2015 11:29:16 -0800 (PST) Received: by 10.60.22.7 with HTTP; Sat, 14 Feb 2015 11:29:16 -0800 (PST) In-Reply-To: References: <54CC0E1D.7030409@voskuil.org> <54D0414F.6030806@voskuil.org> <54DE7601.4070509@voskuil.org> <54DF07A5.1060004@voskuil.org> <54DF2E80.5060506@voskuil.org> <20150214131320.GA26731@savin.petertodd.org> <3D4F2E23-CADE-4FE7-B960-3F79815E868C@bitsofproof.com> Date: Sat, 14 Feb 2015 13:29:16 -0600 Message-ID: From: Bryan Bishop To: Adam Back , Bryan Bishop , Bryan Bishop Content-Type: multipart/alternative; boundary=001a11c2e62e6a134f050f115e7e X-Spam-Score: -0.6 (/) X-Spam-Report: Spam Filtering performed by mx.sourceforge.net. See http://spamassassin.org/tag/ for more details. -1.5 SPF_CHECK_PASS SPF reports sender host as permitted sender for sender-domain 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (kanzure[at]gmail.com) -0.0 SPF_PASS SPF: sender matches SPF record 1.0 HTML_MESSAGE BODY: HTML included in message -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from author's domain 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily valid -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Headers-End: 1YMiP3-00048a-Re Cc: Bitcoin Dev , libbitcoin@lists.dyne.org Subject: Re: [Bitcoin-development] On Rewriting Bitcoin (was Re: [Libbitcoin] Satoshi client: is a fork past 0.10 possible?) X-BeenThere: bitcoin-development@lists.sourceforge.net X-Mailman-Version: 2.1.9 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 14 Feb 2015 19:29:25 -0000 --001a11c2e62e6a134f050f115e7e Content-Type: text/plain; charset=UTF-8 On Sat, Feb 14, 2015 at 1:04 PM, Adam Back 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 --001a11c2e62e6a134f050f115e7e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On S= at, Feb 14, 2015 at 1:04 PM, Adam Back <adam@cypherspace.org> wrote:
That its highly complex to ma= intain strict consensus between bitcoin versions, does not justify consensu= s rewrite experiments

Correct. However, those mainten= ance costs absolutely do justify working towards formal proofs of correctne= ss for the existing implementation. These plans are no secret and are publi= cly discussed, but I think it would be instrumental to outsiders if the cor= rectness plans and ongoing progress could be mentioned whenever a warning i= s made about unjustified and dangerous Bitcoin consensus rewrite attempts.<= br>
- Bryan
http://heybryan.org/
1 512 203 0507
--001a11c2e62e6a134f050f115e7e--