--- Log opened Mon Jan 30 00:00:30 2023
00:16 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
05:46 -!- roze_paul [~quassel@132.216.191.43] has joined ##miniscript
07:52 -!- jon_atack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer]
07:53 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
08:44 < darosior> So i've been trying to implement the stack size check during execution i'm describing in https://gist.github.com/sipa/06c5c844df155d4e5044c2c8cac9c05e?permalink_comment_id=4383517#gistcomment-4383517 for TapMiniscript instead of the scoring metric described in the gist. But i just realized it is actually not necessary. Maybe i've just been looking
08:44 < darosior> at this for too long, but it seems to me this holds: "the execution of any Miniscript fragment will never increase the stack size by more than 2 items, whether it is during or after its execution".
08:45 < darosior> And if it does hold then we don't need to bother implementing neither the scoring nor the execution-stack-size check, just only ever accept scripts that have a maximum input stack size below or equal to 998
09:51 -!- roze_paul [~quassel@132.216.191.43] has quit [Remote host closed the connection]
10:06 -!- roze_paul [~quassel@132.216.191.43] has joined ##miniscript
10:11 -!- roze_paul [~quassel@132.216.191.43] has quit [Ping timeout: 252 seconds]
10:13 -!- roze_paul [~quassel@132.216.191.43] has joined ##miniscript
10:36 -!- roze_paul [~quassel@132.216.191.43] has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
10:37 -!- roze_paul [~quassel@132.216.191.43] has joined ##miniscript
13:53 -!- roze_paul [~quassel@132.216.191.43] has quit [Remote host closed the connection]
21:32 -!- meshcollider [meshcollid@user/meshcollider] has quit [Remote host closed the connection]
21:48 -!- meshcollider [meshcollid@meshcollider.jujube.ircnow.org] has joined ##miniscript
--- Log closed Tue Jan 31 00:00:31 2023