--- Log opened Tue May 14 00:00:12 2019
02:48 < real_or_random> gmaxwell: https://github.com/bitcoin-core/secp256k1/pull/617
04:20 -!- jtimon [~quassel@181.61.134.37.dynamic.jazztel.es] has joined #secp256k1
07:57 -!- jtimon [~quassel@181.61.134.37.dynamic.jazztel.es] has quit [Quit: gone]
12:39 -!- roconnor_ [~roconnor@host-184-164-20-227.dyn.295.ca] has quit [Ping timeout: 258 seconds]
13:11 < midnightmagic> :-o
13:21 -!- roconnor [~roconnor@host-184-164-20-227.dyn.295.ca] has joined #secp256k1
14:33 -!- roconnor [~roconnor@host-184-164-20-227.dyn.295.ca] has quit [Ping timeout: 246 seconds]
16:20 < real_or_random> https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf I wasn't aware that there's research about this
16:20 < real_or_random> "Verifying Constant-Time Implementations"
16:25 < gmaxwell> real_or_random: some, not a ton.
16:25 < gmaxwell> I'm not aware of any useful tools we could be using.
17:52 < gmaxwell> real_or_random: have you tried the compcert interpeter yet? http://compcert.inria.fr/man/manual004.html
--- Log closed Wed May 15 00:00:13 2019