Trait sapio_miniscript::policy::Liftable

pub trait Liftable<Pk: MiniscriptKey> {
    fn lift(&self) -> Result<Semantic<Pk>, Error>;
}

Trait describing script representations which can be lifted into an abstract policy, by discarding information. After Lifting all policies are converted into KeyHash(Pk::HasH) to maintain the following invariant(modulo resource limits): Lift(Concrete) == Concrete -> Miniscript -> Script -> Miniscript -> Semantic Lifting from Miniscript, Descriptor can fail if the miniscript contains a timelock combination or if it contains a branch that exceeds resource limits. Lifting from Concrete policies can fail if it contains a timelock combination. It is possible that concrete policy has some branches that exceed resource limits for any compilation, but cannot detect such policies while lifting. Note that our compiler would not succeed for any such policies.

Required methods

fn lift(&self) -> Result<Semantic<Pk>, Error>

Convert the object into an abstract policy

Loading content...

Implementors

impl<Pk: MiniscriptKey> Liftable<Pk> for Descriptor<Pk>

fn lift(&self) -> Result<Semantic<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Concrete<Pk>

fn lift(&self) -> Result<Semantic<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Semantic<Pk>

fn lift(&self) -> Result<Semantic<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Bare<Pk>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Pkh<Pk>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Sh<Pk>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Wpkh<Pk>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey> Liftable<Pk> for Wsh<Pk>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for Terminal<Pk, Ctx>

fn lift(&self) -> Result<Semantic<Pk>, Error>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for SortedMultiVec<Pk, Ctx>

fn lift(&self) -> Result<Policy<Pk>, Error>

impl<Pk: MiniscriptKey, Ctx: ScriptContext> Liftable<Pk> for Miniscript<Pk, Ctx>

fn lift(&self) -> Result<Semantic<Pk>, Error>

Loading content...