diff --git a/IntentionDetails.md b/IntentionDetails.md index 2fe9544..057af4c 100644 --- a/IntentionDetails.md +++ b/IntentionDetails.md @@ -228,7 +228,7 @@ value: [ // Require exactly 100 TokenA from PolicyA (policyA, tokenA, 100), - // Require minimum 50 TokenB from PolicyB + // Require exactly 50 TokenB from PolicyB (policyB, tokenB, 50), // Check for ADA amount @@ -244,6 +244,7 @@ c) Datum Field Access: // Access nested datum fields using indices datum_field: [0, 2, 1] // Goes 3 levels deep into datum structure +// Puts resulting value into temp_val // Example datum structure: Datum { field0: { @@ -254,8 +255,16 @@ Datum { } } } +``` -// Puts resulting value into temp_val +d) Input Reference: +```aiken +// Match exact output reference +in_ref: Some(output_reference) + + +// No output reference restriction +in_ref: None ``` ### Input Constraint Examples: @@ -365,6 +374,15 @@ datum: SomeTwo((prefix_bytes, postfix_bytes)) datum: Nada ``` +d) Script ref Requirements: +```aiken +// Exact script hash match in reference_script field +ref: Some(script_hash) + +// No reference_script requirements +ref: None +``` + ### Output Constraint Examples: ```aiken diff --git a/aiken.lock b/aiken.lock index 30d7e31..4fa9bd9 100644 --- a/aiken.lock +++ b/aiken.lock @@ -24,5 +24,5 @@ requirements = [] source = "github" [etags] -"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1737003689, nanos_since_epoch = 423729000 }, "e594326795accb687e9bfacd6a0553eb1d611ba23d5bba31b49ec7fe29445e3c"] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1737003688, nanos_since_epoch = 721150000 }, "9191378e1310dcd34d3f8a883f67fb6440c5535897e210e84ba90ec207b884fc"] +"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1737196931, nanos_since_epoch = 830992000 }, "e594326795accb687e9bfacd6a0553eb1d611ba23d5bba31b49ec7fe29445e3c"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1737196930, nanos_since_epoch = 558531000 }, "9191378e1310dcd34d3f8a883f67fb6440c5535897e210e84ba90ec207b884fc"] diff --git a/aiken.toml b/aiken.toml index 68e17e7..98e0537 100644 --- a/aiken.toml +++ b/aiken.toml @@ -38,11 +38,11 @@ one_shot_output_index = 0 namespace = "Bullet" [config.preview.bullet_hash] -bytes = "2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6" +bytes = "04451f9d70975d2128329476fc63bd749a886a258b2cfd476a5b7892" encoding = "hex" [config.preview.nonce_bullet_hash] -bytes = "2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8c" +bytes = "79ab8797c0988e4ed9bcabedf640d539ca2ab21e6a8a490cbf5fcdf8" encoding = "hex" [config.preview.proxy_hash] diff --git a/lib/intention_utils.ak b/lib/intention_utils.ak index 431af81..5c809c1 100644 --- a/lib/intention_utils.ak +++ b/lib/intention_utils.ak @@ -15,9 +15,7 @@ use intention_types.{ SignedIntention, } use prefix.{nonce_prefix} -use types.{ - BulletCredential, Control, ParallelNonce, Vault, Verification, Vk, Withdrawal, -} +use types.{Control, ParallelNonce, Vault, Verification, Vk, Withdrawal} use utils.{dataify, must_have_key, ref_control_datum} /// Optimized for expecting the name values of policy and assets in one output @@ -187,13 +185,13 @@ pub fn fold_intent_counts( // We offset to outputs related to change and nonces // The earlier outputs would be related to other dApps or intents offset_outputs: List, - withdrawals: Pairs, + withdrawals: Pairs, Data>, validate_signature: fn( Int, Data>, - Pairs, + Pairs, Data>, ) -> - fn(List, ByteArray) -> Bool, + fn(List>, ByteArray) -> Bool, // Constraint and temp value that can be used with certain constraints constraint_validator: fn(Data, Data) -> Data, ) -> Bool { @@ -238,11 +236,9 @@ pub fn fold_intent_counts( reference_inputs |> ref_control_datum(user_address, expected_nft) - expect Control { quorum, hot_cred, hot_cred_hash, .. } = control_datum + expect Control { hot_cred, .. } = control_datum // TODO: optimize - expect hot_cred_hash: BulletCredential = hot_cred_hash - // third part: validate user constraints for the popped off intention expect (constraints @@ -272,47 +268,53 @@ pub fn fold_intent_counts( <- fn(callback) { let sig_function = - when hot_cred_hash is { - Withdrawal(sc) -> { - // So you are probably wondering in what case do you use script withdraw - // trick over simply providing a public key? - // The answer is as Plutus versions progress and ZK folding schemes improve, - // I can see a world where most accounts depend on a validator that runs a single ZK-STARK - // or ZK-SNARK to validate each intention was signed by the owner of the respective account. - // Basically a user would produce an intention plus a ZK-proof and the sequencer - // would fold all the ZK-proofs into a single proof that checks all intentions that were - // included in the tx were properly signed. All without revealing the users signing or verifying key. - expect must_have_key(withdrawals, sc)? - - fn(_a, _b, _c, _d) { True } - } - Verification(vks) -> { - let validate_signature_post = - validate_signature(builtin.un_i_data(quorum), hot_cred, vks) - - let validate_signatures = - fn( - prefix: ByteArray, - intent: Data, - postfix: ByteArray, - signatures: Data, - ) { - expect signatures: List = signatures - - let message = - intent - |> serialise() - |> concat(prefix, _) - |> concat(postfix) - |> blake2b_256() - - validate_signature_post(signatures, message) - } - - expect validate_signatures(prefix, intent, postfix, signatures) - - validate_signatures - } + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { edd25519_keys, other_keys, hot_quorum, .. } = + hot_cred + + let validate_signature_post = + validate_signature( + builtin.un_i_data(hot_quorum), + other_keys |> builtin.un_list_data, + edd25519_keys |> builtin.un_map_data, + ) + + let validate_signatures = + fn( + prefix: ByteArray, + intent: Data, + postfix: ByteArray, + signatures: Data, + ) { + let message = + intent + |> serialise() + |> concat(prefix, _) + |> concat(postfix) + |> blake2b_256() + + validate_signature_post( + signatures |> builtin.un_list_data, + message, + ) + } + + expect validate_signatures(prefix, intent, postfix, signatures) + + validate_signatures + } else { + expect Withdrawal(sc) = hot_cred + // So you are probably wondering in what case do you use script withdraw + // trick over simply providing a public key? + // The answer is as Plutus versions progress and ZK folding schemes improve, + // I can see a world where most accounts depend on a validator that runs a single ZK-STARK + // or ZK-SNARK to validate each intention was signed by the owner of the respective account. + // Basically a user would produce an intention plus a ZK-proof and the sequencer + // would fold all the ZK-proofs into a single proof that checks all intentions that were + // included in the tx were properly signed. All without revealing the users signing or verifying key. + expect must_have_key(withdrawals, sc)? + + fn(_a, _b, _c, _d) { True } } // Deal with only a single value leaving and nonce diff --git a/lib/types.ak b/lib/types.ak index e07835a..3a27f8d 100644 --- a/lib/types.ak +++ b/lib/types.ak @@ -20,29 +20,36 @@ pub type ProxyAction { Delete } -pub type BulletCredential { - Verification(Pairs) - Withdrawal(Credential) +pub type HotBulletCredential { + Verification { + edd25519_keys: Data>, + other_keys: Data>, + hot_quorum: Data, + wallet_quorum: Data, + } + Withdrawal(Data) +} + +pub type ColdBulletCredential { + ColdVerification( + Data>, + Data>, + ) + ColdWithdrawal(Data) } // Optimization: // Possibly switch from many Vk to single one // since Schnorr supports k of m signatures anyway pub type AccountState { - quorum: Int, - hot_cred: List, - hot_cred_hash: BulletCredential, - cold_cred: List, - cold_cred_hash: BulletCredential, + hot_cred: HotBulletCredential, + cold_cred: ColdBulletCredential, } pub type UtxoStates { Control { - quorum: Data, - hot_cred: Data>, - hot_cred_hash: Data, - cold_cred: Data>, - cold_cred_hash: Data, + hot_cred: Data, + cold_cred: Data, } ParallelNonce Vault @@ -61,23 +68,23 @@ pub type ProxyState { } pub type Vk { - Secp(VerificationKey) Schnorr(VerificationKey) + Secp(VerificationKey) } pub type HotAccountSpend { user_stake: ScriptHash, - sigs: List, + sigs: Data>, } pub type HotAccountStake { user_stake: Credential, - sigs: List, + sigs: Data>, } pub type AccountSpend { user_stake: ScriptHash, - sigs: List, + sigs: Data>, index: Data, } diff --git a/lib/utils.ak b/lib/utils.ak index 15c6ed5..2a78a18 100644 --- a/lib/utils.ak +++ b/lib/utils.ak @@ -116,7 +116,10 @@ pub fn at(list: List, index: Int) -> a { } } -pub fn ref_global_control(ref_inputs: List, ref_value: Data) -> Data { +pub fn ref_control_datum_by_nft( + ref_inputs: List, + ref_value: Data, +) -> Data { expect [input, ..rest] = ref_inputs let Input { output, .. } = input @@ -130,7 +133,7 @@ pub fn ref_global_control(ref_inputs: List, ref_value: Data) -> Data { expect InlineDatum(control_datum) = datum control_datum } else { - ref_global_control(rest, ref_value) + ref_control_datum_by_nft(rest, ref_value) } } @@ -173,33 +176,32 @@ pub fn scriptify_bytes(bytes: Hash) { /// Returns count of non-empty signatures that are valid /// Fails if any non-empty signature is invalid pub fn check_quorum_valid_sigs( - vkhs: Pairs, - vks: List, - signatures: List, + vkhs: Pairs, Data>, + vks: List>, + signatures: List>, message: MessageHash, ) -> Int { when vks is { [] -> check_valid_edd_sigs(vkhs, signatures, message) [vk, ..rest] -> { expect [sig, ..others] = signatures + let sig = sig |> builtin.un_b_data if is_empty(sig) { check_quorum_valid_sigs(vkhs, rest, others, message) } else { - when vk is { - // ranked by probable usage - Schnorr(vk) -> - if vk |> verify_schnorr_signature(message, sig) { - 1 + check_quorum_valid_sigs(vkhs, rest, others, message) - } else { - fail - } - Secp(vk) -> - if vk |> verify_ecdsa_signature(message, sig) { - 1 + check_quorum_valid_sigs(vkhs, rest, others, message) - } else { - fail - } + if builtin.unconstr_index(vk) == 0 { + expect Schnorr(vk) = vk + + expect verify_schnorr_signature(vk, message, sig) + + 1 + check_quorum_valid_sigs(vkhs, rest, others, message) + } else { + expect Secp(vk) = vk + + expect verify_ecdsa_signature(vk, message, sig) + + 1 + check_quorum_valid_sigs(vkhs, rest, others, message) } } } @@ -209,8 +211,8 @@ pub fn check_quorum_valid_sigs( /// Returns count of non-empty signatures that are valid /// Fails if any non-empty signature is invalid pub fn check_valid_vk_sigs( - vks: List, - signatures: List, + vks: List>, + signatures: List>, message: MessageHash, ) -> Int { when vks is { @@ -218,23 +220,23 @@ pub fn check_valid_vk_sigs( [vk, ..rest] -> { expect [sig, ..others] = signatures + let sig = sig |> builtin.un_b_data + if is_empty(sig) { check_valid_vk_sigs(rest, others, message) } else { - when vk is { - // ranked by probable usage - Schnorr(vk) -> - if vk |> verify_schnorr_signature(message, sig) { - 1 + check_valid_vk_sigs(rest, others, message) - } else { - fail - } - Secp(vk) -> - if vk |> verify_ecdsa_signature(message, sig) { - 1 + check_valid_vk_sigs(rest, others, message) - } else { - fail - } + if builtin.unconstr_index(vk) == 0 { + expect Schnorr(vk) = vk + + expect verify_schnorr_signature(vk, message, sig) + + 1 + check_valid_vk_sigs(rest, others, message) + } else { + expect Secp(vk) = vk + + expect verify_ecdsa_signature(vk, message, sig) + + 1 + check_valid_vk_sigs(rest, others, message) } } } @@ -244,8 +246,8 @@ pub fn check_valid_vk_sigs( /// Returns count of non-empty signatures that are valid /// Fails if any non-empty signature is invalid pub fn check_valid_edd_sigs( - vkhs: Pairs, - signatures: List, + vkhs: Pairs, Data>, + signatures: List>, message: MessageHash, ) -> Int { when vkhs is { @@ -253,10 +255,12 @@ pub fn check_valid_edd_sigs( [Pair(_vkh, vk), ..rest] -> { expect [sig, ..others] = signatures - if is_empty(sig) { + if is_empty(sig |> builtin.un_b_data) { check_valid_edd_sigs(rest, others, message) } else { - if vk |> verify_ed25519_signature(message, sig) { + if vk + |> builtin.un_b_data + |> verify_ed25519_signature(message, sig |> builtin.un_b_data) { 1 + check_valid_edd_sigs(rest, others, message) } else { fail @@ -267,8 +271,8 @@ pub fn check_valid_edd_sigs( } pub fn check_tx_observed( - vkhs: Pairs, - signatories: List, + vkhs: Pairs, Data>, + signatories: List>, ) -> Int { when vkhs is { [] -> 0 @@ -284,8 +288,8 @@ pub fn check_tx_observed( /// Returns count of non-empty signatures that are valid /// Fails if any non-empty signature is invalid pub fn check_all_valid_vk_sigs( - vks: List, - signatures: List, + vks: List>, + signatures: List>, message: MessageHash, ) -> Bool { when vks is { @@ -293,28 +297,30 @@ pub fn check_all_valid_vk_sigs( [vk, ..rest] -> { expect [sig, ..others] = signatures - when vk is { - // ranked by probable usage - Schnorr(vk) -> - ( - vk - |> verify_schnorr_signature(message, sig) - ) && check_all_valid_vk_sigs(rest, others, message) - Secp(vk) -> - (vk - |> verify_ecdsa_signature(message, sig))? && check_all_valid_vk_sigs( - rest, - others, - message, - ) + if builtin.unconstr_index(vk) == 0 { + expect Schnorr(vk) = vk + (vk + |> verify_schnorr_signature(message, sig |> builtin.un_b_data))? && check_all_valid_vk_sigs( + rest, + others, + message, + ) + } else { + expect Secp(vk) = vk + (vk + |> verify_ecdsa_signature(message, sig |> builtin.un_b_data))? && check_all_valid_vk_sigs( + rest, + others, + message, + ) } } } } pub fn check_all_tx_observed( - vkhs: Pairs, - signatories: List, + vkhs: Pairs, Data>, + signatories: List>, ) -> Bool { when vkhs is { [] -> True @@ -327,13 +333,16 @@ pub fn check_all_tx_observed( /// Same as above, but also check hashes match vk pub fn check_all_tx_observed_and_hashes( - vkhs: Pairs, - signatories: List, + vkhs: Pairs, Data>, + signatories: List>, ) -> Bool { when vkhs is { [] -> True [Pair(vkh, vk), ..rest] -> { - expect builtin.blake2b_224(vk) == vkh + expect + ( vk |> builtin.un_b_data() |> builtin.blake2b_224() ) == builtin.un_b_data( + vkh, + ) signatories |> must_take_until(vkh) diff --git a/plutus.json b/plutus.json index 3b1ca8c..eb0c2a8 100644 --- a/plutus.json +++ b/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v3", "compiler": { "name": "Aiken", - "version": "v1.1.9+ade50dd" + "version": "v1.1.9+1075be1" }, "license": "Apache-2.0" }, @@ -16,16 +16,16 @@ "redeemer": { "schema": {} }, - "compiledCode": "5903c501010029800aba2aba1aba0aab9faab9eaab9dab9cab9a488888888cc896600264646644a6530013001003899198008009bab300f301030103010301030103010300c375400644b30010018a99805a4929657870656374205b50616972286b2c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7a6122d87a9f581ca0000e3a816eb367643bab13b1116b5d6be99903394d2904a6c57974ff00300c30100018a518998010011808800a014403915980099b874800000e266446644b300100180544cc896600200300c8992cc004c05800a33001375c6022007375a6024007375a60240029112cc0056600266e3cdd7180a00219b8a48904ffffffff000038a518a99809a4813a6e6f6e63655f6e616d65203d3d206279746561727261792e636f6e636174286e6f6e63655f7072656669782c206e616d6529203f2046616c73650014a080922b30015980099b8700248006266e1c00520018a50404914a3159800acc0056600260160051300b0018a50404914a3153301349012c7175616e74697479203d3d2031202626206e6f6e63655f7175616e74697479203d3d2031203f2046616c73650014a08092266ebcc8c8cc00400402889660020030148992cc004cdd7980c00080244c064006266006006603a00480b0c06c00501919ba548010cc05ccdd2a40046602e6ea400d2f5c097ae04c0103d87980008a50404880922941012201a8098c05000501218090009809800a020375660206022602260226022602200264660020026eacc044008896600200300b8992cc004cdc79bae300f00100589bab3010001899801801980a001201a301200140406eb8c038c02cdd5002180798079807980798059baa0028b201040206e1d2002300737540026016004601460166016002600c6ea802e293454cc01124011856616c696461746f722072657475726e65642066616c73650013656400c2a66004920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300161533002491ca657870656374205b50616972286e616d652c207175616e74697479292c0a2020202020202020202050616972286e6f6e63655f6e616d652c206e6f6e63655f7175616e74697479295d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b6579286f776e5f706f6c696379290a2020202020202020202020207c3e20746f5f7061697273001601", - "hash": "2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6" + "compiledCode": "5901af01010029800aba2aba1aba0aab9faab9eaab9dab9a48888889660026465300130043754003370e90014c020009222598009801001c4c8cc004004dd5980618069806980698069806980698049baa002225980099baf4c110d87a9f4b76616c69645f70726f7879ff003009300d0018a518998010011807000a0108acc004cdc3a4000007133223232598009808000c4cc8a60026eb8c03400a6eb4c03800a6eb4c0380052225980099b8f375c602000866e2922104ffffffff000038acc0056600266e1c0092001899b8700148006294100f4528c566002b3001300b00289805800c528201e899baf3233223300200200122325980099baf30140010048980a800c4cc00c00cc064009013180b8009bab3015301630163016301630160093374a90021980999ba548008cc04cdd4801a5eb812f5c0980103d87980008a50403c807a294100f0c03c008c03c0062c8068c03c004c8cc004004dd5980700111192cc004cdc79bae300c00100589bab300d00189980180198088012016300f001375c601660106ea8010c030c030c030c030c020dd5000c59006200c18039804180400098019baa0088a4d13656400401", + "hash": "c2a0bc9ed95f0c4ada5378fcf9400f5c13d7acd80d343d877597a25c" }, { "title": "bullet.bullet_nonce.else", "redeemer": { "schema": {} }, - "compiledCode": "5902e101010029800aba2aba1aab9faab9eaab9dab9cab9a48888888c9660026464646644b30013370e900118049baa001899192cc004cdd798071807801260103d87a8000899192cc004cdc3a4000601a6ea8006264b30013370e900018071baa0018992cc0040062a6601c920132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf30120013012301037540048088dd61919800800804112cc0040062a6601e920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd79808800a60126d87b9fd87a9f581c34d23ef5bf59a02eb666111fcd6e64b964a4d7af16f35e7c00b584abffff0089809000c4cc00c00cc05400900f1809800a024805a0183010300e375400300a402c646002601c6ea8c008c038dd5180098071baa32330010013758602201244b30010018a998072491c657870656374205b6974656d2c202e2e726573745d203d206c69737400168992cc004cdd7980298089baa0010068800c4cc00c00cc05000900e1809000a0222301030110012300f001899198008009bab300f0062259800800c54cc031240129657870656374205b50616972286b2c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7a6122d87a9f581ca0000e3a816eb367643bab13b1116b5d6be99903394d2904a6c57974ff00300d30100018a518998010011808800a016403c8048c034004c028dd5000c590071bab300a300b300b300b001300a300b300b003300a300a300a300a300a300a001300637546010002600a6ea8026293454cc00d24011856616c696461746f722072657475726e65642066616c7365001365640082a6600492014165787065637420536f6d6528496e6c696e6528637265642929203d20696e7075742e6f75747075742e616464726573732e7374616b655f63726564656e7469616c001601", - "hash": "2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8c" + "compiledCode": "59016801010029800aba2aba1aab9eaab9dab9a4888896600264646644b30013370e900118031baa001899192cc004cdd79805180580126103d87a80008992cc004cdc3a400060126ea8006264b30013370e900018051baa001899baf300c375864660020026eacc034c038c038c03801c88c96600266ebcc03400530116d87b9fd87a9f4d7374616b696e675f70726f7879ffff0089807000c4cc00c00cc04000900c1807000980618059baa0018b2012300b300a375400316402064600260146ea8c02cc028dd5180098051baa32330010013758601800e4464b30013375e601c601a6ea80040162003133003003300f002402c601a002460166018003132330010013756601600a44b30013375e980110d87a9f4b76616c69645f70726f7879ff00300a300c0018a518998010011806800a012401c6012002600e6ea80062c8028c01cc01cc01cc01cc01cc01c004c018c01cc01c008c010dd5180280098019baa0068a4d1365640041", + "hash": "53004c9da3697de8e9e69d9c94c76a59b196f163231b4f62371fe973" }, { "title": "bullet.bullet_nonce_types.spend", @@ -41,16 +41,16 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "58be01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748008c024dd500144c8cc896600200d15980099b8748000c030dd50034566002601a6ea801a2d00940390094029009804c0260128088c034004c034c038004c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601", - "hash": "7fc939ed5e0d2938acaa3a7a58c9aa277e555cab75385e480e7904bd" + "compiledCode": "587d01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748008c01cdd500144ca60026016003300b300c001acc004cdc3a400060106ea80122b300130093754009149a2c80522c8039222618041baa0028b200c180380098019baa0078a4d1365640041", + "hash": "1a5d3a079a83195b7ad3926e6e659b9e10277a71de5f836d2325dcda" }, { "title": "bullet.bullet_nonce_types.else", "redeemer": { "schema": {} }, - "compiledCode": "58be01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748008c024dd500144c8cc896600200d15980099b8748000c030dd50034566002601a6ea801a2d00940390094029009804c0260128088c034004c034c038004c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601", - "hash": "7fc939ed5e0d2938acaa3a7a58c9aa277e555cab75385e480e7904bd" + "compiledCode": "587d01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748008c01cdd500144ca60026016003300b300c001acc004cdc3a400060106ea80122b300130093754009149a2c80522c8039222618041baa0028b200c180380098019baa0078a4d1365640041", + "hash": "1a5d3a079a83195b7ad3926e6e659b9e10277a71de5f836d2325dcda" }, { "title": "bullet.bullet_types.spend", @@ -66,8 +66,8 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003300a00398050012444a6530013370e900100244c8cc896600200b159800980218071baa0058acc004c03cdd5002c5a0168082016806201700b805c02d01318078009807980800098061baa0058acc004c004012264b30010038acc004c008c030dd5001c566002601a6ea800e2d00940390094029009804c0260128088dd7180718061baa0058b201240246e1d200018049805000980480098029baa00a8a4d15330034911856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601", - "hash": "63b2f71edb245f24d7f52de895b9f950017f3a1e243c194e8750033d" + "compiledCode": "58b101010029800aba2aba1aab9faab9eaab9dab9a488888966002646465300130053754003370e90004c02000e601000491112cc004cdc3a400400913298009806800cc034c038006b30013004300a375400515980098059baa0028a4d16403116402491130c028dd5002c5660026006009133226375c601860146ea801566002600660126ea80062b3001300a3754003149a2c805a2c80422c80410080c01cc020004c01c004c00cdd5003c52689b2b20021", + "hash": "a786e9b61713141899c3f73703882576e75d917cde78107a7bc11f8b" }, { "title": "bullet.bullet_types.mint", @@ -77,24 +77,24 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003300a00398050012444a6530013370e900100244c8cc896600200b159800980218071baa0058acc004c03cdd5002c5a0168082016806201700b805c02d01318078009807980800098061baa0058acc004c004012264b30010038acc004c008c030dd5001c566002601a6ea800e2d00940390094029009804c0260128088dd7180718061baa0058b201240246e1d200018049805000980480098029baa00a8a4d15330034911856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601", - "hash": "63b2f71edb245f24d7f52de895b9f950017f3a1e243c194e8750033d" + "compiledCode": "58b101010029800aba2aba1aab9faab9eaab9dab9a488888966002646465300130053754003370e90004c02000e601000491112cc004cdc3a400400913298009806800cc034c038006b30013004300a375400515980098059baa0028a4d16403116402491130c028dd5002c5660026006009133226375c601860146ea801566002600660126ea80062b3001300a3754003149a2c805a2c80422c80410080c01cc020004c01c004c00cdd5003c52689b2b20021", + "hash": "a786e9b61713141899c3f73703882576e75d917cde78107a7bc11f8b" }, { "title": "bullet.bullet_types.else", "redeemer": { "schema": {} }, - "compiledCode": "58fe01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003300a00398050012444a6530013370e900100244c8cc896600200b159800980218071baa0058acc004c03cdd5002c5a0168082016806201700b805c02d01318078009807980800098061baa0058acc004c004012264b30010038acc004c008c030dd5001c566002601a6ea800e2d00940390094029009804c0260128088dd7180718061baa0058b201240246e1d200018049805000980480098029baa00a8a4d15330034911856616c696461746f722072657475726e65642066616c7365001365640082a660049201085f723a20566f6964001601", - "hash": "63b2f71edb245f24d7f52de895b9f950017f3a1e243c194e8750033d" + "compiledCode": "58b101010029800aba2aba1aab9faab9eaab9dab9a488888966002646465300130053754003370e90004c02000e601000491112cc004cdc3a400400913298009806800cc034c038006b30013004300a375400515980098059baa0028a4d16403116402491130c028dd5002c5660026006009133226375c601860146ea801566002600660126ea80062b3001300a3754003149a2c805a2c80422c80410080c01cc020004c01c004c00cdd5003c52689b2b20021", + "hash": "a786e9b61713141899c3f73703882576e75d917cde78107a7bc11f8b" }, { "title": "bullet.stake_bullet.else", "redeemer": { "schema": {} }, - "compiledCode": "5911f601010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a66004921a1657870656374204163636f756e745374617465207b0a20202020202020202020202071756f72756d2c0a202020202020202020202020686f745f637265642c0a202020202020202020202020686f745f637265645f686173682c0a202020202020202020202020636f6c645f637265642c0a202020202020202020202020636f6c645f637265645f686173682c0a202020202020202020207d203d20646174756d00168a99801249586578706563742028686f745f736967732c20636f6c645f73696773293a20284c6973743c5369676e61747572653e2c204c6973743c5369676e61747572653e29203d0a2020202020202020202020207369675f646174756d00168a99801249ff657870656374205b0a2020202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a2020202020202020202020204f7574707574207b0a2020202020202020202020202020616464726573733a206e6f6e63655f616464722c0a202020202020202020202020202076616c75653a206e6f6e63655f76616c75652c0a2020202020202020202020202020646174756d3a20496e6c696e65446174756d286e6f6e63655f646174756d292c0a20202020202020202020202020202e2e0a2020202020202020202020207d2c0a202020202020205720202020204f7574707574207b20646174756d3a20496e6c696e65446174756d287369675f646174756d292c202e2e207d2c0a2020202020202020202020202e2e0a202020202020202020205d203d206f75747075747300168a998012492965787065637420536372697074286f776e5f6861736829206173206163636f756e74203d20637265640016488896600264653001300d00198069807000cdc3a4001370e90024c034009222223322598009802000c4cc008c050c044dd5003250899912cc004cdc3a400c0071323259800800c54cc04d240138657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c64732863657274696669636174652900168992cc004cdc4000a401d1330073019002300a0018a9980a24811065787065637420696e646578203c20370016404c600800480b0c008004c058c05cc04cdd5004456600266e1d2008003899192cc0040062a66026920132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c647328766f7465722900168acc004cdc418020012400913300630180014a11533013490128657870656374206275696c74696e2e756e636f6e7374725f696e64657828766f74657229203c20320016404880b0c008004c058c04cdd50044590102020230113754002460246ea800500e11191919194c004dd6180c000cdd6180c0024dd6180c001cdd5980c00124444b30013375e01e980103d87980008acc00402629462646464b300100d8a994c004c004c070dd500744c9660020030178992cc00400603101880c4062264b300130240038acc00402603513259800800c06e26644b300100180ec4c8ca60026eacc0a0006605060520033028003981400124444b3001301c302837540071323298009bab302e00198171817800cc0b8c0acdd5002cc0b8009222259800981118171baa003899912cc004c090c0c0dd5000c66002603066066980122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff00330333018330333018330330224bd7025eb812f5c13018330334c122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff00330333018330333018330330224bd7025eb812f5c1330333376098011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6606666ec0dd480926010101004bd6f7b63025eb7bdb1826606666ec13011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6606666ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb182606860626ea80052222259800800c0c606313259800800c0ca264b3001001819c0ce26644b300100181ac4c96600200303681b44c966002608000713233001005225980080144cc00c010896600200515980080a4566002606a60806ea8052264b300100181f44c96600200303f81fc0fe26644b3001001820c4c96600200304282144cc89660020030448992cc004006264b300100182344c966002003047823c4cc89660020030498992cc0040062b3001305200289980900411192cc00400e265300100a89980b003912cc00400a330010078acc0040be2a660a492131657870656374205b5f2c202e2e726573745d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc0040a62a660a49213d657870656374205b5f2c202e2e726573745f6e6f6e63655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168992cc00566002646600200208044b30010018a508acc004cdd7982d182b9baa305a00103d8a51899801001182d800a0a8416114a3153305349149616e7928696e707574732c20666e28696e70757429207b20696e7075742e6f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566207d29203f2046616c73650014a082922b30015980099baf374c60b20606e9808a29462a660a69213064617461696679287265737429203d3d20646174616966792865787065637465645f76616c756529203f2046616c73650014a082922b30015980099baf374c60b20546e9808629462a660a69213c6461746169667928726573745f6e6f6e636529203d3d20646174616966792865787065637465645f6e6f6e63655f76616c756529203f2046616c73650014a082922b30015980099baf02d0248a518a99829a492361646472657373203d3d2065787065637465645f61646472657373203f2046616c73650014a082922b30015980099baf0270238a518a99829a492c6e6f6e63655f61646472203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a082922b30015980099baf4c010101000268a518a99829a4812164617461696679283129203d3d206e6f6e63655f646174756d203f2046616c73650014a082922b30015980099b884800004a29462a660a69211271756f72756d203e2030203f2046616c73650014a082922b300159800cc00403601f01d400514a31533053490140636865636b5f6b6579735f616e645f68617368657328686f745f637265645f686173682c20686f745f637265642c20686f745f7369677329203f2046616c73650014a082922b30019800804402a034800a29462a660a692143636865636b5f6b6579735f616e645f68617368657328636f6c645f637265645f686173682c20636f6c645f637265642c20636f6c645f7369677329203f2046616c73650014a082922941052452820a48a50414914a082922941052452820a48a50414914a0829088966002609660ac6ea800e2b300159800994c0040060070024004444b30010028a51899912cc00400e2a660b4920123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c108c174dd500245660033001375c60c260bc6ea80120870025daa33001007801c005007452820b68acc005660033001375c60c260bc6ea80120870025da229462a660b892134766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c2073696729203f2046616c73650014a082da33001007801c005007452820b6416c6eb8c17c00cc18000d05d182e801182f00120b68a518a9982aa4813e636865636b5f616c6c5f76616c69645f766b5f736967732863726564732c20736967732c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082a22b3001329800800cdd5982d982c1baa004821a002222598008014528c4ca60026eb8c1680066eb8c16c00660be0069112cc004cdc79bc80020038cc00401e00332330010010062259800800c54cc1792411d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78031bae30640028800c4cc00c00c00505e1832000a0c2401d153305c49125657870656374206275696c74696e2e626c616b6532625f32323428766b29203d3d20766b680016416c305d002416d14a31533055490140636865636b5f616c6c5f74785f6f627365727665645f616e645f68617368657328766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a082a2294105444c966002646600200208244b30010018a9982c248122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7982c982e800801c528c4cc008008c17800505720b68a518a9982b2481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082a8c168c15cdd5001a0a8415482aa0a0801a264b30010018cc0040062600460b20070514015051828c1460a282d0c15c0090554139001111192cc004c124006264b3001001801c4c9660020030048992cc004c17000e26603800244b300100280444c8c966002003009804c0260131332259800800c02e01700b805c4c8c018c18c01cdd7000a0c6375c00260b80048308c168004c17400905b40150591bab001802401200882e0c164005057182a9baa0048acc004c0e4006264b3001001801c4c966002003159800982d80144c966002609800313259800800c01a264b3001001803c01e00f0078992cc004c17c00e01300841706eb800505f182e000a0b430583754005159800981e000c4c9660020030068992cc00400600f007803c01e264b3001305f003804c02105c1bae001417c60b800282d0c160dd5001401505520aa305637540030044161004802401200882e0c164005057182a9baa00480120a4414860a66ea800e264b30010018cc0040062600660ac00904e400904e827413a09c82b8c15000d052111192cc004c120006264b3001001801c4c966002003004802401200913259800982d801c01a00a82c0dd7000a0b63058001415860a86ea80122b300130380018992cc00400600713259800800c01200900480244c96600260b6007006802a0b0375c00282d8c160005056182a1baa00480120a2414460a46ea800e094827a09504a82541290531828000a09c3758002609e005047823a0a0304d001412c609a005045822c11608a8270c12c0050491bac001304a002821410904b1824000a08c375a002608e00503f4120608a0028218c104dd500a40f503e40f607b03d81ea08c8992cc00400607b03d81ec0f62646006608e0086eb8005047182200120848992cc00400607703b81dc0ee2646006608a0086eb8005045182100120802232330010010032233003001300200281ba07a375800303681b2080303d00140ec6eb0004c0f000a06703340f4607400281c0dd6000c0c606281d902b40b86064605e6ea800cc0c8c0ccc0ccc0bcdd500440a502c0c0b8004c0a4dd5004408d0260c0a0004c08cdd5181300620483024001302500140886048012810a0328108dd7000a0483021001407c603a6ea803a02c80d0dc3a400501580ac05602a8108dca19b8a48810642756c6c65740037660026002660389801225820b56638585097321a13916b66733e7be0599e3954f95e747a601646fe30f19203003301c4c10101004bd701ba54800101644c9660020031533018490132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf301d00100b406c6eb0c8cc004004dd5980e980f003112cc0040062a66032920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7980d800a60126d87b9fd87a9f581c34d23ef5bf59a02eb666111fcd6e64b964a4d7af16f35e7c00b584abffff008980e000c4cc00c00cc080009019180f000a03840583018301800130173017301730170013016301600130113754006601c6ea8010601a00260106ea803a293454cc0192411856616c696461746f722072657475726e65642066616c7365001365640141", - "hash": "353895cd8a0f307cb0c6575f62435480262861ff1adc3f8214e22a61" + "compiledCode": "5906a001010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966003300130033754011230033754003370e90024dc3a40009111194c004c02c00660166018003300b0054888cc896600260100031330023010300d3754008942264b30013370e900300144c8c96600266e20005200e899802980998018011805000c5900e18058009808980918071baa0058acc004cdc3a40100051325980099b88300b00148012266008602460040029422c8068c044c038dd5002c5900c20182300e37540028058896600200314a313232323233225980099baf00b4c0103d87980008991919912cc004c004c058dd500644c966002603800313232329800980f180f800cdd7180f0024c07c00d22259800980c980e9baa00389919192cc004c070c080dd5000c4c966002603a60426ea800626464b300130280018992cc004c07cc090dd5000c4c8c96600260560031323322598009812000c4c8c8c8ca6002606200330310049818801cc0c4009222259800981b002c02a2c819860620026060002605e00260546ea800e2b30013014001899192cc004c0c000a0091640b4605c00260546ea800e2c814102809919912cc004c094006264646644b3001303300380345903018180009818001181800098159baa0038acc004c05400626464b3001303100280245902e181780098159baa0038b205240a426530013001001911194c0040060090034004444b30010028a518cc004c0cc00a60680053033001981a000a4444b3001302e30300048acc004c0b8c0ccdd500244c9660026072003159800cc004dd7181c000c0266eb800d76a8cc004022009002402114a0819a2c81b0c0d0dd50024590324566002603c60666ea8012264b300130390018acc00660026eb8c0e0006013375c006bb446600201100480120108a5040cd1640d860686ea80122c81910321031488c8cc00400400c896600266ebcc0b4c0c400400e2946266004004606400281612225980099198008009bac30310212259800800c528456600266ebcc0c8c0bcdd5181900080dc528c4cc008008c0cc00502d20608acc004cdd79ba63031375660600266e98cc0bccdd82610e4d746f74616c6c795f76616c696400374c6605e66ec0dd4808a6010101004bd6f7b63025eb7bdb1822b30013375e6e98c0c4dd598180071ba63302f3376098010e4d746f74616c6c795f76616c696400374c6605e66ec0dd499b8a488104ffffffff000114c10101004bd6f7b63025eb7bdb1822b30013375e606002860346605e980112d87a9f4d746f74616c6c795f76616c6964ff003302f301a3302f301a3302f0224bd7025eb812f5c115980099baf303000f301a3302f4c118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff003302f301a3302f301a3302f0224bd7025eb812f5c115980099baf4c10101003030302d375401b159800acc004c09cc0a401a2b30013027302c375400d132323259800cc004dd618198014dd61819807406d00545660026600c6eacc0cc00c07e2b30013371290011bad3033001899b8948008dd69819981a000c528205c8a5040b914a08170c0cc004c0c8004c0b4dd500345902b4566002602e60586ea801a2660020366060605a6ea801a2c815902b4566002604e605200b159800981398161baa0058992cc00660026eb0c0c4c0c80066eb0c0c402e032801a2660086eacc0c4004076294102c18169baa0058b20568acc004c05cc0b0dd5002c4cc00406cc0c0c0b4dd5002c5902b20568a5040ad14a0815a294102b452820568a5040ad14a0815a294102b08896600200514a313298009816000cc0b400660620069112cc004cdc79bc8375c0046eb800e33001007800cc8cc00400401888c96600266ebc018c0d800a200313300300300140c4606c002803a2c8170605e0048168c0a0dd5000981580118139baa001302a0028b2050302a0013025375400316408c604e60486ea80262c8128c09c004dd6181298111baa0018b2040302430253025302137546048604a00916407c604660480026046002603c6ea8c0840062c80e0603c00260326ea8c070004dd6180d805459019180b9baa00c8b202a372866e2922010642756c6c65740037660026e1d20023001330164c01104f6e65775f6775795f696e5f746f776e00330164c10100004bd701ba548002266ebcc058dd619198008009bab3017301800422325980099baf30150014c116d87b9fd87a9f4d7374616b696e675f70726f7879ffff008980b000c4cc00c00cc068009014180c0008042022375860280026eacc050008c050c050004c04cc04cc04cc04c004c048c048004c034dd5001a016300a3754004300b004452689b2b200201", + "hash": "351965214aeab1097eecb3845ea198dc0077ed8340f70537d6248958" }, { "title": "bullet.stake_bullet_types.withdraw", @@ -104,8 +104,8 @@ "$ref": "#/definitions/types~1StakeActions" } }, - "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601", - "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f" + "compiledCode": "58d301010029800aba2aba1aab9faab9eaab9dab9a48888896600264646530013005375400322325980099b87480000062b3001300937540070028b20148acc004cdc3a400400315980098049baa00380145900a459007200e300737540053008003980400124444b30013370e900200244c8cc01000858c030c028dd5002c56600266e1d20060048991991198030020b1bad300d001300d300e001300a375400b15980099b8748020012264660080042c601860146ea80162c8041008201018039804000980380098019baa0078a4d13656400401", + "hash": "097340babb819c5a998a41474c701f20433c30bdc793c7fd9e0da74d" }, { "title": "bullet.stake_bullet_types.publish", @@ -115,8 +115,8 @@ "$ref": "#/definitions/types~1StakeActions" } }, - "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601", - "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f" + "compiledCode": "58d301010029800aba2aba1aab9faab9eaab9dab9a48888896600264646530013005375400322325980099b87480000062b3001300937540070028b20148acc004cdc3a400400315980098049baa00380145900a459007200e300737540053008003980400124444b30013370e900200244c8cc01000858c030c028dd5002c56600266e1d20060048991991198030020b1bad300d001300d300e001300a375400b15980099b8748020012264660080042c601860146ea80162c8041008201018039804000980380098019baa0078a4d13656400401", + "hash": "097340babb819c5a998a41474c701f20433c30bdc793c7fd9e0da74d" }, { "title": "bullet.stake_bullet_types.vote", @@ -126,24 +126,24 @@ "$ref": "#/definitions/types~1StakeActions" } }, - "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601", - "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f" + "compiledCode": "58d301010029800aba2aba1aab9faab9eaab9dab9a48888896600264646530013005375400322325980099b87480000062b3001300937540070028b20148acc004cdc3a400400315980098049baa00380145900a459007200e300737540053008003980400124444b30013370e900200244c8cc01000858c030c028dd5002c56600266e1d20060048991991198030020b1bad300d001300d300e001300a375400b15980099b8748020012264660080042c601860146ea80162c8041008201018039804000980380098019baa0078a4d13656400401", + "hash": "097340babb819c5a998a41474c701f20433c30bdc793c7fd9e0da74d" }, { "title": "bullet.stake_bullet_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59014f01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c966002646465300130073754003222325980099b87480000062b3001300c3754009003801201a8acc004cdc3a400400315980098061baa004801c00900d40090092012300a3754007300a003980500124444b30013370e900200244c9660020051980080145a0128022013009804c025011180718061baa0058acc004cdc3a400c00913233225980080246600200916805a00c805c02e01700b404c6eb4c03c004c03cc040004c030dd5002c56600266e1d20080048992cc00400a330010028b40250044026013009804a022300e300c375400b16402480490090c024c028004c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011b5f7374616b655f616374696f6e3a205374616b65416374696f6e73001601", - "hash": "6952d8df570ebc3ee3924a1f79a43510504ecf8e8a7a794d7c70f72f" + "compiledCode": "58d301010029800aba2aba1aab9faab9eaab9dab9a48888896600264646530013005375400322325980099b87480000062b3001300937540070028b20148acc004cdc3a400400315980098049baa00380145900a459007200e300737540053008003980400124444b30013370e900200244c8cc01000858c030c028dd5002c56600266e1d20060048991991198030020b1bad300d001300d300e001300a375400b15980099b8748020012264660080042c601860146ea80162c8041008201018039804000980380098019baa0078a4d13656400401", + "hash": "097340babb819c5a998a41474c701f20433c30bdc793c7fd9e0da74d" }, { "title": "bullet.true_stake_bullet.else", "redeemer": { "schema": {} }, - "compiledCode": "58340101002332259800a518a4d153300249011856616c696461746f722072657475726e65642066616c736500136564004ae715cd01", - "hash": "33d5840ab19fcfcff60c2ff509d5371124ee1c2670abd96db9e79064" + "compiledCode": "5101010023259800a518a4d136564004ae69", + "hash": "bd3ae991b5aafccafe5ca70758bd36a9b2f872f57f6d3a1ffa0eb777" }, { "title": "bullet_proxy.one_shot_proxy_mint.mint", @@ -153,24 +153,24 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "59013e01010029800aba2aba1aba0aab9faab9eaab9dab9cab9a4888888896600264646644b30013370e900018039baa001899912cc0040062a66010920134657870656374205b496e707574207b206f75747075745f7265666572656e63652c202e2e207d2c202e2e5d203d20696e7075747300168acc004cdd7980698051baa300d0013374a90001980626012258200000000000000000000000000000000000000000000000000000000000000000003300c4c10100004bd704528c54cc021241286f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566203f2046616c73650014a0803900b1bae300b300837540026eb0c02cc020dd51805802459005180480098049805000980480098021baa0098a4d15330024911856616c696461746f722072657475726e65642066616c7365001365640041", - "hash": "a704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29b" + "compiledCode": "588c01010029800aba2aba1aba0aab9eaab9dab9a48888896600264646644b30013370e900018031baa00189919baf300a3008375460146eb0c028c020dd5180500299ba548000cc02530112516f6e655f73686f745f6f6e655f6b696c6c00330094c10100004bd701bae300930073754003164014600e002600e6010002600e00260066ea801e29344d95900101", + "hash": "f730ee3c55ba69f3b66ce4860fa473f26fe45d3416cee831366f0080" }, { "title": "bullet_proxy.one_shot_proxy_mint.else", "redeemer": { "schema": {} }, - "compiledCode": "59013e01010029800aba2aba1aba0aab9faab9eaab9dab9cab9a4888888896600264646644b30013370e900018039baa001899912cc0040062a66010920134657870656374205b496e707574207b206f75747075745f7265666572656e63652c202e2e207d2c202e2e5d203d20696e7075747300168acc004cdd7980698051baa300d0013374a90001980626012258200000000000000000000000000000000000000000000000000000000000000000003300c4c10100004bd704528c54cc021241286f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566203f2046616c73650014a0803900b1bae300b300837540026eb0c02cc020dd51805802459005180480098049805000980480098021baa0098a4d15330024911856616c696461746f722072657475726e65642066616c7365001365640041", - "hash": "a704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29b" + "compiledCode": "588c01010029800aba2aba1aba0aab9eaab9dab9a48888896600264646644b30013370e900018031baa00189919baf300a3008375460146eb0c028c020dd5180500299ba548000cc02530112516f6e655f73686f745f6f6e655f6b696c6c00330094c10100004bd701bae300930073754003164014600e002600e6010002600e00260066ea801e29344d95900101", + "hash": "f730ee3c55ba69f3b66ce4860fa473f26fe45d3416cee831366f0080" }, { "title": "bullet_proxy.proxy_spend.else", "redeemer": { "schema": {} }, - "compiledCode": "59042101010029800aba2aba1aab9faab9eaab9dab9cab9a48888888c9660026464646644b30013370e900200144c8cc89660020030098992cc00400601513259800800c02e264b300100180644c96600200300d8992cc00400601d1325980099baf00a4c103d8798000899800804180a803c56600266ebc02930103d87a8000899800804180a803456600266ebc02930103d87b8000899800804180a802c56600266ebc02930103d87c8000899800804180a802456600266ebc02930103d87d8000899800804180a801c4cc004020c054009010202040408081010111919800800801912cc0040062a6602892012b657870656374205b50616972286b65792c205f292c202e2e726573745d203d207769746864726177616c7300168acc004cdd7980a980c000801c528c4cc008008c064005013202e404c60280028090c04c0050111809000a0203011001403c60200028070dd598069807180718071807180700098059baa32330010013758601c00444b30010018a99805a4923657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899192cc0040062a6601a92136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630120014c0122a1581ca704753ea2f639e46909d18cb666e0fdc5e602f9a353e6b94fb1d29ba14001008992cc004cdc3a4008601e6ea80062602460206ea80062a6601c92012965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d0016403460226024005133004004301200340308080dd59808000980818069baa300f3010300d3754601e0028070c034c028dd51806002c56600266e1d20060028acc004cdc3a400060126ea8c030c034c028dd5001c528c59007459007200e300737540026014004601260140026012002600a6ea8026293454cc00d2411856616c696461746f722072657475726e65642066616c7365001365640082a660049201ff657870656374205b0a20202020202020202020686f745f637265645f636f6e74726163742c20696e74656e74696f6e5f636f6e74726163742c207661756c745f7370656e645f636f6e74726163742c0a20202020202020202020636f6c645f637265645f636f6e74726163742c20636f6c645f636f6e74726f6c5f636f6e74726163742c2064656c6574655f636f6e74726163742c0a202020202020202020202e2e0a20202020202020205d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f676c6f62616c5f636f6e74726f6c2865787065637465645f6e6674290a202020202021202020202020207c3e206275696c74696e2e756e636f6e7374725f6669656c6473001601", - "hash": "a0000e3a816eb367643bab13b1116b5d6be99903394d2904a6c57974" + "compiledCode": "5901b001010029800aba2aba1aab9eaab9dab9a488889660026464646644b30013370e900200144c8c8c8c8ca6002601e003223233001001003225980099baf301030120010038a518998010011809800a01e9bab300e300f300f300f300f300f00548896600266ebc02530103d87980008998010009808803c56600266ebc02530103d87a80008998010009808803456600266ebc02530103d87b80008998010009808802c56600266ebc02530103d87c80008998010009808802456600266ebc02530103d87d80008998010009808801c4cc008004c044c04800d00e201c4038807100e0c038004c034004c030004c024dd519198008009bac300b00222325980099baf374c601c6eacc034005300117a1527468655f626573745f6d696e745f65766572a14001008992cc004cdc3a400860186ea80062601c601a6ea80062c8058c034c038006266006006601c0048050c034c02cdd51806180698059baa300c001300a30083754601200b15980099b874801800a2b30013370e900018039baa3009300a3008375400714a31640191640188030c014dd5000980380118031803800980300098019baa0068a4d1365640041", + "hash": "ab42a6c7cf2b52ed3f3d0ed9f10a78603fec40d52e5a5531275fe850" }, { "title": "bullet_proxy.proxy_spend_types.withdraw", @@ -180,24 +180,24 @@ "$ref": "#/definitions/types~1ProxyAction" } }, - "compiledCode": "59013901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b87480000062b3001300c375400b16804201a8acc004cdc3a400400315980098061baa0058b402100d456600266e1d20040018acc004c030dd5002c5a010806a2b30013370e9003000c56600260186ea80162d008403515980099b87480200062b3001300c375400b16804201a8acc004cdc3a401400315980098061baa0058b402100d40210092012402480490092012300a3754009007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492010f5f723a2050726f7879416374696f6e001601", - "hash": "857f19ec0e855009ee64a5f2baab1fdbc960b1b74d9f37a4c76c4955" + "compiledCode": "58eb01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144cc896600266e1d20000018acc004c028dd5002c5a2c805a2b30013370e9001000c56600260146ea80162d16402d15980099b87480100062b3001300a375400b168b20168acc004cdc3a400c00315980098051baa0058b45900b456600266e1d20080018acc004c028dd5002c5a2c805a2b30013370e9005000c56600260146ea80162d16402d1640208041008201040208040c028c020dd500118039baa0038b200c180380098019baa0078a4d1365640041", + "hash": "1478de5a024de8cd997352cb2e3ee3abd636b2fb1a43097a6a4a426b" }, { "title": "bullet_proxy.proxy_spend_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59013901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b87480000062b3001300c375400b16804201a8acc004cdc3a400400315980098061baa0058b402100d456600266e1d20040018acc004c030dd5002c5a010806a2b30013370e9003000c56600260186ea80162d008403515980099b87480200062b3001300c375400b16804201a8acc004cdc3a401400315980098061baa0058b402100d40210092012402480490092012300a3754009007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492010f5f723a2050726f7879416374696f6e001601", - "hash": "857f19ec0e855009ee64a5f2baab1fdbc960b1b74d9f37a4c76c4955" + "compiledCode": "58eb01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144cc896600266e1d20000018acc004c028dd5002c5a2c805a2b30013370e9001000c56600260146ea80162d16402d15980099b87480100062b3001300a375400b168b20168acc004cdc3a400c00315980098051baa0058b45900b456600266e1d20080018acc004c028dd5002c5a2c805a2b30013370e9005000c56600260146ea80162d16402d1640208041008201040208040c028c020dd500118039baa0038b200c180380098019baa0078a4d1365640041", + "hash": "1478de5a024de8cd997352cb2e3ee3abd636b2fb1a43097a6a4a426b" }, { "title": "change_credential_auth.cold_control.else", "redeemer": { "schema": {} }, - "compiledCode": "59148a01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492121657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a99801249e5657870656374204163636f756e745374617465207b0a2020202020202020202071756f72756d3a206f75745f71756f72756d2c0a20202020202020202020686f745f637265643a206f75745f686f745f637265642c0a20202020202020202020686f745f637265645f686173683a206f75745f686f745f637265645f686173682c0a20202020202020202020636f6c645f637265643a206f75745f636f6c645f637265642c0a20202020202020202020636f6c645f637265645f686173683a206f75745f636f6c645f637265645f686173682c0a20202020202020207d203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a9980124979657870656374205b0a202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a202020202020202020202e2e6e6f6e63655f6f75747075740a20202020202020205d203d206f75747075747300168a998012493865787065637420636f6c645f637265645f686173683a2042756c6c657443726564656e7469616c203d20636f6c645f637265645f6861736800168a998012492665787065637420636f6c645f637265643a204c6973743c566b3e203d20636f6c645f6372656400168a99801249af65787065637420436f6e74726f6c207b20636f6c645f637265642c20636f6c645f637265645f686173682c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a99801249b9657870656374204368616e676543726564656e7469616c73207b0a20202020202020202020636f6e74726f6c5f696e6465782c0a20202020202020202020757365725f7374616b652c0a20202020202020202020636f6c645f736967732c0a202020202020202020206e65775f686f745f736967732c0a202020202020202020206e65775f636f6c645f736967732c0a202020202020202020206d6967726174696f6e2c0a20202020202020207d203d2072656465656d65720016488888889660026464646644a6645300130010048991919194c004dd5980d000cdd6180d180d980d800cdd6180d0024dd6180d001cdd6980d001244444b300100c8acc004c02cc06cdd500644c9660020030128992cc004006027013809c4cc89660020030158992cc00400602d01680b405a26644b300100180c44c96600200301980cc4cc896600200301b8992cc00400603901c899912cc00400603d13259800800c07e03f1332259800800c086264b30010018992cc004c0b80062b30013371290021816800c08e26464b3001303400589919800806912cc00400a26600601844b3001002899802805912cc00400a26465300130023303b4c122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff003303b0014bd704c008cc0ed30122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff003303b0014bd7048c0f4005222329800800c09297ae0a4002800888896600200713259800800c566002606060806ea8006264b300100181c44cc896600200303a899912cc0040060791332259800800c0fa26644b300100182044c966002609e005159800801c10a0851323301c001223259800801c56600200b132980080344c96600206f04a899194c004dd5982b000cc158c15c00660ae07330560024888966002608a60ac6ea800e264b300100582944cc89660020031598009824982c9baa0018992cc0040060ad13259800800c15e0af057899912cc0040060b313259800800c16a0b51332259800800c172264b30010018992cc0040060bd13259800800c17e0bf1332259800800c186264b30010018acc004c1ac00a26606e01044b30010028cc00402226607200a44b30010028cc004016264b300159800cc00408a043048a50400514a3153306a4914a636865636b5f6b6579735f616e645f68617368657328636f6c645f637265645f686173682c20636f6c645f637265642c20636f6c645f736967732c2046616c736529203f2046616c73650014a0834a2b30013375e6e98050dd300ac566002b300103d8acc00405e2a660d492017f657870656374205b0a20202020202020202020202020204f7574707574207b20616464726573733a206e6f6e63655f616464726573732c2076616c75653a206e6f6e63655f76616c75652c202e2e207d2c0a20202020202020202020202020202e2e0a2020202020202020202020205d203d206e6f6e63655f6f75747075740016899192cc0040062a660d89213e657870656374205b5f2c202e2e6e6f6e63655f76616c75655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168992cc004cdd781b980098379baa0198acc004cdd7980098379baa3072003037899baf374c60e60046e98cc1c4cdd826011e581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8c00374c660e266ec0dd482726010101004bd6f7b63025eb7bdb182294106c452820d823072307300141bc6eacc1c0c1c4004c1b0dd5183780ba0da8acc004cdd780b019c4cdc3816a400314a08349069456600266e2120000108acc00566003300100b806c1169450014528c54cc1a9240152636865636b5f6b6579735f616e645f686173686573286f75745f686f745f637265645f686173682c206f75745f686f745f637265642c206e65775f686f745f736967732c205472756529203f2046616c73650014a0834a2b3001980080340220854a2800a29462a660d4920155636865636b5f6b6579735f616e645f686173686573286f75745f636f6c645f637265645f686173682c206f75745f636f6c645f637265642c206e65775f636f6c645f736967732c205472756529203f2046616c73650014a0834a2941069452820d28a5041a514a0834a294106911112cc004c178c1b8dd500244c966002b3001329800800c01600880088896600200514a31332259800801c54cc1cd240123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c124c1d8dd500245660033001375c60f460ee6ea801204f0025daa33001007801c005007452820e88acc005660033001375c60f460ee6ea801204f0025da229462a660ea92134766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c2073696729203f2046616c73650014a083a233001007801c005007452820e841d06eb8c1e000cc1e400d076183b001183b80120e88a518a99837248135636865636b5f616c6c5f76616c69645f766b5f736967732863726564732c20736967732c206d65737361676529203f2046616c73650014a0836a264b30010038acc004ca600200300382d2002222598008014528c4ca60026eb8c1d00066eb8c1d400660f20069112cc004cdc79bc80020038cc00401e00333008005003401d1533076490125657870656374206275696c74696e2e626c616b6532625f32323428766b29203d3d20766b68001641d4307700241d514a3153306f490140636865636b5f616c6c5f74785f6f627365727665645f616e645f68617368657328766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a083722b3001329800800c00e0b480088896600200514a3133229800802c0066600c0060048028dd71839983b801183c00120ea8a518a99837a48135636865636b5f616c6c5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a0837106e111919800800801912cc0040062a660e492011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78021bae30780028800c4cc00c00c005072183c000a0ea8a5041b46eacc1c8c1bcdd500244c96600264660020020b444b30010018a9983824922657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd79838983a800801c528c4cc008008c1d800506f20e68a518a998372481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a08368c1c8c1bcdd500220d883320388992cc00400633001001898011838001c19d01e419e0cf067833a0e2306e00241b1064406913259800800c6600200313002306e003832a038832c1960cb06541bc60d800483520c483420c5062831418906c1834800a0ce375800260d000505f82fa0d23066001419060cc00505d82ec1760ba8338c1900050621bac001306300282d41690641830800a0be375a00260c0005057418460bc00282e0c168dd5000c15505741560ab05582aa0be305c005305b3058375400882c8cc164cdd82611e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c660b266ec0dd481b26010101004bd6f7b63025eb7bdb1820a082a060ac00260a26ea8c1500dd0521b9437666e9ccc148dd3809198291ba703633052375006a97ae0824200222232598009821000c4c9660020030038992cc00400600913259800982d001c4cc0980048966002005008899192cc004006013009804c02626644b3001001805c02e01700b899180318308039bae00141846eb8004c16800905f182c000982d80120b2802a0ae3756003004802401105a182b800a0aa305337540091598009812800c4c9660020030038992cc0040062b300130590028992cc004c114006264b300100180344c966002003007803c01e00f13259800982e801c02601082d0dd7000a0ba305a001416060ac6ea800a2b300130280018992cc00400600d13259800800c01e00f007803c4c96600260ba00700980420b4375c00282e8c168005058182b1baa002802a0a6414c60a86ea800600882b2009004802401105a182b800a0aa3053375400900241408280c144dd5001c11e08f047823a0a88992cc0040063300100189801982a002411d002411e08f047823a0aa3052003414044464b300130410018992cc00400600713259800800c01200900480244c96600260b2007006802a0ac375c00282c8c15800505418291baa0048acc004c090006264b3001001801c4c966002003004802401200913259800982c801c01a00a82b0dd7000a0b23056001415060a46ea8012004827904f18281baa003375800704282120a0820a098304d001412c609600260980028248c124004c12800504718238009824000a08a30450013046001410c60826ea800606e81f206f03781bc0dd04619199119801001000912cc0040062a66082920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7980518229baa00100c899192cc00400608315980099baf374c609600200f13259800981b18239baa0018982598241baa0018a998232492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001641146094609600513300600600441108240dd59824800982498229baa001899802002001208430470013046304730433754608c0028220ca60020030298122002222598009819800c400a3300100398240014cdc0000a400280190411ba6330423376098011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6608466ec0dd480fa6010101004bd6f7b63025eb7bdb18226464653001304630433754003304700698230012444b30013375e00601b19800805400a66090002011007402915980099baf00300c89919912cc004c0dcc120dd5000c4c966002003046823411a2b3001003822456600266ebcdd31982619bb04c011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6609866ec0dd499b8a488104ffffffff000294c10101004bd6f7b63025eb7bdb180dd31827001c6600201d006998260028064dd6800a01c8a9982424813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c7565290016411c825a08c8278c130c124dd5000c54cc11d2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001641186eacc128004c128c12c004c128c118dd50024566002b30013375e6016608c6ea800cc02cc118dd5006c528c4cdd7980598231baa003300b30463754018821a2d19800805400a0110074028821904320861822982300098209baa0013043003410430013303a30013303a3374a90011981d1ba90174bd7025eb812f5c06e9520008992cc00400605b02d816c0b62646006607a0086eb800503d181d00120708992cc00400605702b815c0ae264600660760086eb800503b181c001206c8992cc004006053029814c0a6264600660720086eb8005039181b001206822323300100100322330030013002002812a0623001302e002370e90012056811a05e3754003022811408a0448190c0bc00502d1bac001302e00280fc07d02f1816000a0543758002605600501c80e20583029001409c6eb0004c0a000a03301940a4604c0028120dd70009812801204c302300140846eb4004c08800a0268118c08000501e180e1baa00c808a032808c0460230114084301a301a301a00130190013018301800130133754602c00f15980099b87480180122b3001300230123754602c602e60266ea801629462c80822c80810101b8748000dc3a4008601c6ea8004c048008c044c048004c044004c030dd500945268a9980524811856616c696461746f722072657475726e65642066616c7365001365640241", - "hash": "2a23087b8b4555ebe6689d9f3659c1a4f4c8f3d7f5c0abc3d6c6af2f" + "compiledCode": "59089901010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90024dc3a400130090024888966002600600913232323298009bac3011301230120019bab30110019bac30110049bac30110039bad301100248888966002601660246ea802a26464646464664530013259800980d800c56600266e252004301a0018b44c008c06800501945901c1baa301d0029bac301d0049bac301d003488966002604200b198009bad302000a9bae30200099bac302000891191980080080191198018009801001244446600200444b3001002899801804112cc00400a26600a01244b3001002899191991194c0040060394bd705200140044444b30010038992cc004c0a0c0bcdd5000c4c8c966002606c00319800981a8014c0d40066e50dd99ba733034374e00a660686e9c084cc0d0dd401025eb8260646ea8c0d40852222323322598009819181c1baa0028992cc004c0c8c0e4dd5000c4c8c9660026080003132332259800981b800c4c8c8c8ca6002608c00330460049823001cc1180092222598009825802c02a2c8240608c002608a0026088002607e6ea800e2b30013026001899192cc004c11400a0091641086086002607e6ea800e2c81e903d09919912cc004c0e0006264646644b3001304800380345904518228009822801182280098201baa0038acc004c09c00626464b30013046002802459043182200098201baa0038b207c40f82664530013002002911194c0040060090034004444b30010028a518cc004c12400a609400530490019825000a4444b30013042300b0048acc004c108c124dd500244c966002609e003159800cc004dd71827000c0266eb800d76a8cc004022009002402114a0824a2c8260c128dd50024590484566002606260926ea8012264b3001304f0018acc00660026eb8c138006013375c006bb446600201100480120108a50412516413060946ea80122c82410481047488c8cc00400400c896600266ebcc10cc11c00400e2946266004004609000282112225980099baf374c608e6eacc118034dd31982299bb04c010e4d746f74616c6c795f76616c696400374c6608a66ec0dd4812a6010101004bd6f7b63025eb7bdb1822b300159800814c4cc896600266ebc074c004c114dd5006c56600266ebcc004c114dd5182400100ec4cdd79ba630493756609060920046e98cc11ccdd82611453746f74616c6c795f76616c69645f6e6f6e636500374c6608e66ec0dd4813a6010101004bd6f7b63025eb7bdb18229410434528208630433754608c608e0644608e609000315980099baf00b01a899b8701548006294104120828acc005660026076600800f159800981d98211baa00789919192cc00660026eb0c12400a0570124015159800998031bab30490030388acc004cdc4a40046eb4c124006266e252002375a6092609400314a08222294104445282088304900130480013043375400f164105159800981518211baa00789980081a182318219baa0078b20824105159800acc004c0ecc0100422b3001303b3042375402113232598009824800c566003300137586090003026808a0088998029bab30480020378a50410d164118609000260866ea80422c820a2b3001302a30423754021132598009824000c4cc0080d4c11c0062c8228c10cdd500845904120828acc004c0ecc01001a2b3001303b3042375400d13259800cc004dd618239824000c0a2020801a2660086eacc11c0040da294104218219baa0068b20828acc004c0a8c108dd500344cc0040d0c118c10cdd500345904120828a50410514a0820a2941041452820821112cc00400a2946265300130410019821000cc11800d2225980099b8f37906eb8008dd7001c6600200f001991980080080311192cc004cdd78031825801440062660060060028230c12c0050074590430c1100090421181f1baa001303d3754002608000460786ea8004c0fc00a2c81e8c0fc004c0e8dd5000c59038181e181c9baa0028b206e303a303b001303a002303a001459033181a80098181baa0018b205c323322330020020012233225980099baf3037303437540020171325980099baf374c60726eacc0e000401a264b3001302f3035375400313039303637540031640d06070607200313300500500340cc607060686ea80062660080080048190c0d8004c0d4c0d8c0c8dd5181a800994c0040060430144004444b3001302b0018801466002007303700299b80001480050032062374c6606266ec130010e4d746f74616c6c795f76616c696400374c6606266ec0dd4808a6010101004bd6f7b63025eb7bdb182264646530013035303237540033036006981a8012444b30013375e00601919800805400a6606e002011007402915980099baf00300b899192cc004c0c0c0d8dd5000c56600266ebcdd31981c99bb04c010e4d746f74616c6c795f76616c696400374c6607266ec0dd499b8a488104ffffffff000194c10101004bd6f7b63025eb7bdb180dd3181d9bab303a0028cc0040320093303900300a9bad303a3037375400280622c81aa2c81a8c0e4c0e8004c0e4c0d4dd50024566002b30013375e6070606a6ea800cc0e0c0d4dd50064528c4cdd7981c181a9baa003303830353754016819a2d19800805400a011007402881990332066181a181a80098181baa001303200340c060046605698112d87a9f4d746f74616c6c795f76616c6964ff003302b0014bd70180119815a60118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff003302b0014bd7018009981518009981519ba548008cc0a8dd480525eb812f5c097ae0374a900044c8c008c0b000cdd718150012050899180118150019bae3028002409913230023028003375c604c0048121164078301c001370e9001180d800980d000980c800980c00098099baa00a8b202218089808980880098080009807980780098051baa300d0078acc004cdc3a400c009159800980118049baa300d300e300a375400b14a3164021164020804060106012002601000260066ea802229344d95900101", + "hash": "6b4219aa32f76224c2ab7cf8a38e57f888d1c8806132be589152fb1f" }, { "title": "change_credential_auth.cold_control_types.withdraw", @@ -207,24 +207,24 @@ "$ref": "#/definitions/types~1ChangeCredentials" } }, - "compiledCode": "59024601010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b8748000c02cdd5002c4c9660020030098992cc00400601500a80544cc896600200300c8992cc00400601b00d806c03626644b3001001807c4c96600200301080844cc89660020030128992cc004006027013899912cc00400602b13259800800c05a02d1332259800800c062264b30010018992cc004c0780062b3001337129002180e800c06a264b3001302200489980a005912cc00400a26602c01444b300100289980c004912cc00400a2d13259800800c08a04502281144c8c00cc0a8010dd7000a0543027002409913259800800c08204102081044c8c00cc0a0010dd7000a0503025002409113259800800c07a03d01e80f44c8c00cc098010dd7000a04c3023002408901b408066e1d2002301d001406d01a407c6ea800603301980cc065021180f000a03a3758002603a00501680b203c301b00140686eb0004c06800a027013406c603000280b8dd6000980b801404202080c0c0540050141bae0013014002405460240028088dd6800980880140290121807800a01c300c375400b008402444646600200200644660060026004005007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011e5f7369676e6174757265733a204368616e676543726564656e7469616c73001601", - "hash": "82495d1e68d622ef76143829b7719364ae5739ad50d7e4e77597efd8" + "compiledCode": "59012a01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144cc896600266e1d20003009375400b13232323232329800992cc004c0440062b30013371290021808000c5a266e1d20023010001403d1640486ea8c0480066eb4c04801a6eb8c0480166eb0c04800e6eb0c0480092222259800980c00344cc030dd6180b804912cc00400a26601c00844b3001002899808002912cc00400a2d1323002301f003375c603a00480e22646004603a0066eb8c06c00901a44c8c008c06c00cdd7180c80120308b202c1809000980880098080009807800980700098051baa0058b2010300a300837540044464660020020064466006002600400516401830070013003375400f149a26cac8009", + "hash": "48afa975c01b971e99f89a2de7b2682d8c880f345cbdfb14e57a13af" }, { "title": "change_credential_auth.cold_control_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59024601010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c9660020091325980099b8748000c02cdd5002c4c9660020030098992cc00400601500a80544cc896600200300c8992cc00400601b00d806c03626644b3001001807c4c96600200301080844cc89660020030128992cc004006027013899912cc00400602b13259800800c05a02d1332259800800c062264b30010018992cc004c0780062b3001337129002180e800c06a264b3001302200489980a005912cc00400a26602c01444b300100289980c004912cc00400a2d13259800800c08a04502281144c8c00cc0a8010dd7000a0543027002409913259800800c08204102081044c8c00cc0a0010dd7000a0503025002409113259800800c07a03d01e80f44c8c00cc098010dd7000a04c3023002408901b408066e1d2002301d001406d01a407c6ea800603301980cc065021180f000a03a3758002603a00501680b203c301b00140686eb0004c06800a027013406c603000280b8dd6000980b801404202080c0c0540050141bae0013014002405460240028088dd6800980880140290121807800a01c300c375400b008402444646600200200644660060026004005007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a6600492011e5f7369676e6174757265733a204368616e676543726564656e7469616c73001601", - "hash": "82495d1e68d622ef76143829b7719364ae5739ad50d7e4e77597efd8" + "compiledCode": "59012a01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144cc896600266e1d20003009375400b13232323232329800992cc004c0440062b30013371290021808000c5a266e1d20023010001403d1640486ea8c0480066eb4c04801a6eb8c0480166eb0c04800e6eb0c0480092222259800980c00344cc030dd6180b804912cc00400a26601c00844b3001002899808002912cc00400a2d1323002301f003375c603a00480e22646004603a0066eb8c06c00901a44c8c008c06c00cdd7180c80120308b202c1809000980880098080009807800980700098051baa0058b2010300a300837540044464660020020064466006002600400516401830070013003375400f149a26cac8009", + "hash": "48afa975c01b971e99f89a2de7b2682d8c880f345cbdfb14e57a13af" }, { "title": "cold_auth.cold_spend.else", "redeemer": { "schema": {} }, - "compiledCode": "59102201010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a9980124982657870656374205b4f757470757428616464726573732c2076616c75652c20496e6c696e65446174756d28646174756d292c205f292c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012492665787065637420636f6c645f637265643a204c6973743c566b3e203d20636f6c645f6372656400168a998012493865787065637420636f6c645f637265645f686173683a2042756c6c657443726564656e7469616c203d20636f6c645f637265645f6861736800168a998012498e65787065637420436f6e74726f6c207b20636f6c645f637265642c20636f6c645f637265645f686173682c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012493e657870656374204163636f756e745370656e6428757365725f7374616b652c20736967732c206e6f6e63655f6f757470757429203d2072656465656d65720016488888889660026464646644a664530013001004899191919194c004dd5980d800cdd6180d980e180e000cdd6180d802cdd6180d8024dd6180d801cdd6980d8012444444b300100e8acc004c034c074dd500744c9660020030148992cc00400602b01580ac05626644b300100180bc4c96600200301880c44cc896600200301a8992cc004c0a800a2646600200844b3001002899191991192cc0040062b3001301d302d375400313259800800c09626644b3001001813c4cc8966002003029899912cc0040060571332259800800c0b6264b3001303c0028acc0040062646644b3001302a0018992cc00400606713259800800c0d2264b3001304200389980c000912cc00400a00f1323259800800c0e607303981cc4cc896600200303b81dc0ee07713230063049007375c0028248dd70009821001208e30400013043002410503540fc6eac00606903481a2084303f00140f460766ea80122b300130030018992cc00400606713259800800c5660026082005132598009816800c4c9660020030368992cc00400606f03781bc0de264b3001304500380440e10421bae001411460840028200c0f8dd50014566002600c00313259800800c0da264b300100181bc0de06f0378992cc004c11400e01103841086eb80050451821000a080303e375400503540ec81d8c0f0dd5000c0d103e40d206903481a2084303f00140f460766ea801206481c1038099194c0040060434bd705200140044444b30010038acc00566002605a607a6ea801e2646644b30013375e01898010180008acc004cc0080040a229462a6607e92135636865636b5f616c6c5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a081f22b300100c81cc0e62646603800244b30010028acc005660026600a00805714a3153304249135636865636b5f616c6c5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a0820a2b300132329800800c01604680088896600200514a31332259800801c54cc121240123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c050c12cdd500245660033001375c609e60986ea80120110025daa33001007801c005007452820928acc005660033001375c609e60986ea80120110025da229462a6609492134766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c2073696729203f2046616c73650014a0824a33001007801c0050074528209241246eb8c13400cc13800d04b18258011826001209237286eccdd3998231ba700833046374e0506608c6ea009d2f5c114a31533042490139636865636b5f616c6c5f76616c69645f766b5f7369677328636f6c645f637265642c20736967732c206d65737361676529203f2046616c73650014a0820a294104144c9660020031332259800981b000c4c9660020030408992cc004006083041820c106264b3001304e003802c10904b1bae001413860960028248c11cdd5001c566002601e00313259800800c102264b3001001820c1060830418992cc004c13800e00b042412c6eb800504e1825800a0923047375400703f411082204c008c12400cc110dd5000c0f607b03d81ea094304700241146eb0032073039411881f0c004004dd59821181f9baa008222598008014528c4cc8a600200b0019919800800802112cc0040062a660869211d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78029bae30490028800c4cc00c00c0050431824800a08c40146eb8c100c110008c11400904244c966002646600200205044b30010018a9981fa48122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798201822000801c528c4cc008008c11400503e20848a518a9981ea481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081e0c104c0f8dd5003a0768acc0056600266e1c00520018a518992cc0040060751323298009bab304400198221822800cc11000922259800981918219baa0028992cc004006083041820c56600200903e8acc0056600266e20020dd6800c528c54cc10d2411f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a082122b30015980099baf374c6608e66ec130011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6608e66ec0dd499b8a488104ffffffff000254c10101004bd6f7b63025eb7bdb180dd318248024528c54cc10d24135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a082122b30013375e00401914a3153304349012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a0821229410424528208441190414128608e60886ea800a07e82086088002607e6ea8c10800504019299914c004c00400e2653001222598009802800c66002007304930493049304930490029802000a0068acc004c0d000620051332259800981b000c400a26644b30013038001880144c96600260726016005100189827000a08e304d0024118609600460100028220c124008c018005042208498008024c118c118c118c118c11809922259800980280146600200730493049304930493049001980200120068acc004c0d000a20031332259800981b000c400a26644b30013038001880144c96600260726016005100189827000a08e304d0024118609600460100028220c124004c01800904220841b80480262b300130300038812c4cc896600260640031002899912cc004c0d0006200513259800981a980380144006260940028218c12400904218238011802000a0803045025300200340f881f0dc0240026e25200a375a03281da29462a6607892015b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a081da294103b44c8c8ca6002608860826ea8006608a00d304400248896600266ebc00c0663300100a8014cc11800402200e80522b30013375e006017132332259800981a98231baa0018992cc00400608504282145660020070418acc004cdd79ba63304a337609811e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6609466ec0dd499b8a488104ffffffff000284c10101004bd6f7b63025eb7bdb180dd31826001c6600201d006998250028064dd6800a01c8a9982324813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c75652900164114824a0848268c128c11cdd5000c54cc1152413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001641106eacc120004c120c124004c120c110dd50024566002b30013375e603060886ea800cc060c110dd500cc528c4cdd7980c18221baa003301830443754016820a2d19800805400a01100740288209041208218219822000981f9baa001304100340fc60206607698122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff003303b00f4bd70181c1baa002370e900140be05f02f817a07a8172072303a00140e06070002607200281b0c0d8004c0dc005034181a000981a800a0643032001303300140c0605c6ea8006048815a049024812409103319191980080080a112cc0040062a6605c92123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7980318191baa001007899192cc00400605b15980099baf374c607000200f132598009811981a1baa0018981c181a9baa0018a99819a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640c8606e607000513300600600440c481a8dd5981b000981b18191baa001899802002001205e3034001303330343030375460660028188dd31981799bb04c11e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6605e66ec0dd4806a6010101004bd6f7b63025eb7bdb180c008cc0b5300122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff003302d0014bd701181780098009981618009981619ba548008cc0b0dd480525eb812f5c097ae0374a900044c96600200301f80fc07e03f1323003302f004375c0028178c0b000902a11191980080080191198018009801001406d0271814000a04c3758002604e00501880c20503025001408c6eb8004c0900090251811000a040301e375401d013406d013809c04e026811860366036603600260340026032002603000260266ea8c05801e2b30013370e90030024566002600460246ea8c058c05cc04cdd5002c528c590104590102020370e90001b8748010c038dd5000980900118089809000980880098061baa0128a4d153300a49011856616c696461746f722072657475726e65642066616c7365001365640241", - "hash": "0e3658104cd084e6988eec938e1e8934646191236b9ef0bc09b77f5f" + "compiledCode": "5906e001010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90024dc3a40013009002488896600260060091323232323298009bac3012301330130019bab30120019bac30120039bad30120024888966002601660246ea802a2646464b3001301a0018cc004dd7180c801cc06400a6032003374a900024444646464b30013015301c375400313232598009811800c4cc88cc8a60020053758604c0334bd705200140084444b30010038acc004c966002603c600200f159800980f18129baa007899192cc004c0b00062653001300100198160014c0b000d2225980099baf0024c010180008998019bab00101d8acc004cc00cdd580080ec4ca6002444b30010028a518cc004c0cc00a60680053033001981a000a4444b3001302c300f0048acc004c0b0c0ccdd500244c9660026072003159800cc004dd7181c000c0266eb800d76a8cc004022009002402114a0819a2c81b0c0d0dd5002459032456600266e1d20023033375400913259800981c800c5660033001375c60700030099bae0035da2330010088024009008452820668b206c303437540091640c88190818a6eb005a6eb000d2229800801c00600480186e50dd99ba73302e374e0126605c6e9c06ccc0b8dd400d25eb82294102a20541112cc00400a2946266453001005800cc8cc00400401088c96600266ebc014c0cc00a200313300300300140b860660028028c0a8c0b8008c0bc00902c459029181580098131baa0078b20488acc004cdc3a4004604a6ea801e264b3001302b001899191980080080c912cc004cdd798149816800801c528c4cc008008c0b80050281815000c5902818131baa0078b204840904604a6ea80062b30013370e0029000c528c4c8c8c9660026042604e6ea80062b3001337100086eb4c0acc0a0dd5000c56600266ebcdd31981519bb04c10e4d746f74616c6c795f76616c696400374c6605466ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb180dd318161bab302b002899baf302b0030088a50409914a081322c8130c0a8c0ac004c0a8004c094dd518144c004dd6806cdc024003371290052444b300130010038994c00488966002600a00319800801cc0c0c0c0c0c0c0c0c0c000a6008002801a2b30013024001880144cc8966002604c0031002899912cc004c0a000620051325980098149805801440062606a0028178c0d000902e18190011804000a0583030002300600140a881526002009302d302d302d302d302d018488966002600a00519800801cc0c0c0c0c0c0c0c0c0c00066008004801a2b300130240028800c4cc8966002604c0031002899912cc004c0a000620051325980098149805801440062606a0028178c0d000902e18190011804000a0583030001300600240a881506e0120098acc004c08000e202f13322598009811000c400a26644b30013024001880144c966002604a600e005100189818800a056303000240a8605c00460080028140c0b005cc00800d026204c20468a50408d13232329800981598141baa00198160034c0ac0092225980099baf0030108cc00402a0053302d001008803a0148acc004cdd7801805c4c8c966002604c60586ea80062b30013375e6e98cc0bccdd82610e4d746f74616c6c795f76616c696400374c6605e66ec0dd499b8a488104ffffffff000174c10101004bd6f7b63025eb7bdb180dd318189bab30300028cc0040320093302f00300a9bad3030302d375400280622c815a2c8158c0bcc0c0004c0bcc0acdd50024566002b30013375e605c60566ea800cc0b8c0acdd50084528c4cdd7981718159baa003302e302b3754016814a2d19800805400a0110074028814902920521815181580098131baa0013028003409860480086044002600c6604298118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff00330210054bd704590201811000980e9baa0018b2036323322330020020012233225980099baf30243021375400200d1325980099baf374c604c6eacc09400401a264b3001301c302237540031302630233754003164084604a604c0031330050050034080604a60426ea800626600800800480f8c08c004c088c08cc07cdd518110009bac3020012374c6603c66ec130010e4d746f74616c6c795f76616c696400374c6603c66ec0dd480326010101004bd6f7b63025eb7bdb180c008cc075300112d87a9f4d746f74616c6c795f76616c6964ff003301d0014bd7018009980e18009980e19ba548008cc070dd480225eb812f5c097ae0459017180c800980c00098099baa00a8b202218091809180900098088009808000980780098051baa300d0078acc004cdc3a400c009159800980118049baa300d300e300a375400b14a3164021164020804060106012002601000260066ea802229344d9590011", + "hash": "84e7a7ac93715da04c198bf7390c666204c40ee8c8d071beb3c2ed81" }, { "title": "cold_auth.cold_spend_types.withdraw", @@ -234,16 +234,16 @@ "$ref": "#/definitions/types~1AccountSpend" } }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "cold_auth.cold_spend_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "delete_auth.cold_control_types.withdraw", @@ -253,32 +253,32 @@ "$ref": "#/definitions/types~1AccountSpend" } }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "delete_auth.cold_control_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "delete_auth.delete_account.else", "redeemer": { "schema": {} }, - "compiledCode": "590cb301010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049213865787065637420636f6c645f637265645f686173683a2042756c6c657443726564656e7469616c203d20636f6c645f637265645f6861736800168a998012492665787065637420636f6c645f637265643a204c6973743c566b3e203d20636f6c645f6372656400168a99801249c465787065637420436f6e74726f6c207b20636f6c645f637265642c20636f6c645f637265645f686173682c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578207c3e206275696c74696e2e756e5f695f64617461290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012493f657870656374204163636f756e745370656e6428757365725f7374616b652c20736967732c20636f6e74726f6c5f696e64657829203d2072656465656d6572001648889660026464646644a6530013370e9002001c4c8c8c8c8ca60026eacc0580066eb0c058c05cc05c0066eb0c0580166eb0c0580126eb4c05800e6eacc05800922222259800806c566002601860306ea8036264b3001001809c4c96600200301480a40520291332259800800c05a264b300100180bc05e26644b300100180cc4c966002604a00513233001004225980080144c8c8cc88cc8966002003159800980e98149baa0018992cc00400604b1332259800800c09e26644b3001001814c4cc896600200302b899912cc00400605b13259800981c00144c9660020031533033491aa657870656374205b50616972286e616d652c207175616e74697479292c202e2e5d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b657928636f6e6669672e62756c6c65745f68617368290a2020202020202020202020207c3e20746f5f7061697273001689919912cc00401e0670338991980c000912994c00400e2b3001009899912cc004c0c4006264b300100181dc4c96600200303c8992cc004c11400e26604000244b3001002803c4c8c966002003041820c1060831332259800800c10e087043821c4c8c018c13001cdd7000a098375c002608a0048250c10c004c11800904440f50421bab00181e40f20788228c108005040181f1baa00b8acc004c00c006264b300100181dc4c966002003159800982200144c966002606800313259800800c0fa264b300100181fc0fe07f03f8992cc004c12000e01104041146eb80050481822800a086304137540051598009803000c4c96600200303e8992cc00400607f03f81fc0fe264b3001304800380441010451bae0014120608a0028218c104dd500140f503e207c303f375400303c410503c81e40f20788228c108005040181f1baa00b81d207640ec264b3001598009818181e1baa00a8acc005660026530010019bab3041303e375401702a4004444b30010028a51899914c00401600332330010010042259800800c54cc1092411d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78029bae30480028800c4cc00c00c0050421824000a08a40146eb8c0fcc10c008c1100090414528c54cc0ed24135636865636b5f616c6c5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203f2046616c73650014a081d22b3001329800800c01a04080088896600200514a31332259800801c54cc101240123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c024c10cdd500245660033001375c608e60886ea80120110025daa33001007801c005007452820828acc005660033001375c608e60886ea80120110025da229462a6608492134766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c2073696729203f2046616c73650014a0820a33001007801c0050074528208241046eb8c11400cc11800d0431821801182200120828a518a9981da48139636865636b5f616c6c5f76616c69645f766b5f7369677328636f6c645f637265642c20736967732c206d65737361676529203f2046616c73650014a081d2294103a44c966002646600200205844b30010018a9981f248122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981f9821800801c528c4cc008008c11000503d20828a518a9981e2481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081d8c100c0f4dd500520748acc0056600266e3c01c08a29462a6607692011a6e616d65203d3d20757365725f7374616b65203f2046616c73650014a081d22b30013370e00c9000c528c54cc0ed2401167175616e74697479203d3d202d31203f2046616c73650014a081d2294103a4528207437286eccdd39981f1ba70143303e374e04c6607c6e98090cc0f8dd4012a5eb80c0ecdd5004c0e207103881c20828992cc00400626644b300130320018992cc00400607713259800800c0f207903c81e44c966002608c00700581ea086375c0028230c10c005041181f9baa0038acc004c010006264b300100181dc4c96600200303c81e40f2079132598009823001c01607a8218dd7000a08c30430014104607e6ea800e07481e103c098019820802181e1baa00181c40e20710384108607e00681e8dc3a40046eb001e06703340f46eb8c0d4004dd6981b000981c000a06c323300100101d2259800800c54cc0d1240128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdc79bae303600148811c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea60089bab3037001899801801981d8012068303900140dd02e40d4606c00281a0c0d0004c0d400503218190009819800a0603030001303100140b8605c002605e0028160c0a8dd5000c0910274092049024812205e3232330010010152259800800c52f5c113232332259800acc004cdd7801004c528c4cdd7801003a058899818981900199803003000c566002b30013375e6010605e6ea8008c020c0bcdd5004c528c4cdd7980418179baa0023008302f375400e81622a6605a9211a43616e2774207370656e64206f74686572277320696e707574730016899803003000a05840b06060605a6ea8c0c0c0c4004c0c400cc0b0dd50009817000a05830043302a4c0122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff003302a0034bd7019199119801001000912cc0040062a66052920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7980318169baa001007899192cc0040062a6605a920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630330010078992cc004cdc3a4008605e6ea80062606660606ea80062a6605c9212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640b46064606600513300600600440b08180dd59818800981898169baa0018998020020012054302f001302e302f302b3754605c0028160ca60020030159bad00a4004444b3001301f0018801466002007303000299b80001480050032052374c6605466ec130011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6605466ec0dd4806a6010101004bd6f7b63025eb7bdb180c008cc0a1300122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff00330280014bd701181500098009981398009981399ba548008cc09cdd480525eb812f5c097ae0374a900044c96600200301e80f407a03d1323003302a004375c0028150c09c0090251119198008008019119801800980100140690221811800a0423758002604400501780ba046302000140786eb8004c07c009020180e800a0363019375401b0124059012809404a02480f0602c602c002602a002602800260266026002601c6ea8c04401a2b30013370e9003001c5660026002601a6ea8c044c048c038dd50024528c5900b45900b2016370e900018051baa001300e002300d300e001300d0013008375401d149a2a6600c92011856616c696461746f722072657475726e65642066616c7365001365640141", - "hash": "cc037fc4325db07384fade637e0baebb195761c307755a71531a5857" + "compiledCode": "5904dc01010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90004c0240092225980099b874801000e264646464646644b30013009300f3754011132323259800980b800c4cc88c8c8c9660026022602e6ea800626464b3001301e0018cc004c07400a603a003301d32330010013756603c01e4464b30013371e6eb8c07000522010d746f74616c6c795f76616c69640089bab301d00189980180198108012036301f00148896600264b3001301730010038acc004c05cc074dd5001c4c8c966002604800313298009800800cc09000a60480069112cc004cdd780126010180008998019bab0010168acc004cc00cdd580080b44ca6002444b30010028a518cc004c0ac00a6058005302b0019816000a4444b30013025300f0048acc004c094c0acdd500244c9660026062003159800cc004dd71818000c0266eb800d76a8cc004022009002402114a0815a2c8170c0b0dd500245902a456600266e1d2002302b3754009132598009818800c5660033001375c60600030099bae0035da2330010088024009008452820568b205c302c37540091640a88150814a6eb0c0a00526eb000d2229800801c00600480186e50dd99ba733026374e64646600200202e44b30010018a5eb82264646644b30015980099baf0020158a51899baf00200740a513302d302e003330060060018acc0056600266ebcc0b8c0acdd5001181718159baa0158a51899baf302e302b3754004605c60566ea801d02945a26600c00c0028149029181618149baa302c302d001302d0033028375400260540028140c040cc099300118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff003302600f4bd7019813181380d19813181380ca5eb82294102220441112cc00400a2946266453001005800cc8cc00400401088c96600266ebc014c0ac00a2003133003003001409860560028028c088c098008c09c0090244590211811800980f1baa0038b20388acc004cdc3a4004603a6ea800e264b30013023001899199119801001000912cc004cdd798109812800801c528c4cc008008c0980050201bab302301330220018b2040301e375400716407080e08c074dd5000c56600266e3cdd7180e00080544cdc39bad301d00148006294101b4528203645901b180e800980c1baa0018b202c323322330020020012233225980099baf301f301c375400200d1325980099baf374c60426eacc08000401a264b30013370e9002180e9baa00189810980f1baa0018b203830203021001899802802801a0363020301c37540031330040040024068603c002603a603c60346ea8c074004ca600200300a9bad301c0074004444b300130140018801466002007301f00299b80001480050032032374c6603266ec13010e4d746f74616c6c795f76616c696400374c6603266ec0dd480226010101004bd6f7b63025eb7bdb180c008cc061300112d87a9f4d746f74616c6c795f76616c6964ff00330180014bd7018009980b98009980b99ba548008cc05cdd480125eb812f5c097ae0375c602c0066e9520008b202830160013015001301037540111640386eb0c044c048c048004dd6180880298089808800980800098078009807180700098049baa300c0068acc004cdc3a400c007159800980118041baa300c300d3009375400914a316401d16401c803860106012002601000260066ea802229344d9590011", + "hash": "d4c9290b15cc4197a370d63574580f65da0cbeef9892b11aa3334511" }, { "title": "hot_auth.hot_spend.else", "redeemer": { "schema": {} }, - "compiledCode": "590af801010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049212465787065637420686f745f637265643a204c6973743c566b3e203d20686f745f6372656400168a998012493665787065637420686f745f637265645f686173683a2042756c6c657443726564656e7469616c203d20686f745f637265645f6861736800168a998012491b6578706563742071756f72756d3a20496e74203d2071756f72756d00168a998012499465787065637420436f6e74726f6c207b2071756f72756d2c20686f745f637265642c20686f745f637265645f686173682c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012493665787065637420486f744163636f756e745370656e64207b20757365725f7374616b652c2073696773207d203d2072656465656d65720016488889660026464646644a6530013370e9002001c4c8c8c8c8ca60026eacc05c0066eb0c05cc060c0600066eb0c05c0166eb0c05c012602e007375a602e0049111112cc0040362b3001300c3019375401b13259800800c04e264b300100180a4052029014899912cc00400602d13259800800c05e02f132598009812001c4c8cc0040088966002005133223259800800c5660026030604a6ea8006264b300100181044cc8966002003022899912cc0040060491332259800800c09a26644b300100181444c9660026068005159800804c0aa05502a8992cc00401a2646644b300130260018992cc00400606113259800800c0c6264b3001303b00389980b800912cc00400a00f1323259800800c0da06d03681b44cc896600200303881c40e207113230063042007375c0028210dd7000981d80120803039001303c00240e903240e06eac006063031818a076303800140d860686ea80262b300130030018992cc00400606113259800800c5660026074005132598009814800c4c9660020030338992cc00400606903481a40d2264b3001303e00380440d503b1bae00140f8607600281c8c0dcdd50014566002600c00313259800800c0ce264b300100181a40d20690348992cc004c0f800e01103540ec6eb800503e181d800a0723037375400503240d081a0c0d4dd5000c0c503740c6063031818a076303800140d860686ea802605e81890310992cc004c094c0c8dd500444c8c8cc896600266ebc03930010180008acc004cdc4803998010008114528c54cc0d52413b636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203e3d2071756f72756d203f2046616c73650014a081a22b300100e819c0ce2646603000244b30010028acc004cdc480519b803300500402532329800800c01603a80088896600200514800226644b30010038a9981f248123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0d0dc680146600200f003800a00e8acc004c044c104dd500245660033001375c608a60846ea80120110025daa2601f3001007801c00500745903f45660033001375c608a60846ea80120110025da22601f3001007801c00500745903f207e40fc6eb8c10c00cc11000d04118208011821001207e37286eccdd39981e1ba70083303c0223303c375004297ae08a518a9981c2496a636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f7369677328686f745f637265642c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a081ba264b3001001899912cc004c0bc006264b300100181d44c96600200303b81dc0ee077132598009822001c0160788208dd7000a088304100140fc607a6ea800e2b3001300c0018992cc00400607513259800800c0ee07703b81dc4c966002608800700581e2082375c0028220c10400503f181e9baa00381ca07440e826004607e00660746ea800606f03781bc0dd040181e8012076375801d033819a07840d060020026eacc0e0c0d4dd50051112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a660729211d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78029bae303f0028800c4cc00c00c005039181f800a07840146eb8c0d8c0e8008c0ec0090381b804800a264b300132330010010212259800800c54cc0d124122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981a981c800801c528c4cc008008c0e8005033206e8a518a998192481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a08188c0d8c0ccdd50042060323300100101d2259800800c52f5c1132323233225980099baf0020168acc004cdd7981e181e981e801a6107d87b9fd87b80ff008a9981ba491843616e2774207370656e64207661756c7420696e70757473001689981d981e00219803803800a06c8acc0056600266ebcc054c0e4dd5001180a981c9baa0168a51899baf30153039375400498122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff0040d915330374911a43616e2774207370656e64206f74686572277320696e707574730016899803803800a06c40d860740026076008606c6ea8c0e4c0e8004c0d4dd5000981b800a06a3031375400e6e1d200281640b205902c40d86eb402605481aa0528188c0c800503018180009818800a05c302e001302f00140b06058002605a0028150c0a8004c0ac00502818131baa00180fa04680fc07e03f01f40ac64646600200202044b30010018a9981324923657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7980318151baa001007899192cc0040062a66054920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630300010078992cc004cdc3a400860586ea800626060605a6ea80062a660569212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640a8605e606000513300600600440a48168dd59817000981718151baa001899802002001204e302c001302b302c3028375460560028148dd31981399bb04c11e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6604e66ec0dd4804a6010101004bd6f7b63025eb7bdb180c8c004cc099300122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff00330263001330263001330263374a9001198131ba90084bd7025eb812f5c097ae0374a900011813800c4c96600200301c80e407203913230033029004375c0028148c0980090241119198008008019119801800980100140610211bac00180bc05d0241810800a03e375c00260400048108c07800501c180d1baa00d809202e809404a025012407c301730173017001301600130150013014001300f3754602400d15980099b874801800e2b30013001300e375460246026601e6ea801229462c80622c806100c1b8748000c02cdd5000980780118071807800980700098049baa00f8a4d15330074911856616c696461746f722072657475726e65642066616c7365001365640181", - "hash": "98e70eee19f199b0b4af5d1e85b40c56515cd329bc495783d2420f43" + "compiledCode": "59048101010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90004c0240092225980099b874801000e2646464646464b30013008300e375400f1323259800980a800c4c8c8c966002601a60266ea800626464b3001301a0018cc004c06400a60320032301637540029112cc004c048c00400e2b3001301230183754007132323232598009810800c660026040009302000398100014c0800066e012002488888c8c96600266ebc0193001018000899b89375a00a660026eac01c05a266e24dd680299b8033001375600e02c653001222598008014520008cc004c0ac00a6058005302c0019bae302b0014888966002604a6e3400633001007801c0090074566002604a6028009159800981298159baa0048992cc004c0c40062b300198009bae3030001804c00976a898064c00402200900340211640ad1640b860586ea80122c81522b30013370e900118159baa0048992cc004c0c40062b300198009bae3030001804c009768898064c00402200900340211640ad1640b860586ea80122c815102a205420529bac30280159bac007488a600200700180120061b9437666e9ccc098dd399198008009bac302801c2259800800c52f5c1132323233225980099baf0020198acc004cdd7981718179817801a60107d87b9fd87b80ff008b44cc0b4c0b8010cc01c01c0050294566002b30013375e605c60566ea8008c0b8c0acdd500cc528c4cdd7981718159baa0024c118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff0040a516899803803800a05240a46058002605a00860506ea8c0acc0b0004c09cdd50009814800a04e3302630270193302630270184bd7020443001001222598008014520008999118034c004016003323300100100422325980099baf005302d0028800c4cc00c00c0050281816800a00a30243028002302900240988b203c3020001301f001301e0013019375400716405d15980099b8748008c060dd5001c4c966002603c003132332233002002001225980099baf301c30200010038a518998010011810800a0363756603c01c603a00316406c60326ea800e2c80b901722c80b8c064004c050dd5000c59012191991198010010009119912cc004cdd7980d980c1baa0010068992cc004cdd79ba6301d3756603800200d1325980099b8748010c064dd5000c4c074c068dd5000c59018180e180e800c4cc01401400d017180e180c1baa001899802002001202c301a0013019301a3016375460320026eb0c05c028dd31980a99bb04c10e4d746f74616c6c795f76616c696400374c6602a66ec0dd480126010101004bd6f7b63025eb7bdb180c8c004cc055300112d87a9f4d746f74616c6c795f76616c6964ff00330153001330153001330153374a90011980a9ba90024bd7025eb812f5c097ae0374a90001bae30140028b20243014001300f375400f1640346eb0c044c048c048004c044c044c044004c040004c03c004c038004c024dd51806003456600266e1d20060038acc004c008c020dd51806180698049baa0048a518b200e8b200e401c30083009001300800130033754011149a26cac80081", + "hash": "b0fe2443c09c47c7236b693a61c2355b303bdac52b928a2fe196178e" }, { "title": "hot_auth.hot_spend_types.withdraw", @@ -288,32 +288,32 @@ "$ref": "#/definitions/types~1HotAccountSpend" } }, - "compiledCode": "59013b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644c9660026028007132330010010022259800800c5a264b3001001808404202101089919802002180c0019bae0014060602a00280a201a8090dd6000c03201880a0c0440050101bae00130100024044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011c5f7369676e6174757265733a20486f744163636f756e745370656e64001601", - "hash": "c2043016ca5ac40c052ecfe86deb1881f6359a03ea860f39850ca597" + "compiledCode": "588401010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323322598009808001c5a2c8070c034004dd71806801180680098049baa0048b200e300a3008375400516401830070013003375400f149a26cac8009", + "hash": "1ee8aa069ee70fc8368376b3e2c65b2c9b681ddee79129df9eb2ad57" }, { "title": "hot_auth.hot_spend_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59013b01010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644c9660026028007132330010010022259800800c5a264b3001001808404202101089919802002180c0019bae0014060602a00280a201a8090dd6000c03201880a0c0440050101bae00130100024044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011c5f7369676e6174757265733a20486f744163636f756e745370656e64001601", - "hash": "c2043016ca5ac40c052ecfe86deb1881f6359a03ea860f39850ca597" + "compiledCode": "588401010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323322598009808001c5a2c8070c034004dd71806801180680098049baa0048b200e300a3008375400516401830070013003375400f149a26cac8009", + "hash": "1ee8aa069ee70fc8368376b3e2c65b2c9b681ddee79129df9eb2ad57" }, { "title": "intention_auth.intent_spend.else", "redeemer": { "schema": {} }, - "compiledCode": "59316301010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049213f657870656374206f7074696f6e733a204f7074696f6e733c446174612c20284279746541727261792c20427974654172726179293e203d206f7074696f6e7300168a998012492d657870656374206f7074696f6e733a204f7074696f6e733c446174612c20446174613e203d206f7074696f6e7300168a99801249416578706563742028706f6c6963792c2061737365742c207175616e74697479293a20284279746541727261792c204279746541727261792c20496e7429203d207800168a9980124944657870656374205b50616972285f2c20696e705f6c616365292c202e2e5d203d206c6f76656c6163655f6d6170207c3e206275696c74696e2e756e5f6d61705f6461746100168a9980124962657870656374205b50616972285f2c206c6f76656c6163655f6d6170292c202e2e726573745f72696768745d203d0a20202020202020202020202076616c7565207c3e2064617461696679207c3e206275696c74696e2e756e5f6d61705f6461746100168a9980124960657870656374205b506169722872696768745f6b65792c205f292061732072696768745f706169722c202e2e79735d203d0a20202020202020202020202072696768745f6173736574207c3e206275696c74696e2e756e5f6d61705f6461746100168a99801249ac657870656374205369676e6564496e74656e74696f6e207b0a2020202020207072656669782c0a202020202020696e74656e743a20496e74656e74207b20636f6e73747261696e74732c2076616c75655f6c656176696e672c206e6f6e6365207d20617320696e74656e742c0a202020202020706f73746669782c0a2020202020207369676e6174757265732c0a2020202020202e2e0a202020207d203d207369676e65645f696e74656e7400168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012493f6578706563742076616c69646174655f7369676e617475726573287072656669782c20696e74656e742c20706f73746669782c207369676e6174757265732900168a998012492f657870656374207369676e6174757265733a204c6973743c5369676e61747572653e203d207369676e61747572657300168a99801249796578706563740a202020202020202028636f6e73747261696e74730a202020202020202020207c3e206275696c74696e2e756e5f6c6973745f646174610a202020202020202020207c3e20666f6c645f636f6e73747261696e7473284e6f6e652c20636f6e73747261696e745f76616c696461746f7229293f00168a998012493665787065637420686f745f637265645f686173683a2042756c6c657443726564656e7469616c203d20686f745f637265645f6861736800168a998012494665787065637420436f6e74726f6c207b2071756f72756d2c20686f745f637265642c20686f745f637265645f686173682c202e2e207d203d20636f6e74726f6c5f646174756d00168a99801249c1657870656374205369676e6564496e74656e74696f6e207b0a20202020202020207072656669782c0a2020202020202020757365725f7374616b652c0a2020202020202020696e74656e743a20496e74656e74207b20636f6e73747261696e74732c2076616c75655f6c656176696e672c206e6f6e6365207d20617320696e74656e742c0a2020202020202020706f73746669782c0a20202020202020207369676e6174757265732c0a2020202020207d203d207369676e65645f696e74656e7400168a9980124923657870656374205b7369672c202e2e6f74686572735d203d207369676e61747572657300168a998012494465787065637420496e707574436f6e73747261696e74207b20616464726573732c2076616c75652c20646174756d5f6669656c642c20696e5f726566207d203d20636f6e00168a9980124919657870656374205b782c202e2e726573745d203d206c69737400168a998012493c657870656374204f7574707574436f6e73747261696e74207b20616464726573732c2076616c75652c20646174756d2c20726566207d203d20636f6e00168a998012492465787065637420686f745f637265643a204c6973743c566b3e203d20686f745f6372656400168a998012492e657870656374204f7574436f6e4e696c286f75745f636f6e73747261696e747329203d20636f6e73747261696e7400168a9980124925657870656374205369676e65644e696c287369676e657229203d20636f6e73747261696e7400168a998012493065787065637420536f6d6528636f6d70617265293a204f7074696f6e3c446174613e203d20636f6d706172655f76616c00168a998012495f6578706563742052656465656d657256616c287363726970745f707572706f73652c206669656c645f73656c656374696f6e2c20636f6d706172655f76616c29203d0a202020202020202020202020202020202020636f6e73747261696e7400168a998012492e65787065637420526566436f6e56616c287265665f636f6e73747261696e747329203d20636f6e73747261696e7400168a998012492e65787065637420496e70436f6e56616c28696e705f636f6e73747261696e747329203d20636f6e73747261696e7400168a998012492265787065637420416674657256616c2874696d6529203d20636f6e73747261696e7400168a9980124923657870656374204265666f726556616c2874696d6529203d20636f6e73747261696e7400168a998012492d657870656374204d696e74436f6e4e696c28702c20616e2c20616d6f756e7429203d20636f6e73747261696e7400168a99801249bf65787065637420526564207b0a20202020202020202020696e74656e74696f6e732c0a20202020202020202020696e74656e745f757365725f636f756e74732c0a202020202020202020206368616e67655f6f75747075745f6f66667365742c0a20202020202020202020636f6e73747261696e745f6f75747075745f6f66667365742c0a20202020202020202020636f6e73747261696e745f72656465656d65725f6f66667365742c0a20202020202020207d203d2072656465656d65720016488888888888888888888888888889660026464646644b3001370e90034dc3a4001370e9002244530013001005899191919191919914c004c0d0c0c4dd5181a000cc0d0c0c4dd5181a181a800cdd6181a0014dd5981a181a8014dd6181a0044dd6181a003cdd6181a0034dd5981a002cdd5981a0022444444444b30010158acc004c04cc0e4dd500ac4c96600200301b899912cc00400603b1332259800800c07e264b300100181040820411332259800800c08a264b3001001811c08e0471332259800800c096264b3001001813409a04d132598009825801c660026e01200191825800c88c8cc00400400c88cc00c004c00800a6ebd3010180009b874800a44444653001001803401600900340044444464b300100589982a00180144c8cc896600266e40dd7001003c4cc15c00e6002013001803c01a00a804a2b30013375e0046ea401e2660ae66ec0008cc028c15400cc154018c0100062660ae00c600801082910521829000982b803182a802a0a62598008014400626530010078014dd71829000c00660ae0068038c154009053488888ca6002003006802c0120068008888896600200913305300200189919912cc004cdc81bae00200689982b001cc004022003006802c01100844cc158cdd800119804982a001982a002acc00401220031329800804c00a6eb8c1500060033059005402460ae00882a90511828800982b002982a00220a4911194c0040060090034004444b30010028a99825a48129657870656374205b636f6e73747261696e742c202e2e726573745d203d20636f6e73747261696e747300168992cc004006294633001004800ccc014c14400c009004209e305100241393758015375801891111111114c0048896600266e2520100018cc00400e60b060b060b060b060b060b060b060b0005337000029007a0068acc004c0b4006200513322598009817800c400a26644b30013031001880144cc896600260660031002899912cc004c0d400620051332259800981b800c400a264b3001303830180028800c4c18c00505c183100120b630600023015001416460bc004602600282b8c170008c044005055182d0011807800a0a63058002300d0014144828aa653001300100c8994c00488966002600a00319800801cc168c168c168c168c168c168c168c168c168c16800a6008002801a2b3001302f001880144cc896600260620031002899912cc004c0cc00620051332259800981a800c400a26644b30013037001880144cc896600260720031002899912cc004c0ec00620051332259800981e800c400a264b3001303e301e0028800c4c1a4005062183400120c23066002301b001417c60c8004603200282e8c188008c05c00505b1830001180a800a0b2305e0023013001415c60b8004602200282a8c168008c03c00505320a69800806cc15cc15cc15cc15cc15cc15cc15cc15cc15cc15c07d222598009802801466002007305a305a305a305a305a305a305a305a305a305a001980200120068acc004c0bc00a200313322598009818800c400a26644b30013033001880144cc8966002606a0031002899912cc004c0dc00620051332259800981c800c400a26644b3001303b001880144cc8966002607a00310028992cc004c0f8c07800a200313069001418860d00048308c198008c06c00505f1832001180c800a0ba30620023017001416c60c0004602a00282c8c178008c04c005057182e0011808800a0aa305a001300f002414c82986e0120138acc004c0ac032203d13322598009816800c400a26644b3001302f001880144cc896600260620031002899912cc004c0cc00620051332259800981a800c400a26644b30013037001880144cc8966002607200310028992cc004c0e8c06800a200313065001417860c800482e8c188008c05c00505b1830001180a800a0b2305e0023013001415c60b8004602200282a8c168008c03c005053182c0011806800a0a2305601e300b00c413c8278dc4a402922232598009817000c4c9660020030038992cc00400600900480244c96600260b8007006802a0b2375a003004417060b200282b8c154dd50024566002601400313259800800c00e264b3001305b002802c011058182c800a0ae3055375400900241488290c14cdd5001c896600200310028994c00400e6eb8c14c006003305800291192cc00400609d132374d30013756009375c60ae003001982e001488dd419b80375a0046eb400500c182d000a0b037560028040c1580050542444464646466453001002805c02a04b001400844444b30010048acc004c04cdd3801c4c04cdd3801452820b489919912cc00401a2a660bc920133657870656374205b7369676e65645f696e74656e742c202e2e726573745f696e74656e74735d203d20696e74656e74696f6e730016899912cc0040062b3001303b3061375400313259800800c14a264b3001001829c14e0a7053899912cc0040060ab13259800800c4c9660020030578992cc0040060b105882c416226644b300100182d44c96600200305b82dc16e0b71332259800800c176264b300130730028acc004c120c1b8dd5004c4c96600200305f899912cc0040060c313259800800c18a0c51332259800800c192264b30010018acc004c1e800a2b3001003832c4c966002003066833419a26644b300100183444c96600260fc00519800802c4c96600260a860f46ea801a2660026eb4c1f8c1ecdd500325eb8226600290009983e983f183d9baa0064bd7020f022323232332259800801456600260b46100026ea800a264b300100183944cc8966002003074899912cc0040060ed1332259800800c1e226644b300100183d44c966002611e02005159800802c4cc896600260cc00313259800800c1fe264b300100184000c4c9660026128020071330470012259800801401e26464b300100184280c2140610a0308501899912cc00400610e030870184380c21c06264600c61360200e6eb800509b011bae001309401002426404612402002612a0200484980a10202848808dd5800c200061000308001425004612202002847808c23404dd5003c566002608400313259800800c1fe264b30010018acc004c24c0400a264b300130690018992cc0040061040313259800800c20c06106030830184180c4c966002612e0200700884200a12802375c00284b808c25004005092011848009baa0028acc004c114006264b300100184100c4c9660020030830184180c20c061060313259800984b80801c0221080284a008dd7000a12e023094010014248046120026ea800a1020284680908d011847009baa00184000a1200284000c200061000308001425004612202002847808c23404dd5003c1f908a01211402159800acc00660026eb006e98103d87a800081a207a8a518a9984480a4815f636f6e73747261696e74730a20207c3e206275696c74696e2e756e5f6c6973745f646174610a20207c3e20666f6c645f636f6e73747261696e7473284e6f6e652c20636f6e73747261696e745f76616c696461746f7229203f2046616c73650014a084400a33001375a611c020313756611c02611e02031370e9000a44464b3001300237aa0631980080ac056029233001480012f5bded8c102f40051323322980080140ca02f01880c4cde901a19b8148000006003004400844444444b300130710028acc00401e2a6612c0292128657870656374205b7369676e65645f696e74656e742c202e2e726573745d203d20696e74656e74730016899912cc0040062b30013073309901375400313259800800c24406264b300100184900c248061240309201899912cc0040061280313259800800c4c966002003096018992cc00400612e030970184b80c25c0626644b300100184c80c4c96600200309a0184d00c26806134031332259800800c27006264b300130ab010028acc004c20004c29804dd5004c4c96600200309e01899912cc0040061400313259800800c28406142031332259800800c28c06264b30010018acc004c2c80400a2b300100385200c4c9660020030a50185280c2940626644b300100185380c4c966002616c0200519800802c566002b300198009bac00aa6103d87a800082da0c88a518a9985800a4815f636f6e73747261696e74730a20207c3e206275696c74696e2e756e5f6c6973745f646174610a20207c3e20666f6c645f636f6e73747261696e7473284e6f6e652c20636f6e73747261696e745f76616c696461746f7229203f2046616c73650014a085780a2b30019800808c05201d00c408d133223259800984700985a009baa0088992cc004cdc4011000c4cc0080040922a6616802921156578706563742069203e206c6173745f6e6f6e6365001642cc046eb4c2e004c2d404dd500444cc004084cc2dc04c2e004c2d404dd5004011a16402223322598009815800c66002005004801c8cc00401c01a97ae040851980081440820070028024cde901199b81480000060032222230022233229800804c02200f233001003002802a0543370001a004660d600201881410b5012cc004c0a408e2005102342cc046f54084dd6985a808039bab30b50130b60100785300a15e0285200a15e0285400a0be85400a1660230b40100142c8046eb4004c2cc0401214a0285a008c2c40400d0af014290050af01429006148030a40185200a1660230b00100142b8046eb0004c2bc0400a142030a10142c004615a02002855808c2ac04004c2b0040050a9011853809baa00984e80a1480284e80a1500230a901001429c046eb8004c2a0040090a901185300800a14802375c002614a02004853008c28c040050a10118518080142540612a030950184a80a1480230a101001427c046eb8004c280040090a101184f00800a13802309a01375400309001425c050900184800c240061200284f808c2700401cc26c0401d09901456600200f15330960149126657870656374205b74656d705f696e74656e742c202e2e726573745d203d20696e74656e747300168994c004026613a0201100780340160093052003911114c0040160090038014cc280040180050072012309b0100742640484a808dea8192cc004c110c23804dd5004c4c966002b300132330010010582259800800c54cc2400524122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7984880984a80800801c528c4cc008008c2580400508f012126028a518a9984700a481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a084680a244449462a6611c0292126657870656374206d7573745f686176655f6b6579287769746864726177616c732c207363293f0016423404612402611e026ea802626464b3001980081440ae04b0234005100184280a11c02222259800800c21c0610e031323304c001225980080144cc02000cdca19b8a3371400e6ecc018016264b300100184580c22c061160308b018991801984e808021bae00142740461340200484c008dd6000c21c0610e0284c8088a60026eb403e6eacc25004c24404dd5005c8c1acdc6800cdc0240049111192cc004c13004a2b30013371200b3001004803c0190014528c54cc2500524013a636865636b5f76616c69645f6564645f7369677328766b732c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a084980a2b300101284000c200062646609c00244b30010028acc004cdc4804194c00400600900b4004444b30010028cc00402a00300c401d1332259800801c2300626644b3001300d0028cc00401e007001401d159800982a984f809baa0048acc00660026eb8c28c04c28004dd50024042004bb544c032600200f003800a00e8b213a028acc00660026eb8c28c04c28004dd50024042004bb444c032600200f003800a00e8b213a0242740484e808dd7185080801985100801a13e02309f0100230a00100242740514a315330970149147636865636b5f71756f72756d5f76616c69645f7369677328766b732c20686f745f637265642c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a084b00a264b3001001899912cc004c1d4006264b300100184380c4c9660020030880184400c220061100313259800985180801c01611202850008dd7000a1460230a0010014278046138026ea800e2b300130510018992cc00400610e0313259800800c22006110030880184400c4c96600261460200700584480a14002375c002851808c2800400509e01184e009baa00384300a1320242640426004613c020066132026ea8006108030840184200c2100509f01184e0080121340237580250800184000a13602424c04444653001001802400d0011112cc00400a2900044cc896600200708b01899912cc004c03000a33001007801c00500745660033001004804400972a89805cc00401e007001401d1642700484e008dd7185000801985080801a13c02375c613602613c02004613e0200484e00884600908c0111111180111194c0040060774bd7048cc00520004bd6f7b6304019001111112cc0040122b30010018994c004006b3001300e00c881fc56600207f15330990149130657870656374205b6f75747075742c202e2e726573745f6f7574707574735d203d206f66667365745f6f75747075747300168acc004c8c8c966002003093018acc004cdd79ba6330a001337609811e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c661400266ec0dd499b8a488104ffffffff0003a4c10101004bd6f7b63025eb7bdb180dd3185100800c56600266ebcc28404c28804008cdd2a400866140026ea003d2f5c113375e03c61420200714a084d80a294109b01213e0237566140020026140020026136026ea8c278040fe2613e0207f153309901491546578706563740a20202020202020202020202076616c69646174655f6f75745f6e6f6e636528757365725f7374616b652c206e6f6e63655f616464726573732c206c6173745f6e6f6e63652c206f757470757429001642600484e0090980148cc00520004bd6f7b6302002222598008014566002600a44600644b30013371200866e00008cdc000b00744cdd79ba6003374c6609a0026609a01a02b14a084f00a3300104581f402e00d0024115153309b01491376578706563742076616c75655f636f6d70617265286f75747075745f76616c75652c20746f74616c5f76616c75655f6c656176696e67290016426805132323233225980099baf30a5010040248acc004cdd7985280985300801a6103d879800089803112cc0040121380313259800800c2780626645300100d80348cc00400c00900d19b80003375a614a0261500200264b30010018801c4ca6002009375c614c02003001985580801488c9660020030a1018991ba698009bab0049bae30aa01001800cc2bc0400a446ea0cdc01bad002375a00282f0c2b4040050ab011bab0014168615202002853808c2a4040150a6011bab30a40130a70100442940515330a00149011765787065637420646174756d203d3d204e6f446174756d0016427c0515330a0014911e6578706563742061646472657373203d3d20757365725f616464726573730016427c046eacc28c04004c29004014c28c04004c27804dd5000985000801213c028a9984c00a491f657870656374205b5d203d20706172616c6c656c5f6e6f6e63655f6c6973740016426c0513232323298009bab30a101001985080985100800cc2880402261420200730a1010024888896600266ebc0940062b30013375e980107d87b9fd87b80ff000048b44c02c896600200f09d018992cc00400613e03133229800809c022023233001003002acc004cdd7a60107d87b9fd87a80ff0000989919800800808112cc004006297ae0899912cc004cdd7801005c400626615c0200466008008002854808c2b404004c2b8040050ab014403d0a5012026337000066eb4c29804c2a404004cc148008c2a8040210a7011bab30a50130a80100742980485000a2b30013375e046003159800802c260062b30013375e6e98cc29404cdd82611e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6614a0266ec0dd499b8a488104ffffffff0003f4c10101004bd6f7b63025eb7bdb180dd3185380802c56600266ebc010cdd2a40086614a026ea00552f5c119800807400e01900b805201c8a9985080a4812865787065637420646174756d203d3d20496e6c696e65446174756d2866697273745f6e6f6e636529001642800515330a1014913265787065637420646174616966792865787065637465645f6e667429203d3d2064617461696679286e66745f76616c756529001642800485200a3300100e801d6600266ebcc16cc28c04dd5000a60122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff0089985280804806456600266ebcc16cc28c04dd5000a60122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff0089985280804806440310a001214002805c02900e21400242800430a101001309c013754613e026140020026136026ea8004c2740401109b0120fa844008c22804dd5002c1f20f907c83e21200283da11802308d01001422c04611602002611802002844808c22404004c2280400508701184380800984400800a10a02308501001308601001420c046102026ea800a0e283f20e3071838c1c508601191919800800825912cc0040062a6610002920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981e1842009baa001006899192cc0040060f715980099baf374c61140200200f13259800982f9843009baa00189845009843809baa0018a9984280a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d0016421004611202611402005133006006004420c04843808dd59844008009844009842009baa0018998020020012102023086010013085013086013082013754610a02002841808dd3198408099bb04c11e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c661020266ec0dd480da6010101004bd6f7b63025eb7bdb180c00ccc20405300122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff0033081010024bd7018011984000a60122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff0033080010014bd7018009983f98009983f99ba548008cc1fcdd480ca5eb812f5c097ae0374a900041a502741a507b183e000a0f4375a00260f600906641f060f200683ba0ca83ba0cb065832c19507b183c000a0ec375800260ee00506283120f0307500141cc60e600260e80028388c1bcdd5004c17906c41790701838800a0de375c00260e00048388c1b800506c1bae001306d00241b860d60028348c1ac00a0ad05682b415906c1834800a0ce375c00260d00048348c19800506418311baa001828a0be828c1460a3051419c60c800c60c600c8308dd70009831002983000220bc33003021018229800982c1baa00292cc00400626644b300130350018992cc0040060b113259800983100140120b282f8c18000505e182e1baa0038acc004c044006264b300100182c44c96600260c400500482ca0be3060001417860b86ea800e2b300130340018acc004c170dd5001c00a0ae82ea0ae82c905920b210013059375400305582ac1560aa82fa460ba60bc0032305d305e305e001488894cc8a6002607000d1598008044566002607060bc6ea8022264b3001001824c4c96600260ca005132598008014566002607660c26ea800a264b300100182744cc8966002003050899912cc0040060a51332259800800c152264b3001306e002899191919191980080080c912cc0040060b915980098019839800c530103d87a8000899801001183a000a0da41c4b3001300f00a8800c4c8c966002609000312325980099baf302930713754004003130050028a5041b860e660e06ea800e2b3001302400189192cc004cdd7981498389baa302930713754004003130050028a5041b860e660e06ea800e2c836106c18369baa001301300a41a8b3001300f0038800c496600266ebc010c1c0c1c4c1c4c1c4c1b4dd5000c4c008006294106a20d25980098068024400626464b3001304600189192cc004cdd7980998379baa00200189802801452820d83071306e37540071598009811000c48c8c8cdc79bb330143070375400600266e28cdc51bae3072001376602e6eb8c1c8c1cc004dd6183898371baa0038b20d441a860d66ea8004c0280110682cc004c0300162494626464b30013045001891919baf3013306e375400400260e060da6ea800e2b3001302100189919192cc004cdc78012441008919baf301530703754002005123259800800c52844cdd79ba6307500100341c86eacc054c1c0dd5000a0d8374c660e066ec0dd48009ba6330703376060e260e400402c97adef6c604bd6f7b6301bae3070001375860de60d86ea800a2c834906918351baa0013009005419d05541ac60d80028350c1a8004c1ac00506818340009834800a0cc30660013067001419060c46ea800a09a82fa09b04d826c13506712cc00400626644b3001303d0018992cc0040060c313259800983500140120c48338c1a000506618321baa0038acc004c064006264b3001001830c4c96600200306283144c96600260d6007159800800c18e264b300100183241920c9064899912cc0040060cd13259800800c19e0cf067833c4c96600260e000700a83420da375c0028380c1b400506b1bae001306c00241b460d400283420c68340dd6000c18a0c48358c1a000506618321baa0038acc004c0f00062b30013064375400700283020ca83020c2418483084004c184dd5000c17a0bd05e82f20ce82520c43063001418460be6ea802209082e209104882441210644566002602800d1598008044566002602860bc6ea8022264b300100182444c966002003049824c126093132598009833001c566002646600200206044b3001001828456600266e3cdd71833800801c528c4cc008008c1a000506120ca8a60103d87a80008a998302492b657870656374206d7573745f686176652865787472615f7369676e61746f726965732c207369676e6572290016417d04a418c6eb80050661831800a0c2305f37540110474171047823c11e08e832226466446464b3001303c00b8acc0040362b3001303c3063375401b13259800800c12e26644b3001001826c4cc896600200304f8992cc004c1b800a264b3001300e0028800c566002005159800982218351baa0028992cc0040060a7132598009838801456600266ebc00c0062007153306b490117657870656374206669656c64203d3d20636f6d70617265001641a905441b860de0028368c1acdd50014149068414a0a505282920e041a06600e6eb000cc8cc0040040648966002003153306a490128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7983600080444c1b400626600600660e20048350c1bc00506d414106b1836000a0d4306a001306b00141a060d000260d20028330c190dd5006c129061412a09504a82520d2899192cc004c1000362b300100f8acc004c100c194dd5007c4c96600200304c8992cc004c1b000a26600606400304d41a460d40028340c198dd5007c12d063412e09704b825a0d68acc004cdc3a401001b159800807c56600266e1d20083065375401f13259800800c12e264b3001306c002899801819800c1310691835000a0d03066375401f04a418d04a825412a094835a264b30013370e9006007456600202115980099b8748030c198dd500844c96600200304b8992cc00400609904c82644c96600260dc0071325980099b88002375a00310018a99834a49266578706563742074696d65203c206275696c74696e2e756e5f695f64617461286c6f77657229001641a0600807304d41ac6eb40060988370c1ac00506918339baa01082520c8825412a09504a41b115980099b874803803a2b30010108acc004cdc3a401c60cc6ea8042264b300100182544c96600200304b825c12e264b3001306e0038992cc004cdc49bad0010028800c54cc1a52401276578706563742074696d65203e3d206275696c74696e2e756e5f695f6461746128757070657229001641a0600807104c41ac6eb40060968370c1ac00506918339baa010824a0c8824c12609304941b115980099b874802803a2b30010108acc004cdc3a401460cc6ea8042264b3001001824c4c96600200304a825412a0951332259800800c132264b3001001826c13609b04d899912cc00400609f13259800800c1420a10508992cc004c1d000e2b30013370f3001038803c01100c000c530103d87a80008a9983724929657870656374207175616e746974795f6f66286d696e742c20702c20616e29203d3d20616d6f756e74001641b505141c46eb40060a083a0c1c400506f1bae001307000241c460dc0028360dd7000983680120dc306b00141a460ce6ea80420908322091048824412106c454cc19524011b52656465656d657220696e646578206f7574206f662072616e67650016419083210641192cc0040062a660cc920135657870656374205b6974656d2c202e2e5d203d20636f6e737472207c3e206275696c74696e2e756e636f6e7374725f6669656c6473001689835800a0d23006001418c83188966002003159800982018331baa0018992cc0040060ab1332259800800c15e26644b300100182cc4cc896600200305b8992cc004c1cc00a2646464646600200201c44b30010018a9983924811b657870656374205b782c202e2e726573745d203d20696e7075747300168992cc004c0100062b3001302b0098a60103d87a80008998091bac009301930753754603460ea6ea800507244cc00c00cc1e4009072183b800a0ea59800980a001c48c008c05cc1c8dd5000c48c96600266ebc004c0acc1ccdd500144c00cc060c1ccdd5001452820e03075301100441b8b300130120088800c4c8c966002609600312325980099baf302c30743754004003130050028a5041c460ec60e66ea800e2b3001302700189192cc004cdd79816183a1baa302c30743754004003130050028a5041c460ec60e66ea800e2c837906f18381baa001301600841b4b30013025005892518919199119801001000912cc004006294626644b3001002837c1be264b300100183844c966002003071838c1c60e31332259800800c1ce264b300100183a41d20e9074899912cc0040060ed13259800800c1de0ef0778992cc004c2080400e2b30013370f300100e803c01101a000c4cc03403402a294107b41e107f1bad00183ba10402307f00141f46eb8004c1f800907f183e000a0f4375c00260f600483e0c1e40050771bac002837c1bd07a183b000983b800a0e8375800e6eacc054c1c0dd5000a0d882e20e0307100141bc60de00260e00028368c1b4004c1b800506b18358009836000a0d230673754003054419105482a41520a88360888c8cc0040040108966002003148002264b30013371e6eb8c1a4004016264660020026eacc1ac0088966002003148002264b30013371e6eb8c1b000401e26eb4c1b400626600600660e20048350c1bc00506d44cc00c00cc1b80090671836000a0d441846002002444b30010028800c4cc8a600200b0019980398030019bad002401460d000460d20048330c0040048c184dd50009112cc004c0ec006260ca00519800801cc19800a6036002801905f20b841706ebd300103d87a8000375e980103d87b80001980080f8099802002102741206eb400604c8258c1200050461bad0013047002811a0903045001410c6eb4004c11000a0408228c10800504018200009820800a07c303e001303f00140f060746ea805603481ba03501a80d406903f0c0cc004c0bcdd51819000981900098189818800981818180009817800981700098149baa302c0088acc004c00c0162b30013002302837546058605a60526ea801a29462c81322c81310260c08cdd5000981380118131813800981300098109baa0278a4d153301f4911856616c696461746f722072657475726e65642066616c7365001365640781", - "hash": "6040d075fc8e79d315deca988a59ce5dc5dbab54e4489fdd90b4d570" + "compiledCode": "59166301010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966003300130033754011370e90034dc3a4001370e90022444464646644b30013005002899191919191919914c004c058c04cdd5180b000cc058c04cdd5180b180b800cdd6180b0014dd6180b0044dd6180b003cdd6180b0034dd5980b002a4444444b300130153019375402113232323232598009811800c660026e0120019180f9baa0019baf4c10180009b874800a44444653001001803401600900340044444464b300100589981600180144c8cc896600266e40dd7001003c4cc0bc00e6002013001803c01a00a804a2b30013375e0046ea401e26605e66ec0008cc028c0b400cc0b4018c01000626605e00c6008010815902b181500098178031816802a0562598008014400626530010078014dd71815000c006605e0068038c0b400902b488888ca6002003006802c0120068008888896600200913302b00200189919912cc004cdc81bae002006899817001cc004022003006802c01100844cc0b8cdd80011980498160019816002acc00401220031329800804c00a6eb8c0b000600330310054024605e008816902a1814800981700298160022054911194c004006009003400444464b30010018a518cc00401200333005302900300240108138c0a400a6eb0c0880126eb0c0880166eacc088041222222222298009112cc004cdc4a402000319800801cc0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c000a66e00005200f400d1598009813800c400a26644b30013029001880144cc896600260560031002899912cc004c0b4006200513322598009817800c400a26644b30013031001880144c9660026064603000510018981d800a06a303a00240d06070004602a0028190c0d8008c04c005030181a0011808800a05c3032002300f00140b06060004601a002815102a4ca60020033756605a605c033375a605a01880088896600266e2520140018cc00400e6060606060606060606060606060606060606060005337000029009a0068acc004c09c006200513322598009814800c400a26644b3001302b001880144cc8966002605a0031002899912cc004c0bc006200513322598009818800c400a26644b30013033001880144cc8966002606a00310028992cc004c0d8c07000a20031303f00140e4607c00481c0c0f0008c064005036181d001180b800a0683038002301500140c8606c00460260028180c0d0008c04400502e18190011807800a0583030002300d00140a881524464b30013027001899192cc004c0c800a0091640bc6eb4c0c0004c0b0dd5001c56600260140031323259800981900140122c8178c0c0004c0b0dd5001c5902a2054302a37540052259800800c400a26530010039bae302b001800cc0c000a4464646e9a60026eac0126eb8c0bc0060033034002911ba8337006eb4008dd6800a01a303200137560028048c0b800502c2444464646466453001002806402e039001400844444b30010048acc004c050dd3801c4c050dd3801452820668cc004c0e001260720093039003981c001a444464b30013035303937540051323232323298009821000cdd71821001cdd718210012444b30013046004899912cc004c0fcc10cdd5000c4c8c8c96600260960031323298009826000cc1300166eb4c13000922259800982800244c8cc0880044c9660026092609a6ea800a2660026eb4c144c138dd500125eb82266002900099828182898271baa0024bd70209822323232332259800982798299baa002899192cc004c16800626644b300198009bac00ea6103d87a8000814a0668cc004dd6982d808cdd5982d982e008cdc3a4002911192cc004c008dea811c6600201f00f80748cc00520004bd6f7b630409500144c8cc8a6002005028808c04a025337a404c66e052000001800c011002111111112cc004c18000a26644b30013062306637540031323232323298009837800cdd71837801cdd718378012444b30013073004899912cc004c1b0c1c0dd5000c4c8c8c96600260f0003132329800983c800cc1e40166eb4c1e400922259800983e80244c8cc13c004566003300137580074c103d87a8000825a0aa8acc006600201b00a806403901e44cc88c96600260f060f86ea8012264b30013371003a00313300200101f8b20f8375a61000260fa6ea8012266002038660fe61000260fa6ea801007907b1119912cc004c09800633001002802400e46600200e00d4bd7020388cc00408e037003801401266f48078cdc0a40000030019111118011119914c004026011007919800801801401502519b8000d0023305b00100c408c83f166002604803d1002880f20f837aa0386eb4c1f4018dd5983e983f003459078459078183e00345907a0c1e4004dd6183b801459075183b800983b00098389baa0018b20de375c60e401060e400f1641c0306f001306e001306d001306c0013067375400316419460d200e60d000f1329800804cc1a802200f006802c012608e007222229800802c01200700299836803000a00e402460d000e8318dea8122cc004c15cc0f001a2b30013057305b375400d132323232598009832000c4c8cc89660033001023810408a0488012200516418444446600a6eb0004dca19b8a337140086ecc00c008c1900088a60026eb4c19401260ca00b375660ca00d2305e371a0033700900124444464b30013047005899b890069800802402200e800a266e24018ca6002003375800d0094004444b30010028cc00401e00300a40111980098370014c1bc00a60de003375c60dc00291112cc004c02800633001007801c009007456600260d4609e009159800983518371baa0048992cc004c1d00062b300198009bae3073001807c00976a898054c00402200900340211641b91641c460de6ea80122c836a2b3001304d306e375400913259800983a000c5660033001375c60e600300f8012ed11300a9800804401200680422c83722c8388c1bcdd500245906d20da41b441b08330888ca6002003004801a002222598008014520008cc004c1b4c1c000a60e200530700019838800a4444b3001300c375c00519800803c00e002803a2b300198009bae0048044dd70012e551300b9800803c00e002803a2c837906f106e22c8308c18c004c188004c184004c170dd500345905a4566002607460b66ea801a264b300130610018acc004c8c8cc0040040dc896600266ebcc17cc18c00400e294626600400460c800282f0c180006244449462c82da2c82f0c170dd500345905a20b441684444460044465300100181852f5c1233001480012f5bded8c1006400444444b30010048acc0040062653001001acc004c038032206915980099192cc004cdd79ba63306c337609810e4d746f74616c6c795f76616c696400374c660d866ec0dd499b8a488104ffffffff000284c10101004bd6f7b63025eb7bdb180dd318371bab306d0018acc004cdd79836983700099ba548010cc1b0dd400725eb82266ebc05cc1b400a2941068452820d0306d0013068375460d60691306c0348b20cc4199233001480012f5bded8c08008889660020051598009802911801912cc004cdc480219b800023370002c01d13375e6e9800cdd3198210009982100680ac52820d88cc0040ea06900b803400903a45906844c8c8c8cc896600266ebcc1c801007a2b30013375e60e460e600698103d8798000898031119914c00403200b233001003002403066e00008dd69838983a1bab307130740043259800800c400a26530010039bae3072001800cc1dc00a4464646e9a60026eac0126eb8c1d8006003307b002911ba8337006eb4008dd6800a0a6307900137560028278c1d4005073183a80245906d45906d1bab307000130710053070001306b375400260da004835a2c83422646464653001375660dc003306e306f00198378044c1b800e60dc004911112cc004cdd780f800c56600266ebd30107d87b9fd87b80ff000048b44c02c88cc8a600202500780848cc00400c00ab30013375e98107d87b9fd87a80ff0000889919800800807912cc004006297ae0899912cc004cdd7801005440062660f40046600800800283b0c1e4004c1e8005077440390722024337000046eb4c1c8c1d4dd59839183a80399823000983b003a0dc8acc004cdd780e800c56600266ebcdd31983919bb04c010e4d746f74616c6c795f76616c696400374c660e466ec0dd499b8a488104ffffffff0002e4c10101004bd6f7b63025eb7bdb180dd3183a002c56600266ebc010cdd2a4008660e46ea00552f5c119800807400e01900b805201c8b20dc8b20dc8cc00403a0075980099baf307330703754002980112d87a9f4d746f74616c6c795f76616c6964ff00899839004806456600266ebcc1ccc1c0dd5000a60118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff008998390048064403106e20dc805c02900e20dc41b8306e0013069375460d860da00260d06ea8004c1a801106822c82b0c164008c1640062c82b8c164004c150dd500145905219191980080081e9119912cc004cdd7982d182b9baa0010068992cc004cdd79ba6305c375660b600200d132598009829982c1baa0018982e182c9baa0018b20ae305b305c001899802802801a0ac305b30573754003133004004002415460b200260b060b260aa6ea8c160004dd31982a19bb04c10e4d746f74616c6c795f76616c696400374c660a866ec0dd480826010101004bd6f7b63025eb7bdb180c00ccc151300118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff00330540024bd70180119829a60112d87a9f4d746f74616c6c795f76616c6964ff00330530014bd7018009982918009982919ba548008cc148dd480725eb812f5c097ae0374a9000182780345904d0c130004dd618250014590481825000982480098221baa0018b2084375c608a010608a00f16410c304200130410013040001303f001303a37540051640e06eb801081b0cc00c060dd6981980a114c004c04400a46644b3001302f001899192cc004c0e800a0091640dc607000260686ea800e2b30013012001899192cc004c0e800a0091640dc607000260686ea800e2b3001302e0018acc004c0d0dd5001c00a2c81aa2c819103220641001303137540032303530360019181a981b181b000cdd7a60103d87a80009baf4c0103d87b8000488888966002606400d1598009819181b1baa0088992cc004c0f000626644b3001303530393754003132323232598009821000c660026082009304100398208014c1040052222323232323233001001019225980098019825800c5300103d87a80008998010011826000a08c598009807803c400626464b3001304200189192cc004cdd7982618249baa002001898028014528208e304b304837540071598009812800c48c96600266ebcc130c124dd5182618249baa002001898028014528208e304b304837540071641148228c114dd50009809803a086598009807801c400624b30013375e0086090609260926092608a6ea80062600400314a082190422cc004c03400e200313232598009820000c48c96600266ebcc04cc11cdd5001000c4c01400a2941045182498231baa0038acc004c08c00624646466e3cdd9980a18241baa0030013371466e28dd718250009bb3017375c609460960026eb0c124c118dd5001c5904320863043375400260160068209660026018007124a31323259800981f800c48c8cdd7980998231baa0020013048304537540071598009811000c4c8c8c96600266e3c009221008919baf301530483754002005123259800800c52844cdd79ba6304d00100341286eacc054c120dd5000a08a374c6609066ec0dd48009ba633048337606092609400402c97adef6c604bd6f7b6301bae30480013758608e60886ea800a2c821104218211baa001300a00341008b207e30410013040001303f001303a37540031640e046644b30013036001899192cc004c10400a0091640f8607e00260766ea800e2b300130190018992cc004c100006264646644b30013044003803c590411bae3041001375c608200460820026eb0c0fc0062c81e8c0ecdd5001c566002606a003159800981d9baa00380145903c459039207240e4200260706ea8004c0ec0062c81c8c0dcdd50044590354566002602a00d159800980a981b1baa0088992cc004c0f00062b3001323233001001025225980099b8f375c607c00200714a3133002002303f00140e46eb8c0ec006298103d87a80008b206c8b2072303737540111640d51323322323259800981b005c566002606c60766ea80362646464b30013043001899912cc004c03000a2003159800981e18201baa0028992cc004c1180062b30013375e004608a00310028b20808b2086304137540051640fc81f8c108004cc010dd6182100119191980080080b91192cc004cdd7982100080244c10c006266006006608e0048208c114004c10800e2c8200c108004c104004c0f0dd5006c5903a44c8c966002607401b159800981d181e9baa00f8992cc004c10c0062660040506084003164100607c6ea803e2c81e22b30013370e9004006c56600266e1d2008303d375401f132598009821800c4cc0080a4c1080062c8200c0f8dd5007c5903c44c96600266e1d200c00e8acc004cdc3a4018607c6ea8042264b300130440018992cc004cdc41bad3044002375a00310018b207e300202d8b2082303f37540211640f515980099b874803803a2b30013370e9007181f1baa0108992cc004c110006264b3001337126eb4004dd69822001440062c81f8c0080b22c8208c0fcdd500845903d456600266e1d200a00e8acc004cdc3a4014607c6ea80422646464b300130460018acc004cdc3cc0040a66eb8c11400e6eb8c1140090061bad30450018a6103d87a80008b20808b208630450013044001303f37540211640f51640f481e903d118211803000a07840f044b3001303a303e3754003132323232598009823800c66002608c00930460039823000cc1180092222323232323300100100e2232598009802000c566002605800f14c0103d87a80008998091bac0073019304d37546034609a6ea800504b44cc00c00cc14400904b1827800acc004c050012246004602e60946ea80062464b30013375e002609c60966ea800a26006603060966ea800a294104918269808802a08e598009809002c400626464b3001304500189192cc004cdd7982798261baa0020018980280145282094304e304b37540071598009814000c48c96600266ebcc13cc130dd5182798261baa0020018980280145282094304e304b37540071641208240c120dd5000980b002a08c598009813001c4928c48c8cc88cc008008004896600200314a31323232598009829000c56600266e1e600200d375c60a2007375c60a20048090dd69828800c4cc014014c148012294104c45904f182880098280009bac304e00141306eb0014dd5980a98241baa00141148b2088304600130450013044001303f37540031640f4444646600200200844b30010018a40011325980099b8f375c608200200b132330010013756608600444b30010018a40011325980099b8f375c608800200f1375a608a0031330030033049002410c608e002822a266006006608c0048200c110005042207430010012225980080144006266453001005800ccc01cc01800cdd6801200a3040002304100240f86002002460726ea800488966002606a0031303d0028cc00400e607c005301b001400c81c1035206a1980080b1bad3031011300400422c8100c088004c084004c080004c07c004c068dd50084590180c054004c044dd5180a000980a00098099809800980918090009808800980800098059baa300e0088acc004c01c00a2b30013006300a3754601c601e60166ea800e29462c804a2c804900918041baa001300c002300b300c001300b004452689b2b20021", + "hash": "97854843714479c15b7813bd4046c8d85a9df0e21c20cc6184fae1f7" }, { "title": "stake_auth.wallet_stake.else", "redeemer": { "schema": {} }, - "compiledCode": "590a5d01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049212465787065637420686f745f637265643a204c6973743c566b3e203d20686f745f6372656400168a998012493665787065637420686f745f637265645f686173683a2042756c6c657443726564656e7469616c203d20686f745f637265645f6861736800168a998012491b6578706563742071756f72756d3a20496e74203d2071756f72756d00168a998012499465787065637420436f6e74726f6c207b2071756f72756d2c20686f745f637265642c20686f745f637265645f686173682c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012494765787065637420486f744163636f756e745374616b652853637269707428757365725f686173682920617320757365725f637265642c207369677329203d2072656465656d65720016488889660026464646644a6530013370e9002001c4c8c8c8c8c8ca60026eb0c0600066eacc060c064c064c064c0640066eb0c06001a6eb0c0600166eb4c0600126eb0c06000e6eacc060009222222259800807c566002601c60366ea803e264b300100180ac4c96600200313259800800c05e264b300100180c4062264b300130250038a994c004c004c084dd5002c4c96600200301b8992cc00400603901c80e4072264b3001302900389919800803112cc00400a264b30010018acc004c06cc0a0dd5000c4c966002003023899912cc00400604b1332259800800c09e26644b3001001814c4cc896600200302b8992cc004c0dc00a2b3001009816c0b605b1325980080344cc8966002605000313259800800c0ca264b3001001819c4c966002607a0071330140012259800801401e26464b300100181c40e2071038899912cc00400607503a81d40ea264600c608800e6eb80050441bae001303d00241086076002607c00481e206881d0dd5800c0ce06703340f4607400281c0c0d8dd50044566002602a00313259800800c0ca264b30010018acc004c0f000a264b3001302b0018992cc00400606b13259800800c0da06d03681b44c966002608000700881ba07a375c0028200c0f400503b181c9baa0028acc004c060006264b300100181ac4c96600200303681b40da06d132598009820001c02206e81e8dd7000a080303d00140ec60726ea800a06881b1036181b9baa001819a072819c0ce06703340f4607400281c0c0d8dd500440c50332066159800981318199baa0068991919912cc004cdd780626010180008acc004cdc480299801000811c528c54cc0d92413b636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203e3d2071756f72756d203f2046616c73650014a081aa2b300100c81a40d22646602800244b30010028acc004cdc480419b803300500402632329800800c01603a80088896600200514800226644b30010038a9981fa48123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0d4dc680146600200f003800a00e8acc004c088c108dd500245660033001375c608c60866ea80120110025daa2601f3001007801c00500745904045660033001375c608c60866ea80120110025da22601f3001007801c005007459040208041006eb8c11000cc11400d04218210011821801208037286eccdd39981e9ba70233303d37500446607a6e98080cc0f4dd38109981e9ba60254bd704528c54cc0e52416a636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f7369677328686f745f637265642c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a081c2264b3001001899912cc004c0c0006264b300100181dc4c96600200303c81e40f2079132598009822801c01607a8210dd7000a08a30420014100607c6ea800e2b3001301d0018992cc00400607713259800800c0f207903c81e44c966002608a00700581ea084375c0028228c108005040181f1baa00381d207640ec26004608000660766ea800607103881c40e1041181f0012078375801903481a207a40d460020026eacc0e4c0d8dd50041112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a660749211d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78029bae30400028800c4cc00c00c00503a1820000a07a40146eb8c0dcc0ec008c0f00090391b804800a264b3001323300100101b2259800800c54cc0d524122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981b181d000801c528c4cc008008c0ec00503420708a518a99819a481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a08190c0dcc0d0dd500320623033375400d02f817c0be05e81c8dd6804c0b503840b1034181a800a0663033001303400140c4606200260640028178c0bc004c0c000502d18168009817000a056302937540030224099022811408a0448170cc88c8cc0040040508966002003153302a49123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981898171baa001006899192cc0040062a6605c920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630340010078992cc004cdc3a400860606ea80062606860626ea80062a6605e9212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640b86066606800513300600600440b48188dd59819000981918171baa00189980200200120563030001302f3030302c3754605e0028168c8c004cc0ad30122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff003302b30013302b30013302b00c4bd7025eb812f5c06e952000374c6605466ec130011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6605466ec0dd480226010101004bd6f7b63025eb7bdb182264b3001001810c086043021899180198170021bae00140b86056004814888c8cc00400400c88cc00c004c00800a03a8130dd7000a0523026001409060446ea801603480f8dc3a400501940886eb0006031018409460440028100c08800a02d01680b40590231810000a03c301c375401f014406501480a4052028810860306030002602e002602c602c002602a00260280026026601e6ea8c04801a2b30013370e9003001c5660026002601c6ea8c048c04cc03cdd50024528c5900c45900c2018370e900018059baa001300f002300e300f001300e0013009375401f149a2a6600e92011856616c696461746f722072657475726e65642066616c7365001365640181", - "hash": "34d23ef5bf59a02eb666111fcd6e64b964a4d7af16f35e7c00b584ab" + "compiledCode": "5903a901010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90004c0240092225980099b874801000e26464646464646644b3001300a301037540131323259800980b800c4cc8966002600260286ea800a264b3001301a0018992cc004c040c058dd5000c4c8c966002603a00319800980e0014c070006460326ea800522259800980a9800801c566002602a60366ea800e264646464b300130240018cc004c08c012604600730230029811800cdc0240049111119192cc004cdd78032601018000899b89375a00a660026eac01c062266e24dd680299b8033001375600e030653001222598008014520008cc004c0b800a605e005302f0019bae302e001488896600260506e3400633001007801c009007456600260506028009159800981418171baa0048992cc004c0d00062b300198009bae3033001804c00976a898064c00402200900340211640b91640c4605e6ea80122c816a2b3001301b302e375400913259800981a000c5660033001375c60660030098012ed11300c9800804401200680422c81722c8188c0bcdd500245902d205a40b440b13758605602d375800e9114c00400e003002400c37286eccdd399814981500e99814981500e198149ba601733029302a01b33029302a302b302b302b302b0194bd70204a3001001222598008014520008999118034c004016003323300100100422325980099baf00530300028800c4cc00c00c00502b1818000a00a3027302b002302c00240a48b2042302300130220013021001301c37540071640691598009804180d9baa0038992cc004c084006264646600200201e44b30013375e603e604600200714a313300200230240014078604000316407860386ea800e2c80d101a22c80d0c070004c05cdd5000c590151919911980100100091192cc004cdd79ba6301e3756603a0020091325980099b8748010c068dd5000c4c078c06cdd5000c59019180e980f000c4cc00c00cc078009018180e980c9baa301c301d3019375460380026eb0c068038dd31980c19bb04c10e4d746f74616c6c795f76616c696400374c6603066ec0c0640053010101004bd6f7b63025eb7bdb1822c80b8c054dd5001459013180b0011b874800a2c80a0c058004c044dd5004c5900f1bac30120013756602400460246024002602200260206020002601e002601c002601a60126ea8c03001a2b30013370e9003001c566002600460106ea8c030c034c024dd50024528c59007459007200e18041804800980400098019baa0088a4d1365640041", + "hash": "33e1ae4a0f7fe533b691c90e4d38a982c1a470896ac7afe89bc395f2" }, { "title": "stake_auth.wallet_stake_types.withdraw", @@ -323,16 +323,16 @@ "$ref": "#/definitions/types~1HotAccountStake" } }, - "compiledCode": "5901b701010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006264b300100180544c96600200300b805c4c9660026026007133225980099b8748000006264b3001001807c4c966002003010808404202113259800980c001c01602280b0dd7000a0303015001405060246ea801a2b30013370e9001000c4c96600200300f8992cc0040060210108084042264b30013018003802c0450161bae0014060602a00280a0c048dd5003403900f201e132330010010022259800800c5a264b3001001807c03e01f00f89919802002180b8019bae001405c60280028098c03cdd500240310111bac001805c02d0131808000a01e3010002804c0260130094044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011c5f7369676e6174757265733a20486f744163636f756e745374616b65001601", - "hash": "73e41ca6f5183f1a0026e93c0cfcbf85577b774c70acdcd93b56b658" + "compiledCode": "58cf01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323259800980780144c8c96600266e1d2000001899192cc004c04c00a2d1640446eb8c044004c038dd5001456600266e1d2002001899192cc004c04c00a2d1640446eb8c044004c038dd500145900c2018300c3754002601c007164034601a002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "63bcfa040490bf2129fc1cdcab0b2d7cd6352962bab91f09d6feb9fc" }, { "title": "stake_auth.wallet_stake_types.else", "redeemer": { "schema": {} }, - "compiledCode": "5901b701010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006264b300100180544c96600200300b805c4c9660026026007133225980099b8748000006264b3001001807c4c966002003010808404202113259800980c001c01602280b0dd7000a0303015001405060246ea801a2b30013370e9001000c4c96600200300f8992cc0040060210108084042264b30013018003802c0450161bae0014060602a00280a0c048dd5003403900f201e132330010010022259800800c5a264b3001001807c03e01f00f89919802002180b8019bae001405c60280028098c03cdd500240310111bac001805c02d0131808000a01e3010002804c0260130094044601c0028068c02cdd5002401d008401e00f007803a01e300c300a375400516401c300900130053754015149a2a6600692011856616c696461746f722072657475726e65642066616c7365001365640082a6600492011c5f7369676e6174757265733a20486f744163636f756e745374616b65001601", - "hash": "73e41ca6f5183f1a0026e93c0cfcbf85577b774c70acdcd93b56b658" + "compiledCode": "58cf01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323259800980780144c8c96600266e1d2000001899192cc004c04c00a2d1640446eb8c044004c038dd5001456600266e1d2002001899192cc004c04c00a2d1640446eb8c044004c038dd500145900c2018300c3754002601c007164034601a002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "63bcfa040490bf2129fc1cdcab0b2d7cd6352962bab91f09d6feb9fc" }, { "title": "wallet_auth.vault_spend_types.withdraw", @@ -342,24 +342,24 @@ "$ref": "#/definitions/types~1AccountSpend" } }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "wallet_auth.vault_spend_types.else", "redeemer": { "schema": {} }, - "compiledCode": "59014901010029800aba4aba2aba1aab9faab9eaab9dab9cab9a488888888c96600264653001300900198049805000cc0240092225980099b8748010c024dd500144c96600200915980099b8748000c028dd500244c9660020030088992cc004006013009804c02626644b3001001805c4c96600200300c80644cc896600200300e8992cc004c05800a2646600200200844b30010018b44c966002003012809404a02513233004004301a003375c00280d0c05c005016403d014180a000a0263758002602600500c8062028301100140406eb8004c0400090111807000a01a300b37540090074021007803c01e00e8078c030c028dd50014590070c024004c014dd500545268a99801a4811856616c696461746f722072657475726e65642066616c7365001365640082a660049201195f7369676e6174757265733a204163636f756e745370656e64001601", - "hash": "38e20a4f0b82928cc8ac2ef6ec9f022d475466c7a6af9ca1a101f29d" + "compiledCode": "588f01010029800aba2aba1aab9faab9eaab9dab9a48888896600264653001300700198039804000cc01c0092225980099b8748010c01cdd500144c96600266e1d200030083754009132323298009807000cdd71807001cc03800922259800980900245a2c8080601c002601a00260126ea80122c8038c028c020dd50014590060c01c004c00cdd5003c52689b2b200201", + "hash": "167d7d3f89b1852edd9ee99afbb6522c51fdbcf76f7cab3ea63909c6" }, { "title": "wallet_auth.wallet_spend.else", "redeemer": { "schema": {} }, - "compiledCode": "59102a01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a9980124982657870656374205b4f757470757428616464726573732c2076616c75652c20496e6c696e65446174756d28646174756d292c205f292c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012492465787065637420686f745f637265643a204c6973743c566b3e203d20686f745f6372656400168a998012491b6578706563742071756f72756d3a20496e74203d2071756f72756d00168a998012493665787065637420686f745f637265645f686173683a2042756c6c657443726564656e7469616c203d20686f745f637265645f6861736800168a998012499465787065637420436f6e74726f6c207b20686f745f637265642c20686f745f637265645f686173682c2071756f72756d2c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a998012493e657870656374204163636f756e745370656e6428757365725f7374616b652c20736967732c206e6f6e63655f6f757470757429203d2072656465656d657200164888888889660026464646644a664530013001004899191919194c004dd5980e000cdd6180e180e980e800cdd6180e002cdd6180e0024dd6180e001cdd6980e0012444444b300100e8acc004c034c078dd500744c9660020030148992cc00400602b01580ac05626644b300100180bc4c96600200301880c44cc896600200301a8992cc004c0ac00a2646600200844b3001002899191991192cc0040062b3001301d302e375400313259800800c09626644b3001001813c4cc8966002003029899912cc0040060571332259800800c0b6264b3001303d0028acc0040162646644b3001302a0018992cc00400606713259800800c0d2264b3001304300389980c000912cc00400a00f1323259800800c0e607303981cc4cc896600200303b81dc0ee0771323006304a007375c0028250dd70009821801209030410013044002410903541006eac00606903481a2086304000140f860786ea80222b300130030018992cc00400606713259800800c5660026084005132598009816800c4c9660020030368992cc00400606f03781bc0de264b3001304600380440e10431bae001411860860028208c0fcdd50014566002600c00313259800800c0da264b300100181bc0de06f0378992cc004c11800e011038410c6eb80050461821800a082303f375400503540f081e0c0f4dd5000c0d103f40d206903481a2086304000140f860786ea802206481c90390acc00402a063031818c4cc88ca6002003022a5eb829000a002222259800801c566002b3001302e303f37540191323233225980099baf0124c010180008acc004cdc4805198010008154528c54cc1092413b636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329203e3d2071756f72756d203f2046616c73650014a0820a2b300101281e40f22646603c00244b30010028acc004cdc480699b803300500402d32329800800c01604a80088896600200514800226644b30010038a99825a48123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0f4dc680146600200f003800a00e8acc004c058c138dd500245660033001375c60a4609e6ea80120110025daa2601f3001007801c00500745904c45660033001375c60a4609e6ea80120110025da22601f3001007801c00500745904c209841306eb8c14000cc14400d04e18270011827801209837286eccdd3998249ba700933049374e054660926ea00a52f5c114a315330454916a636865636b5f74785f6f6273657276656428766b732c2065787472615f7369676e61746f7269657329202b20636865636b5f76616c69645f766b5f7369677328686f745f637265642c20736967732c206d65737361676529203e3d2071756f72756d203f2046616c73650014a08222264b3001001899912cc004c0e0006264b3001001821c4c9660020030448224112089132598009828801c01608a8270dd7000a0a2304e001413060946ea800e2b300130110018992cc00400608713259800800c11208904482244c96600260a2007005822a09c375c0028288c13800504c18251baa003821208e411c260046098006608e6ea8006081040820410104d18250012090375802503c81e2092410460020026eacc114c108dd50071112cc00400a2900044cc88c01a600200b0019919800800802112cc0040062a6608c9211d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdc78029bae304c0028800c4cc00c00c0050461826000a09240146eb8c10cc11c008c1200090451b804800a264b300132330010010292259800800c54cc10524122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798211823000801c528c4cc008008c11c00504020888a518a9981fa481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081f0c10cc100dd5006207a8acc0056600266e1c00520018a518992cc0040060791323298009bab304600198231823800cc11800922259800981998229baa0028992cc004006087043821c5660020090408acc0056600266e20020dd6800c528c54cc1152411f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a082222b30015980099baf374c6609266ec130011e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6609266ec0dd499b8a488104ffffffff000264c10101004bd6f7b63025eb7bdb180dd318258024528c54cc11524135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a082222b30013375e00401914a3153304549012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a08222294104445282088412104341306092608c6ea800a0828218608c00260826ea8c11000504219299914c004c00400e2653001222598009802800c66002007304b304b304b304b304b0029802000a0068acc004c0d400620051332259800981b800c400a26644b30013039001880144c96600260746016005100189828000a092304f0024120609a00460100028230c12c008c018005044208898008024c120c120c120c120c12009d222598009802801466002007304b304b304b304b304b001980200120068acc004c0d400a20031332259800981b800c400a26644b30013039001880144c96600260746016005100189828000a092304f0024120609a00460100028230c12c004c01800904420881b80480262b30013031003881344cc896600260660031002899912cc004c0d4006200513259800981b180380144006260980028228c12c00904418248011802000a0843047026300200341008200dc0240026e25200a375a03481ea29462a6607c92015b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a081ea294103d44c8c8ca6002608c60866ea8006608e00d304600248896600266ebc00c06a3300100a8014cc12000402200e80522b30013375e006017132332259800981b18241baa0018992cc00400608904482245660020070438acc004cdd79ba63304c337609811e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6609866ec0dd499b8a488104ffffffff000294c10101004bd6f7b63025eb7bdb180dd31827001c6600201d006998260028064dd6800a01c8a9982424813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c7565290016411c825a0888278c130c124dd5000c54cc11d2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001641186eacc128004c128c12c004c128c118dd50024566002b30013375e6032608c6ea800cc064c118dd500d4528c4cdd7980c98231baa003301930463754016821a2d19800805400a0110074028821904320861822982300098209baa001304300341046eb4028c040cc0f1300122d87a9f581c2d652b04dda2919010b063b0c7bd24e6abc1dff6b4bb4aa5eae25f8cff003303c00f4bd7040c503f181c9baa006370e900140be05f02f817a07c8172074303b00140e46072002607400281b8c0dc004c0e0005035181a800981b000a0663033001303400140c4605e6ea80060488162049024812409103419191980080080a112cc0040062a6605e920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7980318199baa001007899192cc00400605d15980099baf374c607200200f132598009811981a9baa0018981c981b1baa0018a9981a2492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640cc6070607200513300600600440c881b0dd5981b800981b98199baa00189980200200120603035001303430353031375460680028190dd31981819bb04c11e581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea600374c6606066ec0dd4806a6010101004bd6f7b63025eb7bdb180c008cc0b9300122d87a9f581c2c37f1eaf3f33a14f0ec1140c74c10f78b3e5250580a926ca10f8ea6ff003302e0014bd701181800098009981698009981699ba548008cc0b4dd480525eb812f5c097ae0374a900044c96600200301f80fc07e03f13230033030004375c0028180c0b400902b11191980080080191198018009801001406d0281814800a04e3758002605000501880c2052302600140906eb8004c0940090261811800a042301f375401d0134071013809c04e026812060386038603800260360026034002603200260286ea8c05c01e2b30013370e90030024566002600460266ea8c05cc060c050dd5002c528c590114590112022370e90001b8748010c03cdd5000980980118091809800980900098069baa0138a4d153300b49011856616c696461746f722072657475726e65642066616c7365001365640281", - "hash": "d38fece5692bf634c215d79f2da180a07a797864b49afc2c6616bb78" + "compiledCode": "59071601010029800aba2aba1aba0aab9faab9eaab9dab9a4888888966002646465300130053754003370e90024dc3a40013009002488896600260060091323232323298009bac3012301330130019bab30120019bac30120039bad30120024888966002601660246ea802a2646464b3001301a0018cc004dd7180c801cc06400a6032003374a900024444646464b30013015301c375400313232598009811800c4cc88cc8a60020053758604c0334bd705200140084444b30010038acc004c966002603c600200f159800980f18129baa0078991919192cc004c0b800633001302d0049816801cc0b400a605a003370090012444446464b30013375e00c9801018000899b89375a008660026eac01c08a266e24dd680219b8033001375600e044653001222598008014520008cc004c0e000a607200530390019bae3038001488896600260626e3400633001007801c0090074566002606260280091598009818981c1baa0048992cc004c0f80062b300198009bae303d001804c00976a898064c00402200900340211640e11640ec60726ea80122c81ba2b30013370e9001181c1baa0048992cc004c0f80062b300198009bae303d001804c009768898064c00402200900340211640e11640ec60726ea80122c81b9037206e206c9bac01b9bac007488a600200700180120061b9437666e9ccc0ccdd3807198199ba702033033375003e97ae040bc6002002444b30010028a40011332230069800802c00664660020020084464b30013375e00a60740051001899801801800a06a303a00140146062606a004606c00481991640ac605a00260580026056002604c6ea801e2c81222b30013370e900118129baa0078992cc004c0ac006264646600200203244b30013375e6052605a00200714a3133002002302e00140a060540031640a0604c6ea801e2c8121024118129baa0018acc004cdc3800a400314a3132323259800981098139baa0018acc004cdc40021bad302b3028375400315980099baf374c6605466ec130010e4d746f74616c6c795f76616c696400374c6605466ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb180dd318161bab302b002899baf302b0030088a50409914a081322c8130c0a8c0ac004c0a8004c094dd518144c004dd6806cdc024003371290052444b300130010038994c00488966002600a00319800801cc0c0c0c0c0c0c0c0c0c000a6008002801a2b30013024001880144cc8966002604c0031002899912cc004c0a000620051325980098149805801440062606a0028178c0d000902e18190011804000a0583030002300600140a881526002009302d302d302d302d302d018488966002600a00519800801cc0c0c0c0c0c0c0c0c0c00066008004801a2b300130240028800c4cc8966002604c0031002899912cc004c0a000620051325980098149805801440062606a0028178c0d000902e18190011804000a0583030001300600240a881506e0120098acc004c08000e202f13322598009811000c400a26644b30013024001880144c966002604a600e005100189818800a056303000240a8605c00460080028140c0b005cc00800d026204c20468a50408d13232329800981598141baa00198160034c0ac0092225980099baf0030108cc00402a0053302d001008803a0148acc004cdd7801805c4c8c966002604c60586ea80062b30013375e6e98cc0bccdd82610e4d746f74616c6c795f76616c696400374c6605e66ec0dd499b8a488104ffffffff000174c10101004bd6f7b63025eb7bdb180dd318189bab30300028cc0040320093302f00300a9bad3030302d375400280622c815a2c8158c0bcc0c0004c0bcc0acdd50024566002b30013375e605c60566ea800cc0b8c0acdd50084528c4cdd7981718159baa003302e302b3754016814a2d19800805400a0110074028814902920521815181580098131baa0013028003409860480066044004600c6604298118d87a9f53746f74616c6c795f76616c69645f6e6f6e6365ff00330210054bd704590201811000980e9baa0018b2036323322330020020012233225980099baf30243021375400200d1325980099baf374c604c6eacc09400401a264b3001301c302237540031302630233754003164084604a604c0031330050050034080604a60426ea800626600800800480f8c08c004c088c08cc07cdd518110009bac3020012374c6603c66ec130010e4d746f74616c6c795f76616c696400374c6603c66ec0dd480326010101004bd6f7b63025eb7bdb180c008cc075300112d87a9f4d746f74616c6c795f76616c6964ff003301d0014bd7018009980e18009980e19ba548008cc070dd480225eb812f5c097ae0459017180c800980c00098099baa00a8b202218091809180900098088009808000980780098051baa300d0078acc004cdc3a400c009159800980118049baa300d300e300a375400b14a3164021164020804060106012002601000260066ea802229344d9590011", + "hash": "35759a05c00c98f2528e3a9063f8f6c9a7cca7aba55fee1fffdb78ae" } ], "definitions": { @@ -459,7 +459,7 @@ }, { "title": "sigs", - "$ref": "#/definitions/List$Signature" + "$ref": "#/definitions/Data" }, { "title": "index", @@ -519,7 +519,7 @@ }, { "title": "sigs", - "$ref": "#/definitions/List$Signature" + "$ref": "#/definitions/Data" } ] } @@ -539,7 +539,7 @@ }, { "title": "sigs", - "$ref": "#/definitions/List$Signature" + "$ref": "#/definitions/Data" } ] } @@ -611,25 +611,13 @@ "dataType": "constructor", "index": 0, "fields": [ - { - "title": "quorum", - "$ref": "#/definitions/Data" - }, { "title": "hot_cred", "$ref": "#/definitions/Data" }, - { - "title": "hot_cred_hash", - "$ref": "#/definitions/Data" - }, { "title": "cold_cred", "$ref": "#/definitions/Data" - }, - { - "title": "cold_cred_hash", - "$ref": "#/definitions/Data" } ] }, diff --git a/validators/bullet.ak b/validators/bullet.ak index e74b51d..9dd0d8b 100644 --- a/validators/bullet.ak +++ b/validators/bullet.ak @@ -15,7 +15,8 @@ use cardano/transaction.{ use config use prefix.{nonce_prefix} use types.{ - AccountState, Nonce, Setup, StakeActions, UtxoStates, Verification, Withdrawal, + AccountState, ColdVerification, ColdWithdrawal, Nonce, Setup, StakeActions, + UtxoStates, Verification, Withdrawal, } use utils.{ check_all_tx_observed_and_hashes, check_all_valid_vk_sigs, dataify, @@ -102,20 +103,26 @@ validator stake_bullet { } } - let Transaction { - inputs, - outputs, - withdrawals, - extra_signatories, - redeemers, - .. - } = tx - - if redeemer == dataify(Setup) { - or { - return_early, - // Check various things if the redeemer is Setup - { + or { + return_early, + { + let Transaction { + inputs, + outputs, + withdrawals, + extra_signatories, + redeemers, + .. + } = tx + + let extra_signatories = extra_signatories |> builtin.un_list_data + + let withdrawals = + withdrawals + |> builtin.un_map_data + + if redeemer == dataify(Setup) { + // Check various things if the redeemer is Setup let one_shot_ref = config.new_user_tx_hash |> OutputReference(config.new_user_output_index) @@ -159,30 +166,62 @@ validator stake_bullet { ), ] - expect (hot_sigs, cold_sigs): (List, List) = - sig_datum + expect (hot_sigs, cold_sigs): ( + List>, + List>, + ) = sig_datum - expect AccountState { - quorum, - hot_cred, - hot_cred_hash, - cold_cred, - cold_cred_hash, - } = datum + expect AccountState { hot_cred, cold_cred } = datum expect [_, ..rest] = value |> to_dict |> to_pairs expect [_, ..rest_nonce] = nonce_value |> to_dict |> to_pairs - let check_keys_and_hashes = - fn(bullet_credential, creds, sigs) { - when bullet_credential is { - Verification(vks) -> and { - check_all_valid_vk_sigs(creds, sigs, one_shot_message)?, - check_all_tx_observed_and_hashes(vks, extra_signatories)?, - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? + let check_hot = + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { + edd25519_keys, + other_keys, + hot_quorum, + wallet_quorum, + } = hot_cred + + and { + check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + hot_sigs, + one_shot_message, + )?, + check_all_tx_observed_and_hashes( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )?, + (builtin.un_i_data(hot_quorum) >= 1)?, + (builtin.un_i_data(wallet_quorum) >= 1)?, } + } else { + expect Withdrawal(sc) = hot_cred + must_have_key(withdrawals, sc)? + } + + let check_cold = + if builtin.unconstr_index(cold_cred) == 0 { + expect ColdVerification(edd25519_keys, other_keys) = cold_cred + + and { + check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + cold_sigs, + one_shot_message, + )?, + check_all_tx_observed_and_hashes( + edd25519_keys |> builtin.un_map_data, + extra_signatories |> dataify |> builtin.un_list_data, + )?, + } + } else { + expect ColdWithdrawal(sc) = cold_cred + must_have_key(withdrawals, sc)? } and { @@ -194,14 +233,13 @@ validator stake_bullet { (address == expected_address)?, (nonce_addr == expected_nonce_address)?, (dataify(1) == nonce_datum)?, - (quorum > 0)?, - check_keys_and_hashes(hot_cred_hash, hot_cred, hot_sigs)?, - check_keys_and_hashes(cold_cred_hash, cold_cred, cold_sigs)?, + check_hot, + check_cold, } - }, - } - } else { - check_for_stake_proxy(redeemers, cred) + } else { + check_for_stake_proxy(redeemers, cred) + } + }, } } } diff --git a/validators/bullet.test.ak b/validators/bullet.test.ak index cc981bc..4e41003 100644 --- a/validators/bullet.test.ak +++ b/validators/bullet.test.ak @@ -14,7 +14,7 @@ use cardano/transaction.{ } use config use prefix.{nonce_prefix} -use types.{AccountState, Secp, Setup, Signed, Verification} +use types.{AccountState, ColdVerification, Secp, Setup, Signed, Verification} use utils.{dataify} test setup_stake_bullet() { @@ -41,7 +41,7 @@ test setup_stake_bullet() { |> merge(from_lovelace(10000)) let account_state = - AccountState(1, [], Verification([]), [], Verification([])) + AccountState(Verification([], [], 1, 1), ColdVerification([], [])) let nonce_state = 1 @@ -107,11 +107,8 @@ test setup_stake_bullet_ed25519() { let account_state = AccountState( - 1, - [], - Verification([Pair(public_key_hot_hash, public_key_hot)]), - [], - Verification([Pair(public_key_cold_hash, public_key_cold)]), + Verification([Pair(public_key_hot_hash, public_key_hot)], [], 1, 1), + ColdVerification([Pair(public_key_cold_hash, public_key_cold)], []), ) let nonce_state = 1 @@ -181,11 +178,8 @@ test setup_stake_bullet_ecdsa() { let account_state = AccountState( - 1, - [Secp(public_key_hot)], - Verification([]), - [Secp(public_key_cold)], - Verification([]), + Verification([], [Secp(public_key_hot)], 1, 1), + ColdVerification([], [Secp(public_key_cold)]), ) let nonce_state = 1 diff --git a/validators/bullet_proxy.ak b/validators/bullet_proxy.ak index cbba60f..400a6d2 100644 --- a/validators/bullet_proxy.ak +++ b/validators/bullet_proxy.ak @@ -6,7 +6,7 @@ use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Input, OutputReference, Transaction} use config use types.{ColdControl, ColdCred, HotCred, Intention, ProxyAction, VaultSpend} -use utils.{dataify, ref_global_control} +use utils.{dataify, ref_control_datum_by_nft} fn must_have_key_data( withdrawals: Pairs, @@ -36,7 +36,7 @@ validator proxy_spend { .. ] = reference_inputs - |> ref_global_control(expected_nft) + |> ref_control_datum_by_nft(expected_nft) |> builtin.unconstr_fields if redeemer == dataify(HotCred) { diff --git a/validators/change_credential_auth.ak b/validators/change_credential_auth.ak index 5002d5a..e456c71 100644 --- a/validators/change_credential_auth.ak +++ b/validators/change_credential_auth.ak @@ -8,13 +8,12 @@ use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{InlineDatum, Output, Transaction} use config use types.{ - AccountState, BulletCredential, ChangeCredentials, Control, Verification, Vk, - Withdrawal, + AccountState, ChangeCredentials, ColdVerification, ColdWithdrawal, Control, + Verification, Withdrawal, } use utils.{ - check_all_tx_observed, check_all_tx_observed_and_hashes, - check_all_valid_vk_sigs, dataify, must_have_key, ref_control_datum, - resolve_user_tx, + check_all_tx_observed_and_hashes, check_all_valid_vk_sigs, dataify, + must_have_key, ref_control_datum, resolve_user_tx, } fn pop_to_index(list: List, index: Int) -> List { @@ -41,6 +40,12 @@ validator cold_control { .. } = tx + let extra_signatories = extra_signatories |> builtin.un_list_data + + let withdrawals = + withdrawals + |> builtin.un_map_data + expect ChangeCredentials { control_index, user_stake, @@ -73,14 +78,11 @@ validator cold_control { let expected_nft = [Pair(config.bullet_hash, [Pair(user_stake, 1)])] - expect Control { cold_cred, cold_cred_hash, .. } = + expect Control { cold_cred, .. } = inputs |> pop_to_index(control_index) |> ref_control_datum(expected_address, expected_nft) - expect cold_cred: List = cold_cred - expect cold_cred_hash: BulletCredential = cold_cred_hash - let message = (inputs_spent, outputs, fee) |> builtin.serialise_data() @@ -95,30 +97,9 @@ validator cold_control { expect [_, ..nft_value] = value |> to_dict |> to_pairs - expect AccountState { - quorum: out_quorum, - hot_cred: out_hot_cred, - hot_cred_hash: out_hot_cred_hash, - cold_cred: out_cold_cred, - cold_cred_hash: out_cold_cred_hash, - } = datum - - let check_keys_and_hashes = - fn(bullet_credential, creds, sigs, check_hash) { - when bullet_credential is { - Verification(vks) -> and { - check_all_valid_vk_sigs(creds, sigs, message)?, - if check_hash { - check_all_tx_observed_and_hashes(vks, extra_signatories)? - } else { - check_all_tx_observed(vks, extra_signatories)? - }, - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? - } - } + expect AccountState { hot_cred, cold_cred: out_cold_cred } = datum - let address_nonce_check = + let address_and_nonce_check = if migration { let expected_nonce_nft = [Pair(config.nonce_bullet_hash, [Pair(user_stake, 1)])] @@ -133,33 +114,90 @@ validator cold_control { user_stake_cred == address.stake_credential, nonce_address.stake_credential == user_stake_cred, dataify(nonce_value) == dataify(expected_nonce_nft), - } + }? } else { and { address == expected_address, nonce_state == -1, + }? + } + + let check_new_hot = + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { + edd25519_keys, + other_keys, + hot_quorum, + wallet_quorum, + } = hot_cred + + and { + check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + new_hot_sigs |> builtin.un_list_data, + message, + )?, + check_all_tx_observed_and_hashes( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )?, + (builtin.un_i_data(hot_quorum) >= 1)?, + (builtin.un_i_data(wallet_quorum) >= 1)?, + } + } else { + expect Withdrawal(sc) = hot_cred + must_have_key(withdrawals, sc)? + } + + let check_cold = + if builtin.unconstr_index(cold_cred) == 0 { + expect ColdVerification(edd25519_keys, other_keys) = cold_cred + + and { + check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + cold_sigs |> builtin.un_list_data, + message, + )?, + check_all_tx_observed_and_hashes( + edd25519_keys |> builtin.un_map_data, + extra_signatories |> dataify |> builtin.un_list_data, + )?, + } + } else { + expect ColdWithdrawal(sc) = cold_cred + must_have_key(withdrawals, sc)? + } + + let check_new_cold = + if builtin.unconstr_index(out_cold_cred) == 0 { + expect ColdVerification(edd25519_keys, other_keys) = out_cold_cred + + and { + check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + new_cold_sigs |> builtin.un_list_data, + message, + )?, + check_all_tx_observed_and_hashes( + edd25519_keys |> builtin.un_map_data, + extra_signatories |> dataify |> builtin.un_list_data, + )?, } + } else { + expect ColdWithdrawal(sc) = out_cold_cred + must_have_key(withdrawals, sc)? } and { - check_keys_and_hashes(cold_cred_hash, cold_cred, cold_sigs, False)?, - dataify(nft_value) == dataify(expected_nft), - address_nonce_check, - out_quorum > 0, - check_keys_and_hashes( - out_hot_cred_hash, - out_hot_cred, - new_hot_sigs, - True, - )?, - check_keys_and_hashes( - out_cold_cred_hash, - out_cold_cred, - new_cold_sigs, - True, - )?, + (dataify(nft_value) == dataify(expected_nft))?, + address_and_nonce_check, + check_new_hot, + check_cold, + check_new_cold, } } + Publishing(_, RegisterCredential { .. }) -> True _ -> fail } diff --git a/validators/cold_auth.ak b/validators/cold_auth.ak index a160857..afaa68b 100644 --- a/validators/cold_auth.ak +++ b/validators/cold_auth.ak @@ -5,8 +5,7 @@ use cardano/certificate.{RegisterCredential} use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Transaction} use config -use types.{AccountSpend, - BulletCredential, Control, Verification, Vk, Withdrawal} +use types.{AccountSpend, ColdVerification, ColdWithdrawal, Control} use utils.{ check_all_tx_observed, check_all_valid_vk_sigs, dataify, must_have_key, ref_control_datum, resolve_user_tx, @@ -30,6 +29,12 @@ validator cold_spend { .. } = tx + let extra_signatories = extra_signatories |> builtin.un_list_data + + let withdrawals = + withdrawals + |> builtin.un_map_data + expect AccountSpend(user_stake, sigs, nonce_output) = redeemer let expected_nft = [Pair(config.bullet_hash, [Pair(user_stake, 1)])] @@ -38,12 +43,10 @@ validator cold_spend { let expected_address = Address(Script(config.bullet_hash), stake_key) - expect Control { cold_cred, cold_cred_hash, .. } = + expect Control { cold_cred, .. } = reference_inputs |> ref_control_datum(expected_address, expected_nft) - expect cold_cred_hash: BulletCredential = cold_cred_hash - let expected_nonce_address = Address(Script(config.nonce_bullet_hash), stake_key) @@ -61,25 +64,32 @@ validator cold_spend { ) let cred_check = - when cold_cred_hash is { - Verification(vks) -> - if cold_cred == dataify([]) { - check_all_tx_observed(vks, extra_signatories)? - } else { - expect cold_cred: List = cold_cred - - let message = - (inputs_spent, outputs, fee) - |> builtin.serialise_data() - |> blake2b_256() - - check_all_tx_observed(vks, extra_signatories)? && check_all_valid_vk_sigs( - cold_cred, - sigs, - message, - )? - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? + if builtin.unconstr_index(cold_cred) == 0 { + expect ColdVerification(edd25519_keys, other_keys) = cold_cred + + if other_keys == dataify([]) { + check_all_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )? + } else { + let message = + (inputs_spent, outputs, fee) + |> builtin.serialise_data() + |> blake2b_256() + + check_all_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )? && check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + sigs |> builtin.un_list_data, + message, + )? + } + } else { + expect ColdWithdrawal(sc) = cold_cred + must_have_key(withdrawals, sc)? } and { diff --git a/validators/delete_auth.ak b/validators/delete_auth.ak index f595412..408afab 100644 --- a/validators/delete_auth.ak +++ b/validators/delete_auth.ak @@ -7,11 +7,10 @@ use cardano/certificate.{RegisterCredential} use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Transaction} use config -use types.{AccountSpend, - BulletCredential, Control, Verification, Vk, Withdrawal} +use types.{AccountSpend, ColdVerification, ColdWithdrawal, Control} use utils.{ - check_all_tx_observed, check_all_valid_vk_sigs, filter_deleting_inputs, - must_find_key, must_have_key, ref_control_datum, + check_all_tx_observed, check_all_valid_vk_sigs, dataify, + filter_deleting_inputs, must_find_key, must_have_key, ref_control_datum, } fn pop_to_index(list: List, index: Int) -> List { @@ -39,6 +38,12 @@ validator delete_account { .. } = tx + let extra_signatories = extra_signatories |> builtin.un_list_data + + let withdrawals = + withdrawals + |> builtin.un_map_data + expect AccountSpend(user_stake, sigs, control_index) = redeemer let stake_key = Some(Inline(Script(user_stake))) @@ -57,7 +62,7 @@ validator delete_account { let expected_nft = [Pair(config.bullet_hash, [Pair(user_stake, 1)])] - expect Control { cold_cred, cold_cred_hash, .. } = + expect Control { cold_cred, .. } = inputs |> pop_to_index(control_index |> builtin.un_i_data) |> ref_control_datum(expected_address, expected_nft) @@ -69,25 +74,37 @@ validator delete_account { |> must_find_key(config.bullet_hash) |> to_pairs - expect cold_cred: List = cold_cred - expect cold_cred_hash: BulletCredential = cold_cred_hash - - let message = - (inputs_spent, outputs, mint, fee) - |> builtin.serialise_data() - |> blake2b_256() + let cred_check = + if builtin.unconstr_index(cold_cred) == 0 { + expect ColdVerification(edd25519_keys, other_keys) = cold_cred - and { - when cold_cred_hash is { - Verification(vks) -> - check_all_tx_observed(vks, extra_signatories)? && check_all_valid_vk_sigs( - cold_cred, - sigs, + if other_keys == dataify([]) { + check_all_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )? + } else { + let message = + (inputs_spent, outputs, fee) + |> builtin.serialise_data() + |> blake2b_256() + + check_all_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + )? && check_all_valid_vk_sigs( + other_keys |> builtin.un_list_data, + sigs |> builtin.un_list_data, message, )? + } + } else { + expect ColdWithdrawal(sc) = cold_cred + must_have_key(withdrawals, sc)? + } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? - }, + and { + cred_check, (name == user_stake)?, (quantity == -1)?, } diff --git a/validators/hot_auth.ak b/validators/hot_auth.ak index 2542a2e..bb24230 100644 --- a/validators/hot_auth.ak +++ b/validators/hot_auth.ak @@ -5,9 +5,7 @@ use cardano/certificate.{RegisterCredential} use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Transaction} use config -use types.{ - BulletCredential, Control, HotAccountSpend, Verification, Vk, Withdrawal, -} +use types.{Control, HotAccountSpend, Verification, Withdrawal} use utils.{ check_tx_observed, check_valid_vk_sigs, dataify, filter_hot_inputs, must_have_key, ref_control_datum, @@ -30,6 +28,14 @@ validator hot_spend { .. } = tx + let extra_signatories = + extra_signatories |> dataify |> builtin.un_list_data + + let withdrawals = + withdrawals + |> dataify + |> builtin.un_map_data + let outputs = dataify(outputs) expect HotAccountSpend { user_stake, sigs } = redeemer @@ -39,35 +45,39 @@ validator hot_spend { let expected_nft = [Pair(config.bullet_hash, [Pair(user_stake, 1)])] - expect Control { quorum, hot_cred, hot_cred_hash, .. } = + expect Control { hot_cred, .. } = reference_inputs |> ref_control_datum(expected_address, expected_nft) - expect quorum: Int = quorum - - expect hot_cred_hash: BulletCredential = hot_cred_hash - let inputs_spent = filter_hot_inputs(inputs, expected_address) - when hot_cred_hash is { - Verification(vks) -> - if hot_cred == dataify([]) { - (check_tx_observed(vks, extra_signatories) >= quorum)? - } else { - expect hot_cred: List = hot_cred - - let message = - (inputs_spent, outputs, fee) - |> builtin.serialise_data() - |> blake2b_256() - - (check_tx_observed(vks, extra_signatories) + check_valid_vk_sigs( - hot_cred, - sigs, - message, - ) >= quorum)? - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { edd25519_keys, other_keys, hot_quorum, .. } = + hot_cred + + if other_keys == dataify([]) { + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) >= builtin.un_i_data(hot_quorum))? + } else { + let message = + (inputs_spent, outputs, fee) + |> builtin.serialise_data() + |> blake2b_256() + + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) + check_valid_vk_sigs( + other_keys |> builtin.un_list_data, + sigs |> builtin.un_list_data, + message, + ) >= builtin.un_i_data(hot_quorum))? + } + } else { + expect Withdrawal(sc) = hot_cred + must_have_key(withdrawals, sc)? } } diff --git a/validators/intention_auth.ak b/validators/intention_auth.ak index 44ab5ac..57d7d8d 100644 --- a/validators/intention_auth.ak +++ b/validators/intention_auth.ak @@ -24,8 +24,6 @@ use utils.{ must_have, quantity_of, } - - const skip_outputs_8: SkipFuncPieces> = list_skipper_macro_pieces(8) @@ -35,8 +33,6 @@ const skip_redeemers_10: SkipFuncPieces< > = list_skipper_macro_pieces(10) -const skip_redeemers = skip_redeemers_fn - fn skip_outputs(outputs: List, index: Int) -> List { let iterate_func, skip_func, skip_count <- skip_outputs_8 @@ -47,14 +43,14 @@ fn skip_outputs(outputs: List, index: Int) -> List { } } -fn skip_redeemers_fn( +fn skip_redeemers( redeemers: Pairs, index: Int, ) -> Pairs { let iterate_func, skip_func, skip_count <- skip_redeemers_10 if index >= skip_count { - redeemers |> skip_func |> skip_redeemers_fn(index - skip_count) + redeemers |> skip_func |> skip_redeemers(index - skip_count) } else { iterate_func(redeemers, index) } @@ -101,6 +97,8 @@ validator intent_spend { .. } = tx + let withdrawals = builtin.un_map_data(withdrawals) + expect Red { intentions, intent_user_counts, @@ -199,16 +197,22 @@ validator intent_spend { let validate_signature = fn( quorum: Int, - hot_cred: Data>, - vks: Pairs, + other_keys: Data>, + ed25519_keys: Pairs< + Data, + Data, + >, ) { - fn(sigs: List, message: Hash) -> Bool { - if hot_cred == dataify([]) { - (check_valid_edd_sigs(vks, sigs, message) >= quorum)? + fn(sigs: List>, message: Hash) -> Bool { + if other_keys == dataify([]) { + (check_valid_edd_sigs(ed25519_keys, sigs, message) >= quorum)? } else { - expect hot_cred: List = hot_cred - - (check_quorum_valid_sigs(vks, hot_cred, sigs, message) >= quorum)? + (check_quorum_valid_sigs( + ed25519_keys, + other_keys |> builtin.un_list_data, + sigs, + message, + ) >= quorum)? } } } diff --git a/validators/stake_auth.ak b/validators/stake_auth.ak index 5a4008e..7a71d5a 100644 --- a/validators/stake_auth.ak +++ b/validators/stake_auth.ak @@ -1,16 +1,14 @@ use aiken/builtin use aiken/crypto.{blake2b_256} -use cardano/address.{Address, Credential, Inline, Script} +use cardano/address.{Credential, Script} use cardano/certificate.{RegisterCredential} use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Transaction} use config -use types.{ - BulletCredential, Control, HotAccountStake, Verification, Vk, Withdrawal, -} +use types.{Control, HotAccountStake, Verification, Withdrawal} use utils.{ check_tx_observed, check_valid_vk_sigs, dataify, must_have_key, - ref_control_datum, + ref_control_datum_by_nft, } /// Validates user signed stake actions in the tx @@ -31,41 +29,52 @@ validator wallet_stake { .. } = tx - expect HotAccountStake(Script(user_hash) as user_cred, sigs) = redeemer + let extra_signatories = + extra_signatories |> dataify |> builtin.un_list_data - let expected_nft = [Pair(config.bullet_hash, [Pair(user_hash, 1)])] + let withdrawals = + withdrawals + |> dataify + |> builtin.un_map_data - let expected_address = - Address(Script(config.bullet_hash), Some(Inline(user_cred))) + expect HotAccountStake(Script(user_hash), sigs) = redeemer - expect Control { quorum, hot_cred, hot_cred_hash, .. } = - reference_inputs - |> ref_control_datum(expected_address, expected_nft) + let expected_nft = [Pair(config.bullet_hash, [Pair(user_hash, 1)])] - expect quorum: Int = quorum - expect hot_cred_hash: BulletCredential = hot_cred_hash + expect Control(hot_cred, _) = + reference_inputs + |> ref_control_datum_by_nft(expected_nft) - when hot_cred_hash is { - Verification(vks) -> - if hot_cred == dataify([]) { - (check_tx_observed(vks, extra_signatories) >= quorum)? - } else { - expect hot_cred: List = hot_cred + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { edd25519_keys, other_keys, hot_quorum, .. } = + hot_cred - let message = - (outputs, fee, withdrawals, certificates, votes) - |> builtin.serialise_data() - |> blake2b_256() + if other_keys == dataify([]) { + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) >= builtin.un_i_data(hot_quorum))? + } else { + let message = + (outputs, fee, withdrawals, certificates, votes) + |> builtin.serialise_data() + |> blake2b_256() - (check_tx_observed(vks, extra_signatories) + check_valid_vk_sigs( - hot_cred, - sigs, - message, - ) >= quorum)? - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) + check_valid_vk_sigs( + other_keys |> builtin.un_list_data, + sigs |> builtin.un_list_data, + message, + ) >= builtin.un_i_data(hot_quorum))? + } + } else { + expect Withdrawal(sc) = hot_cred + must_have_key(withdrawals, sc)? } } + Publishing(_, RegisterCredential { .. }) -> True _ -> fail } diff --git a/validators/wallet_auth.ak b/validators/wallet_auth.ak index afac6ef..4d00e66 100644 --- a/validators/wallet_auth.ak +++ b/validators/wallet_auth.ak @@ -5,8 +5,7 @@ use cardano/certificate.{RegisterCredential} use cardano/script_context.{Publishing, ScriptContext, Withdrawing} use cardano/transaction.{Transaction} use config -use types.{AccountSpend, - BulletCredential, Control, Verification, Vk, Withdrawal} +use types.{AccountSpend, Control, Verification, Withdrawal} use utils.{ check_tx_observed, check_valid_vk_sigs, dataify, must_have_key, ref_control_datum, resolve_user_tx, @@ -31,6 +30,14 @@ validator wallet_spend { .. } = tx + let extra_signatories = + extra_signatories |> dataify |> builtin.un_list_data + + let withdrawals = + withdrawals + |> dataify + |> builtin.un_map_data + expect AccountSpend(user_stake, sigs, nonce_output) = redeemer let expected_nft = [Pair(config.bullet_hash, [Pair(user_stake, 1)])] @@ -39,13 +46,10 @@ validator wallet_spend { let expected_address = Address(Script(config.bullet_hash), stake_key) - expect Control { hot_cred, hot_cred_hash, quorum, .. } = + expect Control { hot_cred, .. } = reference_inputs |> ref_control_datum(expected_address, expected_nft) - expect hot_cred_hash: BulletCredential = hot_cred_hash - expect quorum: Int = quorum - let expected_nonce_address = Address(Script(config.nonce_bullet_hash), stake_key) @@ -63,25 +67,33 @@ validator wallet_spend { ) let cred_check = - when hot_cred_hash is { - Verification(vks) -> - if hot_cred == dataify([]) { - (check_tx_observed(vks, extra_signatories) >= quorum)? - } else { - expect hot_cred: List = hot_cred - - let message = - (inputs_spent, outputs, fee) - |> builtin.serialise_data() - |> blake2b_256() - - (check_tx_observed(vks, extra_signatories) + check_valid_vk_sigs( - hot_cred, - sigs, - message, - ) >= quorum)? - } - Withdrawal(sc) -> must_have_key(withdrawals, sc)? + if builtin.unconstr_index(hot_cred) == 0 { + expect Verification { edd25519_keys, other_keys, wallet_quorum, .. } = + hot_cred + + if other_keys == dataify([]) { + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) >= builtin.un_i_data(wallet_quorum))? + } else { + let message = + (inputs_spent, outputs, fee) + |> builtin.serialise_data() + |> blake2b_256() + + (check_tx_observed( + edd25519_keys |> builtin.un_map_data, + extra_signatories, + ) + check_valid_vk_sigs( + other_keys |> builtin.un_list_data, + sigs |> builtin.un_list_data, + message, + ) >= builtin.un_i_data(wallet_quorum))? + } + } else { + expect Withdrawal(sc) = hot_cred + must_have_key(withdrawals, sc)? } and {