--- Log opened Mon May 20 00:00:17 2019
00:04 -!- tromp [~tromp@2a02:a210:1585:3200:9157:f0d1:1acf:d928] has quit [Ping timeout: 258 seconds]
00:15 -!- tromp [~tromp@2a02:a210:1585:3200:9157:f0d1:1acf:d928] has joined #bitcoin-wizards
00:28 -!- arubi_ [~ese168@gateway/tor-sasl/ese168] has joined #bitcoin-wizards
00:28 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Remote host closed the connection]
00:44 -!- enemabandit [~enemaband@185.227.37.188.rev.vodafone.pt] has joined #bitcoin-wizards
01:11 -!- TheoStorm [~TheoStorm@host-g4sn8hj.cbn1.zeelandnet.nl] has joined #bitcoin-wizards
01:12 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has quit [Remote host closed the connection]
01:15 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has joined #bitcoin-wizards
01:15 -!- TheoStorm [~TheoStorm@host-g4sn8hj.cbn1.zeelandnet.nl] has quit [Client Quit]
01:28 -!- jimmyrizzle [~z@213.205.242.87] has joined #bitcoin-wizards
01:42 -!- OhGodAGirl_ [sid164689@gateway/web/irccloud.com/x-ldmvnyjdqlenbplb] has quit []
01:55 -!- booyah [~bb@193.25.1.157] has joined #bitcoin-wizards
02:00 -!- midnightmagic1 [~midnightm@192.145.126.244] has quit []
02:22 -!- brrr [~brrr@185.5.172.148] has joined #bitcoin-wizards
02:22 -!- brrr is now known as Guest6155
02:34 -!- setpill [~setpill@unaffiliated/setpill] has joined #bitcoin-wizards
03:05 -!- jimmyrizzle [~z@213.205.242.87] has quit [Quit: Leaving.]
03:06 -!- gie [~raido@2001:1560:2:0:5461:7658:d545:afa3] has left #bitcoin-wizards ["Leaving"]
03:21 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...]
03:32 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards
03:42 -!- vdo [~vdo1138@unaffiliated/vdo] has quit [Ping timeout: 246 seconds]
03:50 -!- jimmyrizzle [~z@213.205.242.87] has joined #bitcoin-wizards
04:02 -!- jimmyrizzle [~z@213.205.242.87] has left #bitcoin-wizards []
04:09 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
04:37 -!- Aaronvan_ [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards
04:40 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 259 seconds]
04:47 -!- shesek [~shesek@unaffiliated/shesek] has quit [Ping timeout: 245 seconds]
05:00 -!- Guest6155 [~brrr@185.5.172.148] has quit []
05:04 -!- chendo_ [~chendo_@185.178.49.150] has joined #bitcoin-wizards
05:18 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has joined #bitcoin-wizards
05:43 -!- shesek [~shesek@5.102.219.164] has joined #bitcoin-wizards
05:43 -!- shesek [~shesek@5.102.219.164] has quit [Changing host]
05:43 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards
05:47 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has quit [Read error: Connection timed out]
05:56 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has joined #bitcoin-wizards
05:58 -!- shesek [~shesek@unaffiliated/shesek] has quit [Ping timeout: 258 seconds]
06:08 -!- copumpkin [~copumpkin@haskell/developer/copumpkin] has joined #bitcoin-wizards
06:09 < copumpkin> anyone remember how large the proofs of sudoku were in the POC ZKCP a few years ago? The blog post mentions how long it takes to verify but I swear I remember reading sizes somewhere as well
06:30 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has joined #bitcoin-wizards
06:32 -!- Dean_Guss [~dean@gateway/tor-sasl/deanguss] has quit [Ping timeout: 256 seconds]
06:34 -!- Aaronvan_ is now known as AaronvanW
06:48 -!- Jaamg_ [jhpiloma@gateway/shell/tkk.fi/x-pdolsqjdqoshdtxs] has quit [Remote host closed the connection]
06:49 -!- jnewbery [~john@rrcs-184-74-240-156.nyc.biz.rr.com] has joined #bitcoin-wizards
06:58 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has quit [Read error: Connection reset by peer]
07:00 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has joined #bitcoin-wizards
07:44 -!- michaelsdunn1 [~michaelsd@unaffiliated/michaelsdunn1] has joined #bitcoin-wizards
07:55 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has quit [Remote host closed the connection]
07:59 -!- fletom [~fletom@104.163.186.44] has quit [Ping timeout: 244 seconds]
07:59 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has joined #bitcoin-wizards
08:00 -!- chendo_ [~chendo_@185.178.49.150] has quit []
08:00 -!- fletom [~fletom@104.163.186.44] has joined #bitcoin-wizards
08:02 -!- jimmysong_ [~jimmysong@65-36-83-142.static.grandenetworks.net] has joined #bitcoin-wizards
08:03 -!- setpill [~setpill@unaffiliated/setpill] has quit [Quit: o/]
08:04 -!- Luke-Jr-jr [~Luke-Jr-j@84.39.117.57] has joined #bitcoin-wizards
08:05 -!- jimmysong [~jimmysong@65-36-83-142.static.grandenetworks.net] has quit [Ping timeout: 258 seconds]
08:06 -!- mode/#bitcoin-wizards [+o luke-jr] by ChanServ
08:06 -!- Luke-Jr-jr was kicked from #bitcoin-wizards by luke-jr [User terminated!]
08:06 -!- mode/#bitcoin-wizards [-o luke-jr] by luke-jr
08:21 -!- kirb1 [~kirb@185.178.49.150] has joined #bitcoin-wizards
08:48 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has quit [Remote host closed the connection]
08:51 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...]
08:57 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has joined #bitcoin-wizards
08:59 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards
09:00 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has quit [Remote host closed the connection]
09:06 -!- rjected [~rjected@245-wifi-vip.cictr.com] has joined #bitcoin-wizards
09:10 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has joined #bitcoin-wizards
09:38 -!- enemabandit [~enemaband@185.227.37.188.rev.vodafone.pt] has quit [Ping timeout: 246 seconds]
09:39 -!- shesek [~shesek@5.102.219.164] has joined #bitcoin-wizards
09:39 -!- shesek [~shesek@5.102.219.164] has quit [Changing host]
09:39 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards
10:11 -!- enemabandit [~enemaband@16.77.54.77.rev.vodafone.pt] has joined #bitcoin-wizards
10:34 -!- enemabandit [~enemaband@16.77.54.77.rev.vodafone.pt] has quit [Ping timeout: 246 seconds]
11:00 -!- kirb1 [~kirb@185.178.49.150] has quit []
11:04 -!- Leo_Verto [~Leo_Verto@178.162.209.171] has joined #bitcoin-wizards
11:04 -!- Leo_Verto is now known as Guest40156
12:29 -!- sfhi [~sfhi@178.255.154.107] has joined #bitcoin-wizards
12:36 -!- davterra [~tralfaz@178.128.106.205] has joined #bitcoin-wizards
12:52 < ysangkok> copumpkin: the ZKCSP paper says pay-to-sudoku was 115K. http://stevengoldfeder.com/papers/ZKCSP.pdf
12:53 -!- sfhi [~sfhi@178.255.154.107] has quit [Quit: Leaving]
12:55 < ysangkok> ah there are so many parameters and sizes in there, better read the whole paper and don't quote me on 115K which is apparently just one
13:12 -!- shesek [~shesek@unaffiliated/shesek] has quit [Ping timeout: 245 seconds]
13:31 < gmaxwell> copumpkin: it's just a snark proof, the proof itself is really small, like 288 bytes.
13:32 < gmaxwell> though that particular scheme requires the verifer transmit to the prover the proving key, which is quite big.
13:34  * midnightmagic stabs scummy impersonator
13:36 < copumpkin> ah, cool
13:36 < copumpkin> thanks!
13:41 < gmaxwell> (but the proving key can be used many times...)
13:50 < copumpkin> yeah
13:50 < copumpkin> has there been much work in that space since the ZKCSP paper came out?
13:56 -!- sfhi [~sfhi@178.255.154.107] has joined #bitcoin-wizards
13:59 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)]
14:00 -!- Guest40156 [~Leo_Verto@178.162.209.171] has quit []
14:04 -!- mathepauker [~mathepauk@84.39.117.57] has joined #bitcoin-wizards
14:09 -!- sfhi [~sfhi@178.255.154.107] has quit [Quit: Leaving]
14:27 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has quit [Quit: pinheadmz]
14:28 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has joined #bitcoin-wizards
14:30 -!- shesek [~shesek@5.22.134.182] has joined #bitcoin-wizards
14:30 -!- shesek [~shesek@5.22.134.182] has quit [Changing host]
14:30 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards
14:42 -!- tromp [~tromp@2a02:a210:1585:3200:9157:f0d1:1acf:d928] has quit [Remote host closed the connection]
14:53 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has quit [Read error: Connection reset by peer]
15:01 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has joined #bitcoin-wizards
15:01 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has quit [Quit: pinheadmz]
15:16 -!- tromp [~tromp@2a02:a210:1585:3200:9157:f0d1:1acf:d928] has joined #bitcoin-wizards
15:18 -!- rjected [~rjected@245-wifi-vip.cictr.com] has quit [Ping timeout: 245 seconds]
15:20 -!- tromp [~tromp@2a02:a210:1585:3200:9157:f0d1:1acf:d928] has quit [Ping timeout: 258 seconds]
15:38 -!- michaelsdunn1 [~michaelsd@unaffiliated/michaelsdunn1] has quit [Remote host closed the connection]
15:47 -!- rjected [~rjected@18.20.4.41] has joined #bitcoin-wizards
15:56 -!- whitez00 [whitez00@gateway/vpn/protonvpn/whitez00] has quit [Quit: Konversation terminated!]
15:58 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...]
16:02 -!- pinheadmz [~matthewzi@c-67-170-233-212.hsd1.ca.comcast.net] has joined #bitcoin-wizards
16:04 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has joined #bitcoin-wizards
16:05 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards
16:17 -!- mryandao_ [~mryandao@gateway/tor-sasl/mryandao] has joined #bitcoin-wizards
16:18 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has quit [Remote host closed the connection]
16:56 -!- rjected [~rjected@18.20.4.41] has quit [Quit: WeeChat 2.4]
16:58 -!- tromp [~tromp@2a02:a210:1585:3200:b8e3:40de:8720:48ec] has joined #bitcoin-wizards
17:00 -!- mathepauker [~mathepauk@84.39.117.57] has quit []
17:02 -!- tromp [~tromp@2a02:a210:1585:3200:b8e3:40de:8720:48ec] has quit [Ping timeout: 258 seconds]
17:17 -!- obruT1 [~obruT@185.178.49.150] has joined #bitcoin-wizards
17:32 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has joined #bitcoin-wizards
17:36 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has quit [Ping timeout: 258 seconds]
18:30 -!- pinheadmz [~matthewzi@c-67-170-233-212.hsd1.ca.comcast.net] has quit [Quit: pinheadmz]
18:48 < Madars> another option would be using a non-succinct proof system (e.g. Bulletproofs) which heuristically would let you transmit just a PRF seed
18:49 < Madars> so proofs become larger but you save on transmitting the proving key (and for not many sudokus ends up being a net win in communication complexity)
18:52 < Madars> another immediate improvement would be swapping out SHA256 for a different hash function (e.g. Blake2 used in Zcash has a cheaper circuit than SHA256)
18:54 -!- mryandao_ is now known as mryandao
18:55 < Madars> (whoops, the latter would not be Bitcoin-compatible as you can't do Blake2 inside a scriptPubKey)
19:00 -!- ccdle12 [~ccdle12@1-64-37-052.static.netvigator.com] has quit [Remote host closed the connection]
19:03 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 258 seconds]
19:20 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has joined #bitcoin-wizards
19:25 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has quit [Ping timeout: 250 seconds]
19:37 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has quit [Ping timeout: 246 seconds]
19:39 -!- Belkaar [~Belkaar@xdsl-78-35-82-29.nc.de] has joined #bitcoin-wizards
19:39 -!- Belkaar [~Belkaar@xdsl-78-35-82-29.nc.de] has quit [Changing host]
19:39 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has joined #bitcoin-wizards
20:00 -!- obruT1 [~obruT@185.178.49.150] has quit []
20:16 -!- Lord1 [~Lord@184.75.223.195] has joined #bitcoin-wizards
21:08 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has joined #bitcoin-wizards
21:13 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has quit [Ping timeout: 258 seconds]
22:02 -!- instagibbs [~instagibb@pool-100-15-135-248.washdc.fios.verizon.net] has quit [Ping timeout: 246 seconds]
22:09 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has joined #bitcoin-wizards
22:09 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...]
22:17 -!- brianhoffman_ [~brianhoff@pool-72-83-155-130.washdc.fios.verizon.net] has joined #bitcoin-wizards
22:19 -!- brianhoffman [~brianhoff@pool-72-83-155-130.washdc.fios.verizon.net] has quit [Ping timeout: 244 seconds]
22:19 -!- brianhoffman_ is now known as brianhoffman
22:38 -!- ccdle12 [~ccdle12@082-016.onebb.com] has joined #bitcoin-wizards
22:44 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards
22:54 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has quit [Quit: pinheadmz]
22:55 -!- pinheadmz [~matthewzi@c-73-92-181-51.hsd1.ca.comcast.net] has joined #bitcoin-wizards
22:56 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has joined #bitcoin-wizards
23:00 -!- Lord1 [~Lord@184.75.223.195] has quit []
23:01 -!- tromp [~tromp@2a02:a210:1585:3200:392f:7e06:2f29:86cc] has quit [Ping timeout: 258 seconds]
23:06 -!- Sho_1 [~Sho_@31.13.191.137] has joined #bitcoin-wizards
23:09 -!- Dean_Guss [~dean@gateway/tor-sasl/deanguss] has joined #bitcoin-wizards
23:23 -!- antanst863 [~antanst@62.169.219.213] has joined #bitcoin-wizards
23:24 -!- antanst86 [~antanst@62.169.219.213] has quit [Ping timeout: 255 seconds]
23:43 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 246 seconds]
23:47 -!- achow101 [~achow101@unaffiliated/achow101] has joined #bitcoin-wizards
--- Log closed Tue May 21 00:00:18 2019