--- Day changed Sun Oct 04 2015
08:51 -!- CodeShark [~CodeShark@cpe-76-167-237-202.san.res.rr.com] has quit []
12:26 -!- GAit_Alt [~GAit@2-228-102-100.ip191.fastwebnet.it] has joined #secp256k1
12:30 -!- GAit [~GAit@2-228-102-100.ip191.fastwebnet.it] has quit [Ping timeout: 260 seconds]
12:30 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has quit [Ping timeout: 260 seconds]
12:30 -!- evoskuil [~evoskuil@73.225.134.208] has joined #secp256k1
12:30 -!- GAit_Alt is now known as GAit
12:31 -!- GAit is now known as Guest11115
14:34 <@gmaxwell> sipa: in fe_verify,  is r &= (d[0] <= 0xFFFFFFFFFFFFFULL * m);
14:34 <@gmaxwell> right or should it be r &= (d[0] < 0x10000000000000ULL * m); ?
14:55 < sipa> i think the original is right
14:59 <@gmaxwell> okay, I agree. I think I was reasoning too much about the height of the maximum carry for magnitude, vs multiple of the largest normalized limbs.
15:35 -!- fkhan [weechat@gateway/vpn/mullvad/x-sctfgutvdtvqpuex] has quit [Read error: Connection reset by peer]
15:54 -!- fkhan [weechat@gateway/vpn/mullvad/x-gprnhghujoehtoec] has joined #secp256k1
17:15 -!- CodeShark [CodeShark@cpe-76-167-237-202.san.res.rr.com] has joined #secp256k1
18:20 -!- CodeShark [CodeShark@cpe-76-167-237-202.san.res.rr.com] has quit []
20:14 -!- CodeShark [CodeShark@cpe-76-167-237-202.san.res.rr.com] has joined #secp256k1