--- Log opened Wed Jun 19 00:00:46 2019
00:25 -!- reallll [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]
00:26 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1
08:01 -!- elichai2 [uid212594@gateway/web/irccloud.com/x-bzcrdxgjoctdrtyr] has joined #secp256k1
08:12 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has joined #secp256k1
08:13 < roconnor> nickler: FWIW secp256k1_fe_is_quad_var is used in schnorr signature verification.  Either that or I'm doing something terribly wrong.
08:15 < roconnor> I mean secp256k1_gej_has_quad_y_var calls secp256k1_fe_is_quad_var.
09:05 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has quit [Ping timeout: 245 seconds]
10:52 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has joined #secp256k1
10:57 -!- roconnor_ [~roconnor@host-192.252-160-240.dyn.295.ca] has joined #secp256k1
10:57 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has quit [Ping timeout: 258 seconds]
11:00 < elichai2> roconnor_:  what are you trying to do?
11:06 -!- roconnor_ [~roconnor@host-192.252-160-240.dyn.295.ca] has left #secp256k1 []
11:06 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has joined #secp256k1
11:07 < roconnor> elichai2: I've reimplemented libsecp256k1's schnorr signature verification in Simplicity.
11:10 < elichai2> oh. I know nothing about simplicity :/
11:13 < roconnor> It's not so important.  I only mention it because (a) I only implemented verification and (b) I reimplemented secp256k1_fe_is_quad_var.  Therefore secp256k1_fe_is_quad_var is needed for verification (or I don't know what I'm doing).
11:16 < elichai2> yeah `secp256k1_fe_is_quad_var` is needed for verification
11:16 < elichai2> you need to verify the jacobi symbol
11:16 < elichai2> how did you reimplement it? does it have access to gmp?(secp256k1_fe_is_quad_var uses `mpz_jacobi`)
11:17 < roconnor> There is an alternative for if you don't have gmp floating around in there.
11:17 < elichai2> oh right of course. so is there a problem? did it not work?
11:18 < roconnor> It works fine.  It's just that nickler said ``As far as I can tell there's no secp256k1_fe_is_quad_var in verification. It's used in signing but there we have the affine coordinates anyway. In verification we use secp256k1_gej_has_quad_y_var.``
11:20 < roconnor> But secp256k1_gej_has_quad_y_var calls secp256k1_gej_has_quad_y_var, ... so I'm guessing I misunderstood what he meant.
11:20 < roconnor> *calls secp256k1_fe_is_quad_var
11:20 < elichai2> yeah it's the same thing basically
11:20 < elichai2> but in verification it's not over a point
11:21 < elichai2> just over `y/z
11:21 < elichai2> (I was actually pretty confused about it because it's jacobian coordinates not affine)
11:22 < roconnor> thankfully there is a comment.
11:22 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/2ebdad772af770b4587af0856de27c63de1b03be/src/group_impl.h#L698-L700
11:27 < elichai2> but if you have affine coordinates you can just use it like in signing
13:22 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 246 seconds]
13:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
14:27 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Quit: ZNC - http://znc.sourceforge.net]
14:27 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
15:20 -!- roconnor [~roconnor@host-192.252-160-240.dyn.295.ca] has quit [Quit: Konversation terminated!]
16:10 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
16:10 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Read error: Connection reset by peer]
16:11 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
16:42 -!- reallll [~belcher@unaffiliated/belcher] has joined #secp256k1
16:45 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 258 seconds]
17:00 -!- elichai2 [uid212594@gateway/web/irccloud.com/x-bzcrdxgjoctdrtyr] has quit [Quit: Connection closed for inactivity]
17:32 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has quit [Ping timeout: 264 seconds]
18:57 -!- harding [~harding@c-73-112-147-20.hsd1.nj.comcast.net] has quit [Ping timeout: 272 seconds]
19:04 -!- harding [~harding@c-73-112-147-20.hsd1.nj.comcast.net] has joined #secp256k1
20:06 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
20:06 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
20:12 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Ping timeout: 248 seconds]
23:47 -!- harding [~harding@c-73-112-147-20.hsd1.nj.comcast.net] has quit [Ping timeout: 245 seconds]
--- Log closed Thu Jun 20 00:00:47 2019