Od zámeru ku skriptu
Politika môže povedať: dva z troch kľúčov, alebo obnovovací kľúč po 4 320 blokoch. Kompilátor hľadá Miniscript výraz a konkrétny Bitcoin Script, ktorý túto požiadavku splní v danom skriptovom kontexte.
Rozdiel je dôležitý: politika opisuje želané oprávnenia, Miniscript štruktúru a výsledný Script bajty vykonávané uzlom. Nie každá ľubovoľná politika má bezpečný alebo podporovaný preklad.
Typy bránia zlému skladaniu
Fragmenty ako pk, older, after, and, or a thresh majú typové vlastnosti. Tie určujú, čo spotrebujú zo zásobníka, čo vrátia a či sa dajú bezpečne vložiť do inej konštrukcie.
Systém vie odmietnuť nekompatibilné miešanie výškových a časových zámkov, neplatné zásobníkové tvary alebo konštrukcie bez garantovanej štandardnej satisfakcie. To je statická analýza, nie skúšanie s mincami.
Satisfakcia a náklady
Pre každú vetvu možno vypočítať, aké podpisy, preimages a časové podmienky ju splnia alebo zámerne nesplnia. Peňaženka tak môže vybrať dostupnú nemalleable satisfakciu a odhadnúť maximálnu veľkosť witnessu.
Odhad pomáha pri poplatkoch a hardvérovom podpisovaní, ale nepozná budúci trh s blockspace ani to, či ľudia a kľúče budú dostupní. Logická analyzovateľnosť nie je organizačná spoľahlivosť.
Deskriptor nesie Miniscript do peňaženky
BIP 379 predpokladá Miniscript vo wsh() a tr() deskriptoroch. Deskriptor pridáva k výrazu konkrétne kľúče a derivácie, aby peňaženka vedela odvodiť adresy a podpisový kontext.
Stav BIP dokumentu a podpora konkrétnej peňaženky sa môžu meniť. Pred použitím treba overiť kompatibilitu exportu, importu, hardvérových podpisovačov a úplnej obnovy; čitateľný text nie je univerzálny záložný štandard všetkých aplikácií.