--- Log opened Mon Jun 26 00:00:41 2023
01:03 -!- ajonas [sid385278@id-385278.helmsley.irccloud.com] has quit [Server closed connection]
01:03 -!- ajonas [sid385278@id-385278.helmsley.irccloud.com] has joined #secp256k1
02:39 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
02:43 -!- siv2r [~siv2rmatr@2001:470:69fc:105::fed3] has quit [Server closed connection]
02:50 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
03:05 -!- theStack [~theStack@95.179.145.232] has quit [Ping timeout: 252 seconds]
03:46 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
03:59 -!- theStack [~theStack@95.179.145.232] has joined #secp256k1
03:59 < theStack> join #utreexo
03:59 < theStack> (oops)
03:59 -!- siv2r [~siv2rmatr@2001:470:69fc:105::fed3] has joined #secp256k1
04:44 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
07:26 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
08:23 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
09:44 < real_or_random> it looks like fiat-crypto may move into a direction that doesn't fit our existing code https://github.com/mit-plv/fiat-crypto/issues/1560#issuecomment-1607323441
09:46 < real_or_random> our choice was to base our 64-code  on uint128_t, and emulate it using a struct if necessary. and we have formally verified code for the struct emulation which I wouldn't just throw away
10:06 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
11:00 -!- tromp [~textual@92.110.219.57] has joined #secp256k1
11:04 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
11:10 -!- preimage [~halosghos@user/halosghost] has quit [Ping timeout: 240 seconds]
12:43 -!- tromp [~textual@92.110.219.57] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
13:12 -!- tromp [~textual@92.110.219.57] has joined #secp256k1
13:27 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
13:58 -!- tromp [~textual@92.110.219.57] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
14:06 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
14:18 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.8]
14:43 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
15:53 -!- meshcoll- [meshcollid@meshcollider.jujube.rpblc.net] has quit [Ping timeout: 246 seconds]
15:53 -!- meshcollider [meshcollid@jujube.rpblc.net] has joined #secp256k1
15:54 -!- BlueMatt[m] [~bluemattm@2001:470:69fc:105::1:5092] has quit [Ping timeout: 255 seconds]
15:54 -!- stratospher[m] [~stratosph@2001:470:69fc:105::2:728e] has quit [Ping timeout: 255 seconds]
15:54 -!- sipa [~sipa@user/sipa] has quit [Ping timeout: 255 seconds]
16:59 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1
22:19 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.8]
23:24 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
--- Log closed Tue Jun 27 00:00:42 2023