Advancing Bitcoin 2020 Miniscript Workshop

This repo contains some example programs to be recreated and edited during the Miniscript workshop during Advancing Bitcoin 2020.

Useful links:

• Conference site: https://www.advancingbitcoin.com/
• Miniscript site: http://bitcoin.sipa.be/miniscript/
• rust-miniscript repo: https://github.com/apoelstra/rust-miniscript/
• rust-miniscript dox: https://docs.rs/miniscript/
• What does Bitcoin policy language offer the developer that Miniscript doesn't?

To run things specify the binary like

cargo run --bin types

Rough plan:

1. Introductory stuff (parsing scripts, using the datatypes)
2. Encoding to/from Bitcoin Script
3. Satisfying
4. Lifting to abstract ("semantic") policies
5. Compiling from concrete policies
6. PSBT (?)
7. Executing scripts (?)