summaryrefslogtreecommitdiff
path: root/e4/b9fb0e2db4356aa2a39af877ccc7bb636f2c16
blob: 9516d3927db5ba0673f364a227a7c4f9355fe28d (plain)
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
Return-Path: <mostafa.sedaghat@gmail.com>
Received: from silver.osuosl.org (smtp3.osuosl.org [140.211.166.136])
 by lists.linuxfoundation.org (Postfix) with ESMTP id 358A8C016F
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Tue,  9 Jun 2020 09:35:27 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
 by silver.osuosl.org (Postfix) with ESMTP id 112C5204EE
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Tue,  9 Jun 2020 09:35:27 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
Received: from silver.osuosl.org ([127.0.0.1])
 by localhost (.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id OGgankw2Ti4O
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Tue,  9 Jun 2020 09:35:25 +0000 (UTC)
X-Greylist: domain auto-whitelisted by SQLgrey-1.7.6
Received: from mail-ej1-f49.google.com (mail-ej1-f49.google.com
 [209.85.218.49])
 by silver.osuosl.org (Postfix) with ESMTPS id EA7142049B
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Tue,  9 Jun 2020 09:35:24 +0000 (UTC)
Received: by mail-ej1-f49.google.com with SMTP id o15so21561330ejm.12
 for <bitcoin-dev@lists.linuxfoundation.org>;
 Tue, 09 Jun 2020 02:35:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:references:in-reply-to:from:date:message-id:subject:to
 :cc; bh=8ZiG43gRVeJJe9xf0K7fowHKk7yV4/rNwQusWx5gt9E=;
 b=cdrwfeMGVRItM3UuLr2JnUOxzXJJSEYsIx38cn8VtwtdxvmW0KbJAbwsa7Hn6GQ95M
 Qx8S1y6i2uTcWwxh+cuJ998x0Qex8Kk8B16m2TheH/4+pWuhEPD+2IwSroGyZyHPe0Xw
 vehCDH9mG2L3wP69R/esxxRNXL+HR7xnMf0ZqEUZ6niMFLOMyK4gwJZ0QOxcbK4J1p/U
 jSZBWDjIAerHDG4CctvQeJGdEVPbhDOKh0VnUMvrCRXVMwvHnkVf66aIGWsfzWE6PaKQ
 YyG0mepw5uXocQqJYi0gU4F09ffNszIrdvhwMV0b4GP3M5HNsIWvrz1mEwhE7hVTXmQA
 7ugg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc;
 bh=8ZiG43gRVeJJe9xf0K7fowHKk7yV4/rNwQusWx5gt9E=;
 b=BrSwtPbdOYTpNGzN7zbcYlp9kk23+PpPiSwriVhMmbLYWNEY4Q14+GCzPrX6Ap3Q2k
 IMUEGDom3QXlaJAQcrvIRE0huJrBsHd7lnnxtMsiXwWJKA1KlCY2hXR2gcCdBPOYMmyq
 CHPR2SUsf4NLp3EH/sFP1R5FCvaf1XRGbg9qTPL/NEKTLmzts8sji4x1Dg0tHGjcxQoh
 LlgC4B91uedRhUXh2U69Ijn0QJ13OOSkzHcpiizHOtdoal+GgxuW5NrZz2FSAD+eTTX/
 cqtlxFq6WiA4ZRoDpHk9aQcl0BnnCpyCW+FtwUqi29bjamwZhW8uMYg9Z1WHvo3W/H6C
 HQjA==
X-Gm-Message-State: AOAM5338iMSf2IbAK627y/CXccqF2zEG+33Vv/CXxhRQytHmON/PqpkW
 09lIYxNDOXkfuVppnVuMkXy4+WGVe0iVeBhpxfM=
X-Google-Smtp-Source: ABdhPJwolRW7bqCoCZqExO5Dt8+2YjL9hxwAQqgBlXXh0EDL15GtUWhRJdsM5ajfObpKwi1wIEA7KdHbPo7eBMK4/Xg=
X-Received: by 2002:a17:906:d105:: with SMTP id
 b5mr9561196ejz.375.1591695323215; 
 Tue, 09 Jun 2020 02:35:23 -0700 (PDT)
MIME-Version: 1.0
References: <CAJr8eKuFv7R-1HRft-hLFTSdpWUL2uOtkDtisL2+iPaEvvH_hA@mail.gmail.com>
 <c_8uFmqhKnoFYLB23sjYhJlKAXU5ZoCSQ2MsSgn_OePQoJKFOqIuzMjm7vhnCzevQkAwdJextCeNjA8D-f_p__-sUFSkOFMDI5_yS7k8ZM8=@protonmail.com>
 <CAJr8eKtV=W8wLkZZP9tagnL8F3jxOv8t-J9oBCFV6MrRPDmGiw@mail.gmail.com>
 <gNdtY-_W10fFe8vwyhQNUOCIWCtBj0G9LLUu5GQ7PYlRXejM1jwIX__TMYUhq6DDczOTQ3YYgVACOBSv6yIqx5nZ5vRbXkXPn-yjsOqi52w=@protonmail.com>
In-Reply-To: <gNdtY-_W10fFe8vwyhQNUOCIWCtBj0G9LLUu5GQ7PYlRXejM1jwIX__TMYUhq6DDczOTQ3YYgVACOBSv6yIqx5nZ5vRbXkXPn-yjsOqi52w=@protonmail.com>
From: Mostafa Sedaghat joo <mostafa.sedaghat@gmail.com>
Date: Tue, 9 Jun 2020 17:34:57 +0800
Message-ID: <CAJr8eKuFM0QoNNaG9Tao7aVzCoXLTH+cATxaMnropjdEVFDqOw@mail.gmail.com>
To: ZmnSCPxj <ZmnSCPxj@protonmail.com>
Content-Type: multipart/alternative; boundary="00000000000054c06105a7a372e1"
X-Mailman-Approved-At: Tue, 09 Jun 2020 11:20:25 +0000
Cc: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Subject: Re: [bitcoin-dev] Stamping transaction
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
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: Tue, 09 Jun 2020 09:35:27 -0000

--00000000000054c06105a7a372e1
Content-Type: text/plain; charset="UTF-8"

Good day ZmnSCPxj

As I said before, I don't expect a hard fork for this change. I wanted to
share my thoughts with you guys. Anytime the bitcoin community decides to
make a hard-fork, you might consider this change as well.
I believe decoupling transactions from the block is beautiful.

 About transaction verification,
Transactions have their own way to survive. Owner of the coin can keep the
history of his transactions.
But there is no guarantee that ndes should keep all of them from the
genesis. It depends. Maybe some nodes want to keep  all the transactions,
some part of them and might nothing.
Also we can think about check pointing. When a new node connects to the
network, it doesn't need to validate all the blocks since genesis. It can
start validating from a checkpoint.

And also adding 32 bits to the header of translation (which won't be saved
inside the block) is not a big deal.


Adios,
Mostafa



On Sun, Jun 7, 2020 at 11:01 PM ZmnSCPxj <ZmnSCPxj@protonmail.com> wrote:

> Good morning Mostafa,
>
>
> > The main point of stamping transactions is decoupling transactions from
> the block.
> >
> > Blockchain size matters
> > SegWit is a good witness that shows blockchain size matters.
> Nowadays, Data storage is cheap and easy, but that doesn't mean it's a
> simple matter. If you need to have a data-center to keep a copy of a
> blockchain, then you are far from a decentralization system.
> >
> > A Solution
> > Stamping transaction is a simple idea to keep the size of the blockchain
> as small as possible. The question that I was looking to answer is how we
> can decouple the transaction from the blocks.
> > Who cares about the transaction that happened 10 years ago. In the real
> world you may go to your bank and ask them to give you transaction history.
> But they probably have limits. They might say we just only keep the last 3
> months in our system.
>
> Stamping transaction is not how you would be able to keep **blockchain**
> size low.
>
> The reason why very old history is retained is that, if a new node is
> brought up, you need to prove to that node that you are in fact the correct
> owner of the current coins.
> Thus the entire history of Bitcoin is needed when starting a new node, and
> why archive nodes exist.
>
> You might argue that banks do not do that, and that is because we want to
> do better than banks; we know that existing currency systems have not only
> the "official" minter, but also many "unofficial" minters (commonly called
> counterfeiters) which dilute the value of the currency.
> It is this insistence on a full accounting of the provenance for every
> satoshi that separates Bitcoin from previous currency systems; bank fraud
> exists, and it hides in such sloppy techniques as deleting old transaction
> records.
>
> Work has been done to have client-side validation (i.e. the owner of a
> coin keeps the entire history, and when paying, you hand over the entire
> history of your coin to the payee, instead of everyone validating every
> transaction).
> Look up Peter Todd for some initial work on this.
>
>
> > Implementation
> >
> > > First off, the proposed mechanism can be made into a softfork by using
> an unspendable `scriptPubKey` with 0 output value.
> > SoftFork is not possible here. Because the transaction will not be saved
> inside the block (only tx hashes). Block format needs to be changed.
> Therefore the block will be invalid.
>
> That greatly reduces the chances your proposal will get into Bitcoin; you
> would need to have very good advantages to counterbalance the tremendous
> risk that hardforks introduce in the continuity of the coin.
>
> Bitcoin has never gone through a hardfork that has not instead created a
> new cryptocurrency, so any solution that requires a hardfork is going to be
> unlikely to be accepted by everyone.
>
> > > Engineering-wise, block validation now needs to memorize the last N
> block hashes.
> > I don't think we need to memorize the last N block hashes.  We can have
> something like:
> > ```
> > Current_Height - Height_Of(tx.stamp) <= N
> > ```
>
> ...
>
>
> `Height_Of()` would basically be a mapping from block hashes to block
> heights, with the number of elements equal to the height of the blockchain,
> and thus continuously growing.
> Thus, validation is expected to become more expensive as the blockchain
> grows.
>
> Since stamped transactions have a time-to-live anyway, instead you can use
> a *set* of the most recent N block hashes.
> Then you simply check if the stamp is in the set.
> This creates a data structure that is constant in size (at each block, you
> remove the block from N blocks ago), which is good for validation.
>
> > Incentives
> > I think Stamping transactions have nothing to do with the
> incentivization mechanism.  Forgive me if I couldn't get your point.
>
> A stamped tranasction has a stamp, an unstamped transaction has no stamp.
> The stamped transaction is larger because of the stamp.
> Larger transactions are more expensive because fees.
>
> Thus, stamped transactions are more expensive than unstamped transactions.
>
> Convince me why I would make *my* transaction stamped when I can just
> convince *everyone else* to stamp *their* transactions and use unstamped
> transactions myself.
>
> If you propose that all transactions must be stamped in a new version of
> Bitcoin, then take note that users will prefer to run older versions and
> never upgrade to the new version that requires stamped transactions.
> Why should users prefer a more expensive transaction format?
> For the good of the network?
> That is precisely an incentives problem: if it is so good for the network,
> then it should be good for an individual user, because the network is made
> up of individual users anyway; if individual users are not incentivized to
> use it, then that fact suggests it might not be as good for the network as
> you might think.
>
> If you answer "the stamp can be discounted" then be aware that validating
> the stamp is still a cost on every node, and it is that cost that we want
> to be reflected in pricing every byte in the transaction.
> For instance, UTXOs are retained, potentially indefinitely, and the UTXO
> lookup structure has to be very fast and is referred to at every
> transaction validation, so outputs (which create new UTXO entries) in
> SegWit are 4x more expensive than signatures, since signatures are only
> validated once when the transaction is queued to be put in the mempool.
>
>
> > Mempool
> > It's bad of me that I don't really know how mempool works in Bitcoin. My
> assumption is that there are some junk transactions (transactions that are
> valid but have very low or zero fees) inside the mempool. Stamping
> transactions might help to get rid of them time to time.
>
> Why would you think that stamping reduces mempool size?
>
> If I wanted to I could just re-send the transaction with a fresh stamp.
> Then the mempool usage would still be the same, and bandwidth use will
> increase (because the same transaction is now re-broadcast with a fresh
> stamp, and the added size of the stamps themselves).
>
>
> Regards,
> ZmnSCPxj
>
>

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

<div dir=3D"ltr">Good day ZmnSCPxj<div><br></div><div>As I said before, I d=
on&#39;t expect a hard fork for=C2=A0this change. I wanted to share my thou=
ghts with you guys. Anytime the bitcoin community decides to make a hard-fo=
rk, you might consider this change as well.=C2=A0</div><div>I believe=C2=A0=
decoupling transactions from the block is beautiful.=C2=A0</div><div><br></=
div><div>=C2=A0About transaction verification,</div><div>Transactions have =
their own way to survive. Owner of the=C2=A0coin can keep the history of hi=
s transactions.</div><div>But there is no guarantee=C2=A0that ndes should k=
eep all of them from the genesis. It depends. Maybe some nodes want to keep=
=C2=A0 all the transactions, some part of them and might nothing.</div><div=
>Also we can think about check pointing. When a new node connects to the ne=
twork, it doesn&#39;t need to validate all the blocks since genesis. It can=
 start validating from a checkpoint.=C2=A0</div><div><br></div><div>And als=
o adding 32 bits to the header of translation=C2=A0(which won&#39;t be save=
d inside the block) is not a big deal.</div><div><br></div><div><br></div><=
div>Adios,</div><div>Mostafa=C2=A0<br></div><div><br></div><div><br></div><=
/div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">O=
n Sun, Jun 7, 2020 at 11:01 PM ZmnSCPxj &lt;<a href=3D"mailto:ZmnSCPxj@prot=
onmail.com" target=3D"_blank">ZmnSCPxj@protonmail.com</a>&gt; wrote:<br></d=
iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord=
er-left:1px solid rgb(204,204,204);padding-left:1ex">Good morning Mostafa,<=
br>
<br>
<br>
&gt; The main point of stamping transactions is decoupling transactions fro=
m the block.=C2=A0<br>
&gt;<br>
&gt; Blockchain size matters<br>
&gt; SegWit is a good witness that shows blockchain size matters. Nowadays,=
=C2=A0Data storage is cheap and easy, but that doesn&#39;t mean it&#39;s a =
simple matter. If you need to have a data-center to keep a copy of a blockc=
hain, then you are far from a decentralization system.=C2=A0<br>
&gt;<br>
&gt; A Solution<br>
&gt; Stamping=C2=A0transaction is a simple idea to keep the size of the blo=
ckchain as small as possible. The question that I was looking to answer is =
how we can decouple the transaction from the blocks.<br>
&gt; Who cares about the transaction that happened=C2=A010 years ago. In th=
e real world you may go to your bank and ask them to give you transaction=
=C2=A0history. But they probably have limits. They might say we just only k=
eep the last 3 months in our system.=C2=A0<br>
<br>
Stamping transaction is not how you would be able to keep **blockchain** si=
ze low.<br>
<br>
The reason why very old history is retained is that, if a new node is broug=
ht up, you need to prove to that node that you are in fact the correct owne=
r of the current coins.<br>
Thus the entire history of Bitcoin is needed when starting a new node, and =
why archive nodes exist.<br>
<br>
You might argue that banks do not do that, and that is because we want to d=
o better than banks; we know that existing currency systems have not only t=
he &quot;official&quot; minter, but also many &quot;unofficial&quot; minter=
s (commonly called counterfeiters) which dilute the value of the currency.<=
br>
It is this insistence on a full accounting of the provenance for every sato=
shi that separates Bitcoin from previous currency systems; bank fraud exist=
s, and it hides in such sloppy techniques as deleting old transaction recor=
ds.<br>
<br>
Work has been done to have client-side validation (i.e. the owner of a coin=
 keeps the entire history, and when paying, you hand over the entire histor=
y of your coin to the payee, instead of everyone validating every transacti=
on).<br>
Look up Peter Todd for some initial work on this.<br>
<br>
<br>
&gt; Implementation<br>
&gt;<br>
&gt; &gt; First off, the proposed mechanism can be made into a softfork by =
using an unspendable `scriptPubKey` with 0 output value.<br>
&gt; SoftFork is not possible here. Because the transaction will not be sav=
ed inside the block (only tx hashes). Block format needs to be changed. The=
refore the block will be invalid.<br>
<br>
That greatly reduces the chances your proposal will get into Bitcoin; you w=
ould need to have very good advantages to counterbalance the tremendous ris=
k that hardforks introduce in the continuity of the coin.<br>
<br>
Bitcoin has never gone through a hardfork that has not instead created a ne=
w cryptocurrency, so any solution that requires a hardfork is going to be u=
nlikely to be accepted by everyone.<br>
<br>
&gt; &gt;=C2=A0Engineering-wise, block validation now needs to memorize the=
 last N block hashes.<br>
&gt; I don&#39;t think we need to memorize the last N block hashes.=C2=A0 W=
e can have something like:<br>
&gt; ```<br>
&gt; Current_Height - Height_Of(tx.stamp) &lt;=3D N=C2=A0<br>
&gt; ```<br>
<br>
...<br>
<br>
<br>
`Height_Of()` would basically be a mapping from block hashes to block heigh=
ts, with the number of elements equal to the height of the blockchain, and =
thus continuously growing.<br>
Thus, validation is expected to become more expensive as the blockchain gro=
ws.<br>
<br>
Since stamped transactions have a time-to-live anyway, instead you can use =
a *set* of the most recent N block hashes.<br>
Then you simply check if the stamp is in the set.<br>
This creates a data structure that is constant in size (at each block, you =
remove the block from N blocks ago), which is good for validation.<br>
<br>
&gt; Incentives<br>
&gt; I think Stamping transactions have nothing to do with the incentivizat=
ion=C2=A0mechanism.=C2=A0 Forgive me if I couldn&#39;t get your point.<br>
<br>
A stamped tranasction has a stamp, an unstamped transaction has no stamp.<b=
r>
The stamped transaction is larger because of the stamp.<br>
Larger transactions are more expensive because fees.<br>
<br>
Thus, stamped transactions are more expensive than unstamped transactions.<=
br>
<br>
Convince me why I would make *my* transaction stamped when I can just convi=
nce *everyone else* to stamp *their* transactions and use unstamped transac=
tions myself.<br>
<br>
If you propose that all transactions must be stamped in a new version of Bi=
tcoin, then take note that users will prefer to run older versions and neve=
r upgrade to the new version that requires stamped transactions.<br>
Why should users prefer a more expensive transaction format?<br>
For the good of the network?<br>
That is precisely an incentives problem: if it is so good for the network, =
then it should be good for an individual user, because the network is made =
up of individual users anyway; if individual users are not incentivized to =
use it, then that fact suggests it might not be as good for the network as =
you might think.<br>
<br>
If you answer &quot;the stamp can be discounted&quot; then be aware that va=
lidating the stamp is still a cost on every node, and it is that cost that =
we want to be reflected in pricing every byte in the transaction.<br>
For instance, UTXOs are retained, potentially indefinitely, and the UTXO lo=
okup structure has to be very fast and is referred to at every transaction =
validation, so outputs (which create new UTXO entries) in SegWit are 4x mor=
e expensive than signatures, since signatures are only validated once when =
the transaction is queued to be put in the mempool.<br>
<br>
<br>
&gt; Mempool<br>
&gt; It&#39;s bad of me that I don&#39;t really know how mempool works in B=
itcoin. My assumption is that there are some junk transactions (transaction=
s that are valid but have very low or zero fees) inside the mempool. Stampi=
ng transactions might help to get rid of them time to time.=C2=A0<br>
<br>
Why would you think that stamping reduces mempool size?<br>
<br>
If I wanted to I could just re-send the transaction with a fresh stamp.<br>
Then the mempool usage would still be the same, and bandwidth use will incr=
ease (because the same transaction is now re-broadcast with a fresh stamp, =
and the added size of the stamps themselves).<br>
<br>
<br>
Regards,<br>
ZmnSCPxj<br>
<br>
</blockquote></div>

--00000000000054c06105a7a372e1--