--- Day changed Fri Aug 03 2018 00:04 -!- tallguy10 [~tallguy@216.151.183.129] has joined #secp256k1 00:04 -!- tallguy10 [~tallguy@216.151.183.129] has quit [Remote host closed the connection] 00:04 -!- tigrmesh18 [~tigrmesh@37.233.33.133] has joined #secp256k1 00:05 -!- tigrmesh18 [~tigrmesh@37.233.33.133] has quit [Remote host closed the connection] 00:26 -!- Zapy1 [~Zapy@c-75-65-205-193.hsd1.la.comcast.net] has joined #secp256k1 00:27 -!- Zapy1 [~Zapy@c-75-65-205-193.hsd1.la.comcast.net] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 01:42 -!- cooled [~cooled@85.109.92.238] has joined #secp256k1 01:44 -!- cooled [~cooled@85.109.92.238] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 03:09 -!- Dave15 [~Dave@50.35.74.184] has joined #secp256k1 03:11 -!- Dave15 [~Dave@50.35.74.184] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 03:53 -!- Monkeh7 [~Monkeh@64.145.76.74] has joined #secp256k1 03:53 -!- Monkeh7 [~Monkeh@64.145.76.74] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 06:45 < roconnor> Surely it is just easier to compute a^((p-1)/2) mod p in a ladder. 09:34 <@gmaxwell> Thats almost what computing the non-gmp code does using sqrt. But thats a lot slower than using extgcd. 11:06 -!- deusexbeer [~deusexbee@093-092-178-150-dynamic-pool-adsl.wbt.ru] has quit [Read error: Connection reset by peer] 11:07 -!- deusexbeer [~deusexbee@093-092-177-054-dynamic-pool-adsl.wbt.ru] has joined #secp256k1 11:23 < roconnor> Ah of course, even if you do a^((p-1)/2), you still need to test if the result is -1 or 1, which still requires some sort of equivalence test. 11:33 < sipa> that'd be easy 11:34 < sipa> but raising to the (p+1)/4 power and then squaring is as much work as raising to the (p-1)/2 power 11:34 < sipa> code reuse etc 11:39 <@gmaxwell> using a ladder for this is just inefficient. If thats all we could have done, it wouldn't make made sense to specify residuosity as the tie-breaker. 11:39 <@gmaxwell> residuosity is good as a tiebreaker, because it allows replacing an inversion with a residuosity test... but thats a bad tradeoff when we use a slower implementation of residuosity than inversion. 11:42 <@gmaxwell> (of course, it's nice to have the slow option as a possiblity when code size matters more than performance...) 11:45 < sipa> of course 14:05 < roconnor> oh, secp256k1_fe_sqr is a different algorithm than secp256k1_fe_mul. 14:15 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/field_10x26_impl.h#L990-L994 14:15 < roconnor> any particular reason you choose to multiply by 2 before casting to uint64_t? 14:16 < roconnor> Is it faster to multiply by two in 32-bit land (for field_10x26_impl)? 14:18 <@gmaxwell> on 32-bit hosts there is no 64-bit multiplyer (only things like 32x32->64l 32x32->64h). 14:42 -!- sipa [~pw@unaffiliated/sipa1024] has quit [Ping timeout: 265 seconds] 15:38 -!- elenah19 [~elenah@46.109.237.166] has joined #secp256k1 15:38 -!- elenah19 [~elenah@46.109.237.166] has quit [Remote host closed the connection] 15:38 -!- balrog27 [~balrog@c-73-96-34-161.hsd1.or.comcast.net] has joined #secp256k1 15:40 -!- balrog27 [~balrog@c-73-96-34-161.hsd1.or.comcast.net] has quit [Remote host closed the connection] 15:40 -!- agris [~agris@gateway/tor-sasl/agris] has joined #secp256k1 17:17 -!- roconnor [~roconnor@host-23-91-186-203.dyn.295.ca] has quit [Ping timeout: 248 seconds] 17:30 -!- em [~em@cpe-174-106-202-159.ec.res.rr.com] has joined #secp256k1 17:32 -!- em [~em@cpe-174-106-202-159.ec.res.rr.com] has quit [Remote host closed the connection] 17:35 -!- meshcollider_ [uid246294@gateway/web/irccloud.com/x-bsaqfkejcalzqttt] has joined #secp256k1 19:30 -!- Nakato27 [~Nakato@c-73-15-108-241.hsd1.ca.comcast.net] has joined #secp256k1 19:31 -!- Nakato27 [~Nakato@c-73-15-108-241.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 19:44 -!- meshcollider_ [uid246294@gateway/web/irccloud.com/x-bsaqfkejcalzqttt] has quit [Quit: Connection closed for inactivity] 20:26 -!- roconnor [~roconnor@host-162-212-103-5.dyn.295.ca] has joined #secp256k1 21:16 -!- instagibbs [~instagibb@pool-100-15-122-172.washdc.fios.verizon.net] has quit [Ping timeout: 260 seconds] 21:17 -!- instagibbs [~instagibb@pool-100-15-122-172.washdc.fios.verizon.net] has joined #secp256k1 23:08 -!- n00bington [~tor@193.180.255.201] has joined #secp256k1 23:08 < n00bington> yo yo yo 23:09 < n00bington> so i'm trying to learn about EC math and such 23:09 < n00bington> can you recommend a resource for that?