--- Log opened Fri Oct 09 00:00:41 2020
00:30 -!- jonatack [~jon@37.171.174.75] has joined #secp256k1
00:34 -!- jonatack [~jon@37.171.174.75] has quit [Ping timeout: 256 seconds]
00:35 -!- jonatack [~jon@213.152.162.99] has joined #secp256k1
03:05 -!- belcher_ [~belcher@unaffiliated/belcher] has joined #secp256k1
03:08 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 240 seconds]
04:30 -!- jonatack [~jon@213.152.162.99] has quit [Ping timeout: 258 seconds]
05:32 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
07:35 < michaelfolkson> On https://bitcoin.stackexchange.com/questions/99362/im-digging-further-into-the-open-taproot-pr-can-you-explain-the-bip340-test-ve
07:36 < michaelfolkson> When it says "R = sG - eP is infinite" that is the point at infinity right? (Index 9)
07:37 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 260 seconds]
07:38 < michaelfolkson> I don't understand what is happening with "Test fails in single verification if has_even_y(inf) is defined as true and x(inf) as 0"
07:39 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
07:40 < michaelfolkson> The first part is deeming the y coordinate of the point at infinity to be even
07:41 < michaelfolkson> And the x coordinate to be zero?
08:06 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack]
08:10 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
08:11 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
08:19 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
08:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
08:26 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
09:03 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer]
09:06 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
09:11 < sipa> michaelfolkson: it's a test that will fail if an implementation treats the poijt at infinity as having an even y coorfinate and x=0 (which is not completely crazy, as the curve has no points with x=0)
09:19 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer]
09:19 < sipa> the point at infinity is not on the curve, and has no coordinates at all... but in implementations a representation is still needed
09:20 < sipa> so if it happens that an implementation uses (0,0) as infinity, and is_even_y returns true on that (which it shouldn't), and x() returns 0 on that... then this test will catch that
09:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
09:26 < michaelfolkson> Ok thanks. Seems strange to me but I don't know what people do wrong when they implement it. I'
09:26 < michaelfolkson> *I'd guess it makes sense based on that
09:31 -!- roconnor [~roconnor@host-45-78-205-7.dyn.295.ca] has joined #secp256k1
11:04 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 240 seconds]
11:04 -!- jonatack [~jon@213.152.162.15] has joined #secp256k1
17:36 -!- meshcollider [meshcollid@gateway/shell/ircnow/x-btdjauxcaymhdeld] has quit [Ping timeout: 260 seconds]
17:36 -!- meshcollider [meshcollid@gateway/shell/ircnow/x-ymbjzimilbdxsocu] has joined #secp256k1
--- Log closed Sat Oct 10 00:00:42 2020