2015-11-20.log

--- 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-wizards00:06
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving]00:06
-!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards00:10
-!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards00: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-wizards01: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-wizards01: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-wizards01:11
-!- CoinMuncher [~jannes@178.132.211.90] has joined #bitcoin-wizards01:14
-!- CoinMuncher [~jannes@178.132.211.90] has quit [Client Quit]01:14
-!- CoinMuncher [~jannes@178.132.211.90] has joined #bitcoin-wizards01: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-wizards01:17
-!- dabura667 [uid43070@gateway/web/irccloud.com/x-yopvetupdzzzdnxf] has joined #bitcoin-wizards01:18
-!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards01: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-wizards01:36
-!- Piper-Off is now known as Monthrect01:45
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards01:51
-!- sparetire_ [~sparetire@unaffiliated/sparetire] has joined #bitcoin-wizards02:08
-!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards02:12
-!- c-cex-finch [uid120855@gateway/web/irccloud.com/x-xugckwrrzahcdupx] has joined #bitcoin-wizards02: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-wizards02:28
-!- Monthrect is now known as Piper-Off02: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-wizards03: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-wizards03:43
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards03: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-wizards03:48
-!- Piper-Off is now known as Monthrect03:52
-!- AaronvanW [~ewout@81.60.139.225.dyn.user.ono.com] has joined #bitcoin-wizards04:18
-!- AaronvanW [~ewout@81.60.139.225.dyn.user.ono.com] has quit [Changing host]04:18
-!- AaronvanW [~ewout@unaffiliated/aaronvanw] has joined #bitcoin-wizards04:18
-!- nanasho [~nanasha25@f048061057.adsl.alicedsl.de] has joined #bitcoin-wizards04:20
-!- PaulCape_ [~PaulCapes@204.28.124.82] has joined #bitcoin-wizards04: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-wizards04:42
-!- damethos [~damethos@unaffiliated/damethos] has quit [Remote host closed the connection]04:43
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards04:43
-!- Guest51706 [~starsocce@ns372404.ip-94-23-252.eu] has quit [Changing host]04:49
-!- Guest51706 [~starsocce@unaffiliated/starsoccer] has joined #bitcoin-wizards04:49
-!- Guest51706 is now known as Starsoccer04:49
-!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #bitcoin-wizards04:55
-!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer]04:57
-!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards04: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-wizards05:10
-!- tulip [~tulip@128.199.135.43] has quit []05:21
kanzurematsjj: i think this question is for you? https://www.reddit.com/r/Bitcoin/comments/3tftas/mike_hearn_now_working_for_r3cv_blockchain/cx6f4hr?context=305:22
-!- nanasho [~nanasha25@f048061057.adsl.alicedsl.de] has quit [Ping timeout: 252 seconds]05:29
matsjjkanzure: 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-wizards05:35
-!- roxtrong_ [~roxtrongo@190-22-235-133.baf.movistar.cl] has joined #bitcoin-wizards05:37
-!- Giszmo [~leo@pc-36-133-241-201.cm.vtr.net] has joined #bitcoin-wizards05:38
ajmatsjj: /nick thor ?05:39
-!- tulip [~tulip@128.199.135.43] has quit [Changing host]05:39
-!- tulip [~tulip@unaffiliated/tulip] has joined #bitcoin-wizards05:39
bsm117532bramc: and if you do it in python2 I'll volunteer to port it to python3.  ;-)05:40
matsjjaj, most super heroes are based around lightning, not thunder :( thought about flash as well and then realised05:41
-!- roxtrongo [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Ping timeout: 255 seconds]05:41
ajmatsjj: thor's usually god of thunder, or thunderer or similar, not lightning i think?05:42
matsjjoh, nice then05:42
-!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards05:43
kanzurematsjj: yeah i had forgotten your name at the time, sorry 'bout that05:44
matsjjdon't worry :)05:44
ajkanzure: i'll count it as a compliment that you put me in twice05:44
kanzuremy people-tracking system sometimes spits out dupes05:45
kanzurefrankly i'm surprised i can keep track of even half of you people. who are you? why am i here?05:45
ajkanzure: it's okay, i haven't correlated real names / irc nicks / reddit names for barely anyone. at least luke-jr makes it easy05:45
-!- roxtrong_ [~roxtrongo@190-22-235-133.baf.movistar.cl] has quit [Remote host closed the connection]05:46
kanzurehttp://diyhpl.us/~bryan/irc/meetlog/2009-07-01_to_2010-02-12-lines.png05:46
kanzureexample of individual data dump: http://diyhpl.us/~bryan/irc/meetlog/graphs/aaron_swartz.png05:46
ajkanzure: what the heck is that?05:47
kanzureaj: i have detailed records of every conversation i've had since 200905:47
sipakanzure: including in person chat and phone...?05:48
sipa_per line_ ?05:48
sipathat's somewhere in the region where awesome and insane overlap05:48
kanzureoh yeah it's completely ridiculous05:48
ajoh, wow, kanzure must be one of the NSA's AIs05:48
kanzurehere is a presentation i gave in 2011 about this https://vimeo.com/2738129705:49
kanzureyeah actually the data set was public for a few years because nobody was complaining05:51
* nsh smiles05:51
-!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Quit: GGuyZ]05:52
ajkanzure: 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
kanzureOP_MOXIE https://github.com/bitcoin/bitcoin/issues/667705:56
kanzureOP_SCHNORRCHECKSIGVERIFY https://bitcointalk.org/index.php?topic=1007831.005:56
kanzure"OP_SIDECHAINVERIFY" https://bitcointalk.org/index.php?topic=1083345.005:56
sipaNo reference for OP_X86? *ducks*05:56
kanzureexotic sighash types https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-August/010759.html05:58
gmaxwellThere 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
kanzurei don't remember any proposals about OP_ECDSA_STUFF ...05:58
gmaxwellaj: elements alpha can verify signatures on data coming in on the stack.05:59
ajgmaxwell: hmm, i skimmed through the opcodes and didn't spot that :(05:59
kanzuresignature 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
ajgmaxwell: blind. OP_CHECKSIGFROMSTACK, neat06:01
-!- Monthrect is now known as Piper-Off06:03
-!- gmaxwell [greg@wikimedia/KatWalsh/x-0001] has quit [Ping timeout: 240 seconds]06:03
-!- gmaxwell [greg@mf4-xiph.osuosl.org] has joined #bitcoin-wizards06:03
-!- gmaxwell is now known as Guest6191406:03
-!- Guest61914 [greg@mf4-xiph.osuosl.org] has quit [Changing host]06:04
-!- Guest61914 [greg@wikimedia/KatWalsh/x-0001] has joined #bitcoin-wizards06:04
matsjjI would love some OP_code for verifying a priv/pub key pair - currently there are only proposals for verifying signatures06:04
matsjjI guess there are ways using multiplying and op_mod(disabled) to achieve the same06:05
matsjjoh op_mul is disabled as well - nvm06:05
sipamatsjj: that would be insanely inefficient06:05
matsjjyea06:05
sipaeven if they were available06:05
-!- Guest61914 is now known as gmaxwell06:05
ajsipa: (as opposed to implementing libsecp256k1 in moxie? :)06:05
ajimplementing in, compiling to...06:06
sipaaj: that too would be inefficient; you really need cryptographic primitives in your script language06:06
-!- atgreen [~green@CPE687f74122463-CM00fc8d24cab0.cpe.net.cable.rogers.com] has quit [Quit: Leaving]06:06
matsjjsipa, 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-wizards06:08
gmaxwellthere 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
gmaxwellBut 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
gmaxwellmatsjj: by insanely inefficient, that would be... minutes. scale.06:18
matsjjgmaxwell: I know, I was just playing around ;)06:19
gmaxwelloh good. whew.06:19
matsjjyea I guess there are lots of new attack vectors that are even difficult to think about when allowing generic crypto operations06:19
gmaxwellFWIW, 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-wizards06:25
-!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #bitcoin-wizards06: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-wizards06:47
-!- Quanttek [~quassel@ip1f11db5b.dynamic.kabel-deutschland.de] has joined #bitcoin-wizards06:47
-!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer]06:51
-!- rustyn [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards06:52
-!- Argus [~Argus@185.31.96.190] has joined #bitcoin-wizards06:59
-!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has joined #bitcoin-wizards06:59
-!- Piper-Off is now known as Monthrect07: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-wizards07: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-wizards07:22
-!- liteIRC_ [~zooko@2607:fb90:121:7e92:a2c4:3ddf:5dc9:dbf1] has joined #bitcoin-wizards07:32
-!- adam3us [~Adium@c-98-234-64-218.hsd1.ca.comcast.net] has joined #bitcoin-wizards07:32
-!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards07:32
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards07:33
-!- liteIRC__ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards07: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-wizards07: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-wizards07:36
-!- zooko is now known as zookolaptop07:36
-!- liteIRC__ is now known as zooko07: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-wizards07:37
-!- GGuyZ [~GGuyZ@dhcp-18-111-9-88.dyn.mit.edu] has joined #bitcoin-wizards07:40
-!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #bitcoin-wizards07:40
-!- zooko [~zooko@2607:fb90:124:9db8:1606:a88c:14ba:53ac] has quit [Ping timeout: 246 seconds]07:40
-!- liteIRC_ is now known as zooko07:41
-!- liteIRC_ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards07: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 zooko07:45
-!- GGuyZ_ [~GGuyZ@dhcp-18-111-48-9.dyn.mit.edu] has joined #bitcoin-wizards07:48
-!- liteIRC_ [~zooko@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards07: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 zooko07:50
-!- GGuyZ [~GGuyZ@dhcp-18-111-9-88.dyn.mit.edu] has quit [Ping timeout: 272 seconds]07:51
-!- GGuyZ_ is now known as GGuyZ07:51
-!- liteIRC_ [~zooko@2607:fb90:122:ac7:b427:2f84:9cca:d0ba] has joined #bitcoin-wizards07:51
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards07:52
-!- GGuyZ_ [~GGuyZ@18.85.27.76] has joined #bitcoin-wizards07:53
-!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword]07:53
-!- nanasho [~nanasha25@89.204.137.118] has joined #bitcoin-wizards07: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 zooko07:55
-!- GGuyZ [~GGuyZ@dhcp-18-111-48-9.dyn.mit.edu] has quit [Ping timeout: 240 seconds]07:56
-!- GGuyZ_ is now known as GGuyZ07: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-wizards08:04
-!- GGuyZ [~GGuyZ@18.85.27.76] has quit [Read error: Connection reset by peer]08:04
-!- GGuyZ_ is now known as GGuyZ08:04
-!- GGuyZ_ [~GGuyZ@guys-mbp.media.mit.edu] has joined #bitcoin-wizards08:06
-!- GGuyZ [~GGuyZ@guys-mbp.media.mit.edu] has quit [Read error: Connection reset by peer]08:06
-!- GGuyZ_ is now known as GGuyZ08: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-wizards08:11
-!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has joined #bitcoin-wizards08: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-wizards08:27
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards08:33
-!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards08:35
-!- zooko`` [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has joined #bitcoin-wizards08: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 zooko08: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.se08:40
MRL-Relay[tacotime] but it ends up being computationally crazy in the example08:40
MRL-Relay[tacotime] vitalik even discusses offshoring some of the computation to precompiled code in the discussion thread08: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 iffy08:42
-!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards08:45
instagibbsI was wondering how gas is treated wrt this kind of stuff. Looks like discussion of that on the reddit thread08:50
-!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Ping timeout: 265 seconds]08:50
instagibbssounds like never-ending re-parameterization08: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-wizards08:57
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards08: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-wizards09:08
-!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards09:09
-!- liteIRC_ [~zooko@2607:fb90:12c:6473:901b:99dc:7614:fa30] has joined #bitcoin-wizards09:12
-!- zooko [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has quit [Ping timeout: 246 seconds]09:14
-!- liteIRC_ is now known as zooko09: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-wizards09:16
-!- kwonbie [~me@30-93-133.dynamic.csail.mit.edu] has joined #bitcoin-wizards09:17
-!- the`doctor [~the`docto@static-108-47-15-123.lsanca.fios.verizon.net] has joined #bitcoin-wizards09:25
-!- skyraider [uid41097@gateway/web/irccloud.com/x-eqjuuaqhsudjecwx] has joined #bitcoin-wizards09: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-wizards09:30
-!- simba [~simba@pool-100-2-83-88.nycmny.fios.verizon.net] has joined #bitcoin-wizards09: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-Off09: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-wizards09:55
-!- kang_ [67efe80a@gateway/web/freenode/ip.103.239.232.10] has quit [Quit: Page closed]09:59
-!- Piper-Off is now known as Monthrect10:07
-!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards10:23
-!- zooko [~zooko@2607:fb90:12c:6473:901b:99dc:7614:fa30] has quit [Ping timeout: 240 seconds]10:26
-!- liteIRC_ is now known as zooko10:26
-!- liteIRC_ [~zooko@2607:fb90:123:f95f:d6d7:9d5f:5105:524f] has joined #bitcoin-wizards10: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 zooko10:32
-!- Yoghur114 [~jorn@g227014.upc-g.chello.nl] has joined #bitcoin-wizards10: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-wizards10: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-wizards10:53
-!- liteIRC_ [~zooko@72.42.70.227] has joined #bitcoin-wizards10:57
-!- zooko` [~user@72.42.70.227] has joined #bitcoin-wizards10:59
-!- zooko [~zooko@2607:fb90:123:f95f:d6d7:9d5f:5105:524f] has quit [Ping timeout: 240 seconds]11:00
-!- liteIRC_ is now known as zooko11:00
-!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards11:03
-!- priidu [~priidu@unaffiliated/priidu] has quit [Max SendQ exceeded]11:03
-!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards11:04
-!- matsjj [~matsjj@81.128.173.188] has joined #bitcoin-wizards11:08
-!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards11:08
-!- nwilcox|afk is now known as nwilcox11:09
-!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards11:14
-!- zooko` is now known as zookolaptop11:14
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards11: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-wizards11: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-wizards11:36
-!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards11:39
-!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards11: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-wizards11:49
-!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has joined #bitcoin-wizards11: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-wizards12:12
-!- orik [~orik@75.149.169.53] has joined #bitcoin-wizards12:18
bsm1175321Does 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
zookolaptopzk-SNARKs!12:20
zookolaptopThat's my answer to everything.12:20
* nsh smiles12:20
bsm1175321which comes down to proving an inequality.12:20
zookolaptopThat, and keto diet, and listening to econtalk.12:20
-!- snthsnth [~snthsnth@206.110.20.18] has quit [Ping timeout: 276 seconds]12:20
nshso i think you can prove that now with snarkfront, bsm117532112:20
nshhttps://github.com/jancarlsson/snarkfront12:20
-!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards12:20
bsm1175321Interesting.  Now can I prove that I know many n x_i satisfying the PoW compactly?  ;-)12:22
zookolaptopYou 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
bsm1175321I hope we get a talk about zk-snarks at scaling bitcoin...12:27
jcorganZero Observed Orthogonal Knowledge Output? :-)12:28
jcorgansorry, i'll go back to lurking12:29
zookolaptopbsm117532: yes! There is one talk about zk-SNARKs lined up for Scaling Bitcoin, from Madars Virza of the Zcash team.12:32
zookolaptopAnd, Madars and I were brainstorming about what aspects of zk-SNARKs would be12:32
zookolaptopmost interesting to the audience.12:32
zookolaptopSo if and only if you are going to be in the audience at Scaling Bitcoin, Hong Kong, please12:32
zookolaptopspeak up about what zk-SNARKy topic would keep you most interested.12:33
bsm1175321Right 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
bsm1175321Looking forward to Madars' talk.  ;-)12:34
bsm1175321Frankly 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
instagibbsFrankly I might want to hear interesting things that snarks *can't* do. It might help build conceptual boundaries on this witchraft12:35
bsm1175321+1 instagibbs12:36
alan_... encryption ...12:36
instagibbsbut ofc Zooko said only audience members...12:36
bsm1175321If 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-wizards12:38
zookolaptopActually, I definitely want to hear the opinions of non-HK-audience members,12:38
zookolaptopbut 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-wizards12: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-wizards12:42
jcorganthat would help justify the use cases that are worth the extra complexity they bring12:42
-!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has quit [Read error: No route to host]12:42
kanzurezookolaptop: i don't think that's a fair restriction (audience) (some people are online)12:42
bsm1175321It will be streamed too12:42
-!- frankenmint [~frankenmi@75-175-72-226.ptld.qwest.net] has joined #bitcoin-wizards12:42
-!- roxtrong_ [~roxtrongo@190-22-175-5.baf.movistar.cl] has joined #bitcoin-wizards12:42
zookolaptopYeah, I'm sorry I phrased it as a restriction.12:43
zookolaptopI'm just *especially* interested in what audience members would find most compelling.12:43
kanzurezookolaptop: libsnark implementation details would be a good thing to talk about12:43
kanzuretrustless 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
bsm1175321In the back of my mind I've got a ton of questions about how to use that stuff for identity.12:43
kanzurezookolaptop: generally, avoid introductory stuff that has been mentioned in prior presentations12: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
zookolaptoprelaying these ideas to Madars...12:47
kanzurehe's in here12:47
zookolaptop\o/12:47
kanzureif 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.pdf12:47
zookolaptopRelaying to all the other Zcashers then. :-)12:47
-!- deego [~user@unaffiliated/deego] has joined #bitcoin-wizards12:48
bsm1175321oooh...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-wizards12:53
nwilcoxjcorgan: 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-wizards13:03
-!- simba [~simba@rrcs-50-74-98-28.nyc.biz.rr.com] has joined #bitcoin-wizards13: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-wizards13:06
-!- zookolaptop [~user@72.42.70.227] has quit [Ping timeout: 255 seconds]13:06
-!- LeMiner [~LeMiner@unaffiliated/leminer] has joined #bitcoin-wizards13: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-wizards13:09
-!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards13: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 zooko13: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-wizards13:20
-!- nwilcox is now known as nwilcox|afk13:21
-!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards13:22
-!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards13:24
-!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards13: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-wizards13: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-wizards13:32
-!- liteIRC_ [~zooko@2601:281:8001:26aa:81fd:331e:5a74:bd2a] has joined #bitcoin-wizards13:34
-!- zooko [~zooko@2607:fb90:12b:f59b:eec5:fa2b:7ccb:c087] has quit [Ping timeout: 272 seconds]13:37
-!- liteIRC_ is now known as zooko13: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-wizards13: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-wizards13:49
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards13:49
-!- zookolaptop [~user@2601:281:8001:26aa:7c2c:2601:b748:7d8a] has joined #bitcoin-wizards13:54
-!- Jeremy_Rand [~jeremy@172.56.15.47] has joined #bitcoin-wizards13: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-wizards14:00
-!- snthsnth [~snthsnth@206.110.20.18] has joined #bitcoin-wizards14: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-wizards14: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-wizards14:21
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards14: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-wizards14:35
-!- davec [~davec@cpe-24-243-251-52.hot.res.rr.com] has joined #bitcoin-wizards14:36
-!- Lightsword [~Lightswor@104.194.117.23] has quit [Quit: Lightsword]14:39
-!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has joined #bitcoin-wizards14:46
-!- Lightsword [~Lightswor@104.194.117.23] has joined #bitcoin-wizards14: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-wizards14: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-wizards15:03
-!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has joined #bitcoin-wizards15: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-wizards15: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-wizards15:15
-!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye]15:21
-!- adam3us [~Adium@184-23-239-227.dedicated.static.sonic.net] has joined #bitcoin-wizards15:23
-!- ibrightly [sid113387@gateway/web/irccloud.com/x-ohpqyihqxkntnlku] has joined #bitcoin-wizards15:23
-!- zmanian_ [sid113594@gateway/web/irccloud.com/x-trszzgfujeczpftq] has joined #bitcoin-wizards15:24
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards15: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-wizards15:26
-!- alexkuck [sid117875@gateway/web/irccloud.com/x-fyvmemerpeeyvvqm] has joined #bitcoin-wizards15:30
-!- JackH [~Jack@host-80-43-142-236.as13285.net] has quit [Ping timeout: 240 seconds]15:42
bramcDumb 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 way15:48
kanzuretime seems like one of those things that would be difficult to make proofs about?15:49
gmaxwellbramc: 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
kanzureas far as i know, time itself is external to a circuit's definition15:50
gmaxwellhe 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
bramcgmaxwell, 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 checking15:51
bramcYeah I say 'time' because 'proof of sequential computation' is a real mouthful15:52
sipaposc?15:52
kanzureno more acronyms15:52
kanzureall of them are taken15:52
sipaNMA15:52
tromp__the question is whether snark proof construction is necessarily sequential in the circuit depth15:53
kanzuresnark prover performance is talked at great lengths here http://diyhpl.us/wiki/transcripts/simons-institute/a-wishlist-for-verifiable-computation/15:54
gmaxwellmost of the work in the proof construction itself is embarassingly parallel.15:54
kanzure*current snark prover performance15:54
bramcAlso 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
gmaxwellbramc: the ggpr12 like snarks are inherently perfectly malleable; in general malleability is often a consequence of zero knoweldge.15:55
bramckanzure, 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
bramcgmaxwell, Argh well that kills in right there15:55
bramcUnrelatedly, 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
bramcNow I just need to read up on how Bitcoin's peer protocol actually works and then I can compare.15:57
kanzureinvalidate with fraud proofs?15:57
bramckanzure, Invalidate in an embarrassingly trivial way: Time proof X is invalid at position Y15:59
sipabramc: well bitcoin has no invalidity proofs at all; nodes either verify all rules (which needs the UTXO set), or just the proof of work16:00
bramcBecause 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 be16: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
bramcsipa, 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
bramcSo 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-Off16:06
sipabramc: 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 proofs16:06
kanzureand cumulative work weight16:07
sipa(longest is defined as most cumulative weight)16:07
bramcI said 'work factor' instead of 'cumulative work weight' because I didn't know the standard term16:07
sipabitcoin keeps track of 'total expected double-SHA256 hashes in the chain'16:08
bramcsipa, 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
bramcsipa, what do you mean by 'double-SHA256 hash in the chain'?16:09
sipabramc: the expected number of hashes for a block is 2^256 divided by the target hash value it was required to beat16:10
sipathe sum of those values for all blocks in the chain is maintained16:10
sipait's around 1.5 * 10^25 currently16:10
-!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has joined #bitcoin-wizards16:12
sipabramc: 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 validation16:12
bramcsipa, What's wrong with doing a full validation?16:13
sipabramc: it's costly16:13
bramcHow is it costly?16:13
sipayou need the full UTXO set16:13
sipayou need to ECDSA validations for signatures16:13
sipafor convergence, nodes not only need to just do this, but also do it reasonably fast16:14
bramcSo it's the running through and maintaining of the full UTXO set which is the real problem?16:14
gmaxwellIt's also brittle;  if you can't keep up you're forced to not validate;  hello evaporative cooling.16:14
bramcI 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
sipabramc: the speedup factor for batch schnorr validation is somewhere between 2 and 416:15
bramcOh, hmm, that's good but less than I hoped16:15
sipabatches require a very significant amount of work to "preprocess" into a single verification16:15
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards16:15
-!- tripleslash_x [~triplesla@unaffiliated/imsaguy] has quit [Remote host closed the connection]16:36
kanzure16: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 all16:36
-!- rustyn [~rustyn@unaffiliated/rustyn] has quit [Read error: Connection reset by peer]16:37
bsm117532bramc: 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-wizards16:38
-!- tripleslash [~triplesla@unaffiliated/imsaguy] has joined #bitcoin-wizards16:38
nshit's not that simple16:38
nshPoW can be time experienced in parallel16:38
nshbut proven in sum16:38
-!- bitkarma [sid124593@gateway/web/irccloud.com/x-kogkccgoampqwqja] has joined #bitcoin-wizards16:40
bsm117532nsh: A trivial non-parallelizable pow algorithm is hash composition: hash(hash(hash(...)))16:42
bsm117532Everything turns into proof of work with enough examination...16:42
bsm117532nsh: "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 nods16:45
* bsm117532 goes back to his work on emergent time from hypercomplex analysis...16:47
nshthe 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 state16:48
bramckanzure, 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
nshyou can make new 'nowness' by computing one-way functions of existing state with - as you say, potentially secret, or at least ephemeral - nonces16:49
bramcnsh, 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
nshcoming into being16:50
nshhow worked out, bramc? any notes?16:51
bsm117532bramc: 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-wizards16:53
bramcbsm117532 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
nshwell, that's how bitcoin works... the mempools seeds the now-state to which nodes synchronise as blocktime16:53
nsh*mempool16:53
nsh*at16:53
bsm117532bramc: Yep.  Well that's my contribution to the conversation.  It's awful.  But the only way I know.16:54
bramcnsh, 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 systems16:54
* nsh nods16:55
bsm117532bramc: I don't understand how your argument makes it parallel.  It's still sequential, with a different starting point.16:56
bramcnsh, 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
bramcIf 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 h10016:57
nshhmm16:58
nshwhat's the quality of PoSpace?16:58
bramcnsh, 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
bsm117532bramc: Ok interesting, a direct trade of time for space.16:59
bsm117532time/n, space*n16:59
bramcA 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 proof17:01
-!- TBI [~TBI@20.84-48-195.nextgentel.com] has joined #bitcoin-wizards17:01
bsm117532Yeah I see why verification is a bitch.17:01
bsm117532What was wrong with the paper gmaxwell posted the other day about it?17:02
bramcbsm117532 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 check17:02
bramcbsm117532 I'm not sure what paper you're referring to, but a property I critically need is for the proofs to be canonical17:03
-!- TBI_ [~TBI@84.48.195.20] has quit [Ping timeout: 264 seconds]17:03
bsm117532spacemint.  Sorry it was amiller17:04
-!- belcher [~user@unaffiliated/belcher] has joined #bitcoin-wizards17:05
-!- jtimon_ [~quassel@74.29.134.37.dynamic.jazztel.es] has quit [Ping timeout: 276 seconds]17:15
bramcbsm117532 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
bsm117532The 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-wizards17:47
-!- rustyn_ [~rustyn@unaffiliated/rustyn] has joined #bitcoin-wizards17:47
sipait's saturday morning, you insensitive clod17: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
gmaxwellsomeone should make a website that shows the times when it is, in fact, not happy hour anywhere.17:52
kanzuredo leap seconds count? *ducks*17:54
gmaxwelldamn leap seconds.17:54
-!- AaronvanW [~ewout@unaffiliated/aaronvanw] has joined #bitcoin-wizards17:55
gmaxwellITU's politically driven stupidity there makes me want to personally go replace UTC. oh well.17:55
kanzuretime is a silly concept anyway17:56
-!- bramc [~bram@38.99.42.130] has quit [Quit: This computer has gone to sleep]17:59
belcherwhy are leap seconds political ?18:01
gmaxwellbelcher: because they're what keep the UTC noon fixed over a particular geography. :(18:02
gmaxwellbeing 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
belcheris that bad/wrong ? dont leap years keep the months fixed with the seasons18:03
gmaxwelland 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
gmaxwellbelcher: 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
gmaxwellWithout leap seconds, after about 4000 years the timezones will have slipped by an hour.18:04
belcheryep, one day because of tidal forces the day will last one month18:07
gmaxwellWhat 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 time18:07
gmaxwell out of that change just by having it use straight UTC as its timezone)18:07
belcherso in that case shouldnt the day be defined as 28*24*60*60 seconds? if people are alive then it will be their day18:07
belcherok so the unpredictability is an issue? i can see that, its not like the julian/gregorian calender split which is predictable18:08
gmaxwellthe 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
gmaxwellbelcher: 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
sipahow long in advance are leap seconds decided?18:09
gmaxwellMany 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
gmaxwellsipa: Three months, I think?18:10
gmaxwellThe exact times they can be applied is fixed, but AFAIK the notice period isn't.18:10
gmaxwellThere 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-wizards18:11
gmaxwellEvery 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
belcherif they were predictable it would solve the issue right? perhaps the earth's variability in rotation is not understood enough yet18:13
sipaheh, why can't gps receivers not just use some uncorrected timescale?18:13
sipatheir time can be independent from our clocks, no?18:13
gmaxwellsipa: 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
sipagmaxwell: i think we should also get rid of timezones (mostly)... maybe have one for america, one for europe, and 2 for asia :)18:15
sipaand of DST18:15
-!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds]18:15
alpalphawaii gets screwed18:16
gmaxwellWhich 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
kanzuretimezones are definitely a scam18:16
kanzureif you call someone on the phone who is in a "different" time zone, they will be talking at you at the same time18:16
sipaoh, so you can't call australia to get your lottery results before buying a ticket?18:17
sipatruly silly18:17
gmaxwellI'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-wizards18:18
-!- gavinandresen [~gavin@unaffiliated/gavinandresen] has joined #bitcoin-wizards18:18
-!- yang_ [yang@freenode/sponsor/fsf.member.yang] has joined #bitcoin-wizards18:18
-!- Anduck_ [~anduck@unaffiliated/anduck] has joined #bitcoin-wizards18:18
-!- [ace] [~ace@128.199.135.61] has joined #bitcoin-wizards18:18
-!- morcos_ [~morcos@static-100-38-11-146.nycmny.fios.verizon.net] has joined #bitcoin-wizards18: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-wizards18:19
-!- otoburb_ [~otoburb@unaffiliated/otoburb] has joined #bitcoin-wizards18:19
-!- weex_ [~weex@web1.bitcoinatmlocations.org] has joined #bitcoin-wizards18:19
gmaxwellat 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-wizards18:19
sipagmaxwell: leap seconds are allowed at the end of every month18:19
-!- grubles_ is now known as Guest3428518:19
sipaaccording to wikipedia, the ultimate authority for knowledge18:19
-!- tripleslash [~triplesla@unaffiliated/imsaguy] has joined #bitcoin-wizards18:19
gmaxwellHm. 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
alpalpgmaxwell: they have only happened then in the past.18:20
sipathey have only been in june or december18:20
alpalpfirst preference june/december, march/september next preference18:21
gmaxwellI'm sure everything would break if they happened any other times.18:21
gmaxwellThen 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
gmaxwellbecause I really wanted my time to be off by three seconds, gee thanks.18:22
-!- Guest34285 is now known as grubles18:24
-!- grubles [~grubles@104.238.145.35] has quit [Changing host]18:24
-!- grubles [~grubles@unaffiliated/grubles] has joined #bitcoin-wizards18:24
-!- nanotube [~nanotube@unaffiliated/nanotube] has joined #bitcoin-wizards18: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-wizards18: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-wizards19:03
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards19:04
-!- cocoBTC [~cocoBTC__@c-233a71d5.136-1-64736c10.cust.bredbandsbolaget.se] has joined #bitcoin-wizards19: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-wizards19:38
-!- go1111111 [~go1111111@104.200.154.92] has joined #bitcoin-wizards19:49
-!- livegnik_ [~livegnik@bnw.7c0.nl] has quit [Quit: Aaaaand it's gone!]19:53
-!- livegnik [~livegnik@bnw.7c0.nl] has joined #bitcoin-wizards19:53
-!- Jeremy_Rand [~jeremy@ip68-97-32-41.ok.ok.cox.net] has joined #bitcoin-wizards19:53
-!- licnep [uid4387@gateway/web/irccloud.com/x-nlniuidqofbmiuvo] has joined #bitcoin-wizards19: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-wizards20:02
-!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards20:03
-!- mrkent [~textual@unaffiliated/mrkent] has quit []20:05
-!- roconnor [~roconnor@host-45-58-253-209.dyn.295.ca] has joined #bitcoin-wizards20:17
-!- adam3us [~Adium@c-24-4-96-213.hsd1.ca.comcast.net] has joined #bitcoin-wizards20:17
-!- [7] [~quassel@rockbox/developer/TheSeven] has quit [Disconnected by services]20:21
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards20:21
-!- archobserver [~archobser@unaffiliated/superobserver] has joined #bitcoin-wizards20: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-wizards21:19
-!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has joined #bitcoin-wizards21:19
-!- psztorc [~psztorc@2607:fb90:e7b:9dd1:a7c2:4faf:c040:f0d8] has joined #bitcoin-wizards21: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-wizards21: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-wizards21:39
-!- GGuyZ [~GGuyZ@216-15-125-203.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #bitcoin-wizards21:47
-!- tulip [~tulip@unaffiliated/tulip] has joined #bitcoin-wizards21:56
-!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has quit [Quit: Newyorkadam]21:58
-!- Newyorkadam [~Newyorkad@wikipedia/Newyorkadam] has joined #bitcoin-wizards22:00
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards22: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-wizards22:09
-!- snthsnth [~snthsnth@c-98-207-208-241.hsd1.ca.comcast.net] has joined #bitcoin-wizards22: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-wizards23: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-wizards23: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-wizards23:27
-!- Mat555 [~Matcjhfjf@ool-18ba8bdf.dyn.optonline.net] has quit [Quit: Leaving]23:32
-!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards23:34
-!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards23: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-wizards23: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!