--- Log opened Wed Apr 21 00:00:32 2021 08:33 -!- shesek [~shesek@unaffiliated/shesek] has quit [Remote host closed the connection] 08:33 -!- shesek [~shesek@164.90.217.137] has joined ##miniscript 08:33 -!- shesek [~shesek@164.90.217.137] has quit [Changing host] 08:33 -!- shesek [~shesek@unaffiliated/shesek] has joined ##miniscript 11:30 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 11:32 -!- sanketcell [~sanketcel@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 11:40 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has quit [Remote host closed the connection] 11:40 -!- sanketcell [~sanketcel@ec2-100-24-255-95.compute-1.amazonaws.com] has quit [Remote host closed the connection] 11:41 -!- sanketcell [~sanketcel@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 11:41 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 13:43 < jeremyrubin> andytoshi: FWIW my rough plan for policy is just to make a Fn(Vec, Pk) -> Taproot 13:43 < jeremyrubin> Short of something else better 13:44 < jeremyrubin> It's kinda problematic that you can't repeat keys otherwise :/ 13:45 < jeremyrubin> I guess you might still want keys never appear >1 in Taproot land tho? 13:47 < andytoshi> right, the satisfaction/optimization logic doesn't work even in taproot land if there are repeated keys 13:47 < jeremyrubin> Hmm 13:48 < jeremyrubin> Maybe would be interesting to start using Miniscript 13:48 < jeremyrubin> and then translate Miniscript to Miniscript by deriving in order 13:48 < jeremyrubin> kind of a hassle tho 13:51 < jeremyrubin> Altho I forget when we're actually checking the no repeated key issue 13:51 < jeremyrubin> IIRC the bug in translation is still not patched 13:51 < jeremyrubin> sigh, complexity 13:52 -!- mol_ [~mol@unaffiliated/molly] has joined ##miniscript 13:52 * jeremyrubin ponders "bug in translation", a film about programmers modernizing a COBOL banking application to OCAML 13:53 < andytoshi> lol 13:53 < andytoshi> and yeah, i never got around to working on the translation thing 13:53 < andytoshi> it seemed like a lot of complexity to deal with an edge case of people doing non-injective key mappings 13:55 < jeremyrubin> I think it's more likely than you think in practice, e.g., "set all keys to be the same thing" 13:55 < jeremyrubin> anyways I still don't have a good solution for it sadly :/ 13:56 < jeremyrubin> I think for Sapio I'll end up making it so that keys are *always* translated by a context object 13:56 < andytoshi> heh i think if all the keys are literally identical, that specific case might work fine 13:56 < andytoshi> but i see what you mean 13:56 < andytoshi> we had a context object for converting keys for a while. it was a nightmare 13:56 < andytoshi> the API was a huge mess of inscrutable generics and you had to put dummy values into every function all the time 13:57 < jeremyrubin> Sapio has a context object passed around anyways 13:57 < jeremyrubin> because it handles things like "how much money is available" and "should we use CTV or CTV emulation" 13:57 < jeremyrubin> i don't love it; so would get rid of it if there was a better pure functional way to handle it 13:58 < jeremyrubin> if you're ever bored and want to bikeshed api design... 13:58 -!- robert_spigler [robertspig@gateway/shell/matrix.org/x-kdqesaisvohrrlje] has joined ##miniscript 14:00 < andytoshi> lol i'll keep it in mind 16:26 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has quit [Ping timeout: 240 seconds] 16:27 -!- sanketcell [~sanketcel@ec2-100-24-255-95.compute-1.amazonaws.com] has quit [Ping timeout: 240 seconds] 16:27 -!- jonatack [jon@gateway/vpn/airvpn/jonatack] has quit [Ping timeout: 252 seconds] 17:00 -!- sanket1729 [~sanket172@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 17:01 -!- sanketcell [~sanketcel@ec2-100-24-255-95.compute-1.amazonaws.com] has joined ##miniscript 17:06 -!- queip [~queip@unaffiliated/rezurus] has joined ##miniscript 18:03 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection] 18:03 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 20:10 -!- mol [~mol@unaffiliated/molly] has joined ##miniscript 20:13 -!- mol_ [~mol@unaffiliated/molly] has quit [Ping timeout: 265 seconds] 21:05 -!- roconnor [~roconnor@host-45-58-216-246.dyn.295.ca] has quit [Ping timeout: 260 seconds] 22:53 -!- rocket_fuel_ [sid2662@gateway/web/irccloud.com/x-wxchqqfzdgrxfazm] has joined ##miniscript 22:57 -!- jeremyrubin [~jr@024-176-247-182.res.spectrum.com] has quit [Ping timeout: 240 seconds] 22:59 -!- jeremyrubin [~jr@024-176-247-182.res.spectrum.com] has joined ##miniscript --- Log closed Thu Apr 22 00:00:33 2021