--- Log opened Thu Dec 10 00:00:44 2020
01:03 -!- jonatack [~jon@109.232.227.138] has quit [Remote host closed the connection]
01:04 -!- jonatack [~jon@109.232.227.138] has joined #secp256k1
06:07 -!- roconnor [~roconnor@host-45-58-200-239.dyn.295.ca] has joined #secp256k1
09:04 -!- jesseposner [~jp@2601:643:8980:bfd2:1401:d5c:a187:3181] has quit [Remote host closed the connection]
09:08 -!- virtu [~virtu@gateway/tor-sasl/virtu] has quit [Remote host closed the connection]
09:13 -!- virtu [~virtu@gateway/tor-sasl/virtu] has joined #secp256k1
14:14 -!- jesseposner [~jp@2601:643:8980:bfd2:4ca5:5aef:8068:2da7] has joined #secp256k1
14:24 -!- belcher [~belcher@unaffiliated/belcher] has quit [Read error: Connection reset by peer]
14:35 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1
15:08 -!- jonatack [~jon@109.232.227.138] has quit [Ping timeout: 246 seconds]
15:09 -!- jonatack [~jon@213.152.186.24] has joined #secp256k1
15:30 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection]
15:30 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined #secp256k1
15:30 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection]
15:34 -!- jonatack [~jon@213.152.186.24] has quit [Quit: jonatack]
15:40 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined #secp256k1
15:46 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 246 seconds]
15:48 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1
15:54 -!- jonatack [~jon@88.124.242.136] has joined #secp256k1
15:59 -!- jonatack [~jon@88.124.242.136] has quit [Ping timeout: 260 seconds]
16:00 -!- jonatack [~jon@213.152.186.40] has joined #secp256k1
16:10 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 264 seconds]
16:10 -!- belcher_ [~belcher@unaffiliated/belcher] has joined #secp256k1
16:15 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Ping timeout: 240 seconds]
16:15 -!- virtu [~virtu@gateway/tor-sasl/virtu] has quit [Ping timeout: 240 seconds]
16:20 -!- belcher_ [~belcher@unaffiliated/belcher] has quit [Ping timeout: 246 seconds]
16:27 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined #secp256k1
16:32 -!- virtu [~virtu@gateway/tor-sasl/virtu] has joined #secp256k1
17:57 -!- dr-orlovsky [~dr-orlovs@31.14.40.19] has quit [Ping timeout: 256 seconds]
21:35 -!- harding [quassel@2600:3c03::f03c:91ff:fe7b:78d1] has quit [Remote host closed the connection]
21:39 -!- harding [~quassel@newmail.dtrt.org] has joined #secp256k1
23:29 < real_or_random> https://homepage.iis.sinica.edu.tw/~bywang/papers/ccs19.pdf I was totally unaware of this work
23:30 < real_or_random> "We verify 24 C functions for various field and group operations of the secp256k1 curve used by bitcoin"
23:31 < real_or_random> I'm not sure yet what properties they verify, but at least the bounds for the limb representation
23:31 < real_or_random> see the functions on p. 13
23:40 -!- virtu [~virtu@gateway/tor-sasl/virtu] has quit [Ping timeout: 240 seconds]
23:46 -!- virtu [~virtu@gateway/tor-sasl/virtu] has joined #secp256k1
23:50 < sipa> real_or_random: !
23:51 < real_or_random> sipa: yep exactly my thoughts
23:52 < real_or_random> there are many examples in their repo but none from secp256k1 ...
23:53 < sipa> Bo-Yin Yang is one of the authors of safegcd as well
23:55 < real_or_random> oh indeed
23:56 < sipa> my comment explaining the safegcd implementation is turning more into a blog post
23:57 < sipa> https://github.com/bitcoin-core/secp256k1/pull/831/files#diff-2c82514f19a041eed87c2c968031c1b315ffdedbdbfdb6189a53fbc8b6a70d85R15-R396
--- Log closed Fri Dec 11 00:00:43 2020