00:00:28Guest30505:Guest30505 is now known as maaku
00:14:35gmaxwell:Some NXT jackass on bct tech pumping NXT and his patent pending instant transaction magic is unduely irritating me, https://bitcointalk.org/index.php?topic=737836.msg9406536#msg9406536
00:18:46BlueMatt:gmaxwell: the best response is to ignore
00:19:33kefkius:I like your responses
00:22:14BlueMatt:gmaxwell: also, just lock the thread
00:22:27BlueMatt:(or ban, that is always easy)
00:24:00gmaxwell:yea, I've been temped to just deleted any point that plugs some altcoin without saying something technical... In this case (see my first response) I foolishly didn't because I thought I could impress on him the stupidity of that route.
00:24:26gmaxwell:his later POS comments made it clear that he was clueless so the discussion was probably pointless.
00:32:45kefkius:It's a shame there can't be reasonable altcoin discussion
00:34:28BlueMatt:there can be reasonable altcoin discussion, probalem is no altcoins are currently reasonable (read: technically competent)
00:34:37BlueMatt:well, ok, only a few are, but those usually have reasonable discussion :)
01:03:26midnightmagic:lol. now he's going to try to punish you by doing what he intended to do to begin with. well. I guess it's your fault then if he makes waves that we all have to deal with.
01:08:24midnightmagic:"You brought this on yourself. You could've been nice to me. Instead you made me angry. Now I'm going to punish everyone." Where have I heard that before.. Oh yeah: http://i1006.photobucket.com/albums/af187/Sculpt-Double/Syndrome/Syndrome_0018.jpg
01:25:02wyager:wyager has left #bitcoin-wizards
01:35:10gmaxwell:sipa: LOLOLOL
01:35:12gmaxwell:sipa: https://bitcointalk.org/index.php?topic=840252.0
01:48:47gmaxwell:gah, bad idea of breaking pooling entirely seems like it's going to repeat monthly forever now http://www.reddit.com/r/Bitcoin/comments/2l0ria/achieving_consensus_in_distributed_systems_that/
03:28:03Taek:"Breaking pooling entirely (which has been proposed and debunked many times) would have enormously bad ramifications since then the easiest (any perhaps only) way to economically participate would be via hosted mining, which is far more damaging than pooling."
03:28:20Taek:I'm assuming this is only referring to situations where 1 miner gets paid every 10 minutes?
03:32:12gmaxwell:Taek: Anything that makes multiple miners get paid is _some_ form of pooling. E.g. p2pool.
03:32:32gmaxwell:(and what that post suggests would generally make all forms of pooling that I've seen infeasable)
03:34:48Taek:ah. broader definition of pool than I had interpreted
03:36:31gmaxwell:well I really mean all schemes that would be broken by the anti-pooling stuff being discussed. It breaks every kind of pooling I've seen... (e.g. you can try to make pooling irrelevant but at huge efficiency costs) but it doesn't break hosted mining.
03:37:23gmaxwell:Amiller has paper on breaking both pooling and hosted mining; but it doesn't break the latter in the real world, at least not currently, because no one seems to care if hosted mining can rob them or not.
03:38:23gmaxwell:(Amiller's system makes it so hosted mining can steal some of the income without being caught. ... but in practice today all hosted mining can steal income because none of their customers are interested in recieving proof that they're not... and it remains profitable)
04:54:40phantomcircuit: [03:37:23] Amiller has paper on breaking both pooling and hosted mining; but it doesn't break the latter in the real world, at least not currently, because no one seems to care if hosted mining can rob them or not.
04:54:45phantomcircuit:i still dont understand why not
04:55:01phantomcircuit:it's relatively easy to prove
04:55:13phantomcircuit:but virtually nobody cares
04:56:33Taek:Most of the real world operates under assumptions of trust
04:57:19Taek:I would be surprised if more than a few % of people use Coinbase's multisig feature
05:04:51devrandom:kanzure: Saturn's Brood by Alastair Reynolds has an interesting story about interstellar slow money vs local fast money... not sure how plausible the econ / crypto is
05:52:30GnarSith:yeah. but it's Neptune's Brood by Charles Stross
05:59:23QuantumQrack:Although Alistair Reynolds is a great author as well. :-)
06:43:19gandalf:hey super3 you online?
08:05:15card.freenode.net:topic is: This channel is not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
08:05:15card.freenode.net:Users on #bitcoin-wizards: andy-logbot profreid cbeams coinheavy sekoe Luke-Jr gandalf MoALTz_ HaltingState hashtag iddo Baz__ TheSeven samson_ todaystomorrow Dr-G2 rs0 zenojis Aquent1 mmozeiko torsthaldo SDCDev Adlai c0rw1n zwischenzug tacotime PaulCapestany DougieBot5000 pi07r ryanxcharles devrandom RoboTeddy btcdrak digitalmagus roconnor grandmaster2 fragiletag midnightmagic rfreeman_w Graftec sl01 satoshi393 maaku Transisto copumpkin kefkius Keefe nsh phantomcircuit
08:05:15card.freenode.net:Users on #bitcoin-wizards: comboy justanotheruser wizkid057 Muis Alanius Guest1930 mortale wiretapped arowser LarsLarsen go1111111 fanquake e4xit berndj sipa paperbot altoz Anduck poggy iambernie Jokosh NikolaiToryzin cfields coryfields super3 Kretchfoop MRL-Relay Sangheili mappum hollandais jbenet epscy bosma Flyer33 kjj21__000 eric DoctorBTC Taek Cory sneak EasyAt warptangent Hunger- optimator_ Starduster kumavis heath andytoshi dgenr8 ebfull BrainOverfl0w spinza fds4345
08:05:15card.freenode.net:Users on #bitcoin-wizards: gazab Iriez bbrittain BigBitz Apocalyptic emsid Starsoccer throughnothing warren tromp_ null_radix gavinandresen dansmith- Meeh GnarSith kyuupichan stonecoldpat Nightwolf AdrianG Logicwax jgarzik fluffypony mr_burdell Eliel zibbo_ tromp SomeoneWeird kgk firepacket Dyaheon myeagleflies wumpus K1773R pigeons nanotube Grishnakh lnovy @ChanServ lechuga_ abc56889 harrow so ahmed_ Gnosis pajarillo roasbeef ryan-c otoburb helo_ [Tristan] TD-Linux catcow
08:05:15card.freenode.net:Users on #bitcoin-wizards: danneu btc_ crescendo amiller yoleaux jrayhawk_ michagogo @gwillen BlueMatt smooth petertodd bobke hguux _2539 gmaxwell [\\\] livegnik burcin Graet CryptOprah espes__ HM_ gnusha LaptopZZ [d__d] fenn artifexd phedny superobserver a5m0 kinlo Krellan gribble kanzure Fistful_of_coins weex_ asoltys
09:31:01Aquent1:Aquent1 is now known as Aquent
12:34:01LTCGearSharesDot:LTCGearSharesDot is now known as LTCGearShares
14:05:02penny:penny is now known as Guest78218
16:41:21zooko`:zooko` is now known as zooko
17:05:46nuke__:nuke__ is now known as nuke1989
17:09:00maaku:maaku is now known as Guest56997
21:18:21agorist0000:agorist0000 has left #bitcoin-wizards
21:47:16nsh:any thoughts in whether blockchain technology might be (with appropriate modifications, caveats, etc.) useful as a more secure replacement for existing distributed routing information state protocols
21:47:31nsh:(specifically BGP, which is kinda the rubber band holding the internet together)
21:49:40phantomcircuit:nsh, maybe, but there are some pretty trivial intermediary steps that nobody has yet to take
21:49:44phantomcircuit:so i cant see that happening
21:50:21nsh:* nsh nods
21:58:31phantomcircuit:nsh, although actually blockchain based ip allocation isn't crazy
21:58:49phantomcircuit:digitial ownership and meaningful ownership being one an dthe same
21:58:55nsh:* nsh nods
21:59:54nsh:i think gmaxwell mentioned that he'd previously discussed the idea of blockchain-controlled membership in distributed hash tables with cjd
22:00:03nsh:but i'm not sure of any specifics
22:01:10moa:cjdns was investigating namecoin integration at some point
22:02:15nsh:perhaps that could be a project incubated through sidechains
22:15:16kanzure:"if you can't fit a usable routing table in a few megabytes at *most*, then you won't be able to deliver traffic, *period*."
22:15:24kanzure:"right now, the global BGP routing table fits in something like 1 MiB, and that's large enough that it causes problems for some systems"
22:15:48kanzure:"the big problem with non-hierarchical addressing is that you have to remember that intermediate routers are *very* dumb and *very* memory constrained"
22:16:33kanzure:"you'd be better off running the crypto system alongside traditional addressing"
22:17:03kanzure:(these quotes are from 2014-08-27)
22:18:51nsh:yeah, well, "better off" is currently a function of the grace and favour of a large and growing number of people with a practical ability to take away all the nice things at any point if they are sufficiently motivated
22:19:24nsh:i'm not sure that's any way to run a civilization
22:20:20kanzure:well, what would you actually want in the route table itself
22:21:37phantomcircuit:moa, yes and when he did that he completely broke the security model in like a day....
22:22:40nsh:kanzure, that's kinda independent of the utility of having strong security guarantees about the authority of updates
22:22:41kanzure:oh, oops, i was the one who brought up the route table stuff.
22:22:49phantomcircuit:kanzure, ahahaha
22:22:51kanzure:route tables don't verify itself or its peers
22:23:58phantomcircuit:kanzure, you validate the routing info and then load the validated routing table
22:24:11kanzure:don't peers discover their own routes in the network?
22:24:21kanzure:"there's a sysctl called "log_martians" in the net config which causes a kernel message whenever a packet comes in from an interface that it shouldn't according to the routing table, but that's pretty much it"
22:25:11phantomcircuit:kanzure, iirc routes are only dont like that outside of the core
22:25:32phantomcircuit:there's apparently a bunch of routers that have something very close to the entire global ip space explicitly routed
22:26:33kanzure:"yeah anybody who is participating in the backbone has what amounts to a global routing table which is negotiated and shared over BGP"
22:26:45kanzure:i hate playing irc relay, people should just agree on a channel and stick to it
22:27:03kanzure:"note that misconfigured/malicious peers can and do fuck with BGP on occasion"
22:28:53kanzure:"the way that backbone routers are configured is sort of only tangentially related to how near-endpoint routers are configured"
22:39:49nsh:"A major update to BGP would be required to remediate those issues and offer an adequate level of protection against sophisticated BGP attacks. RFC 4278, a maturity study of BGP security mechanisms, considers the marginal benefit of such schemes in this situation would be low, and not worth the transition effort. " -- https://security.stackexchange.com/questions/56069/what-security-mechanisms-are-used-in-bgp-and-why-do-they-fail
22:41:43BlueMatt:ie "The NSA looked at BGPSEC and decided that it would hurt their ability to steal everyon'e traffic at will"
22:42:41nsh:that's what i wondered too
22:43:12kanzure:how many privacy points would that net everyone in the battle against the nsa? just curious in an estimate
22:43:41BlueMatt:practically, incredibly few
22:43:54nsh:this is the major global policy problem we're facing: the rules and governance of digital communications networks are becoming the rules and governance of civilization, and the current stakeholders are starting to be seen to have interests at conflict with security, robustness and equal franchise
22:43:56BlueMatt:but, practically, any one thing nets incredibly few points against the nsa
22:44:07nsh:that's probably the kind of problem humanity should be putting a lot of effort into solving
22:44:53nsh:because if it's left to crazy people in pajamas to try and fix it, you can expect mixed results
22:45:21nsh:and the crazy people in pajamas have limited patience
22:45:22moa:what's zuckerberg got to do with it?
22:45:25nsh:* nsh smiles
22:45:33GnarSith:wait. arent we the crazy people in pajamas?
22:45:43nsh:no, we're the crazy people in robes and hats
22:45:52nsh:there's a limited crossover
22:47:40BlueMatt:"He received 2007 National Computer Systems Security Award by the National Institute of Standards and Technology (NIST) and the National Security Agency (NSA)."
22:47:43BlueMatt:lol, thats an oxymoron
22:47:57BlueMatt:"Security Award"..."NSA" do not belong in the same sentence
22:48:22BlueMatt:(thats the author of the very outdated rfc which was referenced claiming bgp doesnt need security)
22:48:40GnarSith:winner of undisclocable award for reasons of security and therefore insecurity
22:54:02moa:so is this the problem BitPay IP protocol layer is going to solve?
22:55:11BlueMatt:lol, no
22:55:27BlueMatt:that thing is not an ip layer
22:56:16moa:the coindesk article made it sound awesome
22:56:27BlueMatt:coindesk articles make everything sound awesome
22:56:29moa:not that i bothered lookinng any further
22:56:32BlueMatt:even broken technobabble
22:57:13justanotheruser:bitpay IP protocol layer??
22:57:40kanzure:i thought it was just established that it was not an ip layer -_-
22:58:15justanotheruser:I know, I wanted to know what he was referring to though
22:58:36moa:the co CEO made some noises to that effect ...
22:58:56moa:but colour me skeptical, although good on them for having a go
22:59:32BlueMatt:foxtrot scales oppositely from what you need in the neternet...
22:59:47BlueMatt:so, while a potentially cool project as they progress, its not an ip replacement
23:00:08justanotheruser:without looking at the source, it seems to imply they have bitcoins network topology
23:00:22moa:he mentioned p2p networks generally
23:00:46moa:plus btc-based encryption
23:00:47kanzure:this place is such a circuit
23:00:57BlueMatt:my understanding: gian p2p network where you peer with whoever you want, to initiate a connection, you flood the entire network looking for the pubkey of your target, if it comes back you establish a circuit, ala networking pre-ip
23:01:14BlueMatt:each node/router keeps state for each connection which is traversing it, ie....it doesnt scale
23:01:28BlueMatt:not to mention the scaling of flooding the network looking for your target pubkey
23:03:16justanotheruser:so I only have to check 1 billion IP addresses then
23:05:12woah:BlueMatt I'm into it
23:05:23gmaxwell:Anyone else here at all familar with Frama C?
23:05:37nsh:.wik Frama C
23:05:39yoleaux:"Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C enables the analysis of C programs without executing them." — http://en.wikipedia.org/wiki/Frama-C
23:05:59nsh:(by way of answering 'no' )
23:06:34BlueMatt:gmaxwell: static analysis framework?
23:08:19gmaxwell:BlueMatt: yea, it's pretty useful... though often it gets lost on non-trivial functions or trying to prove things more complex than absence of arith overflow
23:10:34gmaxwell:It seemed to me that frama c would actually have a fighting chance of proving this change computes the same thing: https://github.com/peterdettman/secp256k1/commit/c7b87a855e9684b8e5858e896057005709bc26c6 so if someone else around here was familar with it I was going to suggest they give it a shot.
23:11:03gmaxwell:(e.g. prove they compute the same thing by just making a function with a copy of the new and old verisons and adding assertions that the results from both are the same)
23:15:11sipa:i believe they are, but there is no actual requirement that they are identical
23:15:23sipa:there can be multiple representations for the output that are identical
23:16:04gmaxwell:well the change shouldn't have resulted in them being non-identical, at least.
23:19:25gmaxwell:sipa: here is the paper I mentioned before about correctness proofs for a curve25519 implementation: http://www.iis.sinica.edu.tw/~bywang/papers/ccs14.pdf
23:24:47gmaxwell:It's interesting that it notes a older version of the software was incorrect... https://cryptojedi.org/crypto/#ed25519
23:25:28gmaxwell:I believe I'd not been aware of that previously. (uh and now wonder if there is code I'm responsible for shipped with that bug in it. :( )
23:29:26nsh:hopefully it wouldn't have had a high impact (if the probability of being triggered was low)
23:29:40nsh:still not ideal though, i suppose
23:29:56phantomcircuit:definitions of low in testing might not match those in production
23:30:10nsh:* nsh smiles
23:36:06samson2:samson2 is now known as samson_
23:38:08gmaxwell:andytoshi: heh. keegan is now wishlisting someone to do rust extractions for coq: https://github.com/rust-lang/rust/issues/18496
23:41:10andytoshi:* andytoshi wishes for another lifetime to work on that
23:41:48nsh:* nsh expresses approval