| --- Log opened Fri Nov 20 00:00:30 2015 | ||
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds] | 00:04 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 00:06 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving] | 00:06 | |
| -!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards | 00:10 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 00:10 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 255 seconds] | 00:15 | |
| -!- CoinMuncher1 [~jannes@178.132.211.90] has quit [Ping timeout: 276 seconds] | 00:35 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Remote host closed the connection] | 00:58 | |
| -!- TBI_ [~TBI@84.48.195.20] has joined #bitcoin-wizards | 01:00 | |
| -!- TBI [~TBI@20.84-48-195.nextgentel.com] has quit [Ping timeout: 264 seconds] | 01:03 | |
| -!- anon56 [~Android@106.66.17.126] has joined #bitcoin-wizards | 01:03 | |
| -!- anon56 [~Android@106.66.17.126] has quit [Client Quit] | 01:05 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 01:11 | |
| -!- CoinMuncher [~jannes@178.132.211.90] has joined #bitcoin-wizards | 01:14 | |
| -!- CoinMuncher [~jannes@178.132.211.90] has quit [Client Quit] | 01:14 | |
| -!- CoinMuncher [~jannes@178.132.211.90] has joined #bitcoin-wizards | 01:15 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 272 seconds] | 01:16 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 01:17 | |
| -!- dabura667 [uid43070@gateway/web/irccloud.com/x-yopvetupdzzzdnxf] has joined #bitcoin-wizards | 01:18 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards | 01:19 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has left #bitcoin-wizards [] | 01:20 | |
| -!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving] | 01:26 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 01:36 | |
| -!- Piper-Off is now known as Monthrect | 01:45 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 01:51 | |
| -!- sparetire_ [~sparetire@unaffiliated/sparetire] has joined #bitcoin-wizards | 02:08 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 02:12 | |
| -!- c-cex-finch [uid120855@gateway/web/irccloud.com/x-xugckwrrzahcdupx] has joined #bitcoin-wizards | 02:14 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 272 seconds] | 02:17 | |
| -!- matsjj [~matsjj@89.197.31.78] has joined #bitcoin-wizards | 02:28 | |
| -!- Monthrect is now known as Piper-Off | 02:40 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Ping timeout: 246 seconds] | 02:51 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 244 seconds] | 03:02 | |
| -!- moa [~kiwigb@opentransactions/dev/moa] has quit [Quit: Leaving.] | 03:20 | |
| -!- jtimon_ [~quassel@74.29.134.37.dynamic.jazztel.es] has joined #bitcoin-wizards | 03:29 | |
| -!- jtimon [~quassel@74.29.134.37.dynamic.jazztel.es] has quit [Read error: Connection reset by peer] | 03:30 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 03:43 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 03:47 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 260 seconds] | 03:47 | |
| -!- c-cex-yuriy [uid76808@gateway/web/irccloud.com/x-kkrjcjcacammxior] has joined #bitcoin-wizards | 03:48 | |
| -!- Piper-Off is now known as Monthrect | 03:52 | |
| -!- AaronvanW [~ewout@81.60.139.225.dyn.user.ono.com] has joined #bitcoin-wizards | 04:18 | |
| -!- AaronvanW [~ewout@81.60.139.225.dyn.user.ono.com] has quit [Changing host] | 04:18 | |
| -!- AaronvanW [~ewout@unaffiliated/aaronvanw] has joined #bitcoin-wizards | 04:18 | |
| -!- nanasho [~nanasha25@f048061057.adsl.alicedsl.de] has joined #bitcoin-wizards | 04:20 | |
| -!- PaulCape_ [~PaulCapes@204.28.124.82] has joined #bitcoin-wizards | 04:32 | |
| -!- PaulCapestany [~PaulCapes@204.28.124.82] has quit [Ping timeout: 264 seconds] | 04:34 | |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 04:42 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Remote host closed the connection] | 04:43 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 04:43 | |
| -!- Guest51706 [~starsocce@ns372404.ip-94-23-252.eu] has quit [Changing host] | 04:49 | |
| -!- Guest51706 [~starsocce@unaffiliated/starsoccer] has joined #bitcoin-wizards | 04:49 | |
| -!- Guest51706 is now known as Starsoccer | 04:49 | |
| -!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #bitcoin-wizards | 04:55 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer] | 04:57 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 04:59 | |
| -!- dabura667 [uid43070@gateway/web/irccloud.com/x-yopvetupdzzzdnxf] has quit [Quit: Connection closed for inactivity] | 05:06 | |
| -!- binaryFateCloud [~jeremie@joule.ulb.ac.be] has quit [Quit: Konversation terminated!] | 05:06 | |
| -!- pozitron [~nu@104.238.169.86] has joined #bitcoin-wizards | 05:10 | |
| -!- tulip [~tulip@128.199.135.43] has quit [] | 05:21 | |
| kanzure | matsjj: i think this question is for you? https://www.reddit.com/r/Bitcoin/comments/3tftas/mike_hearn_now_working_for_r3cv_blockchain/cx6f4hr?context=3 | 05:22 |
|---|---|---|
| -!- nanasho [~nanasha25@f048061057.adsl.alicedsl.de] has quit [Ping timeout: 252 seconds] | 05:29 | |
| matsjj | kanzure: thunder dude.. interesting .. should get myself a shirt for that - will replying there makes a difference though? ;) | 05:34 |
| -!- tulip [~tulip@128.199.135.43] has joined #bitcoin-wizards | 05:35 | |
| -!- roxtrong_ [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards | 05:37 | |
| -!- Giszmo [~leo@pc-36-133-241-201.cm.vtr.net] has joined #bitcoin-wizards | 05:38 | |
| aj | matsjj: /nick thor ? | 05:39 |
| -!- tulip [~tulip@128.199.135.43] has quit [Changing host] | 05:39 | |
| -!- tulip [~tulip@unaffiliated/tulip] has joined #bitcoin-wizards | 05:39 | |
| bsm117532 | bramc: and if you do it in python2 I'll volunteer to port it to python3. ;-) | 05:40 |
| matsjj | aj, most super heroes are based around lightning, not thunder :( thought about flash as well and then realised | 05:41 |
| -!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 255 seconds] | 05:41 | |
| aj | matsjj: thor's usually god of thunder, or thunderer or similar, not lightning i think? | 05:42 |
| matsjj | oh, nice then | 05:42 |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 05:43 | |
| kanzure | matsjj: yeah i had forgotten your name at the time, sorry 'bout that | 05:44 |
| matsjj | don't worry :) | 05:44 |
| aj | kanzure: i'll count it as a compliment that you put me in twice | 05:44 |
| kanzure | my people-tracking system sometimes spits out dupes | 05:45 |
| kanzure | frankly i'm surprised i can keep track of even half of you people. who are you? why am i here? | 05:45 |
| aj | kanzure: it's okay, i haven't correlated real names / irc nicks / reddit names for barely anyone. at least luke-jr makes it easy | 05:45 |
| -!- roxtrong_ [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Remote host closed the connection] | 05:46 | |
| kanzure | http://diyhpl.us/~bryan/irc/meetlog/2009-07-01_to_2010-02-12-lines.png | 05:46 |
| kanzure | example of individual data dump: http://diyhpl.us/~bryan/irc/meetlog/graphs/aaron_swartz.png | 05:46 |
| aj | kanzure: what the heck is that? | 05:47 |
| kanzure | aj: i have detailed records of every conversation i've had since 2009 | 05:47 |
| sipa | kanzure: including in person chat and phone...? | 05:48 |
| sipa | _per line_ ? | 05:48 |
| sipa | that's somewhere in the region where awesome and insane overlap | 05:48 |
| kanzure | oh yeah it's completely ridiculous | 05:48 |
| aj | oh, wow, kanzure must be one of the NSA's AIs | 05:48 |
| kanzure | here is a presentation i gave in 2011 about this https://vimeo.com/27381297 | 05:49 |
| kanzure | yeah actually the data set was public for a few years because nobody was complaining | 05:51 |
| * nsh smiles | 05:51 | |
| -!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Quit: GGuyZ] | 05:52 | |
| aj | kanzure: hmm, while you're doing other people's research for them; do you know if there's already been proposals to add generic crypto ops to bitcoin script (eg, ECC multiply, or verify a sig of a given message rather than a sig of the transaction as a whole)? | 05:55 |
| kanzure | OP_MOXIE https://github.com/bitcoin/bitcoin/issues/6677 | 05:56 |
| kanzure | OP_SCHNORRCHECKSIGVERIFY https://bitcointalk.org/index.php?topic=1007831.0 | 05:56 |
| kanzure | "OP_SIDECHAINVERIFY" https://bitcointalk.org/index.php?topic=1083345.0 | 05:56 |
| sipa | No reference for OP_X86? *ducks* | 05:56 |
| kanzure | exotic sighash types https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-August/010759.html | 05:58 |
| gmaxwell | There is also an unpublished requirements notes doc that I could share with you that I wrote after I'd stopped publishing such things for frustration that they were going straight into altcoin whitepapers without getting implemented. | 05:58 |
| kanzure | i don't remember any proposals about OP_ECDSA_STUFF ... | 05:58 |
| gmaxwell | aj: elements alpha can verify signatures on data coming in on the stack. | 05:59 |
| aj | gmaxwell: hmm, i skimmed through the opcodes and didn't spot that :( | 05:59 |
| kanzure | signature verification is mentioned in http://diyhpl.us/wiki/transcripts/gmaxwell-sidechains-elements/ | 05:59 |
| kanzure | "We also add the ability to check signatures on data on the stack other than the transactoin data itself, and this allows you to build bonds on good behavior, so you could say here's some bitcoin on the network that you could be paid if you prove the same contract was signed twice by some party. This has been the work of Patrick Strateman." | 06:00 |
| aj | gmaxwell: blind. OP_CHECKSIGFROMSTACK, neat | 06:01 |
| -!- Monthrect is now known as Piper-Off | 06:03 | |
| -!- gmaxwell [greg@wikimedia/KatWalsh/x-0001] has quit [Ping timeout: 240 seconds] | 06:03 | |
| -!- gmaxwell [greg@mf4-xiph.osuosl.org] has joined #bitcoin-wizards | 06:03 | |
| -!- gmaxwell is now known as Guest61914 | 06:03 | |
| -!- Guest61914 [greg@mf4-xiph.osuosl.org] has quit [Changing host] | 06:04 | |
| -!- Guest61914 [greg@wikimedia/KatWalsh/x-0001] has joined #bitcoin-wizards | 06:04 | |
| matsjj | I would love some OP_code for verifying a priv/pub key pair - currently there are only proposals for verifying signatures | 06:04 |
| matsjj | I guess there are ways using multiplying and op_mod(disabled) to achieve the same | 06:05 |
| matsjj | oh op_mul is disabled as well - nvm | 06:05 |
| sipa | matsjj: that would be insanely inefficient | 06:05 |
| matsjj | yea | 06:05 |
| sipa | even if they were available | 06:05 |
| -!- Guest61914 is now known as gmaxwell | 06:05 | |
| aj | sipa: (as opposed to implementing libsecp256k1 in moxie? :) | 06:05 |
| aj | implementing in, compiling to... | 06:06 |
| sipa | aj: that too would be inefficient; you really need cryptographic primitives in your script language | 06:06 |
| -!- atgreen [~green@CPE687f74122463-CM00fc8d24cab0.cpe.net.cable.rogers.com] has quit [Quit: Leaving] | 06:06 | |
| matsjj | sipa, there are not really any downsides to all of these crypto op's, are there? is it just the lack of possible applications / lack of people implementing these? | 06:08 |
| -!- kang_ [67efe80a@gateway/web/freenode/ip.103.239.232.10] has joined #bitcoin-wizards | 06:08 | |
| gmaxwell | there are potential downsides, performance, verification costs (and dos attack vulnerabilties), forking from implementation disagreements, lost optimization possibilities, increased difficulty in running verification in a succinct ZKP, increased difficulty running script verification in embedded device (e.g. smart property). | 06:13 |
| gmaxwell | But they can have benefits too. | 06:13 |
| nsh | (parser differentials ain't nothin' to fork with) | 06:15 |
| nsh | (complexity requires assurances and justification just by default, especially so with consensus) | 06:16 |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 260 seconds] | 06:16 | |
| gmaxwell | matsjj: by insanely inefficient, that would be... minutes. scale. | 06:18 |
| matsjj | gmaxwell: I know, I was just playing around ;) | 06:19 |
| gmaxwell | oh good. whew. | 06:19 |
| matsjj | yea I guess there are lots of new attack vectors that are even difficult to think about when allowing generic crypto operations | 06:19 |
| gmaxwell | FWIW, with the earlier mentioned list; I'd just go ahead and publish it here now, -- the wave of altcoins hype promoting in that manner is gone, and I'm too busy now to care if they do -- but it's dated at this point and there are something in it that I'd rather not promote (now knowing much more powerful replacements :) ) | 06:20 |
| -!- tulip [~tulip@unaffiliated/tulip] has quit [] | 06:21 | |
| -!- eudoxia [~eudoxia@r167-57-94-253.dialup.adsl.anteldata.net.uy] has joined #bitcoin-wizards | 06:25 | |
| -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #bitcoin-wizards | 06:30 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has quit [Remote host closed the connection] | 06:32 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 06:47 | |
| -!- Quanttek [~quassel@ip1f11db5b.dynamic.kabel-deutschland.de] has joined #bitcoin-wizards | 06:47 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer] | 06:51 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 06:52 | |
| -!- Argus [~Argus@185.31.96.190] has joined #bitcoin-wizards | 06:59 | |
| -!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 06:59 | |
| -!- Piper-Off is now known as Monthrect | 07:12 | |
| -!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has quit [Quit: Leaving.] | 07:20 | |
| -!- zooko [~user@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:21 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 252 seconds] | 07:21 | |
| -!- Argus [~Argus@185.31.96.190] has quit [Quit: Leaving] | 07:22 | |
| -!- vdo [~vdo1138@unaffiliated/vdo] has joined #bitcoin-wizards | 07:22 | |
| -!- liteIRC_ [~zooko@2607:fb90:121:7e92:a2c4:3ddf:5dc9:dbf1] has joined #bitcoin-wizards | 07:32 | |
| -!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 07:32 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 07:32 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 07:33 | |
| -!- liteIRC__ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:33 | |
| -!- matsjj [~matsjj@89.197.31.78] has quit [Remote host closed the connection] | 07:34 | |
| -!- liteIRC___ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:35 | |
| -!- liteIRC__ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has quit [Read error: Connection reset by peer] | 07:35 | |
| -!- liteIRC_ [~zooko@2607:fb90:121:7e92:a2c4:3ddf:5dc9:dbf1] has quit [Ping timeout: 246 seconds] | 07:36 | |
| -!- liteIRC__ [~zooko@2607:fb90:124:9db8:1606:a88c:14ba:53ac] has joined #bitcoin-wizards | 07:36 | |
| -!- zooko is now known as zookolaptop | 07:36 | |
| -!- liteIRC__ is now known as zooko | 07:36 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has quit [Ping timeout: 250 seconds] | 07:37 | |
| -!- liteIRC___ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has quit [Read error: Connection reset by peer] | 07:37 | |
| -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Quit: Leaving.] | 07:37 | |
| -!- liteIRC_ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:37 | |
| -!- GGuyZ [~GGuyZ@dhcp-18-111-9-88.dyn.mit.edu] has joined #bitcoin-wizards | 07:40 | |
| -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #bitcoin-wizards | 07:40 | |
| -!- zooko [~zooko@2607:fb90:124:9db8:1606:a88c:14ba:53ac] has quit [Ping timeout: 246 seconds] | 07:40 | |
| -!- liteIRC_ is now known as zooko | 07:41 | |
| -!- liteIRC_ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:45 | |
| -!- zooko [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has quit [Read error: Connection reset by peer] | 07:45 | |
| -!- liteIRC_ is now known as zooko | 07:45 | |
| -!- GGuyZ_ [~GGuyZ@dhcp-18-111-48-9.dyn.mit.edu] has joined #bitcoin-wizards | 07:48 | |
| -!- liteIRC_ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:50 | |
| -!- zooko [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has quit [Read error: Connection reset by peer] | 07:50 | |
| -!- liteIRC_ is now known as zooko | 07:50 | |
| -!- GGuyZ [~GGuyZ@dhcp-18-111-9-88.dyn.mit.edu] has quit [Ping timeout: 272 seconds] | 07:51 | |
| -!- GGuyZ_ is now known as GGuyZ | 07:51 | |
| -!- liteIRC_ [~zooko@2607:fb90:122:ac7:b427:2f84:9cca:d0ba] has joined #bitcoin-wizards | 07:51 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 07:52 | |
| -!- GGuyZ_ [~GGuyZ@18.85.27.76] has joined #bitcoin-wizards | 07:53 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword] | 07:53 | |
| -!- nanasho [~nanasha25@89.204.137.118] has joined #bitcoin-wizards | 07:54 | |
| -!- nanasho [~nanasha25@89.204.137.118] has left #bitcoin-wizards [] | 07:55 | |
| -!- zooko [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has quit [Ping timeout: 276 seconds] | 07:55 | |
| -!- liteIRC_ is now known as zooko | 07:55 | |
| -!- GGuyZ [~GGuyZ@dhcp-18-111-48-9.dyn.mit.edu] has quit [Ping timeout: 240 seconds] | 07:56 | |
| -!- GGuyZ_ is now known as GGuyZ | 07:56 | |
| -!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has quit [Quit: Leaving.] | 08:00 | |
| -!- GGuyZ_ [~GGuyZ@guys-mbp.media.mit.edu] has joined #bitcoin-wizards | 08:04 | |
| -!- GGuyZ [~GGuyZ@18.85.27.76] has quit [Read error: Connection reset by peer] | 08:04 | |
| -!- GGuyZ_ is now known as GGuyZ | 08:04 | |
| -!- GGuyZ_ [~GGuyZ@guys-mbp.media.mit.edu] has joined #bitcoin-wizards | 08:06 | |
| -!- GGuyZ [~GGuyZ@guys-mbp.media.mit.edu] has quit [Read error: Connection reset by peer] | 08:06 | |
| -!- GGuyZ_ is now known as GGuyZ | 08:06 | |
| -!- GGuyZ [~GGuyZ@guys-mbp.media.mit.edu] has quit [Client Quit] | 08:06 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye] | 08:09 | |
| -!- Starduster [~guest@unaffiliated/starduster] has quit [Read error: Connection reset by peer] | 08:11 | |
| -!- Starduster [~guest@unaffiliated/starduster] has joined #bitcoin-wizards | 08:11 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has joined #bitcoin-wizards | 08:11 | |
| -!- zookolaptop [~user@c-73-217-16-2.hsd1.co.comcast.net] has quit [Ping timeout: 276 seconds] | 08:12 | |
| -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Quit: Leaving.] | 08:27 | |
| -!- zooko` [~user@172.56.9.96] has joined #bitcoin-wizards | 08:27 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 08:33 | |
| -!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards | 08:35 | |
| -!- zooko`` [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has joined #bitcoin-wizards | 08:36 | |
| -!- zooko` [~user@172.56.9.96] has quit [Ping timeout: 260 seconds] | 08:38 | |
| -!- zooko [~zooko@2607:fb90:122:ac7:b427:2f84:9cca:d0ba] has quit [Ping timeout: 272 seconds] | 08:39 | |
| -!- liteIRC_ is now known as zooko | 08:39 | |
| -!- CoinMuncher [~jannes@178.132.211.90] has quit [Quit: Leaving.] | 08:40 | |
| MRL-Relay | [tacotime] aj: you can see ethereum implementing elliptical curve crypto here: https://github.com/ethereum/serpent/blob/develop/examples/ecc/ringsig.se | 08:40 |
| MRL-Relay | [tacotime] but it ends up being computationally crazy in the example | 08:40 |
| MRL-Relay | [tacotime] vitalik even discusses offshoring some of the computation to precompiled code in the discussion thread | 08:42 |
| MRL-Relay | [tacotime] https://www.reddit.com/r/ethereum/comments/3tappe/early_alpha_monerolike_linkable_ring_signatures/ | 08:42 |
| MRL-Relay | [tacotime] but the whole thing is really iffy | 08:42 |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 08:45 | |
| instagibbs | I was wondering how gas is treated wrt this kind of stuff. Looks like discussion of that on the reddit thread | 08:50 |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Ping timeout: 265 seconds] | 08:50 | |
| instagibbs | sounds like never-ending re-parameterization | 08:53 |
| -!- Quanttek [~quassel@ip1f11db5b.dynamic.kabel-deutschland.de] has quit [Read error: Connection reset by peer] | 08:57 | |
| -!- Lightsword [~Lightswor@104.194.101.3] has joined #bitcoin-wizards | 08:57 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 08:59 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Read error: Connection reset by peer] | 09:00 | |
| -!- zooko`` [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has quit [Ping timeout: 240 seconds] | 09:04 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 09:08 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 09:09 | |
| -!- liteIRC_ [~zooko@2607:fb90:12c:6473:901b:99dc:7614:fa30] has joined #bitcoin-wizards | 09:12 | |
| -!- zooko [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has quit [Ping timeout: 246 seconds] | 09:14 | |
| -!- liteIRC_ is now known as zooko | 09:14 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has quit [Quit: Leaving...] | 09:15 | |
| -!- Quanttek [~quassel@ip1f11db5b.dynamic.kabel-deutschland.de] has joined #bitcoin-wizards | 09:16 | |
| -!- kwonbie [~me@30-93-133.dynamic.csail.mit.edu] has joined #bitcoin-wizards | 09:17 | |
| -!- the`doctor [~the`docto@static-108-47-15-123.lsanca.fios.verizon.net] has joined #bitcoin-wizards | 09:25 | |
| -!- skyraider [uid41097@gateway/web/irccloud.com/x-eqjuuaqhsudjecwx] has joined #bitcoin-wizards | 09:27 | |
| -!- the`doctor [~the`docto@static-108-47-15-123.lsanca.fios.verizon.net] has quit [Client Quit] | 09:28 | |
| -!- trippysalmon [rob@2001:984:6466:0:a0d3:d9b8:fab7:bab3] has joined #bitcoin-wizards | 09:30 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 09:33 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has quit [Ping timeout: 272 seconds] | 09:40 | |
| -!- JackH [~Jack@host-80-43-142-236.as13285.net] has quit [Ping timeout: 244 seconds] | 09:41 | |
| -!- Monthrect is now known as Piper-Off | 09:44 | |
| -!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 246 seconds] | 09:50 | |
| -!- kwonbie [~me@30-93-133.dynamic.csail.mit.edu] has quit [Quit: leaving] | 09:50 | |
| -!- matsjj [~matsjj@81.128.173.188] has joined #bitcoin-wizards | 09:55 | |
| -!- kang_ [67efe80a@gateway/web/freenode/ip.103.239.232.10] has quit [Quit: Page closed] | 09:59 | |
| -!- Piper-Off is now known as Monthrect | 10:07 | |
| -!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards | 10:23 | |
| -!- zooko [~zooko@2607:fb90:12c:6473:901b:99dc:7614:fa30] has quit [Ping timeout: 240 seconds] | 10:26 | |
| -!- liteIRC_ is now known as zooko | 10:26 | |
| -!- liteIRC_ [~zooko@2607:fb90:123:f95f:d6d7:9d5f:5105:524f] has joined #bitcoin-wizards | 10:27 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye] | 10:28 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds] | 10:28 | |
| -!- pozitron [~nu@104.238.169.86] has quit [Ping timeout: 264 seconds] | 10:28 | |
| -!- Prattler [~ttttt@78-60-12-33.static.zebra.lt] has quit [Remote host closed the connection] | 10:30 | |
| -!- zooko [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has quit [Ping timeout: 272 seconds] | 10:32 | |
| -!- liteIRC_ is now known as zooko | 10:32 | |
| -!- Yoghur114 [~jorn@g227014.upc-g.chello.nl] has joined #bitcoin-wizards | 10:34 | |
| -!- matsjj [~matsjj@81.128.173.188] has quit [Remote host closed the connection] | 10:38 | |
| -!- the`doctor [~the`docto@static-108-47-15-123.lsanca.fios.verizon.net] has joined #bitcoin-wizards | 10:50 | |
| -!- the`doctor [~the`docto@static-108-47-15-123.lsanca.fios.verizon.net] has quit [Changing host] | 10:53 | |
| -!- the`doctor [~the`docto@unaffiliated/thedoctor/x-1964342] has joined #bitcoin-wizards | 10:53 | |
| -!- liteIRC_ [~zooko@72.42.70.227] has joined #bitcoin-wizards | 10:57 | |
| -!- zooko` [~user@72.42.70.227] has joined #bitcoin-wizards | 10:59 | |
| -!- zooko [~zooko@2607:fb90:123:f95f:d6d7:9d5f:5105:524f] has quit [Ping timeout: 240 seconds] | 11:00 | |
| -!- liteIRC_ is now known as zooko | 11:00 | |
| -!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards | 11:03 | |
| -!- priidu [~priidu@unaffiliated/priidu] has quit [Max SendQ exceeded] | 11:03 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards | 11:04 | |
| -!- matsjj [~matsjj@81.128.173.188] has joined #bitcoin-wizards | 11:08 | |
| -!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards | 11:08 | |
| -!- nwilcox|afk is now known as nwilcox | 11:09 | |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards | 11:14 | |
| -!- zooko` is now known as zookolaptop | 11:14 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 11:15 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Remote host closed the connection] | 11:22 | |
| -!- matsjj [~matsjj@81.128.173.188] has quit [Remote host closed the connection] | 11:24 | |
| -!- Lightsword [~Lightswor@104.194.101.3] has quit [Quit: Lightsword] | 11:30 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 11:32 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 260 seconds] | 11:34 | |
| -!- justice_ [~textual@HSI-KBW-37-209-26-147.hsi15.kabel-badenwuerttemberg.de] has joined #bitcoin-wizards | 11:36 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards | 11:39 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards | 11:41 | |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] | 11:44 | |
| -!- justice_ [~textual@HSI-KBW-37-209-26-147.hsi15.kabel-badenwuerttemberg.de] has quit [Quit: Textual IRC Client: www.textualapp.com] | 11:48 | |
| -!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards | 11:49 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has joined #bitcoin-wizards | 11:50 | |
| -!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has quit [Remote host closed the connection] | 11:59 | |
| -!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has quit [Quit: This computer has gone to sleep] | 12:07 | |
| -!- snthsnth [~snthsnth@206.110.20.18] has joined #bitcoin-wizards | 12:12 | |
| -!- orik [~orik@75.149.169.53] has joined #bitcoin-wizards | 12:18 | |
| bsm1175321 | Does anyone know a zero knowledge algorithm for proving PoW? i.e. a ZKP that I know x satisfying hash(x) < t, without revealing x or hash(x)? | 12:19 |
| zookolaptop | zk-SNARKs! | 12:20 |
| zookolaptop | That's my answer to everything. | 12:20 |
| * nsh smiles | 12:20 | |
| bsm1175321 | which comes down to proving an inequality. | 12:20 |
| zookolaptop | That, and keto diet, and listening to econtalk. | 12:20 |
| -!- snthsnth [~snthsnth@206.110.20.18] has quit [Ping timeout: 276 seconds] | 12:20 | |
| nsh | so i think you can prove that now with snarkfront, bsm1175321 | 12:20 |
| nsh | https://github.com/jancarlsson/snarkfront | 12:20 |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards | 12:20 | |
| bsm1175321 | Interesting. Now can I prove that I know many n x_i satisfying the PoW compactly? ;-) | 12:22 |
| zookolaptop | You can do *anything* with zk-SNARKs. | 12:25 |
| zookolaptop | (for sufficiently small definitions of anything.) | 12:25 |
| * bsm1175321 now wonders what zooko is an acronym for. | 12:26 | |
| bsm1175321 | I hope we get a talk about zk-snarks at scaling bitcoin... | 12:27 |
| jcorgan | Zero Observed Orthogonal Knowledge Output? :-) | 12:28 |
| jcorgan | sorry, i'll go back to lurking | 12:29 |
| zookolaptop | bsm117532: yes! There is one talk about zk-SNARKs lined up for Scaling Bitcoin, from Madars Virza of the Zcash team. | 12:32 |
| zookolaptop | And, Madars and I were brainstorming about what aspects of zk-SNARKs would be | 12:32 |
| zookolaptop | most interesting to the audience. | 12:32 |
| zookolaptop | So if and only if you are going to be in the audience at Scaling Bitcoin, Hong Kong, please | 12:32 |
| zookolaptop | speak up about what zk-SNARKy topic would keep you most interested. | 12:33 |
| bsm1175321 | Right now I'm trying to figure out how to "aggregate" a set of blocks from miners. I want to prove that I know the PoW's, but also somehow prove that I haven't omitted their payout addresses. And I want the proof to not scale with the number of miners... | 12:34 |
| bsm1175321 | Looking forward to Madars' talk. ;-) | 12:34 |
| bsm1175321 | Frankly ZKP's and zk-Snarks are on my reading list and I've done some reading about Yao's garbled circuits, but I've got a long way to go. Moon math wizardry, it is. | 12:35 |
| instagibbs | Frankly I might want to hear interesting things that snarks *can't* do. It might help build conceptual boundaries on this witchraft | 12:35 |
| bsm1175321 | +1 instagibbs | 12:36 |
| alan_ | ... encryption ... | 12:36 |
| instagibbs | but ofc Zooko said only audience members... | 12:36 |
| bsm1175321 | If anyone in NYC wants to lead a discussion on the topic, we'll host it an provide pizza & beer. | 12:37 |
| * instagibbs sulking bc can't go | 12:37 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has joined #bitcoin-wizards | 12:38 | |
| zookolaptop | Actually, I definitely want to hear the opinions of non-HK-audience members, | 12:38 |
| zookolaptop | but if you *are* an HK-audience-member could you tag your opinion as such? | 12:38 |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Remote host closed the connection] | 12:39 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards | 12:40 | |
| jcorgan | "what can you do with zk-SNARKS that would be impossible (not just slower/harder) without them?" | 12:40 |
| -!- roxtrongo [~roxtrongo@190-22-175-5.baf.movistar.cl] has joined #bitcoin-wizards | 12:42 | |
| jcorgan | that would help justify the use cases that are worth the extra complexity they bring | 12:42 |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Read error: No route to host] | 12:42 | |
| kanzure | zookolaptop: i don't think that's a fair restriction (audience) (some people are online) | 12:42 |
| bsm1175321 | It will be streamed too | 12:42 |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards | 12:42 | |
| -!- roxtrong_ [~roxtrongo@190-22-175-5.baf.movistar.cl] has joined #bitcoin-wizards | 12:42 | |
| zookolaptop | Yeah, I'm sorry I phrased it as a restriction. | 12:43 |
| zookolaptop | I'm just *especially* interested in what audience members would find most compelling. | 12:43 |
| kanzure | zookolaptop: libsnark implementation details would be a good thing to talk about | 12:43 |
| kanzure | trustless setup without mpc would be nice, but i know you're not santa (yet) | 12:43 |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Remote host closed the connection] | 12:43 | |
| bsm1175321 | In the back of my mind I've got a ton of questions about how to use that stuff for identity. | 12:43 |
| kanzure | zookolaptop: generally, avoid introductory stuff that has been mentioned in prior presentations | 12:44 |
| -!- c-cex-yuriy [uid76808@gateway/web/irccloud.com/x-kkrjcjcacammxior] has quit [Quit: Connection closed for inactivity] | 12:45 | |
| -!- roxtrongo [~roxtrongo@190-22-175-5.baf.movistar.cl] has quit [Ping timeout: 244 seconds] | 12:46 | |
| zookolaptop | relaying these ideas to Madars... | 12:47 |
| kanzure | he's in here | 12:47 |
| zookolaptop | \o/ | 12:47 |
| kanzure | if you run out of ideas, you could elaborate on or dismiss the ideas starting from page 43 of http://diyhpl.us/~bryan/irc/bitcoin/scalingbitcoin-review.pdf | 12:47 |
| zookolaptop | Relaying to all the other Zcashers then. :-) | 12:47 |
| -!- deego [~user@unaffiliated/deego] has joined #bitcoin-wizards | 12:48 | |
| bsm1175321 | oooh...validated history replacements. | 12:49 |
| -!- zookolaptop [~user@72.42.70.227] has quit [Remote host closed the connection] | 12:52 | |
| -!- zookolaptop [~user@72.42.70.227] has joined #bitcoin-wizards | 12:53 | |
| nwilcox | jcorgan: Your proposed topic of "what can you do with snarks but nothing else" would be excellent (for me). | 12:54 |
| -!- deego [~user@unaffiliated/deego] has left #bitcoin-wizards ["ty"] | 12:56 | |
| -!- LeMiner [LeMiner@unaffiliated/leminer] has quit [Ping timeout: 246 seconds] | 13:00 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards | 13:03 | |
| -!- simba [~simba@rrcs-50-74-98-28.nyc.biz.rr.com] has joined #bitcoin-wizards | 13:03 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword] | 13:03 | |
| -!- psztorc_ [~psztorc@2607:fb90:e6e:af60:ba4a:4253:da1d:4d7] has joined #bitcoin-wizards | 13:06 | |
| -!- zookolaptop [~user@72.42.70.227] has quit [Ping timeout: 255 seconds] | 13:06 | |
| -!- LeMiner [~LeMiner@unaffiliated/leminer] has joined #bitcoin-wizards | 13:07 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 240 seconds] | 13:07 | |
| -!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has quit [Ping timeout: 244 seconds] | 13:08 | |
| -!- liteIRC_ [~zooko@2607:fb90:121:74ae:847:3653:ca91:b13a] has joined #bitcoin-wizards | 13:09 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards | 13:12 | |
| -!- zooko [~zooko@72.42.70.227] has quit [Ping timeout: 260 seconds] | 13:13 | |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] | 13:13 | |
| -!- liteIRC_ is now known as zooko | 13:13 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has quit [Ping timeout: 252 seconds] | 13:18 | |
| -!- trippysalmon [rob@2001:984:6466:0:a0d3:d9b8:fab7:bab3] has quit [Ping timeout: 250 seconds] | 13:19 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards | 13:20 | |
| -!- nwilcox is now known as nwilcox|afk | 13:21 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards | 13:22 | |
| -!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards | 13:24 | |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards | 13:24 | |
| -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Client Quit] | 13:24 | |
| -!- zooko [~zooko@2607:fb90:121:74ae:847:3653:ca91:b13a] has quit [Ping timeout: 246 seconds] | 13:26 | |
| -!- zooko [~zooko@2607:fb90:12b:f59b:eec5:fa2b:7ccb:c087] has joined #bitcoin-wizards | 13:26 | |
| -!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has quit [Ping timeout: 240 seconds] | 13:28 | |
| -!- simba [~simba@rrcs-50-74-98-28.nyc.biz.rr.com] has quit [Remote host closed the connection] | 13:29 | |
| -!- snthsnth [~snthsnth@206.110.20.18] has joined #bitcoin-wizards | 13:32 | |
| -!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards | 13:34 | |
| -!- zooko [~zooko@2607:fb90:12b:f59b:eec5:fa2b:7ccb:c087] has quit [Ping timeout: 272 seconds] | 13:37 | |
| -!- liteIRC_ is now known as zooko | 13:37 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 260 seconds] | 13:42 | |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has joined #bitcoin-wizards | 13:43 | |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has quit [Ping timeout: 264 seconds] | 13:48 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has joined #bitcoin-wizards | 13:49 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 13:49 | |
| -!- zookolaptop [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has joined #bitcoin-wizards | 13:54 | |
| -!- Jeremy_Rand [~jeremy@172.56.15.47] has joined #bitcoin-wizards | 13:56 | |
| -!- orik [~orik@75.149.169.53] has quit [Quit: Textual IRC Client: www.textualapp.com] | 13:58 | |
| -!- snthsnth [~snthsnth@206.110.20.18] has quit [Ping timeout: 265 seconds] | 13:59 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 260 seconds] | 14:00 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 14:00 | |
| -!- snthsnth [~snthsnth@206.110.20.18] has joined #bitcoin-wizards | 14:07 | |
| -!- c-cex-finch [uid120855@gateway/web/irccloud.com/x-xugckwrrzahcdupx] has quit [Quit: Connection closed for inactivity] | 14:12 | |
| -!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has joined #bitcoin-wizards | 14:12 | |
| -!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Remote host closed the connection] | 14:15 | |
| -!- psztorc_ [~psztorc@2607:fb90:e6e:af60:ba4a:4253:da1d:4d7] has quit [Ping timeout: 240 seconds] | 14:15 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)] | 14:15 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer] | 14:20 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 14:21 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 14:30 | |
| -!- eudoxia [~eudoxia@r167-57-94-253.dialup.adsl.anteldata.net.uy] has quit [Quit: Leaving] | 14:31 | |
| -!- davec [~davec@cpe-24-243-251-52.hot.res.rr.com] has quit [Read error: Connection reset by peer] | 14:35 | |
| -!- JackH [~Jack@host-80-43-142-236.as13285.net] has joined #bitcoin-wizards | 14:35 | |
| -!- davec [~davec@cpe-24-243-251-52.hot.res.rr.com] has joined #bitcoin-wizards | 14:36 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword] | 14:39 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has joined #bitcoin-wizards | 14:46 | |
| -!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards | 14:48 | |
| -!- roxtrong_ [~roxtrongo@190-22-175-5.baf.movistar.cl] has quit [] | 14:48 | |
| -!- PaulCape_ [~PaulCapes@204.28.124.82] has quit [Quit: .] | 14:48 | |
| -!- wilbns [sid105317@gateway/web/irccloud.com/x-fajdmxijkldylxaj] has quit [Ping timeout: 255 seconds] | 14:49 | |
| -!- ibrightly [sid113387@gateway/web/irccloud.com/x-mfdasfwlprvvvswz] has quit [Ping timeout: 250 seconds] | 14:49 | |
| -!- PaulCapestany [~PaulCapes@204.28.124.82] has joined #bitcoin-wizards | 14:49 | |
| -!- zmanian_ [sid113594@gateway/web/irccloud.com/x-jcpcgdmbossuwhfs] has quit [Ping timeout: 250 seconds] | 14:49 | |
| -!- alexkuck [sid117875@gateway/web/irccloud.com/x-oyyhyvutwtdtkhpp] has quit [Ping timeout: 264 seconds] | 14:49 | |
| -!- bitkarma [sid124593@gateway/web/irccloud.com/x-bgjfihwyxvdqznrq] has quit [Ping timeout: 250 seconds] | 14:50 | |
| -!- btcdrak [uid115429@gateway/web/irccloud.com/x-oxmyfwfrtctnavdc] has quit [Ping timeout: 272 seconds] | 14:50 | |
| -!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has quit [Ping timeout: 255 seconds] | 14:50 | |
| -!- bramc [~bram@38.99.42.130] has joined #bitcoin-wizards | 15:03 | |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has joined #bitcoin-wizards | 15:03 | |
| -!- snthsnth [~snthsnth@206.110.20.18] has quit [Ping timeout: 276 seconds] | 15:04 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 276 seconds] | 15:05 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 15:05 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has quit [Quit: Leaving...] | 15:07 | |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has quit [Ping timeout: 272 seconds] | 15:09 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has quit [Quit: Newyorkadam] | 15:15 | |
| -!- wilbns [sid105317@gateway/web/irccloud.com/x-peuwbuigwxymyigo] has joined #bitcoin-wizards | 15:15 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye] | 15:21 | |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has joined #bitcoin-wizards | 15:23 | |
| -!- ibrightly [sid113387@gateway/web/irccloud.com/x-ohpqyihqxkntnlku] has joined #bitcoin-wizards | 15:23 | |
| -!- zmanian_ [sid113594@gateway/web/irccloud.com/x-trszzgfujeczpftq] has joined #bitcoin-wizards | 15:24 | |
| -!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 15:26 | |
| -!- damethos [~damethos@unaffiliated/damethos] has quit [Client Quit] | 15:26 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving] | 15:26 | |
| -!- btcdrak [uid115429@gateway/web/irccloud.com/x-dtfjcmuakyyewnki] has joined #bitcoin-wizards | 15:26 | |
| -!- alexkuck [sid117875@gateway/web/irccloud.com/x-fyvmemerpeeyvvqm] has joined #bitcoin-wizards | 15:30 | |
| -!- JackH [~Jack@host-80-43-142-236.as13285.net] has quit [Ping timeout: 240 seconds] | 15:42 | |
| bramc | Dumb question: Couldn't you do proofs of time using snarks? I mean, couldn't you generate a proof that you'd added 1 to X Y times? | 15:44 |
| tromp__ | seems to me that snarks apply to any circuit, even one that does a trivial computation in a grossly ineffiecient way | 15:48 |
| kanzure | time seems like one of those things that would be difficult to make proofs about? | 15:49 |
| gmaxwell | bramc: I would be really careful with that. A snark shows (under certian assumptions) that the statement is true, not that you did the work. For certian kinds of of very regular circuits, I wouldn't be shocked if there turned out to be shortcuts. | 15:50 |
| kanzure | as far as i know, time itself is external to a circuit's definition | 15:50 |
| gmaxwell | he doesn't really mean time, he means sequential computation, and he's making assumption that we can't make sequential computation faster than some threshold. | 15:51 |
| bramc | gmaxwell, Could be, but the best proofs of time I know of are workable but truly awful: repeated hashing with checkpoints along the way. All they to is make it possible to parallelize checking | 15:51 |
| bramc | Yeah I say 'time' because 'proof of sequential computation' is a real mouthful | 15:52 |
| sipa | posc? | 15:52 |
| kanzure | no more acronyms | 15:52 |
| kanzure | all of them are taken | 15:52 |
| sipa | NMA | 15:52 |
| tromp__ | the question is whether snark proof construction is necessarily sequential in the circuit depth | 15:53 |
| kanzure | snark prover performance is talked at great lengths here http://diyhpl.us/wiki/transcripts/simons-institute/a-wishlist-for-verifiable-computation/ | 15:54 |
| gmaxwell | most of the work in the proof construction itself is embarassingly parallel. | 15:54 |
| kanzure | *current snark prover performance | 15:54 |
| bramc | Also whether its output is truly canonical. I think it is but don't know the underyling machinery well enough to know. | 15:54 |
| kanzure | *somewhat recent.. | 15:54 |
| gmaxwell | bramc: the ggpr12 like snarks are inherently perfectly malleable; in general malleability is often a consequence of zero knoweldge. | 15:55 |
| bramc | kanzure, Talking about 'performance' here is a little weird. I don't care about whether performance is good, bad, or whatever, I just care that it's known and has to be sequential. | 15:55 |
| bramc | gmaxwell, Argh well that kills in right there | 15:55 |
| bramc | Unrelatedly, I realized the other day that I've done more thinking about what bitcoin's peer protocol than I realized, because I've spent some time thinking about the much harder problem of a peer protocol for a blockchain which peers spot check and can invalidate. | 15:57 |
| bramc | Now I just need to read up on how Bitcoin's peer protocol actually works and then I can compare. | 15:57 |
| kanzure | invalidate with fraud proofs? | 15:57 |
| bramc | kanzure, Invalidate in an embarrassingly trivial way: Time proof X is invalid at position Y | 15:59 |
| sipa | bramc: well bitcoin has no invalidity proofs at all; nodes either verify all rules (which needs the UTXO set), or just the proof of work | 16:00 |
| bramc | Because it's all canonical, if somebody has a valid time proof they can trivially compare to an invalid time proof and find out where the wrong one is wrong, and tell their peers about it, which then can do a computation very quickly to verify what position Y is supposed to be | 16:00 |
| -!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword] | 16:00 | |
| -!- zooko [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has quit [Ping timeout: 246 seconds] | 16:00 | |
| bramc | sipa, Right, without the awful proofs of time everything is a lot simpler, the only 'invalidation' is 'I have a longer blockchain' | 16:01 |
| -!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has quit [Quit: Leaving.] | 16:02 | |
| bramc | So it seems like the state machine between peers should be that we declare to each other what our current block height and work factor are, and what the top block is, and if yours beats mine then I download from you and if it validates I update. If we have the same work factor no transfers happen until somebody adds more. | 16:05 |
| -!- Monthrect is now known as Piper-Off | 16:06 | |
| sipa | bramc: that's the only invalidation to a lightweight node (which only verifies proof of work), full nodes have many more rules (their accepted blockchain is the longest _valid_ chain, not just longest chain), and all those rules need invalidity proofs | 16:06 |
| kanzure | and cumulative work weight | 16:07 |
| sipa | (longest is defined as most cumulative weight) | 16:07 |
| bramc | I said 'work factor' instead of 'cumulative work weight' because I didn't know the standard term | 16:07 |
| sipa | bitcoin keeps track of 'total expected double-SHA256 hashes in the chain' | 16:08 |
| bramc | sipa, of course a full node validates everything while downloading it. I don't see what proofs of invalidation could get you though, because you always have the form of invalidity of 'this hash doesn't actually point anywhere' | 16:09 |
| bramc | sipa, what do you mean by 'double-SHA256 hash in the chain'? | 16:09 |
| sipa | bramc: the expected number of hashes for a block is 2^256 divided by the target hash value it was required to beat | 16:10 |
| sipa | the sum of those values for all blocks in the chain is maintained | 16:10 |
| sipa | it's around 1.5 * 10^25 currently | 16:10 |
| -!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 16:12 | |
| sipa | bramc: you can envision a trust model for a node which only accepts blocks which have 1) all hashes pointing to data resolved 2) pass a small random subset of full validation rules and 3) doesn't hear about an invalidity proof for any failed validation | 16:12 |
| bramc | sipa, What's wrong with doing a full validation? | 16:13 |
| sipa | bramc: it's costly | 16:13 |
| bramc | How is it costly? | 16:13 |
| sipa | you need the full UTXO set | 16:13 |
| sipa | you need to ECDSA validations for signatures | 16:13 |
| sipa | for convergence, nodes not only need to just do this, but also do it reasonably fast | 16:14 |
| bramc | So it's the running through and maintaining of the full UTXO set which is the real problem? | 16:14 |
| gmaxwell | It's also brittle; if you can't keep up you're forced to not validate; hello evaporative cooling. | 16:14 |
| bramc | I suppose all those ecdsa signatures could get expensive, but shouldn't it be possible to verify any number of valid schnorr signatures all at once? | 16:14 |
| sipa | bramc: the speedup factor for batch schnorr validation is somewhere between 2 and 4 | 16:15 |
| bramc | Oh, hmm, that's good but less than I hoped | 16:15 |
| sipa | batches require a very significant amount of work to "preprocess" into a single verification | 16:15 |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 16:15 | |
| -!- tripleslash_x [~triplesla@unaffiliated/imsaguy] has quit [Remote host closed the connection] | 16:36 | |
| kanzure | 16:33 <~mlp> the one proof of time that I know is possible to do is rivest-shamir-wagner timelock puzzles, which are basically "have an integer i, have a prime p, have a nonce n, square i n times in a finite field mod p" and don't require snarks at all | 16:36 |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer] | 16:37 | |
| bsm117532 | bramc: proof of work IS a proof of time. Any algorithm allows time to be sped up and slowed down by computing faster or slower. So your only option is to compute as fast as possible. | 16:37 |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 16:38 | |
| -!- tripleslash [~triplesla@unaffiliated/imsaguy] has joined #bitcoin-wizards | 16:38 | |
| nsh | it's not that simple | 16:38 |
| nsh | PoW can be time experienced in parallel | 16:38 |
| nsh | but proven in sum | 16:38 |
| -!- bitkarma [sid124593@gateway/web/irccloud.com/x-kogkccgoampqwqja] has joined #bitcoin-wizards | 16:40 | |
| bsm117532 | nsh: A trivial non-parallelizable pow algorithm is hash composition: hash(hash(hash(...))) | 16:42 |
| bsm117532 | Everything turns into proof of work with enough examination... | 16:42 |
| bsm117532 | nsh: "trusted timestamp servers" can be implemented in such a way, for example, if no one knows your algorithm or sequence nonces you're throwing in. But if anyone does, it turns back into PoW because the next hash can be computed early by an attacker with enough computing power. | 16:45 |
| * nsh nods | 16:45 | |
| * bsm117532 goes back to his work on emergent time from hypercomplex analysis... | 16:47 | |
| nsh | the problem, for me, is that it's very nontrivial indeed to reason about what is proven about the expenditure of work vs. the experience of duration vs. the locality and ontogeny of state | 16:48 |
| bramc | kanzure, I'm familiar with timelock puzzles, and even independently reinvented them many years ago, but they're unfortunately a different thing. They allow you to make a puzzle which somebody else can open in a set amount of time, that's different from a puzzle which applies to an arbitrary input which requires a set amount of time for anybody to do it and which can be quickly verified. | 16:48 |
| nsh | you can make new 'nowness' by computing one-way functions of existing state with - as you say, potentially secret, or at least ephemeral - nonces | 16:49 |
| bramc | nsh, I have a larger system worked out which answers those questions. The system ain't simple though. | 16:49 |
| * bsm117532 is suspicous of the word "ontogeny". I have to google it every time. | 16:49 | |
| nsh | coming into being | 16:50 |
| nsh | how worked out, bramc? any notes? | 16:51 |
| bsm117532 | bramc: The only way to invent such a thing is to have an unpredictable and global source of state that all can observe. No such state exists. In fact quantum mechanics guarantees it doesn't exist. | 16:52 |
| -!- moa [~kiwigb@opentransactions/dev/moa] has joined #bitcoin-wizards | 16:53 | |
| bramc | bsm117532 Unfortunately sequential hashing is about the best canonical proof of time we have. It has the awful property of requiring just as much time and work to verify as to make. You can throw in intermediary values to make it possible to verify in parallel, and make it so that after each checkpoint the next step starts with hashing everything up to that point, which makes it so that spot checking is effective, but it's still awful. | 16:53 |
| nsh | well, that's how bitcoin works... the mempools seeds the now-state to which nodes synchronise as blocktime | 16:53 |
| nsh | *mempool | 16:53 |
| nsh | *at | 16:53 |
| bsm117532 | bramc: Yep. Well that's my contribution to the conversation. It's awful. But the only way I know. | 16:54 |
| bramc | nsh, Unfortunately it's still mostly in my head although I've explained it to a few people. The idea is to use proofs of time to fix some of the deeper problems with proofs of space systems | 16:54 |
| * nsh nods | 16:55 | |
| bsm117532 | bramc: I don't understand how your argument makes it parallel. It's still sequential, with a different starting point. | 16:56 |
| bramc | nsh, The quick summary is that each block instead of being a single proof of space is a proof of space followed by a proof of time, where the length of the proof of time is inversely proportional to the quality of the proof of space. | 16:56 |
| bramc | If I want to verify that h100 results eventually from h1, but happen to have h10 h20 h30 etc. Then I can start each of ten processors at one of them and repeatedly hash them all ten times and I've verified that the full h100 | 16:57 |
| nsh | hmm | 16:58 |
| nsh | what's the quality of PoSpace? | 16:58 |
| bramc | nsh, This trick obliterates the problem of re-mining since genesis, and has some other benefits as well. Unfortunately it makes the whole thing into a bit of a rube goldberg contraption, especially with the new trick I came up with the other day. | 16:59 |
| bsm117532 | bramc: Ok interesting, a direct trade of time for space. | 16:59 |
| bsm117532 | time/n, space*n | 16:59 |
| bramc | A proof of space is something which involves (1) do a precalculation which fills out O(n) space, (2) do a calculation on that space which involves almost no time but which shows that you either had that calculation filled out already or ground it out in the process of making the proof | 17:01 |
| -!- TBI [~TBI@20.84-48-195.nextgentel.com] has joined #bitcoin-wizards | 17:01 | |
| bsm117532 | Yeah I see why verification is a bitch. | 17:01 |
| bsm117532 | What was wrong with the paper gmaxwell posted the other day about it? | 17:02 |
| bramc | bsm117532 exactly. If you add in that each one starts by hashing together all the intermediary values which lead up to it then you can spot check secure that if somebody simply lies about fraction x of the intermediary values to skip computation then your chances of busting them are at least x for each one you check | 17:02 |
| bramc | bsm117532 I'm not sure what paper you're referring to, but a property I critically need is for the proofs to be canonical | 17:03 |
| -!- TBI_ [~TBI@84.48.195.20] has quit [Ping timeout: 264 seconds] | 17:03 | |
| bsm117532 | spacemint. Sorry it was amiller | 17:04 |
| -!- belcher [~user@unaffiliated/belcher] has joined #bitcoin-wizards | 17:05 | |
| -!- jtimon_ [~quassel@74.29.134.37.dynamic.jazztel.es] has quit [Ping timeout: 276 seconds] | 17:15 | |
| bramc | bsm117532 Yes that uses the best known proofs of space. I need to trudge through it. | 17:16 |
| -!- Jeremy_Rand [~jeremy@172.56.15.47] has quit [Ping timeout: 252 seconds] | 17:17 | |
| -!- Giszmo [~leo@pc-36-133-241-201.cm.vtr.net] has quit [Quit: Leaving.] | 17:27 | |
| bsm117532 | The best known proofs of space are yo momma so fat jokes. | 17:46 |
| bsm117532 | (sorry, it's Friday night -- have a good weekend everyone!) | 17:46 |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has quit [Ping timeout: 246 seconds] | 17:46 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has joined #bitcoin-wizards | 17:47 | |
| -!- rustyn_ [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 17:47 | |
| sipa | it's saturday morning, you insensitive clod | 17:49 |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Ping timeout: 255 seconds] | 17:51 | |
| -!- Quanttek [~quassel@ip1f11db5b.dynamic.kabel-deutschland.de] has quit [Ping timeout: 260 seconds] | 17:51 | |
| -!- AaronvanW [~ewout@unaffiliated/aaronvanw] has quit [Ping timeout: 246 seconds] | 17:52 | |
| gmaxwell | someone should make a website that shows the times when it is, in fact, not happy hour anywhere. | 17:52 |
| kanzure | do leap seconds count? *ducks* | 17:54 |
| gmaxwell | damn leap seconds. | 17:54 |
| -!- AaronvanW [~ewout@unaffiliated/aaronvanw] has joined #bitcoin-wizards | 17:55 | |
| gmaxwell | ITU's politically driven stupidity there makes me want to personally go replace UTC. oh well. | 17:55 |
| kanzure | time is a silly concept anyway | 17:56 |
| -!- bramc [~bram@38.99.42.130] has quit [Quit: This computer has gone to sleep] | 17:59 | |
| belcher | why are leap seconds political ? | 18:01 |
| gmaxwell | belcher: because they're what keep the UTC noon fixed over a particular geography. :( | 18:02 |
| gmaxwell | being the definition of time is a point of pride. | 18:02 |
| -!- p15_ [~p15@58.91.145.64.client.static.strong-tk2.bringover.net] has quit [Ping timeout: 260 seconds] | 18:03 | |
| belcher | is that bad/wrong ? dont leap years keep the months fixed with the seasons | 18:03 |
| gmaxwell | and the process of measuring the mean solar data from astronomical observations to produce the corrections involves many people (though presumably that work would still continue, but it would become less important) | 18:03 |
| gmaxwell | belcher: the definition of the lenght of a day (or, if you want, the second) is somewhat wrong and even if weren't the earth's rotation is slowing due to tidal drag and other forces. | 18:04 |
| gmaxwell | Without leap seconds, after about 4000 years the timezones will have slipped by an hour. | 18:04 |
| belcher | yep, one day because of tidal forces the day will last one month | 18:07 |
| gmaxwell | What I, and many others think we should do is stop the leap seconds, and if in 2000 years anyone still cares at all about civil time aligning with the sun, then we can all adjust timezones by 1 hour. A long planned timezone change every 2000 years is a lot less disruptive than unpreditable potentially twice a year tweaks. (esp since you could opt infrastructure that doesn't care about solar time | 18:07 |
| gmaxwell | out of that change just by having it use straight UTC as its timezone) | 18:07 |
| belcher | so in that case shouldnt the day be defined as 28*24*60*60 seconds? if people are alive then it will be their day | 18:07 |
| belcher | ok so the unpredictability is an issue? i can see that, its not like the julian/gregorian calender split which is predictable | 18:08 |
| gmaxwell | the alternative of continuing the leap seconds is causing continual failures of computer systems which are getting worse over time as systems become more picky about time sync. | 18:08 |
| gmaxwell | belcher: yea, there have been two internet wide false leap second events in the last couple years, and when they happen many other systems miss them. There is no secure way to handle them, and lots of systems just fail due to inadequate testing. | 18:09 |
| sipa | how long in advance are leap seconds decided? | 18:09 |
| gmaxwell | Many network operators just reboot equipment across leapseconds. Which is especially annoying because in some timezone they happen in the middle of the business day. | 18:09 |
| gmaxwell | sipa: Three months, I think? | 18:10 |
| gmaxwell | The exact times they can be applied is fixed, but AFAIK the notice period isn't. | 18:10 |
| gmaxwell | There is no cryptographically secure way to learn about them. The common way we encode timebases doesn't have a way to express if they're applied or not. | 18:11 |
| -!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards | 18:11 | |
| gmaxwell | Every time one happens you hear about another model series of gps recievers that start returning the wrong time one month before the leap second; ... gps sends a leap-second pending flag, and inevitably whatever firmware hasn't seen a leap second yet immediately applies it. | 18:12 |
| belcher | if they were predictable it would solve the issue right? perhaps the earth's variability in rotation is not understood enough yet | 18:13 |
| sipa | heh, why can't gps receivers not just use some uncorrected timescale? | 18:13 |
| sipa | their time can be independent from our clocks, no? | 18:13 |
| gmaxwell | sipa: GPS time is not leapsecond corrected. GPS timescale started from utc uh.. 17 leap seconds ago (there have been like 30) but it transmits an offset. | 18:15 |
| sipa | gmaxwell: i think we should also get rid of timezones (mostly)... maybe have one for america, one for europe, and 2 for asia :) | 18:15 |
| sipa | and of DST | 18:15 |
| -!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds] | 18:15 | |
| alpalp | hawaii gets screwed | 18:16 |
| gmaxwell | Which is good, because if gps used leapsecond time all those broken recievers would probably forever fail to capture sync, rather than returning the time wrong for a month. :) | 18:16 |
| kanzure | timezones are definitely a scam | 18:16 |
| kanzure | if you call someone on the phone who is in a "different" time zone, they will be talking at you at the same time | 18:16 |
| sipa | oh, so you can't call australia to get your lottery results before buying a ticket? | 18:17 |
| sipa | truly silly | 18:17 |
| gmaxwell | I'd just as well use GPS time (or equivilent up to an offset, TAI) on all my computers; except then there is no good way to get the current offset, and if anything touches ntp it all blows up. (as NTP has no way to communicate that you're using TAI) | 18:18 |
| -!- grubles_ [~grubles@104.238.145.35] has joined #bitcoin-wizards | 18:18 | |
| -!- gavinandresen [~gavin@unaffiliated/gavinandresen] has joined #bitcoin-wizards | 18:18 | |
| -!- yang_ [yang@freenode/sponsor/fsf.member.yang] has joined #bitcoin-wizards | 18:18 | |
| -!- Anduck_ [~anduck@unaffiliated/anduck] has joined #bitcoin-wizards | 18:18 | |
| -!- [ace] [~ace@128.199.135.61] has joined #bitcoin-wizards | 18:18 | |
| -!- morcos_ [~morcos@static-100-38-11-146.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 18:18 | |
| -!- nanotube [~nanotube@unaffiliated/nanotube] has quit [Excess Flood] | 18:18 | |
| -!- tripleslash [~triplesla@unaffiliated/imsaguy] has quit [Remote host closed the connection] | 18:18 | |
| -!- weex [~weex@fsf/member/weex] has quit [Write error: Broken pipe] | 18:19 | |
| -!- morcos [~morcos@static-100-38-11-146.nycmny.fios.verizon.net] has quit [Remote host closed the connection] | 18:19 | |
| -!- gavinand1esen [~gavin@unaffiliated/gavinandresen] has quit [Remote host closed the connection] | 18:19 | |
| -!- otoburb [~otoburb@unaffiliated/otoburb] has quit [Remote host closed the connection] | 18:19 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Remote host closed the connection] | 18:19 | |
| -!- grubles [~grubles@unaffiliated/grubles] has quit [Remote host closed the connection] | 18:19 | |
| -!- katu [kat@lua.cz] has quit [Remote host closed the connection] | 18:19 | |
| -!- Anduck [~anduck@unaffiliated/anduck] has quit [Remote host closed the connection] | 18:19 | |
| -!- [ace]_ [~ace@128.199.135.61] has quit [Remote host closed the connection] | 18:19 | |
| -!- yang [yang@freenode/sponsor/fsf.member.yang] has quit [Remote host closed the connection] | 18:19 | |
| -!- justanot1eruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 18:19 | |
| -!- otoburb_ [~otoburb@unaffiliated/otoburb] has joined #bitcoin-wizards | 18:19 | |
| -!- weex_ [~weex@web1.bitcoinatmlocations.org] has joined #bitcoin-wizards | 18:19 | |
| gmaxwell | at one point I tried to get NTP to change to a non-leapy timebase and just communicate an offset, but there are to many ways that NTP servers get UTC that can't tell them the current offset. | 18:19 |
| -!- katu [kat@lua.cz] has joined #bitcoin-wizards | 18:19 | |
| sipa | gmaxwell: leap seconds are allowed at the end of every month | 18:19 |
| -!- grubles_ is now known as Guest34285 | 18:19 | |
| sipa | according to wikipedia, the ultimate authority for knowledge | 18:19 |
| -!- tripleslash [~triplesla@unaffiliated/imsaguy] has joined #bitcoin-wizards | 18:19 | |
| gmaxwell | Hm. I thought they were only allowed in june or december! Well I guess thats why the GPS leap pending notice only comes 1 month ahead. | 18:20 |
| alpalp | gmaxwell: they have only happened then in the past. | 18:20 |
| sipa | they have only been in june or december | 18:20 |
| alpalp | first preference june/december, march/september next preference | 18:21 |
| gmaxwell | I'm sure everything would break if they happened any other times. | 18:21 |
| gmaxwell | Then again, I had my desktop here for no discernable reason decide to insert leapseconds at utc midnight three days in a row in the middle of september. | 18:22 |
| -!- skyraider [uid41097@gateway/web/irccloud.com/x-eqjuuaqhsudjecwx] has quit [Quit: Connection closed for inactivity] | 18:22 | |
| gmaxwell | because I really wanted my time to be off by three seconds, gee thanks. | 18:22 |
| -!- Guest34285 is now known as grubles | 18:24 | |
| -!- grubles [~grubles@104.238.145.35] has quit [Changing host] | 18:24 | |
| -!- grubles [~grubles@unaffiliated/grubles] has joined #bitcoin-wizards | 18:24 | |
| -!- nanotube [~nanotube@unaffiliated/nanotube] has joined #bitcoin-wizards | 18:30 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Ping timeout: 255 seconds] | 18:33 | |
| -!- Ylbam [uid99779@gateway/web/irccloud.com/x-sovgqgjhecqovgzf] has quit [Quit: Connection closed for inactivity] | 18:34 | |
| -!- zookolaptop [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has quit [Ping timeout: 240 seconds] | 18:35 | |
| -!- the`doctor [~the`docto@unaffiliated/thedoctor/x-1964342] has quit [Ping timeout: 250 seconds] | 18:50 | |
| -!- justanot1eruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 276 seconds] | 18:52 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 18:53 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 250 seconds] | 18:58 | |
| -!- sparetire_ [~sparetire@unaffiliated/sparetire] has quit [Quit: sparetire_] | 18:59 | |
| -!- rustyn_ [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer] | 19:02 | |
| -!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards | 19:03 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 19:04 | |
| -!- cocoBTC [~cocoBTC__@c-233a71d5.136-1-64736c10.cust.bredbandsbolaget.se] has joined #bitcoin-wizards | 19:06 | |
| -!- belcher [~user@unaffiliated/belcher] has quit [Quit: Leaving] | 19:29 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Read error: Connection reset by peer] | 19:33 | |
| -!- go1111111 [~go1111111@162.244.138.37] has quit [Ping timeout: 260 seconds] | 19:35 | |
| -!- p15 [~p15@105.91.145.64.client.static.strong-tk2.bringover.net] has joined #bitcoin-wizards | 19:38 | |
| -!- go1111111 [~go1111111@104.200.154.92] has joined #bitcoin-wizards | 19:49 | |
| -!- livegnik_ [~livegnik@bnw.7c0.nl] has quit [Quit: Aaaaand it's gone!] | 19:53 | |
| -!- livegnik [~livegnik@bnw.7c0.nl] has joined #bitcoin-wizards | 19:53 | |
| -!- Jeremy_Rand [~jeremy@ip68-97-32-41.ok.ok.cox.net] has joined #bitcoin-wizards | 19:53 | |
| -!- licnep [uid4387@gateway/web/irccloud.com/x-nlniuidqofbmiuvo] has joined #bitcoin-wizards | 19:59 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has quit [Read error: Connection reset by peer] | 20:00 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has joined #bitcoin-wizards | 20:02 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 20:03 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has quit [] | 20:05 | |
| -!- roconnor [~roconnor@host-45-58-253-209.dyn.295.ca] has joined #bitcoin-wizards | 20:17 | |
| -!- adam3us [~Adium@c-24-4-96-213.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 20:17 | |
| -!- [7] [~quassel@rockbox/developer/TheSeven] has quit [Disconnected by services] | 20:21 | |
| -!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards | 20:21 | |
| -!- archobserver [~archobser@unaffiliated/superobserver] has joined #bitcoin-wizards | 20:27 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Ping timeout: 255 seconds] | 20:38 | |
| -!- adam3us [~Adium@c-24-4-96-213.hsd1.ca.comcast.net] has quit [Quit: Leaving.] | 20:41 | |
| -!- Yoghur114 [~jorn@g227014.upc-g.chello.nl] has quit [Remote host closed the connection] | 20:47 | |
| -!- arowser [~quassel@106.120.101.38] has quit [Ping timeout: 264 seconds] | 21:10 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards | 21:19 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has joined #bitcoin-wizards | 21:19 | |
| -!- psztorc [~psztorc@2607:fb90:e7b:9dd1:a7c2:4faf:c040:f0d8] has joined #bitcoin-wizards | 21:27 | |
| -!- ttttemp_ [~ttttemp@nb-10350.ethz.ch] has quit [Remote host closed the connection] | 21:30 | |
| -!- ttttemp [~ttttemp@pc-5305.ethz.ch] has joined #bitcoin-wizards | 21:32 | |
| -!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 240 seconds] | 21:32 | |
| -!- Jeremy_Rand [~jeremy@ip68-97-32-41.ok.ok.cox.net] has quit [Remote host closed the connection] | 21:37 | |
| -!- Jeremy_Rand [~jeremy@ip68-97-32-41.ok.ok.cox.net] has joined #bitcoin-wizards | 21:39 | |
| -!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #bitcoin-wizards | 21:47 | |
| -!- tulip [~tulip@unaffiliated/tulip] has joined #bitcoin-wizards | 21:56 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has quit [Quit: Newyorkadam] | 21:58 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has joined #bitcoin-wizards | 22:00 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 22:01 | |
| -!- archobserver [~archobser@unaffiliated/superobserver] has quit [Quit: Quit] | 22:03 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 244 seconds] | 22:04 | |
| -!- archobserver [~archobser@unaffiliated/superobserver] has joined #bitcoin-wizards | 22:09 | |
| -!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 22:11 | |
| -!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has quit [Quit: Newyorkadam] | 22:36 | |
| -!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Quit: GGuyZ] | 23:01 | |
| -!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards | 23:03 | |
| -!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds] | 23:07 | |
| -!- psztorc_ [~psztorc@ool-4575fa8d.dyn.optonline.net] has joined #bitcoin-wizards | 23:21 | |
| -!- psztorc [~psztorc@2607:fb90:e7b:9dd1:a7c2:4faf:c040:f0d8] has quit [Ping timeout: 240 seconds] | 23:23 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has quit [Ping timeout: 244 seconds] | 23:26 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has joined #bitcoin-wizards | 23:27 | |
| -!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has quit [Quit: Leaving] | 23:32 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 23:34 | |
| -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards | 23:38 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Ping timeout: 255 seconds] | 23:39 | |
| -!- lecusemble [~lecusembl@f9beb4d9.violates.me] has quit [Ping timeout: 260 seconds] | 23:50 | |
| -!- lecusemble [~lecusembl@f9beb4d9.violates.me] has joined #bitcoin-wizards | 23:56 | |
| --- Log closed Sat Nov 21 00:00:31 2015 | ||
Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!
