1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
Return-Path: <gmaxwell@gmail.com>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id 262B81660
for <bitcoin-dev@lists.linuxfoundation.org>;
Thu, 1 Oct 2015 01:08:45 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-io0-f179.google.com (mail-io0-f179.google.com
[209.85.223.179])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id BAC091B0
for <bitcoin-dev@lists.linuxfoundation.org>;
Thu, 1 Oct 2015 01:08:44 +0000 (UTC)
Received: by iofh134 with SMTP id h134so68590789iof.0
for <bitcoin-dev@lists.linuxfoundation.org>;
Wed, 30 Sep 2015 18:08:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
h=mime-version:date:message-id:subject:from:to:cc:content-type
:content-transfer-encoding;
bh=r+BPONHtBsN1njVaZNfkAuBRThtUAupZmyjpG3K/uRg=;
b=flmHxy1xmJBFtrfP0AEwzSPg+4vBa3OBF/hulm92x+NGiayveA1fK98uahpcPkETls
VwY2yOBEUSeQvfDQ6zZD2Neji+OPXVE7ZBjcGIv+1ycSW/gkLgT295VL0KcM1+PdPgUS
FvQAjjqO0n3w9TbDq+wUwtgy+/w6s11jI1IW7ph8Huu6npe0xiqnxBCN0Cx6FrGSc1Zc
H5oUPreyZAPaAO7I/IqmMqrxAt93+MkFZCbafuUjrQrMjaWsnRqAH1JjW3/SgUElLsI2
bn1Sle6ilkEaqzXqXBHCWq/9EtXk3G8PciXHo/FzGt3sUeqc1XFaYhNgP63BTRljUN4E
GHFQ==
MIME-Version: 1.0
X-Received: by 10.107.18.26 with SMTP id a26mr8572592ioj.150.1443661724155;
Wed, 30 Sep 2015 18:08:44 -0700 (PDT)
Received: by 10.107.19.30 with HTTP; Wed, 30 Sep 2015 18:08:44 -0700 (PDT)
Date: Thu, 1 Oct 2015 01:08:44 +0000
Message-ID: <CAAS2fgQoqk+YJfWnFwRyV+SBiwd4j2WDu2f9BxKXFNDkDhiYfg@mail.gmail.com>
From: Gregory Maxwell <gmaxwell@gmail.com>
To: =?UTF-8?B?Sm9yZ2UgVGltw7Nu?= <jtimon@jtimon.cc>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM,
RCVD_IN_DNSWL_LOW autolearn=ham version=3.3.1
X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on
smtp1.linux-foundation.org
Cc: Bitcoin Dev <bitcoin-dev@lists.linuxfoundation.org>
Subject: [bitcoin-dev] Pedantic note on the use of "eventual consistency" to
describe Bitcoin [Was: Let's deploy BIP65 CHECKLOCKTIMEVERIFY!]
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Bitcoin Development Discussion <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Oct 2015 01:08:45 -0000
On Wed, Sep 30, 2015 at 10:14 PM, Jorge Tim=C3=B3n
<bitcoin-dev@lists.linuxfoundation.org> wrote:
> reason you don't think guaranteed eventual consistency has any value
Obligatory pedantic correction: In Bitcoin we don't actually achieve
"eventual consistency" of the kind which is usually described in the
literature. In Bitcoin the probability of reorg to a particular point
diminishes over time but never is guaranteed to be _zero_ (at least
within the framework of bitcoin itself), and at the same time we have
stronger ordering properties than is normally implied by eventual
consistency (so, e.g. an update may never happen if its conflicted
first).
This is completely irrelevant to your point-- soft forks obey the
normal consistency process for bitcoin where a hard fork (especially a
mutual one) does not... but I'm sure there is an academic out there
that cringes when we use the words "eventual consistency" to describe
Bitcoin, and I feel like I'd be remiss to not offer this minor
correction. :)
|
