--- Log opened Mon Oct 30 00:00:10 2023
01:15 < bitcoin-git> [secp256k1] R3DRUN3 opened pull request #1435: add latest release badge (master...master) https://github.com/bitcoin-core/secp256k1/pull/1435
01:33 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
04:48 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
04:51 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:37 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Read error: Connection reset by peer]
05:39 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:40 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
05:41 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:43 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
05:44 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:55 -!- jonatack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer]
06:21 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
07:40 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
08:09 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
08:16 < real_or_random> laanwj: thanks!
08:26 < bitcoin-git> [secp256k1] R3DRUN3 closed pull request #1435: add latest release badge (master...master) https://github.com/bitcoin-core/secp256k1/pull/1435
08:31 -!- Murch[m] [~murch@2620:6e:a000:ce11::1b] has left #secp256k1 []
08:31 -!- Murch[m] [~murch@2620:6e:a000:ce11::1b] has joined #secp256k1
08:32 -!- Murch[m] [~murch@2620:6e:a000:ce11::1b] has left #secp256k1 []
10:01 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Read error: Connection reset by peer]
10:12 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
10:40 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 245 seconds]
10:43 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
10:49 -!- jonatack [~jonatack@user/jonatack] has quit [Remote host closed the connection]
11:03 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
11:06 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
11:13 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
15:06 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 4.1.0]
15:36 < roconnor> I've finished my VST proof of the correctness of secp256k1_fe_mul_inner.  I still need to tidy some stuff up and cut and paste the argument for secp256k1_fe_sqr_inner.
16:12 -!- sanket1729_ [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has joined #secp256k1
16:12 -!- jonasschnelli_ [~jonasschn@2a01:4f9:3081:504d::2] has joined #secp256k1
16:14 -!- HumanG33k [~HumanG33k@82.66.65.160] has joined #secp256k1
16:15 -!- jonasschnelli [~jonasschn@2a01:4f9:3081:504d::2] has quit [Ping timeout: 264 seconds]
16:15 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has quit [Ping timeout: 264 seconds]
16:15 -!- HumanGeek [~HumanG33k@82.66.65.160] has quit [Ping timeout: 264 seconds]
17:05 -!- kanzure [~kanzure@user/kanzure] has quit [Quit: leaving]
17:25 -!- kanzure [~kanzure@user/kanzure] has joined #secp256k1
23:22 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Read error: Connection reset by peer]
23:22 -!- bob_x1 [~bob_x@user/bob-x1/x-8934932] has quit [Read error: Connection reset by peer]
23:23 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
23:23 -!- bob_x1 [~bob_x@user/bob-x1/x-8934932] has joined #secp256k1
--- Log closed Tue Oct 31 00:00:11 2023