diff --git a/crates/uplc/src/tx.rs b/crates/uplc/src/tx.rs
index 833f924b..cd583c77 100644
--- a/crates/uplc/src/tx.rs
+++ b/crates/uplc/src/tx.rs
@@ -4,68 +4,85 @@ use pallas_primitives::{
 };
 use pallas_traverse::{Era, MultiEraTx};
 
-use crate::Error;
+use error::Error;
+pub use eval::get_script_and_datum_lookup_table;
+pub use phase_one::eval_phase_one;
+use script_context::{ResolvedInput, SlotConfig};
 
-use self::{script_context::{ResolvedInput, SlotConfig}, phase_one::eval_phase_one};
-
-mod error;
+pub mod error;
 mod eval;
-pub mod script_context;
-mod to_plutus_data;
 mod phase_one;
+pub mod script_context;
+#[cfg(test)]
+mod tests;
+mod to_plutus_data;
 
-pub fn eval(
+/// Evaluate the scripts in a transaction using
+/// the UPLC Cek Machine. This function collects
+/// redeemers with ExUnits calculated from the evaluation.
+/// You may optionally run a subset of phase one checks on
+/// redeemers and scripts.
+pub fn eval_phase_two(
     tx: &MintedTx,
     utxos: &[ResolvedInput],
     cost_mdls: Option<&CostMdls>,
     slot_config: &SlotConfig,
+    run_phase_one: bool,
 ) -> Result<Vec<Redeemer>, Error> {
     let redeemers = tx.transaction_witness_set.redeemer.as_ref();
 
-    let lookup_table = eval::get_script_and_datum_lookup_table(tx, utxos);
+    let lookup_table = get_script_and_datum_lookup_table(tx, utxos);
 
-    // subset of phase 1 check on redeemers and scripts
-    eval_phase_one(tx, utxos, &lookup_table)?;
+    if run_phase_one {
+        // subset of phase 1 check on redeemers and scripts
+        eval_phase_one(tx, utxos, &lookup_table)?;
+    }
 
     match redeemers {
         Some(rs) => {
             let mut collected_redeemers = vec![];
+
             for redeemer in rs.iter() {
-                collected_redeemers.push(eval::eval_redeemer(
+                let redeemer = eval::eval_redeemer(
                     tx,
                     utxos,
                     slot_config,
                     redeemer,
                     &lookup_table,
                     cost_mdls,
-                )?)
+                )?;
+
+                collected_redeemers.push(redeemer)
             }
+
             Ok(collected_redeemers)
         }
         None => Ok(vec![]),
     }
 }
 
-pub fn eval_raw(
+/// This function is the same as [`eval_phase_two`]
+/// but the inputs are raw bytes.
+pub fn eval_phase_two_raw(
     tx_bytes: &[u8],
     utxos_bytes: &[(Vec<u8>, Vec<u8>)],
     cost_mdls_bytes: &[u8],
     slot_config: (u64, u64),
+    run_phase_one: bool,
 ) -> Result<Vec<Vec<u8>>, Error> {
     let multi_era_tx = MultiEraTx::decode(Era::Babbage, tx_bytes)
-        .or_else(|_| MultiEraTx::decode(Era::Alonzo, tx_bytes))
-        .map_err(|_| Error::from("Wrong era. Please use Babbage or Alonzo"))?; // TODO: proper error message
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, tx_bytes))?;
 
-    let cost_mdls = CostMdls::decode_fragment(cost_mdls_bytes)
-        .map_err(|_| Error::from("Unable to decode cost models"))?; // TODO: proper error message
+    let cost_mdls = CostMdls::decode_fragment(cost_mdls_bytes)?;
 
-    let utxos: Vec<ResolvedInput> = utxos_bytes
-        .iter()
-        .map(|(input, _output)| ResolvedInput {
-            input: TransactionInput::decode_fragment(input).unwrap(),
-            output: TransactionOutput::decode_fragment(input).unwrap(),
-        })
-        .collect();
+    let mut utxos = Vec::new();
+
+    for (input, _output) in utxos_bytes {
+        utxos.push(ResolvedInput {
+            input: TransactionInput::decode_fragment(input)?,
+            output: TransactionOutput::decode_fragment(input)?,
+        });
+    }
 
     let sc = SlotConfig {
         zero_time: slot_config.0,
@@ -73,13 +90,15 @@ pub fn eval_raw(
     };
 
     match multi_era_tx {
-        MultiEraTx::Babbage(tx) => match eval(&tx, &utxos, Some(&cost_mdls), &sc) {
-            Ok(redeemers) => Ok(redeemers
-                .iter()
-                .map(|r| r.encode_fragment().unwrap())
-                .collect()),
-            Err(_) => Err(Error::from("Can't eval without redeemers")),
-        },
+        MultiEraTx::Babbage(tx) => {
+            match eval_phase_two(&tx, &utxos, Some(&cost_mdls), &sc, run_phase_one) {
+                Ok(redeemers) => Ok(redeemers
+                    .iter()
+                    .map(|r| r.encode_fragment().unwrap())
+                    .collect()),
+                Err(_) => Err(Error::NoRedeemers),
+            }
+        }
         // MultiEraTx::AlonzoCompatible(tx, _) => match eval_tx(&tx, &utxos, &sc) {
         //     Ok(redeemers) => Ok(redeemers
         //         .iter()
@@ -88,674 +107,6 @@ pub fn eval_raw(
         //     Err(_) => Err(()),
         // },
         // TODO: I probably did a mistake here with using MintedTx which is only compatible with Babbage tx.
-        _ => Err(Error::from("Wrong era. Please use babbage")),
-    }
-}
-
-#[cfg(test)]
-mod tests {
-    use pallas_codec::utils::MaybeIndefArray;
-    use pallas_primitives::{
-        babbage::{CostMdls, TransactionInput, TransactionOutput},
-        Fragment,
-    };
-    use pallas_traverse::{Era, MultiEraTx};
-
-    use super::{eval, ResolvedInput, SlotConfig};
-
-    #[test]
-    fn test_eval() {
-        /*
-
-        PlutusV2
-
-        {-# INLINEABLE mintTestValidator #-}
-        mintTestValidator :: () -> Api.ScriptContext -> Bool
-        mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo && (case Api.txInfoSignatories txInfo of [] -> True)
-
-          where
-            txInfo :: Api.TxInfo
-            txInfo = Api.scriptContextTxInfo ctx */
-
-        let tx_bytes = hex::decode("84a80081825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a5002018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581cc4f241450001af08f3ddbaf9335db79883cbcd81071b8e3508de3055a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0084192f021a00053b6109a1581cc4f241450001af08f3ddbaf9335db79883cbcd81071b8e3508de3055a1400a0b5820b4f96b0acec8beff2adededa8ba317bcac92174f0f65ccefe569b9a6aac7375a0d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0cdfa2111a0007d912a3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f9465840b8b97b7c3b4e19ecfc2fcd9884ee53a35887ee6e4d36901b9ecbac3fe032d7e8a4358305afa573a86396e378255651ed03501906e9def450e588d4bb36f42a050581840100d87980821a000b68081a0cf3a5bf06815909b25909af010000323322323232323232323232323232323232323232332232323232323232323233223232223232533533223233025323233355300f1200135028502623500122333553012120013502b50292350012233350012330314800000488cc0c80080048cc0c400520000013355300e1200123500122335501c0023335001233553012120012350012233550200023550140010012233355500f0150020012335530121200123500122335502000235501300100133355500a01000200130105002300f5001533532350012222222222220045001102a2216135001220023333573466e1cd55ce9baa0044800080808c98c8080cd5ce01081000f1999ab9a3370e6aae7540092000233221233001003002323232323232323232323232323333573466e1cd55cea8062400046666666666664444444444442466666666666600201a01801601401201000e00c00a00800600466a03803a6ae854030cd4070074d5d0a80599a80e00f1aba1500a3335502075ca03e6ae854024ccd54081d7280f9aba1500833501c02835742a00e666aa040052eb4d5d0a8031919191999ab9a3370e6aae75400920002332212330010030023232323333573466e1cd55cea8012400046644246600200600466a066eb4d5d0a801181a1aba135744a004464c6406c66ae700dc0d80d04d55cf280089baa00135742a0046464646666ae68cdc39aab9d5002480008cc8848cc00400c008cd40cdd69aba150023034357426ae8940088c98c80d8cd5ce01b81b01a09aab9e5001137540026ae84d5d1280111931901919ab9c033032030135573ca00226ea8004d5d0a80299a80e3ae35742a008666aa04004a40026ae85400cccd54081d710009aba150023027357426ae8940088c98c80b8cd5ce01781701609aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150023017357426ae8940088c98c8080cd5ce01081000f080f89931900f99ab9c4901035054350001f135573ca00226ea8004444888ccd54c010480054040cd54c01c480048d400488cd54054008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409c88ccd400c88008008004d40048800448cc004894cd400840b040040a48d400488cc028008014018400c4cd405001000d4044004cd54c01c480048d400488c8cd5405800cc004014c8004d540a4894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408888448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d5407c8844894cd400454038884cd403cc010008cd54c01848004010004c8004d5407888448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101e01d2350012222222222220091232230023758002640026aa038446666aae7c004940288cd4024c010d5d080118019aba2002015232323333573466e1cd55cea80124000466442466002006004601a6ae854008c014d5d09aba2500223263201533573802c02a02626aae7940044dd50009191919191999ab9a3370e6aae75401120002333322221233330010050040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4040054d5d09aba2500223263201a33573803603403026aae7940044dd50009aba150043335500875ca00e6ae85400cc8c8c8cccd5cd19b875001480108c84888c008010d5d09aab9e500323333573466e1d4009200223212223001004375c6ae84d55cf280211999ab9a3370ea00690001091100191931900e19ab9c01d01c01a019018135573aa00226ea8004d5d0a80119a8063ae357426ae8940088c98c8058cd5ce00b80b00a09aba25001135744a00226aae7940044dd5000899aa800bae75a224464460046eac004c8004d5406488c8cccd55cf80112804119a80399aa80498031aab9d5002300535573ca00460086ae8800c04c4d5d08008891001091091198008020018891091980080180109119191999ab9a3370ea0029000119091180100198029aba135573ca00646666ae68cdc3a801240044244002464c6402066ae700440400380344d55cea80089baa001232323333573466e1d400520062321222230040053007357426aae79400c8cccd5cd19b875002480108c848888c008014c024d5d09aab9e500423333573466e1d400d20022321222230010053007357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6402066ae7004404003803403002c4d55cea80089baa001232323333573466e1cd55cea80124000466442466002006004600a6ae854008dd69aba135744a004464c6401866ae700340300284d55cf280089baa0012323333573466e1cd55cea800a400046eb8d5d09aab9e500223263200a33573801601401026ea80048c8c8c8c8c8cccd5cd19b8750014803084888888800c8cccd5cd19b875002480288488888880108cccd5cd19b875003480208cc8848888888cc004024020dd71aba15005375a6ae84d5d1280291999ab9a3370ea00890031199109111111198010048041bae35742a00e6eb8d5d09aba2500723333573466e1d40152004233221222222233006009008300c35742a0126eb8d5d09aba2500923333573466e1d40192002232122222223007008300d357426aae79402c8cccd5cd19b875007480008c848888888c014020c038d5d09aab9e500c23263201333573802802602202001e01c01a01801626aae7540104d55cf280189aab9e5002135573ca00226ea80048c8c8c8c8cccd5cd19b875001480088ccc888488ccc00401401000cdd69aba15004375a6ae85400cdd69aba135744a00646666ae68cdc3a80124000464244600400660106ae84d55cf280311931900619ab9c00d00c00a009135573aa00626ae8940044d55cf280089baa001232323333573466e1d400520022321223001003375c6ae84d55cf280191999ab9a3370ea004900011909118010019bae357426aae7940108c98c8024cd5ce00500480380309aab9d50011375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900519ab9c00b00a008007006135573aa00226ea80048c8cccd5cd19b8750014800880348cccd5cd19b8750024800080348c98c8018cd5ce00380300200189aab9d37540029309000a4810350543100112330010020072253350021001100612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc008008005f5f6").unwrap();
-
-        let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
-        let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
-
-        let inputs = Vec::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
-        let outputs = Vec::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
-
-        let utxos: Vec<ResolvedInput> = inputs
-            .iter()
-            .zip(outputs.iter())
-            .map(|(input, output)| ResolvedInput {
-                input: input.clone(),
-                output: output.clone(),
-            })
-            .collect();
-
-        let slot_config = SlotConfig {
-            zero_time: 1660003200000, // Preview network
-            slot_length: 1000,
-        };
-
-        let costs: Vec<i64> = vec![
-            205665,
-            812,
-            1,
-            1,
-            1000,
-            571,
-            0,
-            1,
-            1000,
-            24177,
-            4,
-            1,
-            1000,
-            32,
-            117366,
-            10475,
-            4,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            100,
-            100,
-            23000,
-            100,
-            19537,
-            32,
-            175354,
-            32,
-            46417,
-            4,
-            221973,
-            511,
-            0,
-            1,
-            89141,
-            32,
-            497525,
-            14068,
-            4,
-            2,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            1000,
-            28662,
-            4,
-            2,
-            245000,
-            216773,
-            62,
-            1,
-            1060367,
-            12586,
-            1,
-            208512,
-            421,
-            1,
-            187000,
-            1000,
-            52998,
-            1,
-            80436,
-            32,
-            43249,
-            32,
-            1000,
-            32,
-            80556,
-            1,
-            57667,
-            4,
-            1000,
-            10,
-            197145,
-            156,
-            1,
-            197145,
-            156,
-            1,
-            204924,
-            473,
-            1,
-            208896,
-            511,
-            1,
-            52467,
-            32,
-            64832,
-            32,
-            65493,
-            32,
-            22558,
-            32,
-            16563,
-            32,
-            76511,
-            32,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            69522,
-            11687,
-            0,
-            1,
-            60091,
-            32,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            1159724,
-            392670,
-            0,
-            2,
-            806990,
-            30482,
-            4,
-            1927926,
-            82523,
-            4,
-            265318,
-            0,
-            4,
-            0,
-            85931,
-            32,
-            205665,
-            812,
-            1,
-            1,
-            41182,
-            32,
-            212342,
-            32,
-            31220,
-            32,
-            32696,
-            32,
-            43357,
-            32,
-            32247,
-            32,
-            38314,
-            32,
-            20000000000,
-            20000000000,
-            9462713,
-            1021,
-            10,
-            20000000000,
-            0,
-            20000000000,
-        ];
-
-        let cost_mdl = CostMdls {
-            plutus_v1: None,
-            plutus_v2: Some(costs),
-        };
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-        match multi_era_tx {
-            MultiEraTx::Babbage(tx) => {
-                let redeemers = eval(&tx, &utxos, Some(&cost_mdl), &slot_config).unwrap();
-
-                assert_eq!(redeemers.len(), 1)
-            }
-            _ => unreachable!(),
-        };
-    }
-
-    #[test]
-    fn test_eval_1() {
-        /*
-
-        PlutusV2
-
-        {-# INLINEABLE mintTestValidator #-}
-        mintTestValidator :: () -> Api.ScriptContext -> Bool
-        mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo
-
-          where
-            txInfo :: Api.TxInfo
-            txInfo = Api.scriptContextTxInfo ctx */
-
-        let tx_bytes = hex::decode("84a800818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581c88c9dfd60601e22509d58b904c2730fe2bdef6a52a41a6f376b0ba94a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af004152021a0005357209a1581c88c9dfd60601e22509d58b904c2730fe2bdef6a52a41a6f376b0ba94a1400a0b5820ff1a62ad8cb2d73ffb8687471e2c99b48bf3b067966a7ea9285f95adcee708a20d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0ce889111a0007d02ba3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f9465840b3dde25e3a2b825d3f120955211e722cc4a7c65fa67697076f2725a2ed0adec0d4bfc742934fe7c29d475bb0630aed1b1cdcf5fac9e06d84976455a661b0dc080581840100d87980821a000b46701a0cd5772f068159099a59099701000032332232323232323232323232323232323232323322323232323232323232332232322232325335332232323233355300f1200135027502623500122333553012120013502a50292350012233350012330304800000488cc0c40080048cc0c000520000013355300e1200123500122335501c0023335001233553012120012350012233550200023550140010012233355500f0150020012335530121200123500122335502000235501300100133355500a01000200130105002300f5001135001220023333573466e1cd55ce9baa0044800080808c98c8080cd5ce01081000f1999ab9a3370e6aae7540092000233221233001003002323232323232323232323232323333573466e1cd55cea8062400046666666666664444444444442466666666666600201a01801601401201000e00c00a00800600466a03803a6ae854030cd4070074d5d0a80599a80e00f1aba1500a3335502075ca03e6ae854024ccd54081d7280f9aba1500833501c02835742a00e666aa040052eb4d5d0a8031919191999ab9a3370e6aae75400920002332212330010030023232323333573466e1cd55cea8012400046644246600200600466a066eb4d5d0a801181a1aba135744a004464c6406c66ae700dc0d80d04d55cf280089baa00135742a0046464646666ae68cdc39aab9d5002480008cc8848cc00400c008cd40cdd69aba150023034357426ae8940088c98c80d8cd5ce01b81b01a09aab9e5001137540026ae84d5d1280111931901919ab9c033032030135573ca00226ea8004d5d0a80299a80e3ae35742a008666aa04004a40026ae85400cccd54081d710009aba150023027357426ae8940088c98c80b8cd5ce01781701609aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150023017357426ae8940088c98c8080cd5ce01081000f080f89931900f99ab9c491035054350001f135573ca00226ea8004444888ccd54c010480054040cd54c01c480048d400488cd54054008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409888ccd400c88008008004d40048800448cc004894cd400840ac40040a08d400488cc028008014018400c4cd405001000d4044004cd54c01c480048d400488c8cd5405800cc004014c8004d540a0894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408488448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d540788844894cd400454038884cd403cc010008cd54c01848004010004c8004d5407488448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101d01c2350012222222222220091232230023758002640026aa036446666aae7c004940288cd4024c010d5d080118019aba2002015232323333573466e1cd55cea80124000466442466002006004601a6ae854008c014d5d09aba2500223263201533573802c02a02626aae7940044dd50009191919191999ab9a3370e6aae75401120002333322221233330010050040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4040054d5d09aba2500223263201a33573803603403026aae7940044dd50009aba150043335500875ca00e6ae85400cc8c8c8cccd5cd19b875001480108c84888c008010d5d09aab9e500323333573466e1d4009200223212223001004375c6ae84d55cf280211999ab9a3370ea00690001091100191931900e19ab9c01d01c01a019018135573aa00226ea8004d5d0a80119a8063ae357426ae8940088c98c8058cd5ce00b80b00a09aba25001135744a00226aae7940044dd5000899aa800bae75a224464460046eac004c8004d5406088c8cccd55cf80112804119a80399aa80498031aab9d5002300535573ca00460086ae8800c04c4d5d08008891001091091198008020018891091980080180109119191999ab9a3370ea0029000119091180100198029aba135573ca00646666ae68cdc3a801240044244002464c6402066ae700440400380344d55cea80089baa001232323333573466e1d400520062321222230040053007357426aae79400c8cccd5cd19b875002480108c848888c008014c024d5d09aab9e500423333573466e1d400d20022321222230010053007357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6402066ae7004404003803403002c4d55cea80089baa001232323333573466e1cd55cea80124000466442466002006004600a6ae854008dd69aba135744a004464c6401866ae700340300284d55cf280089baa0012323333573466e1cd55cea800a400046eb8d5d09aab9e500223263200a33573801601401026ea80048c8c8c8c8c8cccd5cd19b8750014803084888888800c8cccd5cd19b875002480288488888880108cccd5cd19b875003480208cc8848888888cc004024020dd71aba15005375a6ae84d5d1280291999ab9a3370ea00890031199109111111198010048041bae35742a00e6eb8d5d09aba2500723333573466e1d40152004233221222222233006009008300c35742a0126eb8d5d09aba2500923333573466e1d40192002232122222223007008300d357426aae79402c8cccd5cd19b875007480008c848888888c014020c038d5d09aab9e500c23263201333573802802602202001e01c01a01801626aae7540104d55cf280189aab9e5002135573ca00226ea80048c8c8c8c8cccd5cd19b875001480088ccc888488ccc00401401000cdd69aba15004375a6ae85400cdd69aba135744a00646666ae68cdc3a80124000464244600400660106ae84d55cf280311931900619ab9c00d00c00a009135573aa00626ae8940044d55cf280089baa001232323333573466e1d400520022321223001003375c6ae84d55cf280191999ab9a3370ea004900011909118010019bae357426aae7940108c98c8024cd5ce00500480380309aab9d50011375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900519ab9c00b00a008007006135573aa00226ea80048c8cccd5cd19b8750014800880308cccd5cd19b8750024800080308c98c8018cd5ce00380300200189aab9d37540029309000a4810350543100112330012253350021001100700612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc0080080041f5f6").unwrap();
-
-        let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
-        let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
-
-        let inputs = MaybeIndefArray::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
-        let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
-
-        let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
-            inputs
-                .iter()
-                .zip(outputs.iter())
-                .map(|(input, output)| ResolvedInput {
-                    input: input.clone(),
-                    output: output.clone(),
-                })
-                .collect(),
-        );
-
-        let slot_config = SlotConfig {
-            zero_time: 1660003200000, // Preview network
-            slot_length: 1000,
-        };
-
-        let costs: Vec<i64> = vec![
-            205665,
-            812,
-            1,
-            1,
-            1000,
-            571,
-            0,
-            1,
-            1000,
-            24177,
-            4,
-            1,
-            1000,
-            32,
-            117366,
-            10475,
-            4,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            23000,
-            100,
-            100,
-            100,
-            23000,
-            100,
-            19537,
-            32,
-            175354,
-            32,
-            46417,
-            4,
-            221973,
-            511,
-            0,
-            1,
-            89141,
-            32,
-            497525,
-            14068,
-            4,
-            2,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            1000,
-            28662,
-            4,
-            2,
-            245000,
-            216773,
-            62,
-            1,
-            1060367,
-            12586,
-            1,
-            208512,
-            421,
-            1,
-            187000,
-            1000,
-            52998,
-            1,
-            80436,
-            32,
-            43249,
-            32,
-            1000,
-            32,
-            80556,
-            1,
-            57667,
-            4,
-            1000,
-            10,
-            197145,
-            156,
-            1,
-            197145,
-            156,
-            1,
-            204924,
-            473,
-            1,
-            208896,
-            511,
-            1,
-            52467,
-            32,
-            64832,
-            32,
-            65493,
-            32,
-            22558,
-            32,
-            16563,
-            32,
-            76511,
-            32,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            69522,
-            11687,
-            0,
-            1,
-            60091,
-            32,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            196500,
-            453240,
-            220,
-            0,
-            1,
-            1,
-            1159724,
-            392670,
-            0,
-            2,
-            806990,
-            30482,
-            4,
-            1927926,
-            82523,
-            4,
-            265318,
-            0,
-            4,
-            0,
-            85931,
-            32,
-            205665,
-            812,
-            1,
-            1,
-            41182,
-            32,
-            212342,
-            32,
-            31220,
-            32,
-            32696,
-            32,
-            43357,
-            32,
-            32247,
-            32,
-            38314,
-            32,
-            20000000000,
-            20000000000,
-            9462713,
-            1021,
-            10,
-            20000000000,
-            0,
-            20000000000,
-        ];
-
-        let cost_mdl = CostMdls {
-            plutus_v1: None,
-            plutus_v2: Some(costs),
-        };
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-        match multi_era_tx {
-            MultiEraTx::Babbage(tx) => {
-                let redeemers = eval(&tx, &utxos, Some(&cost_mdl), &slot_config).unwrap();
-
-                println!("{:?}", redeemers.len());
-            }
-            _ => unreachable!(),
-        };
-    }
-
-    #[test]
-    fn test_eval_2() {
-        /*
-
-        Plutus V1
-
-        {-# INLINEABLE mintTestValidator #-}
-        mintTestValidator :: () -> Api.ScriptContext -> Bool
-        mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo
-
-          where
-            txInfo :: Api.TxInfo
-            txInfo = Api.scriptContextTxInfo ctx */
-
-        let tx_bytes = hex::decode("84a800818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581ccba7bc9e83499376b6ad49304157778dba7c14bd748e4fd31792a930a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af006ac1021a00050c0309a1581ccba7bc9e83499376b6ad49304157778dba7c14bd748e4fd31792a930a1400a0b5820eb3b868ec2b33dffaf5d5481703ed00870333812b96e0f75ae89fd150b4744300d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0d26af111a00079205a3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f94658405a2dd70be89483bd6291a018c6ca91328dad37e092fdeab2eea14685004878da5f1e5962f35d771498bf54e79be3dcf922ea93b46a1356960dcf0bfd80a91b0b038159094259093f010000323322323232323232323232323232323232323233223232323232323232332232322232325335332232323233355300f12001350265025235001223335530121200135029502823500122333500123302f4800000488cc0c00080048cc0bc00520000013355300e120012350012233550250023335001233553012120012350012233550290023550140010012233355500f0150020012335530121200123500122335502900235501300100133355500a01000200130105002300f5001135001220023333573466e1cd55ce9baa00448000807c8c98c8078cd5ce01000f80e1999ab9a3370e6aae754009200023322123300100300232323232323232323232323333573466e1cd55cea8052400046666666666444444444424666666666600201601401201000e00c00a00800600466a034464646666ae68cdc39aab9d5002480008cc8848cc00400c008c094d5d0a801180f9aba135744a004464c6405c66ae700c00bc0b04d55cf280089baa00135742a01466a0340366ae854024ccd54075d7280e1aba150083335501d75ca0386ae85401ccd4068094d5d0a80319a80d19aa8140133ad35742a00a6464646666ae68cdc39aab9d5002480008cc8848cc00400c008c8c8c8cccd5cd19b8735573aa004900011991091980080180119a815bad35742a00460586ae84d5d1280111931901919ab9c034033030135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae754009200023322123300100300233502b75a6ae854008c0b0d5d09aba2500223263203233573806806606026aae7940044dd50009aba135744a004464c6405c66ae700c00bc0b04d55cf280089baa00135742a00866a034eb8d5d0a80199a80d19aa8143ae200135742a00460446ae84d5d1280111931901519ab9c02c02b028135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573ca00226ea8004d5d0a8011919191999ab9a3370ea0029003119091111802002980e9aba135573ca00646666ae68cdc3a8012400846424444600400a603e6ae84d55cf280211999ab9a3370ea0069001119091111800802980d9aba135573ca00a46666ae68cdc3a8022400046424444600600a6eb8d5d09aab9e500623263202533573804e04c04604404204026aae7540044dd50009aba135744a004464c6403c66ae7008007c07040784c98c8074cd5ce249035054350001e135573ca00226ea8004444888ccd54c01048005403ccd54c01c480048d400488cd54078008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409488ccd400c88008008004d40048800448cc004894cd400840a8400409c8d400488cc028008014018400c4cd404c01000d4040004cd54c01c480048d400488c8cd5407c00cc004014c8004d5409c894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408088448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d540748844894cd400454034884cd4038c010008cd54c01848004010004c8004d5407088448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101c01b23500122222222220081232230023758002640026aa034446666aae7c004940248cd4020c010d5d080118019aba200201423232323333573466e1cd55cea801a40004666444246660020080060046464646666ae68cdc39aab9d5002480008cc8848cc00400c008c054d5d0a80119a80700a1aba135744a004464c6403066ae700680640584d55cf280089baa00135742a006666aa00eeb94018d5d0a80119a8053ae357426ae8940088c98c8050cd5ce00b00a80909aba25001135573ca00226ea80044cd54005d73ad112232230023756002640026aa03044646666aae7c008940208cd401ccd5404cc018d55cea80118029aab9e500230043574400602626ae840044488008488488cc00401000c488c8c8cccd5cd19b875001480008c8488c00800cc014d5d09aab9e500323333573466e1d40092002212200123263201033573802402201c01a26aae7540044dd5000919191999ab9a3370e6aae7540092000233221233001003002300535742a0046eb4d5d09aba2500223263200d33573801e01c01626aae7940044dd50009191999ab9a3370e6aae75400520002375c6ae84d55cf280111931900599ab9c00d00c0091375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900719ab9c01000f00c00b00a135573aa00226ea80048c8cccd5cd19b8750014800880448cccd5cd19b8750024800080448c98c8028cd5ce00600580400389aab9d3754002464646464646666ae68cdc3a800a401842444444400646666ae68cdc3a8012401442444444400846666ae68cdc3a801a40104664424444444660020120106eb8d5d0a8029bad357426ae8940148cccd5cd19b875004480188cc8848888888cc008024020dd71aba15007375c6ae84d5d1280391999ab9a3370ea00a900211991091111111980300480418061aba15009375c6ae84d5d1280491999ab9a3370ea00c900111909111111180380418069aba135573ca01646666ae68cdc3a803a400046424444444600a010601c6ae84d55cf280611931900919ab9c01401301000f00e00d00c00b00a135573aa00826aae79400c4d55cf280109aab9e5001137540024646464646666ae68cdc3a800a4004466644424466600200a0080066eb4d5d0a8021bad35742a0066eb4d5d09aba2500323333573466e1d4009200023212230020033008357426aae7940188c98c802ccd5ce00680600480409aab9d5003135744a00226aae7940044dd5000919191999ab9a3370ea002900111909118008019bae357426aae79400c8cccd5cd19b875002480008c8488c00800cdd71aba135573ca008464c6401066ae700280240180144d55cea80089baa0011122232323333573466e1cd55cea80124000466aa010600c6ae854008c014d5d09aba2500223263200833573801401200c26aae7940044dd5000a4c22442466002006004240029210350543100112330012253350021001100700612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc00800800410581840100d87980821a000a01a61a0b3b82b2f5f6").unwrap();
-
-        let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
-        let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
-
-        let inputs = MaybeIndefArray::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
-        let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
-
-        let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
-            inputs
-                .iter()
-                .zip(outputs.iter())
-                .map(|(input, output)| ResolvedInput {
-                    input: input.clone(),
-                    output: output.clone(),
-                })
-                .collect(),
-        );
-
-        let slot_config = SlotConfig {
-            zero_time: 1660003200000, // Preview network
-            slot_length: 1000,
-        };
-
-        let costs: Vec<i64> = vec![
-            205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4,
-            23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100,
-            23000, 100, 19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525,
-            14068, 4, 2, 196500, 453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1,
-            1060367, 12586, 1, 208512, 421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000,
-            32, 80556, 1, 57667, 4, 1000, 10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1,
-            208896, 511, 1, 52467, 32, 64832, 32, 65493, 32, 22558, 32, 16563, 32, 76511, 32,
-            196500, 453240, 220, 0, 1, 1, 69522, 11687, 0, 1, 60091, 32, 196500, 453240, 220, 0, 1,
-            1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4, 1927926, 82523, 4, 265318, 0, 4, 0,
-            85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32, 31220, 32, 32696, 32, 43357, 32,
-            32247, 32, 38314, 32, 9462713, 1021, 10,
-        ];
-
-        let cost_mdl = CostMdls {
-            plutus_v1: Some(costs),
-            plutus_v2: None,
-        };
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-        match multi_era_tx {
-            MultiEraTx::Babbage(tx) => {
-                let redeemers = eval(&tx, &utxos, Some(&cost_mdl), &slot_config).unwrap();
-
-                println!("{:?}", redeemers.len());
-            }
-            _ => unreachable!(),
-        };
-    }
-
-    #[test]
-    fn eval_missing_redeemer() {
-        let tx_bytes = hex::decode("84a30082825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c5000825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c50010181825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02cf47c8021a00028d89a1068149480100002221200101f5f6").unwrap();
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-
-        let inputs = multi_era_tx.as_babbage().unwrap().transaction_body.inputs.clone();
-
-        let raw_outputs = hex::decode("82825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02b3603082581d703a888d65f16790950a72daee1f63aa05add6d268434107cfa5b677121a001e8480").unwrap();
-
-        let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
-
-        let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
-            inputs
-                .iter()
-                .zip(outputs.iter())
-                .map(|(input, output)| ResolvedInput {
-                    input: input.clone(),
-                    output: output.clone(),
-                })
-                .collect(),
-        );
-
-        let slot_config = SlotConfig {
-            zero_time: 1660003200000, // Preview network
-            slot_length: 1000,
-        };
-
-        let costs: Vec<i64> = vec![
-            205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4,
-            23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100,
-            23000, 100, 19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525,
-            14068, 4, 2, 196500, 453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1,
-            1060367, 12586, 1, 208512, 421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000,
-            32, 80556, 1, 57667, 4, 1000, 10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1,
-            208896, 511, 1, 52467, 32, 64832, 32, 65493, 32, 22558, 32, 16563, 32, 76511, 32,
-            196500, 453240, 220, 0, 1, 1, 69522, 11687, 0, 1, 60091, 32, 196500, 453240, 220, 0, 1,
-            1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4, 1927926, 82523, 4, 265318, 0, 4, 0,
-            85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32, 31220, 32, 32696, 32, 43357, 32,
-            32247, 32, 38314, 32, 9462713, 1021, 10,
-        ];
-
-        let cost_mdl = CostMdls {
-            plutus_v1: Some(costs),
-            plutus_v2: None,
-        };
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-        match multi_era_tx {
-            MultiEraTx::Babbage(tx) => {
-                eval(&tx, &utxos, Some(&cost_mdl), &slot_config).unwrap();
-            }
-            _ => unreachable!(),
-        };
-    }
-
-    #[test]
-    fn eval_extraneous_redeemer() {
-        let tx_bytes = hex::decode("84a70082825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c5000825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c50010181825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02cf2b47021a0002aa0a0b5820fc54f302cff3a8a1cb374f5e4979e18a1d3627dcf4539637b03f5959eb8565bf0d81825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c500110825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02af51c2111a0003ff0fa40081825820065dd553fbe4e240a8f819bb9e333a7483de4a22b65c7fb6a95ce9450f84dff758402c26125a057a696079d08f2c8c9d2b8ccda9fe7cf7360c1a86712b85a91db82a3b80996b30ba6f4b2f969c93eb50694e0f6ea0bcf129080dcc07ecd9e605f00a049fd87980ff0582840000d879808219044c1a000382d48401001864821903e81903e8068149480100002221200101f5f6").unwrap();
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-
-        let inputs = multi_era_tx.as_babbage().unwrap().transaction_body.inputs.clone();
-
-        let raw_outputs = hex::decode("82825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02b3603082581d703a888d65f16790950a72daee1f63aa05add6d268434107cfa5b677121a001e8480").unwrap();
-
-        let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
-
-        let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
-            inputs
-                .iter()
-                .zip(outputs.iter())
-                .map(|(input, output)| ResolvedInput {
-                    input: input.clone(),
-                    output: output.clone(),
-                })
-                .collect(),
-        );
-
-        let slot_config = SlotConfig {
-            zero_time: 1660003200000, // Preview network
-            slot_length: 1000,
-        };
-
-        let costs: Vec<i64> = vec![
-            205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4,
-            23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100,
-            23000, 100, 19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525,
-            14068, 4, 2, 196500, 453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1,
-            1060367, 12586, 1, 208512, 421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000,
-            32, 80556, 1, 57667, 4, 1000, 10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1,
-            208896, 511, 1, 52467, 32, 64832, 32, 65493, 32, 22558, 32, 16563, 32, 76511, 32,
-            196500, 453240, 220, 0, 1, 1, 69522, 11687, 0, 1, 60091, 32, 196500, 453240, 220, 0, 1,
-            1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4, 1927926, 82523, 4, 265318, 0, 4, 0,
-            85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32, 31220, 32, 32696, 32, 43357, 32,
-            32247, 32, 38314, 32, 9462713, 1021, 10,
-        ];
-
-        let cost_mdl = CostMdls {
-            plutus_v1: Some(costs),
-            plutus_v2: None,
-        };
-
-        let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
-            .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
-            .unwrap();
-        match multi_era_tx {
-            MultiEraTx::Babbage(tx) => {
-                eval(&tx, &utxos, Some(&cost_mdl), &slot_config).unwrap();
-            }
-            _ => unreachable!(),
-        };
+        _ => todo!("Wrong era. Please use babbage"),
     }
 }
diff --git a/crates/uplc/src/tx/error.rs b/crates/uplc/src/tx/error.rs
index 2e7b003e..804405a9 100644
--- a/crates/uplc/src/tx/error.rs
+++ b/crates/uplc/src/tx/error.rs
@@ -2,6 +2,25 @@ use crate::machine;
 
 #[derive(thiserror::Error, Debug)]
 pub enum Error {
-    #[error("Runtime error")]
+    #[error("{0}")]
+    Address(#[from] pallas_addresses::Error),
+    #[error("Only shelley reward addresses can be a part of withdrawals")]
+    BadWithdrawalAddress,
+    #[error("{0}")]
+    FragmentDecode(#[from] pallas_primitives::Error),
+    #[error("{0}")]
     Machine(#[from] machine::Error),
+    #[error("Can't eval without redeemers")]
+    NoRedeemers,
+    #[error("Mismatch in required redeemers: {} {}", .missing.join(" "), .extra.join(" "))]
+    RequiredRedeemersMismatch {
+        missing: Vec<String>,
+        extra: Vec<String>,
+    },
+    #[error("Resolved Input not found")]
+    ResolvedInputNotFound,
+    #[error("A key hash cannot be the hash of a script")]
+    ScriptKeyHash,
+    #[error("Wrong era, Please use Babbage or Alonzo: {0}")]
+    WrongEra(#[from] pallas_codec::minicbor::decode::Error),
 }
diff --git a/crates/uplc/src/tx/phase_one.rs b/crates/uplc/src/tx/phase_one.rs
index f6bb93b6..ef2df2e6 100644
--- a/crates/uplc/src/tx/phase_one.rs
+++ b/crates/uplc/src/tx/phase_one.rs
@@ -1,10 +1,16 @@
 use std::collections::HashMap;
 
-use pallas_addresses::{ScriptHash, Address, ShelleyPaymentPart, StakePayload};
+use pallas_addresses::{Address, ScriptHash, ShelleyPaymentPart, StakePayload};
 use pallas_codec::utils::{KeyValuePairs, MaybeIndefArray};
-use pallas_primitives::babbage::{MintedTx, TransactionOutput, StakeCredential, Certificate, RedeemerTag, RewardAccount, PolicyId};
+use pallas_primitives::babbage::{
+    Certificate, MintedTx, PolicyId, RedeemerTag, RewardAccount, StakeCredential, TransactionOutput,
+};
 
-use super::{script_context::{ScriptPurpose, ResolvedInput}, eval::{ScriptVersion, DataLookupTable}};
+use super::{
+    error::Error,
+    eval::{DataLookupTable, ScriptVersion},
+    script_context::{ResolvedInput, ScriptPurpose},
+};
 
 // TODO: include in pallas eventually?
 #[derive(Debug, PartialEq, Clone)]
@@ -20,8 +26,8 @@ pub fn eval_phase_one(
     tx: &MintedTx,
     utxos: &[ResolvedInput],
     lookup_table: &DataLookupTable,
-) -> anyhow::Result<()> {
-    let scripts_needed = scripts_needed(tx, utxos);
+) -> Result<(), Error> {
+    let scripts_needed = scripts_needed(tx, utxos)?;
 
     validate_missing_scripts(&scripts_needed, lookup_table.scripts())?;
 
@@ -33,41 +39,32 @@ pub fn eval_phase_one(
 pub fn validate_missing_scripts(
     needed: &AlonzoScriptsNeeded,
     txscripts: HashMap<ScriptHash, ScriptVersion>,
-) -> anyhow::Result<()> {
-    let received_hashes = txscripts
-        .keys()
-        .map(|x| *x)
-        .collect::<Vec<ScriptHash>>();
+) -> Result<(), Error> {
+    let received_hashes = txscripts.keys().map(|x| *x).collect::<Vec<ScriptHash>>();
 
-    let needed_hashes = needed
-        .iter()
-        .map(|x| x.1)
-        .collect::<Vec<ScriptHash>>();
+    let needed_hashes = needed.iter().map(|x| x.1).collect::<Vec<ScriptHash>>();
 
     let missing: Vec<_> = needed_hashes
         .clone()
         .into_iter()
         .filter(|x| !received_hashes.contains(x))
-        .map(|x| format!(
-            "[Missing (sh: {})]",
-            x
-        ))
+        .map(|x| format!("[Missing (sh: {})]", x))
         .collect();
 
     let extra: Vec<_> = received_hashes
         .into_iter()
         .filter(|x| !needed_hashes.contains(x))
-        .map(|x| format!(
-            "[Extraneous (sh: {:?})]",
-            x
-        ))
+        .map(|x| format!("[Extraneous (sh: {:?})]", x))
         .collect();
 
     if missing.len() > 0 || extra.len() > 0 {
         let missing_errors = missing.join(" ");
         let extra_errors = extra.join(" ");
 
-        unreachable!("Mismatch in required scripts: {} {}", missing_errors, extra_errors);
+        unreachable!(
+            "Mismatch in required scripts: {} {}",
+            missing_errors, extra_errors
+        );
     }
 
     Ok(())
@@ -76,36 +73,33 @@ pub fn validate_missing_scripts(
 pub fn scripts_needed(
     tx: &MintedTx,
     utxos: &[ResolvedInput],
-) -> AlonzoScriptsNeeded {
+) -> Result<AlonzoScriptsNeeded, Error> {
     let mut needed = Vec::new();
 
     let txb = tx.transaction_body.clone();
 
-    let mut spend = txb.inputs
-        .iter()
-        .map(|input| {
-            let utxo = match utxos.iter().find(|utxo| utxo.input == *input) {
-                Some(u) => u,
-                None => panic!("Resolved input not found."),
-            };
-            let address = Address::from_bytes(match &utxo.output {
-                TransactionOutput::Legacy(output) => output.address.as_ref(),
-                TransactionOutput::PostAlonzo(output) => output.address.as_ref(),
-            })
-            .unwrap();
+    let mut spend = Vec::new();
 
-            if let Address::Shelley(a) = address {
-                if let ShelleyPaymentPart::Script(h) = a.payment() {
-                    return Some((ScriptPurpose::Spending(input.clone()), *h))
-                }
+    for input in txb.inputs {
+        let utxo = match utxos.iter().find(|utxo| utxo.input == input) {
+            Some(u) => u,
+            None => return Err(Error::ResolvedInputNotFound),
+        };
+
+        let address = Address::from_bytes(match &utxo.output {
+            TransactionOutput::Legacy(output) => output.address.as_ref(),
+            TransactionOutput::PostAlonzo(output) => output.address.as_ref(),
+        })?;
+
+        if let Address::Shelley(a) = address {
+            if let ShelleyPaymentPart::Script(h) = a.payment() {
+                spend.push((ScriptPurpose::Spending(input.clone()), *h));
             }
+        }
+    }
 
-            None
-        })
-        .flatten()
-        .collect::<AlonzoScriptsNeeded>();
-
-    let mut reward = txb.withdrawals
+    let mut reward = txb
+        .withdrawals
         .as_ref()
         .unwrap_or(&KeyValuePairs::Indef(vec![]))
         .iter()
@@ -115,7 +109,7 @@ pub fn scripts_needed(
             if let Address::Stake(a) = address {
                 if let StakePayload::Script(h) = a.payload() {
                     let cred = StakeCredential::Scripthash(*h);
-                    return Some((ScriptPurpose::Rewarding(cred), *h))
+                    return Some((ScriptPurpose::Rewarding(cred), *h));
                 }
             }
 
@@ -124,7 +118,8 @@ pub fn scripts_needed(
         .flatten()
         .collect::<AlonzoScriptsNeeded>();
 
-    let mut cert = txb.certificates
+    let mut cert = txb
+        .certificates
         .clone()
         .unwrap_or_default()
         .iter()
@@ -133,23 +128,22 @@ pub fn scripts_needed(
             match cert {
                 Certificate::StakeDeregistration(StakeCredential::Scripthash(h)) => {
                     Some((ScriptPurpose::Certifying(cert.clone()), *h))
-                },
+                }
                 Certificate::StakeDelegation(StakeCredential::Scripthash(h), _) => {
                     Some((ScriptPurpose::Certifying(cert.clone()), *h))
-                },
-                _ => None
+                }
+                _ => None,
             }
         })
         .flatten()
         .collect::<AlonzoScriptsNeeded>();
 
-    let mut mint = txb.mint
+    let mut mint = txb
+        .mint
         .as_ref()
         .unwrap_or(&KeyValuePairs::Indef(vec![]))
         .iter()
-        .map(|(policy_id, _)| {
-            (ScriptPurpose::Minting(*policy_id), *policy_id)
-        })
+        .map(|(policy_id, _)| (ScriptPurpose::Minting(*policy_id), *policy_id))
         .collect::<AlonzoScriptsNeeded>();
 
     needed.append(&mut spend);
@@ -157,91 +151,91 @@ pub fn scripts_needed(
     needed.append(&mut cert);
     needed.append(&mut mint);
 
-    needed
+    Ok(needed)
 }
 
 /// hasExactSetOfRedeemers in Ledger Spec, but we pass `txscripts` directly
 pub fn has_exact_set_of_redeemers(
     tx: &MintedTx,
     needed: &AlonzoScriptsNeeded,
-    txscripts: HashMap<ScriptHash, ScriptVersion>,
-) -> anyhow::Result<()> {
-    let redeemers_needed = needed
-        .iter()
-        .map(|(sp, sh)| {
-            let rp = rdptr(tx, sp);
-            let script = txscripts.get(&sh);
+    tx_scripts: HashMap<ScriptHash, ScriptVersion>,
+) -> Result<(), Error> {
+    let mut redeemers_needed = Vec::new();
 
-            match (rp, script) {
-                (Some(ptr), Some(script)) => match script {
-                    ScriptVersion::V1(_) => Some((ptr, sp.clone(), *sh)),
-                    ScriptVersion::V2(_) => Some((ptr, sp.clone(), *sh)),
-                    ScriptVersion::Native(_) => None,
-                },
-                _ => None
+    for (script_purpose, script_hash) in needed {
+        let redeemer_ptr = build_redeemer_ptr(tx, script_purpose)?;
+        let script = tx_scripts.get(&script_hash);
+
+        if let (Some(ptr), Some(script)) = (redeemer_ptr, script) {
+            match script {
+                ScriptVersion::V1(_) => {
+                    redeemers_needed.push((ptr, script_purpose.clone(), *script_hash))
+                }
+                ScriptVersion::V2(_) => {
+                    redeemers_needed.push((ptr, script_purpose.clone(), *script_hash))
+                }
+                ScriptVersion::Native(_) => (),
             }
-        })
-        .flatten()
-        .collect::<Vec<(RedeemerPtr, ScriptPurpose, ScriptHash)>>();
+        }
+    }
 
-    let wits_rdptrs = tx
+    let wits_redeemer_ptrs: Vec<RedeemerPtr> = tx
         .transaction_witness_set
         .redeemer
         .as_ref()
         .unwrap_or(&MaybeIndefArray::Indef(vec![]))
         .iter()
-        .map(|r| {
-            RedeemerPtr { tag: r.tag.clone(), index: r.index }
+        .map(|r| RedeemerPtr {
+            tag: r.tag.clone(),
+            index: r.index,
         })
-        .collect::<Vec<RedeemerPtr>>();
+        .collect();
 
-    let needed_rdptrs = redeemers_needed
-        .iter()
-        .map(|x| x.0.clone())
-        .collect::<Vec<RedeemerPtr>>();
+    let needed_redeemer_ptrs: Vec<RedeemerPtr> =
+        redeemers_needed.iter().map(|x| x.0.clone()).collect();
 
     let missing: Vec<_> = redeemers_needed
         .into_iter()
-        .filter(|x| !wits_rdptrs.contains(&x.0))
-        .map(|x| format!(
-            "[Missing (rp: {:?}, sp: {:?}, sh: {})]",
-            x.0,
-            x.1,
-            x.2.to_string(),
-        ))
+        .filter(|x| !wits_redeemer_ptrs.contains(&x.0))
+        .map(|x| {
+            format!(
+                "[Missing (redeemer_ptr: {:?}, script_purpose: {:?}, script_hash: {})]",
+                x.0,
+                x.1,
+                x.2.to_string(),
+            )
+        })
         .collect();
 
-    let extra: Vec<_> = wits_rdptrs
+    let extra: Vec<_> = wits_redeemer_ptrs
         .into_iter()
-        .filter(|x| !needed_rdptrs.contains(x))
-        .map(|x| format!(
-            "[Extraneous (rp: {:?})]",
-            x
-        ))
+        .filter(|x| !needed_redeemer_ptrs.contains(x))
+        .map(|x| format!("[Extraneous (redeemer_ptr: {:?})]", x))
         .collect();
 
     if missing.len() > 0 || extra.len() > 0 {
         let missing_errors = missing.join(" ");
         let extra_errors = extra.join(" ");
 
-        unreachable!("Mismatch in required redeemers: {} {}", missing_errors, extra_errors);
+        Err(Error::RequiredRedeemersMismatch { missing, extra })
+    } else {
+        Ok(())
     }
-
-    Ok(())
 }
 
 /// builds a redeemer pointer (tag, index) from a script purpose by setting the tag
 /// according to the type of the script purpose, and the index according to the
 /// placement of script purpose inside its container.
-fn rdptr(
+fn build_redeemer_ptr(
     tx: &MintedTx,
-    sp: &ScriptPurpose,
-) -> Option<RedeemerPtr> {
-    let txb = tx.transaction_body.clone();
+    script_purpose: &ScriptPurpose,
+) -> Result<Option<RedeemerPtr>, Error> {
+    let tx_body = tx.transaction_body.clone();
 
-    match sp {
+    match script_purpose {
         ScriptPurpose::Minting(hash) => {
-            let mut policy_ids = txb.mint
+            let mut policy_ids = tx_body
+                .mint
                 .as_ref()
                 .unwrap_or(&KeyValuePairs::Indef(vec![]))
                 .iter()
@@ -253,12 +247,15 @@ fn rdptr(
             let maybe_idx = policy_ids.iter().position(|x| x == hash);
 
             match maybe_idx {
-                Some(idx) => Some(RedeemerPtr { tag: RedeemerTag::Mint, index: idx as u32 }),
-                None => None,
+                Some(idx) => Ok(Some(RedeemerPtr {
+                    tag: RedeemerTag::Mint,
+                    index: idx as u32,
+                })),
+                None => Ok(None),
             }
         }
         ScriptPurpose::Spending(txin) => {
-            let mut inputs = txb.inputs.to_vec();
+            let mut inputs = tx_body.inputs.to_vec();
             inputs.sort_by(
                 |i_a, i_b| match i_a.transaction_id.cmp(&i_b.transaction_id) {
                     std::cmp::Ordering::Less => std::cmp::Ordering::Less,
@@ -270,12 +267,16 @@ fn rdptr(
             let maybe_idx = inputs.iter().position(|x| x == txin);
 
             match maybe_idx {
-                Some(idx) => Some(RedeemerPtr { tag: RedeemerTag::Spend, index: idx as u32 }),
-                None => None,
+                Some(idx) => Ok(Some(RedeemerPtr {
+                    tag: RedeemerTag::Spend,
+                    index: idx as u32,
+                })),
+                None => Ok(None),
             }
-        },
+        }
         ScriptPurpose::Rewarding(racnt) => {
-            let mut reward_accounts = txb.withdrawals
+            let mut reward_accounts = tx_body
+                .withdrawals
                 .as_ref()
                 .unwrap_or(&KeyValuePairs::Indef(vec![]))
                 .iter()
@@ -284,42 +285,47 @@ fn rdptr(
 
             reward_accounts.sort();
 
-            let maybe_idx = reward_accounts.iter().position(|x| {
+            let mut maybe_idx = None;
+
+            for (idx, x) in reward_accounts.iter().enumerate() {
                 let cred = match Address::from_bytes(x).unwrap() {
                     Address::Stake(a) => match a.payload() {
-                        StakePayload::Script(sh) => {
-                            StakeCredential::Scripthash(*sh)
-                        }
+                        StakePayload::Script(sh) => StakeCredential::Scripthash(*sh),
                         StakePayload::Stake(_) => {
-                            unreachable!(
-                                "This is impossible. A key hash cannot be the hash of a script."
-                            );
+                            return Err(Error::ScriptKeyHash);
                         }
                     },
-                    _ => unreachable!(
-                        "This is impossible. Only shelley reward addresses can be a part of withdrawals."
-                    ),
+                    _ => return Err(Error::BadWithdrawalAddress),
                 };
 
-                cred == *racnt
-            });
+                if cred == *racnt {
+                    maybe_idx = Some(idx);
+                }
+            }
 
             match maybe_idx {
-                Some(idx) => Some(RedeemerPtr { tag: RedeemerTag::Reward, index: idx as u32 }),
-                None => None,
+                Some(idx) => Ok(Some(RedeemerPtr {
+                    tag: RedeemerTag::Reward,
+                    index: idx as u32,
+                })),
+                None => Ok(None),
             }
-        },
+        }
         ScriptPurpose::Certifying(d) => {
-            let maybe_idx = txb.certificates
+            let maybe_idx = tx_body
+                .certificates
                 .as_ref()
                 .unwrap_or(&MaybeIndefArray::Indef(vec![]))
                 .iter()
                 .position(|x| x == d);
 
             match maybe_idx {
-                Some(idx) => Some(RedeemerPtr{ tag: RedeemerTag::Cert, index: idx as u32 }),
-                None => None
+                Some(idx) => Ok(Some(RedeemerPtr {
+                    tag: RedeemerTag::Cert,
+                    index: idx as u32,
+                })),
+                None => Ok(None),
             }
-        },
+        }
     }
 }
diff --git a/crates/uplc/src/tx/tests.rs b/crates/uplc/src/tx/tests.rs
new file mode 100644
index 00000000..c8d9cef5
--- /dev/null
+++ b/crates/uplc/src/tx/tests.rs
@@ -0,0 +1,676 @@
+use pallas_codec::utils::MaybeIndefArray;
+use pallas_primitives::{
+    babbage::{CostMdls, TransactionInput, TransactionOutput},
+    Fragment,
+};
+use pallas_traverse::{Era, MultiEraTx};
+
+use super::{eval_phase_two, ResolvedInput, SlotConfig};
+
+#[test]
+fn test_eval() {
+    /*
+
+    PlutusV2
+
+    {-# INLINEABLE mintTestValidator #-}
+    mintTestValidator :: () -> Api.ScriptContext -> Bool
+    mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo && (case Api.txInfoSignatories txInfo of [] -> True)
+
+      where
+        txInfo :: Api.TxInfo
+        txInfo = Api.scriptContextTxInfo ctx */
+
+    let tx_bytes = hex::decode("84a80081825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a5002018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581cc4f241450001af08f3ddbaf9335db79883cbcd81071b8e3508de3055a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0084192f021a00053b6109a1581cc4f241450001af08f3ddbaf9335db79883cbcd81071b8e3508de3055a1400a0b5820b4f96b0acec8beff2adededa8ba317bcac92174f0f65ccefe569b9a6aac7375a0d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0cdfa2111a0007d912a3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f9465840b8b97b7c3b4e19ecfc2fcd9884ee53a35887ee6e4d36901b9ecbac3fe032d7e8a4358305afa573a86396e378255651ed03501906e9def450e588d4bb36f42a050581840100d87980821a000b68081a0cf3a5bf06815909b25909af010000323322323232323232323232323232323232323232332232323232323232323233223232223232533533223233025323233355300f1200135028502623500122333553012120013502b50292350012233350012330314800000488cc0c80080048cc0c400520000013355300e1200123500122335501c0023335001233553012120012350012233550200023550140010012233355500f0150020012335530121200123500122335502000235501300100133355500a01000200130105002300f5001533532350012222222222220045001102a2216135001220023333573466e1cd55ce9baa0044800080808c98c8080cd5ce01081000f1999ab9a3370e6aae7540092000233221233001003002323232323232323232323232323333573466e1cd55cea8062400046666666666664444444444442466666666666600201a01801601401201000e00c00a00800600466a03803a6ae854030cd4070074d5d0a80599a80e00f1aba1500a3335502075ca03e6ae854024ccd54081d7280f9aba1500833501c02835742a00e666aa040052eb4d5d0a8031919191999ab9a3370e6aae75400920002332212330010030023232323333573466e1cd55cea8012400046644246600200600466a066eb4d5d0a801181a1aba135744a004464c6406c66ae700dc0d80d04d55cf280089baa00135742a0046464646666ae68cdc39aab9d5002480008cc8848cc00400c008cd40cdd69aba150023034357426ae8940088c98c80d8cd5ce01b81b01a09aab9e5001137540026ae84d5d1280111931901919ab9c033032030135573ca00226ea8004d5d0a80299a80e3ae35742a008666aa04004a40026ae85400cccd54081d710009aba150023027357426ae8940088c98c80b8cd5ce01781701609aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150023017357426ae8940088c98c8080cd5ce01081000f080f89931900f99ab9c4901035054350001f135573ca00226ea8004444888ccd54c010480054040cd54c01c480048d400488cd54054008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409c88ccd400c88008008004d40048800448cc004894cd400840b040040a48d400488cc028008014018400c4cd405001000d4044004cd54c01c480048d400488c8cd5405800cc004014c8004d540a4894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408888448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d5407c8844894cd400454038884cd403cc010008cd54c01848004010004c8004d5407888448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101e01d2350012222222222220091232230023758002640026aa038446666aae7c004940288cd4024c010d5d080118019aba2002015232323333573466e1cd55cea80124000466442466002006004601a6ae854008c014d5d09aba2500223263201533573802c02a02626aae7940044dd50009191919191999ab9a3370e6aae75401120002333322221233330010050040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4040054d5d09aba2500223263201a33573803603403026aae7940044dd50009aba150043335500875ca00e6ae85400cc8c8c8cccd5cd19b875001480108c84888c008010d5d09aab9e500323333573466e1d4009200223212223001004375c6ae84d55cf280211999ab9a3370ea00690001091100191931900e19ab9c01d01c01a019018135573aa00226ea8004d5d0a80119a8063ae357426ae8940088c98c8058cd5ce00b80b00a09aba25001135744a00226aae7940044dd5000899aa800bae75a224464460046eac004c8004d5406488c8cccd55cf80112804119a80399aa80498031aab9d5002300535573ca00460086ae8800c04c4d5d08008891001091091198008020018891091980080180109119191999ab9a3370ea0029000119091180100198029aba135573ca00646666ae68cdc3a801240044244002464c6402066ae700440400380344d55cea80089baa001232323333573466e1d400520062321222230040053007357426aae79400c8cccd5cd19b875002480108c848888c008014c024d5d09aab9e500423333573466e1d400d20022321222230010053007357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6402066ae7004404003803403002c4d55cea80089baa001232323333573466e1cd55cea80124000466442466002006004600a6ae854008dd69aba135744a004464c6401866ae700340300284d55cf280089baa0012323333573466e1cd55cea800a400046eb8d5d09aab9e500223263200a33573801601401026ea80048c8c8c8c8c8cccd5cd19b8750014803084888888800c8cccd5cd19b875002480288488888880108cccd5cd19b875003480208cc8848888888cc004024020dd71aba15005375a6ae84d5d1280291999ab9a3370ea00890031199109111111198010048041bae35742a00e6eb8d5d09aba2500723333573466e1d40152004233221222222233006009008300c35742a0126eb8d5d09aba2500923333573466e1d40192002232122222223007008300d357426aae79402c8cccd5cd19b875007480008c848888888c014020c038d5d09aab9e500c23263201333573802802602202001e01c01a01801626aae7540104d55cf280189aab9e5002135573ca00226ea80048c8c8c8c8cccd5cd19b875001480088ccc888488ccc00401401000cdd69aba15004375a6ae85400cdd69aba135744a00646666ae68cdc3a80124000464244600400660106ae84d55cf280311931900619ab9c00d00c00a009135573aa00626ae8940044d55cf280089baa001232323333573466e1d400520022321223001003375c6ae84d55cf280191999ab9a3370ea004900011909118010019bae357426aae7940108c98c8024cd5ce00500480380309aab9d50011375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900519ab9c00b00a008007006135573aa00226ea80048c8cccd5cd19b8750014800880348cccd5cd19b8750024800080348c98c8018cd5ce00380300200189aab9d37540029309000a4810350543100112330010020072253350021001100612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc008008005f5f6").unwrap();
+
+    let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
+    let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
+
+    let inputs = Vec::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
+    let outputs = Vec::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
+
+    let utxos: Vec<ResolvedInput> = inputs
+        .iter()
+        .zip(outputs.iter())
+        .map(|(input, output)| ResolvedInput {
+            input: input.clone(),
+            output: output.clone(),
+        })
+        .collect();
+
+    let slot_config = SlotConfig {
+        zero_time: 1660003200000, // Preview network
+        slot_length: 1000,
+    };
+
+    let costs: Vec<i64> = vec![
+        205665,
+        812,
+        1,
+        1,
+        1000,
+        571,
+        0,
+        1,
+        1000,
+        24177,
+        4,
+        1,
+        1000,
+        32,
+        117366,
+        10475,
+        4,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        100,
+        100,
+        23000,
+        100,
+        19537,
+        32,
+        175354,
+        32,
+        46417,
+        4,
+        221973,
+        511,
+        0,
+        1,
+        89141,
+        32,
+        497525,
+        14068,
+        4,
+        2,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        1000,
+        28662,
+        4,
+        2,
+        245000,
+        216773,
+        62,
+        1,
+        1060367,
+        12586,
+        1,
+        208512,
+        421,
+        1,
+        187000,
+        1000,
+        52998,
+        1,
+        80436,
+        32,
+        43249,
+        32,
+        1000,
+        32,
+        80556,
+        1,
+        57667,
+        4,
+        1000,
+        10,
+        197145,
+        156,
+        1,
+        197145,
+        156,
+        1,
+        204924,
+        473,
+        1,
+        208896,
+        511,
+        1,
+        52467,
+        32,
+        64832,
+        32,
+        65493,
+        32,
+        22558,
+        32,
+        16563,
+        32,
+        76511,
+        32,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        69522,
+        11687,
+        0,
+        1,
+        60091,
+        32,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        1159724,
+        392670,
+        0,
+        2,
+        806990,
+        30482,
+        4,
+        1927926,
+        82523,
+        4,
+        265318,
+        0,
+        4,
+        0,
+        85931,
+        32,
+        205665,
+        812,
+        1,
+        1,
+        41182,
+        32,
+        212342,
+        32,
+        31220,
+        32,
+        32696,
+        32,
+        43357,
+        32,
+        32247,
+        32,
+        38314,
+        32,
+        20000000000,
+        20000000000,
+        9462713,
+        1021,
+        10,
+        20000000000,
+        0,
+        20000000000,
+    ];
+
+    let cost_mdl = CostMdls {
+        plutus_v1: None,
+        plutus_v2: Some(costs),
+    };
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+    match multi_era_tx {
+        MultiEraTx::Babbage(tx) => {
+            let redeemers =
+                eval_phase_two(&tx, &utxos, Some(&cost_mdl), &slot_config, false).unwrap();
+
+            assert_eq!(redeemers.len(), 1)
+        }
+        _ => unreachable!(),
+    };
+}
+
+#[test]
+fn test_eval_1() {
+    /*
+
+    PlutusV2
+
+    {-# INLINEABLE mintTestValidator #-}
+    mintTestValidator :: () -> Api.ScriptContext -> Bool
+    mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo
+
+      where
+        txInfo :: Api.TxInfo
+        txInfo = Api.scriptContextTxInfo ctx */
+
+    let tx_bytes = hex::decode("84a800818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581c88c9dfd60601e22509d58b904c2730fe2bdef6a52a41a6f376b0ba94a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af004152021a0005357209a1581c88c9dfd60601e22509d58b904c2730fe2bdef6a52a41a6f376b0ba94a1400a0b5820ff1a62ad8cb2d73ffb8687471e2c99b48bf3b067966a7ea9285f95adcee708a20d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0ce889111a0007d02ba3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f9465840b3dde25e3a2b825d3f120955211e722cc4a7c65fa67697076f2725a2ed0adec0d4bfc742934fe7c29d475bb0630aed1b1cdcf5fac9e06d84976455a661b0dc080581840100d87980821a000b46701a0cd5772f068159099a59099701000032332232323232323232323232323232323232323322323232323232323232332232322232325335332232323233355300f1200135027502623500122333553012120013502a50292350012233350012330304800000488cc0c40080048cc0c000520000013355300e1200123500122335501c0023335001233553012120012350012233550200023550140010012233355500f0150020012335530121200123500122335502000235501300100133355500a01000200130105002300f5001135001220023333573466e1cd55ce9baa0044800080808c98c8080cd5ce01081000f1999ab9a3370e6aae7540092000233221233001003002323232323232323232323232323333573466e1cd55cea8062400046666666666664444444444442466666666666600201a01801601401201000e00c00a00800600466a03803a6ae854030cd4070074d5d0a80599a80e00f1aba1500a3335502075ca03e6ae854024ccd54081d7280f9aba1500833501c02835742a00e666aa040052eb4d5d0a8031919191999ab9a3370e6aae75400920002332212330010030023232323333573466e1cd55cea8012400046644246600200600466a066eb4d5d0a801181a1aba135744a004464c6406c66ae700dc0d80d04d55cf280089baa00135742a0046464646666ae68cdc39aab9d5002480008cc8848cc00400c008cd40cdd69aba150023034357426ae8940088c98c80d8cd5ce01b81b01a09aab9e5001137540026ae84d5d1280111931901919ab9c033032030135573ca00226ea8004d5d0a80299a80e3ae35742a008666aa04004a40026ae85400cccd54081d710009aba150023027357426ae8940088c98c80b8cd5ce01781701609aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226aae7940044dd50009aba150023017357426ae8940088c98c8080cd5ce01081000f080f89931900f99ab9c491035054350001f135573ca00226ea8004444888ccd54c010480054040cd54c01c480048d400488cd54054008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409888ccd400c88008008004d40048800448cc004894cd400840ac40040a08d400488cc028008014018400c4cd405001000d4044004cd54c01c480048d400488c8cd5405800cc004014c8004d540a0894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408488448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d540788844894cd400454038884cd403cc010008cd54c01848004010004c8004d5407488448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101d01c2350012222222222220091232230023758002640026aa036446666aae7c004940288cd4024c010d5d080118019aba2002015232323333573466e1cd55cea80124000466442466002006004601a6ae854008c014d5d09aba2500223263201533573802c02a02626aae7940044dd50009191919191999ab9a3370e6aae75401120002333322221233330010050040030023232323333573466e1cd55cea80124000466442466002006004602c6ae854008cd4040054d5d09aba2500223263201a33573803603403026aae7940044dd50009aba150043335500875ca00e6ae85400cc8c8c8cccd5cd19b875001480108c84888c008010d5d09aab9e500323333573466e1d4009200223212223001004375c6ae84d55cf280211999ab9a3370ea00690001091100191931900e19ab9c01d01c01a019018135573aa00226ea8004d5d0a80119a8063ae357426ae8940088c98c8058cd5ce00b80b00a09aba25001135744a00226aae7940044dd5000899aa800bae75a224464460046eac004c8004d5406088c8cccd55cf80112804119a80399aa80498031aab9d5002300535573ca00460086ae8800c04c4d5d08008891001091091198008020018891091980080180109119191999ab9a3370ea0029000119091180100198029aba135573ca00646666ae68cdc3a801240044244002464c6402066ae700440400380344d55cea80089baa001232323333573466e1d400520062321222230040053007357426aae79400c8cccd5cd19b875002480108c848888c008014c024d5d09aab9e500423333573466e1d400d20022321222230010053007357426aae7940148cccd5cd19b875004480008c848888c00c014dd71aba135573ca00c464c6402066ae7004404003803403002c4d55cea80089baa001232323333573466e1cd55cea80124000466442466002006004600a6ae854008dd69aba135744a004464c6401866ae700340300284d55cf280089baa0012323333573466e1cd55cea800a400046eb8d5d09aab9e500223263200a33573801601401026ea80048c8c8c8c8c8cccd5cd19b8750014803084888888800c8cccd5cd19b875002480288488888880108cccd5cd19b875003480208cc8848888888cc004024020dd71aba15005375a6ae84d5d1280291999ab9a3370ea00890031199109111111198010048041bae35742a00e6eb8d5d09aba2500723333573466e1d40152004233221222222233006009008300c35742a0126eb8d5d09aba2500923333573466e1d40192002232122222223007008300d357426aae79402c8cccd5cd19b875007480008c848888888c014020c038d5d09aab9e500c23263201333573802802602202001e01c01a01801626aae7540104d55cf280189aab9e5002135573ca00226ea80048c8c8c8c8cccd5cd19b875001480088ccc888488ccc00401401000cdd69aba15004375a6ae85400cdd69aba135744a00646666ae68cdc3a80124000464244600400660106ae84d55cf280311931900619ab9c00d00c00a009135573aa00626ae8940044d55cf280089baa001232323333573466e1d400520022321223001003375c6ae84d55cf280191999ab9a3370ea004900011909118010019bae357426aae7940108c98c8024cd5ce00500480380309aab9d50011375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900519ab9c00b00a008007006135573aa00226ea80048c8cccd5cd19b8750014800880308cccd5cd19b8750024800080308c98c8018cd5ce00380300200189aab9d37540029309000a4810350543100112330012253350021001100700612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc0080080041f5f6").unwrap();
+
+    let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
+    let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
+
+    let inputs = MaybeIndefArray::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
+    let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
+
+    let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
+        inputs
+            .iter()
+            .zip(outputs.iter())
+            .map(|(input, output)| ResolvedInput {
+                input: input.clone(),
+                output: output.clone(),
+            })
+            .collect(),
+    );
+
+    let slot_config = SlotConfig {
+        zero_time: 1660003200000, // Preview network
+        slot_length: 1000,
+    };
+
+    let costs: Vec<i64> = vec![
+        205665,
+        812,
+        1,
+        1,
+        1000,
+        571,
+        0,
+        1,
+        1000,
+        24177,
+        4,
+        1,
+        1000,
+        32,
+        117366,
+        10475,
+        4,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        23000,
+        100,
+        100,
+        100,
+        23000,
+        100,
+        19537,
+        32,
+        175354,
+        32,
+        46417,
+        4,
+        221973,
+        511,
+        0,
+        1,
+        89141,
+        32,
+        497525,
+        14068,
+        4,
+        2,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        1000,
+        28662,
+        4,
+        2,
+        245000,
+        216773,
+        62,
+        1,
+        1060367,
+        12586,
+        1,
+        208512,
+        421,
+        1,
+        187000,
+        1000,
+        52998,
+        1,
+        80436,
+        32,
+        43249,
+        32,
+        1000,
+        32,
+        80556,
+        1,
+        57667,
+        4,
+        1000,
+        10,
+        197145,
+        156,
+        1,
+        197145,
+        156,
+        1,
+        204924,
+        473,
+        1,
+        208896,
+        511,
+        1,
+        52467,
+        32,
+        64832,
+        32,
+        65493,
+        32,
+        22558,
+        32,
+        16563,
+        32,
+        76511,
+        32,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        69522,
+        11687,
+        0,
+        1,
+        60091,
+        32,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        196500,
+        453240,
+        220,
+        0,
+        1,
+        1,
+        1159724,
+        392670,
+        0,
+        2,
+        806990,
+        30482,
+        4,
+        1927926,
+        82523,
+        4,
+        265318,
+        0,
+        4,
+        0,
+        85931,
+        32,
+        205665,
+        812,
+        1,
+        1,
+        41182,
+        32,
+        212342,
+        32,
+        31220,
+        32,
+        32696,
+        32,
+        43357,
+        32,
+        32247,
+        32,
+        38314,
+        32,
+        20000000000,
+        20000000000,
+        9462713,
+        1021,
+        10,
+        20000000000,
+        0,
+        20000000000,
+    ];
+
+    let cost_mdl = CostMdls {
+        plutus_v1: None,
+        plutus_v2: Some(costs),
+    };
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+    match multi_era_tx {
+        MultiEraTx::Babbage(tx) => {
+            let redeemers =
+                eval_phase_two(&tx, &utxos, Some(&cost_mdl), &slot_config, false).unwrap();
+
+            println!("{:?}", redeemers.len());
+        }
+        _ => unreachable!(),
+    };
+}
+
+#[test]
+fn test_eval_2() {
+    /*
+
+    Plutus V1
+
+    {-# INLINEABLE mintTestValidator #-}
+    mintTestValidator :: () -> Api.ScriptContext -> Bool
+    mintTestValidator _ ctx = Api.txInfoFee txInfo == Api.txInfoFee txInfo
+
+      where
+        txInfo :: Api.TxInfo
+        txInfo = Api.scriptContextTxInfo ctx */
+
+    let tx_bytes = hex::decode("84a800818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01018282581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f41f0a1581ccba7bc9e83499376b6ad49304157778dba7c14bd748e4fd31792a930a1400a82581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af006ac1021a00050c0309a1581ccba7bc9e83499376b6ad49304157778dba7c14bd748e4fd31792a930a1400a0b5820eb3b868ec2b33dffaf5d5481703ed00870333812b96e0f75ae89fd150b4744300d818258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d011082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af0d26af111a00079205a3008182582031ae74f8058527afb305d7495b10a99422d9337fc199e1f28044f2c477a0f94658405a2dd70be89483bd6291a018c6ca91328dad37e092fdeab2eea14685004878da5f1e5962f35d771498bf54e79be3dcf922ea93b46a1356960dcf0bfd80a91b0b038159094259093f010000323322323232323232323232323232323232323233223232323232323232332232322232325335332232323233355300f12001350265025235001223335530121200135029502823500122333500123302f4800000488cc0c00080048cc0bc00520000013355300e120012350012233550250023335001233553012120012350012233550290023550140010012233355500f0150020012335530121200123500122335502900235501300100133355500a01000200130105002300f5001135001220023333573466e1cd55ce9baa00448000807c8c98c8078cd5ce01000f80e1999ab9a3370e6aae754009200023322123300100300232323232323232323232323333573466e1cd55cea8052400046666666666444444444424666666666600201601401201000e00c00a00800600466a034464646666ae68cdc39aab9d5002480008cc8848cc00400c008c094d5d0a801180f9aba135744a004464c6405c66ae700c00bc0b04d55cf280089baa00135742a01466a0340366ae854024ccd54075d7280e1aba150083335501d75ca0386ae85401ccd4068094d5d0a80319a80d19aa8140133ad35742a00a6464646666ae68cdc39aab9d5002480008cc8848cc00400c008c8c8c8cccd5cd19b8735573aa004900011991091980080180119a815bad35742a00460586ae84d5d1280111931901919ab9c034033030135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae754009200023322123300100300233502b75a6ae854008c0b0d5d09aba2500223263203233573806806606026aae7940044dd50009aba135744a004464c6405c66ae700c00bc0b04d55cf280089baa00135742a00866a034eb8d5d0a80199a80d19aa8143ae200135742a00460446ae84d5d1280111931901519ab9c02c02b028135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573ca00226ea8004d5d0a8011919191999ab9a3370ea0029003119091111802002980e9aba135573ca00646666ae68cdc3a8012400846424444600400a603e6ae84d55cf280211999ab9a3370ea0069001119091111800802980d9aba135573ca00a46666ae68cdc3a8022400046424444600600a6eb8d5d09aab9e500623263202533573804e04c04604404204026aae7540044dd50009aba135744a004464c6403c66ae7008007c07040784c98c8074cd5ce249035054350001e135573ca00226ea8004444888ccd54c01048005403ccd54c01c480048d400488cd54078008d54024004ccd54c0104800488d4008894cd4ccd54c03048004c8cd409488ccd400c88008008004d40048800448cc004894cd400840a8400409c8d400488cc028008014018400c4cd404c01000d4040004cd54c01c480048d400488c8cd5407c00cc004014c8004d5409c894cd40044d5402800c884d4008894cd4cc03000802044888cc0080280104c01800c008c8004d5408088448894cd40044008884cc014008ccd54c01c480040140100044484888c00c0104484888c004010c8004d540748844894cd400454034884cd4038c010008cd54c01848004010004c8004d5407088448894cd40044d400c88004884ccd401488008c010008ccd54c01c4800401401000488ccd5cd19b8f00200101c01b23500122222222220081232230023758002640026aa034446666aae7c004940248cd4020c010d5d080118019aba200201423232323333573466e1cd55cea801a40004666444246660020080060046464646666ae68cdc39aab9d5002480008cc8848cc00400c008c054d5d0a80119a80700a1aba135744a004464c6403066ae700680640584d55cf280089baa00135742a006666aa00eeb94018d5d0a80119a8053ae357426ae8940088c98c8050cd5ce00b00a80909aba25001135573ca00226ea80044cd54005d73ad112232230023756002640026aa03044646666aae7c008940208cd401ccd5404cc018d55cea80118029aab9e500230043574400602626ae840044488008488488cc00401000c488c8c8cccd5cd19b875001480008c8488c00800cc014d5d09aab9e500323333573466e1d40092002212200123263201033573802402201c01a26aae7540044dd5000919191999ab9a3370e6aae7540092000233221233001003002300535742a0046eb4d5d09aba2500223263200d33573801e01c01626aae7940044dd50009191999ab9a3370e6aae75400520002375c6ae84d55cf280111931900599ab9c00d00c0091375400224464646666ae68cdc3a800a40084244400246666ae68cdc3a8012400446424446006008600c6ae84d55cf280211999ab9a3370ea00690001091100111931900719ab9c01000f00c00b00a135573aa00226ea80048c8cccd5cd19b8750014800880448cccd5cd19b8750024800080448c98c8028cd5ce00600580400389aab9d3754002464646464646666ae68cdc3a800a401842444444400646666ae68cdc3a8012401442444444400846666ae68cdc3a801a40104664424444444660020120106eb8d5d0a8029bad357426ae8940148cccd5cd19b875004480188cc8848888888cc008024020dd71aba15007375c6ae84d5d1280391999ab9a3370ea00a900211991091111111980300480418061aba15009375c6ae84d5d1280491999ab9a3370ea00c900111909111111180380418069aba135573ca01646666ae68cdc3a803a400046424444444600a010601c6ae84d55cf280611931900919ab9c01401301000f00e00d00c00b00a135573aa00826aae79400c4d55cf280109aab9e5001137540024646464646666ae68cdc3a800a4004466644424466600200a0080066eb4d5d0a8021bad35742a0066eb4d5d09aba2500323333573466e1d4009200023212230020033008357426aae7940188c98c802ccd5ce00680600480409aab9d5003135744a00226aae7940044dd5000919191999ab9a3370ea002900111909118008019bae357426aae79400c8cccd5cd19b875002480008c8488c00800cdd71aba135573ca008464c6401066ae700280240180144d55cea80089baa0011122232323333573466e1cd55cea80124000466aa010600c6ae854008c014d5d09aba2500223263200833573801401200c26aae7940044dd5000a4c22442466002006004240029210350543100112330012253350021001100700612335002223335003220020020013500122001122123300100300222333573466e1c00800401000c488008488004448c8c00400488cc00cc00800800410581840100d87980821a000a01a61a0b3b82b2f5f6").unwrap();
+
+    let raw_inputs = hex::decode("84825820b16778c9cf065d9efeefe37ec269b4fc5107ecdbd0dd6bf3274b224165c2edd9008258206c732139de33e916342707de2aebef2252c781640326ff37b86ec99d97f1ba8d01825820975c17a4fed0051be622328efa548e206657d2b65a19224bf6ff8132571e6a500282582018f86700660fc88d0370a8f95ea58f75507e6b27a18a17925ad3b1777eb0d77600").unwrap();
+    let raw_outputs = hex::decode("8482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f67235821a000f8548a1581c15be994a64bdb79dde7fe080d8e7ff81b33a9e4860e9ee0d857a8e85a144576177610182581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351b00000001af14b8b482581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a0098968082581d60b6c8794e9a7a26599440a4d0fd79cd07644d15917ff13694f1f672351a00acd8c6").unwrap();
+
+    let inputs = MaybeIndefArray::<TransactionInput>::decode_fragment(&raw_inputs).unwrap();
+    let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
+
+    let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
+        inputs
+            .iter()
+            .zip(outputs.iter())
+            .map(|(input, output)| ResolvedInput {
+                input: input.clone(),
+                output: output.clone(),
+            })
+            .collect(),
+    );
+
+    let slot_config = SlotConfig {
+        zero_time: 1660003200000, // Preview network
+        slot_length: 1000,
+    };
+
+    let costs: Vec<i64> = vec![
+        205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4, 23000,
+        100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100, 23000, 100,
+        19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525, 14068, 4, 2, 196500,
+        453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1, 1060367, 12586, 1, 208512,
+        421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000, 32, 80556, 1, 57667, 4, 1000,
+        10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1, 208896, 511, 1, 52467, 32, 64832, 32,
+        65493, 32, 22558, 32, 16563, 32, 76511, 32, 196500, 453240, 220, 0, 1, 1, 69522, 11687, 0,
+        1, 60091, 32, 196500, 453240, 220, 0, 1, 1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4,
+        1927926, 82523, 4, 265318, 0, 4, 0, 85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32,
+        31220, 32, 32696, 32, 43357, 32, 32247, 32, 38314, 32, 9462713, 1021, 10,
+    ];
+
+    let cost_mdl = CostMdls {
+        plutus_v1: Some(costs),
+        plutus_v2: None,
+    };
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+    match multi_era_tx {
+        MultiEraTx::Babbage(tx) => {
+            let redeemers =
+                eval_phase_two(&tx, &utxos, Some(&cost_mdl), &slot_config, false).unwrap();
+
+            println!("{:?}", redeemers.len());
+        }
+        _ => unreachable!(),
+    };
+}
+
+#[test]
+fn eval_missing_redeemer() {
+    let tx_bytes = hex::decode("84a30082825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c5000825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c50010181825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02cf47c8021a00028d89a1068149480100002221200101f5f6").unwrap();
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+
+    let inputs = multi_era_tx
+        .as_babbage()
+        .unwrap()
+        .transaction_body
+        .inputs
+        .clone();
+
+    let raw_outputs = hex::decode("82825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02b3603082581d703a888d65f16790950a72daee1f63aa05add6d268434107cfa5b677121a001e8480").unwrap();
+
+    let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
+
+    let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
+        inputs
+            .iter()
+            .zip(outputs.iter())
+            .map(|(input, output)| ResolvedInput {
+                input: input.clone(),
+                output: output.clone(),
+            })
+            .collect(),
+    );
+
+    let slot_config = SlotConfig {
+        zero_time: 1660003200000, // Preview network
+        slot_length: 1000,
+    };
+
+    let costs: Vec<i64> = vec![
+        205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4, 23000,
+        100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100, 23000, 100,
+        19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525, 14068, 4, 2, 196500,
+        453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1, 1060367, 12586, 1, 208512,
+        421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000, 32, 80556, 1, 57667, 4, 1000,
+        10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1, 208896, 511, 1, 52467, 32, 64832, 32,
+        65493, 32, 22558, 32, 16563, 32, 76511, 32, 196500, 453240, 220, 0, 1, 1, 69522, 11687, 0,
+        1, 60091, 32, 196500, 453240, 220, 0, 1, 1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4,
+        1927926, 82523, 4, 265318, 0, 4, 0, 85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32,
+        31220, 32, 32696, 32, 43357, 32, 32247, 32, 38314, 32, 9462713, 1021, 10,
+    ];
+
+    let cost_mdl = CostMdls {
+        plutus_v1: Some(costs),
+        plutus_v2: None,
+    };
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+
+    match multi_era_tx {
+        MultiEraTx::Babbage(tx) => {
+            eval_phase_two(&tx, &utxos, Some(&cost_mdl), &slot_config, false).unwrap();
+        }
+        _ => unreachable!(),
+    };
+}
+
+#[test]
+fn eval_extraneous_redeemer() {
+    let tx_bytes = hex::decode("84a70082825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c5000825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c50010181825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02cf2b47021a0002aa0a0b5820fc54f302cff3a8a1cb374f5e4979e18a1d3627dcf4539637b03f5959eb8565bf0d81825820275b5da338c8b899035081eb34bfa950b634911a5dd3271b3ad6cf4c2bba0c500110825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02af51c2111a0003ff0fa40081825820065dd553fbe4e240a8f819bb9e333a7483de4a22b65c7fb6a95ce9450f84dff758402c26125a057a696079d08f2c8c9d2b8ccda9fe7cf7360c1a86712b85a91db82a3b80996b30ba6f4b2f969c93eb50694e0f6ea0bcf129080dcc07ecd9e605f00a049fd87980ff0582840000d879808219044c1a000382d48401001864821903e81903e8068149480100002221200101f5f6").unwrap();
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+
+    let inputs = multi_era_tx
+        .as_babbage()
+        .unwrap()
+        .transaction_body
+        .inputs
+        .clone();
+
+    let raw_outputs = hex::decode("82825839000af00cc47500bb64cfffb783e8c42f746b4e8b8a70ede9c08c7113acf3bde34d1041f5a2076ef9aa6cf4539ab1a96ed462a0300acbdb65d51a02b3603082581d703a888d65f16790950a72daee1f63aa05add6d268434107cfa5b677121a001e8480").unwrap();
+
+    let outputs = MaybeIndefArray::<TransactionOutput>::decode_fragment(&raw_outputs).unwrap();
+
+    let utxos: MaybeIndefArray<ResolvedInput> = MaybeIndefArray::Indef(
+        inputs
+            .iter()
+            .zip(outputs.iter())
+            .map(|(input, output)| ResolvedInput {
+                input: input.clone(),
+                output: output.clone(),
+            })
+            .collect(),
+    );
+
+    let slot_config = SlotConfig {
+        zero_time: 1660003200000, // Preview network
+        slot_length: 1000,
+    };
+
+    let costs: Vec<i64> = vec![
+        205665, 812, 1, 1, 1000, 571, 0, 1, 1000, 24177, 4, 1, 1000, 32, 117366, 10475, 4, 23000,
+        100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 23000, 100, 100, 100, 23000, 100,
+        19537, 32, 175354, 32, 46417, 4, 221973, 511, 0, 1, 89141, 32, 497525, 14068, 4, 2, 196500,
+        453240, 220, 0, 1, 1, 1000, 28662, 4, 2, 245000, 216773, 62, 1, 1060367, 12586, 1, 208512,
+        421, 1, 187000, 1000, 52998, 1, 80436, 32, 43249, 32, 1000, 32, 80556, 1, 57667, 4, 1000,
+        10, 197145, 156, 1, 197145, 156, 1, 204924, 473, 1, 208896, 511, 1, 52467, 32, 64832, 32,
+        65493, 32, 22558, 32, 16563, 32, 76511, 32, 196500, 453240, 220, 0, 1, 1, 69522, 11687, 0,
+        1, 60091, 32, 196500, 453240, 220, 0, 1, 1, 196500, 453240, 220, 0, 1, 1, 806990, 30482, 4,
+        1927926, 82523, 4, 265318, 0, 4, 0, 85931, 32, 205665, 812, 1, 1, 41182, 32, 212342, 32,
+        31220, 32, 32696, 32, 43357, 32, 32247, 32, 38314, 32, 9462713, 1021, 10,
+    ];
+
+    let cost_mdl = CostMdls {
+        plutus_v1: Some(costs),
+        plutus_v2: None,
+    };
+
+    let multi_era_tx = MultiEraTx::decode(Era::Babbage, &tx_bytes)
+        .or_else(|_| MultiEraTx::decode(Era::Alonzo, &tx_bytes))
+        .unwrap();
+
+    match multi_era_tx {
+        MultiEraTx::Babbage(tx) => {
+            eval_phase_two(&tx, &utxos, Some(&cost_mdl), &slot_config, false).unwrap();
+        }
+        _ => unreachable!(),
+    };
+}
diff --git a/crates/uplc/src/tx/to_plutus_data.rs b/crates/uplc/src/tx/to_plutus_data.rs
index 570e2d16..7747509e 100644
--- a/crates/uplc/src/tx/to_plutus_data.rs
+++ b/crates/uplc/src/tx/to_plutus_data.rs
@@ -1,16 +1,14 @@
 use pallas_addresses::{Address, ShelleyDelegationPart, ShelleyPaymentPart};
-use pallas_primitives::babbage::{AssetName, BigInt, Constr, PlutusData, ScriptRef};
-
 use pallas_codec::utils::{AnyUInt, Bytes, Int, KeyValuePairs};
 use pallas_crypto::hash::Hash;
+use pallas_primitives::babbage::{AssetName, BigInt, Constr, PlutusData, ScriptRef};
 use pallas_primitives::babbage::{
     Certificate, DatumOption, PolicyId, Redeemer, Script, StakeCredential, TransactionInput,
     TransactionOutput, Value,
 };
 use pallas_traverse::ComputeHash;
-use std::vec;
 
-use super::script_context::{TxOut, TimeRange, TxInInfo, ScriptPurpose, TxInfo, ScriptContext};
+use super::script_context::{ScriptContext, ScriptPurpose, TimeRange, TxInInfo, TxInfo, TxOut};
 
 fn wrap_with_constr(index: u64, data: PlutusData) -> PlutusData {
     PlutusData::Constr(Constr {