Linguagem estruturada para escrever um subconjunto do Bitcoin Script que carteiras conseguem analisar, compor e assinar de forma genérica. Permite políticas de gasto complexas (multisig, timelocks, chaves de recuperação) com garantias sobre correção e custo. Especificada no BIP379.