--- Log opened Fri Apr 12 00:00:28 2024
00:01 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
00:03 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 256 seconds]
00:17 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
01:35 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds]
02:57 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Remote host closed the connection]
03:14 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
03:19 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 252 seconds]
03:23 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
03:30 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
03:35 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
03:47 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
03:52 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 255 seconds]
04:04 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
04:11 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 268 seconds]
04:22 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
04:27 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 240 seconds]
04:27 < darosior> sipa, achow101: so i'm writing up on the resource limitations. Right now we differentiate the maximum script size from all others limitation, which might be surprising.
04:31 < darosior> Like if a script is larger than the maximum standard script size it is *invalid* miniscript, if it's unspendable in any other way it's not
04:33 <@sipa> hmm, interesting
04:34 < darosior> It seems clearer, as i'm writing it in a "spec language", to not mix the correctness and the resource limitations
04:37 < darosior> It just appears "implementation defined" to me: Miniscript gives you the tool to analyze these and you decide what you want to support in your software. So this could just be a discussion section instead of specification rules.
04:38 <@sipa> hmm, but there are certain resource limitations whifh make a miniscript unconditionally invalif
04:38 <@sipa> like if the script size is over 4M
04:38 <@sipa> i like the philosophical distinction though, between "invalidity because typesystem failure" and "invalidity due to resource limits'
04:39 <@sipa> because typesystem failures (at least correctness-related ones) make you unable to reason about the semantics of a mincript
04:39 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
04:47 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
04:58 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
05:04 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 268 seconds]
05:08 < darosior> Then we should bring in all resource limitations which make a script unconditionally unspendable? Like all spending paths require more than 201 opcodes to be executed (for P2WSH), or all spending paths would hit the execution stack size limit (Tapscript)?
05:10 < darosior> And then why consider only unspendable due to resource limits? `wsh(0)` could be "invalid at top level" in this case
05:15 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
05:19 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
05:22 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds]
06:00 <@sipa> fair point
06:00 <@sipa> unspendability isn't the same unanalyzable
08:32 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Remote host closed the connection]
08:49 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
08:54 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
09:03 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
09:06 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 246 seconds]
11:50 -!- pyth [~pyth@116.110.40.68] has quit [Remote host closed the connection]
12:30 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Remote host closed the connection]
12:45 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
12:51 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
13:03 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
13:09 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
13:22 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
13:28 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 240 seconds]
13:42 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
13:49 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 272 seconds]
14:00 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
14:06 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 252 seconds]
14:18 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
14:23 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 260 seconds]
14:31 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
14:36 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 240 seconds]
14:49 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
14:54 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
15:06 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
15:12 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
15:24 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
15:28 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 255 seconds]
15:32 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
15:37 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 272 seconds]
15:48 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
15:54 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 256 seconds]
16:05 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
16:14 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 268 seconds]
16:27 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
16:32 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 260 seconds]
16:33 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
16:38 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 272 seconds]
16:46 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
16:50 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 252 seconds]
17:02 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
17:09 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 255 seconds]
17:22 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
17:27 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 252 seconds]
17:34 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
17:40 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 260 seconds]
17:53 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
17:58 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 252 seconds]
18:11 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
18:16 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 264 seconds]
18:21 -!- brunoerg [~brunoerg@82.119.170.242] has joined ##miniscript
18:26 -!- brunoerg [~brunoerg@82.119.170.242] has quit [Ping timeout: 260 seconds]
20:33 -!- brunoerg [~brunoerg@i68975BB6.versanet.de] has joined ##miniscript
21:09 -!- brunoerg [~brunoerg@i68975BB6.versanet.de] has quit [Remote host closed the connection]
--- Log closed Sat Apr 13 00:00:27 2024