--- Log opened Mon Dec 24 00:00:01 2018
03:29 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
06:26 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
06:30 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 250 seconds]
07:50 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has quit [Ping timeout: 264 seconds]
07:54 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has joined #secp256k1
09:24 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:29 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 240 seconds]
09:45 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
09:49 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 250 seconds]
10:10 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
10:53 < arubi> is there some significance to the r values chosen for the "Verify signature with message 1 passes." and "... message -1 passes" tests in libsecp?  I can see that for the 'm == -1' test we have 'r == p - n', and for the 'm == 1' test we have 'r == p - n - 3'.  also curious about the testing for 's == 3^-1' in the 'm == -1' test (which is supposed to fail sig verify).  or maybe I'm reading too much into it? :)
10:55 < gmaxwell> arubi: they're just set to the largest and smallest values.
10:56 < arubi> so why 'r == p - n - 3' and the invmod of 3 as s tested?
10:58 < arubi> (not in the same test)  really I'm wondering about these two values specifically
11:12 < arubi> gmaxwell, wait sorry, it's the inverse of 2 that's tested
11:12 < arubi> oh wait, it's both.  sorry again
11:31 < arubi> gmaxwell, I think I got it wrt the 'r = p - n - 3' at least.  it's the largest value where 'r + n' is also an x coordinate.  now to figure out the use of inverses of 3 and 2 :)
15:02 -!- deusexbeer [~deusexbee@093-092-180-106-dynamic-pool-adsl.wbt.ru] has joined #secp256k1
16:21 -!- deusexbeer [~deusexbee@093-092-180-106-dynamic-pool-adsl.wbt.ru] has quit [Quit: Konversation terminated!]
17:59 -!- deusexbeer [~deusexbee@093-092-180-106-dynamic-pool-adsl.wbt.ru] has joined #secp256k1
18:02 -!- deusexbeer [~deusexbee@093-092-180-106-dynamic-pool-adsl.wbt.ru] has quit [Remote host closed the connection]
18:03 -!- deusexbeer [~deusexbee@093-092-180-106-dynamic-pool-adsl.wbt.ru] has joined #secp256k1
23:54 < arubi> ok so about the inverse of 3, looks like it's the reason why it's special is because its negative mod n or mod p is itself right shifted by one bit.  cool :)
23:54 < arubi> s/it's//
--- Log closed Tue Dec 25 00:00:02 2018