This repository (and Miniscript as a research project in general) is different things, so it depends what you're talking about:

It contains the specification of the Miniscript language (which is an extension to the output descriptor language, which was first introduced in Bitcoin Core, and is now being BIP'ed; see https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2021-June/019151.html). Adding Taproot support to descriptors consists of a few different things:
- Adding tr() descriptors (already done, and unrelated to Miniscript; see https://github.com/bitcoin/bitcoin/blob/master/doc/descriptors.md), though some aspects are missing (in particular, easy construction of descriptors without intended key path spend).
- Adding support x-only pubkeys (also already done).
- Defining a Miniscript-variant for Taproot (which would lack the OP_CHECKMULTISIG(VERIFY) based scripts, can rely on stronger anti-malleability).
- Adding support for MuSig(2) to descriptor key expressions; that's orthogonal to Miniscript, but also intersects with PSBT extensions for it to make it usable etc.
It contains one of the two Miniscript implementations (the other being rust-miniscript) that I know of, one mostly based on the Bitcoin Core script code, and is intended to be at least partially integrated with it. Currently that's sort of in limbo, as the code on itself here is hard to test, and extending it further may risk further divergence. This is the part that makes me hesitant about adding Taproot support for, as I'd much rather see it integrated into its "final" form in Core, but this will take time (and reviewers/contributors).
It contains a policy-to-miniscript compiler. If the miniscript logic itself is extended to support taproot, it wouldn't be hard to make the compiler do the same, but to be actually interesting it'd need to consider the ability to compile a single policy into a tree of scripts rather than a single script. I think doing this optimally is still an open research question.
It contains the code for the compiler/analysis demo on the http://bitcoin.sipa.be/miniscript website.

So while I don't think it's much work per se to extend the Miniscript "specification" to support Taproot & BIP342 scripts, it's unclear to me how useful that is without implementations that can deal with it and target it. And at least as far as the C++ implementation here is concerned, I'd very much want to see it further along in integrating into Bitcoin Core before adding even more here. Rust-miniscript may be in a better position to start adding support for that.

Taproot support? #56

Description

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions