


    convert miniscript to script (initially let’s just require every key be explicitly given, e.g. 02abcd…)
    convert script to miniscript
    compile a policy to a miniscript

