Miniscript

Un Miniscript es un lenguaje de políticas estructurado para Bitcoin Script. Los desarrolladores lo utilizan para expresar condiciones de gasto complejas de una manera legible y analizable por humanos. Compila estas políticas en bytecode eficiente de Bitcoin Script.

Miniscript funciona a través de una sintaxis tipada con operadores modulares. Cada fragmento representa una unidad semántica, como firmas, hashes o timelocks. El sistema de tipos rastrea propiedades como la maleabilidad y el tamaño del script. Los compiladores traducen Miniscript a Bitcoin Script, optimizando el comportamiento de la pila. Por ejemplo, una política de multisignatura 2 de 3 se escribe como or_b(pk(A),or_b(pk(B),pk(C))).

Miniscript es importante porque mejora la seguridad y la usabilidad en las billeteras de Bitcoin. Permite el análisis estático para detectar problemas como scripts insatisfechos o tamaños excesivos antes de su implementación. Esto reduce los errores en políticas de gasto personalizadas, como las de multisig o configuraciones de herencia.

Las características clave incluyen la composibilidad, donde los fragmentos se combinan de manera confiable; herramientas de análisis exhaustivas; y soporte para características avanzadas como los convenios mediante extensiones. Las billeteras integran Miniscript para generar descriptores de salida, mejorando la interoperabilidad y la productividad de los desarrolladores.