--- Log opened Thu Jan 12 00:00:13 2023
00:43 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
07:35 < darosior> I think it would be very helpful to allow for dynamic threshold values in multi() and thresh. For instance for a decaying multisig. Let's say a 3-of-5 that degrades in a 2-of-5 after 30_000 blocks and into a 1-of-5 after 60_000. With today Miniscript you'd have to use 15 keys and 3 CHECKMULTISIGs. With Taproot you'll be able to reduce that but
07:35 < darosior> still it'd be bigger than just doing something like `IF <3> ELSE IF <30_000> CSV <2> ELSE <60_000> CSV <1> ENDIF ENDIF <key A> <key B> <key C> <key D> <key E> <5> CHECKMULTISIG`.
07:35 < darosior> Has the feasibility of this already been discussed? One challenge i can see is for sanity checks of the threshold value, but we could use bounds. I'd have to implement it to be sure but it seems doable to me?
07:36 < darosior> It's smaller albeit less private than in different Taproot branches.
07:37 <@sipa> Could you use multi(3, key(A), key(B), key(C), after(30000), after(60000)) ?
07:38 < darosior> Oh, nice
07:38 < darosior> You mean thresh but yeah
07:39 <@sipa> Indeed, thresh.
07:39 < darosior> Yes that works in this case
07:40 < darosior> Btw did you find time to read my comment on your gist about the "score" metric?
07:40 <@sipa> No, I've been distracted with a few other things (bip324, libsecp256k1 suff). I'll circle back to miniscript soon, I hope.
07:40 <@sipa> Context switching is hard.
07:41 < darosior> 👍
09:05 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 272 seconds]
11:44 -!- w0xlt_ [sid555702@id-555702.ilkley.irccloud.com] has joined ##miniscript
11:52 < w0xlt_> Is there a way to convert from Script to Miniscript / Policy?
11:52 <@sipa> yes
11:52 <@sipa> InferDescriptor in Bitcoin Core
12:39 < andytoshi> darosior: we (meaning sanket1729) have added arithmetic to elements-miniscript, for covenant-related reasons
12:39 < andytoshi> it actually was not a huge pain in the ass
12:39 < andytoshi> it was enough of a PITA that i don't wanna advocate bringing it into miniscript proper..
12:39 < andytoshi> ...but if we did, the result would be pretty clean IMO
12:40 < andytoshi> https://github.com/ElementsProject/elements-miniscript/blob/master/doc/extension_spec.md
12:40 < andytoshi> in particular "Index Expressions"
13:51 < w0xlt_>    sipa: Thanks. I'll take a look at that function.
14:06 -!- benma [~benma@2a02:168:5366:0:f7c2:b229:3cc7:8874] has joined ##miniscript
14:16 -!- benma [~benma@2a02:168:5366:0:f7c2:b229:3cc7:8874] has quit [Remote host closed the connection]
14:18 -!- benma [~benma@2a02:168:5366:0:f7c2:b229:3cc7:8874] has joined ##miniscript
14:30 -!- benma [~benma@2a02:168:5366:0:f7c2:b229:3cc7:8874] has left ##miniscript [Killed buffer]
14:58 < darosior> andytoshi: cool, i'll have a look at this
16:29 -!- w0xlt_ [sid555702@id-555702.ilkley.irccloud.com] has quit [Excess Flood]
16:29 -!- w0xlt_ [sid555702@id-555702.ilkley.irccloud.com] has joined ##miniscript
20:11 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
20:13 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
--- Log closed Fri Jan 13 00:00:14 2023