--- Log opened Thu Jun 17 00:00:40 2021 05:11 < darosior> Why in Choose do we prefer the satisfaction that has no signature? https://github.com/sipa/miniscript/blob/f7de269be2f3c8e314cf26dd331d46930e076c31/bitcoin/script/miniscript.cpp#L278-L290 05:18 < darosior> Ok a rationale is given in the Rust implementation. For the record: "a third party could malleate by removing the signature, but can't malleate if he'd have to add it". So what i missed is that has_sig is just "current", we are going to require a signature anyways for guaranteeing non-malleability. 05:18 < darosior> However i'm still unsure as to why choosing the one without signature if there is going to be one anyways? 07:29 -!- roconnor [~roconnor@host-184-164-17-170.dyn.295.ca] has joined ##miniscript 07:48 <@sipa> darosior: this is explained on http://bitcoin.sipa.be/miniscript/ 07:49 <@sipa> under "Non-malleable satisfaction algorithm" 07:56 < darosior> Thank you --- Log closed Fri Jun 18 00:00:41 2021