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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
|
Delivery-date: Tue, 13 Aug 2024 06:58:17 -0700
Received: from mail-oo1-f58.google.com ([209.85.161.58])
by mail.fairlystable.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
(Exim 4.94.2)
(envelope-from <bitcoindev+bncBAABB4GM5W2QMGQEFJ4ZWIA@googlegroups.com>)
id 1sds2S-0005mI-Jg
for bitcoindev@gnusha.org; Tue, 13 Aug 2024 06:58:17 -0700
Received: by mail-oo1-f58.google.com with SMTP id 006d021491bc7-5d5ba2d8d5dsf5727104eaf.2
for <bitcoindev@gnusha.org>; Tue, 13 Aug 2024 06:58:16 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1723557490; cv=pass;
d=google.com; s=arc-20160816;
b=dtyZiRlKww+A1O++YvC6PsD4j1yknQMBno9ue0KoSUb3521LGskzm2JdLMB3/1sdWV
xu2cz/gW1I5N6GBTKg9xjpmoH/WntazwIltIOfAy1JpG2bhVUK2tlH30r+CdBlH07jPI
O31b/ugqvBhFK16x1eyzLKqPp37f9eoUfYL6kLKfEtNhdP5fzdMD9laeZ4OZpleGbnoB
j9xeb/ws9ULC4uKKyZkoCjIRC6wgYl83PF0DF7U7AOMqOeTi36htpPGd29rdI99agDQs
XxFWw3IgIUAcICytc4bHFBNlVtOWVUkFmv5VH+0ksItsNlSsrQPCQImCA3orTXdSSsMh
Dm4w==
ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:content-transfer-encoding
:in-reply-to:from:content-language:references:to:subject
:mime-version:date:message-id:sender:dkim-signature;
bh=kFX4UN0j2EqtBownuEgG/zTS+rahXEJGPsZ8nf5Ex3E=;
fh=JZs3ZB3+ZUdlEntBJ27R48JELcv+QW+dRzcQkS5lR34=;
b=ccxzPUZMy9AOC+adgiufeGiYsZK/UhrhsxU3QUFCf2uUcRWVi6YCMqyFLlEczibbkO
PDEdq2r/AYlZzKZJ7xhEYarWu6D1dv1X9d33bLxOo9+FugF7jA+VsD9eWH6ZufscJJL9
rvX5nijOiuRgdlTdJWyyQyut97mWYnEX4AM+LjZjmIczatwv/5EPetKKEOShDG8Ruii3
VklCkx+9ou5eKJbzR+alTX6Rd84z0F0ZReRBS8bcI9nYMsROIjGcZtN7hB/0OGJiN5dx
qaw1HUJfei837XlU9HaGy3GkUQsy+H9edFlptwlOClmbwwzNxYOBn0tOLuTx1yQPLPCz
ACNw==;
darn=gnusha.org
ARC-Authentication-Results: i=2; gmr-mx.google.com;
dkim=pass header.i=@mattcorallo.com header.s=1723555262 header.b=FPzschr6;
dkim=pass header.i=@clients.mail.as397444.net header.s=1723555263 header.b=iJxSAS12;
spf=pass (google.com: domain of lf-lists@mattcorallo.com designates 69.59.18.99 as permitted sender) smtp.mailfrom=lf-lists@mattcorallo.com;
dmarc=pass (p=NONE sp=REJECT dis=NONE) header.from=mattcorallo.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=20230601; t=1723557490; x=1724162290; darn=gnusha.org;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:content-transfer-encoding:in-reply-to:from
:content-language:references:to:subject:mime-version:date:message-id
:sender:from:to:cc:subject:date:message-id:reply-to;
bh=kFX4UN0j2EqtBownuEgG/zTS+rahXEJGPsZ8nf5Ex3E=;
b=XKfrq7NduNLS7Gdw99Y+lTZ1JhOVjiVfVX7D6gCXSt2vgzo78h8wZ2YjQMxWphqPcV
6KbLVB5WHwy9jltZ31vwaq6OJ0DPf4QMrkPNV3Q2XIHFXvsYwwq4NCodpdWoevs2ht3s
k3N8d9AN3fCI33ZxM8NKANV2JPtqM6cLaRbZrCFnGYvSWAdftLTBtgjCdEV6taK1tvtk
4Ksu8P+o8piG7MajKHAF0sdzvVHL14+TVB7xkWTmaulYgfBANEGXTo+VeAKJ6NfkPzvE
Hat8HfN/ki1fG0+ZRKbpVHgzXwCJ0FYgRBdV5GjdW058LlEJCK67AC4hwtS46DgYDJU7
SWgg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1723557490; x=1724162290;
h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
:list-id:mailing-list:precedence:x-original-authentication-results
:x-original-sender:content-transfer-encoding:in-reply-to:from
:content-language:references:to:subject:mime-version:date:message-id
:x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date
:message-id:reply-to;
bh=kFX4UN0j2EqtBownuEgG/zTS+rahXEJGPsZ8nf5Ex3E=;
b=qVRJh0vYOilr7+MuABbjveNBsTofrWxPX0dyErl4Lc1qeerynzoXe8xNPHl8IIV9u3
wK99X45vIo6uCAEoTZjfwQVk5HwgMDYllcjiwwd6h1kP+Ois7p1o1I+CEhsW58jnOgU0
DnYbgDhBR0zCBU7XxMv7qqiyegEAZYJmcsDzIGBKy0dk9wiwnduIXXn9GOxmjat6E54t
YtAAqiOKXhTUWnRlaHQQjc6Psua2ZLP+twNkg/SFzEEP1ysM5SqVJ8c566ICT59NiaOO
livci418rTB61gOE2fwh6WwaF6zTQnuysG4JRTHW6D0c5xOyRQaIaFSzpSL0dchdqX1W
+UaQ==
Sender: bitcoindev@googlegroups.com
X-Forwarded-Encrypted: i=2; AJvYcCUjmwcYMtx9lSCG3a+/Ff5CpcQOmPnnxsXNALSNMFq7kYErbYSDuKLazSMRsiISRAH6npjk3WryOHfEyt3IQI5CeenCnCs=
X-Gm-Message-State: AOJu0YzmBCSkWeZhrbYlEbBlnjqtpa92nwxifZTorp5IILZvFYkDj84R
e6Cy1AOG3CyF6uEqZERPDQExgkD6NkFp8n3rLWCaSbBzSTzf7fqw
X-Google-Smtp-Source: AGHT+IEjaVEwahkY7zJ07/cf1WpWikPekuxnC7uoIePXVh/xMxhY2jZUpnScjpDeGSTBz/4VX1xSTQ==
X-Received: by 2002:a05:6820:50f:b0:5c6:60d9:b0e1 with SMTP id 006d021491bc7-5da685a8b15mr4182859eaf.2.1723557490147;
Tue, 13 Aug 2024 06:58:10 -0700 (PDT)
X-BeenThere: bitcoindev@googlegroups.com
Received: by 2002:a4a:de44:0:b0:5c4:69bc:810f with SMTP id 006d021491bc7-5d8512d6c7els6248729eaf.2.-pod-prod-07-us;
Tue, 13 Aug 2024 06:58:08 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCWywWkV2qudvo+Ld6f1dGROgYE0i4saED2D20G4f09wUUkbXlSqva3NZQ5bU9dqqujTuY9dNzvVLKNGEvi7RWVoHbXcEMXi5pDbvC8=
X-Received: by 2002:a05:6820:d04:b0:5d8:16d2:23da with SMTP id 006d021491bc7-5da6897b078mr10521eaf.2.1723557488203;
Tue, 13 Aug 2024 06:58:08 -0700 (PDT)
Received: by 2002:a54:4102:0:b0:3db:155f:56ed with SMTP id 5614622812f47-3dc3f27f56emsb6e;
Tue, 13 Aug 2024 06:57:11 -0700 (PDT)
X-Forwarded-Encrypted: i=2; AJvYcCX0EeFahTnUV2JLaM+MIWoUNpHQid6mLhoyZs3Yk6eaVVWYFWiL6qWRSLkvOq+4pjfvF4eBs8fLr8j8yaUfL8Od9ztT2+LpRYK2iJg=
X-Received: by 2002:a17:90a:d50d:b0:2c8:da73:af7d with SMTP id 98e67ed59e1d1-2d3924e01e8mr4020621a91.3.1723557429872;
Tue, 13 Aug 2024 06:57:09 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1723557429; cv=none;
d=google.com; s=arc-20240605;
b=a7LqR2yBO5TOxQaV2VSvGOCEUCprr5HiGnmjA+j9/Bgi1SS6LG0HxSvMdbtiuKgkHS
U+Z3J1OqOSTtUUGt4xo+4+RRappY8KKErVd5lGBPrd0umek8d5rzXDGN0ORwGD9dLDCG
vh5OyllQ3utCyaadimI6udgv2542Rh/ncTkfMyxdM9vA6F6+SrbCYs1j3g/bD1nQyAXV
lFWFJyd/pNDFLncN6T8eseHLzcziRsjQv8QM3t9kCDndjZs97LuvoNeUM4MuVNFW7z3a
KkuNgTNIIProT+/x1EuS7PDpfhTmR+C/sEiEQS7jXnkjCUC5q7ftv6/9qaaRFV7Tqcfo
bP/w==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605;
h=content-transfer-encoding:in-reply-to:from:content-language
:references:to:subject:mime-version:date:message-id:dkim-signature
:dkim-signature;
bh=9rmYqxKnBeBK0zl6RVVZ8StLMuW9zUUrCtVvp9SGQL4=;
fh=L1MWwqdGaAu9uL6+AcBRNaFR2caFpBBu3DrVBSX3lpI=;
b=SpKHenWeKSLQLlVInjxw8O8tyjEA8jOhIKZICpRaGXLW3fVZOsNJtI2FrQzGeco9mj
95jm16VVZTVNQTYqVV4bMvmxRDesqEyOwQ1Dd5qk/yhfDx/qMiDyz/b7TgU9OHS11QG2
LXGqHgOQRRPF3asfN+4xfYl129GoHgQNkIIGTbBUHx1wxW7ougKCvAD9lBlb6ObjztpO
17Vbl5a/xfd5gaKWXTlc6ovmdqF0qslDIKutv9J7+pLc5HiqzVC0vtCYqofgLXum87Lj
4b/NS12tfEu3OFqPjBpVJtAoGuCjHbr2seG/ThVw/oW1nIeuRymfQIxlQ1gnrBRuq2BL
ITTA==;
dara=google.com
ARC-Authentication-Results: i=1; gmr-mx.google.com;
dkim=pass header.i=@mattcorallo.com header.s=1723555262 header.b=FPzschr6;
dkim=pass header.i=@clients.mail.as397444.net header.s=1723555263 header.b=iJxSAS12;
spf=pass (google.com: domain of lf-lists@mattcorallo.com designates 69.59.18.99 as permitted sender) smtp.mailfrom=lf-lists@mattcorallo.com;
dmarc=pass (p=NONE sp=REJECT dis=NONE) header.from=mattcorallo.com
Received: from mail.as397444.net (mail.as397444.net. [69.59.18.99])
by gmr-mx.google.com with ESMTPS id 98e67ed59e1d1-2d39881a3besi157826a91.1.2024.08.13.06.57.09
for <bitcoindev@googlegroups.com>
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Tue, 13 Aug 2024 06:57:09 -0700 (PDT)
Received-SPF: pass (google.com: domain of lf-lists@mattcorallo.com designates 69.59.18.99 as permitted sender) client-ip=69.59.18.99;
X-DKIM-Note: Keys used to sign are likely public at
X-DKIM-Note: https://as397444.net/dkim/mattcorallo.com and
X-DKIM-Note: https://as397444.net/dkim/clients.mail.as397444.net
X-DKIM-Note: For more info, see https://as397444.net/dkim/
Received: by mail.as397444.net with esmtpsa (TLS1.3) (Exim)
(envelope-from <lf-lists@mattcorallo.com>)
id 1sds1L-003cdd-2g;
Tue, 13 Aug 2024 13:57:08 +0000
Message-ID: <26322ee8-08e6-4718-8d1c-60bca8c13c6a@mattcorallo.com>
Date: Tue, 13 Aug 2024 09:57:06 -0400
MIME-Version: 1.0
Subject: Re: [bitcoindev] Mining pools, stratumv2 and oblivious shares
To: Anthony Towns <aj@erisian.com.au>, bitcoindev@googlegroups.com
References: <Zp/GADXa8J146Qqn@erisian.com.au>
Content-Language: en-US
From: Matt Corallo <lf-lists@mattcorallo.com>
In-Reply-To: <Zp/GADXa8J146Qqn@erisian.com.au>
Content-Type: text/plain; charset="UTF-8"; format=flowed
Content-Transfer-Encoding: quoted-printable
X-Original-Sender: lf-lists@mattcorallo.com
X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass
header.i=@mattcorallo.com header.s=1723555262 header.b=FPzschr6;
dkim=pass header.i=@clients.mail.as397444.net header.s=1723555263
header.b=iJxSAS12; spf=pass (google.com: domain of lf-lists@mattcorallo.com
designates 69.59.18.99 as permitted sender) smtp.mailfrom=lf-lists@mattcorallo.com;
dmarc=pass (p=NONE sp=REJECT dis=NONE) header.from=mattcorallo.com
Precedence: list
Mailing-list: list bitcoindev@googlegroups.com; contact bitcoindev+owners@googlegroups.com
List-ID: <bitcoindev.googlegroups.com>
X-Google-Group-Id: 786775582512
List-Post: <https://groups.google.com/group/bitcoindev/post>, <mailto:bitcoindev@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:bitcoindev+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/bitcoindev
List-Subscribe: <https://groups.google.com/group/bitcoindev/subscribe>, <mailto:bitcoindev+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+786775582512+unsubscribe@googlegroups.com>,
<https://groups.google.com/group/bitcoindev/subscribe>
X-Spam-Score: -0.8 (/)
Yes, block witholding attacks are easy to do. This has nothing to do with c=
lient work selection or=20
not, its just...a fact of life with Bitcoin pooled mining.
Doing block withholding by creating invalid templates I'd really call "shit=
ty block withholding"=20
cause at least the pool *can* detect it (with additional CPU power), vs tra=
ditional block=20
withholding attacks they can only use statistical analysis.
In fact, any statistical analysis you can do to detect traditional block wi=
thholding attacks also=20
applies equally to any "shitty block withholding" attacks - the outcome (no=
valid blocks from a=20
miner, but shares) is the same, so any relevant defenses apply equally.
Adding more explicit "negotiation" to Stratum V2 work selection would defea=
t the purpose - if the=20
pool is able to tell a miner not to work on some work it wants to, you migh=
t as well just have the=20
pool pick the work. The only way any kind of centralized pooling with custo=
m work selection adds any=20
value to Bitcoin's decentralization is if the clients insist on mining the =
work they want to -=20
whether on the pool or solo mining if the pool doesn't want it.
Matt
On 7/23/24 11:02 AM, Anthony Towns wrote:
> Hi *,
>=20
> 1. stratumv2 templates via client-push
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> The stratumv2 design document suggests:
>=20
>> Use a separate communication channel for transaction selection so
>> that it does not have a performance impact on the main mining/share
>> communication, as well as can be run in three modes - disabled (i.e.pool
>> does not yet support client work selection, to provide an easier
>> transition from Stratum v1), client-push (to maximally utilize the
>> client=E2=80=99s potential block-receive-latency differences from the po=
ol),
>> and client-negotiated (for pools worried about the potential of clients
>> generating invalid block templates).
>=20
> -- https://stratumprotocol.org/specification/02-Design-Goals/
>=20
> To me, the "client-push" approach (vs the client-negotiated approach)
> seems somewhat unworkable (at least outside of solo mining).
>=20
> In particular, if you're running a pool and have many clients generating
> their own templates, and you aren't doing KYC on those clients, and aren'=
t
> fully validating every proposed share, then it becomes very easy to do a
> "block withholding attack" [0] -- just locally create invalid blocks,
> submit shares as normal, receive payouts as normal for partial shares
> because the shares aren't being validated, and if you happen to find
> an actual block, the pool loses out because none of your blocks were
> actually valid. (You can trivially make your block invalid by simply
> increasing the pool payout by 1 sat above the correct value)
>=20
> Validating arbitrary attacker submitted templates seems likely to be
> expensive, as they can produce transactions which aren't already in your
> mempool, are relatively expensive to validate, and potentially conflict
> with transactions that other clients are selecting, causing you to have
> to churn txs in and out of your mempool.
>=20
> Particularly if an attacker could have an array of low hashpower workers
> all submitting different templates to a server, it seems like it would
> be relatively easy to overload any small array of template-validater
> nodes, given a pure client-push model. In which case client-push would
> only really make sense for pure solo-mining, where you're running your
> own stratumv2 server and your own miners and have full control (and thus
> trust) from end to end.
>=20
> Does that make sense, or am I missing something?
>=20
> I think a negotiated approach could look close to what Ocean's template
> selection looks like today: that is the pool operator runs some nodes wit=
h
> various relay policies that generate blocks, and perhaps also allows for
> externally submitted templates that it validates. Then clients request
> work according to their preferences, perhaps they specify that they
> prefer the "no-ordinals template", or perhaps "whatever template has the
> highest payout (after pool fees)". The pool tracks the various templates
> it's offered in order to validate shares and to broadcast valid blocks
> once one is found.
>=20
> A negotiated approach seems also more amenable to including out of band
> payments, such as mempool.space's accelerator, whether those payments
> are distributed to miners or kept by the pool.
>=20
> This could perhaps also be closer to the ethereum model of
> proposer/builder separation [7], which may provide a modest boost
> to MEV/MEVil resistance -- that is if there is MEV available via some
> clever template construction, specialist template builders can construct
> specialised templates paying slightly higher fees and submit those to
> mining pools, perhaps splitting any excess profits between the pool and
> template constructor. Providing a way for external parties to submit
> high fee templates to pools (rate-limited by a KYC-free bond payment
> over LN perhaps), seems like it would help limit the chances of that
> knowledge being kept as a trade secret to one pool or mining farm, which
> could then use its excess profits to become dominant, and then gain too
> much ability to censor txs. Having pools publish the full templates for
> auditing purposes would allow others to easily incrementally improve on
> clever templates by adding any high-fee censored transactions back in.
>=20
> 2. block withholding and oblivious shares
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Anyway, as suggested by the subject-line and the reference to [0],
> I'm still a bit concerned by block withholding attacks -- where an
> attacker finds decentralised pools and throws hashrate at them to make
> them unprofitable by only sending the 99.9% of shares that aren't valid
> blocks, while withholding/discarding the 0.1% of shares that would be
> a valid block. The result being that decentralised non-KYC pools are
> less profitable and are replaced by centralised KYC pools that can
> ban attackers, and we end up with most hashrate being in KYC pools,
> where it's easier for the pools to censor txs, or miners to be found
> and threatened or have their hardware confiscated. (See also [6])
>=20
> If it were reasonable to mine blocks purely via the tx merkle root,
> with only the pool knowing the coinbase or transaction set at the time
> of mining, I think it could be plausible to change the PoW algorithm to
> enable oblivious shares: where miners can't tell if a given valid share
> corresponds to a valid block or not, but pools and nodes can still easily
> easily validate work form just the block header.
>=20
> In particular I think an approach like this could work:
>=20
> * take the top n-bits of the prev hash in the header, which are
> currently required to be all zeroes due to `powLimit` (n=3D0 for reg=
test,
> n<=3D8 in general)
> * stop requiring these bits to be zero, instead interpret them as
> `nBitsShareShift`, from 0 to up to 255
> * when nBitsShareShift > 0, check that the share hash is less than or
> equal to (2**256 - 1) >> nBitsShareShift, where the share hash is
> calculated as
> sha256d( nVersion, hashPrevBlock, sha256d( hashMerkleRoot ),
> nTime, nBits, nNonce )
> * check that the normal block hash is not greater than
> FromCompact(nBits) << nBitsShareShift
>=20
> Note that this would be a light-client visible hard fork -- any blocks
> that set nBitsShareShift to a non-zero value would be seen as invalid
> by existing software that checks header chains.
>=20
> It's also possible to take a light-client invisible approach by decreasin=
g
> the value of nBits, but providing an `nBitsBump` that new nodes validate
> but existing nodes do not (see [1] eg). This has the drawback that it
> would become easy to fool old nodes/light clients into following the
> wrong chain, as they would not be fully validating proof-of-work, which
> already breaks the usual expectations of a soft fork (see [2] eg). Becaus=
e
> of that, a hard fork approach seems safer here to me. YMMV, obviously.
>=20
> The above approach requires two additional sha256d operations when
> nodes or light clients are validating header work, but no additional
> data, which seems reasonable, and should require no changes to machines
> capable of header-only mining -- you just use sha256d(hashMerkleRoot)
> instead of hashMerkleRoot directly.
>=20
> In this scenario, pools are giving their client sha256d(hashMerkleRoot)
> rather than hashMerkleRoot or a transaction tree directly, and
> `nBitsShareShift` is set based on the share difficulty. Pools then
> check the share is valid, and additionally check whether the share has
> sufficient work to be a valid block, which they are able to do because
> unlike the miner, they can calculate the normal block hash.
>=20
> The above assumes that the pool has full control over the coinbase
> and transaction selection, and that the miner/client is not able to
> reconstruct all that data from its mining job, so this would be another
> reason why a pool would only support a client-negotiated approach for
> templates, not a client-push approach. Note that miners/clients could
> still *audit* the work they've been given if the pool makes the full
> transaction set (including coinbase) for a template available after each
> template expires.
>=20
> Some simple numbers: if a miner with control of 10% hashrate decided
> to attack a decentralised non-KYC pool with 30% hashrate, then they
> could apply 3.3% hashrate towards a blockwithholding attack, reducing
> the victim's income to 90% (30% hashrate finding blocks vs 33% hashrate
> getting payouts) while only reducing their own income to 96.7% (6.7%
> hashrate at 100% payout, 3.3% at 90%). If they decided to attack a miner
> with 50% hashrate, they would need to provide 5.55% of total hashrate to
> reduce the victim's income to 90%, which would reduce their own income
> to 94.45% (4.45% at 100%, 5.55% at 90%).
>=20
> I've seen suggestions that block withholding could be used as a way
> to attack pools that gain >50% hashpower, but as far as I can see it's
> only effective against decentralised, non-KYC pools, and more effective
> against small pools than large ones, which seems more or less exactly
> backwards to what we'd actually want...
>=20
> Some previous discussion of block withholding and KYC is at [3] [4]
> [5].
>=20
> 3. extra header nonce space
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D
>=20
> Given BIP320, you get 2**48 values to attempt per second of nTime,
> which is about 281 TH/s, or enough workspace to satisfy a single S21 XP
> at 270 TH/s. Maybe that's okay, but maybe it's not very much.
>=20
> Since the above would already be a (light-client visible) hard fork, it
> could make sense to also provide extra nonce space that doesn't require
> touching the coinbase transaction (since we're relying on miners not
> having access to the contents of the tx merkle tree).
>=20
> One approach would be to use the leading zeroes in hashPrevBlock as
> extra nonce space (eg, [8]). That's particularly appealing since it
> scales exactly with difficulty -- the higher the difficulty, the more
> nonce space you need, but the more required zeroes you have. However
> the idea above unfortuantely reduces the available number of zero bits
> in the previous block hash by that block's choice of nBitsShareShift,
> which may take a relatively large value in order to reduce traffic with
> the pool. So sadly I don't think that approach would really work.
>=20
> Another way to do that could work might be to add perhaps 20 bytes of
> extra nonce to the header, and calculate the block hashes as:
>=20
> normal hash -> sha256d(
> nVersion, hashPrevBlock,
> sha256d( merkleRoot, TagHash_BIPxxx(extraNonce) ),
> nTime, nBits, nNonce
> )
>=20
> and
>=20
> share hash -> sha256d(
> nVersion, hashPrevBlock,
> sha256d( sha256d(merkleRoot), TagHash_BIPxxx(extraNonce) ),
> nTime, nBits, nNonce
> )
>=20
> That should still be compatible with existing mining hardware. Though it
> would mean nodes are calculating 5x sha256d and 1x taghash to validate
> a block header's PoW, rather than just 1x sha256d (now) or 3x sha256d
> (above).
>=20
> This approach would also not require changes in how light clients verify
> merkle proofs of transaction inclusion in blocks, I believe. (Using a
> bip340-esque TagHash for the extraNonce instead of nothing or sha256d
> hopefully prevents hiding fake transactions in that portion)
>=20
> 4. plausibility
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> It's not clear to me how serious a problem block withholding is. It
> seems like it would explain why we have few pools, why they're all
> pretty centralised, and why major ones care about KYC, but there are
> plenty of other explanations for both those things. So even if this
> was an easy fix, it's not clear to me how much sense it makes to think
> about. And beyond that's it's a consensus change (ouch), a hard fork
> (ouch, ouch) and one that requires every light client to upgrade (ouch,
> ouch, ouch!). However, all of that is still just code, and none of those
> things are impossible to achieve, if they're worth the effort. I would
> expect a multiyear deployment timeline even once the code was written
> and it was widely accepted as a good idea, though.
>=20
> If this is a serious problem for the privacy and decentralisation of
> mining, and a potential threat to bitcoin's censorship resistance,
> it seems to me like it would be worth the effort.
>=20
> 5. conclusions?
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>=20
> Anyway, I wanted to write my thoughts on this down somewhere they could
> be critiqued. Particularly the idea that everyone building their own
> blocks for public pools running stratumv2 doesn't actually make that much
> sense, as far as I can see.
>=20
> I think the share approach in section 2 and the extranonce approach in
> section 3 are slightly better than previous proposed approaches I've seen=
,
> so are worth having written down somewhere.
>=20
> Cheers,
> aj
>=20
> [0] https://bitcoil.co.il/pool_analysis.pdf
>=20
> [1] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-December=
/012051.html
>=20
> [2] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2016-February=
/012443.html
>=20
> [3] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-December=
/012060.html
>=20
> [4] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-December=
/012111.html
>=20
> [5] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-December=
/012069.html
>=20
> [6] https://bitcoinops.org/en/topics/pooled-mining/#block-withholding-att=
acks
>=20
> [7] https://ethereum.org/en/roadmap/pbs/
>=20
> [8] https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2017-December=
/015386.html
>=20
--=20
You received this message because you are subscribed to the Google Groups "=
Bitcoin Development Mailing List" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to bitcoindev+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/=
bitcoindev/26322ee8-08e6-4718-8d1c-60bca8c13c6a%40mattcorallo.com.
|