Manuscript and Sematic Analysis

Sanket describes to Murch his work on Miniscript. We explore uses for Miniscript, learn about intersections with PSBTs, Output Descriptors, and Taproot, and suss out the difference between Miniscript and Miniscript Policy.

Note: This episode was recorded in the context of travel for Bitcoin 2021. We apologize for the less polished than usual audio quality due to the different equipment and recording environment.

We discuss:

- What's Miniscript? (1:54)

- Partially Signed Bitcoin Transactions (PSBTs) (5:13)

  - Analyzing PSBTs with Miniscript (7:22)

- How do Output Descriptors relate to Miniscript (10:16)

- Implementations of Miniscript (13:36)

- Semantic analysis of Scripts (14:54)

  - Non-malleability of miniscript (22:47)

- Miniscript Policy (25:15)

  - Rediscovering HTLCs (29:41)

- Miniscript uses (33:11)

  - Removing script limitations with Taproot (34:42)

  - Generic signing (35:53)

  - Future work (37:34)

  - The role of policy (40:24)

Related links:

- Miniscript website

- Rust Miniscript

- Miniscript C++ implementation

- Gramtropy

- ##miniscript on Libera Chat

Thanks to Caralie for the sound engineering, and thanks to Matthew Zipkin for assistance with squashing reverb artifacts.