search

sapio-lang / sapio

A Bitcoin Programming Language
Mozilla Public License 2.0
244 stars 43 forks source link

Migrate from Policy to pluggable script generator #30

Open JeremyRubin opened 4 years ago

JeremyRubin commented 4 years ago

Using policy is convenient as it figures out automatically how to make a proper miniscript type.

However, Policy is not intended to be a 1:1 mapping, so really we should operate at the miniscript level if we want determinism, or make a deterministic policy version.

JeremyRubin commented 3 years ago

Update:

Determinism should be working with the current wasm environment + miniscript fork, but it's not closely checked so still early to rely on it.

ProofOfKeags commented 2 years ago

Given #253 Is this something we are wanting to do still? seems like they are in conflict.

JeremyRubin commented 2 years ago

Yeah, they are in conflict, but we do want both, but this should be considered low priority.

I think ultimately, we'd want some sort of trait that can handle policy, miniscript, or custom script fragments, etc, or a version of miniscript which supports extension