--- Log opened Mon Sep 19 00:00:23 2022
02:27 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
02:49 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 268 seconds]
02:50 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
02:58 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
03:00 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 268 seconds]
03:04 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
03:20 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
03:25 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 250 seconds]
03:43 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
03:44 -!- jon_atack [~jonatack@user/jonatack] has quit [Client Quit]
04:15 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
05:26 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 268 seconds]
07:15 < michaelfolkson> The Miniscript for "A 3-of-3 that turns into a 2-of-3 after 90 days" has changed over the last few months
07:15 < michaelfolkson> Now it is: thresh(3,pk(key_1),s:pk(key_2),s:pk(key_3),sln:older(12960))
07:15 <@sipa> oh?
07:16 < michaelfolkson> It used to be: thresh(3,pk(key_1),s:pk(key_2),s:pk(key_3),sdv:older(12960))
07:16 < michaelfolkson> sdv is now sln
07:17 < michaelfolkson> From your Miniscript site, C++ compiler
07:18 < darosior> Maybe the 'd:' fragment fix? Good catch
07:19 <@sipa> dv:older is "DUP IF n CHECKSEQUENCEVERIFY VERIFY ENDIF"
07:19 < darosior> Yes, it must be that
07:19 < darosior> Because thresh requires 'u', which 'd:' rightfully doesn't have anymore
07:19 <@sipa> ln:older is "IF 0 ELSE n CHECKSEQUENCEVERIFY 0NOTEQUAL ENDIF"
07:20 <@sipa> so the older construction was definitely cheaper... i suspect it's indeed the d fix
07:21 < darosior> Yes because if i don't respect the MINIMALIF rule i can pass `<3><><><>` to satisfy the former script without any signature
07:21 < darosior> (assuming timelock is satisfied)
07:30 < michaelfolkson> The old Miniscript isn't a valid Miniscript anymore, can't put it through the analyzer
07:31 < michaelfolkson> [15:19:40]  <darosior> Because thresh requires 'u', which 'd:' rightfully doesn't have anymore
07:32 <@sipa> Yeah, that all checks out.
08:15 < michaelfolkson> Does anyone know if there is a completed version of this draft paper (O'Connor) around anywhere? https://github.com/rust-bitcoin/rust-miniscript/blob/master/doc/ReasoningAboutMultipartyMiniscript.pdf
08:21 <@sipa> ping roconnor?
08:30 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
08:43 < michaelfolkson> sipa: Sure will do, thanks
08:43 <@sipa> No, I mean, I just did ^
08:43 < michaelfolkson> Ah ok gotcha
08:44 < michaelfolkson> Think he's offline currently
08:44 <@sipa> Oh, strange.
09:12 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 250 seconds]
10:06 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
10:07 -!- jonatack [~jonatack@user/jonatack] has quit [Client Quit]
11:30 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
22:57 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
23:28 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
23:39 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 268 seconds]
23:47 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
--- Log closed Tue Sep 20 00:00:24 2022