--- Log opened Tue Mar 29 00:00:39 2022
00:16 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
00:17 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
00:25 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
00:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
01:06 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
01:06 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
01:22 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
01:23 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
02:07 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
02:08 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
02:20 < real_or_random> that's very nice. how much work is it for us to rerun the proofs if we've never used vst?
02:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
02:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
03:07 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
03:07 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
03:20 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
03:21 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
04:00 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
04:01 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
04:30 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
04:31 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:27 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
05:28 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
05:52 -!- hg [~halosghos@user/halosghost] has joined #secp256k1
06:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
06:10 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
06:19 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
06:20 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
06:45 < roconnor> If you want you can grab https://github.com/roconnor-blockstream/secp256k1/tree/vst
06:49 < roconnor> run coqc int128_impl.v; coqc verif_int128_impl.v
06:50 < roconnor> the int128_impl.v is a generated file.  I added a comment to the top of that file with the command I ran to generate it.
06:50 < roconnor> however use of clightgen requires a licence from AbsInt.
07:11 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
07:11 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
07:16 < nickler> Now that schnorrsigs have been made non-experimental, is there anything that blocks an initial 0.x release? https://github.com/bitcoin-core/secp256k1/pull/1055
07:24 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
07:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
07:36 < hg> ooh, that's exciting
08:08 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
08:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
08:19 -!- lukedashjr [~luke-jr@user/luke-jr] has joined #secp256k1
08:21 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Ping timeout: 272 seconds]
08:22 -!- lukedashjr is now known as luke-jr
08:30 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
08:31 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
09:20 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
09:21 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
09:21 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
09:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
10:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
10:10 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
10:18 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
10:19 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 240 seconds]
11:02 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Quit: Leaving]
11:03 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
11:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
11:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
11:10 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
11:11 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
12:05 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
12:06 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
13:13 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
13:14 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
13:36 -!- halosghost [~halosghos@user/halosghost] has quit [Ping timeout: 260 seconds]
13:51 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
13:54 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
14:00 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
14:01 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
14:07 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
14:07 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
15:06 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
15:06 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
15:29 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
15:29 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
16:15 -!- lukedashjr [~luke-jr@user/luke-jr] has joined #secp256k1
16:17 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Ping timeout: 260 seconds]
16:17 -!- lukedashjr is now known as luke-jr
16:28 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
16:28 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
16:29 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
16:30 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
16:55 -!- hg [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.4.1]
17:03 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
17:04 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
17:27 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
17:27 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
17:32 -!- halosghost [~halosghos@user/halosghost] has joined #secp256k1
18:05 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
18:05 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
18:28 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
18:29 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
19:15 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
19:15 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
20:03 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
20:04 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
20:22 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
20:22 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Ping timeout: 240 seconds]
20:24 -!- ghost43_ [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
20:25 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
21:19 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
21:20 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
22:09 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
22:10 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
22:23 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
22:24 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
22:44 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Read error: Connection reset by peer]
22:46 -!- luke-jr [~luke-jr@user/luke-jr] has joined #secp256k1
23:01 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
23:02 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
23:02 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection]
23:03 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1
--- Log closed Wed Mar 30 00:00:40 2022