Add TxTemplate satifier test

Author: JeremyRubin

src/interpreter/mod.rs

@@ -1135,10 +1135,10 @@ mod tests {
                 .verify_schnorr(&schnorr_sig.sig, &sighash, xpk)
                 .is_ok(),
         };
-        let fixed_hash: &sha256::Hash = &sha256::Hash::from_inner([34u8; 32]);
+        let txtmpl_hash: &sha256::Hash = &sha256::Hash::from_inner([34u8; 32]);
         fn from_stack<'txin, 'elem>(
             verify_fn: Box<dyn FnMut(&KeySigPair) -> bool + 'elem>,
-            fixed_hash: &'elem sha256::Hash,
+            txtmpl_hash: &'elem sha256::Hash,
             stack: Stack<'txin>,
             ms: &'elem Miniscript<BitcoinKey, NoChecks>,
         ) -> Iter<'elem, 'txin> {
@@ -1155,7 +1155,7 @@ mod tests {
                 height: 1002,
                 has_errored: false,
                 // TODO: Replace with actual hash
-                txtemplate: &fixed_hash,
+                txtemplate: &txtmpl_hash,
             }
         }
 
@@ -1177,10 +1177,11 @@ mod tests {
         let hash160 = no_checks_ms(&format!("hash160({})", hash160_hash));
         let ripemd160_hash = ripemd160::Hash::hash(&preimage);
         let ripemd160 = no_checks_ms(&format!("ripemd160({})", ripemd160_hash));
+        let txtemplate = no_checks_ms(&format!("t:txtmpl({})", txtmpl_hash));
 
         let stack = Stack::from(vec![stack::Element::Push(&der_sigs[0])]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &pk);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &pk);
         let pk_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             pk_satisfied.unwrap(),
@@ -1192,7 +1193,7 @@ mod tests {
         //Check Pk failure with wrong signature
         let stack = Stack::from(vec![stack::Element::Dissatisfied]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &pk);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &pk);
         let pk_err: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert!(pk_err.is_err());
 
@@ -1203,7 +1204,7 @@ mod tests {
             stack::Element::Push(&pk_bytes),
         ]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &pkh);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &pkh);
         let pkh_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             pkh_satisfied.unwrap(),
@@ -1216,7 +1217,7 @@ mod tests {
         //Check After
         let stack = Stack::from(vec![]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &after);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &after);
         let after_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             after_satisfied.unwrap(),
@@ -1226,7 +1227,7 @@ mod tests {
         //Check Older
         let stack = Stack::from(vec![]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &older);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &older);
         let older_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             older_satisfied.unwrap(),
@@ -1236,7 +1237,7 @@ mod tests {
         //Check Sha256
         let stack = Stack::from(vec![stack::Element::Push(&preimage)]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &sha256);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &sha256);
         let sah256_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             sah256_satisfied.unwrap(),
@@ -1249,7 +1250,7 @@ mod tests {
         //Check Shad256
         let stack = Stack::from(vec![stack::Element::Push(&preimage)]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &hash256);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &hash256);
         let sha256d_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             sha256d_satisfied.unwrap(),
@@ -1262,7 +1263,7 @@ mod tests {
         //Check hash160
         let stack = Stack::from(vec![stack::Element::Push(&preimage)]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &hash160);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &hash160);
         let hash160_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             hash160_satisfied.unwrap(),
@@ -1275,7 +1276,7 @@ mod tests {
         //Check ripemd160
         let stack = Stack::from(vec![stack::Element::Push(&preimage)]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &ripemd160);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &ripemd160);
         let ripemd160_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
             ripemd160_satisfied.unwrap(),
@@ -1285,6 +1286,18 @@ mod tests {
             }]
         );
 
+        //Check txtemplate
+        let stack = Stack::from(vec![]);
+        let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &txtemplate);
+        let txtemplate_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
+        assert_eq!(
+            txtemplate_satisfied.unwrap(),
+            vec![SatisfiedConstraint::TxTemplate {
+                hash: txtmpl_hash.clone()
+            }]
+        );
+
         //Check AndV
         let pk_bytes = pks[1].to_public_key().to_bytes();
         let stack = Stack::from(vec![
@@ -1298,7 +1311,7 @@ mod tests {
             pks[1].to_pubkeyhash()
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let and_v_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1324,7 +1337,7 @@ mod tests {
             pks[0], sha256_hash
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let and_b_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1352,7 +1365,7 @@ mod tests {
             pks[1].to_pubkeyhash(),
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let and_or_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1376,7 +1389,7 @@ mod tests {
             stack::Element::Dissatisfied,
         ]);
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let and_or_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1397,7 +1410,7 @@ mod tests {
             pks[0], sha256_hash
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let or_b_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1415,7 +1428,7 @@ mod tests {
             pks[0], sha256_hash
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let or_d_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1435,7 +1448,7 @@ mod tests {
             sha256_hash, pks[0]
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let or_c_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1455,7 +1468,7 @@ mod tests {
             sha256_hash, pks[0]
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let or_i_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1478,7 +1491,7 @@ mod tests {
             pks[4], pks[3], pks[2], pks[1], pks[0],
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let thresh_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1508,7 +1521,7 @@ mod tests {
             pks[4], pks[3], pks[2], pks[1], pks[0],
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let multi_satisfied: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert_eq!(
@@ -1538,7 +1551,7 @@ mod tests {
             pks[4], pks[3], pks[2], pks[1], pks[0],
         ));
         let vfyfn = vfyfn_.clone(); // sigh rust 1.29...
-        let constraints = from_stack(Box::new(vfyfn), fixed_hash, stack, &elem);
+        let constraints = from_stack(Box::new(vfyfn), txtmpl_hash, stack, &elem);
 
         let multi_error: Result<Vec<SatisfiedConstraint>, Error> = constraints.collect();
         assert!(multi_error.is_err());