--- Day changed Wed Nov 15 2017 00:19 -!- andytosh1 [~apoelstra@wpsoftware.net] has quit [Ping timeout: 240 seconds] 00:32 -!- andytoshi [~apoelstra@wpsoftware.net] has joined #secp256k1 01:13 -!- MrBusiness [~ArcMrBism@mobile-166-172-56-114.mycingular.net] has joined #secp256k1 01:13 -!- MrBismuth [~ArcMrBism@mobile-166-172-56-114.mycingular.net] has joined #secp256k1 02:03 -!- roconnor_ [~roconnor@host-45-58-247-46.dyn.295.ca] has quit [Ping timeout: 240 seconds] 02:41 -!- MrBismuth [~ArcMrBism@mobile-166-172-56-114.mycingular.net] has quit [Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel] 02:41 -!- MrBusiness [~ArcMrBism@mobile-166-172-56-114.mycingular.net] has quit [Quit: https://www.youtube.com/watch?v=xIIqYqtR1lY -- Suicide is Painless - Johnny Mandel] 04:11 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #secp256k1 04:39 -!- roconnor_ [~roconnor@host-45-78-201-152.dyn.295.ca] has joined #secp256k1 04:59 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer] 05:00 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1 06:46 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has joined #secp256k1 07:24 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Quit: Leaving] 07:24 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #secp256k1 08:28 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 11:08 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Remote host closed the connection] 11:08 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #secp256k1 11:12 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has joined #secp256k1 11:56 < andytoshi> hmm, re the inversions, i need x_i^2 and also x_i^-2 for every i.. 11:57 < andytoshi> using dettmann's suggestion by email i can get all the x_i^2 and then every x_1x_2x_3 exponent in linear time and log space 11:57 < andytoshi> but the x_i^-2's are annoying me 12:01 < andytoshi> ("linear" and "log" here refer to 2^n, where i have n x_i's...arguably i should say "exp time and linear space") 12:05 < sipa> why do you need x_i^-2 ? 12:05 < andytoshi> beacuse the final multiexp includes R_i^(x_i^-2) where R_i is one of the points that is part of the proof 12:06 < andytoshi> in protocol 1 it's the `P' = L^x^2 P R^x^-2` line 12:06 < andytoshi> (26) 12:08 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Remote host closed the connection] 12:21 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has quit [Quit: hdevalence] 12:21 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has joined #secp256k1 12:24 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 12:26 < andytoshi> oh, i've got it, i have I which is a product of all the inverses, and for each i i'll have a term which has every x_i inverted but every other x_j noninverted 12:26 < andytoshi> so multiplying that by I will give me x_i^-2 12:27 < andytoshi> so i get the inverse squares with one more multiplication per :D 12:41 < andytoshi> relatedly what is the best way to count the # of bits in a size_t and to count the number of trailing zeros? there are gcc intrinsics which i'd thought we'd wrapped but i guess not 12:42 < andytoshi> or maybe i wrapped them for the jacobi symbol implementation way back when.. 12:55 -!- eck [~eck@fsf/member/eck] has joined #secp256k1 13:21 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 13:22 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Client Quit] 13:23 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 14:00 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 14:07 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has quit [Remote host closed the connection] 14:43 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 14:51 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has joined #secp256k1 17:23 -!- Netsplit *.net <-> *.split quits: zmanian, maaku, hdevalence, [b__b], echonaut, eragmus, phantomcircuit, cfields, andytoshi, roconnor_, (+21 more, use /NETSPLIT to show all of them) 17:28 -!- Cory [~Cory@unaffiliated/cory] has quit [Max SendQ exceeded] 17:28 -!- Netsplit over, joins: luke-jr, wumpus, kallewoof, midnightmagic, GAit, jonasschnelli, CodeShark, cfields, Lightsword, arubi (+21 more) 17:34 < gmaxwell> andytoshi: just use the GCC intrensic now, we'll just write a replacement before merging. 17:35 < gmaxwell> andytoshi: CHAR_BIT is bits in a char. 17:35 < gmaxwell> which you can multiply with sizeof oputputs. 17:36 -!- Cory [~Cory@unaffiliated/cory] has joined #secp256k1 17:37 < gmaxwell> andytoshi: in -zkp there is a really dumb CLZ fallback, you can copy it and twiddle it for CTZ. 17:38 < gmaxwell> (ugh, I should replace that with one that isn't so absurdly slow) 17:45 -!- hdevalence [~hdevalenc@199-188-193-243.PUBLIC.monkeybrains.net] has quit [Quit: hdevalence] 17:47 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 18:14 -!- jtimon [~quassel@164.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 240 seconds] 18:17 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 18:50 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 19:25 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 19:32 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 20:28 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 20:50 -!- nickler [~nickler@185.12.46.130] has quit [Ping timeout: 240 seconds] 20:51 -!- nickler [~nickler@185.12.46.130] has joined #secp256k1 22:16 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 22:34 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has joined #secp256k1 22:51 -!- oleganza [~oleganza@c-73-170-224-149.hsd1.ca.comcast.net] has quit [Quit: oleganza] 23:51 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Ping timeout: 248 seconds] 23:56 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #secp256k1