00:00:01 andytoshi: trying to have an anti-double-spending bond? 00:00:28 gmaxwell: yeah, but it's not working out :P 00:00:29 one problem with those is then how do you prevent the bond from being multiple subscribed? 00:00:54 e.g. I make one 1 btc bond. Then I make 1000 0.5 BTC spends secured against it… 00:00:54 andytoshi, bond for what? 00:02:07 petertodd: Are there any posts or technical details on how sharding the blockchain would work? Would it involve removed anonymity? 00:02:19 gmaxwell: well, what if we had some kind of global consensus on who was making use of the bond? 00:02:22 * petertodd ducks 00:02:24 phantomcircuit: the idea is, i send you some money -- they rather than having you wait for a confirm, i construct an output (which i own) such that you can just take it if you can prove that i've double-spent you 00:02:52 petertodd: but then you have to wait for that consensus to settle, defeats the purpose. 00:03:28 * justanotheruser frowns 00:03:51 gmaxwell: that was the joke :) 00:04:22 justanotheruser: https://www.mail-archive.com/bitcoin-development@lists.sourceforge.net/msg03307.html is the best writeup I have 00:04:33 I'd say you could trust a broadcast network to tell you about compeating bond usage, except the theif could redeem his own bond. 00:04:39 justanotheruser: and it's not strictly about sharding, but you can easily see how it could be 00:04:52 gmaxwell: that's the problem that just occured to me when i said "it's not working out :P" 00:04:55 (and he's not obligated to tell the broadcast network) 00:05:09 gmaxwell: hence it needs to be partial redeem, partial destroy 00:05:31 petertodd: thanks 00:05:44 andytoshi: this isn't to say that such bonds might not be useful. E.g. large ones which mostly destroy their funds. (they only pay at all as a reward for making the cheating public) 00:05:50 justanotheruser: I had another post on bitcointalk somewhere from a few months back 00:06:21 but there needs to be a way to transfer ownership of such bonds. 00:07:33 gmaxwell: which I solved, but soon realized then you also need a way to prove that proof-of-fraud isn't waiting to be released, which means you need consensus about all such fraud, which means proving fraud needs to be proof-of-publication-based. Fortunately this txout scheme I think works here. 00:07:56 gmaxwell: e.g. the proof is the txout bond hasn't been spent via fraud proof 00:09:00 justanotheruser1 has joined #bitcoin-wizards 00:09:37 right, but how do you allow transfer and not create a race between a transfer and a fraud? 00:10:06 gmaxwell: you create an intermediate "cooling off" period before a transfer can actually go through 00:10:23 I guess by having two outputs, one for transfer, one for fraud, and fraud can still be published for some time after the transfer before it settles? 00:10:38 yea, makes sense the resulting protocol has a number of steps though, which is unfortunate. 00:12:01 justanotheruser has quit 00:12:05 Yeah, or some multisig scheme with some kind of mutually agreed on cooling off tx - lots ofpossibilities. 00:12:38 Well, I think the cooling off thing is unavoidable to be fair to people potentially relying on the bond. 00:12:44 anyone honoring the bond needs to know the ... right 00:13:09 Which also means the bond txout really needs to be able to constrain the txout of the tx spending it. :( 00:13:19 esp if you want to allow the bond to be honored by 'offline' devices. 00:13:24 yup 00:13:52 petertodd: right, and that means that you have to precommit to your output and you lose the 'spend without waiting for confirmations' benefit :( 00:14:14 andytoshi: only if you expect people to get paid from the bond. 00:14:52 andytoshi: the alternative is you give up on that and just set it up so that misbehavior costs the misbehaving party their valuable bond... you don't get paid back but they don't get to keep using the bond. 00:15:52 gmaxwell: no, you just make some of the reward of proving fraud be paid out, and some destroyed, and make the destroyed amount larger than the payout amount 00:16:46 petertodd: you still can't promise the defrauded person get paid no matter how much the bond pays out 00:16:49 sure, but how does this make it possible to use the bond without commiting to the output? 00:17:05 ah, because 'overcommitting' is not a thing 00:17:06 gmaxwell: ah, right 00:17:08 andytoshi: because you're not promising that any particular victim can get paid. 00:17:11 right. 00:17:25 The payment the victim gets is just for the trouble of actually announcing to the world that they got ripped off. 00:17:40 gah, I should have written this up back when I was thinking about this stuff for fidelity bonded banks... 00:18:16 gmaxwell: yeah, they're not guaranteed to be made whole, and it's tricky to guarantee the fraudster has a net loss 00:21:19 justanotheruser1 has quit 00:21:22 unrelated: took a look at the twister twitter blockchain thing, and it's difficulty is 0.002... a single GPU scrypt miner could 51% attack the thing 00:21:28 haha one of my coworkers just asked me about his ntp daemon at home using lots of bandwidth 00:21:36 whut? 00:21:49 "Uh. maybe there is a NTP reflection DDOS attack" "oh look, one was recently found and is being exploited" 00:21:56 lol 00:23:12 petertodd: suppose that you've got like a 1btc bond, and it's only considered valid by fast food restaurants and groceries (who want the bond value to be some large multiple of the product value) 00:23:28 then to get a net win a scammer would have to get to a whole ton of physical stores within a blocktime or two 00:23:57 (and any more than a blocktime would require some sort of mining-based attack) 00:24:00 andytoshi: sure, but that just goes to say you have to take countermeasures against that kind of thing or it's easy to rip off 00:24:06 andytoshi, or coordinate with lots of other scammers 00:24:12 andytoshi: really these things make more sense in the context of an anti-doublespending signer service rather than personally, as the signer service could afford a bond a huge multiple of the typical transaction prices. 00:24:24 (organized russian crime groups do this fairly regularly with atm heists) 00:24:38 (and could also be secured by hardware remote attest) 00:24:53 gmaxwell: esp if the signing service provides some kind of proof of how many uncommitted btc they've signed for 00:25:12 phantomcircuit: right, derp 00:25:34 gmaxwell: neat, then you've got a traditional debit-card system but with a bit less trust 00:26:11 petertodd: if only someone recently described how to run a cryptographically private accumulator... 00:26:33 gmaxwell: I know 'eh? 00:26:49 * andytoshi has one last exam tomorrow, better get off -wizards before somebody posts a link 00:26:49 lol 00:27:03 justanotheruser has joined #bitcoin-wizards 00:27:03 justanotheruser has quit 00:27:03 justanotheruser has joined #bitcoin-wizards 00:27:13 andytoshi is now known as andytoshi-away 00:30:29 jtimon has quit 00:34:40 justanotheruser has quit 00:34:45 StormCC has joined #bitcoin-wizards 00:35:34 justanotheruser has joined #bitcoin-wizards 00:39:31 petertodd gmaxwell: I had a "duh" moment, but if prefixed proofs become *required* for transaction and block propagation, then it doesn't matter how the (U)TXO index is keyed, right? or the size of the UTXO set? 00:40:06 maaku: it's impossible to require them effectively 00:40:18 well, setting that aside... 00:40:56 spherical cow analysis, if you could get every node to upgrade, etc. 00:41:53 then you'd get collusion between miners who greatly reduce their bandwidth to each other by leaving out proofs they don't need because they have parts of the utxo set cached 00:42:39 i'm not sure that's a problem, except as it applies to decentralization 00:43:07 well if it's not a problem, then why did you want to require them? 00:43:08 perhaps I'm missing some context, as I don't see what maaku is talking about (maybe it was something too obvious?) 00:43:29 I assume for fairness, otherwise you might as well just only provide proofs when needed 00:43:55 justanotheruser has quit 00:43:55 justanotheruser has joined #bitcoin-wizards 00:44:08 justanotheruser is now known as justanotheruser1 00:44:11 well it's very obvious now that i think about it, but the trigger was that I as assuming you need to store the UTXO twice to support scriptPubKey-indexing 00:44:19 the whole idea of the MMR-structured data was that it let you make a storage/bandwidth tradeoff if you could always demand a peer give you proofs with their transactions. 00:44:33 justanotheruser1 is now known as justanotheruser 00:45:12 oh no, you wouldn't though you should note that scriptPubKey-indexing isn't naturally computationally balanced— so its a poor index. 00:45:14 petertodd: do you think blockchain sharding will be implemented some time soon? 00:45:25 justanotheruser: heck no 00:45:29 (also making address reuse cheaper is unfortunate) 00:45:33 but if a proof comes with a transaction, you could just mandate that proofs contain the paths to the inputs in the scriptPubKey index, and a mapping of txid:n -> scriptPubKey 00:46:13 petertodd: what is the number of full nodes drops below 2k? 00:46:31 yea, sure. Doesn't mean that indexing by scriptPubKey is actually desirable, but if you change how transactions look up their inputs, then indeed, you don't need two indexes. 00:46:40 " (also making address reuse cheaper is unfortunate)" <-- yes i'm onboard with that. this is more of a -wizards hypothetical 00:47:00 ::nods:: 00:47:04 yeah ok i was stupid for not realizing that earlier 00:47:11 justanotheruser: sharding requires miner co-operation and a soft-fork 00:47:55 petertodd: yes, wouldn't it be necessary because the number of full nodes is dropping? 00:48:19 well, if we can create a currency from scratch, with outputs being (value, merkle-ast-root) and inputs being (merkle-script, script inputs), you can easily (except for potential unbalancing) have your UTXO tree indexed by (merkle-ast-root, txid) 00:48:58 justanotheruser: re "blockchain sharding" sortof, that will come soon 00:49:11 if, that is, you mean pruning where some nodes only store ranges of blocks 00:49:20 not tomorrow though, but soon 00:49:49 maaku: I mean blockchain sharding as in https://www.mail-archive.com/bitcoin-development@lists.sourceforge.net/msg03307.html 00:50:03 so you only need a single UTXO data structure for both validation lookups and lightweight node balance checking 00:50:38 The unbalancing could be avoided by just prohibiting reuse. You end up with a design close to an anonymous coin then. E.g. where outputs do blinded inserts into a existing coin list, and where inputs unblind coins, prove the coins exist, and they are added to a spent coin list. 00:51:48 justanotheruser: necessary doesn't make stuff actually happen you know, more likely lack of full nodes just pushes people to use web-wallet stuff 00:52:26 justanotheruser: with so few pools the politics of the situation are unknown and may not be what we want... 00:52:26 gmaxwell: btcguru in #bitcoin is linking to a sketchy website. No results on google 00:53:16 petertodd: why would the number of pools effect that? 00:53:26 sipa: ugh, I really think we're best off avoiding that kind of single-scriptPubKey balance checking stuff 00:53:48 justanotheruser: because they're large enough that more centralization and fewer nodes out there may be in their interests 00:54:25 sipa: yeah that was more my line of thinking. indexing by txid or by insertion order isn't really useful, other than that's how bitcoin is structured (scriptPubKey isn't available in the input) 00:54:42 and, i guess, useful in that it doesn't encourage bad, bad things like dumping data on the block chain 00:55:13 maaku: or address re-use 00:55:23 petertodd: maybe - i don't like the privacy implications of that either 00:56:23 petertodd: yeah, although I don't know how to support looking up bip 32 or keypool addresses without also encouraging address reuse :( 00:57:07 maaku: use fixed prefixes so all you're reusing is the prefix, which still gets you a decent anonymity set (see my recent post on blockchain data) 00:58:13 maaku: for change I think we can get away with totally random change addresses as the set of *unspent* change txouts doesn't have to grow 01:02:15 Graet has quit 01:03:06 Man, people are going to love anonymous coins where efficient lookups for payments to you is impossible. 01:04:09 gmaxwell: ? 01:04:49 Graet has joined #bitcoin-wizards 01:06:24 petertodd: if you have an truly anonymous cryptocurrency, e.g. one that worked by committing to blinded coin values in an insertion ordered tree.. there is no way to tell someone paid you from just inspecting the currency. 01:07:33 They'd have to tell you out of band, or you'd have to have a seperate channel e.g. for storing ECDH keyed encrypted messages "hey, I paid you, the blinded coin has value X" 01:07:40 gmaxwell: oh sure - all this business about stealth addresses is just a way of relaxing that anonymity a bit so you can recover the payment. even a fully anon cryptocurrency can always bolt on a messaging layer to provide that channel 01:08:08 yea, but interestingly the messaging layer could easily break the privacy. 01:08:10 gmaxwell: if bitmessage was reliable, you'd just use it, but it's not for non-interactive use 01:08:22 e.g. if the messages have a visible to it likely removes it completely. 01:08:42 gmaxwell: well, if you re-use something like bitmessage, at least your anonymity set also includes random messages unrelated to payments 01:09:02 an interesting point. 01:09:46 Are you referring to zerocoin? 01:09:55 Anyway, figuring out how to make the user-experience of "must send this packet of data for foo to get their coin at all" to be acceptable might come in handy for other crypto-currency schemes like txin commitments where the network doesn't have the data at all. 01:10:28 petertodd: well in general seperating the accumulator operation from notice is interesting. Esp since there are different durability requirements. 01:10:46 e.g. losing old notices, ::meh:: 01:11:30 gmaxwell: yup 01:11:34 justanotheruser: no. 01:20:38 Morici v Hashfast Technologies 01:20:40 and so it begins 01:20:42 Case5:14-cv-00087 01:24:12 shesek has quit 01:26:47 phantomcircuit: do you have some data feed of bitcoin relevant docket entries? 01:27:58 gmaxwell, yes 01:28:22 fun with lexus nexus 01:28:25 Is anyone aware of any fully homorphic encryption schemes can have a plaintext output? e.g. the code inside the FHE decides to write to a plaintext output 01:28:31 phantomcircuit: any details on it? 01:28:43 gmaxwell, i'll upload the complaint in a minute 01:31:02 gmaxwell, also it should be on RECAP now 01:31:03 Graet has quit 01:33:23 Graet has joined #bitcoin-wizards 01:34:03 huh not working 01:36:40 and of course, pacer's password recovery takes like ... days 01:38:03 you folks manage to get it? I have westlaw and lexis access right now 01:38:07 eristisk has quit 01:40:40 warren, i have it but scribd doesn't like me 01:43:02 gmaxwell, http://198.27.67.106/hashfast.pdf 01:43:55 phantomcircuit: Can I post that URL on the forum? 01:44:25 from PACER? 01:44:34 gmaxwell, sure 01:44:37 Thanks. 01:45:14 warren, yes 01:45:55 well, good luck to them on getting their BTC back... USD value seems more likely 01:47:05 warren, sure, but at what day? 01:47:19 warren, did you notice the spike to 1000 on mtgox? 01:47:23 i wonder if that's a coincidence 01:47:28 or you know... not 01:49:49 michagogo|cloud, yes, it is time to update bootstrap torrent. Past time, even. 01:50:46 http://ia600407.us.archive.org/25/items/gov.uscourts.cand.273355/gov.uscourts.cand.273355.docket.html 01:51:37 eristisk has joined #bitcoin-wizards 01:52:24 i wonder if pacer has broken recap on purpose 02:10:25 http://www.archive.org/download/gov.uscourts.cand.273355/gov.uscourts.cand.273355.1.0.pdf 02:10:28 there we go 02:10:41 that cost me like $10 02:10:44 stupid pacer 02:12:32 shesek has joined #bitcoin-wizards 02:44:16 eristisk has quit 02:57:45 +1 on updating the bootstrap torrent 02:58:07 I'm currently catching up my laptop and it's > 10 weeks behind 02:58:25 Been several hours now and I'm just 7 weeks behind now 03:01:39 the torrent is just papering over the lack of the headers first patches. 03:06:18 justanotheruser has left #bitcoin-wizards 03:16:09 fagmuffinz_: it will take just as long to verify via the bootstrap download 03:16:23 unless you manually set a checkpoint or something 03:18:04 maaku, actually it's much faster 03:18:29 maaku: fetch is seriously fuxored now.. 03:19:11 well i guess it depends on your internet speed :P 03:19:23 i'm behind an ADSL.1 here :( 03:19:35 rural speeds 03:24:28 maaku: right you now you can expect to fetch the same blocks over and over again during sync, doesn't help when you're on adsl. :( 03:40:45 nessence has joined #bitcoin-wizards 03:46:58 StormCC has quit 03:49:42 shesek has quit 03:56:19 OneFixt has quit 03:56:43 OneFixt has joined #bitcoin-wizards 04:43:25 jgarzik is now known as home_jg 04:47:23 fagmuffinz has joined #bitcoin-wizards 04:49:12 fagmuffinz_ has quit 05:06:13 maaku has quit 05:06:42 mappum has quit 05:21:34 jgarzik: do you know which block you'll extend it to? 05:22:47 (If so, I can generate the file myself, and be ready to seed when it goes live) 05:25:34 maaku has joined #bitcoin-wizards 05:26:05 maaku is now known as Guest58374 05:27:19 eristisk has joined #bitcoin-wizards 05:31:02 nOg4nOo has joined #bitcoin-wizards 05:32:13 nOg4nOo has quit 05:33:40 warren: http://peercoin.net/index.php < click Myth 2. 05:51:54 gmaxwell: o_O 05:52:35 They were the ones that allow the dev to add new checkpoints at any time without an update to the software, right? 05:52:45 gmaxwell: though that looks ridiculous, it does say they dont enforce checkpoints by default.... 05:52:50 michagogo|cloud: yes 05:53:37 eristisk has quit 05:54:07 eristisk has joined #bitcoin-wizards 05:54:11 BlueMatt: it's not true. 05:54:20 ahh 05:54:22 BlueMatt: the text they're quoting there is about XPM not PPC. 05:54:29 well...thats just ridiculous 05:54:33 BlueMatt: it also says that Bitcoin and Litecoin has "checkpoints" too. 05:54:42 yea 05:54:44 I liked that bit 05:55:06 And even if it were true, if part of the network enforced them DNA another part didn't, that means a hardfork 05:55:14 and* 05:55:50 The PPC consensus model _requires_ them, not just for fuzzy security reasons, but because you cannot validate PoS without a transaction index containing the stake thats being used on the block... so they only allow coins which have been immobile for >30 days to be used for PoS and then use the checkpoints to make damn sure the network agrees about the state in the past. 05:56:23 I also checked the PPC codebase, they're on, and there appears to be no way to turn them off. 05:57:04 gmaxwell: and of course it doesn't matter if it isn't enabled by default, if pools do then the users don't have a choice. 05:58:01 Erm, maybe not hard 06:05:38 Luke-Jr has quit 06:06:00 Luke-Jr has joined #bitcoin-wizards 06:06:05 Luke-Jr has quit 06:06:05 Luke-Jr has joined #bitcoin-wizards 06:07:54 Taek42 has quit 06:09:33 warren has quit 06:14:39 Graet has quit 06:16:20 mappum has joined #bitcoin-wizards 06:17:15 Graet has joined #bitcoin-wizards 06:20:42 Taek42 has joined #bitcoin-wizards 06:40:54 I wish people would ask better questions: http://www.reddit.com/r/Bitcoin/comments/1uoq6e/what_do_you_guys_think_of_proof_of_stake_mining/cek9fhq 06:42:36 I wish reddit would not suck so much 06:43:09 Cardinal example of upvoting/downvoting systems producing herds of fast-moving idiots 06:43:51 I say this as a near-daily reddit user, of course 06:45:12 well-informed cautionary answers on brainwallets routinely get downvoted 06:51:43 eristisk has quit 06:53:25 herding idiots 06:53:31 i'm going to remember that :) 06:54:28 Guest58374 is now known as maaku 06:58:07 the upvoted downvotey stuff overweighs superficial opinions. It's fine for cat pictures. 06:58:13 (which is mostly why I browse reddit) 06:58:28 I hardly read any bitcoin or technology things at all, mostly just funny pictures of animals. 07:00:18 I'm not sure that it's a symptom of upvotes and downvotes so much as Reddit being a general audience 07:01:04 people are stupid 07:01:09 Taek42: nah, normally the general audience doesn't have their hands firmly placed on the steering wheel. 07:01:20 it boggles my mind that when you have a crowd of them, wisdom is supposed to emerge 07:01:42 lol 07:01:55 democracy! 07:02:00 to be fair even the crappy "Wisdom of the crowds" book said that wasn't actually so. 07:04:37 eristisk has joined #bitcoin-wizards 07:04:38 I've often wondered what would happen if voting had a cost to it, and you could pick the power of your vote by adjusting the cost 07:04:39 never actually read it. was the thesis that you need proper incentives? 07:07:46 Taek42: a monetary cost, you mean? 07:08:08 well, some sort of currency that could be swapped for real currency 07:08:11 citizen cost a la starship troopers? 07:08:11 dogecoin, perhaps 07:08:18 voting already has a substantial cost in terms of time/trouble. 07:08:33 on reddit, the first vote is pretty costly 07:08:42 seeing as you have to log in, and maybe create an account 07:08:46 but the rest are painless 07:09:39 Or creddits 07:09:48 I imagine though that it wouldn't actually be that different even if there were a monetary cost to each vote (or a karma cost) 07:10:23 The problem being that the average person could have as much authority/power as the expert 07:10:27 I seem to recall there was some site like that 07:10:39 Where you spend reputation points to vote 07:11:22 gmaxwell, is there still a penalty for p2pool? 07:11:32 iirc there used to be a substantial orphan rate 07:11:57 also @anybodyelse 07:12:20 phantomcircuit: it has the lowest orphan rate of any pool as far as I can tell. 07:12:38 what's it's current orphan rate? 07:13:02 there has been two this year. 07:14:01 0.12% in my data. (eligius, by comparison, has been ~1%) 07:14:25 that's interesting 07:14:52 phantomcircuit: p2pool changed a couple years ago to a model where nodes pre-forwarded transaction data to their peers. So when one finds a block it just has to send the list of transactions that were actually in it. 07:15:38 theoretical problem: suppose every miner picks the maximum-payout pool. Wouldn't every miner end up picking the same pool? 07:15:43 it will also mine a transactionless block in brief windows when the local bitcoind is lagging but p2pool peers have produced shares against a further along chain. 07:15:48 any idea why the orphan rate would be lower than eligius? 07:16:11 phantomcircuit: because it has an enormous network connectivity advantage. 07:16:49 it might also have to do with what kind of hardware is connected to p2pool 07:16:54 some of them have uh 07:17:00 interesting ideas of what stale means 07:17:04 p2pool blocks end up being concurrently announced by a dozen peers in the first 30ms after finding a block... hundreds within 400ms. 07:18:00 warren has joined #bitcoin-wizards 07:18:21 phantomcircuit: maybe, p2pool direct miners to return "stale" shares. 07:18:42 in any case, if some miner is overly agressive in what its discarding, its not getting paid for that portion of its work. 07:26:22 eristisk has quit 07:30:28 Luke-Jr has quit 07:31:17 Luke-Jr has joined #bitcoin-wizards 07:40:15 eristisk has joined #bitcoin-wizards 07:45:51 Graet has quit 07:48:50 Graet has joined #bitcoin-wizards 07:52:58 mappum has quit 08:13:00 nessence has quit 08:18:52 fagmuffinz has left #bitcoin-wizards 08:18:57 fagmuffinz has joined #bitcoin-wizards 08:32:47 <_ingsoc> _ingsoc has joined #bitcoin-wizards 08:45:23 roidster has joined #bitcoin-wizards 08:51:51 I think bitcoin is becoming the new DHT. :( 08:52:49 yo, slap a blockchain on it 08:53:26 Graet has quit 08:53:32 COULUD STAND FOR HEMROID 08:53:57 could* pardon the caps 08:55:10 gmaxwell: I think we've known that was gonna happen for a while 08:55:33 /has been happening for a while 08:55:43 well yes bitcoin is the new idea of the day, so now we're in the [try_with_new_idea(x) for x in old ideas] phase 08:56:47 and you get nonsensical ideas, like in the internet boom.... just like your old pet shop, but online! 09:02:26 Graet has joined #bitcoin-wizards 09:06:48 a miracle happened on reddit today 09:07:02 someone mentioned my name in a ppc thread, which is what brought my attention to those claims on that website. 09:07:09 I refuted them with citations to source code. 09:07:29 URL? 09:07:34 (reddit thread) 09:08:02 http://www.reddit.com/r/Bitcoin/comments/1uoq6e/what_do_you_guys_think_of_proof_of_stake_mining/cek7vbc 09:08:30 and someone argued with me... and then actually accepted my counter arguments. and I'm not being voted down! 09:14:23 i've been explaining the problem with PoS a few times now at the zurich bitcoin meetups 09:14:35 people do seem to understand it 09:18:11 it makes me sad, I really wish it worked. 09:19:11 justanotheruser has joined #bitcoin-wizards 09:19:37 What are the potential problems of associating namecoin registration price with transaction fee sum? 09:19:53 what is a "transaction fee sum"? 09:20:15 Graet has quit 09:20:46 if you mean some function of recent transaction fees … the problem is miners padding up transaction fees with payments to themselves to manipulate prices (might as well just let miners set them) 09:20:58 gmaxwell: you could look at how much was paid in tx fee since the last difficulty adjustment (or some other arbitrary period of time) 09:21:36 gmaxwell: yeah, that is a problem 09:22:18 There's not really a way to evaluate how many namecoin users there are... 09:22:39 you can look at the registrations however. 09:23:00 Graet has joined #bitcoin-wizards 09:23:00 (and also, it's easy to see it not being used anywhere, and even easy to see the lack of people asking how to use it) 09:23:02 gmaxwell: but you can't set the registration rate based on the number of registrations 09:23:31 yea oh sorry I thought you were back to suggesting that namecoin isn't currently a failure. :P 09:23:51 If there were only 500 domains offered per day, people would have to compete in price for registering. 09:24:17 Unfortunately namecoin isn't going to ever be stable, so you can't say "$10 for a registration" 09:24:27 yea, I've got no freeking idea. yes, one possible way would be to make the database fixed in size or something like that. 09:25:18 if people compete in price it would have to be in mining fees, so the miners would be able to register however many domains they wanted... 09:25:25 well with 2 way-peg you could transfer bitcoins into the namecoin chain to pay for names, thus giving them to miners, who can remove them from the namecoin chain. (I mean, if we're talking about things which decidely aren't namecoin as it is today) so then the instability of namecoin as a tradable asset can be removed. 09:25:44 but I guess for every domain they buy, they lose one domain sale that day 09:25:45 justanotheruser: unless the system just limits it via a protocol rule. 09:26:26 gmaxwell: is there a way to have a decentralized 2 way peg? 09:26:58 I guess you missed those discussions. I believe it's possible, there are some security limitations. 09:27:30 also I don't think pegging something to bitcoin makes it stable. It makes it more stable relative to all other cryptocurrencies, but relative to almost every other asset/commodity bitcoin is incredibly unstable 09:28:11 basically I suggested a relatively minor softforking addition that would allow you to assign coins to another chain, and then carry a proof back from the other chain to bitcoin to allow you to very slowly teleport coins back and forth. 09:28:20 (slowly meaning like 100 blocks) 09:28:50 gmaxwell: would this allow for offchain transactions if the bitcoin chain was too big making transaction fees high? 09:29:20 well not "if", but for that reason would it be useful 09:29:31 it would. or more interesting it would allow altcoins to expirement with new ideas without also creating new currencies. (at least when the idea is just new payment network ideas) 09:30:14 Graet has quit 09:30:17 e.g. you could have namecoin but without having a seperate namecoin currency. or you could have some 10 second blockchain thing (0_o) or something with more powerful script. 09:30:29 (turing complete script, whoppie!) 09:30:38 gmaxwell: is the peg discussion in #bitcoin-dev logs? 09:30:43 it's in the logs here. 09:30:58 any public logs for this channel? 09:31:07 andytoshi-away: makes logs, dunno where they are. 09:31:14 (The logs should really be mentioned in the topic...) 09:32:03 I'll make a note to ask him for the logs 09:32:07 it's not a serious proposal at this time... but perhaps it will become one. The belief that it could work two ways is relatively new. (it's not that complicated an idea though, I'm sure I would have said it was obvious in 2011 if it had been suggested to me then) 09:32:55 gmaxwell: so would this pretty much remove the need for Open Transactions? 09:32:58 Graet has joined #bitcoin-wizards 09:33:42 but in any case the idea is that you make a payment to a special scriptpubkey which basically says "these coins are now controlled by foocoin" and then it's possible to spend from txouts to that scriptpubkey by showing up with an SPV proof "foocoin says you should give me X of those coins to scriptpubkeys Y and Z", plus some extra details. 09:34:21 justanotheruser: well it would allow the same kind of "binding" that open transactions could do already using multisig ... but allow it for other blockchain cryptocurrencies. 09:34:38 gmaxwell: isn't the only way for that SPV proof to exist by embedding all those block headers in the bitcoin blockchain? 09:35:35 Or is there some way that the miner can be proved that their blockchain says something without actually looking at anything other than the transaction 09:35:36 justanotheruser: sure, but 100 blocks is 8kb. whopptie do. These transfers would generally be infrequent because they'd be used for bulk liquidity, normally if you want coins on the other chain you find someone who wants bitcoin and you do an atomic coinswap. 09:35:59 But the coinswaps alone cant get you a 2-way peg because they can't provide long term liquidity. 09:37:13 justanotheruser: the proofs could also be structured so that they can be pruned. e.g. perhaps the only thing that gets stored in the blockchain directly is a summary of the proof. After all the proof only has SPV security, once it's thousands of blocks deep in bitcoin why keep it? (and if that were done the proof wouldn't need to count against the block size limit, or wouldn't need to count against it fully) 09:38:22 (also a single proof could actually be batching dozens of transfers, e.g. foocoin tells bitcoin a whole list of scriptpubkeys to pay, at least you can get batching in the foo->bitcoin direction) 09:39:05 gmaxwell: Seem expensive still. The blockchain could end up storing a dozen other blockchain headers in it 09:39:33 e.g. the foo->bitcoin instructions are generated by foocoin miners, summarizing actions commanded by transactions and validated according to the foocoin rules. 09:40:06 justanotheruser: well snarks can compress that kind of thing down to 384 bytes for 128 bit security, but I'd prefer to show it viable without any cutting edge cryptography. 09:40:41 I wonder if there's some crypto that could be used to do that proof in a size significantly smaller than the actual altchain 09:40:44 justanotheruser: and each of those dozens of other chains could have an infinity of transactions, seems like a good tradeoff to me. 09:41:08 gmaxwell: do you think that's more viable than sharding the blockchain? 09:41:47 justanotheruser: zk-SNARKs can have size only proportional to the security level. The size of the rule being proven or the data it accesses is irrelevant to them. 09:43:30 but the really small ones have some uncomfortable security tradeoffs (CRS assumption) the ROM ones are somewhat larger (eg 20kb, though I did invent a novel compression scheme which may help, so they may not be good for compressing header proofs, but then again they'd allow full security not just spv, potentially.. but this is all really cutting edge and not yet totally pratical stuff.) 09:44:02 hmm 09:44:48 gmaxwell: do you have some cryptography PhD or something? 09:45:14 in any case, I don't think an 8kb signature intermittently per bound chain is a bad tradeoff. Especially knowing that application of sufficient magic could make it smaller in the future. 09:45:31 justanotheruser: No. I'm just some guy who enjoys math. 09:45:41 I see 09:45:57 This idea seems to have a lot of potential 09:46:44 Would this not require disabled opcodes to determine whether the transactions belonged to someone else on this other chain? 09:47:05 I guess you said it was a softfork, so my real question is why wouldn't it 09:47:21 I think it does too. well, and it also may solve a problem thats been bothering me— which is that its hard to do novel cryptocoin expirementation. We can't mess around with it in bitcoin because its too important. Alt systems generally get little love because they're worthless, unless you make a big thing about pumping their value and then that speculation becomes all encompassing. 09:48:03 justanotheruser: we'd add a new opcode in place of a no-op today "the thing on the stack is a chain binding proof, this transaction is only valid if the proof is valid" 09:48:41 old nodes would just see a no-op transaction and permit it. 09:49:00 It would be safe to use once a super majority of hashpower agreed to enforce it as a rule in the chain— same way p2sh was deployed. 09:49:47 gmaxwell, what's your opinion of XRP? 09:50:39 Taek42: https://bitcointalk.org/index.php?topic=144471.0 the whole thread is informative, I answer my own question and then get into a discussion with one of the ripple developers. 09:50:54 thanks 09:53:08 TD_ is now known as TD 09:53:51 Any known weaknesses to the pegging system? 09:53:55 ohh "Crony Consensus" I'll have to remember that. 09:54:51 justanotheruser: at least as I was describing above it only has SPV-like security. meaning that if you can outpace the second chain you can steal all the bitcoins assigned to it and leave it fractional reserve. 09:55:08 (which would be part of the reason it would need to be fairly slow) 09:55:21 (I mean the teleport operation would need to be slow) 09:56:15 gmaxwell: implementation detail: do you require the side-chain be merged-mined? 09:56:31 BlueMatt: seems like that would be ideal 09:56:39 good evening guys 09:56:50 BlueMatt: I don't think bitcoin should require that, though it would probably be pretty darn prudent. 09:57:02 hi TD 09:57:21 BlueMatt: at least my thought is really "just add enough so that bitcoin can verify a sutiable proof, and then you can build anything out of that which you can make fit" 09:57:24 HI 09:57:32 TD: timezone deficiency? 09:57:58 evening for them. morning for us :) 09:58:08 BlueMatt: so while it might be _wise_ to merge mine it, and perhaps there are some optional strenghtening things that could be done, I don't think it would make sense to require it. 09:58:08 ah, right 09:58:19 gmaxwell: makes sense 09:58:33 lol 09:58:34 "Since we're generating the points randomly, I'm going to ignore the first condition because it happens far less frequently than malfunctions in the CPU instructions that I might use to detect it." 09:58:43 i think i'm going to remember this excuse for ignoring edge cases, for the future :) 09:58:52 link? 09:58:57 https://www.imperialviolet.org/ 09:59:03 agl talking about implementing elligator for curve25519 09:59:23 e.g. ideally the pubkey could specify the proof geometry required with enough flexibility that you could merge in something rather throughly unlike bitcoin. 09:59:27 Graet has quit 09:59:33 sipa: seem into producing acronyms... 10:00:21 BlueMatt: though annoyingly some of the already existing altcoins can't have compact spv-like proofs. :( 10:00:48 gmaxwell: scryptcoins? 10:00:50 how did they manage that? 10:01:22 justanotheruser: no, scrypt based coins still use sha256 for the merkle tree 10:01:36 gmaxwell: meh, I dont care about current altcoins that do dumb things, I want to enable actual innovation, not knob twiddling 10:01:49 says the guy behind coingen.io :) 10:01:53 TD: but how do you verify the PoW without including scrypt into bitcoin or implementing scrypt in a bitcoin script? 10:02:11 TD: yes, hopefully it will saturate the market with knob twiddling and people will get bored of it 10:02:30 Graet has joined #bitcoin-wizards 10:02:31 TD: well PPC's proof of stake stuff appears to need a (mostly) unpruned blockchain history to validate. And a primecoin headers look like they're a couple kilobytes and need primality testing?! 10:03:35 gmaxwell: surely even in proof of stake, transactions are in blocks and arranged into a merkle tree though? 10:03:54 or you mean you can't just download headers at all 10:03:56 TD: you need to prove it hasn't been spent. 10:04:09 well they have no getheaders p2p messages either, but thats an aside. :P 10:04:14 <_ingsoc_> _ingsoc_ has joined #bitcoin-wizards 10:04:48 <_ingsoc> _ingsoc has quit 10:05:22 basically at least as PPC is now, I don't think you can extract a compact proof that a header is valid. maybe you can get close enough by extracting the transactions and assuming they weren't subsiquently spent, but I dunno, since there is no POW on those blocks attacking is cheap. I honestly haven't thought about it much. 10:06:32 at a minimum it's complicated. 10:07:03 hnz has quit 10:07:36 maybe we should write a "if you're going to create an altcoin, think about:" document 10:08:10 sipa: yea, think about: "2-way pegged value" 10:08:34 listing some of the easy-if-we-knew-it-at-the-start ideas like p2sh only, or simplifying script, or having amounts in the signature hash 10:08:50 and concerns like compact proofs 10:09:08 oh and maybe explain the reason for block times being slow 10:10:53 sipa: dunno that it would help, couldn't hurt. I say I don't know because of how they've responded when encountering problems. 10:11:38 hnz has joined #bitcoin-wizards 10:11:48 for current-gen alts, its sure to make no difference 10:12:35 (e.g. the general response has been to do something even dumber) 10:12:43 for people making real alts (maybe, though I'm very unconfident) coingen will help 10:14:15 e.g. feathercoin had instability and attacks in due to some of their parameter choices, their response was to pay the ppcoin person to license "advanced checkpointing" from ppc (developer broadcast "checkpoints"). 10:15:25 are people licensing cryptocurrency ideas now? 10:16:17 roidster has quit 10:16:21 <_ingsoc_> BlueMatt: Lol. 10:16:29 <_ingsoc_> _ingsoc_ is now known as _ingsoc 10:16:46 thats the only incident of it that I'm aware of. 10:16:55 i never liked p2sh only as an idea. 10:16:58 unless you count coingen.io 10:17:38 It's certantly something I'd do when starting from scratch. Opinions may differ. 10:17:38 ethereum might evolve into an interesting alt 10:17:56 gmaxwell: well, it'd rule out things like OP_RETURN tagged outputs and the like, which people have found uses for. 10:18:15 TD: yea, the ethereum warez site agent is totally going to be popular. :P 10:18:58 is that actually on their website? 10:19:18 TD: no reason that it would preclude having a no index flag (or really just a seperate field in transactions for aux data). 10:19:34 TD: no, I was kidding, but it seemed to follow naturally from the description of it I read. :P 10:19:46 you saw payfile, right? :) 10:19:46 what is ethereum? 10:19:47 TD: you couldn't tell for sure though… 10:20:13 gmaxwell: that's true. you could extend the tx format at the same time. 10:20:25 sipa: vitalik altcoin based on turing complete script. 10:20:35 doesn't exist yet as far as I know. 10:20:54 ah 10:20:57 a bunch of the design decisions wouldn't be ones I would have made but. ::shrugs:: 10:21:31 sipa: in particular it's supposted to support being able to upload code into the network which the network runs triggered by events e.g. independantly of transactions, which can do things like create transactions. 10:21:34 jtimon has joined #bitcoin-wizards 10:21:47 ewww 10:21:51 Graet has quit 10:21:56 hah 10:21:59 and a handwave at fees to pay for it, without any consideration of the incentives around that. 10:22:06 Yea, my response too. But at least its different. 10:22:20 right. hence me thinking it's the most interesting alt, even if i also think it's unlikely to work 10:22:23 but we'll see 10:22:24 be nice or I'll suggest they name one of their currency units after you. 10:22:46 nobody talks about Dr Frankenstein advanced the field of medicine 10:22:48 +how 10:23:30 http://demotivators.despair.com/demotivational/mistakesdemotivator.jpg 10:23:39 the guardian did a nice article on alt coins. i banged the drum about how they demonstrate the fundamentally democratic nature of crytocurrencies 10:24:03 so coingen and other joke alts are not entirely useless. they educate people about the tech and more importantly, make BlueMatt a lot of money 10:24:11 jtimon has quit 10:24:14 * nsh smiles 10:24:32 Sadly alt's don't work too well as education on what not to do, just like invent your own blockcipher usually doesn't— because they usually don't reach the point where they justify a serious attack, but oh well. 10:24:46 Graet has joined #bitcoin-wizards 10:24:57 well, that's education of developers. i'm thinking of education of users. showing how bitcoin developers are not simply the new central bankers 10:25:12 http://www.theguardian.com/technology/2014/jan/07/bitcoin-me-how-to-make-your-own-digital-currency 10:25:32 TD: hey, I strongly promoted that idea. I'm all for it. I also suggested it to people who wanted to "fight" altcoins as the fair and ethical way to do so... "we think these things are pointless, well it's not fair to stop them, but lets reduce the friction that makes making a pointless altcoin profitable." 10:26:19 TD: did you see the fallout from the launch of the 'conya' coin? (or however its spelled?) 10:26:38 coinye 10:27:35 gmaxwell: I'm guessing ICANN procedure to get the domain taken away will be tried next 10:27:49 yea probably. 10:27:55 did you see they were having zillion block reorgs? 10:28:08 who? 10:29:16 i saw that kanye's lawyer was trademark-whacking them. lol. 10:29:28 coinye coin. another purpusfully dumb coin, but it started out with about 1/1000th of the initial difficulty it should have had. 10:29:35 and the anonymous authors response was basically to wave two fingers at them and say they'll bump up the release date 10:29:44 (they basically released a password to unlock the software at some time with enormous hype) 10:30:17 eh? 10:31:10 if they were anonymous devs, with people unable to examine the software before the launch of mining, they could have included a trojan to steal 10:31:22 lots of idiots would rush in 10:31:28 and now pools that lost the reorg wars have shuttered and people are angry that they're not getting paid. 10:31:34 and they would cash out in an unexpected way 10:31:50 warren sounds like something worth trying 10:32:02 warren: I'm honestly surprised we haven't seen more of that 10:32:08 it was only released a couple hours ago and has like 5000 blocks. 10:32:24 BlueMatt: esp now that some of these exchanges will happly add brand new coins. 10:33:17 nsh has quit 10:35:12 is it just me or is bc.i switching to USD every time other people follow a link to it? 10:36:46 experienced that as well 10:40:38 gmaxwell: not just you 10:54:09 BlueMatt: to avoid that someone could release all the code except for the genesis 10:54:50 I believe thats how ltc was launched. 10:55:25 https://bitcointalk.org/index.php?topic=404888.0 < fwiw, I posted asking about bc.i's switching 11:02:54 malefizer has joined #bitcoin-wizards 11:06:47 sigh. we need to beat some rationality into the fees market 11:19:44 TD: the way we rolled out 20x lower fees might be feasible (albeit very dumb) 11:36:42 <_ingsoc> _ingsoc has quit 11:38:21 go1111111 has quit 12:06:02 nsh has joined #bitcoin-wizards 12:07:36 malefizer has quit 12:08:39 Graet has quit 12:09:17 Malefice has joined #bitcoin-wizards 12:11:09 Graet has joined #bitcoin-wizards 12:15:38 nsh has quit 12:15:51 nsh has joined #bitcoin-wizards 12:22:09 eristisk has quit 12:26:27 nsh has quit 12:26:27 nsh has joined #bitcoin-wizards 12:35:27 Graet has quit 12:35:39 eristisk has joined #bitcoin-wizards 12:36:34 <_ingsoc> _ingsoc has joined #bitcoin-wizards 12:38:11 Graet has joined #bitcoin-wizards 12:48:48 kyrio has quit 12:54:52 TD, gmaxwell: i admit some fault with coingen.io also (I was stting opposite mappum when he registered the domain), not a new idea apparently, but I yacked about how cool it would be a bunch with BlueMatt and put him up to it. maybe it'll back fire in interesting ways, but the intent is humorous clearly and genuine: to deflate param tweaks 12:56:15 TD, gmaxwell: and its actually serious. it seems to me that alts are stifling actual innovation. if u think about it inmany ways bitcoin innovation has virtually stalled since 2009. thats why i want to kill param-tweaks, and think pegged side-chains are the bet new idea since 2009 in bitcoin period. 12:57:23 nsh has quit 13:02:51 about ethereum i talked to vitalik about it, not sure i mentioned this part or not, that while fees is a solution to the halting problem in a Turing Complete complete script language; however the history of java byte code interpreter sandbox escapes could give it a massive, repeating, binary failure, where each sandbox escape results in theft of all coins (and maybe bitcoins) 13:03:55 gigavps has joined #bitcoin-wizards 13:14:20 kyrio has joined #bitcoin-wizards 13:15:26 aka there is a reason bitcoin script is functional, no iterators/recursion, and most of even the stylized/simplified/cut-down script language is itself disabled. ripple dont seem to appreciate this risk and their draft script language looks turing complete. in open transactions, chris showed me he has pluggable script language interpreter hooks and jscript, lua etc but thats just code because he likes generalized clean code. 13:21:28 <_ingsoc> _ingsoc has quit 13:49:43 Malefice has quit 13:54:37 justanotheruser: logs are at http://download.wpsoftware.net/bitcoin/wizards/ ... if you msg andytoshi-logbot with 'help' i think it'll tell you 13:55:06 sipa: re 'someone should write a "what to think about before making an alt" document', i'm planning to write something like that this weekend 13:58:22 adam3us: you wouldn't try to steal all coins simultaneously, that'd be dumb 13:59:24 adam3us: it'd just be treated as an outage 13:59:47 you'd want to steal 1% or something like that ... 14:00:26 TD: if these coins are pegged bitcoins, you'd want to steal as many as possible. it depends on the reaction mode to stemming the loss. if its like the many exchange/processor thefts like say sheep market place (the largest?) because of the irrevocability maybe you may not even care if u empty the alt chain in one go on the way 14:01:21 TD: what re people going to do? issue and deploy an emergency bitcoin patch to reject this specific side chains re-conversion? that sounds centralized and fed policy like 14:01:43 we were talking about ethereum i thought? 14:01:51 TD: but you may well be right for detail reasons that the optimal exfiltration 14:02:11 TD: oh yeah sorry :D 14:03:14 TD: i guess that depends on the market cap and the liquidity and intent of the sabateur. why are they killing the alt. to make money or because they want to do a 'scorched earth' to borrow a petertodd'ism to prove a point 14:04:00 TD: lot of people might be quite upset and litigious about it if the market cap was like non-trivial at the time. dangerous thing to do possibly even via Tor. 14:04:30 (sorry i was still in pegged side-chain mode so misinterpreted your observation) 14:04:34 anyway, most of the java sandbox escapes especially these days are not issues with the bytecode verifier but rather with the huge libraries or native code that they call out to 14:04:51 presumably ethereum would not have anything in the way of libraries or big surface area APIs 14:07:05 TD: interesting point, yes i never went looking at the root cause of the repeated sandbox failures, but if thts accurate the risk might be a bit lower. but anyway i guess you can say its a brittle failure mode and more risky than bitcoin as a value store as a result. not only could a big bug collapse value like, but some worse things i think, like taking control simultaneously of all online nodes. 14:07:32 sure 14:07:38 code execution is always tricky 14:08:04 ironically, i suspect the JVM may end up being one of the safest sandboxes around. given how massively and repeatedly it's been attacked by hardened hackers compared to most sandboxes 14:08:14 (could happen to btc also, but higher risk as their code is basically an abstract interpreted asm with memory and iteration, pointers. very flexible. more like executing x86 interpreter) 14:08:24 if they keep plugging away at it for enough time, and if you restrict the API surface area, it could end up being kind of robust 14:10:14 TD: yes. but it seems in some ways that btc is surfacing whole new levels of code assurance. if there's a $1bil reward sitting on the table for entire system value exfiltration, more resources nd resourceful people get in, or lose their ethical behavior $ limit filter, seemingly empirically many otherwise trustworthy people have such limits) 14:11:14 just to say maybe its more interesting to sandbox escape ethereum (if btc was using that model right now) than sandbox vm escapes. it only takes one. 14:11:16 yeah. it makes me wonder if one day it'll simply become impossible to make any changes to the code at all because the legal/financial risk of making a mistake is so high 14:11:25 either that or every bitcoin developer will be anonymous and work from behind Tor 14:11:28 TD: yes i think so 14:11:38 neither outcome seems desirable 14:11:42 still i guess banks manage, sorta, somehow 14:11:51 Graet has quit 14:12:53 TD: the Tor thing is interesting. i think people who get into exchanges and btc biz dont realize the risk they are putting themselves, their family etc at. if they get enough value inside a server, they have become like a bank. at the high end what do we need like thebunker.net or fortress with servers in it. seems like banks or physcal security need to be part of the picture with multsig eventually 14:13:47 Graet has joined #bitcoin-wizards 14:14:14 TD: yes, that seems part of the genuine value of banks, they have structured governance (cross checks) physical security, personnel vetting, alarms, perhaps monitored security at managers houses. they had to think about it all and manage it. that is actual value. 14:14:15 probably. one reason why i'd never run an exchange or bitbank. however, exchanges are needed, so .... someone has to take that risk. w.r.t the rest of it, well, it's MIT licensed and disclaims all responsibility for everything 14:14:28 though i imagine some people will eventually ignore that and try their luck in courts anyway 14:14:51 TD: what u mean sue for losses due to code bugs? 14:15:09 well, or for any other kind of excuse. or patent lawsuits or whatever. 14:15:17 i mean as the amount of value goes up, anything could happen 14:16:38 TD: was vaguely wondering if one could retain unseizability property while protecting your self or your exchange or your processor (some server or equipment or paper under the service operators and employees control) from physical duress, by multisig the whole thing with a physical security provider of one part of the multisig. the RA aspect of the bank multisig is typically weak also. tho they do a lot of risk management 14:17:44 WOODMAN has joined #bitcoin-wizards 14:17:54 morning warriors 14:17:59 they're also insured 14:18:15 TD: like cheque sigs are not verified under £30k i hear. but if u wire £20k you can do that with some lame, malware attackable security. exactly insurance and risk management. 14:18:25 anybody been around on this technology since early days, i have a decent question if its ok? 14:18:37 brb 14:19:04 WOODMAN: usually, try #bitcoin-dev first 14:19:23 TD: but i think what backs it all up is the revocability, usually when things go wrong they can undo the tx, they have ID, so they can recover even withdrawn funds, and insurance covers the rest 14:20:28 TD: btc lacks that. and if we introduce it (certainly can do revocable, easy using irrevocable + multisig escrow) then the disput resolution costs come back in and btc tx costs same as credit card. so we cant win. the remaining new avenue is to some smart contract magic 14:20:29 what is this site? 14:20:29 yep. it might turn out in the long run that irreversible transactions are simply something humanity can't handle, when the amounts of value being handled get too high 14:20:44 https://bitcointalk.org/index.php?topic=11606.0 14:20:46 (too hard to build secure software systems) 14:20:56 TD: was ever thus. ecash (irrevocable fast settlement) and slow cash just dont interface together well 14:21:02 i believe i bought bitcoin in 09 14:21:35 TD: yes. maybe that is an answer. large payments typically can tolerate being slow, and the parties having recourse enough to tolerate the revocability. 14:21:37 i never set up a client....bought from someone who put it on a USB and sent it to me....me never wanting to store on computer cause of hacking and never planned on selling, as there was no market at that time 14:21:54 WOODMAN: #bitcoin please 14:21:56 i found this link and it discusses that you can put bitcoins on a USB 14:22:01 ah come on andy 14:22:05 though i did enjoy the second post saying 'screw that, just use mybitcoin' :) 14:22:06 be a sport 14:22:11 WOODMAN: #bitcoin, now 14:22:22 Malefice has joined #bitcoin-wizards 14:22:24 ahora! 14:22:38 im banned from there 14:22:48 (you're very welcome to follow the discussion here, or contribute, but basic questions are completely off topic) 14:22:54 or post to bitcointalk 14:23:10 too many indians , not enough chiefs 14:23:36 this could be problem with open source 14:24:19 got another bitcoin IRC where they respect free speech? 14:24:30 or is this all funded by soros? 14:25:00 TD: "TD: (too hard to build secure software systems)" i worry about this. baseband hacking smart phones, targetted sophisticated malware, code base targetted tampering, human error over time. 14:25:05 /ignore WOODMAN 14:25:29 adam3us: best "solution" such that it is, is to avoid large pileups of value in one place 14:25:48 TD: it doesnt seem like security has even warmed up yet. even the trezor & armory wallet are not safe from address substitution and payment protocol still leaves a gap in the merchant server 14:25:49 however, wealth inequality will not go away anytime soon. so .... not sure how far that takes you 14:26:45 TD: i think u could operate quite a bit of bitcoin ecosystem with airgap security protecting funds and airgap level of assurance of ownership of addresses 14:26:58 TD: even an exchange. 14:28:18 Graet has quit 14:28:31 TD: (using color coin or better labelled /tagged coins on a pegged side chain and an offline issuer key issuing USD against a client funds issuer account. with a high reputation issuer) 14:31:32 TD: i think the airgap could save it as the exchange then has no btc funds or usdcoin funds at stake. all cash funds are held in offline airgapped wallets at all times. physical security for a merchant is like any supermarket... an armored truck deals with emptying. but even better than can sweep electronically to a vault with armed guards at company HQ. 14:31:40 * TD -> away 14:33:18 Graet has joined #bitcoin-wizards 14:33:28 stonecoldpat has joined #bitcoin-wizards 14:35:43 hmm so maybe a solution is a different property coins circulating though. optionally intentionally (time-limited) revocable coins for large tx by companies to derisk their storage from physical assault. and you can convert from revocable to irrevocable simply by waiting for the escrow smart-contract clause to expire 14:37:39 and similarly irrevocable become revocable by adding the escrow agent smart-contract. actually for storage the revocability needs to be permanent. the way you remove it is to spend it to an irrevocable address with the cooperation of the escrow agent. 14:40:20 Graet has quit 14:40:21 warren has quit 14:42:18 jgarzik has joined #bitcoin-wizards 14:43:06 Graet has joined #bitcoin-wizards 14:43:06 warren has joined #bitcoin-wizards 14:46:48 Graet is now known as Guest5939 14:48:14 Guest5939 has quit 14:51:23 <_ingsoc> _ingsoc has joined #bitcoin-wizards 14:59:50 Graet- has joined #bitcoin-wizards 15:13:16 roidster has joined #bitcoin-wizards 15:16:46 DougieBot5000 has joined #bitcoin-wizards 15:23:48 Malefice has quit 15:40:39 TD: btw something else on the topic of software security and not daring to make changes to btc anymore, it seems to me there maybe scope to simplify high value storage & tx and perhaps layer the assurance. eg full node only model requires less validation, less code, less assumptions, and high value can afford full node reliance. not sure how to layer that upwards to SPV separately, but it seems like a desirable property 15:41:37 adam3us: what about high values formed by aggregating lots of small ones? 15:41:39 TD: also apropos of the new discovery of a 23-year old remote root in all intervening? versions of X11. how would that look for btc as a world currency. 15:42:21 CodeShark: doesnt change the picture, we're talking systemic risk of value bug 15:47:10 ;;later tell shesek Looks like the magic bytes appear 250,010 times in the first 250,000 blocks on disk (bootstrap.dat) 15:47:10 The operation succeeded. 15:53:25 Malefice has joined #bitcoin-wizards 15:54:11 michagogo|cloud: they could be occurring a few times just randomly as part of other data 15:54:20 though 10 times is a lot 15:54:21 sipa: Yeah, I know that 15:54:43 (we had this discussion earlier (today or last night)) 15:55:32 adam3us, RE X11... url? 16:31:42 not-andytoshi has joined #bitcoin-wizards 16:36:54 jgarzik: http://lists.x.org/archives/xorg-announce/2014-January/002389.html 16:37:59 eristisk has quit 16:38:26 jgarzik: "checked in on 1991/05/10, and is thus believed to be present in every X11 release starting with X11R5 up to the current libXfont 1.4.6" 16:38:47 not-andytoshi is now known as andytoshi_ 16:39:03 adam3us: that bug is older than i am! 16:39:13 andytoshi_: wow :o 16:39:25 * sipa suddenly feels old 16:39:37 well, only by 3 months :) 16:39:52 well, I was in my first year at school in 1991... 16:40:07 eristisk has joined #bitcoin-wizards 16:42:21 * adam3us *is* old :) was starting CS PhD degree then 16:42:49 haha 16:42:52 * sipa feels young 16:46:22 eristisk has quit 16:47:56 eristisk has joined #bitcoin-wizards 17:00:34 sipa take it somewhere else 17:00:36 sipa now 17:00:45 take it to lethargic IRC chat 17:00:47 now 17:00:54 go 17:00:57 run 17:01:13 :/ 17:07:00 you kids are funny 17:07:05 B) 17:08:04 eristisk has quit 17:08:37 eristisk has joined #bitcoin-wizards 17:23:49 eristisk has quit 17:24:26 Malefice has quit 17:27:45 nsh has joined #bitcoin-wizards 17:28:00 nsh has quit 17:28:00 nsh has joined #bitcoin-wizards 17:39:46 andytoshi_ 17:40:27 do you have logs from the 2 way pegging discussion? 17:41:13 justanotheruser, it's still in my buffer. can pastebin it 17:41:32 (was meaning to give it another read later anyway) 17:43:42 nsh: please do 17:43:46 moment 17:44:10 nsh: you mean the discussing I wasn't involved in right? 17:44:43 oh, i meant from earlier today. i missed the discussion when gmaxwell mooted it 17:44:53 justanotheruser: one sec, i'm pretty sure i do.. 17:45:00 * nsh defers to andytoshi 17:45:31 jtimon has joined #bitcoin-wizards 17:45:34 (here's today, in any case (unlisted on pastebin): http://pastebin.com/Aefaxfew ) 17:46:56 Malefice has joined #bitcoin-wizards 17:47:30 thanks nsh 17:48:41 np 17:54:52 justanotheruser: sorry, i can't find it on my server's logs, will check my laptop's logs when i get home 17:55:07 there are memories in my brain of it, so i'm pretty sure i was present 17:55:18 andytoshi_: ok please PM me them, thank 17:55:20 s 18:17:59 Luke-Jr has quit 18:18:20 Luke-Jr has joined #bitcoin-wizards 18:19:38 Luke-Jr has quit 18:19:58 Luke-Jr has joined #bitcoin-wizards 18:32:20 eristisk has joined #bitcoin-wizards 18:39:41 <_ingsoc> _ingsoc has quit 18:41:11 eristisk has quit 18:41:24 <_ingsoc> _ingsoc has joined #bitcoin-wizards 18:42:06 eristisk has joined #bitcoin-wizards 18:52:15 spinza has quit 18:53:26 andytoshi_: I made a kind of boring comment about the vntinyram paper: https://groups.google.com/forum/#!topic/scipr-discuss/1psbALDMkAI (mostly I just wanted an excuse to post to the list and see if anyone was reading it, since there were no posts ever) 18:53:27 zacm has joined #bitcoin-wizards 19:01:15 spinza has joined #bitcoin-wizards 19:07:09 spinza has quit 19:07:10 spinza_ has joined #bitcoin-wizards 19:14:27 spinza_ has quit 19:19:59 Emcy has quit 19:20:35 Emcy has joined #bitcoin-wizards 19:20:35 Emcy has quit 19:20:35 Emcy has joined #bitcoin-wizards 19:30:54 spinza has joined #bitcoin-wizards 19:31:13 eristisk has quit 19:32:22 Emcy has quit 19:33:39 Emcy has joined #bitcoin-wizards 19:44:30 mappum has joined #bitcoin-wizards 19:45:55 go1111111 has joined #bitcoin-wizards 19:46:01 gmaxwell, is that what you were referring to in this: "but the really small ones have some uncomfortable security tradeoffs (CRS assumption) the ROM ones are somewhat larger (eg 20kb, though I did invent a novel compression scheme which may help, so they may not be good for compressing header proofs" from earlier? 19:46:12 spinza has quit 19:46:42 spinza has joined #bitcoin-wizards 19:49:26 nsh: no. 19:49:32 k 20:01:54 shesek has joined #bitcoin-wizards 20:03:14 eristisk has joined #bitcoin-wizards 20:06:31 spinza has quit 20:06:31 spinza_ has joined #bitcoin-wizards 20:08:45 adam3us, sounds like the root hole is in BDF font installation 20:09:01 adam3us, thankfully, not really an actively used or triggered area 20:10:01 jgarzik: yes. i was well is the coe in the bdf or the code is in a malicious font no? the latter is bad as someone can send u a font file. did u know fedora 18 dvd wont install without network and downloads amongst other things fonts? (they are crazy) 20:10:45 jgarzik: or is bdf font an optional font system? so no risk if u havent installed that component? 20:11:02 adam3us, well, (1) F18 installs fine without network and (2) any download exists inside a GPG-signed universe 20:12:36 jgarzik: hmm it depends which image u download, i tried 3 of them until i found one that installs without network cable. their new installer is a bit of a mess, but i was pretty determined to get an all offline install and trid 7 isos from ubunu an fedora over pretty much 2 ays 20:12:43 spinza_ is now known as spinza 20:13:41 adam3us, at which step did you get stuck? I might have had to do some magic to get my F18 going in its network-free VM 20:14:02 adam3us, I keep several network-free VMs as virtual condoms for various things 20:16:32 jgarzik: about the gpg-sig. the problem is 2-fold: one the WoT is sparse, secondly it doesnt define a merkle tree, so the content can be tailored to u and there is no rpm sig equivalent of certificate transparency 20:18:19 jgarzik: i finally gave up as i recall an used ethernet briefly i was very annoyed by that point, 2 days burnt on fedora & ubuntu i was astounded that it would fail for network on a DVD iso. 4GB and they want to fetch a font on the network or the install aborts. actually it was probably fc 19. i even tried ubuntu server install. 20:18:29 WOODMAN has quit 20:18:34 adam3us, well each package comes from signed metadata package repo summary 20:18:44 adam3us, I agree this does not solve 'tailored to u' problem 20:18:50 jgarzik: yes my point is say NSA has a copy ... ok right u get it 20:19:29 jgarzik: there is a solution.. merkle tree of snapshot of packages at iso release time, then your entire install is hardwired to the merkle root. 20:19:56 adam3us, nobody wants packages of an era circa iso release time ;p 20:20:35 adam3us, familiar problem as with routers: the moment you open the box and turn on the computer, it is out of date and missing security and other critical bug fixes 20:21:54 jgarzik: actually i would happily take an out of the box for this app, which is admittedly completely atypical (i was testing armory prebuilt stuff and source stuff.) that the DVD wouldnt install therefore was just the opposite. 20:24:42 hmmm... ubuntu without network has worked fine for me (via iso-on-usb) 20:27:15 jgarzik: also i guess we're going to need sooner or later the SSL / cert transparency, for rpm signatures, or something. its pretty much spelled out in like schneier and applebaum research in teh docs and articles from that that NSA has well placed TCP hi-jack infrastructure with selective payload delivery. u could imagine they might hve hacked some important signing keys via physical intrusion, black bag, NSL etc. 20:29:25 helo: i am not in a hurry to repeat that experiment it was the least fun i've had with a computer in quite a while. this was ubuntu 10 and ubuntu 12 (whatever armory claimed to be prebuilt for, or latest stable for source) and fedora 18. tried lots of isos. i dont think i was dreaming. been using linux since slackware 0.9 so i am not unusually fat fingered about linux installs 20:30:06 yeah, sounds pretty terrible 20:31:03 the fedora stuff kinda shuffles users torwards the crappy live image based installers, which I think do have to be online. 20:31:11 <_ingsoc> _ingsoc has left #bitcoin-wizards 20:50:06 adam3us: 10 and 12? 20:50:09 Which ones? 20:50:29 (.04 or .10?) 20:51:22 michagogo|cloud: it was a month ago, i tried 10, 12 as main advertised iso on ubuntu.co and i think 10 server at suggestion of a hacker friend of mine that server maybe less chatty 20:51:29 .04 21:00:49 eristisk has quit 21:01:19 eristisk has joined #bitcoin-wizards 21:06:18 gigavps has quit 21:50:39 gmaxwell: cool, glad to see (a) that the list is active and (b) we're not crazy to think we can be throwing hash circuits everywhere 21:50:41 andytoshi-away is now known as andytoshi 21:51:10 i have another concern, which i haven't mentioned since i haven't read the whole paper, about verifying input.. 21:51:35 presumably to make a snark-based blockchain we would want VERIFY (old chain state, new chain state, transactions) 21:51:43 someone needs to find a bored grad student to go generate circuits for sha256 and all the sha3 finalists and see which results in the fastest proofs. 21:51:58 and we'd want the old and new chainstate to be public, but the transactions to be zero knowledge 21:52:18 the impression i get from the paper is that if we want inputs to be public and provably there, we'd need them to appear in the preprocessing stage 21:52:21 is this right? 21:54:15 andytoshi: no, the preprocessing stage just takes in the description of vntinyram itself, the time limit bound, and the _number_ of public inputs. 21:54:41 are the public inputs what they call 'auxilliary inputs'? 21:55:10 no, public inputs are "program inputs", while "auxilliary inputs" are the ZK inputs. 21:55:42 ok, thanks, great 21:55:48 (also non-determinsim used to simplify the tinyram circuit, e.g. like magical answers that tinyram divide by only having a circuit to check the answer) 21:56:00 yeah, i noticed that, that was really clever 21:57:49 andytoshi: also, in your description above there is an extra thing that needs to be provided.. full nodes would also demand a set of updates to change from the old state to the new state. 21:58:15 the proof would not be enough for them? 21:58:17 E.g. the transactions are ZK but you do actually need to know the final state (not intermediate states) in order to make the next proof yourself. 21:58:40 right, that's what i mean by 'new chain state', they can just use that as 'old chain state' in their next proof 21:58:59 oh okay, I read what you were saying as a commitment to the state. 22:00:33 A non-miner in that model doesn't actually need to pay attention to the state much of the time... so commitments are good enough.. then they could just get fragments of the state from filtering nodes to prove they were paid. 22:01:28 right 22:02:32 and full/filtering nodes would have to figure out some way to efficiently store the series of chainstates 22:03:10 perhaps snark-proving chainstate diffs would be more efficient, i dunno, these are just details at this point :) 22:03:11 its useful to commit to the diff as well, since then you can get it from someplace else. 22:03:52 oh, good point, doing both gives the best of both worlds 22:05:50 full nodes would use the diffs, non-full user nodes would use the full state to verify what the full nodes are telling them 22:08:54 if you want to be really snazzy, you have a hiearachy of backpointers to old blocks, and at each backpointer level you keep a state snapshot and periodically commit big gap proofs. 22:09:25 then hotstarting a full node just involves evaluating log2(blocks)+ε proofs, and pulling down a full state. 22:09:42 but since the proofs are so fast, I goes O(N) proofs isn't so bad. 22:10:05 we'll see what hardware looks like wherever this becomes feasible :P 22:10:30 though my money's on "before 2020", and then things will look pretty-much the same 22:14:35 justanotheruser: the 1-1 peg discussion starts (i think) at http://download.wpsoftware.net/bitcoin/wizards/2013-12-18.txt 22:14:56 (for some reason my logs from 12-17 to 12-27 were not on the website, that's why i couldn't find them earlier) 22:16:38 2014-01-08 22:11:18 REORGANIZE: Disconnect 7880 blocks; 000000000019d6689c085ae165831e934ff763ae46a2a6c172b3f1b60a8ce26f.. 22:16:39 * michagogo|cloud 2014-01-08 22:11:18 REORGANIZE: Connect 31489 blocks; ..00000000ce13e2d877387db6a418974481fdcd946bcc72c3a52f1ed7ad34f2a5 22:17:03 michagogo|cloud: is that testnet? 22:17:12 It's Jesuscoin 22:17:17 phew 22:17:20 ... Jesus coin?! 22:17:31 (I did a reorg on testnet that big) 22:17:57 gmaxwell: coingen 22:18:11 second coin on http://coingen.io/status.html 22:18:19 ohhh you blew up a coingen coin?! 22:18:30 hah 22:18:34 Well, my script is breaking 22:18:55 since the reorg lags jesuscoin-qt 22:19:17 hah 22:19:29 * gmaxwell titters at "jesuscoin-qt" 22:19:43 does it have an icon where a coin outline forms a halo around jesus? 22:21:47 it proclaims to _be_ the second coming 22:21:55 gmaxwell: http://imgur.com/Wldyc7t 22:22:26 aww 22:23:35 Okay, added begin,rescue,retry,end lines 22:23:40 opportunity missed 22:23:44 that should make it stop crashing 22:24:41 If you're interested, here's my script: http://0bin.net/paste/OFWqJ7Lj0k0GO0o4#Rd6uP8VFxwv3SEO4HQAwtF+Vy5M3ZtaUrrKC9m3qI+w= 22:25:31 Anyone happen to know when Bitcoin's first difficulty increase was? 22:25:46 block 80k? 22:26:00 thanks 22:26:42 Heh, looks like the real chain is fighting with my replay of the bitcoin chain 22:27:03 Reorging back and forth 22:27:39 ah, this is from before BlueMatt fixed the 'same genesis' 'bug' 22:27:59 oh, it was fixed eventually? when? 22:28:06 we were talking about it just yesterday 22:28:24 michagogo|cloud: oh I'm wrong about the height 22:28:28 no, it was fixed a long time ago 22:28:40 michagogo|cloud: 32256 22:28:57 Hmm, what did it rise to? 22:29:04 1.18289953 22:29:06 oh, I was under the impression it was still like that yesterday... someone said it was 22:30:12 If anyone feels like watching jesuscoin get killed, https://secure.join.me/671-648-265 22:30:34 (tailf of jesuscoin's debug.log) 22:32:31 Hey, I think I might have just pulled ahead 22:33:29 BlueMatt: How many coingen coins used Bitcoin's genesis block? 22:33:41 michagogo|cloud: too bad there aren't any huge tx fees until fairly late. 22:34:01 gmaxwell: Why? 22:34:22 otherwise I'd say it would be fun top play it up to right before the point where there was a block with huge tx fees. Then mine that txn yourself. 22:34:30 Malefice has quit 22:34:30 michagogo|cloud: no idea 22:34:33 Then continue on.. and you get the huge tx fees. 22:34:36 gmaxwell: heh 22:34:46 Malefice has joined #bitcoin-wizards 22:37:45 where's the boom? 22:37:56 helo: https://secure.join.me/671-648-265 22:39:04 shh, nobody tell Luke-Jr that I killed Jesus(coin) 22:39:14 interesting date 22:39:46 helo: hmm? 22:40:32 jesuscoin has blocks as far back as 2010? 22:40:42 helo: It's the Bitcoin blockchain 22:41:16 eristisk has quit 22:41:33 I'm just using http://0bin.net/paste/OFWqJ7Lj0k0GO0o4#Rd6uP8VFxwv3SEO4HQAwtF+Vy5M3ZtaUrrKC9m3qI+w= to replay the bitcoin blockchain onto Jesuscoin 22:42:20 wouldn't the hard coded genesis block make that not work? 22:42:38 they share the same genesis block 22:42:54 bad move :/ 22:42:56 coingen used to give the altcoins it created the same genesis block as bitcoin's 23:20:51 andytoshi: the proving process for QAP snarks is ludicrously parallel, I wonder if it would make sense to have distributed generation of the proofs? ... I think the problem is that they need communcation similar to the prover key in size. 23:23:15 kyrio has quit 23:23:30 adam3us: I've done multiple ubuntu installs without network connection ... i know it works for 12.04 23:26:23 gmaxwell: hmm, a high communication requirement is going to incentivize centralization 23:26:38 and in general, if you break the proof up it is hard to decide what part any individual miner should work on 23:27:01 which i think also encourages centralization since it is easy to organize a single mining farm to not step on its own toes 23:30:00 i think "ludicrously parallel" will just mean that we don't have a gpu-hard mining algorithm here 23:30:49 * maaku downloads jesuscoin-qt and goes to make some popcorn 23:32:34 maaku: not much to see 23:32:52 i expect jesuscoin to be able to fork, and keep both instances alive... 23:32:53 It'll just look like Bitcoin-Qt syncing 23:32:56 is it off of git-head, or 0.8? 23:33:02 0.8.6 23:33:04 0.8.6 iirc 23:33:08 oh :\ 23:33:18 Why? 23:33:33 Which git feature were you hoping to use? 23:33:38 i was hoping for some fine grained timestamps on the log messages to get a good idea of how the reorg was spreading through the network 23:33:59 vs. the "honest" miners 23:34:01 maaku: you can roll your own 23:34:24 Just built git head and change the pchMessageStart 23:34:27 yeah true. i suppose I just need the port & msg bytes 23:34:36 port 9336 23:34:55 Don't know the magic, though 23:34:57 Sorry 23:35:08 np. thanks 23:35:19 i'll read the first 4 bytes of blk*.dat 23:35:38 (Not at my computer anymore, I'm writing this from my bedroom) 23:37:28 so I guess Satoshi is now heavily invested in Jesuscoin? :) 23:37:33 he should own a pretty large chunk of it 23:39:34 given his large ownership in the early bitcoin blocks 23:39:58 ...? 23:40:08 shesek: yes, but unfortunately he Ascended into heaven in 2010 without leaving any of his public keys to his disciples :\ 23:40:13 /public/private/ 23:40:55 someone should create a Nakamotocoin - dedicated to The Ascended One 23:41:01 by mocking his Creation