--- Log opened Wed Nov 09 00:00:12 2022
00:10 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
03:44 -!- landabaso [~landabaso@62.174.245.185.static.user.ono.com] has joined ##miniscript
04:19 -!- landabaso [~landabaso@62.174.245.185.static.user.ono.com] has quit [Quit: Client closed]
08:05 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
08:23 < landabaso> Hi there!
08:23 < landabaso> Say for instance "or(and(pk(A),older(8640)),pk(B))" which compiles to:
08:23 < landabaso> <A> OP_CHECKSIG OP_NOTIF <B> OP_CHECKSIG OP_ELSE <c021> OP_CHECKSEQUENCEVERIFY OP_ENDIF
08:23 < landabaso> This can be spent with: "<B_SIGNATURE> <OP_0>" now or with "<A_SIGNATURE>" after a 8640.
08:23 < landabaso> Creating the scriptSigs is trivial in this case after examining the compiled script.
08:23 < landabaso> I was wondering how to generalize it.
08:23 < landabaso> I checked https://github.com/sipa/miniscript and I don't know how I could create scriptSigs for every possible path in every possible policy.
08:23 < landabaso> Could you bring some light?
08:32 <@sipa> There is a section on "Non-malleable satisfaction algorithm"
08:33 <@sipa> Which gives a generic algorithm for constructing witnesses for every valid miniscript.
08:33 <@sipa> (it's witnesses and not scriptSigs, because miniscript is only fully defined for P2WSH)
08:42 < landabaso> Thanks. I need some time to process it. Is it there a reference implementation of the algorithm?
09:11 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 260 seconds]
09:16 < darosior> landabaso: https://github.com/bitcoin/bitcoin/pull/24149 introduces the C++ one. There is a Rust one at https://github.com/rust-bitcoin/rust-miniscript. I also have a currently incorrect but maybe-simpler-to-approach-and-get-the-idea Python implementation at https://github.com/darosior/python-bip380.
09:16 < darosior> (i'll get to rebasing the signing support PR soon..)
09:22 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
09:27 < landabaso> Thanks!
09:42 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
09:48 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
10:04 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has joined ##miniscript
10:08 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has quit [Ping timeout: 248 seconds]
10:14 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Quit: Client closed]
10:16 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has joined ##miniscript
10:22 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
10:28 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript
10:47 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds]
11:13 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 246 seconds]
11:14 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
11:14 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Quit: Client closed]
12:32 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has joined ##miniscript
13:53 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds]
22:25 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
22:56 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Quit: Client closed]
23:28 -!- stevenroose [~steven@irc.roose.io] has quit [Ping timeout: 246 seconds]
23:28 -!- stevenroose [~steven@2001:19f0:6801:83a:5e1a:89e5:c5fb:d631] has joined ##miniscript
--- Log closed Thu Nov 10 00:00:13 2022