Sulkta-OSS/pallas
3
0
Fork 0
Code Issues 1 Pull requests 6 Projects Releases Packages Wiki Activity Actions
pallas/pallas-applying/src/babbage.rs
Matthias Benkort 6b667c78a3 refactor: Re-organize and clean-up pallas-primitives (#523) 
* Re-organize and clean-up pallas-primitives

  Namely:

  - Move _common_ (i.e. era-independent) types and structures up to the
    `lib` module; to be shared across all eras. If any of those deviate
    in a subsequent era, it is easy to bring them down and define new
    types from the point of divergence onward. This simplifies the scope
    of each era-specific module and make them slightly easier to
    navigate.

    Note that, each era module still re-export all of the common types
    that's relevant to that particular era. So technically, this
    reorganization doesn't really change anything for callers/users of
    the library.

  - Rename `Scripthash` to `ScriptHash`. Before this commit, both
    actually existed as `ScriptHash` was introduced with the Conway era.
    Yet, they refer to the same thing, so the duplication is simply
    confusing.

  - Rename `One` / `Two` constructors for `NetworkId` to `Testnet` and
    `Mainnet` respectively. Also defined idiomatic `From` & `TryFrom`
    implementation for conversion to and from `u8`. This is a lot let
    confusing!

  - Generalize `PlutusScript` with a constant generic, to avoid
    repetition for each plutus script generated for specific version.
    Note that a distinction is still _necessary_ if we want to provie
    out-of-the-box serialisers for Plutus scripts, which are serialised
    with a tag prefix depending on the language. All else apart, they
    are strictly similar types.

  - Rename `CostMdls` to `CostModels`. Because, common.

  - Rename `plutus_script` to `plutus_v1_script` in the Alonzo's witness
    set, for consistency with other eras.

* Fix ordering of ScriptHash variants.

  This is an odd one. See the note.

* Bump minicbor to v0.25.1

* Add aliases with deprecation warnings to various fields and types.

* revert renaming plutus_script to plutus_v1_script in Alonzo witness

  See https://github.com/txpipe/pallas/pull/523#discussion_r1807329742
2024-10-22 08:57:21 -03:00

1617 lines
84 KiB
Rust
Raw Blame History

//! Utilities required for Babbage-era transaction validation.
use crate::utils::{
add_minted_value, add_values, aux_data_from_babbage_minted_tx, compute_native_script_hash,
compute_plutus_v1_script_hash, compute_plutus_v2_script_hash, empty_value, get_babbage_tx_size,
get_lovelace_from_alonzo_val, get_payment_part, get_shelley_address, get_val_size_in_words,
is_byron_address, lovelace_diff_or_fail, mk_alonzo_vk_wits_check_list, values_are_equal,
verify_signature,
BabbageError::*,
BabbageProtParams, UTxOs,
ValidationError::{self, *},
ValidationResult,
};
use pallas_addresses::{ScriptHash, ShelleyAddress, ShelleyPaymentPart};
use pallas_codec::{
minicbor::{encode, Encoder},
utils::{Bytes, KeepRaw},
};
use pallas_primitives::{
alonzo::{RedeemerPointer, RedeemerTag},
babbage::{
Language, Mint, MintedTransactionBody, MintedTransactionOutput, MintedTx, MintedWitnessSet,
NativeScript, PseudoDatumOption, PseudoScript, PseudoTransactionOutput, Redeemer,
RequiredSigners, VKeyWitness, Value,
},
AddrKeyhash, Hash, PlutusData, PlutusScript, PolicyId, TransactionInput,
};
use pallas_traverse::{MultiEraInput, MultiEraOutput, OriginalHash};
use std::ops::Deref;
pub fn validate_babbage_tx(
mtx: &MintedTx,
utxos: &UTxOs,
prot_pps: &BabbageProtParams,
block_slot: &u64,
network_magic: &u32,
network_id: &u8,
) -> ValidationResult {
let tx_body: &MintedTransactionBody = &mtx.transaction_body.clone();
let size: u32 = get_babbage_tx_size(mtx).ok_or(Babbage(UnknownTxSize))?;
check_ins_not_empty(tx_body)?;
check_all_ins_in_utxos(tx_body, utxos)?;
check_tx_validity_interval(tx_body, block_slot)?;
check_fee(tx_body, &size, mtx, utxos, prot_pps)?;
check_preservation_of_value(tx_body, utxos)?;
check_min_lovelace(tx_body, prot_pps)?;
check_output_val_size(tx_body, prot_pps)?;
check_network_id(tx_body, network_id)?;
check_tx_size(&size, prot_pps)?;
check_tx_ex_units(mtx, prot_pps)?;
check_minting(tx_body, mtx)?;
check_well_formedness(tx_body, mtx)?;
check_witness_set(mtx, utxos)?;
check_languages(mtx, utxos, network_magic, network_id, block_slot)?;
check_auxiliary_data(tx_body, mtx)?;
check_script_data_hash(tx_body, mtx, utxos, network_magic, network_id, block_slot)
}
// The set of transaction inputs is not empty.
fn check_ins_not_empty(tx_body: &MintedTransactionBody) -> ValidationResult {
if tx_body.inputs.is_empty() {
return Err(Babbage(TxInsEmpty));
}
Ok(())
}
// All transaction inputs, collateral inputs and reference inputs are in the
// UTxO set.
fn check_all_ins_in_utxos(tx_body: &MintedTransactionBody, utxos: &UTxOs) -> ValidationResult {
for input in tx_body.inputs.iter() {
if !(utxos.contains_key(&MultiEraInput::from_alonzo_compatible(input))) {
return Err(Babbage(InputNotInUTxO));
}
}
match &tx_body.collateral {
None => (),
Some(collaterals) => {
for collateral in collaterals {
if !(utxos.contains_key(&MultiEraInput::from_alonzo_compatible(collateral))) {
return Err(Babbage(CollateralNotInUTxO));
}
}
}
}
match &tx_body.reference_inputs {
None => (),
Some(reference_inputs) => {
for reference_input in reference_inputs {
if !(utxos.contains_key(&MultiEraInput::from_alonzo_compatible(reference_input))) {
return Err(Babbage(ReferenceInputNotInUTxO));
}
}
}
}
Ok(())
}
// The block slot is contained in the transaction validity interval, and the
// upper bound is translatable to UTC time.
fn check_tx_validity_interval(
tx_body: &MintedTransactionBody,
block_slot: &u64,
) -> ValidationResult {
check_lower_bound(tx_body, *block_slot)?;
check_upper_bound(tx_body, *block_slot)
}
// If defined, the lower bound of the validity time interval does not exceed the
// block slot.
fn check_lower_bound(tx_body: &MintedTransactionBody, block_slot: u64) -> ValidationResult {
match tx_body.validity_interval_start {
Some(lower_bound) => {
if block_slot < lower_bound {
Err(Babbage(BlockPrecedesValInt))
} else {
Ok(())
}
}
None => Ok(()),
}
}
// If defined, the upper bound of the validity time interval is not exceeded by
// the block slot, and it is translatable to UTC time.
fn check_upper_bound(tx_body: &MintedTransactionBody, block_slot: u64) -> ValidationResult {
match tx_body.ttl {
Some(upper_bound) => {
if upper_bound < block_slot {
Err(Babbage(BlockExceedsValInt))
} else {
// TODO: check that `upper_bound` is translatable to UTC time.
Ok(())
}
}
None => Ok(()),
}
}
fn check_fee(
tx_body: &MintedTransactionBody,
size: &u32,
mtx: &MintedTx,
utxos: &UTxOs,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
check_min_fee(tx_body, size, prot_pps)?;
if presence_of_plutus_scripts(mtx) {
check_collaterals(tx_body, utxos, prot_pps)?
}
Ok(())
}
// The fee paid by the transaction should be greater than or equal to the
// minimum fee.
fn check_min_fee(
tx_body: &MintedTransactionBody,
size: &u32,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
if tx_body.fee < (prot_pps.minfee_b + prot_pps.minfee_a * size) as u64 {
return Err(Babbage(FeeBelowMin));
}
Ok(())
}
fn presence_of_plutus_scripts(mtx: &MintedTx) -> bool {
let minted_witness_set: &MintedWitnessSet = &mtx.transaction_witness_set;
let plutus_v1_scripts: &[PlutusScript<1>] = &minted_witness_set
.plutus_v1_script
.clone()
.unwrap_or_default();
let plutus_v2_scripts: &[PlutusScript<2>] = &minted_witness_set
.plutus_v2_script
.clone()
.unwrap_or_default();
!plutus_v1_scripts.is_empty() || !plutus_v2_scripts.is_empty()
}
fn check_collaterals(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
let collaterals: &[TransactionInput] = &tx_body
.collateral
.clone()
.ok_or(Babbage(CollateralMissing))?;
check_collaterals_number(collaterals, prot_pps)?;
check_collaterals_address(collaterals, utxos)?;
check_collaterals_assets(tx_body, utxos, prot_pps)
}
// The set of collateral inputs is not empty.
// The number of collateral inputs is below maximum allowed by protocol.
fn check_collaterals_number(
collaterals: &[TransactionInput],
prot_pps: &BabbageProtParams,
) -> ValidationResult {
if collaterals.is_empty() {
Err(Babbage(CollateralMissing))
} else if collaterals.len() as u32 > prot_pps.max_collateral_inputs {
Err(Babbage(TooManyCollaterals))
} else {
Ok(())
}
}
// Each collateral input refers to a verification-key address.
fn check_collaterals_address(collaterals: &[TransactionInput], utxos: &UTxOs) -> ValidationResult {
for collateral in collaterals {
match utxos.get(&MultiEraInput::from_alonzo_compatible(collateral)) {
Some(multi_era_output) => {
if let Some(babbage_output) = MultiEraOutput::as_babbage(multi_era_output) {
let address: &Bytes = match babbage_output {
PseudoTransactionOutput::Legacy(inner) => &inner.address,
PseudoTransactionOutput::PostAlonzo(inner) => &inner.address,
};
if let ShelleyPaymentPart::Script(_) =
get_payment_part(address).ok_or(Babbage(InputDecoding))?
{
return Err(Babbage(CollateralNotVKeyLocked));
}
}
}
None => {
return Err(Babbage(CollateralNotInUTxO));
}
}
}
Ok(())
}
// The balance between collateral inputs and output contains only lovelace.
// The balance is not lower than the minimum allowed.
// The balance matches exactly the collateral annotated in the transaction body.
fn check_collaterals_assets(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
match &tx_body.collateral {
Some(collaterals) => {
let mut coll_input: Value = empty_value();
for collateral in collaterals {
match utxos.get(&MultiEraInput::from_alonzo_compatible(collateral)) {
Some(multi_era_output) => {
coll_input = add_values(
&coll_input,
&val_from_multi_era_output(multi_era_output),
&Babbage(NegativeValue),
)?
}
None => {
return Err(Babbage(CollateralNotInUTxO));
}
}
}
let coll_return: Value = match &tx_body.collateral_return {
Some(PseudoTransactionOutput::Legacy(output)) => output.amount.clone(),
Some(PseudoTransactionOutput::PostAlonzo(output)) => output.value.clone(),
None => Value::Coin(0),
};
// The balance between collateral inputs and output contains only lovelace.
let paid_collateral: u64 =
lovelace_diff_or_fail(&coll_input, &coll_return, &Babbage(NonLovelaceCollateral))?;
let fee_percentage: u64 = tx_body.fee * prot_pps.collateral_percentage as u64;
// The balance is not lower than the minimum allowed.
if paid_collateral * 100 < fee_percentage {
return Err(Babbage(CollateralMinLovelace));
}
// The balance matches exactly the collateral annotated in the transaction body.
if let Some(annotated_collateral) = &tx_body.total_collateral {
if paid_collateral != *annotated_collateral {
return Err(Babbage(CollateralAnnotation));
}
}
}
None => return Err(Babbage(CollateralMissing)),
}
Ok(())
}
fn val_from_multi_era_output(multi_era_output: &MultiEraOutput) -> Value {
match multi_era_output {
MultiEraOutput::Byron(output) => Value::Coin(output.amount),
MultiEraOutput::AlonzoCompatible(output, _) => output.amount.clone(),
babbage_output => match babbage_output.as_babbage() {
Some(PseudoTransactionOutput::Legacy(output)) => output.amount.clone(),
Some(PseudoTransactionOutput::PostAlonzo(output)) => output.value.clone(),
None => unimplemented!(), /* If this is the case, then it must be that non-exhaustive
* type MultiEraOutput was extended with another variant */
},
}
}
// The preservation of value property holds.
fn check_preservation_of_value(tx_body: &MintedTransactionBody, utxos: &UTxOs) -> ValidationResult {
let mut input: Value = get_consumed(tx_body, utxos)?;
let produced: Value = get_produced(tx_body)?;
let output: Value = add_values(
&produced,
&Value::Coin(tx_body.fee),
&Babbage(NegativeValue),
)?;
if let Some(m) = &tx_body.mint {
input = add_minted_value(&input, m, &Babbage(NegativeValue))?;
}
if !values_are_equal(&input, &output) {
return Err(Babbage(PreservationOfValue));
}
Ok(())
}
fn get_consumed(tx_body: &MintedTransactionBody, utxos: &UTxOs) -> Result<Value, ValidationError> {
let mut res: Value = empty_value();
for input in tx_body.inputs.iter() {
let multi_era_output: &MultiEraOutput = utxos
.get(&MultiEraInput::from_alonzo_compatible(input))
.ok_or(Babbage(InputNotInUTxO))?;
let val: Value = val_from_multi_era_output(multi_era_output);
res = add_values(&res, &val, &Babbage(NegativeValue))?;
}
Ok(res)
}
fn get_produced(tx_body: &MintedTransactionBody) -> Result<Value, ValidationError> {
let mut res: Value = empty_value();
for output in tx_body.outputs.iter() {
match output {
PseudoTransactionOutput::Legacy(output) => {
res = add_values(&res, &output.amount, &Babbage(NegativeValue))?
}
PseudoTransactionOutput::PostAlonzo(output) => {
res = add_values(&res, &output.value, &Babbage(NegativeValue))?
}
}
}
Ok(res)
}
fn check_min_lovelace(
tx_body: &MintedTransactionBody,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
for output in tx_body.outputs.iter() {
let val: &Value = match output {
PseudoTransactionOutput::Legacy(output) => &output.amount,
PseudoTransactionOutput::PostAlonzo(output) => &output.value,
};
if get_lovelace_from_alonzo_val(val) < compute_min_lovelace(val, prot_pps) {
return Err(Babbage(MinLovelaceUnreached));
}
}
Ok(())
}
fn compute_min_lovelace(val: &Value, prot_pps: &BabbageProtParams) -> u64 {
prot_pps.ada_per_utxo_byte * (get_val_size_in_words(val) + 160)
}
// The size of the value in each of the outputs should not be greater than the
// maximum allowed.
fn check_output_val_size(
tx_body: &MintedTransactionBody,
prot_pps: &BabbageProtParams,
) -> ValidationResult {
for output in tx_body.outputs.iter() {
let val: &Value = match output {
PseudoTransactionOutput::Legacy(output) => &output.amount,
PseudoTransactionOutput::PostAlonzo(output) => &output.value,
};
if get_val_size_in_words(val) > prot_pps.max_value_size as u64 {
return Err(Babbage(MaxValSizeExceeded));
}
}
Ok(())
}
fn check_network_id(tx_body: &MintedTransactionBody, network_id: &u8) -> ValidationResult {
check_tx_outs_network_id(tx_body, network_id)?;
check_tx_network_id(tx_body, network_id)
}
fn check_tx_outs_network_id(tx_body: &MintedTransactionBody, network_id: &u8) -> ValidationResult {
for output in tx_body.outputs.iter() {
let addr_bytes: &Bytes = match output {
PseudoTransactionOutput::Legacy(output) => &output.address,
PseudoTransactionOutput::PostAlonzo(output) => &output.address,
};
let addr: ShelleyAddress =
get_shelley_address(Bytes::deref(addr_bytes)).ok_or(Babbage(AddressDecoding))?;
if addr.network().value() != *network_id {
return Err(Babbage(OutputWrongNetworkID));
}
}
Ok(())
}
// The network ID of the transaction body is either undefined or equal to the
// global network ID.
fn check_tx_network_id(tx_body: &MintedTransactionBody, network_id: &u8) -> ValidationResult {
if let Some(tx_network_id) = tx_body.network_id {
if u8::from(tx_network_id) != *network_id {
return Err(Babbage(TxWrongNetworkID));
}
}
Ok(())
}
fn check_tx_size(size: &u32, prot_pps: &BabbageProtParams) -> ValidationResult {
if *size > prot_pps.max_transaction_size {
return Err(Babbage(MaxTxSizeExceeded));
}
Ok(())
}
fn check_tx_ex_units(mtx: &MintedTx, prot_pps: &BabbageProtParams) -> ValidationResult {
let tx_wits: &MintedWitnessSet = &mtx.transaction_witness_set;
if presence_of_plutus_scripts(mtx) {
match &tx_wits.redeemer {
Some(redeemers_vec) => {
let mut steps: u64 = 0;
let mut mem: u64 = 0;
for Redeemer { ex_units, .. } in redeemers_vec {
mem += ex_units.mem;
steps += ex_units.steps;
}
if mem > prot_pps.max_tx_ex_units.mem || steps > prot_pps.max_tx_ex_units.steps {
return Err(Babbage(TxExUnitsExceeded));
}
}
None => return Err(Babbage(RedeemerMissing)),
}
}
Ok(())
}
// Each minted / burned asset is paired with an appropriate native script or
// Plutus script.
fn check_minting(tx_body: &MintedTransactionBody, mtx: &MintedTx) -> ValidationResult {
match &tx_body.mint {
Some(minted_value) => {
let native_script_wits: Vec<NativeScript> =
match &mtx.transaction_witness_set.native_script {
None => Vec::new(),
Some(keep_raw_native_script_wits) => keep_raw_native_script_wits
.iter()
.map(|x| x.clone().unwrap())
.collect(),
};
let v1_script_wits: Vec<PlutusScript<1>> =
match &mtx.transaction_witness_set.plutus_v1_script {
None => Vec::new(),
Some(v1_script_wits) => v1_script_wits.clone(),
};
let v2_script_wits: Vec<PlutusScript<2>> =
match &mtx.transaction_witness_set.plutus_v2_script {
None => Vec::new(),
Some(v2_script_wits) => v2_script_wits.clone(),
};
for (policy, _) in minted_value.iter() {
if native_script_wits
.iter()
.all(|script| compute_native_script_hash(script) != *policy)
&& v1_script_wits
.iter()
.all(|script| compute_plutus_v1_script_hash(script) != *policy)
&& v2_script_wits
.iter()
.all(|script| compute_plutus_v2_script_hash(script) != *policy)
{
return Err(Babbage(MintingLacksPolicy));
}
}
Ok(())
}
None => Ok(()),
}
}
fn check_well_formedness(_tx_body: &MintedTransactionBody, _mtx: &MintedTx) -> ValidationResult {
Ok(())
}
fn check_witness_set(mtx: &MintedTx, utxos: &UTxOs) -> ValidationResult {
let tx_hash: &Vec<u8> = &Vec::from(mtx.transaction_body.original_hash().as_ref());
let tx_body: &MintedTransactionBody = &mtx.transaction_body;
let tx_wits: &MintedWitnessSet = &mtx.transaction_witness_set;
let vkey_wits: &Option<Vec<VKeyWitness>> = &tx_wits.vkeywitness;
let native_scripts: Vec<PolicyId> = match &tx_wits.native_script {
Some(scripts) => scripts
.clone()
.iter()
.map(|raw_script| compute_native_script_hash(raw_script))
.collect(),
None => Vec::new(),
};
let plutus_v1_scripts: Vec<PolicyId> = match &tx_wits.plutus_v1_script {
Some(scripts) => scripts
.clone()
.iter()
.map(compute_plutus_v1_script_hash)
.collect(),
None => Vec::new(),
};
let plutus_v2_scripts: Vec<PolicyId> = match &tx_wits.plutus_v2_script {
Some(scripts) => scripts
.clone()
.iter()
.map(compute_plutus_v2_script_hash)
.collect(),
None => Vec::new(),
};
let reference_scripts: Vec<PolicyId> = get_reference_script_hashes(tx_body, utxos);
check_needed_scripts(
tx_body,
utxos,
&native_scripts,
&plutus_v1_scripts,
&plutus_v2_scripts,
&reference_scripts,
)?;
check_datums(tx_body, utxos, &tx_wits.plutus_data)?;
check_redeemers(
&plutus_v1_scripts,
&plutus_v2_scripts,
&reference_scripts,
tx_body,
tx_wits,
utxos,
)?;
check_required_signers(&tx_body.required_signers, vkey_wits, tx_hash)?;
check_vkey_input_wits(mtx, &tx_wits.vkeywitness, utxos)
}
// Each minting policy or script hash in a script input address can be matched
// to a script in the transaction witness set, except when it can be found in a
// reference input
fn check_needed_scripts(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
native_scripts: &[PolicyId],
plutus_v1_scripts: &[PolicyId],
plutus_v2_scripts: &[PolicyId],
reference_scripts: &[PolicyId],
) -> ValidationResult {
let mut filtered_native_scripts: Vec<(bool, PolicyId)> = native_scripts
.iter()
.map(|&script_hash| (false, script_hash))
.collect();
filtered_native_scripts.retain(|&(_, native_script_hash)| {
!reference_scripts
.iter()
.any(|&reference_script_hash| reference_script_hash == native_script_hash)
});
let mut filtered_plutus_v1_scripts: Vec<(bool, PolicyId)> = plutus_v1_scripts
.iter()
.map(|&script_hash| (false, script_hash))
.collect();
filtered_plutus_v1_scripts.retain(|&(_, plutus_v1_script_hash)| {
!reference_scripts
.iter()
.any(|&reference_script_hash| reference_script_hash == plutus_v1_script_hash)
});
let mut filtered_plutus_v2_scripts: Vec<(bool, PolicyId)> = plutus_v2_scripts
.iter()
.map(|&script_hash| (false, script_hash))
.collect();
filtered_plutus_v2_scripts.retain(|&(_, plutus_v2_script_hash)| {
!reference_scripts
.iter()
.any(|&reference_script_hash| reference_script_hash == plutus_v2_script_hash)
});
check_input_scripts(
tx_body,
&mut filtered_native_scripts,
&mut filtered_plutus_v1_scripts,
&mut filtered_plutus_v2_scripts,
reference_scripts,
utxos,
)?;
check_minting_policies(
tx_body,
&mut filtered_native_scripts,
&mut filtered_plutus_v1_scripts,
&mut filtered_plutus_v2_scripts,
reference_scripts,
)?;
for (covered, _) in filtered_native_scripts.iter() {
if !covered {
return Err(Babbage(UnneededNativeScript));
}
}
for (covered, _) in filtered_plutus_v1_scripts.iter() {
if !covered {
return Err(Babbage(UnneededPlutusV1Script));
}
}
for (covered, _) in filtered_plutus_v2_scripts.iter() {
if !covered {
return Err(Babbage(UnneededPlutusV2Script));
}
}
Ok(())
}
fn get_reference_script_hashes(tx_body: &MintedTransactionBody, utxos: &UTxOs) -> Vec<PolicyId> {
let mut res: Vec<PolicyId> = Vec::new();
if let Some(reference_inputs) = &tx_body.reference_inputs {
for input in reference_inputs.iter() {
if let Some(script_hash) = get_script_hash_from_reference_input(input, utxos) {
res.push(script_hash)
}
}
}
res
}
fn check_input_scripts(
tx_body: &MintedTransactionBody,
native_scripts: &mut [(bool, PolicyId)],
plutus_v1_scripts: &mut [(bool, PolicyId)],
plutus_v2_scripts: &mut [(bool, PolicyId)],
reference_scripts: &[PolicyId],
utxos: &UTxOs,
) -> ValidationResult {
let mut needed_input_scripts: Vec<(bool, ScriptHash)> =
get_script_hashes_from_inputs(tx_body, utxos);
for (covered, hash) in &mut needed_input_scripts {
for (native_script_covered, native_script_hash) in native_scripts.iter_mut() {
if *hash == *native_script_hash {
*covered = true;
*native_script_covered = true;
}
}
for (plutus_v1_script_covered, plutus_v1_script_hash) in plutus_v1_scripts.iter_mut() {
if *hash == *plutus_v1_script_hash {
*covered = true;
*plutus_v1_script_covered = true;
}
}
for (plutus_v2_script_covered, plutus_v2_script_hash) in plutus_v2_scripts.iter_mut() {
if *hash == *plutus_v2_script_hash {
*covered = true;
*plutus_v2_script_covered = true;
}
}
}
for (covered, hash) in needed_input_scripts {
if !covered
&& !reference_scripts
.iter()
.any(|reference_script_hash| *reference_script_hash == hash)
{
return Err(Babbage(ScriptWitnessMissing));
}
}
Ok(())
}
fn get_script_hashes_from_inputs(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
) -> Vec<(bool, ScriptHash)> {
let mut res: Vec<(bool, ScriptHash)> = Vec::new();
for input in tx_body.inputs.iter() {
if let Some(script_hash) = get_script_hash_from_input(input, utxos) {
res.push((false, script_hash))
}
}
res
}
fn get_script_hash_from_input(input: &TransactionInput, utxos: &UTxOs) -> Option<ScriptHash> {
match utxos
.get(&MultiEraInput::from_alonzo_compatible(input))
.and_then(MultiEraOutput::as_babbage)
{
Some(PseudoTransactionOutput::Legacy(output)) => match get_payment_part(&output.address) {
Some(ShelleyPaymentPart::Script(script_hash)) => Some(script_hash),
_ => None,
},
Some(PseudoTransactionOutput::PostAlonzo(output)) => {
match get_payment_part(&output.address) {
Some(ShelleyPaymentPart::Script(script_hash)) => Some(script_hash),
_ => None,
}
}
None => None,
}
}
fn get_script_hash_from_reference_input(
ref_input: &TransactionInput,
utxos: &UTxOs,
) -> Option<PolicyId> {
match utxos
.get(&MultiEraInput::from_alonzo_compatible(ref_input))
.and_then(MultiEraOutput::as_babbage)
{
Some(PseudoTransactionOutput::Legacy(_)) => None,
Some(PseudoTransactionOutput::PostAlonzo(output)) => {
if let Some(script_ref_cborwrap) = &output.script_ref {
match script_ref_cborwrap.clone().unwrap() {
PseudoScript::NativeScript(native_script) => {
// First, the NativeScript header.
let mut val_to_hash: Vec<u8> = vec![0];
// Then, the CBOR content.
val_to_hash.extend_from_slice(native_script.raw_cbor());
return Some(pallas_crypto::hash::Hasher::<224>::hash(&val_to_hash));
}
PseudoScript::PlutusV1Script(plutus_v1_script) => {
// First, the PlutusV1Script header.
let mut val_to_hash: Vec<u8> = vec![1];
// Then, the CBOR content.
val_to_hash.extend_from_slice(plutus_v1_script.as_ref());
return Some(pallas_crypto::hash::Hasher::<224>::hash(&val_to_hash));
}
PseudoScript::PlutusV2Script(plutus_v2_script) => {
// First, the PlutusV2Script header.
let mut val_to_hash: Vec<u8> = vec![2];
// Then, the CBOR content.
val_to_hash.extend_from_slice(plutus_v2_script.as_ref());
return Some(pallas_crypto::hash::Hasher::<224>::hash(&val_to_hash));
}
}
}
None
}
_ => None,
}
}
fn check_minting_policies(
tx_body: &MintedTransactionBody,
native_scripts: &mut [(bool, PolicyId)],
plutus_v1_scripts: &mut [(bool, PolicyId)],
plutus_v2_scripts: &mut [(bool, PolicyId)],
reference_scripts: &[PolicyId],
) -> ValidationResult {
match &tx_body.mint {
None => Ok(()),
Some(minted_value) => {
let mut minting_policies: Vec<(bool, PolicyId)> =
minted_value.iter().map(|(pol, _)| (false, *pol)).collect();
for (policy_covered, policy) in &mut minting_policies {
for (native_script_covered, native_script_hash) in native_scripts.iter_mut() {
if *policy == *native_script_hash {
*policy_covered = true;
*native_script_covered = true;
}
}
for (plutus_script_covered, plutus_v1_script_hash) in plutus_v1_scripts.iter_mut() {
if *policy == *plutus_v1_script_hash {
*policy_covered = true;
*plutus_script_covered = true;
}
}
for (plutus_script_covered, plutus_v2_script_hash) in plutus_v2_scripts.iter_mut() {
if *policy == *plutus_v2_script_hash {
*policy_covered = true;
*plutus_script_covered = true;
}
}
for reference_script_hash in reference_scripts.iter() {
if *policy == *reference_script_hash {
*policy_covered = true;
}
}
}
for (policy_covered, _) in minting_policies {
if !policy_covered {
return Err(Babbage(MintingLacksPolicy));
}
}
Ok(())
}
}
}
// Each datum hash in a Plutus script input matches the hash of a datum in the
// transaction witness set
fn check_datums(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
option_plutus_data: &Option<Vec<KeepRaw<PlutusData>>>,
) -> ValidationResult {
let mut plutus_data_hashes: Vec<(bool, Hash<32>)> = match option_plutus_data {
Some(plutus_data) => plutus_data
.iter()
.map(|datum| {
(
false,
pallas_crypto::hash::Hasher::<256>::hash(datum.raw_cbor()),
)
})
.collect(),
None => Vec::new(),
};
check_input_datum_hash_in_witness_set(tx_body, utxos, &mut plutus_data_hashes)?;
check_remaining_datums(&plutus_data_hashes, tx_body, utxos)
}
// Each datum hash in a Plutus script input matches the hash of a datum in the
// transaction witness set.
fn check_input_datum_hash_in_witness_set(
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
plutus_data_hash: &mut [(bool, Hash<32>)],
) -> ValidationResult {
for input in &tx_body.inputs {
match utxos
.get(&MultiEraInput::from_alonzo_compatible(input))
.and_then(MultiEraOutput::as_babbage)
{
Some(output) => {
if let Some(datum_hash) = get_datum_hash(output) {
find_plutus_datum_in_witness_set(&datum_hash, plutus_data_hash)?
}
}
None => return Err(Babbage(InputNotInUTxO)),
}
}
Ok(())
}
// Extract datum hash if one is contained.
fn get_datum_hash(output: &MintedTransactionOutput) -> Option<Hash<32>> {
match output {
PseudoTransactionOutput::Legacy(output) => output.datum_hash,
PseudoTransactionOutput::PostAlonzo(output) => match output.datum_option {
Some(PseudoDatumOption::Hash(hash)) => Some(hash),
_ => None,
},
}
}
fn find_plutus_datum_in_witness_set(
hash: &Hash<32>,
plutus_data_hash: &mut [(bool, Hash<32>)],
) -> ValidationResult {
for (found, plutus_datum_hash) in plutus_data_hash {
if hash == plutus_datum_hash {
*found = true;
return Ok(());
}
}
Err(Babbage(DatumMissing))
}
// Each datum in the transaction witness set can be related to the datum hash in
// a Plutus script input, or in a reference input, or in a regular output, or in
// the collateral return output
fn check_remaining_datums(
plutus_data_hash: &[(bool, Hash<32>)],
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
) -> ValidationResult {
for (found, plutus_datum_hash) in plutus_data_hash {
if !found {
find_datum(plutus_datum_hash, tx_body, utxos)?
}
}
Ok(())
}
fn find_datum(hash: &Hash<32>, tx_body: &MintedTransactionBody, utxos: &UTxOs) -> ValidationResult {
// Look for hash in transaction (regular) outputs
for output in tx_body.outputs.iter() {
if let Some(datum_hash) = get_datum_hash(output) {
if *hash == datum_hash {
return Ok(());
}
}
}
// Look for hash in collateral return output
if let Some(babbage_output) = &tx_body.collateral_return {
match babbage_output {
PseudoTransactionOutput::Legacy(output) => {
if let Some(datum_hash) = &output.datum_hash {
if *hash == *datum_hash {
return Ok(());
}
}
}
PseudoTransactionOutput::PostAlonzo(output) => {
if let Some(PseudoDatumOption::Hash(datum_hash)) = &output.datum_option {
if *hash == *datum_hash {
return Ok(());
}
}
}
}
}
// Look for hash in reference input
if let Some(reference_inputs) = &tx_body.reference_inputs {
for reference_input in reference_inputs.iter() {
match utxos
.get(&MultiEraInput::from_alonzo_compatible(reference_input))
.and_then(MultiEraOutput::as_babbage)
{
Some(PseudoTransactionOutput::Legacy(output)) => {
if let Some(datum_hash) = &output.datum_hash {
if *hash == *datum_hash {
return Ok(());
}
}
}
Some(PseudoTransactionOutput::PostAlonzo(output)) => {
if let Some(PseudoDatumOption::Hash(datum_hash)) = &output.datum_option {
if *hash == *datum_hash {
return Ok(());
}
}
}
_ => (),
}
}
}
Err(Babbage(UnneededDatum))
}
fn check_redeemers(
plutus_v1_scripts: &[PolicyId],
plutus_v2_scripts: &[PolicyId],
reference_scripts: &[PolicyId],
tx_body: &MintedTransactionBody,
tx_wits: &MintedWitnessSet,
utxos: &UTxOs,
) -> ValidationResult {
let redeemer_pointers: Vec<RedeemerPointer> = match &tx_wits.redeemer {
Some(redeemers) => redeemers
.iter()
.map(|x| RedeemerPointer {
tag: x.tag,
index: x.index,
})
.collect(),
None => Vec::new(),
};
let plutus_scripts: Vec<RedeemerPointer> = mk_plutus_script_redeemer_pointers(
plutus_v1_scripts,
plutus_v2_scripts,
reference_scripts,
tx_body,
utxos,
);
redeemer_pointers_coincide(&redeemer_pointers, &plutus_scripts)
}
// Lexicographical sorting for inputs.
fn sort_inputs(unsorted_inputs: &[TransactionInput]) -> Vec<TransactionInput> {
let mut res: Vec<TransactionInput> = unsorted_inputs.to_owned();
res.sort();
res
}
fn mk_plutus_script_redeemer_pointers(
plutus_v1_scripts: &[PolicyId],
plutus_v2_scripts: &[PolicyId],
reference_scripts: &[PolicyId],
tx_body: &MintedTransactionBody,
utxos: &UTxOs,
) -> Vec<RedeemerPointer> {
let mut res: Vec<RedeemerPointer> = Vec::new();
let sorted_inputs: &Vec<TransactionInput> = &sort_inputs(&tx_body.inputs);
for (index, input) in sorted_inputs.iter().enumerate() {
if get_script_hash_from_input(input, utxos).is_some() {
res.push(RedeemerPointer {
tag: RedeemerTag::Spend,
index: index as u32,
})
}
}
if let Some(mint) = &tx_body.mint {
for (index, policy) in sort_policies(mint).iter().enumerate() {
if is_phase_2_script(
policy,
plutus_v1_scripts,
plutus_v2_scripts,
reference_scripts,
) {
res.push(RedeemerPointer {
tag: RedeemerTag::Mint,
index: index as u32,
})
}
}
}
res
}
// Lexicographical sorting for PolicyID's.
fn sort_policies(mint: &Mint) -> Vec<PolicyId> {
let mut res: Vec<PolicyId> = mint
.clone()
.to_vec()
.iter()
.map(|(policy_id, _)| *policy_id)
.collect();
res.sort();
res
}
fn is_phase_2_script(
policy: &PolicyId,
plutus_v1_scripts: &[PolicyId],
plutus_v2_scripts: &[PolicyId],
reference_scripts: &[PolicyId],
) -> bool {
plutus_v1_scripts
.iter()
.any(|v1_script| policy == v1_script)
|| plutus_v2_scripts
.iter()
.any(|v2_script| policy == v2_script)
|| reference_scripts
.iter()
.any(|ref_script| policy == ref_script)
}
fn redeemer_pointers_coincide(
redeemers: &[RedeemerPointer],
plutus_scripts: &[RedeemerPointer],
) -> ValidationResult {
for redeemer_pointer in redeemers {
if !plutus_scripts.iter().any(|x| x == redeemer_pointer) {
return Err(Babbage(UnneededRedeemer));
}
}
for ps_redeemer_pointer in plutus_scripts {
if !redeemers.iter().any(|x| x == ps_redeemer_pointer) {
return Err(Babbage(RedeemerMissing));
}
}
Ok(())
}
// All required signers (needed by a Plutus script) have a corresponding match
// in the transaction witness set.
fn check_required_signers(
required_signers: &Option<RequiredSigners>,
vkey_wits: &Option<Vec<VKeyWitness>>,
data_to_verify: &[u8],
) -> ValidationResult {
if let Some(req_signers) = &required_signers {
match &vkey_wits {
Some(vkey_wits) => {
for req_signer in req_signers {
find_and_check_req_signer(req_signer, vkey_wits, data_to_verify)?
}
}
None => return Err(Babbage(ReqSignerMissing)),
}
}
Ok(())
}
// Try to find the verification key in the witnesses, and verify the signature.
fn find_and_check_req_signer(
vkey_hash: &AddrKeyhash,
vkey_wits: &[VKeyWitness],
data_to_verify: &[u8],
) -> ValidationResult {
for vkey_wit in vkey_wits {
if pallas_crypto::hash::Hasher::<224>::hash(&vkey_wit.vkey.clone()) == *vkey_hash {
if !verify_signature(vkey_wit, data_to_verify) {
return Err(Babbage(ReqSignerWrongSig));
} else {
return Ok(());
}
}
}
Err(Babbage(ReqSignerMissing))
}
fn check_vkey_input_wits(
mtx: &MintedTx,
vkey_wits: &Option<Vec<VKeyWitness>>,
utxos: &UTxOs,
) -> ValidationResult {
let tx_body: &MintedTransactionBody = &mtx.transaction_body;
let vk_wits: &mut Vec<(bool, VKeyWitness)> =
&mut mk_alonzo_vk_wits_check_list(vkey_wits, Babbage(VKWitnessMissing))?;
let tx_hash: &Vec<u8> = &Vec::from(mtx.transaction_body.original_hash().as_ref());
let mut inputs_and_collaterals: Vec<TransactionInput> = Vec::new();
inputs_and_collaterals.extend(tx_body.inputs.clone());
if let Some(collaterals) = &tx_body.collateral {
inputs_and_collaterals.extend(collaterals.clone())
}
for input in inputs_and_collaterals.iter() {
match utxos.get(&MultiEraInput::from_alonzo_compatible(input)) {
Some(multi_era_output) => {
if let Some(babbage_output) = MultiEraOutput::as_babbage(multi_era_output) {
let address: &Bytes = match babbage_output {
PseudoTransactionOutput::Legacy(output) => &output.address,
PseudoTransactionOutput::PostAlonzo(output) => &output.address,
};
match get_payment_part(address).ok_or(Babbage(InputDecoding))? {
ShelleyPaymentPart::Key(payment_key_hash) => {
check_vk_wit(&payment_key_hash, vk_wits, tx_hash)?
}
ShelleyPaymentPart::Script(_) => (),
}
}
}
None => return Err(Babbage(InputNotInUTxO)),
}
}
check_remaining_vk_wits(vk_wits, tx_hash) // required for native scripts
}
fn check_vk_wit(
payment_key_hash: &AddrKeyhash,
wits: &mut [(bool, VKeyWitness)],
data_to_verify: &[u8],
) -> ValidationResult {
for (vkey_wit_covered, vkey_wit) in wits {
if pallas_crypto::hash::Hasher::<224>::hash(&vkey_wit.vkey.clone()) == *payment_key_hash {
if !verify_signature(vkey_wit, data_to_verify) {
return Err(Babbage(VKWrongSignature));
} else {
*vkey_wit_covered = true;
return Ok(());
}
}
}
Err(Babbage(VKWitnessMissing))
}
fn check_remaining_vk_wits(
wits: &mut [(bool, VKeyWitness)],
data_to_verify: &[u8],
) -> ValidationResult {
for (covered, vkey_wit) in wits {
if !*covered {
if verify_signature(vkey_wit, data_to_verify) {
return Ok(());
} else {
return Err(Babbage(VKWrongSignature));
}
}
}
Ok(())
}
fn check_languages(
mtx: &MintedTx,
utxos: &UTxOs,
network_magic: &u32,
network_id: &u8,
block_slot: &u64,
) -> ValidationResult {
let available_langs: Vec<Language> =
available_langs(mtx, utxos, network_magic, network_id, block_slot);
for tx_lang in tx_languages(mtx, utxos).iter() {
if !available_langs
.iter()
.any(|available_lang| *available_lang == *tx_lang)
{
return Err(Babbage(UnsupportedPlutusLanguage));
}
}
Ok(())
}
fn available_langs(
mtx: &MintedTx,
utxos: &UTxOs,
network_magic: &u32,
network_id: &u8,
block_slot: &u64,
) -> Vec<Language> {
let block_langs: Vec<Language> = block_langs(*network_magic, *network_id, *block_slot);
let allowed_langs: Vec<Language> = allowed_langs(mtx, utxos);
block_langs
.iter()
.filter(|&cost_model_language| allowed_langs.contains(cost_model_language))
.cloned()
.collect::<Vec<Language>>()
}
fn block_langs(network_magic: u32, network_id: u8, block_slot: u64) -> Vec<Language> {
if network_magic == 1 && network_id == 0 {
//Preprod - 3,974,409 is the slot of the first block in epoch 13
if block_slot >= 3974409 {
vec![Language::PlutusV1, Language::PlutusV2]
} else {
vec![Language::PlutusV1]
}
} else if network_magic == 2 && network_id == 0 {
// Preview - 777,610 is the slot of the first block in epoch 9
if block_slot >= 777610 {
vec![Language::PlutusV1, Language::PlutusV2]
} else {
vec![Language::PlutusV1]
}
} else {
// Mainnet - 72,748,820 is the slot of the first block in epoch 366
if block_slot >= 72748820 {
vec![Language::PlutusV1, Language::PlutusV2]
} else {
vec![Language::PlutusV1]
}
}
}
fn allowed_langs(mtx: &MintedTx, utxos: &UTxOs) -> Vec<Language> {
let all_outputs: Vec<&MintedTransactionOutput> = compute_all_outputs(mtx, utxos);
if any_byron_addresses(&all_outputs) {
vec![]
} else if any_datums_or_script_refs(&all_outputs)
|| any_reference_inputs(&mtx.transaction_body.reference_inputs)
{
vec![Language::PlutusV2]
} else {
vec![Language::PlutusV1, Language::PlutusV2]
}
}
fn compute_all_outputs<'a>(
mtx: &'a MintedTx,
utxos: &'a UTxOs,
) -> Vec<&'a MintedTransactionOutput<'a>> {
let mut res: Vec<&MintedTransactionOutput> = Vec::new();
for input in mtx.transaction_body.inputs.iter() {
if let Some(output) = utxos
.get(&MultiEraInput::from_alonzo_compatible(input))
.and_then(MultiEraOutput::as_babbage)
{
res.push(output)
}
}
if let Some(reference_inputs) = &mtx.transaction_body.reference_inputs {
for ref_input in reference_inputs.iter() {
if let Some(output) = utxos
.get(&MultiEraInput::from_alonzo_compatible(ref_input))
.and_then(MultiEraOutput::as_babbage)
{
res.push(output)
}
}
}
for output in mtx.transaction_body.outputs.iter() {
res.push(output)
}
res
}
fn any_byron_addresses(all_outputs: &[&MintedTransactionOutput]) -> bool {
for output in all_outputs.iter() {
match output {
PseudoTransactionOutput::Legacy(output) => {
if is_byron_address(&output.address) {
return true;
}
}
PseudoTransactionOutput::PostAlonzo(output) => {
if is_byron_address(&output.address) {
return true;
}
}
}
}
false
}
fn any_datums_or_script_refs(all_outputs: &[&MintedTransactionOutput]) -> bool {
for output in all_outputs.iter() {
match output {
PseudoTransactionOutput::Legacy(_) => (),
PseudoTransactionOutput::PostAlonzo(output) => {
if output.script_ref.is_some() {
return true;
} else if let Some(PseudoDatumOption::Data(_)) = &output.datum_option {
return true;
}
}
}
}
false
}
fn any_reference_inputs(reference_inputs: &Option<Vec<TransactionInput>>) -> bool {
match reference_inputs {
Some(reference_inputs) => !reference_inputs.is_empty(),
None => false,
}
}
fn tx_languages(mtx: &MintedTx, utxos: &UTxOs) -> Vec<Language> {
let mut v1_scripts: bool = false;
let mut v2_scripts: bool = false;
if let Some(v1_scripts_vec) = &mtx.transaction_witness_set.plutus_v1_script {
if !v1_scripts_vec.is_empty() {
v1_scripts = true
}
}
if let Some(v2_scripts_vec) = &mtx.transaction_witness_set.plutus_v2_script {
if !v2_scripts_vec.is_empty() {
v2_scripts = true;
}
}
if let Some(reference_inputs) = &mtx.transaction_body.reference_inputs {
for ref_input in reference_inputs.iter() {
if let Some(PseudoTransactionOutput::PostAlonzo(output)) = utxos
.get(&MultiEraInput::from_alonzo_compatible(ref_input))
.and_then(MultiEraOutput::as_babbage)
{
if let Some(script_ref_cborwrap) = &output.script_ref {
match script_ref_cborwrap.clone().unwrap() {
PseudoScript::PlutusV1Script(_) => v1_scripts = true,
PseudoScript::PlutusV2Script(_) => v2_scripts = true,
_ => (),
}
}
}
}
}
if !v1_scripts && !v2_scripts {
vec![]
} else if v1_scripts && !v2_scripts {
vec![Language::PlutusV1]
} else if !v1_scripts && v2_scripts {
vec![Language::PlutusV2]
} else {
vec![Language::PlutusV1, Language::PlutusV2]
}
}
// The metadata of the transaction is valid.
fn check_auxiliary_data(tx_body: &MintedTransactionBody, mtx: &MintedTx) -> ValidationResult {
match (
&tx_body.auxiliary_data_hash,
aux_data_from_babbage_minted_tx(mtx),
) {
(Some(metadata_hash), Some(metadata)) => {
if metadata_hash.as_slice()
== pallas_crypto::hash::Hasher::<256>::hash(metadata).as_ref()
{
Ok(())
} else {
Err(Babbage(MetadataHash))
}
}
(None, None) => Ok(()),
_ => Err(Babbage(MetadataHash)),
}
}
fn check_script_data_hash(
tx_body: &MintedTransactionBody,
mtx: &MintedTx,
utxos: &UTxOs,
network_magic: &u32,
network_id: &u8,
block_slot: &u64,
) -> ValidationResult {
match tx_body.script_data_hash {
Some(script_data_hash) => match (
&mtx.transaction_witness_set.plutus_data,
&mtx.transaction_witness_set.redeemer,
) {
(Some(plutus_data), Some(redeemer)) => {
let plutus_data: Vec<PlutusData> = plutus_data
.iter()
.map(|x| KeepRaw::unwrap(x.clone()))
.collect();
// The Plutus data part of the script integrity hash may either need to be
// serialized as a indefinite-length array, or a definite-length one.
// TODO: compute only the correct hash, not both of them.
let (indefinite_hash, definite_hash) = compute_script_integrity_hash(
&tx_languages(mtx, utxos),
&plutus_data,
redeemer,
network_magic,
network_id,
block_slot,
);
if script_data_hash == indefinite_hash || script_data_hash == definite_hash {
Ok(())
} else {
Err(Babbage(ScriptIntegrityHash))
}
}
(_, _) => Err(Babbage(ScriptIntegrityHash)),
},
None => {
if option_vec_is_empty(&mtx.transaction_witness_set.plutus_data)
&& option_vec_is_empty(&mtx.transaction_witness_set.redeemer)
{
Ok(())
} else {
Err(Babbage(ScriptIntegrityHash))
}
}
}
}
// The Plutus data is encoded both as an indefinite-length and a definite-length
// array. Hence, two hashes are computed.
// TODO: compute only the necessary form, which requires knowing the original
// encoding in the MintedWitnessSet.
fn compute_script_integrity_hash(
tx_languages: &[Language],
plutus_data: &[PlutusData],
redeemer: &[Redeemer],
network_magic: &u32,
network_id: &u8,
block_slot: &u64,
) -> (Hash<32>, Hash<32>) {
// Indefinite Plutus data serialization
let mut value_to_hash_with_indef: Vec<u8> = Vec::new();
let _ = encode(redeemer, &mut value_to_hash_with_indef);
if !plutus_data.is_empty() {
let mut plutus_data_encoder_indef: Encoder<Vec<u8>> = Encoder::new(Vec::new());
let _ = plutus_data_encoder_indef.begin_array();
for single_plutus_data in plutus_data.iter() {
let _ = plutus_data_encoder_indef.encode(single_plutus_data);
}
let _ = plutus_data_encoder_indef.end();
value_to_hash_with_indef.extend(plutus_data_encoder_indef.writer().clone());
}
let cost_model = cost_model_cbor(tx_languages, *network_magic, *network_id, block_slot);
value_to_hash_with_indef.extend(&cost_model);
// Definite Plutus data serialization
let mut value_to_hash_with_def: Vec<u8> = Vec::new();
let _ = encode(redeemer, &mut value_to_hash_with_def);
if !plutus_data.is_empty() {
let mut plutus_data_encoder_def: Encoder<Vec<u8>> = Encoder::new(Vec::new());
let _ = plutus_data_encoder_def.array(plutus_data.len() as u64);
for single_plutus_data in plutus_data.iter() {
let _ = plutus_data_encoder_def.encode(single_plutus_data);
}
value_to_hash_with_def.extend(plutus_data_encoder_def.writer().clone());
}
value_to_hash_with_def.extend(&cost_model);
(
pallas_crypto::hash::Hasher::<256>::hash(&value_to_hash_with_indef),
pallas_crypto::hash::Hasher::<256>::hash(&value_to_hash_with_def),
)
}
// Precondition: !tx_languages.is_empty()
fn cost_model_cbor(
tx_languages: &[Language],
network_magic: u32,
network_id: u8,
block_slot: &u64,
) -> Vec<u8> {
if network_magic == 1 && network_id == 0 {
// Preprod
if *block_slot < 3974409 {
// Up to end of epoch 12
hex::decode(
"a141005901d59f1a000302590001011a00060bc719026d00011a000249f01903e800011a000249f018201a0025cea81971f70419744d186419744d186419744d186419744d186419744d186419744d18641864186419744d18641a000249f018201a000249f018201a000249f018201a000249f01903e800011a000249f018201a000249f01903e800081a000242201a00067e2318760001011a000249f01903e800081a000249f01a0001b79818f7011a000249f0192710011a0002155e19052e011903e81a000249f01903e8011a000249f018201a000249f018201a000249f0182001011a000249f0011a000249f0041a000194af18f8011a000194af18f8011a0002377c190556011a0002bdea1901f1011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000242201a00067e23187600010119f04c192bd200011a000249f018201a000242201a00067e2318760001011a000242201a00067e2318760001011a0025cea81971f704001a000141bb041a000249f019138800011a000249f018201a000302590001011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a00330da70101ff"
).unwrap()
} else if (3974409..=20390403).contains(block_slot) {
// From start of epoch 13 up to end of epoch 50
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
}
} else {
// From start of epoch 51 onwards
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
}
}
} else if network_magic == 2 && network_id == 0 {
// Preview
if *block_slot < 777610 {
// Up to end of epoch 8
hex::decode(
"a141005901d59f1a000302590001011a00060bc719026d00011a000249f01903e800011a000249f018201a0025cea81971f70419744d186419744d186419744d186419744d186419744d186419744d18641864186419744d18641a000249f018201a000249f018201a000249f018201a000249f01903e800011a000249f018201a000249f01903e800081a000242201a00067e2318760001011a000249f01903e800081a000249f01a0001b79818f7011a000249f0192710011a0002155e19052e011903e81a000249f01903e8011a000249f018201a000249f018201a000249f0182001011a000249f0011a000249f0041a000194af18f8011a000194af18f8011a0002377c190556011a0002bdea1901f1011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000242201a00067e23187600010119f04c192bd200011a000249f018201a000242201a00067e2318760001011a000242201a00067e2318760001011a0025cea81971f704001a000141bb041a000249f019138800011a000249f018201a000302590001011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a00330da70101ff"
).unwrap()
} else if (777610..1900893).contains(block_slot) {
// From start of epoch 9 up to end of epoch 21
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
}
} else if (1900893..=9244810).contains(block_slot) {
// From start of epoch 22 up to end of epoch 106
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a009063b91903fd0a1a02515e841980b30a"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a009063b91903fd0a1a02515e841980b30a"
).unwrap()
}
} else {
// From start of epoch 107 onwards
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
}
}
} else {
// All other combinations are assumed to correspond to a mainnet network
if *block_slot < 72748820 {
hex::decode(
"a141005901d59f1a000302590001011a00060bc719026d00011a000249f01903e800011a000249f018201a0025cea81971f70419744d186419744d186419744d186419744d186419744d186419744d18641864186419744d18641a000249f018201a000249f018201a000249f018201a000249f01903e800011a000249f018201a000249f01903e800081a000242201a00067e2318760001011a000249f01903e800081a000249f01a0001b79818f7011a000249f0192710011a0002155e19052e011903e81a000249f01903e8011a000249f018201a000249f018201a000249f0182001011a000249f0011a000249f0041a000194af18f8011a000194af18f8011a0002377c190556011a0002bdea1901f1011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000242201a00067e23187600010119f04c192bd200011a000249f018201a000242201a00067e2318760001011a000242201a00067e2318760001011a0025cea81971f704001a000141bb041a000249f019138800011a000249f018201a000302590001011a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a000249f018201a00330da70101ff"
).unwrap()
} else if (72748820..84844885).contains(block_slot) {
// Prior to epoch 394
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
} else {
// Precondition allows us to conclude both PlutusV1 and PlutusV2 are required by
// the transaction
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a009063b91903fd0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201b00000004a817c8001b00000004a817c8001a009063b91903fd0a1b00000004a817c800001b00000004a817c800"
).unwrap()
}
} else {
// Starting from epoch 394
if tx_languages.contains(&Language::PlutusV1)
&& !tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a141005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff"
).unwrap()
} else if !tx_languages.contains(&Language::PlutusV1)
&& tx_languages.contains(&Language::PlutusV2)
{
hex::decode(
"a10198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
} else {
hex::decode(
"a241005901b69f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0374f693194a1f0aff0198af1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a0374f693194a1f0a1a02515e841980b30a"
).unwrap()
}
}
}
}
fn option_vec_is_empty<T>(option_vec: &Option<Vec<T>>) -> bool {
match option_vec {
Some(vec) => vec.is_empty(),
None => true,
}
}
Reference in a new issue View git blame Copy permalink