types: make Malleability an enum

src/miniscript/analyzable.rs

@@ -5,15 +5,30 @@
 //! Tools for determining whether the guarantees offered by the library
 //! actually hold.
 
+use crate::miniscript::types::Malleability;
 use crate::prelude::*;
 use crate::{Miniscript, MiniscriptKey, ScriptContext, Terminal};
 
 impl<Pk: MiniscriptKey, Ctx: ScriptContext> Miniscript<Pk, Ctx> {
-    /// Whether all spend paths of miniscript require a signature
-    pub fn requires_sig(&self) -> bool { self.ty.mall.signed }
+    /// Whether the miniscript is non-malleable and all of its spend paths
+    /// require a signature.
+    ///
+    /// Returns `false` for a malleable miniscript. The "s" property only
+    /// describes the satisfactions of an expression that is non-malleable to
+    /// begin with, so nothing is known for a malleable one, and `false` is the
+    /// assumption that keeps a caller from relying on a signature being
+    /// required.
+    #[deprecated(
+        since = "TBD",
+        note = "check the `signed` property of the malleability type instead"
+    )]
+    pub fn non_malleable_and_requires_sig(&self) -> bool {
+        matches!(self.ty.mall, Malleability::NonMalleable { signed: true, .. })
+    }
 
-    /// Whether the miniscript is malleable
-    pub fn is_non_malleable(&self) -> bool { self.ty.mall.non_malleable }
+    /// Whether the miniscript is guaranteed to have a non-malleable
+    /// satisfaction, if it has a satisfaction at all.
+    pub fn is_non_malleable(&self) -> bool { self.ty.mall.is_non_malleable() }
 
     /// Whether the miniscript can exceed the resource limits(Opcodes, Stack limit etc)
     // It maybe possible to return a detail error type containing why the miniscript

src/miniscript/mod.rs

@@ -365,7 +365,7 @@ mod private {
             }
 
             // Sigless branches can be fixed by adding a conjunction with a signature.
-            if !params.allow_sigless_branch && !self.requires_sig() {
+            if !params.allow_sigless_branch && !self.non_malleable_and_requires_sig() {
                 return Err(ValidationError::SiglessBranch);
             }
 
@@ -636,7 +636,7 @@ impl<Pk: MiniscriptKey, Ctx: ScriptContext> Miniscript<Pk, Ctx> {
         let satisfaction = satisfy::Satisfaction::satisfy(
             self,
             &satisfier,
-            self.ty.mall.signed,
+            self.non_malleable_and_requires_sig(),
             self.leaf_hash_internal(),
         );
         self._satisfy(satisfaction)
@@ -654,7 +654,7 @@ impl<Pk: MiniscriptKey, Ctx: ScriptContext> Miniscript<Pk, Ctx> {
         let satisfaction = satisfy::Satisfaction::satisfy_mall(
             self,
             &satisfier,
-            self.ty.mall.signed,
+            self.non_malleable_and_requires_sig(),
             self.leaf_hash_internal(),
         );
         self._satisfy(satisfaction)
@@ -683,7 +683,7 @@ impl<Pk: MiniscriptKey, Ctx: ScriptContext> Miniscript<Pk, Ctx> {
         satisfy::Satisfaction::build_template(
             self,
             provider,
-            self.ty.mall.signed,
+            self.non_malleable_and_requires_sig(),
             self.leaf_hash_internal(),
         )
     }
@@ -699,7 +699,7 @@ impl<Pk: MiniscriptKey, Ctx: ScriptContext> Miniscript<Pk, Ctx> {
         satisfy::Satisfaction::build_template_mall(
             self,
             provider,
-            self.ty.mall.signed,
+            self.non_malleable_and_requires_sig(),
             self.leaf_hash_internal(),
         )
     }
@@ -1345,8 +1345,8 @@ mod tests {
         match (ms, valid) {
             (Ok(ms), true) => {
                 assert_eq!(format!("{:x}", ms.encode()), expected_hex);
-                assert_eq!(ms.ty.mall.non_malleable, non_mal);
-                assert_eq!(ms.ty.mall.signed, need_sig);
+                assert_eq!(ms.is_non_malleable(), non_mal);
+                assert_eq!(ms.non_malleable_and_requires_sig(), non_mal && need_sig);
                 assert_eq!(ms.ext.static_ops + ms.ext.sat_data.unwrap().max_exec_op_count, ops);
             }
             (Err(_), false) => {}