--- Day changed Thu Aug 02 2018 00:00 -!- madprops12 [~madprops@2800:bf0:9fff:fb89:264c:7ff:fe46:5cc6] has quit [Ping timeout: 265 seconds] 00:29 -!- pk124 [~pk12@z126.115-65-10.ppp.wakwak.ne.jp] has joined #secp256k1 00:30 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 255 seconds] 00:30 -!- pk124 [~pk12@z126.115-65-10.ppp.wakwak.ne.jp] has quit [Remote host closed the connection] 00:37 -!- andytoshi [~apoelstra@wpsoftware.net] has joined #secp256k1 00:37 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host] 00:37 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #secp256k1 00:47 -!- Pilfers [~Pilfers@183.89.90.24] has joined #secp256k1 00:47 -!- Pilfers [~Pilfers@183.89.90.24] has quit [K-Lined] 01:05 -!- n00bington [~Ishikawa@38.132.118.202] has quit [Quit: Leaving] 01:50 -!- NeddySeagoon26 [~NeddySeag@212-181-38-210.customer.telia.com] has joined #secp256k1 01:50 -!- NeddySeagoon26 [~NeddySeag@212-181-38-210.customer.telia.com] has quit [Remote host closed the connection] 01:59 -!- Taylor5 [~Taylor@156.206.133.182] has joined #secp256k1 02:02 -!- Taylor5 [~Taylor@156.206.133.182] has quit [Read error: Connection reset by peer] 02:10 -!- sjums [~sjums@37.114.150.41] has joined #secp256k1 02:15 -!- mindjuju13 [~mindjuju@186.178.132.93] has joined #secp256k1 02:15 -!- sjums [~sjums@37.114.150.41] has quit [Ping timeout: 244 seconds] 02:16 -!- mindjuju13 [~mindjuju@186.178.132.93] has quit [Remote host closed the connection] 02:20 -!- frmus25 [~frmus@117.5.247.99] has joined #secp256k1 02:21 -!- grubles22 [~grubles@181.47.223.133] has joined #secp256k1 02:22 -!- grubles22 [~grubles@181.47.223.133] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 02:25 -!- frmus25 [~frmus@117.5.247.99] has quit [Ping timeout: 268 seconds] 02:55 -!- Guest13198 [~abraxis@220.124.138.81] has joined #secp256k1 02:56 -!- Guest13198 [~abraxis@220.124.138.81] has quit [Remote host closed the connection] 03:03 -!- MrHands0 [~MrHands@180.183.162.251] has joined #secp256k1 03:04 -!- MrHands0 [~MrHands@180.183.162.251] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 03:17 -!- programmerq1 [~programme@81.171.71.128] has joined #secp256k1 03:18 -!- programmerq1 [~programme@81.171.71.128] has quit [Remote host closed the connection] 03:34 -!- rodarmor1 [~rodarmor@82.103.133.58] has joined #secp256k1 03:34 -!- rodarmor1 [~rodarmor@82.103.133.58] has quit [Remote host closed the connection] 03:38 -!- egos19 [~egos@81.171.71.128] has joined #secp256k1 03:38 -!- egos19 [~egos@81.171.71.128] has quit [Remote host closed the connection] 03:44 -!- timwis23 [~timwis@110.46.59.212] has joined #secp256k1 03:44 -!- timwis23 [~timwis@110.46.59.212] has quit [Remote host closed the connection] 03:51 -!- tigrmesh18 [~tigrmesh@14.186.175.247] has joined #secp256k1 03:54 -!- tigrmesh18 [~tigrmesh@14.186.175.247] has quit [Remote host closed the connection] 04:04 -!- zmanian [sid113594@gateway/web/irccloud.com/x-yvemtqgiduolawze] has quit [Remote host closed the connection] 04:04 -!- CodeShark_ [sid126576@gateway/web/irccloud.com/x-hzczqgrbsmqvktdo] has quit [Remote host closed the connection] 04:05 -!- zmanian [sid113594@gateway/web/irccloud.com/x-gtpkxpdrgcbkridz] has joined #secp256k1 04:13 -!- tomek14 [~tomek@cm-134-196-97-3.revip18.asianet.co.th] has joined #secp256k1 04:14 -!- tomek14 [~tomek@cm-134-196-97-3.revip18.asianet.co.th] has quit [Killed (Unit193 (Spam is not permitted on freenode.))] 05:19 -!- Guest88252 [~erasmus@p1403114-ipngn6101akatuka.ibaraki.ocn.ne.jp] has joined #secp256k1 05:20 -!- GingerGeek28 [~GingerGee@171.6.133.170] has joined #secp256k1 05:21 -!- Guest88252 [~erasmus@p1403114-ipngn6101akatuka.ibaraki.ocn.ne.jp] has quit [Read error: Connection reset by peer] 05:24 -!- GingerGeek28 [~GingerGee@171.6.133.170] has quit [Ping timeout: 244 seconds] 06:34 -!- Ellenor6 [~Ellenor@37.114.180.18] has joined #secp256k1 06:39 -!- Ellenor6 [~Ellenor@37.114.180.18] has quit [Ping timeout: 240 seconds] 06:47 -!- exio413 [~exio4@pc-22-5-44-190.cm.vtr.net] has joined #secp256k1 06:48 -!- exio413 [~exio4@pc-22-5-44-190.cm.vtr.net] has quit [Remote host closed the connection] 07:13 -!- belcher_ [~belcher@unaffiliated/belcher] has joined #secp256k1 07:18 -!- zaberdampfer [~zaberdamp@host86-137-121-242.range86-137.btcentralplus.com] has joined #secp256k1 07:18 -!- zaberdampfer [~zaberdamp@host86-137-121-242.range86-137.btcentralplus.com] has quit [Remote host closed the connection] 07:31 -!- nyuszika7h11 [~nyuszika7@222.124.2.130] has joined #secp256k1 07:37 -!- nyuszika7h11 [~nyuszika7@222.124.2.130] has quit [Ping timeout: 240 seconds] 07:41 -!- celyr6 [~celyr@KD124212069002.ppp-bb.dion.ne.jp] has joined #secp256k1 07:43 -!- celyr6 [~celyr@KD124212069002.ppp-bb.dion.ne.jp] has quit [Remote host closed the connection] 08:05 -!- dfgg3 [~dfgg@36.80.178.245] has joined #secp256k1 08:09 -!- dfgg3 [~dfgg@36.80.178.245] has quit [Remote host closed the connection] 08:26 -!- instagibbs [~instagibb@pool-100-15-122-172.washdc.fios.verizon.net] has joined #secp256k1 08:47 -!- shentino [~shentino@103.228.245.27] has joined #secp256k1 08:47 -!- shentino is now known as Guest74837 08:47 -!- Guest74837 [~shentino@103.228.245.27] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 08:50 -!- RoBz2 [~RoBz@180.71.154.17] has joined #secp256k1 08:50 -!- RoBz2 [~RoBz@180.71.154.17] has quit [Remote host closed the connection] 08:59 -!- Neo9 [~Neo@PPPoE-78-29-71-218.san.ru] has joined #secp256k1 08:59 -!- Neo9 [~Neo@PPPoE-78-29-71-218.san.ru] has quit [Killed (Sigyn (Spam is off topic on freenode.))] 09:00 -!- ululate [~ululate@91.222.126.22] has joined #secp256k1 09:05 -!- ululate [~ululate@91.222.126.22] has quit [Ping timeout: 240 seconds] 09:33 -!- cyberlard21 [~cyberlard@41.235.175.80] has joined #secp256k1 09:39 -!- cyberlard21 [~cyberlard@41.235.175.80] has quit [Ping timeout: 260 seconds] 09:48 -!- ken2812221 [~User@180.217.140.78] has quit [Ping timeout: 276 seconds] 10:49 -!- ken2812221 [~User@180.217.182.131] has joined #secp256k1 11:08 -!- deusexbeer [~deusexbee@080-250-076-004-dynamic-pool-adsl.wbt.ru] has quit [Ping timeout: 244 seconds] 11:09 -!- deusexbeer [~deusexbee@093-092-178-150-dynamic-pool-adsl.wbt.ru] has joined #secp256k1 14:26 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/group.h#L28 <-- The infinity field here is just to cache whether or not the z value is equivalent to zero? 14:27 <@gmaxwell> roconnor: I don't think so. If the ge is the point at infinity, the other values are undefined. 14:33 < roconnor> That seems abnormal. 14:37 < roconnor> I've implemented Jacobian coordinates before and, not especially knowing what I'm doing, always used (1,1,0) as the canonical point at infinity, or (a^2,a^3,0) as the non-canonical representations of infinity. 14:38 < roconnor> Of course, testing for non-canonical field represntations of 0 is a bit expensive, so I see why you might want to cache it. 14:39 < roconnor> Although I though half the reason for affine or Jacobian coordinates was to avoid special casing the point at infinity. 14:40 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/group_impl.h#L567-L570 I see things are more complicated than I imagined. 14:41 <@gmaxwell> I have no idea if our GEJ group law happens to work out for (...,0) as infinty, the actual implementation uses the infinty flag. 14:42 <@gmaxwell> From a pure engineering hat on angle, /the/ reason to use jacobian coordinates is eliminating inversions. 14:43 <@gmaxwell> avoiding a special case or whatnot is nice but not very important, at least for non-constant-time code (it's a bit nicer in constant time code...). 14:44 < roconnor> yes, avoiding the inversions is the other half of the reason. ;) 14:46 <@gmaxwell> it didn't even occur to me that projective would be complete for infinity naturally. 14:48 < roconnor> I'm surprised. I got all my intuition for affine coordinates from working in computer graphics, where we use "point at infinity" frequently (as representations of vectors). 14:48 < roconnor> *"points at infinity". 14:49 <@gmaxwell> it might well work out, e.g. it might be possible to replace all is infinty checks on gej to normalizes to zero on z, and all the setting infinity to setting z zero. 14:50 <@gmaxwell> though sadly, even though normalizes to zero is fast, checking the flag is faster. 14:50 < roconnor> yep. 14:51 < roconnor> I see my (non-constant time) point addition function does do explicit checks on the input z coordinates to test for infinity, so obviously I'm not getting that for free. 14:51 < roconnor> But I do get that the sum of opposite points yeilds a zero z coordinate for the result. 14:52 < roconnor> and presumably the x and y satifisfy y^2 = x^3 ... 14:53 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/group_impl.h#L544-L553 14:53 < roconnor> In the comments M gets set to 0 when y1 = -y2, and that sets Z3 to 0 as well. 14:54 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/group_impl.h#L544-L553 14:54 < roconnor> This has me worried that my code is broken. :D 15:01 < roconnor> I was using a different addition formula so maaaaaaaaaybe I'm okay. 15:04 -!- belcher_ [~belcher@unaffiliated/belcher] has quit [Quit: Leaving] 19:02 < roconnor> where is the Jacobi symbol implemented? 19:19 < sipa> https://github.com/bitcoin-core/secp256k1/blob/master/src/field_impl.h#L290 20:10 < roconnor> ty 21:03 <@gmaxwell> "in GMP" 21:04 < sipa> "by computing the sqrt in an exp ladder, and checking whether the square is the original"