--- Day changed Tue Jan 12 2016 01:27 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 01:33 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has quit [Ping timeout: 240 seconds] 01:34 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has joined #secp256k1 01:37 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has joined #secp256k1 01:53 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-gfanfzttnlduggox] has quit [Ping timeout: 265 seconds] 02:06 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-djnbtucaznrwlaur] has joined #secp256k1 02:18 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-djnbtucaznrwlaur] has quit [Ping timeout: 250 seconds] 02:30 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 02:31 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-spytojzsmsqduopu] has joined #secp256k1 02:57 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has quit [Ping timeout: 276 seconds] 03:15 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #secp256k1 04:13 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has joined #secp256k1 04:35 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has quit [Ping timeout: 240 seconds] 04:36 -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has joined #secp256k1 04:50 -!- GAit1 [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #secp256k1 04:51 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Ping timeout: 246 seconds] 05:08 -!- GAit1 [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Quit: Leaving.] 05:10 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #secp256k1 05:12 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-spytojzsmsqduopu] has quit [Ping timeout: 240 seconds] 05:29 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-ydzhujybzchvrrmf] has joined #secp256k1 06:18 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has quit [Ping timeout: 264 seconds] 06:19 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has joined #secp256k1 06:40 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has quit [Ping timeout: 265 seconds] 06:42 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has joined #secp256k1 07:18 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Quit: Leaving.] 07:27 -!- GAit [~GAit@2.228.102.98] has joined #secp256k1 08:30 -!- GAit [~GAit@2.228.102.98] has quit [Quit: Leaving.] 08:33 < nickler> unfortunately klee can't really achieve what we want (either execute test inputs and then solve for remaining paths OR select a specific line we would like to cover). I am now running klee with a solver timeout of 3 days on scalar_mul, scalar_mul_512 and scalar_sqr_512. 08:33 -!- lecusemble [~lecusembl@f9beb4d9.violates.me] has quit [Ping timeout: 250 seconds] 08:35 < nickler> Alternatives which might be able to achieve are unmaintained for several years (zesti [a klee fork] or otter) or just a unreviewed PR request (afl plugin for s2e) 08:37 -!- lecusemble [~lecusembl@f9beb4d9.violates.me] has joined #secp256k1 09:31 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has joined #secp256k1 10:07 -!- GAit [~GAit@2-228-102-98.ip191.fastwebnet.it] has quit [Quit: Leaving.] 11:08 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-ydzhujybzchvrrmf] has quit [Ping timeout: 246 seconds] 11:25 -!- fkhan_ [weechat@gateway/vpn/mullvad/x-wbdsvzrpxkxbgwkl] has joined #secp256k1 11:50 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 12:24 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 12:26 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 12:50 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 13:25 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 13:32 -!- sipa [~pw@2a02:348:86:3011::1] has quit [Changing host] 13:32 -!- sipa [~pw@unaffiliated/sipa1024] has joined #secp256k1 13:36 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 13:39 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 13:44 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 13:46 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 14:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer] 14:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 14:46 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 276 seconds] 15:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.] 15:12 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 17:46 < andytoshi> so, gmaxwell's inversion free verify depends on the group order being more than half the field order 17:46 < andytoshi> vhich means that on an order 13 group it is the constant zero function :) 17:46 < andytoshi> so i can't do an exhaustive check 17:51 < sipa> ifdef it out 17:51 < sipa> it's an optimization you can enable or not 17:52 < sipa> you can even test without the optimization on the original curve 17:57 < andytoshi> i don't think so .. my failure is hitting the final 'return 0' in sig_verify 18:04 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has quit [Ping timeout: 255 seconds] 18:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer] 18:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 22:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer] 22:37 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1 23:40 -!- jeffarirlpone [~jeffarirl@93-40-143-134.ip39.fastwebnet.it] has joined #secp256k1 23:44 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has joined #secp256k1