--- Log opened Fri Mar 06 00:00:18 2020
03:34 -!- ncantu [~ncantu@37.171.177.240] has quit [Ping timeout: 272 seconds]
03:55 -!- roconnor [~roconnor@host-104-157-187-25.dyn.295.ca] has quit [Quit: Konversation terminated!]
04:04 -!- nsh [~lol@wikipedia/nsh] has quit [Remote host closed the connection]
04:06 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 265 seconds]
04:06 -!- GAit [~GAit@unaffiliated/gait] has quit [Ping timeout: 265 seconds]
04:07 -!- andytoshi [~apoelstra@wpsoftware.net] has joined #secp256k1
04:07 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]
04:07 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #secp256k1
04:09 -!- GAit [~GAit@unaffiliated/gait] has joined #secp256k1
04:17 -!- nsh [~lol@wikipedia/nsh] has joined #secp256k1
05:44 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 240 seconds]
05:59 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
06:00 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Client Quit]
06:00 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
06:05 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 256 seconds]
06:07 -!- jonatack [~jon@134.19.179.235] has joined #secp256k1
08:52 -!- jonatack [~jon@134.19.179.235] has quit [Ping timeout: 255 seconds]
08:54 -!- jonatack [~jon@37.171.246.141] has joined #secp256k1
09:30 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Ping timeout: 240 seconds]
09:37 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined #secp256k1
10:08 < real_or_random> this looks very interesting, see the link to the paper https://github.com/mit-plv/fiat-crypto
10:10 < real_or_random> the repo seems to have code for secp256k1 too
10:10 < real_or_random> they generate formally verified very fast constant-time C code for curve arithmetic
10:11 < real_or_random> good enough such that "Implementations
10:11 < real_or_random> from our library were included in BoringSSL to replace existing
10:11 < real_or_random> specialized code, for inclusion in several large deployments for
10:11 < real_or_random> Chrome, Android, and CloudFlare."
10:16 -!- jtimon [~quassel@206.160.134.37.dynamic.jazztel.es] has joined #secp256k1
11:33 < sipa> real_or_random: yeah i've met the people working on it a few times at hacs
12:07 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
12:08 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
12:21 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
14:50 -!- jonatack [~jon@37.171.246.141] has quit [Read error: Connection reset by peer]
14:54 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
15:52 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1
16:53 -!- belcher [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]
17:51 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
17:53 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Remote host closed the connection]
17:53 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
18:28 -!- ddustin [~ddustin@unaffiliated/ddustin] has quit [Read error: Connection reset by peer]
18:28 -!- ddustin [~ddustin@unaffiliated/ddustin] has joined #secp256k1
22:07 -!- jtimon [~quassel@206.160.134.37.dynamic.jazztel.es] has quit [Ping timeout: 268 seconds]
--- Log closed Sat Mar 07 00:00:16 2020