Advertisement
Guest User

Untitled

a guest
Jan 26th, 2016
144
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 32.01 KB | None | 0 0
  1. Forwarded conversation
  2. Subject: [bitcoin-dev] "A Transaction Fee Market Exists Without a Block Size Limit"--new research paper suggests
  3. ------------------------
  4.  
  5. From: Peter R via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org>
  6. Date: Tue, Aug 4, 2015 at 6:40 AM
  7. To: Bitcoin Dev <bitcoin-dev@lists.linuxfoundation.org>
  8.  
  9.  
  10. Dear Bitcoin-Dev Mailing list,
  11.  
  12. I’d like to share a research paper I’ve recently completed titled “A Transaction Fee Market Exists Without a Block Size Limit.” In addition to presenting some useful charts such as the cost to produce large spam blocks, I think the paper convincingly demonstrates that, due to the orphaning cost, a block size limit is not necessary to ensure a functioning fee market.
  13.  
  14. The paper does not argue that a block size limit is unnecessary in general, and in fact brings up questions related to mining cartels and the size of the UTXO set.
  15.  
  16. It can be downloaded in PDF format here:
  17.  
  18. https://dl.dropboxusercontent.com/u/43331625/feemarket.pdf
  19.  
  20. Or viewed with a web-browser here:
  21.  
  22. https://www.scribd.com/doc/273443462/A-Transaction-Fee-Market-Exists-Without-a-Block-Size-Limit
  23.  
  24. Abstract. This paper shows how a rational Bitcoin miner should select transactions from his node’s mempool, when creating a new block, in order to maximize his profit in the absence of a block size limit. To show this, the paper introduces the block space supply curve and the mempool demand curve. The former describes the cost for a miner to supply block space by accounting for orphaning risk. The latter represents the fees offered by the transactions in mempool, and is expressed versus the minimum block size required to claim a given portion of the fees. The paper explains how the supply and demand curves from classical economics are related to the derivatives of these two curves, and proves that producing the quantity of block space indicated by their intersection point maximizes the miner’s profit. The paper then shows that an unhealthy fee market—where miners are incentivized to produce arbitrarily large blocks—cannot exist since it requires communicating information at an arbitrarily fast rate. The paper concludes by considering the conditions under which a rational miner would produce big, small or empty blocks, and by estimating the cost of a spam attack.
  25.  
  26. Best regards,
  27. Peter
  28.  
  29. _______________________________________________
  30. bitcoin-dev mailing list
  31. bitcoin-dev@lists.linuxfoundation.org
  32. https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
  33.  
  34.  
  35. ----------
  36. From: Gregory Maxwell <gmaxwell@gmail.com>
  37. Date: Tue, Aug 4, 2015 at 7:42 AM
  38. To: Peter R <peter_r@gmx.com>
  39.  
  40.  
  41. How could you have written at such length and complexity but ignoring
  42. the simple expident miners have of simply centeralizing their
  43. operation around larger pools to lower their costs-- an activity they
  44. previously performed, in practice, not just theory (which was walked
  45. back by handing them more efficient relay mechenisms) and which is
  46. simple, easy, and which reduces those marginal costs to 0 at the limit
  47. (e.g. all miners served off a particular host) --- after I
  48. specifically called you out on this previously? Doubly so when your
  49. analysis gives provides a framework for analyizing the profitibility
  50. of moving from one point on that income tradeoff graph to another
  51. (e.g. the lost income from failing to centeralize)....
  52. > _______________________________________________
  53. > bitcoin-dev mailing list
  54. > bitcoin-dev@lists.linuxfoundation.org
  55. > https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
  56. >
  57.  
  58. ----------
  59. From: Peter R <peter_r@gmx.com>
  60. Date: Tue, Aug 4, 2015 at 7:52 AM
  61. To: Gregory Maxwell <gmaxwell@gmail.com>
  62.  
  63.  
  64. Hey Greg,
  65.  
  66. The paper does consider more efficient relaying mechanisms. This is what I refer to as the "propagation impedance." Figure 8 shows that the cost of spam blocks decrease considerably with faster block propagation. The first two simplifying assumptions described in the conclusion (p.13, second paragraph) speak to this further, and the first two "topics for further research" in that same paragraph relate to this as well.
  67.  
  68. Best regards,
  69. Peter
  70.  
  71. ----------
  72. From: Gregory Maxwell <gmaxwell@gmail.com>
  73. Date: Tue, Aug 4, 2015 at 8:01 AM
  74. To: Peter R <peter_r@gmx.com>
  75.  
  76.  
  77. On Tue, Aug 4, 2015 at 7:52 AM, Peter R <peter_r@gmx.com> wrote:
  78. > Hey Greg,
  79. >
  80. > The paper does consider more efficient relaying mechanisms. This is what I refer to as the "propagation impedance." Figure 8 shows that the cost of spam blocks decrease considerably with faster block propagation. The first two simplifying assumptions described in the conclusion (p.13, second paragraph) speak to this further, and the first two "topics for further research" in that same paragraph relate to this as well.
  81.  
  82. I'm aware-- But "use the same pool" is a seperate modality from "use
  83. more efficient transmission"; for one because if all miners do so (or
  84. technically just a simple majority plus a preference to mine on their
  85. own blocks even if later) then I believe your model would have an
  86. impediance of zero which has very different behavior. It also already
  87. exists, e.g. doesn't require new technology. And for any point on
  88. your demand curve you assume the system is operating at, if the size
  89. of blocks can go up, I believe your model shows miners will increase
  90. income by centeralizing (because absent a limit on the supply, a lower
  91. impedance is more profitable).
  92.  
  93.  
  94. A more minor point, perhaps I'm missing it, but you don't seem to
  95. analyize the effect of R/T changing on your model. As you know, in
  96. Bitcoin unless the supply of coins is increased R/T is vanishing and
  97. will geometrically become 0.
  98.  
  99. ----------
  100. From: Gregory Maxwell <gmaxwell@gmail.com>
  101. Date: Tue, Aug 4, 2015 at 8:37 AM
  102. To: Peter R <peter_r@gmx.com>
  103.  
  104.  
  105. On Tue, Aug 4, 2015 at 8:01 AM, Gregory Maxwell <gmaxwell@gmail.com> wrote:
  106. > On Tue, Aug 4, 2015 at 7:52 AM, Peter R <peter_r@gmx.com> wrote:
  107. >> Hey Greg,
  108. >>
  109. >> The paper does consider more efficient relaying mechanisms. This is what I refer to as the "propagation impedance." Figure 8 shows that the cost of spam blocks decrease considerably with faster block propagation. The first two simplifying assumptions described in the conclusion (p.13, second paragraph) speak to this further, and the first two "topics for further research" in that same paragraph relate to this as well.
  110. >
  111. > I'm aware-- But "use the same pool" is a seperate modality from "use
  112. > more efficient transmission"; for one because if all miners do so (or
  113. > technically just a simple majority plus a preference to mine on their
  114. > own blocks even if later) then I believe your model would have an
  115. > impediance of zero which has very different behavior. It also already
  116.  
  117. It occurs to me that I'm perhaps being too understated.
  118.  
  119. "An unhealthy fee market requires a propagation time that grows
  120. asymptotically with block size slower than log Q Using physical
  121. arguments, we can show that this is not possible"
  122.  
  123. Your physical argument is incorrect on several folds. First, if we
  124. miners centralize they can achieve a growth of propagation time of 0.
  125. 0 is less than log(Q), that condition is trivially possible.
  126.  
  127. More generally your invocation of shanon-hartley is misapplied because
  128. you are ignoring the entropy of the signal. Even disregarding the
  129. miners ability to optimize communication by centralizing, no
  130. blocksize-proportional information is /necessarily/ transmitted at the
  131. time a block has been received. For example, imagine if miners only
  132. include transactions that were previously committed to by another,
  133. external, consensus system the concent of the blocks would be known in
  134. advance, and not need to be transmitted. As a more concrete example,
  135. the block relay network today communicates far less than one bit per
  136. bit of blocksize to relay a block (e.g. transmitting a 962597 byte
  137. block using 3804 bytes-- I wonder why instead you did not announce
  138. your discovery that the block relay network has beat the Shanon limit!
  139. :) --- after all, by your metric it can transmit X bits of information
  140. over a channel which has _significantly_ less than X capacity).
  141.  
  142. If miners choose transactions in a way to minimize the transmission
  143. delays there is no physical limit on how small the amount of
  144. information is, and it does not necessarily depend on the blocksize at
  145. all (see e.g. the practice of agreeing on transactions in advance--
  146. e.g. the transmitted transaction proportional data can be the constant
  147. size of 0),
  148.  
  149. ----------
  150. From: Peter R <peter_r@gmx.com>
  151. Date: Tue, Aug 4, 2015 at 9:27 AM
  152. To: Gregory Maxwell <gmaxwell@gmail.com>
  153.  
  154.  
  155. Hi Greg,
  156.  
  157. Thanks for the comments and interest in my paper.
  158.  
  159. > I'm aware-- But "use the same pool" is a seperate modality from "use
  160. > more efficient transmission"; for one because if all miners do so (or
  161. > technically just a simple majority plus a preference to mine on their
  162. > own blocks even if later) then I believe your model would have an
  163. > impediance of zero which has very different behavior. It also already
  164. > exists, e.g. doesn't require new technology. And for any point on
  165. > your demand curve you assume the system is operating at, if the size
  166. > of blocks can go up, I believe your model shows miners will increase
  167. > income by centeralizing (because absent a limit on the supply, a lower
  168. > impedance is more profitable).
  169.  
  170. I agree that lowering the propagation impedance is a profitable strategy. I also agree that if the hash power is all pointed to one "super pool" that the impedance would be zero.
  171.  
  172. > A more minor point, perhaps I'm missing it, but you don't seem to
  173. > analyize the effect of R/T changing on your model. As you know, in
  174. > Bitcoin unless the supply of coins is increased R/T is vanishing and
  175. > will geometrically become 0.
  176.  
  177. I don't, except briefly in the last paragraph of the conclusion. The paper was already quite long and I didn't want to open a can of worms about things a quarter of a century away.
  178.  
  179. > Your physical argument is incorrect on several folds. First, if we
  180. > miners centralize they can achieve a growth of propagation time of 0.
  181. > 0 is less than log(Q), that condition is trivially possible.
  182.  
  183. Good point. I'm implicitly assuming that mining isn't centralized…that information must still be communicated across the network. I thought that was sort of obvious (because that's the 51% scenario will already know about), but I agree I should have spoken to this point in more detail.
  184.  
  185. > More generally your invocation of shanon-hartley is misapplied because
  186. > you are ignoring the entropy of the signal.
  187.  
  188. The "gamma" variable represents the coding gain (the degree to which the blocks can be compressed) and "C" represents the channel capacity. So the term (gamma * C) represents the effective rate than the uncompressed block's propagate at. The actual bit rate is just C.
  189.  
  190. As long as information needs to be communicated across channels, the Shannon-Hartley theorem applies. To what extent the solutions can be compressed (what gamma value can be obtained) is an open research questions, afaik.
  191.  
  192. > I wonder why instead you did not announce
  193. > your discovery that the block relay network has beat the Shanon limit!
  194. > :) --- after all, by your metric it can transmit X bits of information
  195. > over a channel which has _significantly_ less than X capacity).
  196.  
  197. Haha, but I actually do discuss this in two places on page 9. But I agree now that you point it out that I should have explained how the relay network has a higher "gamma" value than the peer-to-peer network, and that's part of the reason why it's propagation impedance is so much lower. I will include this in the next version!
  198.  
  199. Best regards,
  200. Peter
  201.  
  202. ----------
  203. From: Gregory Maxwell <gmaxwell@gmail.com>
  204. Date: Tue, Aug 4, 2015 at 9:43 AM
  205. To: Peter R <peter_r@gmx.com>
  206.  
  207.  
  208. On Tue, Aug 4, 2015 at 9:27 AM, Peter R <peter_r@gmx.com> wrote:
  209. > Good point. I'm implicitly assuming that mining isn't centralized…that information must still be communicated across the network. I thought that was sort of obvious (because that's the 51% scenario will already know about), but I agree I should have spoken to this point in more detail.
  210.  
  211. Thats orthorgonal-- in that yes, if mining is not decenteralized less
  212. infomration must be communicated (in fact it's a progression, not a
  213. threshold-- the more centeralized the network the less information
  214. will be transmitted even by a naieve system)... but even with complete
  215. decenteralization no information needs to be transmitted at the time a
  216. block is found.
  217.  
  218. > To what extent the solutions can be compressed (what gamma value can be obtained) is an open research questions, afaik.
  219.  
  220. Consider the following scheme (which, we've proposed deploying
  221. previously in varrious forms):
  222.  
  223. Miners volutarily participate in a fast consensus mechenism which
  224. commits to transactions-- it could be a merged mined blockchain (like
  225. the P2Pool chain, which commits to transactions) or something entirely
  226. different. No reward is given for participation in this scheme. In
  227. their Bitcoin blocks miners only include transactions which are at
  228. least 6 blocks deep in that chain, moreover they include all
  229. transactions which are in it, in a determinstic order.
  230.  
  231. Now when they find a block, all the participants will know exactly
  232. which transactions they included, in exactly which order. No matter
  233. how many there were. _No_ information proportal to the transaction
  234. count needs to be communicated to trasmit the block.
  235.  
  236. -
  237. ----------
  238. From: Gregory Maxwell <gmaxwell@gmail.com>
  239. Date: Wed, Aug 5, 2015 at 8:50 PM
  240. To: Peter R <peter_r@gmx.com>
  241.  
  242.  
  243. Peter, It's been over 24 hours since my last message to you-- and I'm
  244. greatly confused by the correspondance which I see you posting on
  245. reddit.
  246.  
  247. I believe in my discussion with you I conveyed a total break of your
  248. paper: I believe demonstrated that your premises were incorrect and do
  249. not support your some of your strongest conclusions.
  250.  
  251. I've been expecting you to come back with a response that you would be
  252. retracting or seriously revising your paper and its conclusions. And
  253. yet I see you continuing to communicate with the public in messages
  254. which suggest you are unaware of these considerations.
  255. (e.g. https://www.reddit.com/r/Bitcoin/comments/3fuz2s/peter_todd_against_gavin_on_the_bitcoindev/cts983w
  256. ).
  257.  
  258. I don't think Peter Todd's response to you was approiate at the
  259. time... but it would be helpful if you didn't demonstrate that he was
  260. actually correct.
  261.  
  262. ----------
  263. From: Peter R <peter_r@gmx.com>
  264. Date: Wed, Aug 5, 2015 at 9:43 PM
  265. To: Gregory Maxwell <gmaxwell@gmail.com>
  266.  
  267.  
  268. Hi Greg,
  269.  
  270. > Peter, It's been over 24 hours since my last message to you-- and I'm
  271. > greatly confused by the correspondance which I see you posting on
  272. > reddit.
  273.  
  274. Sorry for the delay. It was my last day in Annecy and we were swimming and today I was on the train to the Paris airport.
  275.  
  276. >> On Tue, Aug 4, 2015 at 9:27 AM, Peter R <peter_r@gmx.com> wrote:
  277. >> Good point. I'm implicitly assuming that mining isn't centralized…that information must still >> be communicated across the network. I thought that was sort of obvious (because that's the 51% >> scenario will already know about), but I agree I should have spoken to this point in more detail.
  278. >
  279. > Thats orthorgonal-- in that yes, if mining is not decenteralized less
  280. > infomration must be communicated (in fact it's a progression, not a
  281. > threshold-- the more centeralized the network the less information
  282. > will be transmitted even by a naieve system)... but even with complete
  283. > decenteralization no information needs to be transmitted at the time a
  284. > block is found.
  285.  
  286. I'm not following your logic here. At some point information needs to be transmitted to the miner's peers. This takes a non-zero amount of time according to the Shannon-Hartley theorem. This time has a cost associated with it. What do you disagree with here?
  287.  
  288. To what extent the solutions can be compressed (what gamma value can be obtained) is an open research questions, afaik.
  289.  
  290. > Consider the following scheme (which, we've proposed deploying
  291. > previously in varrious forms):
  292. >
  293. > Miners volutarily participate in a fast consensus mechenism which
  294. > commits to transactions-- it could be a merged mined blockchain (like
  295. > the P2Pool chain, which commits to transactions) or something entirely
  296. > different. No reward is given for participation in this scheme. In
  297. > their Bitcoin blocks miners only include transactions which are at
  298. > least 6 blocks deep in that chain, moreover they include all
  299. > transactions which are in it, in a determinstic order.
  300. >
  301. > Now when they find a block, all the participants will know exactly
  302. > which transactions they included, in exactly which order. No matter
  303. > how many there were. _No_ information proportal to the transaction
  304. > count needs to be communicated to trasmit the block.
  305.  
  306. If zero information related to the transactions needs to be transmitted between peers, then the peers aren't making decisions of their own volition related to the transactions included in a block. If they're not making decisions related to transactions then they're not really "peers" in my opinion. I see this as another example of how a single entity who controls a lot of hash power can do various nasty stuff.
  307.  
  308. What is your definition of a peer? To me, a peer needs to get information from his other peers from which he makes his own independent decisions. This information takes time to communicate. If there's more transactions, there's more information to communicate. The only way this isn't true if I'm not mistaken is if there's no information to communicate related to the transactions in the block. But like I said earlier, in this case then the miner's aren't peers--they're just slaves--and the system is already centralized.
  309.  
  310. > I believe in my discussion with you I conveyed a total break of your
  311. > paper: I believe demonstrated that your premises were incorrect and do
  312. > not support your some of your strongest conclusions.
  313.  
  314. The only objection I've heard that makes sense to me is Dave Hudson's. Can you explain exactly a what point in my paper you disagree with the math, the logic, or the assumptions? How should the math change to make it correct in your opinion?
  315.  
  316. > I've been expecting you to come back with a response that you would be
  317. > retracting or seriously revising your paper and its conclusions. And
  318. > yet I see you continuing to communicate with the public in messages
  319. > which suggest you are unaware of these considerations.
  320. > (e.g. https://www.reddit.com/r/Bitcoin/comments/3fuz2s/peter_todd_against_gavin_on_the_bitcoindev/cts983w
  321. ).
  322. >
  323. > I don't think Peter Todd's response to you was approiate at the
  324. > time... but it would be helpful if you didn't demonstrate that he was
  325. > actually correct.
  326.  
  327. Dave Hudson made what I feel was a valid objection regarding the "you-don't-orphan-your-own-blocks" idea. I agree that my paper doesn't address his objection, but I believe it can be modified to do so without changing the results of the paper (that a healthy fee market exists). Peter Todd echoed something agreeing with Dave, no?
  328.  
  329. Best regards,
  330. Peter
  331.  
  332.  
  333.  
  334.  
  335.  
  336.  
  337. ----------
  338. From: Gregory Maxwell <gmaxwell@gmail.com>
  339. Date: Wed, Aug 5, 2015 at 10:29 PM
  340. To: Peter R <peter_r@gmx.com>
  341.  
  342.  
  343. On Wed, Aug 5, 2015 at 9:43 PM, Peter R <peter_r@gmx.com> wrote:
  344. > I'm not following your logic here. At some point information needs to be
  345. > transmitted to the miner's peers. This takes a non-zero amount of time
  346. > according to the Shannon-Hartley theorem. This time has a cost associated
  347. > with it. What do you disagree with here?
  348.  
  349. Hm. I thought I gave a sufficiently concrete example. No information
  350. needs to be conveyed at the time a block is found (beyond the fact of
  351. the block, e.g. it's extranonce, which is all constant size); because
  352. the information can have been sent in advance, unboundadly far in
  353. advance is possible in fact.
  354.  
  355. > If zero information related to the transactions needs to be transmitted
  356. > between peers, then the peers aren't making decisions of their own volition
  357. > related to the transactions included in a block. If they're not making
  358. > decisions related to transactions then they're not really "peers" in my
  359. > opinion. I see this as another example of how a single entity who controls
  360. > a lot of hash power can do various nasty stuff.
  361.  
  362. Thats not the example I'm making.
  363.  
  364. (Though the centeralization pressure you're talking about is a
  365. consideration you should have gone into too! -- but I think it's
  366. mostly mooted by the bigger issue I'm raising)
  367.  
  368.  
  369. > What is your definition of a peer? To me, a peer needs to get information
  370. > from his other peers from which he makes his own independent decisions.
  371. > This information takes time to communicate. If there's more transactions,
  372. > there's more information to communicate. The only way this isn't true if
  373. > I'm not mistaken is if there's no information to communicate related to the
  374. > transactions in the block. But like I said earlier, in this case then the
  375. > miner's aren't peers--they're just slaves--and the system is already
  376. > centralized.
  377.  
  378. I think you're stuck thinking in a particular model and I'm not sure
  379. how to break you out of it.
  380.  
  381. For example, I'm about to communicate the whole 40 some gigabytes of
  382. the Bitcoin blockchain to you:
  383.  
  384. 00000000000000001454fdecfdb2b18cc07bf759f759ce4d8cac3301dc98f478
  385.  
  386. As you can see, I was able to do that by communicating only 32bytes--
  387. and amount that I sent you here had no real dependence on the size of
  388. the blockchain.
  389.  
  390. This was possible because our computers had already agreed on the
  391. content of the blockchain before my communication to you happened.
  392.  
  393. Yes, communication did occur-- but not at the time of my transmission,
  394. it happened arbritarily before. This is devistating for your analysis
  395. because you are working exclusively with the increased delay in
  396. transmission as a function of the blocksize as a mechenism for
  397. increasing orphaning resulting in an equlibrium profit maximizing
  398. size. Data which they sent earlier may have some costs to them, but
  399. it does not have a cost in terms of increasing their orphan rate.
  400.  
  401. In that case I used data I didn't choose (the blockchain), but this
  402. works just as well for data I did choose: I could send you a gigabyte
  403. of data right now, then later send you an extranonce to append that
  404. makes the result have a low hash.
  405.  
  406. There are many ways to use this fundimental result, and the relay
  407. network protocol currently uses it in the simplest possible way.
  408. Ultimately, it means that its possible to construct schemes where
  409. miners retain choice but transmit a constant amount of information at
  410. the time of block announcement.
  411.  
  412. ----------
  413. From: Peter R <peter_r@gmx.com>
  414. Date: Wed, Aug 5, 2015 at 10:49 PM
  415. To: Gregory Maxwell <gmaxwell@gmail.com>
  416.  
  417.  
  418. Hi Greg,
  419.  
  420. OK I think I understand what you're saying. I need to think more about it though. One point already: wouldn't this strongly affect the miner's ability to include very recent transactions in a block? A miner receives a transaction with a juicy fee, includes it, and then 1 second later solves the block. New information needs to be communicated to his peers. The more recent TXs included, the more information. Also, I can imagine how your scheme works if everyone agrees ahead of time exactly how they'll build blocks, but I don't see that it works if miner's are free to build blocks how they choose.
  421.  
  422. Off to bed...
  423.  
  424. Best regards,
  425. Peter
  426.  
  427. ----------
  428. From: Tom Harding via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org>
  429. Date: Wed, Aug 5, 2015 at 11:45 PM
  430. To: bitcoin-dev@lists.linuxfoundation.org
  431.  
  432.  
  433. > On 8/5/2015 3:44 PM, Dave Hudson via bitcoin-dev wrote:
  434. > I do suspect that if we were to model this more accurately we might be able to infer the
  435. > "typical" propagation characteristics by measuring the deviation from the expected distribution.
  436.  
  437. The paper models propagation using a single time value that is a function of block size. Modeling the propagation distribution (which is totally separate from the poisson model of block production) would add a lot of complexity and my guess is the outcome would be little changed.
  438.  
  439.  
  440. > On 5 Aug 2015, at 15:15, Peter R <peter_r@gmx.com> wrote:
  441. > Although a miner may not orphan his own block, by building on his own block he may now orphan
  442. > two blocks in a row. At some point, his solution or solutions must be communicated to his peers.
  443. >
  444. > Why complicate the analysis by assuming that a miner who finds two blocks sequentially does
  445. > not ? publish the first, or that other miners would orphan miner's first block unless both were
  446. > very quick? In general you don't consider anything beyond 1 block in the future, which seems fine.
  447.  
  448.  
  449. I suspect this may well change some of the conclusions as larger block makers will definitely be able to create larger blocks than their smaller counterparts.
  450. It will be interesting to see. I suspect that the main result that "a healthy fee market exists" will still hold (assuming of course that a single miner with >50% of the hash power isn't acting maliciously). Whether miners with larger value of h/H have a profit advantage, I'm not sure (but that was outside the scope of the paper anyways).
  451.  
  452. Correcting for non-orphaning of one's own blocks could be as simple as adding a factor (1 - h/H) to equation 4, which it appears would leave hashpower as an independent variable in the results. But at worst, the discussion can be considered to apply directly only to low-hashpower miners right now.
  453.  
  454. Overall, the paper does not predict big changes to per/kb fees or spam costs for the kinds of block sizes being discussed for the immediate future (8MB). But it does conclude that these fees will rise, not fall, with bigger blocks.
  455.  
  456. Also it is welcome that this paper actually mentions the bitcoin exchange rate as a factor in relation to block size (it points out that a spam attack is much more expensive in fiat terms today than it was years ago).
  457.  
  458. ----------
  459. From: Gregory Maxwell <gmaxwell@gmail.com>
  460. Date: Wed, Aug 5, 2015 at 11:50 PM
  461. To: Peter R <peter_r@gmx.com>
  462.  
  463.  
  464. On Wed, Aug 5, 2015 at 10:49 PM, Peter R <peter_r@gmx.com> wrote:
  465. > OK I think I understand what you're saying. I need to think more about it though.
  466.  
  467. Understood. Enjoy your travels. (I should have said in my last
  468. message: sorry to nag about response times, I certantly understand.)
  469.  
  470. > One point already: wouldn't this strongly affect the miner's ability to include very recent transactions in a block?
  471.  
  472. It would. Though with the high varience in block finding (e.g. 10
  473. minutes expected but 1 hour blocks happen quite a few times a week) I
  474. don't think e.g. effectively having a second or two delay would be
  475. noticed by users at all. (actually there are already a bunch of delays
  476. in transaction handling that no one seems to care about-- e.g. until
  477. fairly recently each hop added up to 200ms delay just from sleeps in
  478. the networking code; thats part of why decker's propagation numbers
  479. are so high).
  480.  
  481. > A miner receives a transaction with a juicy fee, includes it, and then 1 second later solves the block. New information needs to be communicated to his peers. The more recent TXs included, the more information.
  482.  
  483. Yes, new information needs to be conveyed in that case. At a cost;
  484. although: by using forward error correction we can make it so that the
  485. miner can convey information only proportional to the amount of
  486. missing data they're correcting, without actually knowing which data
  487. is specifically missing.. But all that gets you is a bound on how
  488. many __very__ (e.g.within seconds) new transactions a miner can
  489. profitably include... it's not relevant if the fees are fairly uniform
  490. and there is a backlog.
  491.  
  492. Speaking of backlog, if you're looking for other avenues your work
  493. didn't consider. Think about the incentives of a miner once fees are
  494. larger than subsidy (which is something that could reasonably happen
  495. in just a few years) absent a block size limit. Instead of moving the
  496. chain forward, why doesn't he instead orphan the tip, take all its
  497. transactions and add the new ones that has come in since? It's not
  498. hard to setup a situation where the chain only makes progress when a
  499. miner gets multiple blocks in a row (multiple depending on how much
  500. larger than subsidy the fees are).
  501.  
  502. > Also, I can imagine how your scheme works if everyone agrees ahead of time exactly how they'll build blocks, but I don't see that it works if miner's are free to build blocks how they choose.
  503.  
  504. I was giving a simplified example to make it easier to follow. For
  505. example, even without agreeing on anything except the past history,
  506. each miner can announce their intent to all the other miners (using
  507. hashcash to prevent DOS), the communication overhead for this depends
  508. on how efficient the communication is (e.g. just differential with the
  509. intents of other miners?) but doesn't impact orphaning... if your
  510. intent is taking a long time to communicate you have some penalty how
  511. recent a transaction you can include without a marginal orphaning cost
  512. for that transaction.
  513.  
  514. ----------
  515. From: Peter R <peter_r@gmx.com>
  516. Date: Thu, Aug 6, 2015 at 7:34 AM
  517. To: Gregory Maxwell <gmaxwell@gmail.com>
  518.  
  519.  
  520. Hi Greg,
  521.  
  522. Thank you for your response. I think you bring up some interesting points that readers should be made aware of. Transforming your concerns to the language of my paper, I think you're challenging the claim that "gamma" [the coding gain with which block solutions are transmitted] can not be infinite (cf. Section 7). Indeed, if gamma is infinite then the analysis breaks down.
  523.  
  524. I propose the following changes:
  525.  
  526. 1. I will make it more clear that the results of the paper hinge on the assumption that block solutions are propagated across channels, and that the quantity of pure information communicated per solution is proportional to the amount of information contained within the block.
  527.  
  528. 2. I will add a note [unless you ask me not to] something to the effect of "Greg Maxwell challenges the claim that the coding gain cannot be infinite…" followed by a summary of the scenario you described. I will reference "personal communication." I will also run the note by you before I make the next revision public.
  529.  
  530. 3. I will point out that if the coding gain can be made spectacularly high, that the propagation impedance in my model will become very small, and that although a fee market may strictly exist in the asymptotic sense, such a fee market may not be relevant (the phenomena in the paper would be negligible compared to the dynamics from some other effect).
  531.  
  532. 4. [UNRELATED] I also plan to address Dave Hudson's objections in my next revision (the "you don't orphan your own block" point).
  533.  
  534. Lastly, thank you for the note about what might happen when fees > rewards. I've have indeed been thinking about this. I believe it is outside the scope of the present paper, although I am doing some work on the topic. (Perhaps I'll add a bit more discussion on this topic to the present paper to get the reader thinking in this direction).
  535.  
  536. Best regards,
  537. Peter
  538.  
  539. ----------
  540. From: Gregory Maxwell <gmaxwell@gmail.com>
  541. Date: Sat, Aug 29, 2015 at 8:32 PM
  542. To: Peter R <peter_r@gmx.com>
  543.  
  544.  
  545. https://www.reddit.com/r/Bitcoin/comments/3iuz3r/on_the_nature_of_miner_advantages_in_uncapped/cujz46a
  546.  
  547. Again, I am disappointed find you posting on reddit without correcting
  548. factual statements which I know you know to be wrong.
  549.  
  550. E.g. in dpinna's paper, "PeterR has recently proven that unhealthy
  551. fee markets where a miner’s surplus continuously grows with block
  552. space are impossible. This is guarateed by the fact that while the fee
  553. demand curve is asymptotically linear for largeblock sizes (see (3)),"
  554.  
  555. You know that your "proof" of this problematic-- outright false under
  556. the discussion we had, or at least likely of little pratical relevance
  557. under reasonable, pratical assumptions. But you respond to dpinna
  558. agreeing with him and not cautioning him on relying on these
  559. assumptions.
  560.  
  561. ----------
  562.  
  563. From: Daniele Pinna <daniele.pinna@gmail.com>
  564. Subject: Your Gmaxwell exchange
  565. Date: 29 August, 2015 5:05:33 PM PDT
  566. To: Peter R <peter_r@gmx.com>
  567.  
  568. Why wouldn't you forward this to me when you've known about me working on extending your work for the past two weeks...
  569.  
  570. Daniele
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement