--- Log opened Tue Oct 03 00:00:46 2023
05:00 -!- lbia1 is now known as lbia
05:08 -!- jamesob7 [~jamesob@185.65.135.184] has joined #secp256k1
05:09 -!- jamesob [~jamesob@108.44.248.162] has quit [Ping timeout: 240 seconds]
05:09 -!- jamesob7 is now known as jamesob
05:13 -!- jamesob2 [~jamesob@108.44.248.162] has joined #secp256k1
05:14 -!- jamesob [~jamesob@185.65.135.184] has quit [Read error: Connection reset by peer]
05:16 -!- jamesob [~jamesob@185.65.135.184] has joined #secp256k1
05:18 -!- jamesob2 [~jamesob@108.44.248.162] has quit [Ping timeout: 240 seconds]
05:39 -!- jamesob4 [~jamesob@108.44.248.162] has joined #secp256k1
05:41 -!- jamesob [~jamesob@185.65.135.184] has quit [Ping timeout: 240 seconds]
05:41 -!- jamesob4 is now known as jamesob
05:45 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
07:51 < roconnor> It's essentially a formal proof of /* [r4 r3 r2 r1 r0] = [p8 p7 p6 p5 p4 p3 p2 p1 p0] */ where r0 ... r4 are defined mathematically in accordance with the C implementation.
08:31 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
12:58 -!- preimage [~halosghos@user/halosghost] has quit [Ping timeout: 260 seconds]
13:16 -!- jonatack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer]
13:16 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
13:49 -!- DeanGuss [~dean@user/deanguss] has quit [Quit: buhbye]
13:55 -!- DeanGuss [~dean@nonplayercharacter.me] has joined #secp256k1
13:55 -!- DeanGuss [~dean@user/deanguss] has changed host
17:22 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
21:04 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
21:05 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
21:29 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 4.0.5]
22:46 -!- bob_x1 [~bob_x@user/bob-x1/x-8934932] has quit [Remote host closed the connection]
22:47 -!- bob_x1 [~bob_x@user/bob-x1/x-8934932] has joined #secp256k1
--- Log closed Wed Oct 04 00:00:46 2023