feat: Transact with pruned program

Prune the Simplicity target code before making a transaction.
This means that all transactions that the web IDE makes should
now work on Elements.

Author: uncomputable

src/components/program_window/transaction_button.rs

@@ -1,6 +1,6 @@
 use elements::pset::serialize::Serialize;
 use hex_conservative::DisplayHex;
-use leptos::{component, use_context, view, IntoView, SignalWith};
+use leptos::{component, use_context, view, with, IntoView};
 use simfony::elements;
 
 use crate::components::copy_to_clipboard::CopyToClipboard;
@@ -13,12 +13,21 @@ pub fn TransactionButton() -> impl IntoView {
     let tx_env = use_context::<TxEnv>().expect("transaction environment should exist in context");
 
     let transaction = move || {
-        tx_env.params.with(|params| match program.satisfied() {
-            Ok(satisfied) => params
-                .transaction(&satisfied)
+        let params = tx_env.params;
+        let env = tx_env.lazy_env;
+        with!(|params, env| {
+            let satisfied = match program.satisfied() {
+                Ok(x) => x,
+                Err(..) => return "Invalid program".to_string(),
+            };
+            let pruned = match satisfied.redeem().prune(env) {
+                Ok(x) => x,
+                Err(..) => return "Execution fails".to_string(),
+            };
+            params
+                .transaction(&pruned)
                 .serialize()
-                .to_lower_hex_string(),
-            Err(..) => "Invalid program".to_string(),
+                .to_lower_hex_string()
         })
     };
     view! {

src/transaction.rs

@@ -2,7 +2,9 @@ use std::sync::Arc;
 
 use elements::confidential;
 use elements::hashes::Hash;
-use simfony::{elements, simplicity, SatisfiedProgram};
+use simfony::simplicity::jet::Elements;
+use simfony::simplicity::RedeemNode;
+use simfony::{elements, simplicity};
 use simplicity::jet::elements::{ElementsEnv, ElementsUtxo};
 
 use crate::util;
@@ -88,11 +90,10 @@ impl TxParams {
         )
     }
 
-    pub fn transaction(&self, satisfied: &SatisfiedProgram) -> elements::Transaction {
+    pub fn transaction(&self, pruned: &RedeemNode<Elements>) -> elements::Transaction {
         let mut tx = self.unsatisfied_transaction();
-        let (simplicity_program_bytes, simplicity_witness_bytes) =
-            satisfied.redeem().encode_to_vec();
-        let cmr = satisfied.redeem().cmr();
+        let (simplicity_program_bytes, simplicity_witness_bytes) = pruned.encode_to_vec();
+        let cmr = pruned.cmr();
         tx.input[0].witness = elements::TxInWitness {
             amount_rangeproof: None,
             inflation_keys_rangeproof: None,