diff --git a/aiken.toml b/aiken.toml index f567eb7..abe3ad1 100644 --- a/aiken.toml +++ b/aiken.toml @@ -54,7 +54,7 @@ bytes = "d86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57" encoding = "hex" [config.preview.new_user_tx_hash] -bytes = "0c06c51ff693f9f80c66978db009ff5f1e33030130a91c687af9f177b5b6bf26" +bytes = "0788cbca89f1a7442f0ed538d5d30ffee1014d367c1bbba4b13305b7bd8a36b7" encoding = "hex" [config.preview.one_shot_tx_hash] diff --git a/lib/utils.ak b/lib/utils.ak index f6da03f..84f81fe 100644 --- a/lib/utils.ak +++ b/lib/utils.ak @@ -305,10 +305,12 @@ pub fn check_all_valid_vk_sigs( ) && 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) + (vk + |> verify_ecdsa_signature(message, sig |> builtin.un_b_data))? && check_all_valid_vk_sigs( + rest, + others, + message, + ) } } } diff --git a/plutus.json b/plutus.json index e9e240e..d403b69 100644 --- a/plutus.json +++ b/plutus.json @@ -93,8 +93,8 @@ "redeemer": { "schema": {} }, - "compiledCode": "59139201010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124933657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f63726564207d203d20646174756d00168a998012497d6578706563742028686f745f736967732c20636f6c645f73696773293a20280a2020202020202020202020204c6973743c446174613c5369676e61747572653e3e2c0a2020202020202020202020204c6973743c446174613c5369676e61747572653e3e2c0a2020202020202020202029203d207369675f646174756d00168a99801249ff657870656374205b0a2020202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a2020202020202020202020204f7574707574207b0a2020202020202020202020202020616464726573733a206e6f6e63655f616464722c0a202020202020202020202020202076616c75653a206e6f6e63655f76616c75652c0a2020202020202020202020202020646174756d3a20496e6c696e65446174756d286e6f6e63655f646174756d292c0a20202020202020202020202020202e2e0a2020202020202020202020207d2c0a202020202020205720202020204f7574707574207b20646174756d3a20496e6c696e65446174756d287369675f646174756d292c202e2e207d2c0a2020202020202020202020202e2e0a202020202020202020205d203d206f75747075747300168a998012492965787065637420536372697074286f776e5f6861736829206173206163636f756e74203d206372656400164888889660033001300a37540212300a3754003370e90024dc3a40009111194c004c0480066024602600330120054888cc89660026010003130023017301437540091325980099b874801800a26464b30010018a9980aa4938657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c64732863657274696669636174652900168992cc004c02c00629462b300133710002900744c018c06c00a2a6602c92011065787065637420696e646578203c20370016405480a8c0300090181801000980c180c980a9baa0058acc004cdc3a40100051323259800800c54cc055240132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c647328766f7465722900168acc004cdc418060012400913005301a0018a9980aa48128657870656374206275696c74696e2e756e636f6e7374725f696e64657828766f74657229203c20320016405080c0c008004c060c054dd5002c59012202423015375400280888c8c8c8ca60026eb0c0680066eb0c0680126eb0c06800e6eacc06800922225980099baf00c4c103d879800089919192cc004032264b30013001301e375401b13259800800c05e264b300100180c40620310188992cc004c09800e2b300100980d44c96600200301b899912cc00400603b1323298009bab302a00198151815800cc0a800e605400491112cc004c07cc0a8dd5001c4c8ca60026eacc0c0006606060620033030302d375400b30300024888966002604a60606ea800e26644b300130273032375400319800980c1981aa60122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330353018330353018330350214bd7025eb812f5c13018330354c122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330353018330353018330350214bd7025eb812f5c1330353376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6606a66ec0dd480926010101004bd6f7b63025eb7bdb1826606a66ec13011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6606a66ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb182606c60666ea80052222259800800c0c606313259800800c0ca264b3001001819c0ce26644b300100181ac4c96600200303681b44c9660026084007159800807c5660026062607a6ea803e264b300100181cc4c96600200313259800800c0ee264b30010018acc004c11800a26644b300130370018992cc00400607f1332259800800c10626644b3001001821c4cc89660020030458992cc004c14000a0150464134609c0028260c130004c13400504a18250009825800a09030480013049001411860886ea80162b300130260018992cc00400607f13259800982500140120808238c12000504618221baa00581f2082410426644b300130370018992cc00400607f1332259800800c106264b3001304c00280341090491825000a09030480013049001411860886ea800e2b300130260018992cc00400607f13259800982500140120808238c12000504618221baa00381f208241042b300101b8a9982024931657870656374205b5f2c202e2e726573745d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc0040562a660809213d657870656374205b5f2c202e2e726573745f6e6f6e63655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168994c004c004006444653001001802400d0011112cc00400a294626644b30010038a99824a4923657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c100c1080122b30010048acc004c100c130dd500244c96600200304a8992cc00400609704b825c12e264b300130540038acc006600200300b9bae0055daa3300100a803401100a4528209a82620a2375c00282a0c14400504f18269baa004824a094824c12609304941491598008024566002605e60986ea8012264b3001001824c4c96600200304a825412a09513259800982a001c5660033001001805cdd7002aed119800805401a0088052294104d412d0511bae001415060a20028278c134dd5002412104a412209104882420a44128609c006609e0068260c130008c13400904a488c8cc00400400c89660020031533045490122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798231825000801c528c4cc008008c12c0050442090488966002b3001323300100102f2259800800c528456600266ebcc12cc120dd518258008164528c4cc008008c13000504520928a518a99822248149616e7928696e707574732c20666e28696e70757429207b20696e7075742e6f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566207d29203f2046616c73650014a0821a2b30015980099baf374c609403e6e9804629462a660889213064617461696679287265737429203d3d20646174616966792865787065637465645f76616c756529203f2046616c73650014a0821a2b30015980099baf374c60940326e9804229462a660889213c6461746169667928726573745f6e6f6e636529203d3d20646174616966792865787065637465645f6e6f6e63655f76616c756529203f2046616c73650014a0821a2b30015980099baf01c0138a518a998222492361646472657373203d3d2065787065637465645f61646472657373203f2046616c73650014a0821a2b30015980099baf0160128a518a998222492c6e6f6e63655f61646472203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a0821a2b30015980099baf4c010101000158a518a9982224812164617461696679283129203d3d206e6f6e63655f646174756d203f2046616c73650014a0821a2b300159800981c981d803c5660026072608a6ea801e2646464b300159800cc004dd61826001403e058802a29462a6608e92015f636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20686f745f736967732c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082322b300159800998031bab304c0030328a518a99823a4961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082322b30015980099b8948008dd69826000c528c54cc11d2412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082322b30013371290011bad304c304d0018a518a99823a492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a0823229410464528208c8a50411860980026096002608c6ea801e2a66088921a665787065637420566572696669636174696f6e207b0a2020202020202020202020202020202065646432353531395f6b6579732c0a202020202020202020202020202020206f746865725f6b6579732c0a20202020202020202020202020202020686f745f71756f72756d2c0a2020202020202020202020202020202077616c6c65745f71756f72756d2c0a20202020202020202020202020207d203d20686f745f637265640016410d159800981418229baa0078acc004cc0040b0c124c118dd5003c528c54cc1112401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0821a2a6608892120657870656374205769746864726177616c28736329203d20686f745f637265640016410c821a2b30013039303b0058acc004c0e4c114dd5002c4c966002b300198009bac304a304b00180540a90034528c54cc11524160636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f736967732c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082222b3001330043756609400206114a31533045490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a08222294104418231baa0058a998222493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f637265640016410d159800981418229baa0058acc004cc0040b0c124c118dd5002c528c54cc1112401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0821a2a660889212565787065637420436f6c645769746864726177616c28736329203d20636f6c645f637265640016410c821a2941043452820868a50410d14a0821a2941043452820868a50410c222598008014528c4ca6002608a00330460019825001a444b30013371e6f20dd70011bae0038cc00401e00332330010010062259800800c54cc12524011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd78031827801440062660060060028248c13c00504c200e8a99823a49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a2020202020202020290016411830480024118821904318209baa0013041375400703c410d03c81e40f20788238c110005042182200140ea07503a81d208a30420014100607c6ea803e07081da07103881c40e104340dd03f1bac00181b40d9042181f800a07a3758002607c005033819a07e303c00140e86eb000606303140f4815a0603034303137540066068606a606a60626ea80220528170606000260566ea802204681406054002604a6ea8c0a003102618130009813800a0483026009408d019408c6eb80050261811800a042301f375401b01640706e1d200280ac05602b015408c6e50cdc524410642756c6c657400376600260026603c98012258200c06c51ff693f9f80c66978db009ff5f1e33030130a91c687af9f177b5b6bf26003301e4c10101004bd701ba548002264b30010018a9980d248132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf301f00100a40746eb0c8cc004004dd5980f9810003112cc0040062a66036920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7980e800a60126d87b9fd87a9f581cd86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57ffff008980f000c4cc00c00cc08800901b1810000a03c4060301a301a0013019301930193019001301830180013013375400460226ea800860240088a4d153300849011856616c696461746f722072657475726e65642066616c73650013656401c1", - "hash": "2583035e9563549095011e1f5b8e6729f69cde1e3e3d028dde2df172" + "compiledCode": "5916fd01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124933657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f63726564207d203d20646174756d00168a998012497d6578706563742028686f745f736967732c20636f6c645f73696773293a20280a202020202020202020202020446174613c4c6973743c5369676e61747572653e3e2c0a202020202020202020202020446174613c4c6973743c5369676e61747572653e3e2c0a2020202020202020202029203d207369675f646174756d00168a99801249ff657870656374205b0a2020202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a2020202020202020202020204f7574707574207b0a2020202020202020202020202020616464726573733a206e6f6e63655f616464722c0a202020202020202020202020202076616c75653a206e6f6e63655f76616c75652c0a2020202020202020202020202020646174756d3a20496e6c696e65446174756d286e6f6e63655f646174756d292c0a20202020202020202020202020202e2e0a2020202020202020202020207d2c0a202020202020205720202020204f7574707574207b20646174756d3a20496e6c696e65446174756d287369675f646174756d292c202e2e207d2c0a2020202020202020202020202e2e0a202020202020202020205d203d206f75747075747300168a998012492965787065637420536372697074286f776e5f6861736829206173206163636f756e74203d206372656400164888889660033001300a37540212300a3754003370e90024dc3a40009111194c004c0480066024602600330120054888cc89660026010003130023017301437540091325980099b874801800a26464b30010018a9980aa4938657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c64732863657274696669636174652900168992cc004c02c00629462b300133710002900744c018c06c00a2a6602c92011065787065637420696e646578203c20370016405480a8c0300090181801000980c180c980a9baa0058acc004cdc3a40100051323259800800c54cc055240132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e636f6e7374725f6669656c647328766f7465722900168acc004cdc418060012400913005301a0018a9980aa48128657870656374206275696c74696e2e756e636f6e7374725f696e64657828766f74657229203c20320016405080c0c008004c060c054dd5002c59012202423015375400280888c8c8c8ca60026eb0c0680066eb0c0680126eb0c06800e6eacc06800922225980099baf00c4c103d8798000899911991199119199129981119b9649010c4d4553534147452049533a20003732660046ea4cdc52450642756c6c657400376600e9110015330223372c9201075448696e673a20003732660046ea400522010015980080944c966002600260486ea804e264b300100180ec4c96600200301e80f407a03d132598009816001c56600201f0208992cc0040060431332259800800c08e26465300137566060003303030310019818001cc0c0009222259800981298181baa003899194c004dd5981b000cc0d8c0dc006606c60666ea8016606c00491112cc004c0acc0d8dd5001c4cc8966002605a60706ea800633001301e3303b4c0122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003303b301e3303b301e3303b0274bd7025eb812f5c1301e3303b4c122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff003303b301e3303b301e3303b0274bd7025eb812f5c13303b3376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607666ec0dd480926010101004bd6f7b63025eb7bdb1826607666ec13011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607666ec0dd499b8a488104ffffffff000124c10101004bd6f7b63025eb7bdb182607860726ea80052222259800800c0de06f13259800800c0e226644b300100181d44c966002608c005159800806c566002606a60826ea8036264b300100181ec4c96600200313259800800c0fe264b30010018acc004c12800a26644b3001303b0018992cc0040060871332259800800c11626644b3001001823c4cc89660020030498992cc004c15000a01504a414460a40028280c140004c14400504e18270009827800a098304c001304d001412860906ea80162b300130240018992cc00400608713259800982700140120888258c13000504a18241baa005821208a411426644b3001303b0018992cc0040060871332259800800c116264b30013050002803411904d1827000a098304c001304d001412860906ea800e2b300130240018992cc00400608713259800982700140120888258c13000504a18241baa003821208a41142b30010198a9982224931657870656374205b5f2c202e2e726573745d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc00404e2a660889213d657870656374205b5f2c202e2e726573745f6e6f6e63655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168994c004c004006444653001001802400d0011112cc00400a294626644b30010038a99826a4923657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c110c1180122b30010048acc004c110c140dd500244c96600200304e8992cc00400609f04f827c13e264b300130580038acc006600200300b9bae0055daa3300100a803401100a452820a282820aa375c00282c0c15400505318289baa004826a09c826c13609b04d41591598008024566002605a60a06ea8012264b3001001826c4c96600200304e827413a09d13259800982c001c566002b30019800800c02e6eb80157688a518a9982924949766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c20736967207c3e206275696c74696e2e756e5f625f6461746129203f2046616c73650014a0828a3300100a803401100a452820a2827a0aa375c00282c0c15400505318289baa004826209c826413209904c41588270c14800cc14c00d05018280011828801209c911919800800801912cc0040062a6609292122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd798251827000801c528c4cc008008c13c0050482098488966002b300132330010010332259800800c528456600266ebcc13cc130dd51827800817c528c4cc008008c140005049209a8a518a99824248149616e7928696e707574732c20666e28696e70757429207b20696e7075742e6f75747075745f7265666572656e6365203d3d206f6e655f73686f745f726566207d29203f2046616c73650014a0823a2b30015980099baf374c609c03a6e9803e29462a660909213064617461696679287265737429203d3d20646174616966792865787065637465645f76616c756529203f2046616c73650014a0823a2b30015980099baf374c609c02e6e9803a29462a660909213c6461746169667928726573745f6e6f6e636529203d3d20646174616966792865787065637465645f6e6f6e63655f76616c756529203f2046616c73650014a0823a2b30015980099baf01a0118a518a998242492361646472657373203d3d2065787065637465645f61646472657373203f2046616c73650014a0823a2b30015980099baf0140108a518a998242492c6e6f6e63655f61646472203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a0823a2b30015980099baf4c010101000138a518a9982424812164617461696679283129203d3d206e6f6e63655f646174756d203f2046616c73650014a0823a2b300159800981e981f803c566002607a60926ea801e2646464b300159800cc004dd618280014dd600740a90054528c54cc12d240177636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20686f745f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082522b300159800998031bab30500030368a518a99825a4961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082522b30015980099b8948008dd69828000c528c54cc12d2412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082522b30013371290011bad305030510018a518a99825a492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a08252294104a452820948a50412860a0002609e00260946ea801e2a66090921a665787065637420566572696669636174696f6e207b0a2020202020202020202020202020202065646432353531395f6b6579732c0a202020202020202020202020202020206f746865725f6b6579732c0a20202020202020202020202020202020686f745f71756f72756d2c0a2020202020202020202020202020202077616c6c65745f71756f72756d2c0a20202020202020202020202020207d203d20686f745f637265640016411d159800981318249baa0078acc004cc0040c0c134c128dd5003c528c54cc1212401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0823a2a6609092120657870656374205769746864726177616c28736329203d20686f745f637265640016411c823a2b3001303d303f0058acc004c0f4c124dd5002c4c966002b300198009bac304e304f0019bac00a81420068a518a99824a48178636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206f6e655f73686f745f6d65737361676529203f2046616c73650014a082422b3001330043756609c00206914a31533049490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a08242294104818251baa0058a998242493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f637265640016411d159800981318249baa0058acc004cc0040c0c134c128dd5002c528c54cc1212401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0823a2a660909212565787065637420436f6c645769746864726177616c28736329203d20636f6c645f637265640016411c823a29410474528208e8a50411d14a0823a29410474528208e8a50411c222598008014528c4ca60026092003304a0019827001a444b30013371e6f20dd70011bae0038cc00401e00332330010010062259800800c54cc13524011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd78031829801440062660060060028268c14c005050200e8a99825a49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a20202020202020202900164128304c0024128823904718229baa00130453754007040411d04082041020808258c120005046182400140fa07d03e81f20923046001411060846ea803607881fa07903c81e40f104740ed0431822000a0843042001304300141006eb000606f037410c818a06c303a30373754006607460766076606e6ea802205e81a0606c00260626ea80220528170606000260566ea8c0b804902c18160009816800a054302c00f40a501f40a46eb800502c1814800a04e3025375402701c40886e1d200280dc06e03701b40a460020026e50cdc52450642756c6c657400376600a44464b30010038991919911980500119b8a488101280059800800c4cdc52441035b5d2900006899b8a489035b5f20009800800ccdc52441025d2900006914c00402a00530070014029229800805400a002805100920545980099b880014803a266e0120f2010018acc004cdc4000a41000513370066e01208014001480362c81210241bac3027002375a604a0026466ec0dd418128009ba73026001375400713259800800c4cdc52441027b7d00003899b8a489037b5f20003232330010010032259800800c400e264b30010018994c00402a6054003337149101023a200098008054c0ac00600a805100a181680144ca6002015302a00199b8a489023a200098008054c0ac006600e66008008004805100a18168012056302d00140a866e29220102207d00003409c6eac00e264b3001001899b8a489025b5d00003899b8a489035b5f20009800800ccdc52441015d00003914c00401e0053004001401d229800803c00a0028039006204e3758007133006375a0060051323371491102682700329800800ccdc01b8d0024800666e292210127000044004444b3001337100049000440062646645300100699b800054800666e2ccdc00012cc004cdc4001240291481822903720523371666e000056600266e2000520148a40c11481b9029002200c33706002901019b8600148080cdc7002001204c375c0068150dc5245022c20002232330010010032259800980b000c4cdc52450130000038acc004cdc4000a40011337149101012d0033002002337029000000c4cc014cdc2000a402866e2ccdc019b85001480512060003408081008888c8cc004004014896600200310058992cc004006266008605200400d133005302900233003003001409c60520028130c008cc07d3012258200788cbca89f1a7442f0ed538d5d30ffee1014d367c1bbba4b13305b7bd8a36b7003301f4c10101004bd7018008009ba5480008896600266e2400920008800c6600200733708004900a4cdc599b803370a004900a240c0002801901b44c966002003153301a490132657870656374205b637265642c202e2e5d203d206275696c74696e2e756e5f6c6973745f646174612872656465656d6572290016899baf301f00100a40746eb0c8cc004004dd5980f9810003112cc0040062a66036920128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdd7980e800a60126d87b9fd87a9f581cd86bb152b638bf63db6d44aee0c3ff1818e13949cc4130ad5d459d57ffff008980f000c4cc00c00cc08800901b1810000a03c4060301a301a0013019301930193019001301830180013013375400460226ea800860240088a4d153300849011856616c696461746f722072657475726e65642066616c73650013656401c1", + "hash": "bd438d7e99311429cdab234797b4fb6ec8aa7a5b362098eaaf433d35" }, { "title": "bullet.stake_bullet_types.withdraw", @@ -196,8 +196,8 @@ "redeemer": { "schema": {} }, - "compiledCode": "59182701010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a9980124942657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f637265643a206f75745f636f6c645f63726564207d203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a9980124979657870656374205b0a202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a202020202020202020202e2e6e6f6e63655f6f75747075740a20202020202020205d203d206f75747075747300168a998012499f65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a99801249b9657870656374204368616e676543726564656e7469616c73207b0a20202020202020202020636f6e74726f6c5f696e6465782c0a20202020202020202020757365725f7374616b652c0a20202020202020202020636f6c645f736967732c0a202020202020202020206e65775f686f745f736967732c0a202020202020202020206e65775f636f6c645f736967732c0a202020202020202020206d6967726174696f6e2c0a20202020202020207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a400130140024888966002600600913232323298009bac301c301d301d0019bab301c0019bac301c0049bac301c0039bad301c002488889660020151598009805980e9baa00a8992cc00400602513259800800c04e027013899912cc00400602b13259800800c05a02d01680b44cc89660020030188992cc004006033019899912cc00400603713259800800c0720391332259800800c07a264b300100180fc07e26644b3001001810c4c966002003132598009818000c56600266e252004302f001811c4c8c966002606c00b1323300100d225980080144cc00c030896600200513300500b225980080144c8c8cc88ca6002003023a5eb829000a002222259800801c4c966002003159800981798209baa0018992cc00400606f1332259800800c0e6264b3001304a0028992cc0040ae0791323298009bab304c00198261826800cc1340b6609800491112cc004c0ecc130dd5001c4c96600200b044899912cc0040062b3001303d304f375400313259800800c122264b30010018992cc00400609513259800800c56600260b000513322598009821800c4c96600200304e899912cc0040060a11332259800800c14a26644b300100182a44c96600260c400500a82aa0be3060001417860bc00260be00282e0c170004c17400505a182d000982d800a0b03056375400b1598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5002c13505320a613322598009821800c4c96600200304e899912cc0040060a113259800982f001401a0a282d8c17000505a182d000982d800a0b0305637540071598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5001c13505320a613322980098010014888ca6002003004801a002222598008014528c4cc8966002007153305c49123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c134c02c0122b30010048acc004c134c17cdd500244c96600200305d8992cc0040060bd05e82f417a264b300130670038acc006600200300b9bae0055daa3300100a803401100a452820c082fa0c8375c0028338c19000506218301baa00482e20ba82e41720b905c41951598008024566002606060be6ea8012264b300100182e44c96600200305d82ec1760bb132598009833801c5660033001001805cdd7002aed119800805401a0088052294106041790641bae001419c60c80028310c180dd5002416d05d416e0b705b82da0ca417460c200660c400682f8c17c008c18000905d488c8cc00400400c89660020031533058490122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7982c982e800801c528c4cc008008c17800505720b6488966002b30013375e6e9802cdd30064528c54cc15d2413364617461696679286e66745f76616c756529203d3d20646174616966792865787065637465645f6e667429203f2046616c73650014a082b22b300159800814456600201d15330574917f657870656374205b0a20202020202020202020202020204f7574707574207b20616464726573733a206e6f6e63655f616464726573732c2076616c75653a206e6f6e63655f76616c75652c202e2e207d2c0a20202020202020202020202020202e2e0a2020202020202020202020205d203d206e6f6e63655f6f75747075740016899192cc0040062a660b29213e657870656374205b5f2c202e2e6e6f6e63655f76616c75655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004c96600266ebc088c004c170dd5008456600266ebcc004c170dd5182f80181144cdd79ba63060002374c660bc66ec130011e581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc400374c660bc66ec0dd481ca6010101004bd6f7b63025eb7bdb1822941059452820b22305f30600018a518a9982ca49aa616e64207b0a2020757365725f7374616b655f63726564203d3d20616464726573732e7374616b655f63726564656e7469616c2c0a20206e6f6e63655f616464726573732e7374616b655f63726564656e7469616c203d3d20757365725f7374616b655f637265642c0a202064617461696679286e6f6e63655f76616c756529203d3d20646174616966792865787065637465645f6e6f6e63655f6e6674292c0a7d203f2046616c73650014a082c105c1bab305d305e0013059375460b801c82d22b30015980099baf00d01e899b870194800629410564528c54cc15d240143616e64207b0a202061646472657373203d3d2065787065637465645f616464726573732c0a20206e6f6e63655f7374617465203d3d202d312c0a7d203f2046616c73650014a082b10564566002b3001304630040088acc004c118c160dd500444c8c8c966002b300198009bac305f002819c0590054528c54cc169240172636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f686f745f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ca2b300159800998031bab305f0030438a518a9982d24961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082ca2b30015980099b8948008dd6982f800c528c54cc1692412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082ca2b30013371290011bad305f30600018a518a9982d2492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a082ca2941059452820b28a50416460be00260bc00260b26ea80222a660ae9219c65787065637420566572696669636174696f6e207b0a202020202020202020202020202065646432353531395f6b6579732c0a20202020202020202020202020206f746865725f6b6579732c0a2020202020202020202020202020686f745f71756f72756d2c0a202020202020202020202020202077616c6c65745f71756f72756d2c0a2020202020202020202020207d203d20686f745f63726564001641591598009814982c1baa0088acc004cc0040fcc170c164dd50044528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae92120657870656374205769746864726177616c28736329203d20686f745f637265640016415882b22b3001598009823180200a45660020291598009823182c1baa0148992cc0040060a71332259800800c156264b300130610028acc005660033001375800303780ba00c8a518a9982da4816f636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082d22b300133007375600608914a3153305b490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082d2294105a415905e182f800a0ba305d001305e001416c60b26ea80520a482b20a5052829414905e45660020291598009814982c1baa0148992cc0040060a513259800982f80145660026600608200314a31533059491266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082c20a682e0c17400505b182c9baa014828a0ac828c1460a3051417882b22b3001304630040068acc004c118c160dd500344c966002b300198009bac305d305e00181740510034528c54cc16124173636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ba2b300133004375660ba00208314a31533058490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082ba2941057182c9baa0068a9982ba494265787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d206f75745f636f6c645f63726564001641591598009814982c1baa0068acc004cc0040fcc170c164dd50034528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae9212965787065637420436f6c645769746864726177616c28736329203d206f75745f636f6c645f637265640016415882b22941056452820ac8a50415914a082b0444b30010028a518994c004c15c00660b0003305c00348896600266e3cde41bae002375c00719800803c006646600200200c44b30010018a9982da4811d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780318308014400626600600600282d8c18400505e200e8a9982ca49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a20202020202020202900164160305a0024160460a86ea8004c14cdd500098299baa003825a0aa825c12e09704b416460ac00282a0c15800a093049824c125057182a000a0a4305037540030474135047823c11e08e82a8c148014c144c138dd5002209e3304f337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609e66ec0dd481526010101004bd6f7b63025eb7bdb18208482506098002608e6ea8c1280ad0481b9437666e9ccc120dd3803998241ba702a33048375005297ae081d208e30480014118608c002608e0028220c108dd5000c0d903f40da06d03681b208e323322330020020012259800800c54cc109240123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7982498231baa00100b899192cc00400607d15980099baf374c609800200f13259800981b98241baa0018982618249baa0018a99823a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001641186096609800513300600600441148248dd59825000982518231baa001899802002001208630480013047304830443754608e0028228ca6002003028811a002222598009819000c400a3300100398248014cdc0000a400280190421ba6330433376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608666ec0dd480f26010101004bd6f7b63025eb7bdb18226464653001304730443754003304800698238012444b30013375e00601919800805400a66092002011007402915980099baf00300b89919912cc004c0e0c124dd5000c4c966002003045822c1162b3001003820c56600266ebcdd31982699bb04c011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609a66ec0dd499b8a488104ffffffff000284c10101004bd6f7b63025eb7bdb180dd31827801c6600201d006998268028064dd6800a01c8a99824a4813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c75652900164120826208a8280c134c128dd5000c54cc1212413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f75747075740016411c6eacc12c004c12cc130004c12cc11cdd50024566002b30013375e6094608e6ea800cc128c11cdd50064528c4cdd7982518239baa003304a3047375401682222d19800805400a0110074028822104420881823182380098211baa0013044003410860046607a98122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003303d0014bd7018011981ea60122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff003303d0014bd7018009981e18009981e19ba548008cc0f0dd480ba5eb812f5c097ae0374a900044c96600200302d816c0b605b1323003303f004375c00281f8c0f000903a44c96600200302b815c0ae0571323003303d004375c00281e8c0e800903844c966002003029814c0a60531323003303b004375c00281d8c0e0009036111919800800801911980180098010014095033180098180011b874800902d408d0311baa001811408a04502240d060620028178dd60009818001407e03e8188c0b800502c1bac001302d00280e407102e1815800a0523758002605400501980ca056302800140986eb8004c09c0090281812800a046375a0026048005013409460440028100c078dd5005404501b4046023011808a046180e180e180e000980d800980d180d000980a9baa30180078acc004cdc3a400c0091598009801180a1baa301830193015375400b14a31640491640488090602660280026026002601c6ea8052293454cc03124011856616c696461746f722072657475726e65642066616c73650013656402c1", - "hash": "05f6705b506bcd2e9c6d3b61718833e6b1ae27b0e563335cd625daaa" + "compiledCode": "59187f01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a9980124942657870656374204163636f756e745374617465207b20686f745f637265642c20636f6c645f637265643a206f75745f636f6c645f63726564207d203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a9980124979657870656374205b0a202020202020202020204f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c0a202020202020202020202e2e6e6f6e63655f6f75747075740a20202020202020205d203d206f75747075747300168a998012499f65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a99801249b9657870656374204368616e676543726564656e7469616c73207b0a20202020202020202020636f6e74726f6c5f696e6465782c0a20202020202020202020757365725f7374616b652c0a20202020202020202020636f6c645f736967732c0a202020202020202020206e65775f686f745f736967732c0a202020202020202020206e65775f636f6c645f736967732c0a202020202020202020206d6967726174696f6e2c0a20202020202020207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a400130140024888966002600600913232323298009bac301c301d301d0019bab301c0019bac301c0049bac301c0039bad301c002488889660020151598009805980e9baa00a8992cc00400602513259800800c04e027013899912cc00400602b13259800800c05a02d01680b44cc89660020030188992cc004006033019899912cc00400603713259800800c0720391332259800800c07a264b300100180fc07e26644b3001001810c4c966002003132598009818000c56600266e252004302f001811c4c8c966002606c00b1323300100d225980080144cc00c030896600200513300500b225980080144c8c8cc88ca6002003023a5eb829000a002222259800801c4c966002003159800981798209baa0018992cc00400606f1332259800800c0e6264b3001304a0028992cc0040ae0791323298009bab304c00198261826800cc1340b6609800491112cc004c0ecc130dd5001c4c96600200b044899912cc0040062b3001303d304f375400313259800800c122264b30010018992cc00400609513259800800c56600260b000513322598009821800c4c96600200304e899912cc0040060a11332259800800c14a26644b300100182a44c96600260c400500a82aa0be3060001417860bc00260be00282e0c170004c17400505a182d000982d800a0b03056375400b1598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5002c13505320a613322598009821800c4c96600200304e899912cc0040060a113259800982f001401a0a282d8c17000505a182d000982d800a0b0305637540071598009813000c4c96600200304e8992cc004c17000a00904f416460b400282c0c158dd5001c13505320a613322980098010014888ca6002003004801a002222598008014528c4cc8966002007153305c49123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c134c02c0122b30010048acc004c134c17cdd500244c96600200305d8992cc0040060bd05e82f417a264b300130670038acc006600200300b9bae0055daa3300100a803401100a452820c082fa0c8375c0028338c19000506218301baa00482e20ba82e41720b905c41951598008024566002606060be6ea8012264b300100182e44c96600200305d82ec1760bb132598009833801c566002b30019800800c02e6eb80157688a518a99830a4949766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c20736967207c3e206275696c74696e2e756e5f625f6461746129203f2046616c73650014a083023300100a803401100a452820c082f20c8375c0028338c19000506218301baa00482da0ba82dc16e0b705b419482e8c18400cc18800d05f182f801183000120ba911919800800801912cc0040062a660b092122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7982c982e800801c528c4cc008008c17800505720b6488966002b30013375e6e9802cdd30064528c54cc15d2413364617461696679286e66745f76616c756529203d3d20646174616966792865787065637465645f6e667429203f2046616c73650014a082b22b300159800814456600201d15330574917f657870656374205b0a20202020202020202020202020204f7574707574207b20616464726573733a206e6f6e63655f616464726573732c2076616c75653a206e6f6e63655f76616c75652c202e2e207d2c0a20202020202020202020202020202e2e0a2020202020202020202020205d203d206e6f6e63655f6f75747075740016899192cc0040062a660b29213e657870656374205b5f2c202e2e6e6f6e63655f76616c75655d203d206e6f6e63655f76616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004c96600266ebc088c004c170dd5008456600266ebcc004c170dd5182f80181144cdd79ba63060002374c660bc66ec130011e581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc400374c660bc66ec0dd481ca6010101004bd6f7b63025eb7bdb1822941059452820b22305f30600018a518a9982ca49aa616e64207b0a2020757365725f7374616b655f63726564203d3d20616464726573732e7374616b655f63726564656e7469616c2c0a20206e6f6e63655f616464726573732e7374616b655f63726564656e7469616c203d3d20757365725f7374616b655f637265642c0a202064617461696679286e6f6e63655f76616c756529203d3d20646174616966792865787065637465645f6e6f6e63655f6e6674292c0a7d203f2046616c73650014a082c105c1bab305d305e0013059375460b801c82d22b30015980099baf00d01e899b870194800629410564528c54cc15d240143616e64207b0a202061646472657373203d3d2065787065637465645f616464726573732c0a20206e6f6e63655f7374617465203d3d202d312c0a7d203f2046616c73650014a082b10564566002b3001304630040088acc004c118c160dd500444c8c8c966002b300198009bac305f002819c0590054528c54cc169240172636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f686f745f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ca2b300159800998031bab305f0030438a518a9982d24961636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a082ca2b30015980099b8948008dd6982f800c528c54cc1692412a6275696c74696e2e756e5f695f6461746128686f745f71756f72756d29203e3d2031203f2046616c73650014a082ca2b30013371290011bad305f30600018a518a9982d2492d6275696c74696e2e756e5f695f646174612877616c6c65745f71756f72756d29203e3d2031203f2046616c73650014a082ca2941059452820b28a50416460be00260bc00260b26ea80222a660ae9219c65787065637420566572696669636174696f6e207b0a202020202020202020202020202065646432353531395f6b6579732c0a20202020202020202020202020206f746865725f6b6579732c0a2020202020202020202020202020686f745f71756f72756d2c0a202020202020202020202020202077616c6c65745f71756f72756d2c0a2020202020202020202020207d203d20686f745f63726564001641591598009814982c1baa0088acc004cc0040fcc170c164dd50044528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae92120657870656374205769746864726177616c28736329203d20686f745f637265640016415882b22b3001598009823180200a45660020291598009823182c1baa0148992cc0040060a71332259800800c156264b300130610028acc005660033001375800303780ba00c8a518a9982da4816f636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c20636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082d22b300133007375600608914a3153305b490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082d2294105a415905e182f800a0ba305d001305e001416c60b26ea80520a482b20a5052829414905e45660020291598009814982c1baa0148992cc0040060a513259800982f80145660026600608200314a31533059491266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082c20a682e0c17400505b182c9baa014828a0ac828c1460a3051417882b22b3001304630040068acc004c118c160dd500344c966002b300198009bac305d305e00181740510034528c54cc16124173636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c206e65775f636f6c645f73696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a082ba2b300133004375660ba00208314a31533058490184636865636b5f616c6c5f74785f6f627365727665645f616e645f6861736865732865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f72696573207c3e2064617461696679207c3e206275696c74696e2e756e5f6c6973745f6461746129203f2046616c73650014a082ba2941057182c9baa0068a9982ba494265787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d206f75745f636f6c645f63726564001641591598009814982c1baa0068acc004cc0040fcc170c164dd50034528c54cc15d2401266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a082b22a660ae9212965787065637420436f6c645769746864726177616c28736329203d206f75745f636f6c645f637265640016415882b22941056452820ac8a50415914a082b0444b30010028a518994c004c15c00660b0003305c00348896600266e3cde41bae002375c00719800803c006646600200200c44b30010018a9982da4811d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780318308014400626600600600282d8c18400505e200e8a9982ca49746578706563740a20202020202020202820766b207c3e206275696c74696e2e756e5f625f646174612829207c3e206275696c74696e2e626c616b6532625f32323428292029203d3d206275696c74696e2e756e5f625f64617461280a20202020202020202020766b682c0a20202020202020202900164160305a0024160460a86ea8004c14cdd500098299baa003825a0aa825c12e09704b416460ac00282a0c15800a093049824c125057182a000a0a4305037540030474135047823c11e08e82a8c148014c144c138dd5002209e3304f337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609e66ec0dd481526010101004bd6f7b63025eb7bdb18208482506098002608e6ea8c1280ad0481b9437666e9ccc120dd3803998241ba702a33048375005297ae081d208e30480014118608c002608e0028220c108dd5000c0d903f40da06d03681b208e323322330020020012259800800c54cc109240123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7982498231baa00100b899192cc00400607d15980099baf374c609800200f13259800981b98241baa0018982618249baa0018a99823a492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001641186096609800513300600600441148248dd59825000982518231baa001899802002001208630480013047304830443754608e0028228ca6002003028811a002222598009819000c400a3300100398248014cdc0000a400280190421ba6330433376098011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608666ec0dd480f26010101004bd6f7b63025eb7bdb18226464653001304730443754003304800698238012444b30013375e00601919800805400a66092002011007402915980099baf00300b89919912cc004c0e0c124dd5000c4c966002003045822c1162b3001003820c56600266ebcdd31982699bb04c011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6609a66ec0dd499b8a488104ffffffff000284c10101004bd6f7b63025eb7bdb180dd31827801c6600201d006998268028064dd6800a01c8a99824a4813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c75652900164120826208a8280c134c128dd5000c54cc1212413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f75747075740016411c6eacc12c004c12cc130004c12cc11cdd50024566002b30013375e6094608e6ea800cc128c11cdd50064528c4cdd7982518239baa003304a3047375401682222d19800805400a0110074028822104420881823182380098211baa0013044003410860046607a98122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003303d0014bd7018011981ea60122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff003303d0014bd7018009981e18009981e19ba548008cc0f0dd480ba5eb812f5c097ae0374a900044c96600200302d816c0b605b1323003303f004375c00281f8c0f000903a44c96600200302b815c0ae0571323003303d004375c00281e8c0e800903844c966002003029814c0a60531323003303b004375c00281d8c0e0009036111919800800801911980180098010014095033180098180011b874800902d408d0311baa001811408a04502240d060620028178dd60009818001407e03e8188c0b800502c1bac001302d00280e407102e1815800a0523758002605400501980ca056302800140986eb8004c09c0090281812800a046375a0026048005013409460440028100c078dd5005404501b4046023011808a046180e180e180e000980d800980d180d000980a9baa30180078acc004cdc3a400c0091598009801180a1baa301830193015375400b14a31640491640488090602660280026026002601c6ea8052293454cc03124011856616c696461746f722072657475726e65642066616c73650013656402c1", + "hash": "7e4035091105bfc204ad66a30ddcce0d55392bf73a57f9390fcb9263" }, { "title": "change_credential_auth.cold_control_types.withdraw", @@ -223,8 +223,8 @@ "redeemer": { "schema": {} }, - "compiledCode": "590f2b01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a998012498d657870656374205b4f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124917657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a998012497e65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124948657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a206e6f6e63655f6f7574707574207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a40013014002488896600260060091323232323298009bac301d301e301e0019bab301d0019bac301d0059bac301d0049bac301d0039bad301d0024888889660020191598009806980f9baa00c8992cc00400602913259800800c05602b01580ac4cc8966002003017899912cc00400603313259800981580144c8c8c8c966002003159800980c18151baa0018992cc0040060411332259800800c08a264b30013033002899194c00400602b4bd705200140044444b30010038acc004c9660026044600200f159800803c566002604460686ea801e264b300100181644cc896600200302e8992cc004c0f400a26464b30013375e00698010180008acc004cc004dd5802810c528c54cc0e524156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b300159800998009bab0050218a518a9981ca4956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b30013298009112cc00400a294626644b30010038a9981fa48123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0c0c03c0122b30010048acc004c0c0c108dd500244c96600200303e8992cc00400607f03f81fc0fe264b3001304a0038acc006600200300b9bae0055daa3300100a803401100a45282086820208e375c0028250c11c00504518219baa00481ea08081ec0f607b03d4121159800802456600266e1d20023042375400913259800800c0f6264b300100181f40fa07d03e8992cc004c12800e2b30019800800c02e6eb80157688cc00402a00d004402914a0821a07e8238dd7000a0943047001411460866ea8012078820207903c81e40f104820803044003304500341086084004608600482026eb00626eb00112229800801c00600480186e50dd99ba73303d374e0126607a6e9c074cc0f4dd400e25eb8229462a660729216a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a081c2294103820703001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6607c92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780298220014400626600600600281f0c110005041200a303b303f002304000240f502f40e8607600281c8c0e4004c0e8005037181a9baa007815a064815c0ae05702b40e9159800803c56600266e1d20023034375400f13259800800c0ae264b3001303b0028acc004c8cc0040040748966002003153303749122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981c181e000801c528c4cc008008c0f400503620748a518a9981aa481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081a205881c0c0e4005037181a9baa007815206481540aa05502a40e881908c0d0dd5000c566002b30013370e0029000c528c4c966002003030899194c004dd5981d000cc0e8c0ec00660740049112cc004c0a0c0e4dd500144c96600200303781bc0de2b30010048194566002b3001337100106eb400629462a6607292011f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a081c22b30015980099baf374c6607a66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607a66ec0dd499b8a488104ffffffff000194c10101004bd6f7b63025eb7bdb180dd3181f8024528c54cc0e524135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a081c22b30013375e00401914a3153303949012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a081c229410384528207040f10374100607a60746ea800a06a81b86074002606a6ea8c0e00050364c004dd68074dc024003371290052444b300130010038994c00488966002600a00319800801cc0fcc0fcc0fcc0fcc0fc00a6008002801a2b30013028001880144cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f002300600140e081c26002009303c303c303c303c303c01a488966002600a00519800801cc0fcc0fcc0fcc0fcc0fc0066008004801a2b300130280028800c4cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f001300600240e081c06e0120098acc004c09000e203313322598009813000c400a26644b30013028001880144c9660026052600e005100189820000a072303f00240e0607a004600800281b0c0ec064c00800d034206820628a518a9981924815b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a0818a294103144c8c8ca60026074606e6ea8006607600d303a00248896600266ebc00c0463300100a8014cc0f000402200e80522b30013375e0060171323322598009815981e1baa0018992cc00400606d03681b45660020070358acc004cdd79ba633040337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608066ec0dd499b8a488104ffffffff0001c4c10101004bd6f7b63025eb7bdb180dd31821001c6600201d006998200028064dd6800a01c8a9981e24813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529001640ec81fa06c8218c100c0f4dd5000c54cc0ed2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001640e86eacc0f8004c0f8c0fc004c0f8c0e8dd50024566002b30013375e607a60746ea800cc0f4c0e8dd5008c528c4cdd7981e981d1baa003303d303a375401681ba2d19800805400a011007402881b9037206e181c981d000981a9baa001303700340d460106606298122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330310074bd70408d0301818800a05e302f001303000140b460566ea800603e814203f01f80fc07d030191919800800807912cc0040062a66056920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981918179baa001006899192cc00400605115980099baf374c606a00200f13259800981018189baa0018981a98191baa0018a998182492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640bc6068606a00513300600600440b88190dd59819800981998179baa0018998020020012058303100130303031302d375460600028170dd31981619bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6605866ec0dd480426010101004bd6f7b63025eb7bdb180c008cc0ad300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003302b0014bd7018009981518009981519ba548008cc0a8dd480325eb812f5c097ae0374a900040690281814800a04e3027001302800140946eb8004c0980090271812000a044302037540190134075013809c04e0268128603a603a603a002603800260360026034002602a6ea8c06001e2b30013370e90030024566002600460286ea8c060c064c054dd5002c528c5901245901220241809980a000980980098071baa0148a4d153300c4911856616c696461746f722072657475726e65642066616c73650013656402c1", - "hash": "491ff75f25cc8344b7a283629d89a7c15bb1fc9a9a24126b0dddf911" + "compiledCode": "590f8401010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a660049211f657870656374206e65775f6e6f6e63653a204e6f6e6365203d20646174756d00168a998012498d657870656374205b4f7574707574207b20616464726573732c2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d2c202e2e5d203d0a202020202020736b69705f6c6973745f6d6163726f286f7574707574732c206275696c74696e2e756e5f695f64617461286e6f6e63655f6f75747075745f696e646578292900168a9980124917657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a9980124921657870656374206e6f6e63655f73746174653a204e6f6e6365203d20646174756d00168a9980124936657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a998012497e65787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a202020202020202020207265666572656e63655f696e707574730a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124948657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a206e6f6e63655f6f7574707574207d203d2072656465656d657200164888888888966002646465300130103754003370e90024dc3a40013014002488896600260060091323232323298009bac301d301e301e0019bab301d0019bac301d0059bac301d0049bac301d0039bad301d0024888889660020191598009806980f9baa00c8992cc00400602913259800800c05602b01580ac4cc8966002003017899912cc00400603313259800981580144c8c8c8c966002003159800980c18151baa0018992cc0040060411332259800800c08a264b30013033002899194c00400602b4bd705200140044444b30010038acc004c9660026044600200f159800803c566002604460686ea801e264b300100181644cc896600200302e8992cc004c0f400a26464b30013375e00698010180008acc004cc004dd5802810c528c54cc0e524156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b300159800998009bab0050218a518a9981ca4956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a081c22b30013298009112cc00400a294626644b30010038a9981fa48123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0c0c03c0122b30010048acc004c0c0c108dd500244c96600200303e8992cc00400607f03f81fc0fe264b3001304a0038acc006600200300b9bae0055daa3300100a803401100a45282086820208e375c0028250c11c00504518219baa00481ea08081ec0f607b03d4121159800802456600266e1d20023042375400913259800800c0f6264b300100181f40fa07d03e8992cc004c12800e2b300159800cc004006017375c00abb44528c54cc11124149766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c20736967207c3e206275696c74696e2e756e5f625f6461746129203f2046616c73650014a0821a3300100a803401100a4528208681fa08e375c0028250c11c00504518219baa00481e208081e40f207903c41208200c11000cc11400d0421821001182180120809bac0189bac004488a600200700180120061b9437666e9ccc0f4dd38049981e9ba701d3303d375003897ae08a518a9981ca4816a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a081c2294103820703001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6607c92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd780298220014400626600600600281f0c110005041200a303b303f002304000240f502f40e8607600281c8c0e4004c0e8005037181a9baa007815a064815c0ae05702b40e9159800803c56600266e1d20023034375400f13259800800c0ae264b3001303b0028acc004c8cc0040040748966002003153303749122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd7981c181e000801c528c4cc008008c0f400503620748a518a9981aa481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a081a205881c0c0e4005037181a9baa007815206481540aa05502a40e881908c0d0dd5000c566002b30013370e0029000c528c4c966002003030899194c004dd5981d000cc0e8c0ec00660740049112cc004c0a0c0e4dd500144c96600200303781bc0de2b30010048194566002b3001337100106eb400629462a6607292011f6e65775f6e6f6e6365203e206e6f6e63655f7374617465203f2046616c73650014a081c22b30015980099baf374c6607a66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6607a66ec0dd499b8a488104ffffffff000194c10101004bd6f7b63025eb7bdb180dd3181f8024528c54cc0e524135646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529203f2046616c73650014a081c22b30013375e00401914a3153303949012961646472657373203d3d2065787065637465645f6e6f6e63655f61646472657373203f2046616c73650014a081c229410384528207040f10374100607a60746ea800a06a81b86074002606a6ea8c0e00050364c004dd68074dc024003371290052444b300130010038994c00488966002600a00319800801cc0fcc0fcc0fcc0fcc0fc00a6008002801a2b30013028001880144cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f002300600140e081c26002009303c303c303c303c303c01a488966002600a00519800801cc0fcc0fcc0fcc0fcc0fc0066008004801a2b300130280028800c4cc896600260540031002899912cc004c0b000620051325980098169805801440062608800281e8c10c00903c18208011804000a074303f001300600240e081c06e0120098acc004c09000e203313322598009813000c400a26644b30013028001880144c9660026052600e005100189820000a072303f00240e0607a004600800281b0c0ec064c00800d034206820628a518a9981924815b6e6f6e63655f636865636b286f7574707574732c206e6f6e63655f73746174652c206e6f6e63655f6f75747075742c20757365725f7374616b652c2065787065637465645f6e6f6e63655f6164647265737329203f2046616c73650014a0818a294103144c8c8ca60026074606e6ea8006607600d303a00248896600266ebc00c0463300100a8014cc0f000402200e80522b30013375e0060171323322598009815981e1baa0018992cc00400606d03681b45660020070358acc004cdd79ba633040337609811e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6608066ec0dd499b8a488104ffffffff0001c4c10101004bd6f7b63025eb7bdb180dd31821001c6600201d006998200028064dd6800a01c8a9981e24813465787065637420646174616966792865787065637465645f76616c756529203d3d2064617461696679286e66745f76616c756529001640ec81fa06c8218c100c0f4dd5000c54cc0ed2413f657870656374204f7574707574207b2076616c75652c20646174756d3a20496e6c696e65446174756d28646174756d292c202e2e207d203d206f7574707574001640e86eacc0f8004c0f8c0fc004c0f8c0e8dd50024566002b30013375e607a60746ea800cc0f4c0e8dd5008c528c4cdd7981e981d1baa003303d303a375401681ba2d19800805400a011007402881b9037206e181c981d000981a9baa001303700340d460106606298122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330310074bd70408d0301818800a05e302f001303000140b460566ea800603e814203f01f80fc07d030191919800800807912cc0040062a66056920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981918179baa001006899192cc00400605115980099baf374c606a00200f13259800981018189baa0018981a98191baa0018a998182492965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640bc6068606a00513300600600440b88190dd59819800981998179baa0018998020020012058303100130303031302d375460600028170dd31981619bb04c11e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6605866ec0dd480426010101004bd6f7b63025eb7bdb180c008cc0ad300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff003302b0014bd7018009981518009981519ba548008cc0a8dd480325eb812f5c097ae0374a900040690281814800a04e3027001302800140946eb8004c0980090271812000a044302037540190134075013809c04e0268128603a603a603a002603800260360026034002602a6ea8c06001e2b30013370e90030024566002600460286ea8c060c064c054dd5002c528c5901245901220241809980a000980980098071baa0148a4d153300c4911856616c696461746f722072657475726e65642066616c73650013656402c1", + "hash": "77720adf8ee670bd2d22c240d5ef1c7d9a73ac80ae19890d695ef510" }, { "title": "cold_auth.cold_spend_types.withdraw", @@ -269,8 +269,8 @@ "redeemer": { "schema": {} }, - "compiledCode": "590c0a01010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a99801249b465787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578207c3e206275696c74696e2e756e5f695f64617461290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124953657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a20636f6e74726f6c5f696e646578207d203d0a2020202020202020202072656465656d657200164888889660026464653001300c3754003370e90004c0400092225980099b874801000e2646464646530013758603060326032003375660300033758603000b37586030009375a6030007375660300049111112cc0040322b3001300d301a375401913259800800c04e264b300100180a4052029014899912cc00400602d1332259800800c062264b30013026002899191919912cc0040062b300130193026375400313259800800c08226644b300100181144c966002605e00513259800800c54cc0a92401aa657870656374205b50616972286e616d652c207175616e74697479292c202e2e5d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b657928636f6e6669672e62756c6c65745f68617368290a2020202020202020202020207c3e20746f5f706169727300168992cc004c9660026040600200915980080245660026040605a6ea8012264b3001001814c4cc896600200302b8992cc004c0d800a26464b30013375e0069810180008acc004cc004dd580280fc528c54cc0c924156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b300159800998009bab00501f8a518a9981924956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b30013298009112cc00400a294626644b30010038a9981c248123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0b8c03c0122b30010048acc004c0b8c0ecdd500244c9660020030398992cc00400607503a81d40ea264b300130430038acc006600200300b9bae0055daa3300100a803401100a4528207881da080375c0028218c10000503e181e1baa00481c207281c40e20710384105159800802456600266e1d2002303b375400913259800800c0e2264b300100181cc0e60730398992cc004c10c00e2b30019800800c02e6eb80157688cc00402a00d004402914a081e20748200dd7000a086304000140f860786ea801206e81ca06f03781bc0dd0412072303d003303e00340ec6076004607800481ca6eb005a6eb00112229800801c00600480186e50dd99ba733036374e01e6606c6e9c070cc0d8dd400da5eb8229462a660649216a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a0818a294103120623001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6606e92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd7802981e8014400626600600600281b8c0f400503a200a30343038002303900240d902c40cc60680028190c0c8004c0cc00503018171baa004814205681440a205102840cd159800802456600266e1d2002302d375400913259800800c0a2264b300130340028acc004c8cc00400406c8966002003153303049122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd79818981a800801c528c4cc008008c0d800502f20668a518a998172481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0816a0528188c0c800503018171baa004813a056813c09e04f02740cc81588c0b4dd5000c566002b30013371e6eb8c0b000404229462a660569211a6e616d65203d3d20757365725f7374616b65203f2046616c73650014a081522b30013370e6eb4c0b400520018a518a99815a49167175616e74697479203d3d202d31203f2046616c73650014a08152294102a45282054302f00140b4646600200202444b30010018a99815a48128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdc79bae302d00148811c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d690089bab302e00189980180198190012056303000140b902340b0605a0028158c0ac004c0b000502918139baa00180fa04880fc07e03f01f40b064646600200202044b30010018a5eb82264646644b30015980099baf0020088a51899baf00200740a513302e302f003330060060018acc0056600266ebcc0bcc0b0dd5001181798161baa0088a51899baf302f302c3754004605e60586ea801d029454cc0a924011a43616e2774207370656e64206f74686572277320696e707574730016899803003000a05240a4605a60546ea8c0b4c0b8004c0b800cc0a4dd50009815800a0523003330274c0122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330270024bd7019199119801001000912cc0040062a6604c920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981698151baa001006899192cc0040062a66054920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630300010078992cc004cdc3a400860586ea800626060605a6ea80062a660569212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640a8605e606000513300600600440a48168dd59817000981718151baa001899802002001204e302c001302b302c3028375460560028148ca60020030109bad0064004444b3001301b0018801466002007302d00299b8000148005003204c374c6604e66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6604e66ec0dd480426010101004bd6f7b63025eb7bdb180c008cc099300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330260014bd7018009981298009981299ba548008cc094dd480325eb812f5c097ae0374a900040650231812000a0443022001302300140806eb8004c084009022180f800a03a301b37540190124061012809404a024810060306030002602e002602c002602a602a00260206ea8c04c01a2b30013370e9003001c5660026004601e6ea8c04cc050c040dd50024528c5900d45900d201a18079808000980780098051baa0108a4d15330084911856616c696461746f722072657475726e65642066616c73650013656401c1", - "hash": "faab88cc4e9f8794ee4ed8bde7ad36c1fa1cc521ab79972844a49146" + "compiledCode": "590c6301010029800aba4aba2aba1aba0aab9faab9eaab9dab9cab9a488888888a60022a6600492117657870656374205363686e6f727228766b29203d20766b00168a9980124914657870656374205365637028766b29203d20766b00168a998012493e65787065637420436f6c64566572696669636174696f6e2865646432353531395f6b6579732c206f746865725f6b65797329203d20636f6c645f6372656400168a998012492565787065637420436f6c645769746864726177616c28736329203d20636f6c645f6372656400168a99801249b465787065637420436f6e74726f6c207b20636f6c645f637265642c202e2e207d203d0a20202020202020202020696e707574730a2020202020202020202020207c3e20706f705f746f5f696e64657828636f6e74726f6c5f696e646578207c3e206275696c74696e2e756e5f695f64617461290a2020202020202020202020207c3e207265665f636f6e74726f6c5f646174756d2865787065637465645f616464726573732c2065787065637465645f6e66742900168a9980124953657870656374204163636f756e745370656e64207b20757365725f7374616b652c20736967732c20696e6465783a20636f6e74726f6c5f696e646578207d203d0a2020202020202020202072656465656d657200164888889660026464653001300c3754003370e90004c0400092225980099b874801000e2646464646530013758603060326032003375660300033758603000b37586030009375a6030007375660300049111112cc0040322b3001300d301a375401913259800800c04e264b300100180a4052029014899912cc00400602d1332259800800c062264b30013026002899191919912cc0040062b300130193026375400313259800800c08226644b300100181144c966002605e00513259800800c54cc0a92401aa657870656374205b50616972286e616d652c207175616e74697479292c202e2e5d203d0a202020202020202020206d696e740a2020202020202020202020207c3e20746f5f646963740a2020202020202020202020207c3e20746f5f70616972730a2020202020202020202020207c3e206d7573745f66696e645f6b657928636f6e6669672e62756c6c65745f68617368290a2020202020202020202020207c3e20746f5f706169727300168992cc004c9660026040600200915980080245660026040605a6ea8012264b3001001814c4cc896600200302b8992cc004c0d800a26464b30013375e0069810180008acc004cc004dd580280fc528c54cc0c924156636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b300159800998009bab00501f8a518a9981924956636865636b5f616c6c5f74785f6f627365727665642865646432353531395f6b657973207c3e206275696c74696e2e756e5f6d61705f646174612c2065787472615f7369676e61746f7269657329203f2046616c73650014a0818a2b30013298009112cc00400a294626644b30010038a9981c248123657870656374205b7369672c202e2e6f74686572735d203d207369676e6174757265730016899912cc004c0b8c03c0122b30010048acc004c0b8c0ecdd500244c9660020030398992cc00400607503a81d40ea264b300130430038acc006600200300b9bae0055daa3300100a803401100a4528207881da080375c0028218c10000503e181e1baa00481c207281c40e20710384105159800802456600266e1d2002303b375400913259800800c0e2264b300100181cc0e60730398992cc004c10c00e2b300159800cc004006017375c00abb44528c54cc0f524149766b0a20207c3e207665726966795f65636473615f7369676e6174757265286d6573736167652c20736967207c3e206275696c74696e2e756e5f625f6461746129203f2046616c73650014a081e23300100a803401100a4528207881d2080375c0028218c10000503e181e1baa00481ba07281bc0de06f037410481c8c0f400cc0f800d03b181d801181e00120729bac0169bac004488a600200700180120061b9437666e9ccc0d8dd38079981b1ba701c33036375003697ae08a518a9981924816a636865636b5f616c6c5f76616c69645f766b5f73696773286f746865725f6b657973207c3e206275696c74696e2e756e5f6c6973745f646174612c2073696773207c3e206275696c74696e2e756e5f6c6973745f646174612c206d65737361676529203f2046616c73650014a0818a294103120623001001222598008014528c4cc8a600200b0019919800800802112cc0040062a6606e92011d657870656374205b66697273742c202e2e726573745d203d206c69737400168992cc004cdd7802981e8014400626600600600281b8c0f400503a200a30343038002303900240d902c40cc60680028190c0c8004c0cc00503018171baa004814205681440a205102840cd159800802456600266e1d2002302d375400913259800800c0a2264b300130340028acc004c8cc00400406c8966002003153303049122657870656374205b5061697228782c205f292c202e2e726573745d203d206c69737400168acc004cdd79818981a800801c528c4cc008008c0d800502f20668a518a998172481266d7573745f686176655f6b6579287769746864726177616c732c20736329203f2046616c73650014a0816a0528188c0c800503018171baa004813a056813c09e04f02740cc81588c0b4dd5000c566002b30013371e6eb8c0b000404229462a660569211a6e616d65203d3d20757365725f7374616b65203f2046616c73650014a081522b30013370e6eb4c0b400520018a518a99815a49167175616e74697479203d3d202d31203f2046616c73650014a08152294102a45282054302f00140b4646600200202444b30010018a99815a48128657870656374205b50616972286b322c2076616c7565292c202e2e726573745d203d20706169727300168992cc004cdc79bae302d00148811c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d690089bab302e00189980180198190012056303000140b902340b0605a0028158c0ac004c0b000502918139baa00180fa04880fc07e03f01f40b064646600200202044b30010018a5eb82264646644b30015980099baf0020088a51899baf00200740a513302e302f003330060060018acc0056600266ebcc0bcc0b0dd5001181798161baa0088a51899baf302f302c3754004605e60586ea801d029454cc0a924011a43616e2774207370656e64206f74686572277320696e707574730016899803003000a05240a4605a60546ea8c0b4c0b8004c0b800cc0a4dd50009815800a0523003330274c0122d87a9f581c37d20d7f8ff4bc0cf3bfae904ec92ff8d306bc964be0d94767b3cdc4ff00330270024bd7019199119801001000912cc0040062a6604c920123657870656374205b696e7075742c202e2e726573745d203d207265665f696e707574730016899912cc004cdd7981698151baa001006899192cc0040062a66054920136657870656374205b5f2c202e2e6e66745f76616c75655d203d2076616c7565207c3e20746f5f64696374207c3e20746f5f706169727300168acc004cdd79ba630300010078992cc004cdc3a400860586ea800626060605a6ea80062a660569212965787065637420496e6c696e65446174756d28636f6e74726f6c5f646174756d29203d20646174756d001640a8605e606000513300600600440a48168dd59817000981718151baa001899802002001204e302c001302b302c3028375460560028148ca60020030109bad0064004444b3001301b0018801466002007302d00299b8000148005003204c374c6604e66ec130011e581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d6900374c6604e66ec0dd480426010101004bd6f7b63025eb7bdb180c008cc099300122d87a9f581c3e8b3d0bda81efcd1ce86d17b7764e55551cec6783f90bbc31069d69ff00330260014bd7018009981298009981299ba548008cc094dd480325eb812f5c097ae0374a900040650231812000a0443022001302300140806eb8004c084009022180f800a03a301b37540190124061012809404a024810060306030002602e002602c002602a602a00260206ea8c04c01a2b30013370e9003001c5660026004601e6ea8c04cc050c040dd50024528c5900d45900d201a18079808000980780098051baa0108a4d15330084911856616c696461746f722072657475726e65642066616c73650013656401c1", + "hash": "1740c54e87508b0ce4e536487c8bdeeefc39be157287887a0047016d" }, { "title": "hot_auth.hot_spend.else", diff --git a/src/bulletSecp256k1.ts b/src/bulletSecp256k1.ts index 4216bf7..d7a6cca 100644 --- a/src/bulletSecp256k1.ts +++ b/src/bulletSecp256k1.ts @@ -2,8 +2,10 @@ import { CML, credentialToAddress, Data, + datumToHash, Emulator, EmulatorAccount, + fromText, generateEmulatorAccount, getAddressDetails, Lucid, @@ -11,6 +13,8 @@ import { paymentCredentialOf, toHex, toPublicKey, + utxoToTransactionInput, + utxoToTransactionOutput, } from "@lucid-evolution/lucid"; import { bulletAddress, @@ -54,6 +58,8 @@ import { StakeBulletRedeemerType, } from "./bulletTypes"; import { IntentionRedeemerType, IntentType } from "./intentTypes"; +import { OutputRefType } from "./otherTypes"; +import { CBORArray } from "@emurgo/cardano-message-signing-nodejs"; export async function setupBulletSecp() { // Initialize Lucid with Koios provider @@ -110,6 +116,13 @@ export async function setupBulletSecp() { // Needed to parameterize the aiken.toml file console.log("Parameterize aiken.toml file with: ", globalSetupTxHash); + const message: OutputRefType = { txId: globalSetupTxHash, outputIndex: 1n }; + + console.log( + "Message to sign is ", + fromText("Bullet") + Data.to(message, OutputRefType), + ); + const registerTx = await lucid .newTx() .collectFrom([(await lucid.utxosAt(initAccount.address))[1]]) @@ -147,7 +160,7 @@ export async function setupBulletSecp() { other_keys: [ { Secp: [ - "027356a58fec88dcbcc1225406c0065cac4c58a255b84485a6e03c14ee7bc222f4", + "021e060aa4a76b65c6508d79e6d67770ff5126d733a34e00405b11b70d0783c875", ], }, ], @@ -165,7 +178,12 @@ export async function setupBulletSecp() { }, }; - const sigDatum: SigsDatumType = [[], []]; + const sigDatum: SigsDatumType = [ + [ + "94638f274a462d413e45ba550d21dfc7b1a3d745c5a2975f09e6985c24d3287112df3630356ce559b4aa4cb09bbe912b24add6496428eb1d911613e99042692c", + ], + [], + ]; const newUserTx = await lucid .newTx() diff --git a/src/bulletTypes.ts b/src/bulletTypes.ts index 69b289f..af1d98b 100644 --- a/src/bulletTypes.ts +++ b/src/bulletTypes.ts @@ -9,7 +9,7 @@ export const SchnorrSchema = Data.Object({ Schnorr: Data.Tuple([Data.Bytes({ minLength: 32, maxLength: 32 })]), }); -export const VkSchema = Data.Enum([SecpSchema, SchnorrSchema]); +export const VkSchema = Data.Enum([SchnorrSchema, SecpSchema]); export const VerificationSchema = Data.Object({ Verification: Data.Object({ diff --git a/src/index.ts b/src/index.ts index 60b252e..6622836 100644 --- a/src/index.ts +++ b/src/index.ts @@ -7,6 +7,8 @@ import { walletSpend, } from "./bulletEdd25519"; +import { setupBulletSecp } from "./bulletSecp256k1"; + setupBullet() .then((l) => hotSpend(l)) .catch(console.error); @@ -26,3 +28,5 @@ setupBullet() setupBullet() .then((l) => intentSpend(l)) .catch(console.error); + +setupBulletSecp().catch(console.error); diff --git a/src/otherTypes.ts b/src/otherTypes.ts index 83f4631..5539c09 100644 --- a/src/otherTypes.ts +++ b/src/otherTypes.ts @@ -18,6 +18,9 @@ export const OutputRefSchema = Data.Object({ outputIndex: Data.Integer({ minimum: 0 }), }); +export type OutputRefType = Data.Static; +export const OutputRefType = OutputRefSchema as unknown as OutputRefType; + // pub type ScriptPurpose { // /// For scripts executed as minting/burning policies, to insert // /// or remove assets from circulation. It's parameterized by the identifier diff --git a/validators/bullet.ak b/validators/bullet.ak index 8d6206c..508f4d9 100644 --- a/validators/bullet.ak +++ b/validators/bullet.ak @@ -120,8 +120,8 @@ validator stake_bullet { ] expect (hot_sigs, cold_sigs): ( - List>, - List>, + Data>, + Data>, ) = sig_datum expect AccountState { hot_cred, cold_cred } = datum @@ -142,7 +142,7 @@ validator stake_bullet { and { check_all_valid_vk_sigs( other_keys |> builtin.un_list_data, - hot_sigs, + hot_sigs |> builtin.un_list_data, one_shot_message, )?, check_all_tx_observed_and_hashes( @@ -164,7 +164,7 @@ validator stake_bullet { and { check_all_valid_vk_sigs( other_keys |> builtin.un_list_data, - cold_sigs, + cold_sigs |> builtin.un_list_data, one_shot_message, )?, check_all_tx_observed_and_hashes(