--- Log opened Thu Dec 09 00:00:56 2021
02:45 < darosior> Should we enforce the no-duplicate-keys rule at parsing time? On one hand it could be a footgun post integration into Core as people could import descriptors with duplicate keys and not benefit from the malleability guarantees given by Miniscript. On the other hand we can't check it entirely, consider a Miniscript with xpub `A` and const key `B`.
02:45 < darosior> `B` could be equal to, say, `A/1/2/3'/0`. That's not something we can reasonably check for at parsing time but would still break the malleability guarantees once the descriptor is derived. Considering this, isn't having incomplete parsing check giving a false sense of safety?
02:49 < darosior> One could also argue that it's the job of the compiler, as people won't be writing Miniscript descriptors to be imported by hand.
04:55 -!- salvatoshi [~salvatosh@lfbn-idf3-1-717-248.w86-252.abo.wanadoo.fr] has joined ##miniscript
05:03 -!- salvatoshi [~salvatosh@lfbn-idf3-1-717-248.w86-252.abo.wanadoo.fr] has quit [Quit: Leaving]
05:55 <@sipa> imho, no
05:55 <@sipa> because there are many things you can still do with a script with publicate keys, like signing
08:03 -!- roconnor [~roconnor@coq/roconnor] has quit [Ping timeout: 256 seconds]
09:29 -!- gene [~gene@gateway/tor-sasl/gene] has joined ##miniscript
10:56 -!- gene [~gene@gateway/tor-sasl/gene] has quit [Quit: gene]
10:57 -!- gene [~gene@gateway/tor-sasl/gene] has joined ##miniscript
11:50 -!- roconnor [~roconnor@coq/roconnor] has joined ##miniscript
12:44 -!- gene [~gene@gateway/tor-sasl/gene] has quit [Quit: gene]
12:47 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Ping timeout: 240 seconds]
12:48 -!- ademan[m] [~ademanmat@2001:470:69fc:105::1:16db] has quit [Ping timeout: 240 seconds]
12:48 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has quit [Ping timeout: 260 seconds]
13:33 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript
14:10 -!- ademan[m] [~ademanmat@2001:470:69fc:105::1:16db] has joined ##miniscript
14:22 -!- ademan[m] [~ademanmat@2001:470:69fc:105::1:16db] has quit [Read error: Connection reset by peer]
14:22 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Read error: Connection reset by peer]
14:23 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has joined ##miniscript
14:34 -!- ademan[m] [~ademanmat@2001:470:69fc:105::1:16db] has joined ##miniscript
14:34 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript
14:47 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has quit [Quit: Client limit exceeded: 20000]
14:49 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Quit: Client limit exceeded: 20000]
14:54 -!- ademan[m] [~ademanmat@2001:470:69fc:105::1:16db] has quit [Quit: Client limit exceeded: 20000]
--- Log closed Fri Dec 10 00:00:57 2021