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
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
|
Return-Path: <sergio.d.lerner@gmail.com>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id E9D9DB65
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 13 Feb 2017 14:49:06 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-qt0-f173.google.com (mail-qt0-f173.google.com
[209.85.216.173])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 6FDC7A6
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 13 Feb 2017 14:49:05 +0000 (UTC)
Received: by mail-qt0-f173.google.com with SMTP id k15so85118208qtg.3
for <bitcoin-dev@lists.linuxfoundation.org>;
Mon, 13 Feb 2017 06:49:05 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
h=mime-version:in-reply-to:references:from:date:message-id:subject:to
:cc; bh=MR3dbpJVC+lKAsVycg6wB9wG4KZy1wXFFVgw4sPuB2g=;
b=Q7sn5l2zwTp7Qumfn7RQOCrCzgHgTeyXfyrspEcL6mXGCgS9D3SlQFtxSeb3oecRRx
UqYQEdkvA5J/IF3Fb/IC5tWSAmHmwPzmY2chl3HkhWnd2fTdVN0yQ+3/JjnkuhaHgt4M
KMskXBFb1tf8tWMwLpftDLfgEGeA48QNFByIvyqgFcMPDlZhKBf0F4tukq/ZvXvsleM+
z3jZc7HQ6wwwHSO8Y0PPPt8Az3Qd8GT/5eag4d/g7Q+i3iNB5nHC+GxIej086Dw8bcCJ
YzQIgSPA3RIKUjIXMkf+GNYOVC13U+7Jgkpm+MlMfw0Zq8Pr98g0JbkhMAuvthTDK0oI
bN7Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20161025;
h=x-gm-message-state:mime-version:in-reply-to:references:from:date
:message-id:subject:to:cc;
bh=MR3dbpJVC+lKAsVycg6wB9wG4KZy1wXFFVgw4sPuB2g=;
b=V484NtYDsXzB9LpvmSsONCtxE0koc+KXUDMc8w31R5xvc8o3+zHvABvFnhm3z4WFkF
dl8CB3zmfbj77boHAg0sdPMrA4uuZ70QUpNLb5QhXrEQhaHNnGWdyV8cxOa4pWQ4VOgH
Jyj5XyBqqhweZdmcVPNcvOAq/grazJjI9UIS9mYWl6T/6U/5etnoULCOWJXnp6y6j9Qz
MvUcRPTSM5RkxiIhSkNjJbXIBhcwhD67N05XnHGPC/YK90RoqRFeS3RpzjRJYhcSSCTe
6EqfWjQnY3zVzDf8UnPYdZyaK07QLzS4A/Lq/2/jq2K3l/+/EvQfdD3AvYdibVx2dfUX
WZ0Q==
X-Gm-Message-State: AMke39mSTrfy99fuU6mcjC2ZJFTEg+gerpoOuoW4TxTWMhSEM+og73SZOZWlGfUzqyVUyiUdFTa2KNKgLjpuog==
X-Received: by 10.200.57.9 with SMTP id s9mr21466737qtb.125.1486997344471;
Mon, 13 Feb 2017 06:49:04 -0800 (PST)
MIME-Version: 1.0
Received: by 10.237.52.1 with HTTP; Mon, 13 Feb 2017 06:48:24 -0800 (PST)
In-Reply-To: <BL2PR03MB4355F39BE003DBF200591EBEE590@BL2PR03MB435.namprd03.prod.outlook.com>
References: <BL2PR03MB435AA04A0AB8AC0E7781CA7EE430@BL2PR03MB435.namprd03.prod.outlook.com>
<CAKzdR-qvDcUMcFDyS_w5XvuYi+zBzH_z9rp=EqBkN3o+MyuubA@mail.gmail.com>
<BL2PR03MB4355F39BE003DBF200591EBEE590@BL2PR03MB435.namprd03.prod.outlook.com>
From: Sergio Demian Lerner <sergio.d.lerner@gmail.com>
Date: Mon, 13 Feb 2017 11:48:24 -0300
Message-ID: <CAKzdR-p25HXQty_o0y+rS2dBz568tCjyW9kvAoBJxJuii8k9eA@mail.gmail.com>
To: John Hardy <john@seebitcoin.com>
Content-Type: multipart/alternative; boundary=001a11420d5c7fd28c05486a8c8a
X-Spam-Status: No, score=-2.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID, DKIM_VALID_AU, FREEMAIL_FROM, HTML_MESSAGE,
RCVD_IN_DNSWL_LOW,
RCVD_IN_SORBS_SPAM 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@lists.linuxfoundation.org"
<bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Proof of Nodework (PoNW) - a method to
trustlessly reward nodes for storing and verifying the blockchain
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: Bitcoin Protocol 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: Mon, 13 Feb 2017 14:49:07 -0000
--001a11420d5c7fd28c05486a8c8a
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
On Mon, Feb 13, 2017 at 8:58 AM, John Hardy <john@seebitcoin.com> wrote:
> Hi Sergio,
>
>
> Thanks for your response, interesting work, very excited for RSK.
>
>
> I like the ephemeral payload, I suppose that aspect of my proposal could
> be described as ephemeral blockspace.
>
>
> I'm curious about the challenge phase, what incentive do nodes to have to
> check other nodes' responses?
>
The reward is split between all full nodes. Therefore each full node has an
incentive to check at least some other full nodes responses because there
is a competition for the full node reward. At the end, each full node
response will be checked by more than other node with high probability.
Also each full node does a small pre-deposit, that is consumed if the node
cheats.
Is any validation of responses mandatory, or does policing the system rely
> on altruism?
>
>
> As previously said, validation is not mandatory.
> I also wondered how time-based responses are enforced? What prevents a
> miner censoring challenge responses so they do not get included in a bloc=
k
> 'in time' - if inclusion within a block is the mechanism used?
>
There is not many defenses against censorship but try to hide your identity
until the end of the protocol. But if somebody knows that your transactions
belong to you, then there is little defense. We just wait more than a
single block for the commitments, so several miners must collude in order
to censor a transaction.
>
> I saw your tweet on Lumino - sounds very promising. Would be keen to take
> a look at the paper if you're looking for any additional review at this
> stage.
>
I'm keeping it private against all my desire because I want it to be
reviewed before I publish it. Credibility is very easily lost.
The same idea (Ephemeral Data) has been used to design the Lumino Network.
>
> Regards,
>
>
> John Hardy
>
>
> ------------------------------
> *From:* Sergio Demian Lerner <sergio.d.lerner@gmail.com>
> *Sent:* Sunday, February 12, 2017 8:22 PM
> *To:* John Hardy; Bitcoin Protocol Discussion
> *Subject:* Re: [bitcoin-dev] Proof of Nodework (PoNW) - a method to
> trustlessly reward nodes for storing and verifying the blockchain
>
> Hi John,
> RSK platform (a Bitcoin sidechain) is already prepared to do something
> similar to this, although very efficiently. We set apart 1% of the block
> reward to automatically reward full nodes.
>
> We have two systems being evaluated: the first is based on PoUBS (Proof o=
f
> Unique Blockchain Storage) which uses asymmetric-time operations to encod=
e
> the blockchain based on each user public key such that decoding is fast,
> but encoding is slow. The second is more traditional proof of
> retrievability, but it requires some ASIC-resistance assumptions.
>
> In both cases, a special smart contract is being called at every block
> that creates periodic challenges. Every full node that wants to participa=
te
> can submits a commitment to the Merkle hash root of a pseudo-random
> sequence of encoded blocks. Then the smart contract chooses random elemen=
ts
> from the committed dataset, and each full node has a period to submit
> Merkle-proofs that such random elements belong to the commitment.
>
> To prevent blockchain bloat we designed a very cool new type of
> transaction payload: Ephemeral Payload. Ephemeral payload is a payload in=
a
> transaction that gets discarded after N blocks if no smart contract does
> reference it. If is does, it's solidified forever in the blockchain.
> Then there is a challenge phase where other full nodes can inform the
> smart contract if they find an error in the submitted responses. Then the
> smart contract ONLY evaluates the responses which have been questioned by
> users.
>
> This way the smart contract does very little computation (only when a use=
r
> misbehaves) and the blockchain normally does not store any proof forever
> (only the ones created by misbehaving users).
>
> Because RSK/Rootstock has a very short block interval (10 seconds), all
> this happens very quickly and does not require much computation.
>
> Best regards,
> Sergio Lerner
> Chief Scientist RSK (aka Roostock)
>
>
> On Tue, Feb 7, 2017 at 8:27 AM, John Hardy via bitcoin-dev <
> bitcoin-dev@lists.linuxfoundation.org> wrote:
>
>> Proof of Nodework (PoNW) is a way to reward individual nodes for keeping
>> a full copy of and verifying the blockchain.
>>
>> Hopefully they also do useful =E2=80=98traditional=E2=80=99 node activit=
ies too like
>> relay transactions and blocks, but there isn=E2=80=99t really any way I =
can think
>> of to trustlessly verify this also.
>>
>> PoNW would require a new separate area of block space, a nodeblock,
>> purely concerned with administering the system. A nodeblock is committed=
to
>> a block as with SegWit. A recent history of nodeblocks needs to be store=
d
>> by nodes, however the data eventually becomes obsolete and so does not n=
eed
>> to be retained forever.
>>
>> In order to prevent Sybil, a node must register an Bitcoin address by
>> submitting an addNode transaction - along with a security deposit to
>> prevent cheating.
>>
>> This transaction will be stored in the nodeblock. Once a node can see
>> that its addNode transaction has been added it can begin the PoNW proces=
s.
>> The node=E2=80=99s registered address will be hashed with the block head=
er of the
>> block it wants to work on. This will determine exactly where within the
>> blockchain to begin the PoNW.
>>
>> The PoNW method could be as simple as creating a Merkle tree from the
>> randomly generated point on the blockchain, though a method that is
>> CPU/Memory heavy and less likely to be replaced by dedicated hardware li=
ke
>> ASICs would be better. This process could not begin until the most recen=
t
>> block has been fully verified, and while being carried out should still
>> enable normal relay activities to proceed as normal, since it shouldn=E2=
=80=99t tie
>> up network at all. The data processed should also be mixed with data fro=
m
>> the latest block so that it cannot be computed in advance.
>>
>> A node can do as much PoNW for a block as it likes. Once finished it wil=
l
>> then create a nodeWorkComplete transaction for that block with its final
>> proof value, add how much =E2=80=98work=E2=80=99 it did - and create a c=
ouple of assertions
>> about what it processed (such as there were x number of pieces of data
>> matching a particular value during calculating). These assertions can be
>> accurate or inaccurate.
>>
>> The system will run in epochs. During each epoch of say 2016 blocks,
>> there will be an extended window for PoNW transactions to be added to
>> nodeblocks to limit minor censorship.
>>
>> The random hash generated from a node=E2=80=99s address and blockhash wi=
ll also
>> be used to determine nodeWorkComplete transactions from a previous block
>> that the node must also verify, and correctly calculate whether the
>> assertions it made were true or false. The average PoNW that a node
>> performed in its previous x nodeblocks will be used to determine the tar=
get
>> PoNW for the node to verify - and this will randomly be a large number o=
f
>> smaller PoNW transactions, or a smaller number of large PoNW. This proce=
ss
>> will be deterministic based on that block and address hash. All the data
>> will be put together in a transaction and then signed by the node addres=
ses
>> private key.
>>
>> If a nodeWorkComplete transaction contains any incorrect information in
>> an attempt to cheat the validation process a challenge transaction can b=
e
>> created. This begins a refereeing process where other nodes check the
>> challenge and vote whether it is to be upheld or not. The losing node is
>> punished by losing their accrued PoNW for that epoch and a percentage of
>> their security deposit.
>>
>> Nodes will also be punished if they broadcast more than one signed
>> transaction per block.
>>
>> In order to prevent nodes from having multiple keys registered - which
>> would enable them choose to perform PoNW on a subset of the data that th=
ey
>> hold - the share of reward that the node gets will be multiplied based o=
n
>> the number of blocks within an epoch that the node performs PoNW on. The
>> share of reward is limited based on how much security deposit has been
>> staked. The higher the PoNW the higher the deposit needed in order to cl=
aim
>> their full allocation of any reward.
>>
>> At the end of an epoch, with a wait period for any delayed or censored
>> transactions or challenges to be included and settled up, the process of
>> calculating the reward each node is due can begin. This will then be the=
n
>> paid in a regular block, and means for all the data involved in PoNW, th=
e
>> only permanent mark it makes on the main blockchain is for a transaction
>> that pays all addresses their share of the reward at the end of epoch. A=
ny
>> miner who creates a block without correctly calculating and paying the d=
ue
>> reward will have mined an invalid block and be orphaned.
>>
>> The question of where and how much the reward comes from is a different
>> one. It could come from the existing miner reward, or a special new tx
>> donation fee for nodes. If there was some way for users to =E2=80=98dona=
te=E2=80=99 to the
>> reward pool for nodes this would increase the incentive for additional
>> nodes to participate on the network in the event of centralisation.
>>
>> This is a relatively effective way to create a reward for all nodes
>> participating on a network. I=E2=80=99d be keen to field any questions o=
r critiques.
>>
>> Thanks,
>>
>>
>> John Hardy
>>
>> john@seebitcoin.com
>>
>> _______________________________________________
>> bitcoin-dev mailing list
>> bitcoin-dev@lists.linuxfoundation.org
>> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
>>
>>
>
--001a11420d5c7fd28c05486a8c8a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Mon, Feb 13, 2017 at 8:58 AM, John Hardy <span dir=3D"ltr"><<a hr=
ef=3D"mailto:john@seebitcoin.com" target=3D"_blank">john@seebitcoin.com</a>=
></span> wrote:<br><blockquote class=3D"gmail_quote" style=3D"margin:0px=
0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir=3D"ltr">
<div id=3D"gmail-m_2300798131680571998divtagdefaultwrapper" style=3D"font-s=
ize:12pt;color:rgb(0,0,0);font-family:calibri,arial,helvetica,sans-serif" d=
ir=3D"ltr">
<p>Hi Sergio,</p>
<p><br>
</p>
<p>Thanks for your response, interesting work, very excited for RSK.</p>
<p><br>
</p>
<p>I like the ephemeral payload, I suppose that aspect of my proposal could=
be described as ephemeral=C2=A0blockspace.</p>
<p><br>
</p>
<p>I'm curious about the challenge phase, what incentive do nodes to ha=
ve to check other nodes' responses?</p></div></div></blockquote><div>Th=
e reward is split between all full nodes. Therefore each full node has an i=
ncentive to check at least some other full nodes responses because there is=
a competition for the full node reward. At the end, each full node respons=
e will be checked by more than other node with high probability. Also each =
full node does a small pre-deposit, that is consumed if the node cheats.</d=
iv><div><br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px=
0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div di=
r=3D"ltr"><div id=3D"gmail-m_2300798131680571998divtagdefaultwrapper" style=
=3D"font-size:12pt;color:rgb(0,0,0);font-family:calibri,arial,helvetica,san=
s-serif" dir=3D"ltr"><p> Is any validation of responses mandatory, or does =
policing the system rely on altruism?</p>
<p><br></p></div></div></blockquote><div>As previously said, =C2=A0validati=
on is not mandatory.</div><blockquote class=3D"gmail_quote" style=3D"margin=
:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"=
><div dir=3D"ltr"><div id=3D"gmail-m_2300798131680571998divtagdefaultwrappe=
r" style=3D"font-size:12pt;color:rgb(0,0,0);font-family:calibri,arial,helve=
tica,sans-serif" dir=3D"ltr"><p>
</p>
<p>I also wondered how time-based responses are enforced? What prevents a m=
iner censoring challenge responses so they do not get included in a block &=
#39;in time' - if =C2=A0inclusion within a block is the mechanism used?=
</p></div></div></blockquote><div>There is not many defenses against censor=
ship but try to hide your identity until the end of the protocol. But if so=
mebody knows that your transactions belong to you, then there is little def=
ense. We just wait more than a single block for the commitments, so several=
miners must collude in order to censor a transaction.=C2=A0</div><blockquo=
te class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px =
solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div id=3D"gmail-=
m_2300798131680571998divtagdefaultwrapper" style=3D"font-size:12pt;color:rg=
b(0,0,0);font-family:calibri,arial,helvetica,sans-serif" dir=3D"ltr">
<p><br>
</p>
<p>I saw your tweet on Lumino - sounds very promising. Would be keen to tak=
e a look at the paper if you're looking for any additional review at th=
is stage.</p></div></div></blockquote><div>I'm keeping it private again=
st all my desire because I want it to be reviewed before I publish it. Cred=
ibility is very easily lost.=C2=A0</div><div>The same idea (Ephemeral Data)=
has been used to design the Lumino Network.<br></div><blockquote class=3D"=
gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(20=
4,204,204);padding-left:1ex"><div dir=3D"ltr"><div id=3D"gmail-m_2300798131=
680571998divtagdefaultwrapper" style=3D"font-size:12pt;color:rgb(0,0,0);fon=
t-family:calibri,arial,helvetica,sans-serif" dir=3D"ltr">
<p><br>
</p>
<p>Regards,</p>
<p><br>
</p>
<p>John Hardy</p>
<br>
<br>
<div style=3D"color:rgb(0,0,0)">
<hr style=3D"display:inline-block;width:98%">
<div id=3D"gmail-m_2300798131680571998divRplyFwdMsg" dir=3D"ltr"><font face=
=3D"Calibri, sans-serif" color=3D"#000000" style=3D"font-size:11pt"><b>From=
:</b> Sergio Demian Lerner <<a href=3D"mailto:sergio.d.lerner@gmail.com"=
target=3D"_blank">sergio.d.lerner@gmail.com</a>><br>
<b>Sent:</b> Sunday, February 12, 2017 8:22 PM<br>
<b>To:</b> John Hardy; Bitcoin Protocol Discussion<br>
<b>Subject:</b> Re: [bitcoin-dev] Proof of Nodework (PoNW) - a method to tr=
ustlessly reward nodes for storing and verifying the blockchain</font>
<div>=C2=A0</div>
</div><div><div class=3D"gmail-h5">
<div>
<div dir=3D"ltr">Hi John,
<div>=C2=A0RSK platform (a Bitcoin sidechain) is already prepared to do som=
ething similar to this, although very efficiently. We set apart 1% of the b=
lock reward to automatically reward full nodes.</div>
<div><br>
</div>
<div>We have two systems being evaluated: the first is based on PoUBS (Proo=
f of Unique Blockchain Storage) which uses asymmetric-time operations to en=
code the blockchain based on each user public key such that decoding is fas=
t, but encoding is slow. The second
is more traditional proof of retrievability, but it requires some ASIC-res=
istance assumptions.=C2=A0</div>
<div><br>
</div>
<div>In both cases, a special smart contract is being called at every block=
that creates periodic challenges. Every full node that wants to participat=
e can submits a commitment to the Merkle hash root of a pseudo-random seque=
nce of encoded blocks. Then the
smart contract chooses random elements from the committed dataset, and eac=
h full node has a period to submit Merkle-proofs that such random elements =
belong to the commitment.</div>
<div><br>
</div>
<div>To prevent blockchain bloat we designed a very cool new type of transa=
ction payload: Ephemeral Payload. Ephemeral payload is a payload in a trans=
action that gets discarded after N blocks if no smart contract does referen=
ce it. If is does, it's solidified
forever in the blockchain.</div>
<div>Then there is a challenge phase where other full nodes can inform the =
smart contract if they find an error in the submitted responses. Then the s=
mart contract ONLY evaluates the responses which have been questioned by us=
ers.</div>
<div><br>
</div>
<div>This way the smart contract does very little computation (only when a =
user misbehaves) and the blockchain normally does not store any proof forev=
er (only the ones created by misbehaving users).</div>
<div><br>
</div>
<div>Because RSK/Rootstock has a very short block interval (10 seconds), al=
l this happens very quickly and does not require much computation.=C2=A0</d=
iv>
<div><br>
</div>
<div>Best regards,<br>
</div>
<div>=C2=A0Sergio Lerner</div>
<div>=C2=A0Chief Scientist RSK (aka Roostock)</div>
<div><br>
</div>
</div>
<div class=3D"gmail_extra"><br>
<div class=3D"gmail_quote">On Tue, Feb 7, 2017 at 8:27 AM, John Hardy via b=
itcoin-dev
<span dir=3D"ltr"><<a href=3D"mailto:bitcoin-dev@lists.linuxfoundation.o=
rg" target=3D"_blank">bitcoin-dev@lists.<wbr>linuxfoundation.org</a>></s=
pan> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir=3D"ltr">
<div id=3D"gmail-m_2300798131680571998m_8783055025000134944divtagdefaultwra=
pper" dir=3D"ltr" style=3D"font-size:12pt;color:rgb(0,0,0);font-family:cali=
bri,arial,helvetica,sans-serif">
<p><span id=3D"gmail-m_2300798131680571998m_8783055025000134944docs-interna=
l-guid-4ac5038f-1853-2d21-3f80-3a53c5100e51"></span></p>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">Proof of Nodework (PoNW) is=
a way to reward individual nodes
for keeping a full copy of and verifying the blockchain.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">Hopefully they also do usef=
ul =E2=80=98traditional=E2=80=99 node activities
too like relay transactions and blocks, but there isn=E2=80=99t really any=
way I can think of to trustlessly verify this also.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">PoNW would require a new se=
parate area of block space, a nodeblock,
purely concerned with administering the system. A nodeblock is committed t=
o a block as with SegWit. A recent history of nodeblocks needs to be stored=
by nodes, however the data eventually becomes obsolete and so does not nee=
d to be retained forever.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">In order to prevent Sybil, =
a node must register an Bitcoin
address by submitting an addNode transaction - along with a security depos=
it to prevent cheating.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">This transaction will be st=
ored in the nodeblock. Once a node
can see that its addNode transaction has been added it can begin the PoNW =
process. The node=E2=80=99s registered address will be hashed with the bloc=
k header of the block it wants to work on. This will determine exactly wher=
e within the blockchain to begin the PoNW.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">The PoNW method could be as=
simple as creating a Merkle tree
from the randomly generated point on the blockchain, though a method that =
is CPU/Memory heavy and less likely to be replaced by dedicated hardware li=
ke ASICs would be better. This process could not begin until the most recen=
t block has been fully verified,
and while being carried out should still enable normal relay activities to=
proceed as normal, since it shouldn=E2=80=99t tie up network at all. The d=
ata processed should also be mixed with data from the latest block so that =
it cannot be computed in advance.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">A node can do as much PoNW =
for a block as it likes. Once finished
it will then create a nodeWorkComplete transaction for that block with its=
final proof value, add how much =E2=80=98work=E2=80=99 it did - and create=
a couple of assertions about what it processed (such as there were x numbe=
r of pieces of data matching a particular value
during calculating). These assertions can be accurate or inaccurate.</span=
></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">The system will run in epoc=
hs. During each epoch of say 2016
blocks, there will be an extended window for PoNW transactions to be added=
to nodeblocks to limit minor censorship.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">The random hash generated f=
rom a node=E2=80=99s address and blockhash
will also be used to determine nodeWorkComplete transactions from a previo=
us block that the node must also verify, and correctly calculate whether th=
e assertions it made were true or false. The average PoNW that a node perfo=
rmed in its previous x nodeblocks
will be used to determine the target PoNW for the node to verify - and thi=
s will randomly be a large number of smaller PoNW transactions, or a smalle=
r number of large PoNW. This process will be deterministic based on that bl=
ock and address hash. All the data
will be put together in a transaction and then signed by the node addresse=
s private key.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">If a nodeWorkComplete trans=
action contains any incorrect information
in an attempt to cheat the validation process a challenge transaction can =
be created. This begins a refereeing process where other nodes check the ch=
allenge and vote whether it is to be upheld or not. The losing node is puni=
shed by losing their accrued PoNW
for that epoch and a percentage of their security deposit.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">Nodes will also be punished=
if they broadcast more than one
signed transaction per block.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">In order to prevent nodes f=
rom having multiple keys registered
- which would enable them choose to perform PoNW on a subset of the data t=
hat they hold - the share of reward that the node gets will be multiplied b=
ased on the number of blocks within an epoch that the node performs PoNW on=
. The share of reward is limited
based on how much security deposit has been staked. The higher the PoNW th=
e higher the deposit needed in order to claim their full allocation of any =
reward.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">At the end of an epoch, wit=
h a wait period for any delayed
or censored transactions or challenges to be included and settled up, the =
process of calculating the reward each node is due can begin. This will the=
n be then paid in a regular block, and means for all the data involved in P=
oNW, the only permanent mark it
makes on the main blockchain is for a transaction that pays all addresses =
their share of the reward at the end of epoch. Any miner who creates a bloc=
k without correctly calculating and paying the due reward will have mined a=
n invalid block and be orphaned.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">The question of where and h=
ow much the reward comes from is
a different one. It could come from the existing miner reward, or a specia=
l new tx donation fee for nodes. If there was some way for users to =E2=80=
=98donate=E2=80=99 to the reward pool for nodes this would increase the inc=
entive for additional nodes to participate on the
network in the event of centralisation.</span></p>
<br>
<p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt">=
<span style=3D"font-size:11pt;font-family:arial;background-color:transparen=
t;vertical-align:baseline;white-space:pre-wrap">This is a relatively effect=
ive way to create a reward for all
nodes participating on a network. I=E2=80=99d be keen to field any questio=
ns or critiques.</span></p>
<div><span style=3D"font-size:11pt;font-family:arial;background-color:trans=
parent;vertical-align:baseline;white-space:pre-wrap"><br>
</span></div>
Thanks,
<p></p>
<p><br>
</p>
<p>John Hardy</p>
<p><a href=3D"mailto:john@seebitcoin.com" target=3D"_blank">john@seebitcoin=
.com</a></p>
</div>
</div>
<br>
______________________________<wbr>_________________<br>
bitcoin-dev mailing list<br>
<a href=3D"mailto:bitcoin-dev@lists.linuxfoundation.org" target=3D"_blank">=
bitcoin-dev@lists.linuxfoundat<wbr>ion.org</a><br>
<a href=3D"https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev" =
rel=3D"noreferrer" target=3D"_blank">https://lists.linuxfoundation.<wbr>org=
/mailman/listinfo/bitcoin-d<wbr>ev</a><br>
<br>
</blockquote>
</div>
<br>
</div>
</div>
</div></div></div>
</div>
</div>
</blockquote></div><br></div></div>
--001a11420d5c7fd28c05486a8c8a--
|