--- Day changed Fri Jun 05 2020
01:04 -!- sgeisler [sid356034@gateway/web/irccloud.com/x-goixuwidhatkpyik] has joined ##miniscript     
01:55 -!- Guest42 [62d49a0a@gateway/web/cgi-irc/kiwiirc.com/ip.98.212.154.10] has quit [Quit: Connection closed]     
02:11 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection]     
02:21 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript     
02:21 -!- willcl_ark [~quassel@cpc123762-trow7-2-0-cust7.18-1.cable.virginm.net] has joined ##miniscript     
04:13 < sgeisler> I'm trying to build a simple multisig "wallet" (without signing capabilities) that is completely defined by a policy. But for that to work well the compile step from policy->miniscript has to be stable across platforms and time.
04:14 < sgeisler> Is that something worthwhile to explore or should I rather make the user of the wallet compile the policy to miniscript once and then save the miniscript to the wallet config?
04:15 < sgeisler> Afaik at least miniscript <-> script is deterministic and well-defined, so I should always be able to regenerate the same addresses/script sigs from that.
04:16 < sgeisler> An example of how I imagine to use it can be found here: https://github.com/apoelstra/rust-miniscript/pull/93
04:21 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack]     
04:39 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript     
06:26 < andytoshi> sgeisler: policy->miniscript is not stable across platform or time
06:30 < sgeisler> Is this just because it uses primitives that can't be assumed to be stable or is it also a consideration to allow further optimization?
06:31 < sgeisler> If it's the former (e.g. floating point magic) then it seems like this could be fixed
06:32 < sgeisler> (idk if it's worth it of if I'd just provide users with a tool to compile policies to put into config files)
06:49 < andytoshi> sgeisler: to allow further optimization
06:49 < andytoshi> and to allow future extensions to miniscript to be available to all policies
06:50 < andytoshi> tbh i don't like the policy language and try to minimize my interaction with it ... when sipa wakes up he might be able to say more about it
06:51 < andytoshi> but yes, the floating point stuff (and ambiguity between what to do with equal-weight alternatives) is also a consideration
06:52 < andytoshi> pieter and i checked our compilers against each other to make sure we were getting the minimum weights but it seemed really hard and not-very-useful to try to make them actually match on the output
07:46 -!- davterra [~dulyNoded@104.140.18.131] has joined ##miniscript     
09:14 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript     
11:43 < andytoshi> sgeisler: i think it migth be worthwhile to create a "deterministic compiler" for this purpose
11:43 < andytoshi> but the existing one, i think you'll find, will be pretty difficult to make deterministic in a way that's easy to port across languages
11:44 < sipa> (just jumping in) making it deterministic will require a strict spec for what optimizations are permitted, and a strict ordering on quality of equal-score results
11:46 < sipa> but beyond that, i think the current approach works
11:46 < sipa> oh, also get rid of floating point
11:50 < sipa> andytoshi: what's the status of https://github.com/apoelstra/rust-miniscript/issues/81 / https://github.com/sipa/miniscript/pull/33 ?
11:57 < sanket1729> Speaking of which, can you add wroapper around aliases?
11:57 < sanket1729> Should s:pk(K) be parsed as sc:pk_k(K)?
11:58 < sanket1729> I think it should be, and the current version gives a pars error on s:pk(K)
11:58 < sipa> yes     
12:00 < sanket1729> Apart from that bug, which I will address today, everything new miniscript changes are addressed
12:09 < sanket1729> andytoshi, I am a bit confused again, can we go over how we were planning to add ScirptContext to Miniscript? I don't that belongs in the Miniscript struct. maybe that should only stay in descriptors. 
12:09 -!- meshcoll- [meshcollid@gateway/shell/ircnow/x-jmtxdaapnvwvysok] has quit [Quit: ZNC 1.7.4 - https://znc.in]     
12:10 -!- meshcollider [meshcollid@gateway/shell/ircnow/x-jaqsmospkdyaosri] has joined ##miniscript     
13:50 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
13:51 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
15:14 -!- aj [aj@cerulean.erisian.com.au] has joined ##miniscript