--- Log opened Mon Apr 15 00:00:28 2024
00:10 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
00:50 -!- Earnestly [~earnest@user/earnestly] has joined ##miniscript
01:55 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
01:56 < darosior> "When satisfied, they push a nonzero value of up to 4 bytes onto the stack" -> it's not the case for after()
01:57 < darosior> I think we already discussed this at some point
01:57 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 256 seconds]
02:00 < darosior> Ok, we do have the "1 ≤ n < 2^31" requirement for the after() fragment, fine
04:36 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
04:38 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
05:23 -!- pyth_ [~pyth@116.110.40.68] has quit [Remote host closed the connection]
05:32 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:61db:d7a9:f58f:4440] has quit [Remote host closed the connection]
07:42 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has joined ##miniscript
07:52 -!- achow101 [~achow101@user/achow101] has quit [Ping timeout: 256 seconds]
08:02 < andytoshi> yeah, we need the upper bound so that n: works
08:04 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has quit [Remote host closed the connection]
08:21 -!- brunoerg [~brunoerg@www.labes.icmc.usp.br] has joined ##miniscript
08:35 -!- achow101 [~achow101@user/achow101] has joined ##miniscript
08:38 -!- brunoerg_ [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
08:38 -!- brunoerg [~brunoerg@www.labes.icmc.usp.br] has quit [Read error: Connection reset by peer]
08:41 -!- achow101 [~achow101@user/achow101] has quit [Remote host closed the connection]
08:42 -!- achow101 [~achow101@user/achow101] has joined ##miniscript
08:43 -!- achow101 [~achow101@user/achow101] has quit [Remote host closed the connection]
08:43 -!- brunoerg_ [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Ping timeout: 240 seconds]
08:43 -!- achow101 [~achow101@user/achow101] has joined ##miniscript
08:43 -!- brunoerg [~brunoerg@www.labes.icmc.usp.br] has joined ##miniscript
08:48 -!- brunoerg_ [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has joined ##miniscript
08:51 -!- brunoerg [~brunoerg@www.labes.icmc.usp.br] has quit [Ping timeout: 256 seconds]
08:56 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 264 seconds]
09:04 -!- salvatoshi [~salvatosh@lfbn-idf1-1-584-25.w86-242.abo.wanadoo.fr] has joined ##miniscript
09:12 -!- brunoerg_ [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has quit [Remote host closed the connection]
09:24 -!- brunoerg_ [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has joined ##miniscript
09:29 -!- brunoerg_ [~brunoerg@2001:12d0:2080:2800:172:26:f5cb:8d3b] has quit [Ping timeout: 256 seconds]
09:41 < andytoshi> i think it wolud be better if, if you used a value of csv that isn't allowed, the result would be non-B and you'd need to wrap it in IF/ENDIF to use it. but i think that wouldn't work with miniscript's existing type system. you'd have to extend the type systsem just for this special case
09:41 < andytoshi> alternately, we could have a separate complete IF <n> CSV DROP ENDIF fragment
09:42 < andytoshi> which would be a much less invasive extension to the language
10:57 -!- salvatoshi [~salvatosh@lfbn-idf1-1-584-25.w86-242.abo.wanadoo.fr] has quit [Ping timeout: 246 seconds]
11:11 < darosior> Yeah, a bit less than 12 years to go before we really need to figure this out :p
11:12 < darosior> At least for timestamps
11:14 <@sipa> isn't the proper fix dropping that 4-byte requirement from B, and instead add a separate "max 4 byte" property?
11:14 -!- mode/##miniscript [+oo andytoshi darosior] by sipa
11:18 <@darosior> This sounds very close to a "minimally-encoded script number" property, which could be reused to programmatically compute thresholds values
11:19 <@darosior> (i still think that's useful even though you can use some tricks to avoid that in some cases)
11:19 <@darosior> Ah well under Taproot it's probably much less interesting to have anyways.
11:41 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:85cb:8d3b] has joined ##miniscript
12:17 -!- brunoerg [~brunoerg@2001:12d0:2080:2800:172:26:85cb:8d3b] has quit [Remote host closed the connection]
12:26 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
14:21 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Remote host closed the connection]
14:21 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
14:33 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Remote host closed the connection]
14:34 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has joined ##miniscript
14:38 -!- brunoerg [~brunoerg@2001:12d0:2080:6300:10:62:8:cd3b] has quit [Ping timeout: 260 seconds]
16:11 -!- Earnestly [~earnest@user/earnestly] has quit [Ping timeout: 256 seconds]
16:24 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
16:25 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Remote host closed the connection]
16:26 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
16:35 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 268 seconds]
17:03 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
17:09 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Ping timeout: 255 seconds]
17:39 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
17:45 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 268 seconds]
17:58 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
18:10 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 255 seconds]
18:26 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
18:55 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 240 seconds]
19:08 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
19:13 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 256 seconds]
19:23 -!- lbia [~lbia@user/lbia] has quit [Quit: lbia]
19:44 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
19:49 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 272 seconds]
20:16 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
20:23 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 255 seconds]
20:47 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
20:52 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 246 seconds]
21:06 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
21:15 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Ping timeout: 268 seconds]
21:28 -!- brunoerg [~brunoerg@187.183.43.117] has joined ##miniscript
21:33 -!- brunoerg [~brunoerg@187.183.43.117] has quit [Ping timeout: 256 seconds]
22:21 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
22:26 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 255 seconds]
22:46 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
22:51 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 268 seconds]
22:55 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
23:00 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 240 seconds]
23:47 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has joined ##miniscript
23:52 -!- brunoerg [~brunoerg@2804:14c:3bfb:37:5d1f:b29b:3f10:61c] has quit [Ping timeout: 255 seconds]
--- Log closed Tue Apr 16 00:00:28 2024