--- Log opened Wed Jun 17 00:00:53 2020
00:32 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 272 seconds]
01:17 -!- jonatack [~jon@213.152.161.69] has joined #secp256k1
01:28 -!- jonatack [~jon@213.152.161.69] has quit [Ping timeout: 260 seconds]
01:29 -!- jonatack [~jon@37.171.126.207] has joined #secp256k1
01:34 -!- belcher [~belcher@unaffiliated/belcher] has joined #secp256k1
02:41 -!- reallll [~belcher@unaffiliated/belcher] has joined #secp256k1
02:45 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 265 seconds]
02:45 -!- reallll is now known as belcher
04:30 -!- jonatack [~jon@37.171.126.207] has quit [Read error: Connection reset by peer]
04:46 -!- jonatack [~jon@104.254.90.243] has joined #secp256k1
06:08 -!- jonatack [~jon@104.254.90.243] has quit [Quit: jonatack]
06:57 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #secp256k1
07:52 -!- roconnor [~roconnor@host-45-78-199-248.dyn.295.ca] has joined #secp256k1
07:53 < roconnor> For the record I've only proven the 32-bit field multiplication implementation in is correct (and not even proven equivalent to Simplicity yet), and the rest is lofty goals.
13:10 -!- fjahr_ [sid374480@gateway/web/irccloud.com/x-rttuizyvrxqquuxg] has joined #secp256k1
13:12 -!- ensign [~ensign@integer.musalbas.com] has joined #secp256k1
13:12 -!- roconnor_ [~roconnor@host-45-78-199-248.dyn.295.ca] has joined #secp256k1
13:18 -!- Netsplit *.net <-> *.split quits: roconnor, zmanian_, fjahr, ensign_, Madars
13:18 -!- fjahr_ is now known as fjahr
13:22 -!- zmanian_ [sid113594@gateway/web/irccloud.com/x-ujxhqpnmykmwfvpp] has joined #secp256k1
13:24 -!- Madars [~null@unaffiliated/madars] has joined #secp256k1
13:36 -!- felixweis [sid154231@gateway/web/irccloud.com/x-lltapfrlamgfxrnm] has quit [Ping timeout: 272 seconds]
13:38 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-axwjvfwwthppwdgd] has quit [Ping timeout: 246 seconds]
13:44 -!- wallet42 [sid154231@gateway/web/irccloud.com/x-qxkrpcnnakptdxdo] has quit [Ping timeout: 260 seconds]
14:36 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-vfkoqkwnbgxbpgjt] has joined #secp256k1
14:40 -!- felixweis [sid154231@gateway/web/irccloud.com/x-suspeprsccnintnc] has joined #secp256k1
14:42 -!- wallet42 [sid154231@gateway/web/irccloud.com/x-orcxygljjkiomkiq] has joined #secp256k1
15:19 -!- windsok [~windsok@unaffiliated/windsok] has quit [Remote host closed the connection]
15:22 -!- windsok [~windsok@rarepepe.cash] has joined #secp256k1
15:22 -!- windsok [~windsok@rarepepe.cash] has quit [Changing host]
15:22 -!- windsok [~windsok@unaffiliated/windsok] has joined #secp256k1
16:50 -!- belcher [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]
22:25 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Quit: ZNC - http://znc.sourceforge.net]
22:26 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #secp256k1
--- Log closed Thu Jun 18 00:00:53 2020