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
|
Return-Path: <daniele.pinna@gmail.com>
Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org
[172.17.192.35])
by mail.linuxfoundation.org (Postfix) with ESMTPS id C155B486
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 30 Aug 2015 21:03:10 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.7.6
Received: from mail-lb0-f176.google.com (mail-lb0-f176.google.com
[209.85.217.176])
by smtp1.linuxfoundation.org (Postfix) with ESMTPS id 917CAE2
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 30 Aug 2015 21:03:09 +0000 (UTC)
Received: by lbvd4 with SMTP id d4so15021269lbv.3
for <bitcoin-dev@lists.linuxfoundation.org>;
Sun, 30 Aug 2015 14:03:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
h=mime-version:in-reply-to:references:from:date:message-id:subject:to
:cc:content-type;
bh=aNLpUpi10xZ1CezDtJ2+AIFHuaLE14JhjN+1+G7UXzw=;
b=XIoItiHGaNrgKr3g3FOgXe3iCbcxEV6Xs704oKYwgIxlY42PaYqap7uAI/GMT3Ynal
kx/T4lWnE4uZTPNtjMcH00tKtsj6Csc2/qMH1rjuvXhAJGz1GWW/RzrhabqcGS2iuL8x
q30j70IsJRfTJHf2uG7ghAUOVvWOwuwUOP3JzEpQyaZL3b31xmsRBEk3E82lNtWYRkS9
xs78DRVLMmsLOwh3/0wrP3Z/mbZbSjVDLxNo4vre5yQnodDd5WEPl62lEkV588nPS/xE
2MJjzNfVY6Fpf52hEhemJ91NenqDwUqEedMUowb6RSVONzYemgjawnxiGvPUN6naUS8d
PoHw==
X-Received: by 10.152.6.73 with SMTP id y9mr9050949lay.45.1440968587485; Sun,
30 Aug 2015 14:03:07 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.112.143.229 with HTTP; Sun, 30 Aug 2015 14:02:48 -0700 (PDT)
In-Reply-To: <8A71E9FB-1901-4044-B2E0-04DEFE58C045@gmx.com>
References: <CABsx9T1E1s=4h-SxLTOAXK4GniZrUekcEb6zDdTDFG+h7X98MA@mail.gmail.com>
<1438640036.2828.0.camel@auspira.com>
<CABsx9T2A-Mz9z=TTifbL2_sKCDvy8coRpNse+0vff6EbXbp8cg@mail.gmail.com>
<BF420F3B-044C-46F6-8880-FEEB9A3DC748@gmx.com>
<CAAS2fgTzeFnmnr2ScZvf1pDUtF+M3HhF9xo0yhjVPObpqhgz0A@mail.gmail.com>
<6ED57388-6EC3-4515-BF3F-E753301537AB@gmx.com>
<CAAS2fgRoFna4i-d=hpmz-CpV35VQ=J1aEoTTT6B1oD4f15C1KA@mail.gmail.com>
<C8B38FEC-0EF2-483F-9E53-43AB937455A0@gmx.com>
<CAAS2fgQjXNTi9Y_YwLg2dR8baYZhvmEjw43ictt749zR2AOEWw@mail.gmail.com>
<6FED5604-4A6F-4CE1-B42E-36626375D557@gmx.com>
<CAAS2fgQ7hRRvRtD8igcZ2aWBmnqre6iM27peCFGxgC8ODb9jgw@mail.gmail.com>
<6BA86443-7534-4AAA-92BC-EC9B1603DE5F@gmx.com>
<CAAS2fgTTZKD9LQHpMmEH0OU=T8Ta7cCaavWzhM1yQ68-MAT8UQ@mail.gmail.com>
<27B16AB4-0DAD-4665-BF08-7A0C0A70D8D8@gmx.com>
<CAAS2fgRm_CSmWgr7CGmBUD0nX+V0fJ8N4TQN01Vchgip9-s6uQ@mail.gmail.com>
<CAAS2fgT+DP+DaoCMG276uF4=Yoi-w40YyNP-RDRG7NQgOmtpGw@mail.gmail.com>
<CAEgR2PGn_SER18sMuKPJJz5RT=1K=346eCmph5FJQhhoLcV1zw@mail.gmail.com>
<8A71E9FB-1901-4044-B2E0-04DEFE58C045@gmx.com>
From: Daniele Pinna <daniele.pinna@gmail.com>
Date: Sun, 30 Aug 2015 23:02:48 +0200
Message-ID: <CAEgR2PGu4XhAcxR=gmCxKMwJY_4ckNX=0mvbsxygWm83kTNNjA@mail.gmail.com>
To: Peter R <peter_r@gmx.com>
Content-Type: multipart/alternative; boundary=089e01494220ca2dcd051e8da4da
X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,
DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,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@lists.linuxfoundation.org
Subject: Re: [bitcoin-dev] "A Transaction Fee Market Exists Without a Block
Size Limit"--new research paper suggests
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: Sun, 30 Aug 2015 21:03:10 -0000
--089e01494220ca2dcd051e8da4da
Content-Type: text/plain; charset=UTF-8
"However, that is outside the scope of the result that an individual
miner's profit per block is always maximized at a finite block size Q* if
Shannon Entropy about each transaction is communicated during the block
solution announcement. This result is important because it explains how a
minimum fee density exists and it shows how miners cannot create enormous
spam blocks for "no cost," for example. "
Dear Peter,
This might very well not be the case. Since the expected revenue *<V>* in
our formulas is but a lower bound to the true expected revenue, and the fee
supply curve [image: M_s(Q)\propto 1/\langle V\rangle], if the true
expected revenue doesn't decay faster than the mempool's average
transaction fee (or, more simply, if it doesn't decay to zero) then the
maximum miner surplus will be unbounded and unhealthy fee markets will
emerge.
Best,
Daniele
Daniele Pinna, Ph.D
On Sun, Aug 30, 2015 at 10:08 PM, Peter R <peter_r@gmx.com> wrote:
> Hi Daniele,
>
> I don't think there is any contention over the idea that miners that
> control a larger percentage of the hash rate, *h */ *H*, have a
> profitability advantage if you hold all the other variables of the miner's
> profit equation constant. I think this is important: it is a centralizing
> factor similar to other economies of scale.
>
> However, that is outside the scope of the result that an individual
> miner's profit per block is always maximized at a finite block size Q* if
> Shannon Entropy about each transaction is communicated during the block
> solution announcement. This result is important because it explains how a
> minimum fee density exists and it shows how miners cannot create enormous
> spam blocks for "no cost," for example.
>
> Best regards,
> Peter
>
>
> 2) Whether it's truly possible for a miner's marginal profit per unit of
> hash to decrease with increasing hashrate in some parametric regime.This
> however directly contradicts the assumption that an optimal hashrate exists
> beyond which the revenue per unit of hash *v' < v *if *h' > h. *
> *Q.E.D *
>
> This theorem in turn implies the following corollary:
>
> *COROLLARY: **The marginal profit curve is a monotonically increasing of
> miner hashrate.*
>
> This simple theorem, suggested implicitly by Gmaxwell disproves any and
> all conclusions of my work. Most importantly, centralization pressures will
> always be present.
>
>
>
--089e01494220ca2dcd051e8da4da
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">"<span style=3D"font-size:12.8000001907349px">However=
, that is outside the scope of the result that an individual miner's pr=
ofit per block is always maximized at a finite block size Q* if Shannon Ent=
ropy about each transaction is communicated during the block solution annou=
ncement.=C2=A0 This result is important because it explains how a minimum f=
ee density exists and it shows how miners cannot create enormous spam block=
s for "no cost," for example. "</span><div><span style=3D"fo=
nt-size:12.8000001907349px"><br></span></div><div><span style=3D"font-size:=
12.8000001907349px">Dear Peter,</span></div><div><span style=3D"font-size:1=
2.8000001907349px"><br></span></div><div><span style=3D"font-size:12.800000=
1907349px">This might very well not be the case. Since the expected revenue=
<i><b><V></b></i> in our formulas is but a lower bound to the true e=
xpected revenue, and the fee supply curve <img alt=3D"M_s(Q)\propto 1/\lang=
le V\rangle" title=3D"M_s(Q)\propto 1/\langle V\rangle" class=3D"va_li" src=
=3D"http://latex.codecogs.com/gif.latex?%5Cdpi%7B300%7D%5Cinline%09M%5Fs(Q)=
%5Cpropto%091/%5Clangle%09V%5Crangle" id=3D"l0.27594831259921193" style=3D"=
display: inline; vertical-align: -4.034px;" height=3D"16" width=3D"112">, i=
f the true expected revenue doesn't decay faster than the mempool's=
average transaction fee (or, more simply, if it doesn't decay to zero)=
then the maximum miner surplus will be unbounded and unhealthy fee markets=
will emerge.</span></div><div><span style=3D"font-size:12.8000001907349px"=
><br></span></div><div><span style=3D"font-size:12.8000001907349px">Best,</=
span></div><div><span style=3D"font-size:12.8000001907349px">Daniele</span>=
</div><div><span style=3D"font-size:12.8000001907349px"><br></span></div><d=
iv><span style=3D"font-size:12.8000001907349px"><br></span></div></div><div=
class=3D"gmail_extra"><br clear=3D"all"><div><div class=3D"gmail_signature=
"><div dir=3D"ltr"><div>Daniele Pinna, Ph.D</div></div></div></div>
<br><div class=3D"gmail_quote">On Sun, Aug 30, 2015 at 10:08 PM, Peter R <s=
pan dir=3D"ltr"><<a href=3D"mailto:peter_r@gmx.com" target=3D"_blank">pe=
ter_r@gmx.com</a>></span> wrote:<br><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div =
style=3D"word-wrap:break-word">Hi Daniele,<div><br></div><div>I don't t=
hink there is any contention over the idea that miners that control a large=
r percentage of the hash rate, <i>h </i>/ <i>H</i>, have a profitability ad=
vantage if you hold all the other variables of the miner's profit equat=
ion constant.=C2=A0 I think this is important: it is a centralizing factor =
similar to other economies of scale. =C2=A0</div><div><br></div><div>Howeve=
r, that is outside the scope of the result that an individual miner's p=
rofit per block is always maximized at a finite block size Q* if Shannon En=
tropy about each transaction is communicated during the block solution anno=
uncement.=C2=A0 This result is important because it explains how a minimum =
fee density exists and it shows how miners cannot create enormous spam bloc=
ks for "no cost," for example. =C2=A0</div><div><br></div><div>Be=
st regards,</div><div>Peter</div><div><br></div><div><br></div><div><div><b=
lockquote type=3D"cite"><div class=3D"gmail_extra" style=3D"font-family:Hel=
vetica;font-size:medium;font-style:normal;font-variant:normal;font-weight:n=
ormal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text=
-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span =
style=3D"font-size:13px">2) Whether it's truly possible for a miner'=
;s marginal profit per unit of hash to decrease with increasing hashrate in=
some parametric regime.</span>This however directly contradicts the assump=
tion that an optimal hashrate exists beyond which the revenue per unit of h=
ash=C2=A0<i style=3D"font-size:12.8000001907349px;font-weight:bold">v' =
< v<span>=C2=A0</span></i><span style=3D"font-size:12.8000001907349px">i=
f</span><i style=3D"font-size:12.8000001907349px;font-weight:bold">=C2=A0</=
i><span style=3D"font-size:12.8000001907349px">=C2=A0</span><i style=3D"fon=
t-size:12.8000001907349px"><b>h' > h.=C2=A0</b></i></div><div class=
=3D"gmail_extra" style=3D"font-family:Helvetica;font-size:medium;font-style=
:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-h=
eight:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;wh=
ite-space:normal;word-spacing:0px"><i style=3D"font-size:12.8000001907349px=
"><b>Q.E.D=C2=A0</b></i></div><div class=3D"gmail_extra" style=3D"font-fami=
ly:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-we=
ight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-aut=
o;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">=
<i style=3D"font-size:12.8000001907349px"><b><br></b></i></div><div class=
=3D"gmail_extra" style=3D"font-family:Helvetica;font-size:medium;font-style=
:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-h=
eight:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;wh=
ite-space:normal;word-spacing:0px"><span style=3D"font-size:12.800000190734=
9px">This theorem in turn implies the following corollary:</span></div><div=
class=3D"gmail_extra" style=3D"font-family:Helvetica;font-size:medium;font=
-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;=
line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:n=
one;white-space:normal;word-spacing:0px"><i style=3D"font-size:12.800000190=
7349px"><b><br></b></i></div><div class=3D"gmail_extra" style=3D"font-famil=
y:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-wei=
ght:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto=
;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><=
span style=3D"font-size:12.8000001907349px"><b>COROLLARY:=C2=A0</b></span><=
span style=3D"font-size:12.8000001907349px"><b>The marginal profit curve is=
a monotonically increasing of miner hashrate.</b></span></div><div class=
=3D"gmail_extra" style=3D"font-family:Helvetica;font-size:medium;font-style=
:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-h=
eight:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;wh=
ite-space:normal;word-spacing:0px"><span style=3D"font-size:12.800000190734=
9px"><b><br></b></span></div><div class=3D"gmail_extra" style=3D"font-famil=
y:Helvetica;font-size:medium;font-style:normal;font-variant:normal;font-wei=
ght:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto=
;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><=
span style=3D"font-size:12.8000001907349px">This simple theorem, suggested =
implicitly by Gmaxwell disproves any and all conclusions of my work. Most i=
mportantly, centralization pressures will always be present.=C2=A0</span></=
div></blockquote></div><br></div></div></blockquote></div><br></div>
--089e01494220ca2dcd051e8da4da--
|