--- Day changed Thu Nov 16 2017
02:04 -!- roconnor_ [~roconnor@host-45-78-201-152.dyn.295.ca] has quit [Ping timeout: 248 seconds]     
04:40 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #secp256k1     
05:46 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has joined #secp256k1     
05:49 -!- roconnor_ [~roconnor@host-192.252-163-122.dyn.295.ca] has joined #secp256k1     
06:23 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1     
06:24 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 248 seconds]     
06:27 -!- lukedashjr is now known as luke-jr     
06:42 < andytoshi> oh, i meant count the number of _set_ bits in a specific number
06:42 < andytoshi> ok, i'll just use the intrinsic for now. i suspect i can write a dumb loop and it'd work just as well, this isn't going to be a bottleneck
06:47 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
06:47 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #secp256k1     
06:56 < wumpus> good old popcount
07:49 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1     
07:51 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Client Quit]     
09:32 -!- oleganza [~oleganza@199-188-193-243.PUBLIC.monkeybrains.net] has joined #secp256k1     
09:47 < gmaxwell> andytoshi: same dumb loop will work more or less. change it to iterate all the bits.
10:11 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has joined #secp256k1     
10:42 -!- sipa [~pw@2001:19f0:ac01:2fb:5400:ff:fe5b:c3ff] has quit [Changing host]     
10:42 -!- sipa [~pw@unaffiliated/sipa1024] has joined #secp256k1     
12:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds]     
12:26 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1     
12:27 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 240 seconds]     
15:32 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has joined #secp256k1     
15:48 < andytoshi> i've implemented the inner product proof with dettmann's trick and sipa's multiexp code (haven't updated to jonas' yet but i'm only testing 64-bit proofs so it shouldn't matter)
15:49 < andytoshi> don't have a full rangeproof yet, so i'm unfairly going to compare the inner product proof to the old rangeproof, and i'm benchmarking on my laptop with firefox open so take this with a grain of salt
15:49 < andytoshi> old rangeproof: 130 us / bit == 4160us for a 32-bit verify
15:49 < andytoshi> innerproduct vfy: 1204us to verify 32-bit inner product; 2307us to verify a 64-bit inner product
15:49 < andytoshi> so, over 3x improvement :P
15:50 < sipa> \\0//
15:51 < andytoshi> https://github.com/apoelstra/secp256k1-mw/blob/bulletproofs/src/modules/bulletproof/inner_product_impl.h
15:53 < andytoshi> also the verifier did not need to use the scratch-space (except to pass through to the ecmult_multi) because dettmann's trick let me generate the scalars on the fly while only caching log-many of them, which i was pretty happy about
15:54 < andytoshi> see `secp256k1_bulletproof_vfy_ecmult_callback` .. i will try to write a more elaborate comment explaining the algorithm that i'm doing there, soon.  it's 6p here and i have a social obligation
16:06 < gmaxwell> hurray about dettman's trick only needing log storage!
16:23 -!- maaku [~mark@173.234.25.100] has quit [Quit: Lost terminal]     
16:30 -!- maaku [~mark@173.234.25.100] has joined #secp256k1     
17:10 < gmaxwell> andytoshi: mind if I email benedikt what you wrote above?
17:26 -!- oleganza [~oleganza@199-188-193-243.PUBLIC.monkeybrains.net] has quit [Quit: oleganza]     
17:43 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has quit [Quit: hdevalence]     
18:00 -!- Cory [~Cory@unaffiliated/cory] has quit [Ping timeout: 255 seconds]     
18:19 -!- Cory [~Cory@unaffiliated/cory] has joined #secp256k1     
19:43 < andytoshi> gmaxwell: go for it!
20:49 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1     
20:55 -!- MrBusiness [~ArcMrBism@2602:306:8325:a300:a:d288:b2ca:3c7f] has joined #secp256k1     
22:50 -!- Cory [~Cory@unaffiliated/cory] has quit [Read error: Connection reset by peer]     
22:53 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Remote host closed the connection]     
22:54 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #secp256k1     
22:58 -!- Cory [~Cory@unaffiliated/cory] has joined #secp256k1     
23:56 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 248 seconds]