637 lines
34 KiB
Rust
637 lines
34 KiB
Rust
use pallas_primitives::{
|
|
babbage::{CostMdls, MintedTx, Redeemer, TransactionInput, TransactionOutput},
|
|
Fragment,
|
|
};
|
|
use pallas_traverse::{Era, MultiEraTx};
|
|
|
|
use crate::Error;
|
|
|
|
use self::script_context::{ResolvedInput, SlotConfig};
|
|
|
|
mod eval;
|
|
pub mod script_context;
|
|
mod to_plutus_data;
|
|
|
|
pub fn eval_tx(
|
|
tx: &MintedTx,
|
|
utxos: &[ResolvedInput],
|
|
cost_mdls: &CostMdls,
|
|
slot_config: &SlotConfig,
|
|
) -> anyhow::Result<Vec<Redeemer>> {
|
|
let redeemers = tx.transaction_witness_set.redeemer.as_ref();
|
|
|
|
let lookup_table = eval::get_script_and_datum_lookup_table(tx, utxos);
|
|
|
|
match redeemers {
|
|
Some(rs) => {
|
|
let mut collected_redeemers = vec![];
|
|
for redeemer in rs.iter() {
|
|
collected_redeemers.push(eval::eval_redeemer(
|
|
tx,
|
|
utxos,
|
|
slot_config,
|
|
redeemer,
|
|
&lookup_table,
|
|
cost_mdls,
|
|
)?)
|
|
}
|
|
Ok(collected_redeemers)
|
|
}
|
|
None => Ok(vec![]),
|
|
}
|
|
}
|
|
|
|
pub fn eval_tx_raw(
|
|
tx_bytes: &[u8],
|
|
utxos_bytes: &[(Vec<u8>, Vec<u8>)],
|
|
cost_mdls_bytes: &[u8],
|
|
slot_config: (u64, u64),
|
|
) -> 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
|
|
|
|
let cost_mdls = CostMdls::decode_fragment(cost_mdls_bytes)
|
|
.map_err(|_| Error::from("Unable to decode cost models"))?; // TODO: proper error message
|
|
|
|
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 sc = SlotConfig {
|
|
zero_time: slot_config.0,
|
|
slot_length: slot_config.1,
|
|
};
|
|
|
|
match multi_era_tx {
|
|
MultiEraTx::Babbage(tx) => match eval_tx(&tx, &utxos, &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::AlonzoCompatible(tx, _) => match eval_tx(&tx, &utxos, &sc) {
|
|
// Ok(redeemers) => Ok(redeemers
|
|
// .iter()
|
|
// .map(|r| r.encode_fragment().unwrap())
|
|
// .collect()),
|
|
// 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_tx, 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(&tx, &utxos, &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(&tx, &utxos, &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(&tx, &utxos, &cost_mdl, &slot_config).unwrap();
|
|
|
|
println!("{:?}", redeemers.len());
|
|
}
|
|
_ => unreachable!(),
|
|
};
|
|
}
|
|
}
|