Ledger's disclosure of vulnerability in Bitcoin application implementation of Miniscript https://wizardsardine.com/blog/ledger-vulnerability-disclosure/