Thread

You might be interested in RGB. They have a language called Contractum. It's still very early on, so we don't have good examples of swaps, which is what might be needed for such a thing. There are a lot of tools that might make sense to mix together, like MuSig2 (Taproot multisig), Lightning, miniscript HTLCs, etc. Ideally we'd have something like Sapio or OP_VAULT for what you want to do, but it's unclear if either of those will ever move forward, which require a soft fork. To get around that, things like RGB tokens that are redeemable for Bitcoin might be needed to build more complex contracts.