A quick summary on a lot of study I've done recently on this topic.
My last blog [1] was showing that you could concretely make logarithmic sized
ring sigs on taproot keys (and built on the explanation and code of
Groth/Kohlweiss [2] in the previous blog [5]).
I left as an outstanding question, h
Earlier last year on March, there was a post here by Jeremy Rubin that explains
how a person could delegate its UTXO to some script, by (AFAICT) creating a new
transaction using that UTXO, with whatever script you want it to have.
It was written in terms of normal transactions, but can be extend
