<bramc>
We'll see whether it proves to be controversial or ignored
mariorz has joined #bitcoin-wizards
<bramc>
Hey gmaxwell
* sipa
guesses: both (without actually reading the linked document)
p15x has joined #bitcoin-wizards
<sipa>
(also: hello, i'm back from vacation)
yrashk has joined #bitcoin-wizards
<bramc>
sipa, I was looking for names to debate with Gallus, and since variants on 'maxwell' were all awkward, I looked into variants on 'sipa', and realized that Sippas is probably the root of your name and a little too close.
<sipa>
bramc: the origin of my nickname is an abbreviation of an abbreviation of a concatenation of childhood friends of mine, none of which you've ever heard about :)
Dr-G has quit [Disconnected by services]
Dr-G2 has joined #bitcoin-wizards
<bramc>
In this particular case I'm trying to explain the reasoning for and against increasing the block limit, throwing in some original observations and ideas and overall coming in against it.
<bramc>
Any feedback on my post would be much appreciated
<kanzure>
bramc: well, this argument is certainly novel to me "The wallet codebases are poorly written and maintained and can’t be realistically expected to be made to handle real transaction fees."
<bramc>
kanzure, I've definitely seen that presented in total seriousness somewhere
<kanzure>
on the other hand, i could imagine this being true "There aren’t any good way to handle transaction fees." for some definitions of good :-)
<bramc>
With 'somewhere' being not on this irc channel obviously
<kanzure>
bramc: i think it would be prudent to include more speculation about disaster scenarios regarding hardforks (there is a document baking somewhere about forks in general but it's not ready)
<kanzure>
or at least, not quite disasters at first but at least stating various obvious consequences
<bramc>
kanzure, The ones which I gave seem bad enough. I'm sure there are others, but (a) they didn't occur to me and (b) it was already getting fairly long
<bramc>
It took me several hours to write that post today, even starting from extensive notes.
<dgenr8>
bramc: thanks, now all my reddit-avoiding is for nothing
<kanzure>
i could imagine transaction fee estimation being something that might be construed as non-trivial, but surely that's an argument for just using a library that you trust in your wallet?
<bramc>
kanzure, I think transaction fees are a good idea as well, I was just trying to give most of the basic points a fair shake
<kanzure>
bramc: sure, i was just trying to preface my link and (poor substitute for a) link anchor
<dgenr8>
assertion. please refute: miner can create and transmit a 32MB block today. everybody will download it because they don't know how big it is until they receive it.
d3vz3r0 has joined #bitcoin-wizards
<kanzure>
everybody wont download it because the p2p graph is not fully saturated or something
<kanzure>
insert appropriate graph theory term
<bramc>
dgenr8, I don't off the top of my head know if that's true but it will get rejected. That would be a spam DDOS attack, and not a very good one.
<kanzure>
bramc: so the claim from the g man is that everyone will abandon bitcoin once anyone starts making lots of high-fee transactions
<gwillen>
kanzure: fully-connected
<dgenr8>
a node that downloads the whole thing will reject it because it's bigger than 1MB, or so it looks to me
<kanzure>
gwillen: that's way too esoteric for me to remember
<sipa>
dgenr8: bitcoin core master today will disconnect before the whole message is received in memory
<sipa>
iirc 0.10.2 will do the same
<bramc>
kanzure, Nobody goes there any more, the lines are too long
cosmo has joined #bitcoin-wizards
<kanzure>
bramc: i mean from the logs and the locatio ni nthe logs that i pointed you at
<dgenr8>
sipa: welcome back. so that's in the deserializer then?
<sipa>
this is in the network code
<sipa>
long before we even try to deserialize
<bramc>
I would view fees of $10 as a serious problem to be dealt with. Fees of $0.01 are not.
<kanzure>
bramc: $10 average fees are a problem why?
<kanzure>
how else are you going to pick transactoins for inclusion?
<gwillen>
kanzure: or 'complete'
<bramc>
kanzure, At that price probably some totally reasonable transactions are getting held up.
<gwillen>
kanzure: haha, sorry, it's hard to read tone of voice on IRC :-)
<kanzure>
bramc: well there are many possible potentially reasonable transactoins, far more than bitcoin will ever be capable of handling at any scale
<d3vz3r0>
what would be considered a ‘reasonable’ max transaction fee?
<kanzure>
bramc: i mean we could trivially imagine billions of transactions per second that might be completely legitimate, in a large-enough civilization
<d3vz3r0>
and what criteria would be for determining that transaction fee?
<bramc>
kanzure, The next question would be, what should you do if the price hits $10? I'd argue that (a) that's really getting ahead of ourselves at this point (b) you can probably wait for whoever's doing a DOS to run out of money, (c) the best approach is to get a jump on implementing lightning network
<kanzure>
d3vz3r0: users and wallets choose the transaction fee
<kanzure>
bramc: i think that a lot of the current block size talk is motivated by concerns about eventually increasing transaction fees
<d3vz3r0>
yes , Iknow that, but I’m really just asking the question in terms of what it means to be ‘too large’
<bramc>
kanzure, Yes that's clearly the subtext
<kanzure>
hooray i am capable of reading
<kanzure>
i think that more thought should be put into thinking about high-transaction-fee scenarios and what would be good or bad about them
NewLiberty has joined #bitcoin-wizards
NewLiberty_ has joined #bitcoin-wizards
<kanzure>
(or neutral about them)
NewLiberty_ has quit [Remote host closed the connection]
<bramc>
d3vz3r0, I'd argue that if a transaction gets abandoned because of a 1 cent fee then that isn't much of any loss to society. If it gets abandoned because of a $10 fee then maybe it was worth something nontrivial and it not happening is a loss
<kanzure>
well, there are many potentially good transactions that wont happen because fees are too high (always)
<bramc>
Of course, if there are functioning payment channels then maybe that $10 transaction was abandoned in favor of a $0.01 channel transaction, which isn't any loss at all.
<kanzure>
the only exception is when fees are literally-zero. but then what's the point of fees?
<d3vz3r0>
I guess I’m wondering if there’s some formal way to determine what a ‘proper’ fee is
<d3vz3r0>
and what are the economics behind how that fee should be selected
<bramc>
d3vz3r0, I'm making a completely subjective statement about when I personally would start worrying
<kanzure>
bramc: i think that partial-chain and off-chain solutions definitely give conduit for significantly lower fees, but that it is also useful to talk about the other limits of the system (not really "in their absence", but just so we know how the blockchain might be operating anyway)
<d3vz3r0>
I could potentially see cases where a 10$ fee is proper, and a .01$ fee is proper
<d3vz3r0>
in the ‘normal’ world this is usually a percentage of the transaction value, ie 3% or something for visa
<kanzure>
d3vz3r0: well, practically speaking, wallets should look at recent transactions from their mempool, then look at which transactions got into a block, then decide which transaction fee might be accepted
<bramc>
d3vz3r0, The way *miners* select fees is a straightforward auction: They look at the available transactions, sort by largest fee per byte, and go with the most worthwile until they're full
<kanzure>
there are also other complicated and boring "ask a miner for a fee estimation" schemes, but those get kinda wacky i think
<kanzure>
bramc: er, is that currently implemented behavior? for all of them?
<bramc>
(it's more complicated because of child pays, but that's the basic idea)
<d3vz3r0>
a ‘fee bid’ market or some such thing
<bramc>
kanzure, Probably not, but I'm being idealistic
<kanzure>
alright
<bramc>
The way wallets *should* behave is dependent on your assumption of whether it's receiver pays or sender pays
<kanzure>
well for the moment let's assume receiver pays and child pays works
<bramc>
If it's receiver pays then the sender sends it and forgets about it while the receiver starts with a low fee and slowly increases it until the transaction goes through. If it's sender pays then the sender starts with a very low fee and increases it using malleability until it goes through.
<bramc>
By 'receiver pays' I mean 'child pays'
moa has joined #bitcoin-wizards
<d3vz3r0>
so it’s really just about fishing for miners
<d3vz3r0>
at this point anyway.. .set the bait (fee) and hope that someone grabs yours before the others
<bramc>
d3vz3r0, It's a general technique called escalator, nothing weird about it
<d3vz3r0>
sure, I get the mechanism, but there’s not formal way of determining the proper fee for a transaction
<d3vz3r0>
unless I’m completely missing something
<bramc>
Right, it needs to be discovered empirically. There's an information gathering component of market systems which can't be done if they aren't running.
<sipa>
d3vz3r0: you're not; "reasonable" in this context was a completely subjective, and presumably context and time-dependent assessment
<d3vz3r0>
ah sure, “reasonable” means that historically that’s what has worked
<d3vz3r0>
but what happens as the cost of operating a mining rig goes up significantly.. ie: bandwidth costs for a larger block size
<d3vz3r0>
I guess that’s really where my interest lies in the fees arena
<d3vz3r0>
does the ‘fee market’ naturally reset
<d3vz3r0>
ie: miners start rejecting every transaction with fees under 1$ for example
<bramc>
d3vz3r0, The fees are determined by the max block size, not how expensive it is to run a miner
<d3vz3r0>
this is all just speculation and thought expiraments
<moa>
bramc: currently
<kanzure>
the fees are determined by max block size, demand for transaction inclusion, other transaction fees, other transactions, higher priority transactions, etc. etc..
<d3vz3r0>
how are the fees determined by max block size?
<sipa>
they are depetermined by available block space
<sipa>
sorry, influenced by, not determined by
<kanzure>
bramc: so i think that if partial-chain solutions (payment channels, sidechains, whatever) can accept low fee transactions, then what's wrong with $10 or higher fee transactions in the blockchain? does a $0.0001 transaction really need permanent recording in the ledger?
<sipa>
and available block space is a miner's decision, but it is also influence by the max block size consensus rules
<moa>
kanzure: as reward goes away fees will be the incentive to secure the chain also
<kanzure>
/win 2
<kanzure>
gah, fail :(
<sipa>
/loose 2
<kanzure>
(lose)
<bramc>
kanzure, Yes if partial chain solutions are in place and widespread a $10 fee wouldn't be very worrisome. I'm just saying that $10 is around the point where I'd take the claim that it was maybe a bit high somewhat seriously, as opposed to 10 cents, at which point I'd just laugh at anybody who made that claim, regardless of what else was going on
<kanzure>
bramc: i think it would be interesting to run simulations like, "how long could a very wealthy bitcoiner spam the blockchain and clog blocks with high-fee transactions" given 1 MB blocks versus much larger.
<kanzure>
er, not simulations in this case; this just requires arithmetic.
<bramc>
kanzure, The arithmetic is pretty simple, and right now it doesn't have to do with fees, just amounts to be fronted
<bramc>
In that post I do the math on the current system. It's a bit sad.
<kanzure>
i suppose there might be a situation where the blockchain could get stuck in a loop where the wealthy bitcoiner is also the miner?
<bramc>
Miners can run up transaction fees by accepting fewer of them, although they can make more money as individuals by accepting as many as they can but screwing over other miners later
<kanzure>
oh wait, it's easier to just mine zero-sized blocks instead
<bramc>
Perhaps once mining rewards go away then inevitably the block limit will fall down to an amount which results in significant transaction fees as all the big miners collude
<kanzure>
well, i guess they might be interested in taking up hard drive space
<moa>
interesting that all lot of miners are in china where they really do have bandwidth limitations
<bramc>
kanzure, Reading through that log, Gavin seems to just keep repeating that transaction fees will go up and that that's bad.
<bramc>
There are about 100,000 seconds in a day, so if you wanted to force transaction fees to $1 and nobody else was willing to pay that much it would cost you $400,000/day. Probably less in practice as others upped their fees.
<moa>
bramc: the thinking seems to be that it is bad if that happens before rewards drop ... and free block space is a "loss leader"
Guest82874 has quit [Ping timeout: 245 seconds]
<bramc>
moa, It's also bad if nobody gets ready to make it happen before rewards drop because there's no need to
<kanzure>
bramc: right.. i think he wants lots of consumer adoption.
<kanzure>
and believes that consumer adoption is incompatible with the other parts of bitcoin
<d3vz3r0>
consumer adoption occurs due to low transactions fees is the assumption there?
<moa>
bramc: quite
Artimage has joined #bitcoin-wizards
<bramc>
I would argue that if person A wants to send money to person B a $1 transaction fee would be of no consequence because it's lower than the fees they spend getting money into and out of the system
<d3vz3r0>
but if the money never leaves the system, it’s potentially a lot
<bramc>
If someone's business is critically dependent on transaction fees being less than a penny then you have to seriously wonder whether they're doing anything of value
<moa>
bramc: but if you wanted to perform 100's of mixing transactions then 100x$1 would be a consequence
<bramc>
This is an argument in favor of taxes on real world financial transactions, by the way. It turns out that having transaction taxes can actually save money for the bona fide participants because it puts the people who front run trades out of business.
<bramc>
moa, We already have perfectly good technology for making mixing vastly better than that
<bramc>
And when you're mixing you should burn some amount of your coin in transaction fees just so the exact amount is less of an identifying piece of information anyway.
<moa>
maybe I'm just pointing out where the volume of tx are coming from presently, not to mention http://cryptograffiti.info/ that maybe influenced by fees
<moa>
but i think you make a good point about the guy who is going into btc not be influenced by $1 fee
<kanzure>
bramc: i suspect (but i don't entirely believe yet) that transaction fees are somewhat focusing, and allow people to figure out which out of all the potential transactions they could be doing, which ones happen to be the most important to them. instead of, you know, just doing all of them.
<bramc>
kanzure, Yes, market based mechanisms are good for making everyone figure out the most valuable thing. Hence the proposals here in California that we should deal with our water problems by having the state just plain auction it off.
<kanzure>
bramc: would the local cities be bidding?
<kanzure>
(for residential water user)
<bramc>
Oddly, that proposal is viewed as extremist by people on both sides of the political aisle.
<kanzure>
*water use
<kanzure>
(actually i'm not sure how california municipal water is configured. i assume city-based.)
<bramc>
kanzure, Politically you'd probably have to earmark some for home use, but that's a small fraction of all of california water use. 80% of it goes to agriculture.
<kanzure>
indeed
<kanzure>
right, home use is something like 2%. perhaps they wouldn't be auctioning that off.
<bramc>
It's a giant mess of 100 year old regulations involving the federal government, the city government, landowners, hereditary water rights owners, and consumers.
<moa>
pray for rain
superobserver has quit [Quit: Leaving]
<bramc>
moa, a modest reduction in agricultural usage and our water problems would be gone
<kanzure>
i could understand some disagreements related to not pitting citizens versus agriculture companies, but that doesn't seem to be what's happening according to your summary.
<moa>
some food items too no doubt
superobserver has joined #bitcoin-wizards
<bramc>
Everybody assumes that if water prices went up to a reasonable amount then we'd stop producing alfalfa, but the truth is we don't know.
<kanzure>
i suppose those are similar to concerns about bitcoin transaction fees ("there's no way that individuals can compete against companies that are willing to pay large fees to record transactions")
<d3vz3r0>
the price of alfalfa would just go up
<d3vz3r0>
to a point
<bramc>
Right now farmers are paying less for water to grow grass in the desert than city residents are paying for the water they drink. This is a bit messed up.
<bramc>
kanzure, Yeah it's all the same stuff
<kanzure>
do you mean city water price, or do you mean price of water from restuarants?
<bramc>
Er, the price from your faucet, not the price of bottled water
<kanzure>
.tw
<yoleaux>
“WAGE AND PRICE DISTORTIONS WILL CONTINUE UNTIL MORALE IMPROVES” - California politicians (@DLin71)
<kanzure>
wise words.
<moa>
alfalfa is great stuff that keeps animals fed and highly nutritious too
c0rw1n is now known as c0rw|zZz
<moa>
bottled water seems extravagant by comparison
<kanzure>
bramc: i suspect that if companies are hogging all the block space with high-fee transactions that at least a few of those will be related to consolidating partial-chain or off-chain low-fee transactions.
TheSeven has quit [Disconnected by services]
[7] has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
<kanzure>
i suppose there's a concern related to whether the transaction relay network will be maintained if every transaction is high fee. ("why would i want to relay transactions when i'm not able to get a transaction included on my own?")
felipelalli has quit [Remote host closed the connection]
<kanzure>
(er, this is for fees significantly higher than $100 of course.)
<d3vz3r0>
or it creates a market for transaction brokers
<kanzure>
brokers that would do "matchmaking" to combine fees and transactions?
<d3vz3r0>
yea, something like that
<kanzure>
i don't know which one but there's at least one mixing network proposal that operates like that
<d3vz3r0>
consolidating partial-chain or off-chain transactions for lower-fees
hulkhogan_ has quit [Ping timeout: 245 seconds]
<kanzure>
d3vz3r0: well the mechanism of consolidation has to happen before the transaction is created, because otherwise you have an immutable signed transaction, but yes.
<kanzure>
whoops i mean before it is signed
<d3vz3r0>
yea, before it’s signed
<NewLiberty>
More likely on alt-coins or side chains than brokers imp
<kanzure>
altcoins aren't very likely; currency tends to be winner-takes-all.
<kanzure>
however, you could easily argue that many bitcoin-powered sidechains can harbor altcoins, in which case i'll cede.
d3vz3r0 has quit [Quit: d3vz3r0]
<NewLiberty>
Thus the block size debate is one of the intersections of conflict of interest between Blockstream and Bitcoin. Fortunately the individuals involved are much more ethical than typical.
<sipa>
god please stop saying that
<sipa>
for everything blockstream wants to do, larger blocks would make things easier
<NewLiberty>
I don't disagree.
<kanzure>
sipa: it creates a conflict of interest because they are incentivized to respond to millions of conflict of interest claims, instead of working on bitcoin they are busy defending their decisions
<yoleaux>
RFC 1217 - Memo from the Consortium for Slow Commotion Research (RFC1217)
Starduster has joined #bitcoin-wizards
Cory has quit []
jae_ has quit [Remote host closed the connection]
<bramc>
No response to my post so far. Maybe I'd get more response if I take out just the rant about zeroconf and title it 'zeroconf advocates should get over it'
<bramc>
Or the following rant and entitle it 'How to block all bitcoin transactions of less than $10 using only $25,000'
<gmaxwell>
This ring signature is a building block for a much bigger cryptosystem which I'll be publishing soon.
<gmaxwell>
(also with code implementing whats in that paper too.)
<gmaxwell>
This new ring-signature is asymptotically 2x more efficient than the one used in Monero/Bytecoin: It needs pubkey+1 field elements in the signature instead of 2*pubkeys. In particular, it retains that 2x efficiency when doing an AND of many smaller rings, because the +1 gets amortized across all of them.
jae_ has quit [Remote host closed the connection]
<jcorgan>
gmaxwell: will be a nice read, and a welcome change from all the politics recently. thanks.
robogoat has quit [Ping timeout: 265 seconds]
<akrmn>
can this be softforked into bitcoin? And what are the applications? More anonymity?
<gmaxwell>
It also describes a new way to think about ring signatures; which might be helpful to anyone whos looked at them before and found them confusing. (If we were successful, you'll think the new construction was so simple that it was obvious; I can assure you it was not... fortunately andytoshi came up with an especially good way to explain it. :) :P )
<gmaxwell>
akrmn: The application is that it is a building block for a larger cryptosystem which is yet to be disclosed. (If you guess what it is, you'll guess wrong. :) )
<akrmn>
gmaxwell: I don't like too much the idea of secret projects being worked on that will in the end benefit everyone. But maybe I'm wrong.
<gmaxwell>
[I think it would be a bit impolite to publish a new cryptosystem, itself built from new cryptosystems, all at once; plus this was ready now.]
<andytoshi>
akrmn: having said that, in principle, yes we could softfork this into bitcoin, but there are no plans for this (and won't be -- any features that might be perceived as increasing anonymity are too political)
<andytoshi>
plus this doesn't even improve anonymity, it just has "ring signature" in the name so people'll think it does :)
<gmaxwell>
akrmn: every project is secret until its first published, besides I'm tired of being flamed for vaporware; so at the moment I'm only publishing things that are done. I mean if you're going to complain I can take it back. :)
<gmaxwell>
well "done", as in actually usable. Nothing is ever really done.
<akrmn>
Well ya it's good to wait until you are sure of something before you publish
<leishman>
gmaxwell: thanks for sharing. looking forward to reading it
<gmaxwell>
And have something that actually makes sense. Communicating is very hard, making good software is very hard, etc.
<midnightmagic>
To publish early is unethical anyway.
<andytoshi>
that's pretty close to "so simple it's obvious" :)
<andytoshi>
amiller: ^
robogoat has joined #bitcoin-wizards
<andytoshi>
but i'm not sure it's true, mainly because i didn't see a generic way to do AND proofs (tho maybe there is and i'm just being daft), i actually was stuck with this disjunctive-normal-form requirement
<midnightmagic>
... highly unethical, in some cases. It doesn't make sense to complain about work being done privately.
<andytoshi>
amiller: in particular, that paper gives you the monero-style rings i think (see page 7 "boolean composition") where you have a bunch of hashes that are supposed to sum to a random-oracle output
<gmaxwell>
amiller: according to 2.4 in that paper it constructs the OR proofs in the non-chained manner, e.g. two elements per pubkey.
<gmaxwell>
(last paragraph of the boolean composition section). It would be great news to find someone had constructed exactly what we're describing before though.
ortutay has joined #bitcoin-wizards
leishman has quit [Ping timeout: 246 seconds]
wallet42 has quit [Read error: Connection reset by peer]
damethos has quit [Remote host closed the connection]
damethos has joined #bitcoin-wizards
dEBRUYNE has quit [Ping timeout: 265 seconds]
<fluffypony>
'The name "Borromean rings" comes from their use in the coat of arms of the aristocratic Borromeo family in Northern Italy.'
<fluffypony>
TIL
<nsh>
.wik Borromean ring
<yoleaux>
"In mathematics, the Borromean rings[a] consist of three topological circles which are linked and form a Brunnian link (i.e., removing any ring results in two unlinked rings). In other words, no two of the three rings are linked with each other as a Hopf link, but nonetheless all three are linked." — http://en.wikipedia.org/wiki/Borromean_ring
<nsh>
trefoil knots are a single...bit of string -- borromean rings are three disjoint but interlinked... bits of string
<fluffypony>
I'm going to struggle not to pronounce it borrow-mean
<Jaamg>
are there people who think that avg block size approaching max block size is actually desirable?
airbreather_ has joined #bitcoin-wizards
wizkid057 has quit [Ping timeout: 245 seconds]
<Taek>
jaamg: the bigger problem is the risks that accompany increasing the block size.
<Jaamg>
Taek: that doesn't answer my question though
airbreather has quit [Ping timeout: 245 seconds]
wizkid057 has joined #bitcoin-wizards
<Taek>
jaamg: I think everybody philisophically believes that it would be best if the blockchain never ran out of space, though it's uncertain where the block-subsidy will come from long-term if there is no fee structure. That's far enough away to not be an issue for a long while. Other than that, I don't think there's any reason that running out of space is 'desirable'.
<Jaamg>
Taek: I'm hoping "everybody philisophically believes that it would be best if the blockchain never ran out of space" is true. I'm trying to figure out whether it is true and that's why I asked what I asked
airbreather_ has quit [Read error: No route to host]
jtimon has joined #bitcoin-wizards
airbreather_ has joined #bitcoin-wizards
<Jaamg>
I try to find someone to tell me why it isn't true
jtimon has quit [Remote host closed the connection]
<Jaamg>
if there is no such people, i think we should accept that as an axiom of some sort
ThomasV has quit [Ping timeout: 265 seconds]
HostFat has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
prodatalab has joined #bitcoin-wizards
adam3us1 has joined #bitcoin-wizards
adam3us has quit [Read error: Connection reset by peer]
SDCDev has joined #bitcoin-wizards
maraoz has quit [Ping timeout: 265 seconds]
c0rw|zZz has quit [Read error: Connection reset by peer]
c0rw|zZz has joined #bitcoin-wizards
prodatalab has quit [Ping timeout: 265 seconds]
Mably has quit [Ping timeout: 246 seconds]
Burrito has joined #bitcoin-wizards
<fluffypony>
Jaamg: nobody here (that I know of) thinks that the size should *never* change (at least not without sidechain / lightning network stuff to provide scalability)
<Jaamg>
fluffypony: that doesn't answer my question though
<fluffypony>
the issue is with *when* the size should change, *how* it should change, *by how much* it should change
<fluffypony>
Jaamg: to answer your very first question, yes
<Jaamg>
fluffypony: what i want to know is: are there people who think that avg block size approaching max block size is desirable
<Jaamg>
fluffypony: why would that be desirable?
<fluffypony>
jtimon, afair, wanted it to happen to observe a fee market and gather real, meaningful data
<frankenmint>
what is a large enough priority for free transactions to be sent?
<fluffypony>
anyway, I'm getting on a plane, so a conversation for another time
c0rw|zZz has quit [Ping timeout: 255 seconds]
Giszmo has joined #bitcoin-wizards
mkarrer_ has joined #bitcoin-wizards
mkarrer has quit [Read error: Connection reset by peer]
c0rw|zZz has joined #bitcoin-wizards
c0rw|zZz has quit [Client Quit]
c0rw1n has joined #bitcoin-wizards
Populus has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 240 seconds]
p15x_ has joined #bitcoin-wizards
p15_ has joined #bitcoin-wizards
p15x has quit [Ping timeout: 256 seconds]
p15 has quit [Ping timeout: 272 seconds]
nessence has quit [Remote host closed the connection]
c0rw1n_ has joined #bitcoin-wizards
c0rw1n has quit [Read error: Connection reset by peer]
maraoz has joined #bitcoin-wizards
AaronvanW_ has quit [Ping timeout: 246 seconds]
* Jaamg
wonders why current data isn't real/meaningful and when will it become real/menaingful
zooko has joined #bitcoin-wizards
thrasher` has quit [Remote host closed the connection]
<frankenmint>
nice that's the first time you've addressed me personally, thanks
<frankenmint>
would you confirm that you potentially plan to work w/ mike hearn on xt if consensus cannot be reached on blocksize?
<frankenmint>
I looked at XT's github page and don't see any sort of references to the larger blocksize being on the roadmap in development
<gavinandresen>
yes, I think diversity and choice is good....
<zooko>
Hi folks.
<gavinandresen>
howdy zooko
<Taek>
jaamg: the data on a fee market wouldn't really be considered valuable today because fees are nearly trivial and free transactions still make it into blocks
<akstunt600>
Bitcoin is like DNA. DNA holds all life in balance with a distibuted ledger like system. If we break bitcoin in 2 pieces will bitcoin have any value as the currency of the future. To me bitcoin is all about putting greed in check, comprimise. I'm not really worried about us coming to consensus. We have a fair amount of time to get our ducks in a row right?
<frankenmint>
what is priority a measure of? I thought it was perhaps seconds since last spend
<frankenmint>
perhaps milliseconds?
<gavinandresen>
frankenmint: priority is a product of the number of bitcoins in each transaction input times how deep that input is buried in the chain, modified so that transactions that sweep up inputs and reduce the UTXO set size get higher priority
<gavinandresen>
frankenmint: See CCoinsViewCache::GetPriority and CTransaction::ComputerPriority for gory details
<Jaamg>
Taek: why would the fees ever rise in an artificially limited system when people can switch to (more) free system?
gill3s has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<gavinandresen>
Jaamg: ask an economist who knows a lot about pricing of commodities-- convenience, switching costs, security, reliability....
<gavinandresen>
I don't think many economists hang out here in -wizards... (chime in if I'm wrong)
<stonecoldpat>
gavinandresen: i came across your o(1) propragation post earlier today (thx to benjamindees), i'm surprised it hasnt been mentioned yet in the e-mail discussions about blocksize - is there any particular problem with it?
<frankenmint>
Jaamg: creation of artificial barriers to facilitate commerce
<akstunt600>
Honestly i dont think too many economists really understand the mechanics here.
<frankenmint>
I'm speculating here: 21co is working with quallcomm and intel
<frankenmint>
to allow users to trade earned btc for hardware locked overclocking
<frankenmint>
so that continued use of device allows for a sort of 'free upgrade'
<gavinandresen>
stonecoldpat: O(1) depends on mempools being almost identical across the network, and we don't really know if that will be the case long-term. I think if the incentives are to keep your mempool in sync with your neighbors, then they WILL be almost identical
<gavinandresen>
I don't like to bring "but we can just write THIS code to fix the problem" into the debate, because it is speculation whether or not the code will actually work until it is up and running.
<akstunt600>
well satishi kinda hinted that it needs to be popular by that time, right?
<Taek>
gavinandresen: my understanding is that miners will have strong incentives to keep their mempools in sync with at least 51% of the hashing power on the network. Except for instances of collussion, this should lead to the whole network having nearly-identical mempools
<akstunt600>
wehn sub ends
<frankenmint>
i saw you mention the issue of a dynamic block size w/ a malicious actor throwing in a huge 11gb block for the network to chug on...why not make X previous blocks enforce average accepted block size?
<frankenmint>
such that larger sizing is required but a sustained increase has a cooldown period after X growth per period
<akstunt600>
yeah kinda stuck to scheduled hard cap increase by blockheight, but that sucks in the case of exponetial growth
<Jaamg>
gavinandresen: yea, convenience, switching costs, security etc. all are valid reasons, but the point I was trying to make was kind of: why would anybody choose Bitcoin with "small blockchain-capacity" if there is Bitcoin with "big blockchain-capacity available in a hard fork situation
<akstunt600>
frankenmint, It has a bias toward smaller blocks that way :-/
<frankenmint>
akstunt600: what event would occur that isn't considered block spam at this point that would be considered such growth?
<akstunt600>
frankenmint, not sure, but not a gamble i am willing to take. Remember PGP is on Facebook now. The times are changing
<akstunt600>
Like i said above Satoshi intends on adoption in large numbers before subsidy issues come into play.
<frankenmint>
basically all serivies that user btc can do so in a seperate closed off chain system with atomicity to overcome the transaction fee limitations
DougieBot5000 has joined #bitcoin-wizards
<gavinandresen>
I really want to get away from making policy decisions about what is, or isn't, "spam" . That's why I start with "what do we think is a reasonable upper limit cost to running a full node" and want to let all the rest be driven by economics.
<akstunt600>
could yeah
<akstunt600>
but doesnt have security of the main chain
<stonecoldpat>
gavinandresen: cheers, that makes sense then (its not been tried and tested).
<akstunt600>
well not the same level* you know what i mean
<gavinandresen>
in any case, this is all not -wizards-level discussion.
<kanzure>
gavinandresen: "spam" is not just "things that don't get into the blockchain". out of millions of possible transactions it's not surprising that reality can only accomodate some subset.
<kanzure>
or wait, er, "things that don't get into the blockchain" are not always spam
<kanzure>
sorry, i got it backwards
<Taek>
kanzure: I do like the data-agnostic approach. If we come to an agreement on what sort of block size is acceptable, then the highest bidder seems like a fully reasonable way to determine who gets space on the blockchain
<frankenmint>
gavinandresen: when is pruning scheduled to be available on core implementation?
<priidu>
i hope things don't go as far as a serious fork in bitcoin development (i.e. XT vs Core)
<kanzure>
Taek: i believe gavinandresen disagrees with that (although i'm still trying to figure out why)
<frankenmint>
not that this has anything to do w/ trx limits currently
<priidu>
that would make me feel much like a lost child in the midst of a messy divorce
<zooko>
lol
<frankenmint>
priidu: i read that someplace else earlier today from you :)
<zooko>
priidu: thank you for that. I think that's a serious truth for me to remember.
<akstunt600>
kanzure, I hope that is not the case.
<zooko>
We love *both* gavinandresen *and* gmaxwell, and we don't want them to fight!
<priidu>
frankenmint: yes, i think i might have said it once earlier :p
<gavinandresen>
frankenmint: pruning is in the lastes Core release.
<gavinandresen>
I'm not fighting with gmaxwell, I just disagree with him about timing and vision for scaling up.
<akstunt600>
pruning is whicked fast another sync in only 6 hours or so
<akstunt600>
wicked*
Mably has joined #bitcoin-wizards
<gavinandresen>
kanzure: I don't disagree, I just believe blocks should be "as large as practical" (where practical is defined by "doesn't cost an arm and a leg or require a full rack of servers")
<kanzure>
hmm
<kanzure>
okay interesting. you do not in principle disagree with "If we come to an agreement on what sort of block size is acceptable, then the highest bidder seems like a fully reasonable way to determine who gets space on the blockchain".
<akstunt600>
Awesome!
<gavinandresen>
kanzure: absolutely.
<kanzure>
ah right; now i remember. yesterday the concern was more oriented towards "(perhaps perpetually) extremely high fees", not full blocks.
<gavinandresen>
kanzure: I wrote the original fee estimation code for Core (improved upon by Mike Hearn and Alex Morcos) exactly because bidding for space is the right approach
ThomasV has joined #bitcoin-wizards
shen_noe has joined #bitcoin-wizards
<kanzure>
sounds like you're perhaps worried about potential adoption being priced out of the transaction fee market (to the extent that any such fee market exists at the moment, whatever)
shen_noe has quit [Client Quit]
bramc has joined #bitcoin-wizards
<gavinandresen>
kanzure: applications are already driven off-chain because of the transaction fee market.
<kanzure>
that's always going to be true (e.g. there are some applications that will always prefer zero transaction fees, i think)
<gavinandresen>
kanzure: I am more worried that we are failing to be predictable. If I was going to start a business, I'd like to know what the scalability plan was so I could plan accordingly.
<kanzure>
(i mean; they also have to compete with other transactions just on size alone, so...)
<kanzure>
i think we need more words for off-chain and partial-chain tech stuff
<kanzure>
by which i mean names
<Jaamg>
kanzure: perhaps potential adopters are not so much _priced_ out but rather _timed_ out. People get frustrated with hard-to-predict confirmation waiting times and abandon the system -> less pressure for the fees to go up
<zooko>
Heya bramc.
justanotheruser has quit [Ping timeout: 244 seconds]
temujin has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
<gavinandresen>
bramc: I enjoyed the Gallus and Simo debate
<bramc>
Hey zooko
<kanzure>
Jaamg: hmm, i'm not sure that all potential bitcoin users are users that also must have transactions in the blockchain that they created- surely they could still have an interest without having a utxo assigned to them.
<bramc>
gavinandresen, Thanks, it was an earnest attempt to engage in technical discussion rather than just rant
justanotheruser has joined #bitcoin-wizards
<gavinandresen>
bramc: ... although you lost me at merge-mining....
<kanzure>
Jaamg: i mean, all things being equal i would prefer everyone to have utxos they are interested in, but all things are not particularly equal etc
<zooko>
Where was this earnest discussion posted? May I have a link?
<helo>
gavinandresen: starting a business that is based on bitcoin right now seems pretty ill advised. it's stuck in its highly experimental phase until we see how it functions best with full blocks. (the way it functions will inevitably rule out many business approaches)
<kanzure>
helo: that is hard to deterimne, plus it's not -wizards appropriate :P
<helo>
doh :P
<bramc>
gavinandresen, I might have bungled that a bit - the idea was that if you're doing a hard fork to raise the maximum block size you could allow it to be merge mined at the same time. That might make it harder and forkier, but at least it results in the fork not having such a lousy security parameter when it starts out
<priidu>
helo: still though... it'd be understandable if we already had 20MB and someone was trying to push 200MB blocks
gill3s has joined #bitcoin-wizards
<priidu>
helo: but 1MB -> 20MB isn't really that bad imho, on the other hand it would give some serious headroom
<gavinandresen>
bramc: I never considered doing that, and I don't think it could work without doubling the money supply (which is an absolute non-starter). In any case, any hard fork I propose won't happen unless there is a clear super-majority of exchanges, merchants, and miners who have expressed support
<kanzure>
if the money supply is doubled then you might as well do merge mining i think
maraoz has quit [Ping timeout: 272 seconds]
<bramc>
Some of the high flying Bitcoin companies have business models which don't make any sense unless the value of Bitcoin transactions goes up a couple orders of magnitude. And then there's Bitshare.
<kanzure>
i mean "in the event that the scenario ends up being that the supply has doubled..."
antanst1 has quit [Quit: Leaving.]
<gavinandresen>
bramc: Bitshare? Too many bitcoin companies with 'bit' in their name for me to keep track of....
<kanzure>
he probably means bitshares
<helo>
priidu: all of the headroom just increases how long it takes for the system to begin functioning in its long term steady state (full blocks). the system is totally unpredictable until that has happened.
<bramc>
gavinandresen, Right, the sort of voting which has happened in the past (although those were for soft forks). I think even a supermajority would be problematic, it should be more than 90% to a void a horrible fork. That's for miners though, I don't know how to survey exchanges and merchants.
<gavinandresen>
helo: you just pushed one of my pet peeve buttons... "totally" unpredictable? Really? totally?
<helo>
gavinandresen: well, you just lost the moral high ground by ignoring everything but one word :P
<kanzure>
yes at any moment transactions can spontaneously turn into blocks or something. totally unpredictable.
<kanzure>
helo: nah you said "until this happens". but some aspects are predictable before that.
<Jaamg>
when "fee market" happens, it means that people are already pissed off by the slow confirmations
<akstunt600>
Im glad that you recognize the important of the exchange rate in all this too
<akstunt600>
importance*
<kanzure>
Jaamg: user expectations should be shaped by system capabilities in many cases
<kanzure>
gavinandresen: i happen to disagree with the following point, but i'm a little surprised i haven't seen anyone argue "something something market price increasing, current node operators with small amounts of BTC will be able to upgrade their hardware to run equipment and more-resource-heavy software".
<akstunt600>
kanzure, LOL, eveyone is too depressed to talk about BTC going to mewn. :p
<kanzure>
i agree that you do not make that argument
gill3s has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<kanzure>
i was stating that i was surprised that i don't see anyone making that argument at all
Relos1 has joined #bitcoin-wizards
<akstunt600>
yeah kanzure Im saying the small miers, alot of them got down on their spirits and left or sold miners.
<helo>
from the perspective of establishing long term business plan, "totally unpredictable" is a fine characterization at this point in the experiment
Relos has quit [Ping timeout: 250 seconds]
wallet42 has joined #bitcoin-wizards
<akstunt600>
lot of bad information and underperforming asics out there to really drive the point home too
<priidu>
helo: what's "totally predictable" though? only death and taxes
<akstunt600>
Which really really sux IMO, as im still profitable with my old s3+
<akstunt600>
s3+'s
<gavinandresen>
... trolls in any public forum are also completely predictable....
<Jaamg>
kanzure: I 100% agree that system capabilities shape user expectations. Mike Hearn's crash landing blog post was great description what happens when system capabilities shape user expectations
Quanttek has joined #bitcoin-wizards
<c0rw1n_>
priidu: hang around transhumanist libertarians enough and the unavoidability of those begin to seem like technical problems soon to be solved
skyraider has joined #bitcoin-wizards
<kanzure>
c0rw1n_: yes
<kanzure>
bramc: someone relayed some commentary and questions about your blog post; near "have little reason" the questions are "why would miners have a goal to avoid or reduce transaction fees?"
<kanzure>
oh i suspect it is a missing word- i think your sentence needs to hvae the word "developers" added to it perhaps?
wallet42 has quit [Quit: Leaving.]
<akstunt600>
they dont care. they just want to ship the smallest block to help prevent against orphan. Dat .3%
<helo>
the bathysphere hasn't even been exposed to pressures at depth, and we're installing stadium seating </troll>
* nsh
smiles
<helo>
okay, work time... i'll stop being offtopic
wallet42 has joined #bitcoin-wizards
<akstunt600>
trolololol
<bramc>
kanzure, Ah I have a copy editing problem there which makes it look funny
<bramc>
kanzure, It's a point about miners though, there isn't much in it for miners to increase the max block size
Relos1 has quit [Ping timeout: 256 seconds]
<kanzure>
miners can squash out smaller-scale miners that don't have resources for handling larger blocks (significantly larger, mind you).
<bramc>
kanzure, I doubt that block sizes below something like a gigabyte would be a serious issue for anyone actually running a miner
<kanzure>
right, i'd agree with that estimation
<bramc>
gavinandresen, The recently announced bitshares mining chip is a bitcoin mining chip which runs on mobile devices. They seem to have a model where they give the chips out for free and the chips only work with their pool which keeps 75% of the proceeds
<bramc>
gavinandresen, It does not appear to be a parody.
<kanzure>
everything in that post is completely unrelated to what i was just talking about
<kanzure>
well, perhaps not completely unrelated. the line about "marginal miners" always being priced out of the market is correct, and relevant to what i was saying.
<gavinandresen>
kanzure: yes, and of all the costs that go into mining bandwidth/connectivity is in the noise. Electricity costs, cost of capital, access to latest mining hardware....
moarrr has joined #bitcoin-wizards
<gavinandresen>
kanzure: if we were talking gigabyte-sized blocks then I would agree costs would get significant.
zooko has quit [Remote host closed the connection]
<kanzure>
in general i prefer to talk about "in the limit" because that helps inform long-reaching engineering implications somewhat
<gavinandresen>
kanzure: in the limit, we all die....
<gavinandresen>
mmm, I suppose we should stop working on this bitcoin thing and all help out with immortality research, more important problem to solve first.....
<kanzure>
aubrey de grey mentioned to me once the secret of the longevity research community is that nobody reads a lot... just reading a few thousand papers a year is enough to accumulate a significant perspective on plausible approaches to not dying.
<kanzure>
well, i have much to say on that topic, although i can't tell if you're being sarcastic in the good or bad way
Cobra has joined #bitcoin-wizards
<moarrr>
hey gavinandresen, its Daniel Michael Abraham, how are you?
<moarrr>
gavinandresen: /me is 1EW6G5DfewxJtAintR1pwVR6TpEYHFfwdZ
c0rw1n_ is now known as c0rw1n
Cobra has quit [Ping timeout: 246 seconds]
<temujin>
gavinandresen: do you think Peter Todd's O(n^2) argument is invalid in the context of a single node? certainly all nodes verifying all transactions can be expressed as an n^2 complexity problem, but each individual node only needs to verify the entire blockchain once
paveljanik has joined #bitcoin-wizards
AaronvanW_ has joined #bitcoin-wizards
* moarrr
is concerned about bitcoin's development
ThomasV has quit [Ping timeout: 264 seconds]
Artimage has joined #bitcoin-wizards
<gavinandresen>
temujin: yes, his argument is invalid in the context of a single node. And the scalability vision was never, ever, "every single user validates every single transaction" -- that is a straw-man
d3vz3r0 has quit [Quit: d3vz3r0]
<akrmn>
gavin clearly doesn't care about the O(n^2) problem, which basically means, if you keep increasing the block size, you eventually end up with one NSA-style node monitoring all transactions, and there is no more a transparent blockchain that is easy for everyone to see (which is convenient for government/corporate corruption to hide inside it)
* gavinandresen
reminds himself not to feed trolls.....
<akrmn>
there are ways to solve this problem, but as you will see, try to talk to him, and he will not be interested in the solutions
<CoinMuncher>
respect, Gavin... respect!
<temujin>
akrmn: my question was to make sure i understood correctly that the problem isn't actually a problem, it's just a scary way to say something not quite related to the problem to instill FUD
<moarrr>
gavinandresen: being concerned makes one a troll?
<akrmn>
temujin: How is it not a problem?
<temujin>
i think you're the one making the claim there is a problem, are you not? it is true that the entire network complexity is O(n^2), but no single node has to do anywhere near that many calculations, it's just a "fun fact" more than anything
<temujin>
explain the problem in detail
<CoinMuncher>
From 1MB to 20MB is the same as from my RaspberryPi full node to NSA level of computing power? FUD much?
<akrmn>
Yes each full node has to store O(n^2) unspent outputs as far as I understand
<akrmn>
my proposed solution splits the validation up so that not every full node has to verify every transaction
<c0rw1n>
that is what makes it trust-free akrmn, why are you questioning the basic principle of bitcoin
<temujin>
akrmn: UTXO bloat scales at worst _linearly_ with block size, and it's true that this is a problem, however it is understood that this problem should be solved before block sizes are increased
nemild has joined #bitcoin-wizards
<temujin>
there are a few easy solutions to that problem, which can be implemented without hard-forking the network
<gavinandresen>
akrmn: yes, the definition of a full node is "validates all transactions" ... if you don't have the resources to validate all transactions, then you run as an SPV node. In the future, there might be options to probabalistically validate, and trust your neighbors will alert you if something you didn't validate is invalid.
<gavinandresen>
akrmn: that is obviously not as secure as "I will validate all transactions myself" . I have proposed that we scale up so the cost of validating all transactions yourself remains modest.
<akrmn>
You can read what I wrote about it on the mailing list (Scaling Bitcoins with Subchains). It's similar to the tree chains idea but solves some problems I think tree chains had, but it's actually quite a simple idea, but I don't want to bother gavin anymore about it. I was planning to ask some people later this week.
<akstunt600>
gavinandresen, there is the same or more of risk to mempool bloat by not increasing the blocksize, in reguards to utxos
<akstunt600>
that argument goes both ways really
<gavinandresen>
akrmn: oh, you're the subchains guy. Sorry, your idea won't work.
<akrmn>
ok then explain
<gavinandresen>
I send a transaction that is on subchain eleven. It spends coins from subchains six through fourteen. How do I validate it?
<temujin>
akstunt600: can you elaborate? how can there be risk of more bloat with smaller block sizes?
lclc_ has joined #bitcoin-wizards
<akstunt600>
backlogs, if blocks are filled mempool bloat not BS bloat
ThomasV has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
ThomasV has quit [Changing host]
ThomasV has joined #bitcoin-wizards
<akstunt600>
i agree with what u said above temujin
<akrmn>
gavinandresen: My restriction (I added it to my reply to the topic) was that only 2 sibling chains at a time can be involved in a transaction
<akrmn>
So I hope that you're not trying to put more at a time
<CoinMuncher>
How do you verify the sibling chain without verifying the next-sibling?
<gavinandresen>
akrmn: how does that help? I'm validating subchain eleven. I get six hundred transactions, each on a maximum of 2 sibling chains. How do I avoid needed ALL of the sibling chains to validate those 600 transactions?
<gavinandresen>
(... I mean to say: each SPENDING inputs from a maximum of 2 sibling chains...)
jae has joined #bitcoin-wizards
jae is now known as Guest59130
<temujin>
akstunt600: i see, i misread your statement. you're right, but i think the fears about mempool bloat are overblown... a greater problem with the mempool "forgetting" backlogged transactions is user experience and logistics (re-broadcasting forgotten transactions). it isn't a strong DOS attack vector
<akrmn>
gavinandresen: The coins have to be on subchain eleven or one other chain to be used (if you want to publish the transaction on 11). Though I have to think because I may be misunderstanding your question.
<akstunt600>
temujin, 100% agree
<akstunt600>
that is actually my greatest concern by FAR
<temujin>
very annoying for businesses and users to have to deal with one more "gotcha", and a potential hurdle to adoption
<akstunt600>
stuck tx are no fun and peter tods tool still would look terrible to "new" users
<gavinandresen>
akrmn: "have to be on subchain eleven to be used" -- if users have to think about what subchains the coins in their wallets are on, then that's absolutely not workable. If you think wallets will just move coins from one subchain to another when needed... then you've just increased the transaction volume. And how does the moving work?
<akstunt600>
yeah i would probably freak out if i were green and my money justy didnt send or dissapeared
* CoinMuncher
wonders if an apology to Gavin is near, after spreading FUD and "gavin clearly doesn't care about the O(n^2) problem" and "but as you will see, try to talk to him, and he will not be interested in the solutions"
<akstunt600>
^ yes probably
<akstunt600>
IMO
<akstunt600>
i think shit got taken out of context
<akrmn>
gavinandresen: You make sure all your coins are on one path of subchains (or other paths if you want to track other identities)
<akstunt600>
but i only know what i saw
<temujin>
mempool weirdness and edge-cases cause some 3rd party wallets to bug out too
<akstunt600>
yup
<akstunt600>
i broke electrum a few times
<bramc>
The appropriate behavior of a wallet when its transactions don't go through is to increase the fee over time until the transaction goes through.
<akrmn>
Then you can send to someone whos on another chain. If you want more complex transactions involving multiple sibiling chains, then you have to do multiple transactions (that's ok)
<gavinandresen>
akrmn: who is "you" ? If I've got coins in my wallet on subchain eleven, and I'm sending them to you but you're only validating subchain thirteen, what happens?
Populus_ has joined #bitcoin-wizards
<akrmn>
gavinandresen: I validate that your coins are fine by pulling in the headers of subchain 11
<frankenmint>
akrmn: which software are you using?
<frankenmint>
is it machine level or person level?
<akrmn>
then the transaction gets store on both subchain 11 and 13
<akrmn>
there are duplicates but it's ok
<gavinandresen>
akrmn: That is equivalent to just running an SPV node that stores a random subset of the UTXO and validates what it can.
<gavinandresen>
... which is fine, but isn't the same as running a fully validating node
<akrmn>
gavinandresen: I run a fully validating node on subchain 13
Guest59130 has quit [Remote host closed the connection]
<akrmn>
SPV is risky only because you can have a denial of service (not see transactions)
<akrmn>
but all I need is proof that I received coins on subchain 13
<frankenmint>
gavinandresen: what is the ideal price target to holding a full node and do you have any opinions on the long term storage of chains? will this ultimately be a utliliatarian system or one that holds value in the consnsus users (the miners and node holders which vote by the sofware they opt to use)
<akrmn>
the fully validating is needed to make sure that I see all transactions on 13 and in that path
user7779078 has joined #bitcoin-wizards
Populus has quit [Ping timeout: 258 seconds]
<frankenmint>
seems like ulitmately a conjunction will come together where one network would be used over the other but that one netowrk (largerblock) would be able to validate both
<akrmn>
this is how distributed computing works. Not everyone does the same task, it is spread.
<bramc>
My understanding from the blockchain people is that they don't mean for subchains to be a scaling solution, at least not by making lots of subchains. With everything merge-mined they wouldn't particularly help anyway.
prodatalab has joined #bitcoin-wizards
<akrmn>
though there will be lots of intersection at the top of the tree of chains.
<gavinandresen>
frankenmint: I've said you should be able to run a full node as a hobby. And the average american spends about $50 per month on hobbies, so somewhere in the $20 to $50 per month range seems reasonable to me.
<frankenmint>
gavinandresen: nope, not american - gotta think globally
<gavinandresen>
frankenmint: There are lots of people who would argue "amateur hour is over" and say that's too low....
<frankenmint>
gavinandresen: should be free
<gavinandresen>
frankenmint: ok, if you can find stats on how much the average global citizen spends on hobbies, great.
<frankenmint>
I know that's a really tall order
cosmo has joined #bitcoin-wizards
lclc_ has quit [Ping timeout: 256 seconds]
<kanzure>
"amateur hour" is the wrong way to think about this. there are no "experts" when there's no authority anyway.
<akrmn>
I don't care about your chocolate bar purchases on level 8 chains with 10^7 block size equivalent volume, I care only about my chocolate bar purchases, or whoever elses I want to track
<frankenmint>
but ultimately, its about distribution and lowest ease of entry to ensure highest propegation
<gavinandresen>
frankenmint: targeting the free level of Amazon EC2 would be an option. I haven't run the numbers.....
<akrmn>
it gives flexibility, instead of "one size fits all"
<akstunt600>
IDK there seems to be an obvious path to resolution here IMO. Add in escalating fees to mempool and a way to kill stuck txs in the GUI, then proceed to looking at scheduled, algo, or hard cap blaocksize.
<kanzure>
frankenmint: perhaps not zero but a good plan towards zero sounds like an interesting strategy to consider
<akstunt600>
basically something to peter todds replacebyfee
cosmo has quit [Read error: Connection reset by peer]
<akstunt600>
s/to/like/
<Taek>
gavinandresen: I disagree with the emphasis on the cost of running a node from a datacenter. A node run from a datacenter means you are trusting the datacenter to run the node correctly.
<temujin>
gavinandresen: I have a $50/month amazon medium server and it's just fine for a full node at the moment
<gavinandresen>
Taek: trusting your ISP is better?
<akstunt600>
heh goog point
<gavinandresen>
Taek: until we have widespread mesh p2p networks you're going to have to trust somebody at least a little bit
<frankenmint>
he means 'your isp'
<gavinandresen>
(now somebody is going to say we shouldn't touch the block size until mesh network are widely deployed)
<akstunt600>
hahhaha fahk, but thats chicken in the egg if you ask me
<temujin>
i'm reminded of a reddit post on /r/bitcoin 2 years ago that went through the logical analysis of trusting each step in the supply chain of connecting to the internet, down to the last point of manufacturing your own silicon chips because there could be a manufacturer backdoor...
<akstunt600>
yeah, that was great
<Taek>
temujin: it's very daunting when you get down to it, especially since governments have been known to intercept computer parts and tamper with them
Relos has joined #bitcoin-wizards
<temujin>
Taek: yep, and it's cropped up in my real life, too. *thinks back to Lenovo self-signed cert attack from a few months ago*. good times!
<temujin>
but realistically we can't worry about every little detail of trust, the system has to be decentralized _enough_ to get around any entity's attempt at censorship, which bitcoin is really good at right now
kmels has joined #bitcoin-wizards
Luke-Jr has quit [Ping timeout: 265 seconds]
Luke-Jr has joined #bitcoin-wizards
hearn has joined #bitcoin-wizards
cosmo has joined #bitcoin-wizards
hearn_ has joined #bitcoin-wizards
stevenroose|BNC is now known as stevenroose
<dgenr8>
SPV network nodes are the path to scalability IMHO
hearn has quit [Ping timeout: 256 seconds]
lclc_ has joined #bitcoin-wizards
<akrmn>
by the way
<akrmn>
what I said is not equivalent to just storing random subsets, far from it, but I will write more about it
<dgenr8>
but they won't store UTXO's. You can't prove an output is unspentm, but you can fail to prove it is spent. To use subsets effectively they can't be random .. they must be routable
<akrmn>
also, an ISP can't fake digital cryptographic signatures if properly implemented, so not sure where that is going
<akrmn>
dgenr8: ok will think about it. One thing you said makes sense.
Mably has quit [Quit: Page closed]
d3vz3r0 has joined #bitcoin-wizards
dEBRUYNE has joined #bitcoin-wizards
kmels has quit [Read error: Connection reset by peer]
<akrmn>
If you have enough headers, you can prove it has valid outputs still unspent...but ya I need to think about other things damnit, this damn block size "surprise attack" is distracting.
frankenmint has left #bitcoin-wizards [#bitcoin-wizards]
lclc_ has quit [Ping timeout: 256 seconds]
kmels has joined #bitcoin-wizards
superobserver has quit [Quit: Leaving]
d3vz3r0 has quit [Quit: d3vz3r0]
shen_noe has joined #bitcoin-wizards
jae has joined #bitcoin-wizards
jae is now known as Guest36097
superobserver has joined #bitcoin-wizards
Guest36097 has quit []
Mably has joined #bitcoin-wizards
CoinMuncher has quit [Quit: Leaving.]
b_lumenkraft has quit [Quit: b_lumenkraft]
nemild has quit [Quit: nemild]
nemild has joined #bitcoin-wizards
Dizzle has joined #bitcoin-wizards
joecool has quit [Ping timeout: 265 seconds]
arubi_ has quit [Ping timeout: 265 seconds]
GibsonA has joined #bitcoin-wizards
thrasher` has quit [Ping timeout: 265 seconds]
<temujin>
can I have two OP_RETURN outputs in a single transaction on mainnet? i see them on testnet but don't see any on main net.
GibsonA has quit [Remote host closed the connection]
thrasher` has joined #bitcoin-wizards
user7779078 has quit [Ping timeout: 246 seconds]
nessence has quit [Remote host closed the connection]
GibsonA has joined #bitcoin-wizards
nemild has quit [Quit: nemild]
user7779078 has joined #bitcoin-wizards
antanst has joined #bitcoin-wizards
thrasher` has quit [Ping timeout: 252 seconds]
user7779_ has joined #bitcoin-wizards
nemild has joined #bitcoin-wizards
shen_noe has quit [Quit: quitquitquit]
user7779078 has quit [Ping timeout: 264 seconds]
hearn_ is now known as hearn
AaronvanW_ has quit [Ping timeout: 246 seconds]
DanielBTC has joined #bitcoin-wizards
mengine has quit [Read error: Connection reset by peer]
DanielBTC is now known as Guest81362
rubensayshi has quit [Ping timeout: 265 seconds]
dc17523be3 has quit [Ping timeout: 250 seconds]
mengine has joined #bitcoin-wizards
jae has joined #bitcoin-wizards
jae is now known as Guest10940
Dizzle_ has joined #bitcoin-wizards
hearn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mkarrer_ has quit [Remote host closed the connection]
Dizzle has quit [Ping timeout: 252 seconds]
priidu has quit [Ping timeout: 256 seconds]
Dizzle_ is now known as Dizzle
dc17523be3 has joined #bitcoin-wizards
frankenm_ has joined #bitcoin-wizards
frankenm_ has left #bitcoin-wizards [#bitcoin-wizards]
Guest81362 has quit [Ping timeout: 250 seconds]
mkarrer has joined #bitcoin-wizards
mkarrer has quit [Remote host closed the connection]
mkarrer has joined #bitcoin-wizards
damethos has quit [Quit: Bye]
damethos has joined #bitcoin-wizards
joecool has joined #bitcoin-wizards
licnep has joined #bitcoin-wizards
user7779_ has quit [Remote host closed the connection]
lclc_ has joined #bitcoin-wizards
shen_noe has joined #bitcoin-wizards
gill3s has joined #bitcoin-wizards
hearn has joined #bitcoin-wizards
NewLiberty has quit [Ping timeout: 265 seconds]
Guest81362 has joined #bitcoin-wizards
hearn has quit [Ping timeout: 265 seconds]
Dizzle has quit [Read error: Connection reset by peer]
shen_noe has quit [Quit: quitquitquit]
wallet42 has quit [Quit: Leaving.]
damethos has quit [Ping timeout: 255 seconds]
tdryja has joined #bitcoin-wizards
AaronvanW_ has joined #bitcoin-wizards
gill3s has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
hearn has joined #bitcoin-wizards
joecool has quit [Ping timeout: 265 seconds]
tdryja has left #bitcoin-wizards [#bitcoin-wizards]
<kanzure>
does anyone have a good link to an overview of the current plans regarding formal verification and correctness of bitcoin consensus or at least script implementations?
sparetire_ has joined #bitcoin-wizards
<kanzure>
it was something like: libbitcoinconsensus is being slowly converted over to a library that is more easily analyzed by formal verification and for correctness, probably going to be using z3 or coq somehow, and uhh then other node implementations will be strongly encouraged to use this formally verified library instead of relying on novel subtle side effects
adam3us1 has quit [Quit: Leaving.]
c-cex-yuriy has joined #bitcoin-wizards
paveljanik has quit [Quit: Leaving]
<gmaxwell>
kanzure: still infeasable while its written in C++, there are tools to subject C code to formal analysis, but I think it's unlikely to see anything like that for C++ anytime soon, as the language is so much more complex. But yes, it certantly moves things in that direction.
<kanzure>
so are there any vague plans regarding those directions? rewriting in rust, haskell, c, something? and then is that something that we know anyone is working on at the moment?
priidu has joined #bitcoin-wizards
priidu has quit [Max SendQ exceeded]
<gmaxwell>
Well keep in mind that there are many very different goals of applying formal methods to this code. One of them is making sure that it does what you expect (e.g. can people steal coins?), another is making sure that it doesn't result in a consensus fault in the system.
<gmaxwell>
E.g. that it's consistent in all implementations, regardless of it doing anything in particular that anyone intended.
priidu has joined #bitcoin-wizards
<gmaxwell>
One thing that has been discussed is compiling the code to a bytecode which could be run by a very simple virtual machine (e.g. moxie), and the virtual machine could be very hard to implement wrong (and formally proven correct).
<gmaxwell>
But beyond a bit of expirementation (which resulted in improvements to the moxie instruction set) there isn't a concrete plan with respect to that.
<gmaxwell>
I'd like to do more fomal proving of libsecp256k1, which is written in C and somewhat with formal methods in mind (or at least I have some expirence with formal validation of C code and pushed out most of the things that tend to break it).
<gmaxwell>
Since thats just a much smaller problem than all of libconsensus.
AaronvanW_ has quit [Ping timeout: 246 seconds]
AaronvanW_ has joined #bitcoin-wizards
<gmaxwell>
Rust is super nice from a software engineering perspective, but it's probably about as far from being itself subjectable to formal methods as C++ is, unfortunately.
Guest10940 has quit [Remote host closed the connection]
belcher has joined #bitcoin-wizards
Populus_ is now known as Populus
Populus has quit [Changing host]
Populus has joined #bitcoin-wizards
Populus has joined #bitcoin-wizards
lclc_ has quit [Quit: Konversation terminated!]
dEBRUYNE has quit [Ping timeout: 255 seconds]
hashtag_ has joined #bitcoin-wizards
antgreen has quit [Ping timeout: 264 seconds]
thrasher` has joined #bitcoin-wizards
hashtag_ has quit [Client Quit]
GibsonA has quit [Ping timeout: 255 seconds]
user7779_ has joined #bitcoin-wizards
lclc has joined #bitcoin-wizards
wallet42 has joined #bitcoin-wizards
dEBRUYNE has joined #bitcoin-wizards
<andytoshi>
note tho that rust has a stronger type system and is less likely to have consensus anomalies due to differences in systems. re formal analysis i think it's also a lot closer than C++ but still a loong way from C. but for doing things like contracts/assertions it's actually much better than C because it is designed with annotations (which are accessible to syntax extensions, which are sorta like lisp
<andytoshi>
macros, at compile time)
shen_noe has joined #bitcoin-wizards
<bramc>
There's a big difference between formally proving the correctness of the codebase and formally proving the correctness of the protocol
<gmaxwell>
andytoshi: yes, I was putting it equal to C++ because its new and not widely used yet, which offsets the relatively small advantages.
<bramc>
You could prove that, say, it only ever accepts valid bitcoin histories and has no buffer overflows, but still have a ruinous bug in the logic to decide which of several forks to accept
<gmaxwell>
Yes, thats also another layer. The protocol does with you intend, what you intend is what you would intend if you knew everything, the code implements the protocol, and this other code implements the same functionality... are all different problems.
user7779_ has quit [Remote host closed the connection]
<gmaxwell>
And when "what you would intend" starts incorporating psychology or economics you start exiting the space where SMT solvers can save you. :)
AaronvanW_ has quit [Ping timeout: 246 seconds]
AaronvanW_ has joined #bitcoin-wizards
<bramc>
Even before that you get into things like 'Will usually propagate messages across the network with low latency in practice'
<bramc>
Good luck 'proving' anything about that one.
<kanzure>
but that's network stuff
<bramc>
kanzure, The whole point of the codebase is to do network stuff!
<gmaxwell>
bramc: See SEL4 though, they prove all kinds of important behaviors about their small microkernel written in C, including worst case latency. (obviously you have to approximate the network; which indeed limits the utility... but isn't it nice to know that it won't just spontaniously fail given _known_ network behaviors, or even a perfect network?)
<bramc>
gmaxwell, You can prove things about a well-behaved network with specified behaviors, but the correlation between that and real networks, which behave sort of 'badly' is a bit tenuous