MIME-Version: 1.0
From: John Newbery <john@johnnewbery.com>
Date: Fri, 16 Aug 2019 11:23:37 -0400
Message-ID: <CAFmfg2tv4AP6GYSeHkgOYBKiWa3ia_KxWWBBjqY5u4-GkW6oLw@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="000000000000a6f50905903d9310"
Subject: [bitcoin-dev] Burying CSV and segwit soft fork activations
Precedence: list

--000000000000a6f50905903d9310
Content-Type: text/plain; charset="UTF-8"

Once a consensus change has been activated and buried by sufficient work,
we consider the height of that change to be historic fact. The exact
activation method is no longer of practical interest. In some cases the
cause of activation is not even decidable. For example, we know that segwit
activated at height 481,824 but it's debatable whether that was due to BIP
9 version bits signaling, BIP 148 UASF, or a combination of the two.

In such cases, we can significantly simplify the implementation by
hard-coding the activation height. This was done for the 3 ISM soft forks
(BIPs 34, 66 and 65) in BIP 90 [1] [2]. P2SH and segwit script enforcement
were backdated to the genesis block (with the exception of for one block)
for similar code simplification reasons [3] [4].

'Burying' deployments in this way provides a number of benefits:

1. consensus code is simplified and implementers can avoid writing and
testing code paths that are no longer relevant.
2. a hard-coded activation height is far easier to review and re-implement
than complex deployment activation logic.
3. using a non-contextual check (in this case a hard-coded constant) can
provide performance and code structure benefits (eg reducing lock
contention on blockchain data).

Bitcoin Core PR 16060 [5] was recently merged, which buries the CSV and
segwit activation heights to 419328 and 481824 respectively.

It is technically possible for this to be a non-backwards compatible
change. In the event of a re-org below the BIP9 segwit LOCKED_IN height,
this change _could_ cause a chainsplit between pre-0.19 nodes and 0.19
nodes. Such a re-org would require re-doing over 93% of the total work ever
committed to Bitcoin mining (chainwork is 0x7eb6a652531c5ad6a4b8e9 at
height 481824 compared to 0x07d75b9d25fb6602be2b51c6 at height 590393). To
quote from BIP90:

> The occurrence of such a reorg that would cause the activating block to
be disconnected would raise fundamental concerns about the security
assumptions of Bitcoin, a far bigger issue than any non-backwards
compatible change.

> So while this proposal could theoretically result in a consensus split,
it is extremely unlikely, and in particular any such circumstances would be
sufficiently damaging to the Bitcoin network to dwarf any concerns about
the effects of this proposed change.

(See the 'Considerations' section of BIP 90 for more details).

Cheers,
John

[1] https://github.com/bitcoin/bips/blob/master/bip-0090.mediawiki
[2] https://github.com/bitcoin/bitcoin/pull/8391
[3]
https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2018-January/015588.html
[4] https://github.com/bitcoin/bitcoin/pull/11739
[5] https://github.com/bitcoin/bitcoin/pull/16060

--000000000000a6f50905903d9310
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Once a consensus change has been activated and buried by s=
ufficient work, we consider the height of that change to be historic fact. =
The exact activation method is no longer of practical interest. In some cas=
es the cause of activation is not even decidable. For example, we know that=
 segwit activated at height 481,824 but it&#39;s debatable whether that was=
 due to BIP 9 version bits signaling, BIP 148 UASF, or a combination of the=
 two.<br><br>In such cases, we can significantly simplify the implementatio=
n by hard-coding the activation height. This was done for the 3 ISM soft fo=
rks (BIPs 34, 66 and 65) in BIP 90 [1] [2]. P2SH and segwit script enforcem=
ent were backdated to the genesis block (with the exception of for one bloc=
k) for similar code simplification reasons [3] [4].<br><br>&#39;Burying&#39=
; deployments in this way provides a number of benefits:<br><br>1. consensu=
s code is simplified and implementers can avoid writing and testing code pa=
ths that are no longer relevant.<br>2. a hard-coded activation height is fa=
r easier to review and re-implement than complex deployment activation logi=
c.<br>3. using a non-contextual check (in this case a hard-coded constant) =
can provide performance and code structure benefits (eg reducing lock conte=
ntion on blockchain data).<br><br>Bitcoin Core PR 16060 [5] was recently me=
rged, which buries the CSV and segwit activation heights to 419328 and 4818=
24 respectively.<br><br>It is technically possible for this to be a non-bac=
kwards compatible change. In the event of a re-org below the BIP9 segwit LO=
CKED_IN height, this change _could_ cause a chainsplit between pre-0.19 nod=
es and 0.19 nodes. Such a re-org would require re-doing over 93% of the tot=
al work ever committed to Bitcoin mining (chainwork is 0x7eb6a652531c5ad6a4=
b8e9 at height 481824 compared to 0x07d75b9d25fb6602be2b51c6 at height 5903=
93). To quote from BIP90:<br><br>&gt; The occurrence of such a reorg that w=
ould cause the activating block to be disconnected would raise fundamental =
concerns about the security assumptions of Bitcoin, a far bigger issue than=
 any non-backwards compatible change.<br><br>&gt; So while this proposal co=
uld theoretically result in a consensus split, it is extremely unlikely, an=
d in particular any such circumstances would be sufficiently damaging to th=
e Bitcoin network to dwarf any concerns about the effects of this proposed =
change.<br><br>(See the &#39;Considerations&#39; section of BIP 90 for more=
 details).<div><br></div><div>Cheers,</div><div>John<br><br>[1] <a href=3D"=
https://github.com/bitcoin/bips/blob/master/bip-0090.mediawiki" target=3D"_=
blank">https://github.com/bitcoin/bips/blob/master/bip-0090.mediawiki</a><b=
r>[2] <a href=3D"https://github.com/bitcoin/bitcoin/pull/8391" target=3D"_b=
lank">https://github.com/bitcoin/bitcoin/pull/8391</a><br>[3] <a href=3D"ht=
tps://lists.linuxfoundation.org/pipermail/bitcoin-dev/2018-January/015588.h=
tml" target=3D"_blank">https://lists.linuxfoundation.org/pipermail/bitcoin-=
dev/2018-January/015588.html</a><br>[4] <a href=3D"https://github.com/bitco=
in/bitcoin/pull/11739" target=3D"_blank">https://github.com/bitcoin/bitcoin=
/pull/11739</a><br>[5] <a href=3D"https://github.com/bitcoin/bitcoin/pull/1=
6060" target=3D"_blank">https://github.com/bitcoin/bitcoin/pull/16060</a><b=
r></div></div>

--000000000000a6f50905903d9310--