From 36be9899ae1c4d07bac79dccb047e759d23f191e Mon Sep 17 00:00:00 2001 From: Dzmitry Shuysky Date: Mon, 19 Feb 2024 14:37:10 +0100 Subject: [PATCH 1/2] feat(bidder_deposit)!: implement `ClaimDepositSeller` sub-validator --- compiled/bidder_deposit_validator.plutus | 4 +- .../Errors/Validators/BidderDeposit.hs | 9 ++ src/HydraAuctionOnchain/Types/AuctionTerms.hs | 6 ++ .../Validators/AuctionEscrow.hs | 2 +- .../Validators/BidderDeposit.hs | 85 ++++++++++++++++++- 5 files changed, 102 insertions(+), 4 deletions(-) diff --git a/compiled/bidder_deposit_validator.plutus b/compiled/bidder_deposit_validator.plutus index 31bc454..1d99166 100644 --- a/compiled/bidder_deposit_validator.plutus +++ b/compiled/bidder_deposit_validator.plutus @@ -1,5 +1,5 @@ { - "cborHex": "590fe3590fe0010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232533304d332232323370e66609e444a6660a6002200426600666e0000920023057001480000052002330452330333230563057001305530543056001004001375860a660a80026460a460a600260a260a060a4002004264a66609c664466028460066eacc15c004004c88cc0508c00cdd6982b800800919b8700148000cc88ccc8c05888dd3198019bab00237560024466602e446ea0cdc09bad002375a0020040020040026eac0052f5bded8c02646464a6660a266e1d2002002132323253330543303100e001132533305530233303400100d153330553301f301d00e3059004132533305633030375860b460b200a6ea4004526153305349106424944453136001633051491064249444531350030313059305a00d153305249010642494445313400161533052491064249444531330016330504910642494445313200303e001153305149010642494445313100163057305630580013304e490106424944453130003301b00e00730383056006153330513370e90020010991919299982a19818807000899299982a99191919299982c99b87480080084c8c8c94ccc170cdc3a4004004266ebcdd38021ba700114a060c200460b80026ea801054ccc164cdc3a40080042646464a6660b866e1d200400213375e6e9c010dd38008a503061002305c00137540082646464a6660b866e1d200000213375e6e9c010dd38008a503061002305c001375400860bc00460b20026ea8008cdd2a40080962a6660aa6603e603a01c60b2008264a6660ac660606eb0c168c164014dd48008a4c2a660a6920106424944453233001633051491064249444532320030313059305a00d1533052490106424944453231001615330524910642494445323000163305049106424944453139003232323253330583370e9002001098261919191919002a99982e19b87480000084c926533305b001149854cc1641285854ccc170cdc3a400400426493299982d8008a4c2a660b20942c2a6660b866e1d20040021324994ccc16c004526153305904a16153305904b163061002305c001375400260b800220b260ba00460b00026ea8004c160c13cc16400454cc1452410642494445313800163057305630580013304e490106424944453137003301b00d00730383056006153330513370e900300109929998291980e1814182b181c982b805982b0008992999829998169bac3057305600237520022930a9982824810642494445323600163304e4910642494445323500302e3056305700a153304f4901064249444532340016303830560061323253330533303000d00113253330543303300100c13232533305633303901048810741554354494f4e000011533305633322232323232333222330012300300110034a0460100020026644660024644460040066006002244a00246464646400aa6660c066e1d20000021324994ccc17c004526153305d04e16153330603370e900100109924ca6660be0022930a9982e8270b0a99983019b87480100084c926533305f001149854cc1741385854ccc180cdc3a400c00426493299982f8008a4c2a660ba09c2c2a660ba09e2c60ca00460c00026ea8004ccc888cc174894ccc180004489400454ccc184cdd798319832800802098029832800898011832000800919111801001983180080080199ba548008cc148004144c178c17c008dd5982e99182e982e9820800982f001119191919299982d99b87480080084c8c8c94ccc178cdc3a4004004266ebcdd38021ba700114a060c600460bc0026ea801054ccc16ccdc3a40080042646464a6660bc66e1d200400213375e6e9c010dd38008a503063002305e00137540082a6660b666e1d20060021323232533305e3370e9003001099baf374e0086e9c0045281831801182f0009baa0041323232533305e3370e9000001099baf374e0086e9c0045281831801182f0009baa0043060002305b001375400466e95200204d00b002149854cc14d240105424944453900161533053491054249444538001630593058305a001330504901054249444537003304400f0091533051490105424944453600163304f49105424944453500303d0011533050490105424944453400163056305530570013304d4901054249444533003304100d00630560023051001375400a2a660969210542494445320016305130463052002153304a490105424944453100163304849105424944453000323232533304f3370e900100109919199827911299982980089128008a99982a1801182c000899111801001982c000899801801182b800919baf3056305700100300137586460aa60ac00260a860aa00c60a600220a060a8004609e0026ea8c140c13cc144008c13cc140004dd70039bae006375c00a0080060040024607644a66607c002294454cc02cc00cc10c0044c008c108004888cccc01000c880080080048c0e4c00800488c8c88cc00400c0088894ccc0f80044cc0d800c0084c8c8c94ccc108cdd780100089981c99bb0002330093048006304800333300822002005304500415333042337206eb8008dd700089981c803199980411000801982280200289981c801999980411000803002982280218218011821002182180091299981e001080089999801910009820801182000100091807981e9811181f00091198151191981980080219181f9820000981f181e981f8009bac303d303c303e00122323253300633005300f303e002300f303e001133005300f303e303d001300f303e303d002303e002303d0022232323232533303b53300b5330070021001153300730090021300900113300a00400313300e004003300e303e303d004300d303d303c004303c002303b0022233303600200100314a046660660029412891299801998030010008998028010009198188008010a512232323253330333370e90000010991919299981b19b87480000085288a50303b002303600137540082a66606666e1d2002002132323253330363370e900100109919b87375a607600a0026eb4c0e8004528181d801181b0009baa004132323253330363370e90020010a5114a06076004606c0026ea8010c0e0008c0cc004dd500111191919299981919b87480000085288a99981919b87480080084c8c8c94ccc0d4cdc3a4000004294054ccc0d4cdc3a400800429444cdc41bad3039004375a60720026074004606a0026ea80104c8c8c94ccc0d4cdc3a40080042944528181d001181a8009baa004303700230320013754004466e1cc0bcdd5000a400406046600466e952002330220010213374a9002010911980199ba548000cc088008cc088010084cdd2a400066044002660440080424466e95200033021002330210010204c0103d87a800022330030010022302422533302700114a02a66605066ebcc0b000400c5288980118158009191919299981419b874800800840a44c070dd71816000981680118140009baa3029302a0012233300800200300148810c5354414e44494e475f42494400223330034a046600a002004004444646464a66604c66e1d2002002100613005302a001302b002302600137540024466006002604a604c0044466ebcdd398128011ba730250012223370e6660086eacc090c08cc09400400c00920022223333004002480008cccc014009200075a6eac00400c8c008dd480091111980e11299980f80088028a99981019baf3022302400100613004302630240011300230230010012301d30020012301c30020012301b3011001232323232533301b3370e9002001098079803180f800880e1810001180d8009baa001301b3012301c00123232323200553330193370e900000109919191919191924ca66603c0022930a9980e0068b1810803299980e99b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c926533302b001149854cc0a406858c0b800cdd7000981680098158019bae001302a0013028003375a002604e002604a00ca66604266e1d20000021323232323232323232324994ccc0a4004526153302701816302c003375c0026056002605200ca66604a66e1d20000021323232323232323232323232324994ccc0c0004526153302e01f163033006533302f3370e900000109919191919191924ca6660680022930a998190118b181b803299981999b87480000084c8c8c8c8c8c8c9265333038001149854cc0d809c58c0ec0194ccc0dccdc3a400000426464a66607266e1cdc6800a40702646493299981c8008a4c2a6606e0502c60780062a6606c04a2c6eb8004c0ec00454ccc0dccdc3a400400426464a66607266e1cdc6800a40702646493299981c8008a4c2a6606e0502c60780062a6606c04c2c6eb8004c0ec00454cc0d009858c0f0008c0dc004dd5000981b8008a99981999b87480080084c8c8c8c8c8c8c8c8c8c926533303b001149854cc0e40a858c0f800cdd6800981e800981d8019bad001303a0013038003375a002606e0022a660600442c607000460660026ea8004c0cc00454ccc0bccdc3a40040042649329998170008a4c2a6605803a2c2a6605803c2c6068004605e0026ea8004c0bc004c0b40194ccc0a4cdc3a400000426464a66605666e1cdc6800a4070264649329998158008a4c2a660520342c605c0062a6605002e2c6eb8004c0b400454ccc0a4cdc3a400400426464a66605666e1cdc6800a4070264649329998158008a4c2a660520342c605c0062a660500302c6eb8004c0b400454cc09806058c0b8008c0a4004dd500098148008a9981100a0b181500118128009baa0013025001153301e0101630260023021001375400260420022a660340182c6044004603a0026ea8004c07400454ccc064cdc3a400400426493299980c0008a4c2a6602c00e2c2a6602c0102c603c00460320026ea800524012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67004901317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f720022330032323300c00100432301830190013017301630180013758602c602e0024460066600c004002601844a66601e00220222a666020600660260022600860280022022ae8c888c00800c8c028894ccc03400440104c94ccc03cc0100044cc018004c00cc0480084c00cc048008c0480052f5c0ae8088c8c8c8c94ccc038cdc3a400000429404cdc79bae30120010053013002300e0013754002601c601e004460166004002460146004002460126012002446600240022a660060042cae708c8c0088cc0080080048c0088cc00800800555cfab9a2250015573aae895d0918011baa0015573d", + "cborHex": "5910f85910f50100003232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222222223333333222222232325333059332232323370e6660b6444a6660be002200426600666e0000920023063001480000052002330512330333230623063001306130603062001004001375860be60c00026460bc60be00260ba60b860bc002004264a6660b4664466028460066eacc18c004004c88cc0508c00cdd69831800800919b8700148000cc88ccc8c05888dd3198019bab00237560024466602e446ea0cdc09bad002375a0020040020040026eac0052f5bded8c02646464a6660ba66e1d2002002132533305e3301c302830623045306300b0011323253330603303100e00113253330613303400100d1323253330633303a0110011533306333304023304d0013374a900202d0060010a4c2a660c092106424944453137001615330604910642494445313600163066306530670013305d490106424944453135003305101000a153305e49010642494445313400163305c4910642494445313300304a001153305d49010642494445313200163063306230640013305a490106424944453131003304e00e007153305b49010642494445313000163061304330620061533305d3370e90020010991919299983019818807000899299983098119981a0008068a9998309980f980e80718328020992999831198181bac3066306500537520022930a9982fa490642494445323400163305d491064249444532330030313065306600d153305e4901064249444532320016153305e4910642494445323100163305c4910642494445323000304a001153305d49010642494445313900163063306230640013305a490106424944453138003301b00e007304330620061533305d3370e90030010991919299983019818807000899299983099191919299983299b87480080084c8c8c94ccc1a0cdc3a4004004266ebcdd38021ba700114a060da00460d00026ea801054ccc194cdc3a40080042646464a6660d066e1d200400213375e6e9c010dd38008a50306d002306800137540082646464a6660d066e1d200000213375e6e9c010dd38008a50306d0023068001375400860d400460ca0026ea8008cdd2a40080ae2a6660c26603e603a01c60ca008264a6660c4660606eb0c198c194014dd48008a4c2a660be92010642494445333100163305d491064249444533300030313065306600d153305e4901064249444532390016153305e4910642494445323800163305c49106424944453237003232323253330643370e90020010982c1919191919002a99983419b87480000084c9265333067001149854cc1941585854ccc1a0cdc3a40040042649329998338008a4c2a660ca0ac2c2a6660d066e1d20040021324994ccc19c004526153306505616153306505716306d0023068001375400260d000220ca60d200460c80026ea8004c190c16cc19400454cc1752410642494445323600163063306230640013305a490106424944453235003301b00d007304330620061533305d3370e9004001099299982f1980e18141831182218318059831000899299982f998169bac3063306200237520022930a9982e24810642494445333400163305a4910642494445333300302e3062306300a153305b49010642494445333200163043306200613232533305f3303000d00113253330603303300100c132325333062330390100011533306233303f23304c0013374a900102c8058010a4c2a660be92010542494445390016153305f49105424944453800163065306430660013305c4901054249444537003305000f009153305d490105424944453600163305b491054249444535003049001153305c49010542494445340016306230613063001330594901054249444533003304d00d0063062002305d001375400a2a660ae9210542494445320016305d3052305e0021533056490105424944453100163305449105424944453000323232533305b3370e90010010991919982d911299982f80089128008a9998301801183200089911180100198320008998018011831800919baf3062306300100300137586460c260c400260c060c200c60be00220b860c000460b60026ea8c170c16cc174008c16cc170004dd70039bae006375c00a0080060040024608e44a666094002294454cc02cc00cc13c0044c008c138004888cccc01000c880080080048c114c00800488c8c88cc00400c0088894ccc1280044cc10800c0084c8c8c94ccc138cdd780100089982299bb000233009305400630540033330082200200530510041533304e337206eb8008dd700089982280319998041100080198288020028998228019999804110008030029828802182780118270021827800912999824001080089999801910009826801182600100091807982498169825000911981b1191981f80080219182598260009825182498258009bac30493048304a00122323253300633005300f304a002300f304a001133005300f304a3049001300f304a3049002304a00230490022232323232533304753300b5330070021001153300730090021300900113300a00400313300e004003300e304a3049004300d30493048004304800230470022233304200200100314a0466607e00294128912998019980300100089980280100091981e8008010a5122323232533303f3370e90000010991919299982119b87480000085288a503047002304200137540082a66607e66e1d2002002132323253330423370e900100109919b87375a608e00a0026eb4c118004528182380118210009baa004132323253330423370e90020010a5114a0608e00460840026ea8010c110008c0fc004dd500111191919299981f19b87480000085288a99981f19b87480080084c8c8c94ccc104cdc3a4000004294054ccc104cdc3a400800429444cdc41bad3045004375a608a002608c00460820026ea80104c8c8c94ccc104cdc3a40080042944528182300118208009baa0043043002303e0013754004466e1cc0ecdd5000a400407846600466e9520023302e00102d3374a9002016911980199ba548000cc0b8008cc0b80100b4cdd2a40006605c0026605c00805a4466e9520003302d0023302d00102c4c0103d87a800022330030010022303022533303300114a02a66606866ebcc0e000400c52889801181b8009191919299981a19b874800800840d44c0a0dd7181c000981c801181a0009baa303530360012233300900200300148810c5354414e44494e475f42494400223330034a046600a002004004444646464a66606466e1d200200210061300530360013037002303200137540024466006002606260640044466ebcdd398188011ba73031001223330030020070012223370e6660086eacc0bcc0b8c0c000400c00920022223333004002480008cccc014009200075a6eac00400c8c008dd480091111981391299981500088028a99981599baf302d302f001006130043031302f00113002302e00100148810741554354494f4e00222323232323330084a0460100020026601000200666e9520023301f00101e302b302c002375660546014605600444466002460060022006446600646464646400aa66604e66e1d20000021324994ccc098004526153302401516153330273370e900100109924ca66604c0022930a9981200a8b0a99981399b87480100084c9265333026001149854cc0900545854ccc09ccdc3a400c0042649329998130008a4c2a6604802a2c2a6604802c2c6058004604e0026ea8004cc01000800488cc0048c888c00800cc00c00448940048cc00800c004888cc07c894ccc088004489400454ccc08ccdd79812981380080209802981380089801181300080091911180100198120009181018010009180f98010009180f18010009180e98010009180e180900091191919299980e19b87480080084c8c8c94ccc07ccdc3a4004004266ebcdd38021ba700114a06048004603e0026ea801054ccc070cdc3a40080042646464a66603e66e1d200400213375e6e9c010dd38008a503024002301f00137540082a66603866e1d20060021323232533301f3370e9003001099baf374e0086e9c0045281812001180f8009baa0041323232533301f3370e9000001099baf374e0086e9c0045281812001180f8009baa0043021002301c0013754004464646464a66603666e1d20040021300f3006301f001101c3020002301b001375400260366024603800246464646400aa66603266e1d20000021323232323232324994ccc078004526153301c00d163021006533301d3370e900000109919191919191919191919191919191924ca6660560022930a9981480d0b18170019bae001302d001302b003375c002605400260500066eb4004c09c004c0940194ccc084cdc3a40000042646464646464646464649329998148008a4c2a6604e0302c60580066eb8004c0ac004c0a40194ccc094cdc3a40000042646464646464646464646464649329998180008a4c2a6605c03e2c606600ca66605e66e1d20000021323232323232324994ccc0d0004526153303202316303700653330333370e900000109919191919191924ca6660700022930a9981b0138b181d803299981b99b87480000084c8c94ccc0e4cdc39b8d001480e04c8c9265333039001149854cc0dc0a058c0f000c54cc0d809458dd7000981d8008a99981b99b87480080084c8c94ccc0e4cdc39b8d001480e04c8c9265333039001149854cc0dc0a058c0f000c54cc0d809858dd7000981d8008a9981a0130b181e001181b8009baa0013037001153330333370e900100109919191919191919191924ca6660760022930a9981c8150b181f0019bad001303d001303b003375a002607400260700066eb4004c0dc00454cc0c008858c0e0008c0cc004dd500098198008a99981799b87480080084c926533302e001149854cc0b00745854cc0b007858c0d0008c0bc004dd500098178009816803299981499b87480000084c8c94ccc0accdc39b8d001480e04c8c926533302b001149854cc0a406858c0b800c54cc0a005c58dd700098168008a99981499b87480080084c8c94ccc0accdc39b8d001480e04c8c926533302b001149854cc0a406858c0b800c54cc0a006058dd700098168008a9981300c0b181700118148009baa0013029001153302201416302a00230250013754002604a0022a6603c0202c604c00460420026ea8004c08400454cc06803058c088008c074004dd5000980e8008a99980c99b87480080084c9265333018001149854cc05801c5854cc05802058c078008c064004dd5000a4812c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67004901317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f720022330032323300c00100432301830190013017301630180013758602c602e0024460066600c004002601844a66601e00220222a666020600660260022600860280022022ae8c888c00800c8c028894ccc03400440104c94ccc03cc0100044cc018004c00cc0480084c00cc048008c0480052f5c0ae8088c8c8c8c94ccc038cdc3a400000429404cdc79bae30120010053013002300e0013754002601c601e004460166004002460146004002460126012002446600240022a660060042cae708c8c0088cc0080080048c0088cc00800800555cfab9a2250015573aae895d0918011baa0015573d", "description": "Bidder deposit validator", "params": [ "Ply.Core.Types:AsData#HydraAuctionOnchain.Types.Scripts:StandingBidScriptHash", @@ -7,7 +7,7 @@ "Ply.Core.Types:AsData#PlutusLedgerApi.V1.Value:CurrencySymbol", "Ply.Core.Types:AsData#HydraAuctionOnchain.Types.AuctionTerms:AuctionTerms" ], - "rawHex": "590fe0010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232533304d332232323370e66609e444a6660a6002200426600666e0000920023057001480000052002330452330333230563057001305530543056001004001375860a660a80026460a460a600260a260a060a4002004264a66609c664466028460066eacc15c004004c88cc0508c00cdd6982b800800919b8700148000cc88ccc8c05888dd3198019bab00237560024466602e446ea0cdc09bad002375a0020040020040026eac0052f5bded8c02646464a6660a266e1d2002002132323253330543303100e001132533305530233303400100d153330553301f301d00e3059004132533305633030375860b460b200a6ea4004526153305349106424944453136001633051491064249444531350030313059305a00d153305249010642494445313400161533052491064249444531330016330504910642494445313200303e001153305149010642494445313100163057305630580013304e490106424944453130003301b00e00730383056006153330513370e90020010991919299982a19818807000899299982a99191919299982c99b87480080084c8c8c94ccc170cdc3a4004004266ebcdd38021ba700114a060c200460b80026ea801054ccc164cdc3a40080042646464a6660b866e1d200400213375e6e9c010dd38008a503061002305c00137540082646464a6660b866e1d200000213375e6e9c010dd38008a503061002305c001375400860bc00460b20026ea8008cdd2a40080962a6660aa6603e603a01c60b2008264a6660ac660606eb0c168c164014dd48008a4c2a660a6920106424944453233001633051491064249444532320030313059305a00d1533052490106424944453231001615330524910642494445323000163305049106424944453139003232323253330583370e9002001098261919191919002a99982e19b87480000084c926533305b001149854cc1641285854ccc170cdc3a400400426493299982d8008a4c2a660b20942c2a6660b866e1d20040021324994ccc16c004526153305904a16153305904b163061002305c001375400260b800220b260ba00460b00026ea8004c160c13cc16400454cc1452410642494445313800163057305630580013304e490106424944453137003301b00d00730383056006153330513370e900300109929998291980e1814182b181c982b805982b0008992999829998169bac3057305600237520022930a9982824810642494445323600163304e4910642494445323500302e3056305700a153304f4901064249444532340016303830560061323253330533303000d00113253330543303300100c13232533305633303901048810741554354494f4e000011533305633322232323232333222330012300300110034a0460100020026644660024644460040066006002244a00246464646400aa6660c066e1d20000021324994ccc17c004526153305d04e16153330603370e900100109924ca6660be0022930a9982e8270b0a99983019b87480100084c926533305f001149854cc1741385854ccc180cdc3a400c00426493299982f8008a4c2a660ba09c2c2a660ba09e2c60ca00460c00026ea8004ccc888cc174894ccc180004489400454ccc184cdd798319832800802098029832800898011832000800919111801001983180080080199ba548008cc148004144c178c17c008dd5982e99182e982e9820800982f001119191919299982d99b87480080084c8c8c94ccc178cdc3a4004004266ebcdd38021ba700114a060c600460bc0026ea801054ccc16ccdc3a40080042646464a6660bc66e1d200400213375e6e9c010dd38008a503063002305e00137540082a6660b666e1d20060021323232533305e3370e9003001099baf374e0086e9c0045281831801182f0009baa0041323232533305e3370e9000001099baf374e0086e9c0045281831801182f0009baa0043060002305b001375400466e95200204d00b002149854cc14d240105424944453900161533053491054249444538001630593058305a001330504901054249444537003304400f0091533051490105424944453600163304f49105424944453500303d0011533050490105424944453400163056305530570013304d4901054249444533003304100d00630560023051001375400a2a660969210542494445320016305130463052002153304a490105424944453100163304849105424944453000323232533304f3370e900100109919199827911299982980089128008a99982a1801182c000899111801001982c000899801801182b800919baf3056305700100300137586460aa60ac00260a860aa00c60a600220a060a8004609e0026ea8c140c13cc144008c13cc140004dd70039bae006375c00a0080060040024607644a66607c002294454cc02cc00cc10c0044c008c108004888cccc01000c880080080048c0e4c00800488c8c88cc00400c0088894ccc0f80044cc0d800c0084c8c8c94ccc108cdd780100089981c99bb0002330093048006304800333300822002005304500415333042337206eb8008dd700089981c803199980411000801982280200289981c801999980411000803002982280218218011821002182180091299981e001080089999801910009820801182000100091807981e9811181f00091198151191981980080219181f9820000981f181e981f8009bac303d303c303e00122323253300633005300f303e002300f303e001133005300f303e303d001300f303e303d002303e002303d0022232323232533303b53300b5330070021001153300730090021300900113300a00400313300e004003300e303e303d004300d303d303c004303c002303b0022233303600200100314a046660660029412891299801998030010008998028010009198188008010a512232323253330333370e90000010991919299981b19b87480000085288a50303b002303600137540082a66606666e1d2002002132323253330363370e900100109919b87375a607600a0026eb4c0e8004528181d801181b0009baa004132323253330363370e90020010a5114a06076004606c0026ea8010c0e0008c0cc004dd500111191919299981919b87480000085288a99981919b87480080084c8c8c94ccc0d4cdc3a4000004294054ccc0d4cdc3a400800429444cdc41bad3039004375a60720026074004606a0026ea80104c8c8c94ccc0d4cdc3a40080042944528181d001181a8009baa004303700230320013754004466e1cc0bcdd5000a400406046600466e952002330220010213374a9002010911980199ba548000cc088008cc088010084cdd2a400066044002660440080424466e95200033021002330210010204c0103d87a800022330030010022302422533302700114a02a66605066ebcc0b000400c5288980118158009191919299981419b874800800840a44c070dd71816000981680118140009baa3029302a0012233300800200300148810c5354414e44494e475f42494400223330034a046600a002004004444646464a66604c66e1d2002002100613005302a001302b002302600137540024466006002604a604c0044466ebcdd398128011ba730250012223370e6660086eacc090c08cc09400400c00920022223333004002480008cccc014009200075a6eac00400c8c008dd480091111980e11299980f80088028a99981019baf3022302400100613004302630240011300230230010012301d30020012301c30020012301b3011001232323232533301b3370e9002001098079803180f800880e1810001180d8009baa001301b3012301c00123232323200553330193370e900000109919191919191924ca66603c0022930a9980e0068b1810803299980e99b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c926533302b001149854cc0a406858c0b800cdd7000981680098158019bae001302a0013028003375a002604e002604a00ca66604266e1d20000021323232323232323232324994ccc0a4004526153302701816302c003375c0026056002605200ca66604a66e1d20000021323232323232323232323232324994ccc0c0004526153302e01f163033006533302f3370e900000109919191919191924ca6660680022930a998190118b181b803299981999b87480000084c8c8c8c8c8c8c9265333038001149854cc0d809c58c0ec0194ccc0dccdc3a400000426464a66607266e1cdc6800a40702646493299981c8008a4c2a6606e0502c60780062a6606c04a2c6eb8004c0ec00454ccc0dccdc3a400400426464a66607266e1cdc6800a40702646493299981c8008a4c2a6606e0502c60780062a6606c04c2c6eb8004c0ec00454cc0d009858c0f0008c0dc004dd5000981b8008a99981999b87480080084c8c8c8c8c8c8c8c8c8c926533303b001149854cc0e40a858c0f800cdd6800981e800981d8019bad001303a0013038003375a002606e0022a660600442c607000460660026ea8004c0cc00454ccc0bccdc3a40040042649329998170008a4c2a6605803a2c2a6605803c2c6068004605e0026ea8004c0bc004c0b40194ccc0a4cdc3a400000426464a66605666e1cdc6800a4070264649329998158008a4c2a660520342c605c0062a6605002e2c6eb8004c0b400454ccc0a4cdc3a400400426464a66605666e1cdc6800a4070264649329998158008a4c2a660520342c605c0062a660500302c6eb8004c0b400454cc09806058c0b8008c0a4004dd500098148008a9981100a0b181500118128009baa0013025001153301e0101630260023021001375400260420022a660340182c6044004603a0026ea8004c07400454ccc064cdc3a400400426493299980c0008a4c2a6602c00e2c2a6602c0102c603c00460320026ea800524012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67004901317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f720022330032323300c00100432301830190013017301630180013758602c602e0024460066600c004002601844a66601e00220222a666020600660260022600860280022022ae8c888c00800c8c028894ccc03400440104c94ccc03cc0100044cc018004c00cc0480084c00cc048008c0480052f5c0ae8088c8c8c8c94ccc038cdc3a400000429404cdc79bae30120010053013002300e0013754002601c601e004460166004002460146004002460126012002446600240022a660060042cae708c8c0088cc0080080048c0088cc00800800555cfab9a2250015573aae895d0918011baa0015573d", + "rawHex": "5910f50100003232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222222223333333222222232325333059332232323370e6660b6444a6660be002200426600666e0000920023063001480000052002330512330333230623063001306130603062001004001375860be60c00026460bc60be00260ba60b860bc002004264a6660b4664466028460066eacc18c004004c88cc0508c00cdd69831800800919b8700148000cc88ccc8c05888dd3198019bab00237560024466602e446ea0cdc09bad002375a0020040020040026eac0052f5bded8c02646464a6660ba66e1d2002002132533305e3301c302830623045306300b0011323253330603303100e00113253330613303400100d1323253330633303a0110011533306333304023304d0013374a900202d0060010a4c2a660c092106424944453137001615330604910642494445313600163066306530670013305d490106424944453135003305101000a153305e49010642494445313400163305c4910642494445313300304a001153305d49010642494445313200163063306230640013305a490106424944453131003304e00e007153305b49010642494445313000163061304330620061533305d3370e90020010991919299983019818807000899299983098119981a0008068a9998309980f980e80718328020992999831198181bac3066306500537520022930a9982fa490642494445323400163305d491064249444532330030313065306600d153305e4901064249444532320016153305e4910642494445323100163305c4910642494445323000304a001153305d49010642494445313900163063306230640013305a490106424944453138003301b00e007304330620061533305d3370e90030010991919299983019818807000899299983099191919299983299b87480080084c8c8c94ccc1a0cdc3a4004004266ebcdd38021ba700114a060da00460d00026ea801054ccc194cdc3a40080042646464a6660d066e1d200400213375e6e9c010dd38008a50306d002306800137540082646464a6660d066e1d200000213375e6e9c010dd38008a50306d0023068001375400860d400460ca0026ea8008cdd2a40080ae2a6660c26603e603a01c60ca008264a6660c4660606eb0c198c194014dd48008a4c2a660be92010642494445333100163305d491064249444533300030313065306600d153305e4901064249444532390016153305e4910642494445323800163305c49106424944453237003232323253330643370e90020010982c1919191919002a99983419b87480000084c9265333067001149854cc1941585854ccc1a0cdc3a40040042649329998338008a4c2a660ca0ac2c2a6660d066e1d20040021324994ccc19c004526153306505616153306505716306d0023068001375400260d000220ca60d200460c80026ea8004c190c16cc19400454cc1752410642494445323600163063306230640013305a490106424944453235003301b00d007304330620061533305d3370e9004001099299982f1980e18141831182218318059831000899299982f998169bac3063306200237520022930a9982e24810642494445333400163305a4910642494445333300302e3062306300a153305b49010642494445333200163043306200613232533305f3303000d00113253330603303300100c132325333062330390100011533306233303f23304c0013374a900102c8058010a4c2a660be92010542494445390016153305f49105424944453800163065306430660013305c4901054249444537003305000f009153305d490105424944453600163305b491054249444535003049001153305c49010542494445340016306230613063001330594901054249444533003304d00d0063062002305d001375400a2a660ae9210542494445320016305d3052305e0021533056490105424944453100163305449105424944453000323232533305b3370e90010010991919982d911299982f80089128008a9998301801183200089911180100198320008998018011831800919baf3062306300100300137586460c260c400260c060c200c60be00220b860c000460b60026ea8c170c16cc174008c16cc170004dd70039bae006375c00a0080060040024608e44a666094002294454cc02cc00cc13c0044c008c138004888cccc01000c880080080048c114c00800488c8c88cc00400c0088894ccc1280044cc10800c0084c8c8c94ccc138cdd780100089982299bb000233009305400630540033330082200200530510041533304e337206eb8008dd700089982280319998041100080198288020028998228019999804110008030029828802182780118270021827800912999824001080089999801910009826801182600100091807982498169825000911981b1191981f80080219182598260009825182498258009bac30493048304a00122323253300633005300f304a002300f304a001133005300f304a3049001300f304a3049002304a00230490022232323232533304753300b5330070021001153300730090021300900113300a00400313300e004003300e304a3049004300d30493048004304800230470022233304200200100314a0466607e00294128912998019980300100089980280100091981e8008010a5122323232533303f3370e90000010991919299982119b87480000085288a503047002304200137540082a66607e66e1d2002002132323253330423370e900100109919b87375a608e00a0026eb4c118004528182380118210009baa004132323253330423370e90020010a5114a0608e00460840026ea8010c110008c0fc004dd500111191919299981f19b87480000085288a99981f19b87480080084c8c8c94ccc104cdc3a4000004294054ccc104cdc3a400800429444cdc41bad3045004375a608a002608c00460820026ea80104c8c8c94ccc104cdc3a40080042944528182300118208009baa0043043002303e0013754004466e1cc0ecdd5000a400407846600466e9520023302e00102d3374a9002016911980199ba548000cc0b8008cc0b80100b4cdd2a40006605c0026605c00805a4466e9520003302d0023302d00102c4c0103d87a800022330030010022303022533303300114a02a66606866ebcc0e000400c52889801181b8009191919299981a19b874800800840d44c0a0dd7181c000981c801181a0009baa303530360012233300900200300148810c5354414e44494e475f42494400223330034a046600a002004004444646464a66606466e1d200200210061300530360013037002303200137540024466006002606260640044466ebcdd398188011ba73031001223330030020070012223370e6660086eacc0bcc0b8c0c000400c00920022223333004002480008cccc014009200075a6eac00400c8c008dd480091111981391299981500088028a99981599baf302d302f001006130043031302f00113002302e00100148810741554354494f4e00222323232323330084a0460100020026601000200666e9520023301f00101e302b302c002375660546014605600444466002460060022006446600646464646400aa66604e66e1d20000021324994ccc098004526153302401516153330273370e900100109924ca66604c0022930a9981200a8b0a99981399b87480100084c9265333026001149854cc0900545854ccc09ccdc3a400c0042649329998130008a4c2a6604802a2c2a6604802c2c6058004604e0026ea8004cc01000800488cc0048c888c00800cc00c00448940048cc00800c004888cc07c894ccc088004489400454ccc08ccdd79812981380080209802981380089801181300080091911180100198120009181018010009180f98010009180f18010009180e98010009180e180900091191919299980e19b87480080084c8c8c94ccc07ccdc3a4004004266ebcdd38021ba700114a06048004603e0026ea801054ccc070cdc3a40080042646464a66603e66e1d200400213375e6e9c010dd38008a503024002301f00137540082a66603866e1d20060021323232533301f3370e9003001099baf374e0086e9c0045281812001180f8009baa0041323232533301f3370e9000001099baf374e0086e9c0045281812001180f8009baa0043021002301c0013754004464646464a66603666e1d20040021300f3006301f001101c3020002301b001375400260366024603800246464646400aa66603266e1d20000021323232323232324994ccc078004526153301c00d163021006533301d3370e900000109919191919191919191919191919191924ca6660560022930a9981480d0b18170019bae001302d001302b003375c002605400260500066eb4004c09c004c0940194ccc084cdc3a40000042646464646464646464649329998148008a4c2a6604e0302c60580066eb8004c0ac004c0a40194ccc094cdc3a40000042646464646464646464646464649329998180008a4c2a6605c03e2c606600ca66605e66e1d20000021323232323232324994ccc0d0004526153303202316303700653330333370e900000109919191919191924ca6660700022930a9981b0138b181d803299981b99b87480000084c8c94ccc0e4cdc39b8d001480e04c8c9265333039001149854cc0dc0a058c0f000c54cc0d809458dd7000981d8008a99981b99b87480080084c8c94ccc0e4cdc39b8d001480e04c8c9265333039001149854cc0dc0a058c0f000c54cc0d809858dd7000981d8008a9981a0130b181e001181b8009baa0013037001153330333370e900100109919191919191919191924ca6660760022930a9981c8150b181f0019bad001303d001303b003375a002607400260700066eb4004c0dc00454cc0c008858c0e0008c0cc004dd500098198008a99981799b87480080084c926533302e001149854cc0b00745854cc0b007858c0d0008c0bc004dd500098178009816803299981499b87480000084c8c94ccc0accdc39b8d001480e04c8c926533302b001149854cc0a406858c0b800c54cc0a005c58dd700098168008a99981499b87480080084c8c94ccc0accdc39b8d001480e04c8c926533302b001149854cc0a406858c0b800c54cc0a006058dd700098168008a9981300c0b181700118148009baa0013029001153302201416302a00230250013754002604a0022a6603c0202c604c00460420026ea8004c08400454cc06803058c088008c074004dd5000980e8008a99980c99b87480080084c9265333018001149854cc05801c5854cc05802058c078008c064004dd5000a4812c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67004901317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f720022330032323300c00100432301830190013017301630180013758602c602e0024460066600c004002601844a66601e00220222a666020600660260022600860280022022ae8c888c00800c8c028894ccc03400440104c94ccc03cc0100044cc018004c00cc0480084c00cc048008c0480052f5c0ae8088c8c8c8c94ccc038cdc3a400000429404cdc79bae30120010053013002300e0013754002601c601e004460166004002460146004002460126012002446600240022a660060042cae708c8c0088cc0080080048c0088cc00800800555cfab9a2250015573aae895d0918011baa0015573d", "role": "ValidatorRole", "version": "ScriptV2" } \ No newline at end of file diff --git a/src/HydraAuctionOnchain/Errors/Validators/BidderDeposit.hs b/src/HydraAuctionOnchain/Errors/Validators/BidderDeposit.hs index ff918a8..bc326c4 100644 --- a/src/HydraAuctionOnchain/Errors/Validators/BidderDeposit.hs +++ b/src/HydraAuctionOnchain/Errors/Validators/BidderDeposit.hs @@ -18,6 +18,15 @@ data PBidderDepositError (s :: S) | BidderDeposit'UseDepositWinner'Error'MissingAuctionEscrowInput | BidderDeposit'UseDepositWinner'Error'AuctionEscrowInputMissingToken | BidderDeposit'UseDepositWinner'Error'InvalidAuctionEscrowRedeemer + | -- ClaimDepositSeller errors + BidderDeposit'ClaimDepositSeller'Error'IncorrectValidityInterval + | BidderDeposit'ClaimDepositSeller'Error'MissingStandingBidInput + | BidderDeposit'ClaimDepositSeller'Error'StandingBidInputMissingToken + | BidderDeposit'ClaimDepositSeller'Error'FailedToDecodeStandingBidState + | BidderDeposit'ClaimDepositSeller'Error'BidderNotWinner + | BidderDeposit'ClaimDepositSeller'Error'MissingAuctionEscrowInput + | BidderDeposit'ClaimDepositSeller'Error'AuctionEscrowInputMissingToken + | BidderDeposit'ClaimDepositSeller'Error'InvalidAuctionEscrowRedeemer | -- ReclaimDepositLoser errors BidderDeposit'ReclaimDepositLoser'Error'MissingStandingBidInput | BidderDeposit'ReclaimDepositLoser'Error'StandingBidInputMissingToken diff --git a/src/HydraAuctionOnchain/Types/AuctionTerms.hs b/src/HydraAuctionOnchain/Types/AuctionTerms.hs index e672509..fc274d9 100644 --- a/src/HydraAuctionOnchain/Types/AuctionTerms.hs +++ b/src/HydraAuctionOnchain/Types/AuctionTerms.hs @@ -6,6 +6,7 @@ module HydraAuctionOnchain.Types.AuctionTerms , pcleanupPeriod , ppenaltyPeriod , ppostBiddingPeriod + , ppostPurchasePeriod , ppurchasePeriod , ptotalAuctionFees , pvalidateAuctionTerms @@ -168,3 +169,8 @@ ppostBiddingPeriod :: Term s (PAuctionTerms :--> PPOSIXTimeRange) ppostBiddingPeriod = phoistAcyclic $ plam $ \auctionTerms -> Interval.pfrom #$ pfield @"biddingEnd" # auctionTerms + +ppostPurchasePeriod :: Term s (PAuctionTerms :--> PPOSIXTimeRange) +ppostPurchasePeriod = phoistAcyclic $ + plam $ \auctionTerms -> + Interval.pfrom #$ pfield @"purchaseDeadline" # auctionTerms diff --git a/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs b/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs index 416ea08..08c8bc2 100644 --- a/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs +++ b/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs @@ -255,7 +255,7 @@ pcheckStartBidding = phoistAcyclic $ pcon PUnit ---------------------------------------------------------------------- --- StartBidding +-- BidderBuys pcheckBidderBuys :: Term diff --git a/src/HydraAuctionOnchain/Validators/BidderDeposit.hs b/src/HydraAuctionOnchain/Validators/BidderDeposit.hs index d265c71..63f88eb 100644 --- a/src/HydraAuctionOnchain/Validators/BidderDeposit.hs +++ b/src/HydraAuctionOnchain/Validators/BidderDeposit.hs @@ -3,6 +3,7 @@ module HydraAuctionOnchain.Validators.BidderDeposit ( PBidderDepositRedeemer ( UseDepositWinnerRedeemer + , ClaimDepositSellerRedeemer , ReclaimDepositLoserRedeemer , ReclaimDepositAuctionConcludedRedeemer , ReclaimDepositCleanupRedeemer @@ -26,6 +27,7 @@ import HydraAuctionOnchain.Types.AuctionTerms ( PAuctionTerms , pcleanupPeriod , ppostBiddingPeriod + , ppostPurchasePeriod ) import HydraAuctionOnchain.Types.BidderInfo (PBidderInfo) import HydraAuctionOnchain.Types.Error (errCode, passert, passertMaybe) @@ -36,7 +38,7 @@ import HydraAuctionOnchain.Types.Tokens , ptxOutContainsStandingBidToken ) import HydraAuctionOnchain.Validators.AuctionEscrow - ( PAuctionEscrowRedeemer (BidderBuysRedeemer) + ( PAuctionEscrowRedeemer (BidderBuysRedeemer, SellerReclaimsRedeemer) ) import Plutarch.Api.V2 (PCurrencySymbol, PScriptContext, PTxInfo) import Plutarch.Extra.Interval (pcontains) @@ -48,6 +50,7 @@ import Plutarch.Monadic qualified as P data PBidderDepositRedeemer (s :: S) = UseDepositWinnerRedeemer (Term s (PDataRecord '[])) + | ClaimDepositSellerRedeemer (Term s (PDataRecord '[])) | ReclaimDepositLoserRedeemer (Term s (PDataRecord '[])) | ReclaimDepositAuctionConcludedRedeemer (Term s (PDataRecord '[])) | ReclaimDepositCleanupRedeemer (Term s (PDataRecord '[])) @@ -103,6 +106,14 @@ bidderDepositValidator = phoistAcyclic $ # auctionEscrowSh # auctionCs # bidderInfo + ClaimDepositSellerRedeemer _ -> + pcheckClaimDepositSeller + # txInfo + # standingBidSh + # auctionEscrowSh + # auctionCs + # auctionTerms + # bidderInfo ReclaimDepositLoserRedeemer _ -> pcheckReclaimDepositLoser # txInfo @@ -189,6 +200,78 @@ pcheckUseDepositWinner = phoistAcyclic $ pcon PUnit +---------------------------------------------------------------------- +-- ClaimDepositSeller +-- +-- The bidder deposit is claimed by the seller if the auction lot has +-- not been purchased before the purchase deadline. + +pcheckClaimDepositSeller + :: Term + s + ( PTxInfo + :--> PStandingBidScriptHash + :--> PAuctionEscrowScriptHash + :--> PCurrencySymbol + :--> PAuctionTerms + :--> PBidderInfo + :--> PUnit + ) +pcheckClaimDepositSeller = phoistAcyclic $ + plam $ \txInfo standingBidSh auctionEscrowSh auctionCs auctionTerms bidderInfo -> P.do + -- This redeemer can only be used after the purchase deadline. + validRange <- plet $ pfield @"validRange" # txInfo + passert $(errCode BidderDeposit'ClaimDepositSeller'Error'IncorrectValidityInterval) $ + pcontains # (ppostPurchasePeriod # auctionTerms) # validRange + + -- There should be exactly one standing bid input. + standingBidInput <- + plet $ + passertMaybe + $(errCode BidderDeposit'ClaimDepositSeller'Error'MissingStandingBidInput) + (pfindUniqueInputWithScriptHash # pto standingBidSh # txInfo) + + -- The standing bid input should contain the standing + -- bid token. + standingBidInputResolved <- plet $ pfield @"resolved" # standingBidInput + passert $(errCode BidderDeposit'ClaimDepositSeller'Error'StandingBidInputMissingToken) $ + ptxOutContainsStandingBidToken # auctionCs # standingBidInputResolved + + -- The standing bid input contains a datum that can be decoded + -- as a standing bid state. + bidState <- + plet $ + passertMaybe + $(errCode BidderDeposit'ClaimDepositSeller'Error'FailedToDecodeStandingBidState) + (pdecodeInlineDatum # standingBidInputResolved) + + -- The bidder deposit's bidder won the auction. + passert $(errCode BidderDeposit'ClaimDepositSeller'Error'BidderNotWinner) $ + pbidderWon # bidState # bidderInfo + + -- There should be exactly one auction escrow input. + auctionEscrowInput <- + plet $ + passertMaybe + $(errCode BidderDeposit'ClaimDepositSeller'Error'MissingAuctionEscrowInput) + (pfindUniqueInputWithScriptHash # pto auctionEscrowSh # txInfo) + + -- The auction escrow input should contain the auction + -- escrow token. + auctionEscrowInputResolved <- plet $ pfield @"resolved" # auctionEscrowInput + passert $(errCode BidderDeposit'ClaimDepositSeller'Error'AuctionEscrowInputMissingToken) $ + ptxOutContainsAuctionEscrowToken # auctionCs # auctionEscrowInputResolved + + -- The auction escrow input is being spent with + -- the `SellerReclaims` redeemer. + passert $(errCode BidderDeposit'ClaimDepositSeller'Error'InvalidAuctionEscrowRedeemer) $ + pinputSpentWithRedeemer + # plam (\redeemer -> redeemer #== pcon (SellerReclaimsRedeemer pdnil)) + # txInfo + # auctionEscrowInput + + pcon PUnit + ---------------------------------------------------------------------- -- ReclaimDepositLoser -- From 11ce32baedaa4e4784d4f30124219a7fd6b03b9e Mon Sep 17 00:00:00 2001 From: Dzmitry Shuysky Date: Wed, 21 Feb 2024 15:21:03 +0100 Subject: [PATCH 2/2] feat(auction_escrow): allow auction lot reclaim after cleanup time --- compiled/auction_escrow_validator.plutus | 4 ++-- src/HydraAuctionOnchain/Types/AuctionTerms.hs | 9 --------- src/HydraAuctionOnchain/Validators/AuctionEscrow.hs | 7 +++---- 3 files changed, 5 insertions(+), 15 deletions(-) diff --git a/compiled/auction_escrow_validator.plutus b/compiled/auction_escrow_validator.plutus index c5d095e..6017a5a 100644 --- a/compiled/auction_escrow_validator.plutus +++ b/compiled/auction_escrow_validator.plutus @@ -1,5 +1,5 @@ { - "cborHex": "5918d35918d0010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232323232533307632323370e60a800290011983591983799183f183f800983e983e183f0008018009bac307b307c005153330763302600a307b307a307c002132323253330793370e900000109919299983d9980e980f119b8700148000ccc16dc09bab3080010020611533307b3301f3233028375a6102020026eb4c20404c20004004c1ccc20404038c2000400454ccc1eccc150dd6184000983f8009ba9008132533307c3302c010001132533307d5330543303000f3374a900003909981800099ba5480081c84c8c94ccc1fcc8c8c8c94ccc20c04cdc3a40040042646464a66610c0266e1d200000214a0266ebcdd38021ba7001308c0100230870100137540082646464a66610c0266e1d200200214a0266ebcdd38021ba7001308c0100230870100137540086112020046108020026ea8008cdd2a40040e82930a9983ea490641554553313300163307b491064155455331320030650013307a490106415545533131003306e233069308301308401001014375861040260ee6106020182a660f692106415545533130001633079491054155455339003068001153307a4901054155455338001633078491054155455337003306b00600a15330794901054155455336001615330794910541554553350016153307949105415545533400163074307e0013071307f008153330793370e90020010991919299983e1980f180f919b8700148000ccc171c09bab3081010030621533307c330203233029375a6104020026eb4c20804c20404004c074c2080403cc204040084c94ccc1f4cc0b404400454ccc1f4cc0c40440044c94ccc1f8cc0c004000454ccc1f8cc140dd59841808019919982f11192999841009983c98438080080209998313800033756610e02610c020022006610e020020ca6eb0c21004c1e4c21404038c20c04c2080400c54ccc1f8cc15cdd61841809841008021ba900b1533307e3371260b202260b66660ba4464a66610202660d8610c0200202c26660c2e0000cdd598430098428080088019843008008321bac308301307830840100d149854cc1f12401064155455334300016153307c491064155455333390016153307c491064155455333380016153307c4910641554553333700163307a49106415545533336003069001153307b4901064155455333350016153307b4910641554553333400163307949106415545533333003306c00700b153307a4901064155455333320016153307a49106415545533331001630810100e3074307e0013071307f008153330793370e900300109919299983d999119baf374c0046e98004c8cc8c06c8ccc008dd58009191118010019ba60011225001232533307e3071001122500112230020033301b2533307e3375e0026ea1200012250011223002003001001375661000200464646644660ea66ec0008004194dd48089ba600133301b4891041554354494f4e5f4d455441444154410000133301b02d00133301b03500106232337029000000a40042a6660f66603e646644664466e95200033076002330760010753374a90001983a0011983a01583999ba548000cc1d0004cc1d00ac1cccdd2a4004660e40020e266e95200407130800132308001301d00130810100e3080010011533307b33054375861000260fe0026ea402054ccc1eccc0b8034cdd2a40080e02a6660f66605e01e61000260fe61020200e2930a9983ca48106415545533435001615330794910641554553343400161533079491064155455334330016153307949106415545533432001615330794910641554553343100163074307e0013071307f0081323232533307c3301e301f23370e002900019982e38137566102020060c42a6660f86604064660526eb4c20804004dd69841009840808009815984100807984080801099299983e998168088008a99983e99818808800899299983f19818008000899192999840009981a00a0008991919192999842009919191919191919299831999998231bae3091013090010050030080024881014000133333046375c61220200a6eb8c24404c24004010c2440401000522101450033223322325333090013371200290000801099b8a33306f7140dc66611602444a6661260266e24009200014bd62099844808009980199b8100248008004004180008cdc08011b8d0014822804cdc5182f01099b8a305e00137666ea0008dd69848008029919191929998478099b874800800854cc2340524013470616464725061796d656e744b657948617368556e736166653a206661696c656420746f20676574207061796d656e7420706b6800161375c612802002612a020046120020026ea8c24404c24804004c2400400cc8cdc5182e00f982e0009bae308f01308e01002375c611c02610602611e02038611c02611a0200661160200261140200261160200861120261100261140202e2a66610802660ac6eacc22404024ccc18c88c94ccc21c04cc1f8c230040040144ccc19dc00019bab308c01308b010011003308c0100106a375861120260fc6114020262a66610802660ba6eb0c22404c22004028dd48008a9998420099b8932323370200400260c00306eb4c22404c22004c2280400cc184c8ccc19088c94ccc22004cc1fcc234040040104ccc1a1c00019bab308d01308c010011003308d0100106b375861140260fe6116020286112026110020122a6661080266e24c17c05cc184ccc18c88c94ccc21c04cc1c8c230040040704ccc19dc00019bab308c01308b010011003308c0100106a375861120260fc6114020262930a9984100a481064155455333300016153308201491064155455332390016153308201491064155455332380016153308201491064155455332370016153308201491064155455332360016330800149106415545533235003082010013230880130890100130870130880100133223232325333086013370e90010010a99842008028b09845808009846008011843808009baa00149106415545533234000013307d490106415545533233003067001153307e49010641554553323200163084013083013085010013307b490106415545533231003306f2323306b00101632308501308601001308401308301308501001375861060261080201a2a660f89210641554553323000163307a49106415545533139003069001153307b4901064155455331380016153307b4910641554553313700163307949106415545533136003306c00700b153307a4901064155455331350016153307a49106415545533134001630810100e3074307e0013071307f008307f002307a001375400e2a660e892105415545533300161533074491054155455332001632307b307c001307a3079307b001330714910541554553310032323253330773370e90010010991919983a111299983c00089128008a99983e1801184080800899111801001984080800899801801184000800919baf307f30800100100300137586460fc60fe00260fa60fc01060f800220f060fa00460f00026ea8c1e4c1e0c1e8010cc1c1240105415545533000307200130773076307800530763077001375c00e6eb8018dd7002802001801000911982f91299983100088260991998029837183600111982f19bb0306b306d00300100210013002306a001001223300323305a337606ea400cdd400100080111119982f11299983080089180098030260991299983399b90002006133004306b003230023305e306d004001153330673371e00400c26002600e60d600626002600e660ba60d800660d60066eb8c1a0c1a800400480048c190c03c00488cc0d88c00cdd59834000800911981a918019bad306700100122323253303733005300b3065002300b3065001133005300b30653064001300b30653064002306500230640022232323232533306153301c5330380021001153303830070021300700113300800400313300a004003300a3065306400430093064306300430630023062002233305b0014a0944894cc058cc0100080044cc00c00800488c8c8c94ccc174cdc3a40000042646464a6660c066e1d200000214a22940c198008c184004dd50020a99982e99b87480080084c8c8c94ccc180cdc3a400400426466e1cdd698330028009bad306500114a060cc00460c20026ea80104c8c8c94ccc180cdc3a40080042944528183300118308009baa0043063002305e001375400444646464a6660b866e1d200000214a22a6660b866e1d20020021323232533305f3370e90000010a501533305f3370e90020010a511337106eb4c190010dd69832000983280118300009baa0041323232533305f3370e90020010a5114a060ca00460c00026ea8010c188008c174004dd5001119b87305a3754002900102d9119ba548000cc130cdd2a40006609866e9520023304c3750004096660980060966609866e9520003304c3374a9001198261ba800104b3304c00404b04b4c103d87a80004c0103d879800023056304a001223330070020030014890741554354494f4e0022533027330030023374a900102289980180099ba54801011488c8c8c94ccc148cdc3a40040042646464a6660aa66e1d200200213375e6e9c010dd38008a50305b002305600137540082a6660a466e1d2004002132323253330553370e9002001099baf374e0086e9c004528182d801182b0009baa004132323253330553370e9000001099baf374e0086e9c004528182d801182b0009baa0043058002305300137540044466600600400e00244466e1cccc010dd598299829182a00080180124004444666600800490001199980280124000eb4dd5800801918011ba900122223304722533304a00110051533304e3375e60a260a600200c2600860aa60a60022600460a400200291010c5354414e44494e475f42494400222223253300730014a0260029448cccccc02400401000c0088ccdca8030008038a5023304600100214a24444666600a008006464609666e28058cdc51bae304e304d0013371402e66e28dd7182700099b8a0183371400666e2801009cc138004412088ccc00c0048cc01400488c8c128cdd2a40006607c6ea4004cc0f8dd480101e99b8a00c3371400466e28cc03401400ccdc518098018128822919191919299982319b8748008008411c4c8c8c94ccc124cdc3a40000042646464a66609866e1d2002002104d1323232533304f3370e9001001098289919111198010028021bae3055002375c60a8014260a264644446600600a0086eb8c154008dd7182a005182a80118280009baa30510013052002304d0013754609c002260966444460020086eb8c138010c13c008c128004dd518259825002182600118238009baa30480013048001233300122233001005006222330010050062233001006007488101390048810146004881011d004881012a0048810158002233300122533303e0041005100e22533303e004100610072533303d0031007100848901010048810121004881012000488101610048810160002333001714e2880052210d846a5369676e617475726531580048810ba201276761646472657373004881024058004881010000237666ea4004c005c491980119801800a40000284444666056444a66605e00426601246601000e6eacc0ec0040044c94ccc0c000854cc02ccc02000401c4cc0288cc024dd5981e000804181c0018991919299981b99b8f002001153300e3300b004003133007303b006303b00515333037337200040022a6601c6601600801426600e607600c00a2a6601c6601601400626600e00c607600a6eb8c0e4c0ec010dd7181c181d0021bab303b30390023756607460700040040024444666054444a66605c00426601046601000e6eb4c0e80040044c94ccc0bc00854cc028cc02000401c4cc0248cc024dd6981d800804181b8018991919299981b19b8f002001153300d3300b004003133007303a006303a00515333036337200040022a6601a6601600801426600e607400c00a2a6601a6601601400626600e00c607400a6eb8c0e0c0e8010dd7181b981c8021bad303a3038002375a6072606e0040040024604c44a666052002294454cc010c00cc0c80044c008c0c400488ccc0ac00800400c5281119801800801118111129998128008a50153330293375e605c00200629444c008c0b40048c8cdc118019bac302c001375a6058603e6056002603e60580026603e444a666046002200426600666e000092002302b0014800094ccc0800045200013330243375e604e60520026ea4008dd6981598149bab302b302900148001221002301d2225333021001100213300333004002302a0013029001222333004223330070050020010020012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c060c00800488c8c88cc00400c0088894ccc0740044cc05c00c0084c8c8c94ccc090cdd780100089980d19bb000233009302b006302b00333300822002005302800415333024337206eb8008dd700089980d003199980411000801981400200289980d001999980411000803002981400218130011812802181300091299980d8010800899998019100098120011811801000a5eb7bdb1808c8c8c8c94ccc078cdc3a400800426040600c6046002203e6048004603e0026ea8004c07cc050c0800048c8c8c8c80154ccc070cdc3a400000426464646464646493299980f0008a4c2a660400202c604a00ca66604066e1d20000021323232323232323232323232323232324994ccc0ac004526153302d01d163032003375c0026062002605e0066eb8004c0b8004c0b000cdd680098158009814803299981219b87480000084c8c8c8c8c8c8c8c8c8c9265333029001149854cc0ac06c58c0c000cdd700098178009816803299981419b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333030001149854cc0c808858c0dc0194ccc0c8cdc3a400000426464646464646493299981a0008a4c2a6606c04c2c607600ca66606c66e1d20000021323232323232324994ccc0e0004526153303a02a16303f006533303a3370e900000109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0128b1bae001303f0011533303a3370e900100109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0130b1bae001303f0011533038029163040002303b001375400260760022a66606c66e1d20020021323232323232323232324994ccc0ec004526153303d02d163042003375a0026082002607e0066eb4004c0f8004c0f000cdd6800981d8008a9981a0128b181e001181b8009baa0013037001153330323370e900100109924ca66605c0022930a998180100b0a998180108b181c00118198009baa00130330013031006533302c3370e900000109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600b8b1bae00130310011533302c3370e900100109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600c0b1bae0013031001153302a01b163032002302d0013754002605a0022a6604c02e2c605c00460520026ea8004c0a400454cc08804c58c0a8008c094004dd500098128008a9980f0078b181300118108009baa00130210011533301c3370e900100109924ca6660300022930a9980d0050b0a9980d0058b1811001180e8009baa00149012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67002232323232533301b3370e90000010a5013371e6eb8c080004014c084008c070004dd5000980e180e801119191919299980c99b87480100084c06cc018c0780044068c07c008c068004dd5000980d1807980d800919191919002a99980b99b87480000084c9265333013001149854cc0540145854ccc05ccdc3a40040042649329998098008a4c2a6602a00a2c2a66602e66e1d20040021324994ccc04c004526153301500516153301500616301d002301800137540029201317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f7200223300323300a301830190010033758602e601860300024460066600a004002601244a66601800220222a6660206006602800226024602a0022022ae8c8c020894ccc02c00440104c94ccc040c0100044cc018004c00cc0500084c00cc050008c0500052f5c0ae8088cdd79ba73011002374e60220024601a6004002460186004002460166016002464600446600400400246004466004004002aae7c88cc004800454cc00c008595ce1191919299980299b874800800840184c01cdd71805000980580118030009baa30073008001573444a0024446004006aae755d12ba1230023754002aae781", + "cborHex": "5918f65918f3010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232323232533307932323370e60ae00290011983711983919184080984100800984000983f9840808008018009bac307e307f005153330793302900a307e307d307f0021323232533307c3370e900000109919299983f198101810919b8700148000ccc179c09bab3083010020641533307e33022323302b375a6108020026eb4c21004c20c04004c1d8c21004038c20c0400454ccc1f8cc15cdd61841809841008009ba9008132533307f3302f0100011325333080015330573303300f3374a900003a89981980099ba5480081d44c8c94ccc20804c8c8c8c94ccc21804cdc3a40040042646464a6661120266e1d200000214a0266ebcdd38021ba7001308f01002308a0100137540082646464a6661120266e1d200200214a0266ebcdd38021ba7001308f01002308a010013754008611802004610e020026ea8008cdd2a40040ee2930a9984000a490641554553313300163307e491064155455331320030680013307d490106415545533131003307123306c3086013087010010143758610a0260f4610c020182a660fc9210641554553313000163307c49105415545533900306b001153307d490105415545533800163307b491054155455337003306e00600a153307c49010541554553360016153307c4910541554553350016153307c4910541554553340016307730810100130743082010081533307c3370e90020010991919299983f998109811119b8700148000ccc17dc09bab3084010030651533307f33023301d308401302030850100f30840100213253330800133030011001153330800133034011001132533308101330330100011533308101330533756610c02006646660c24464a66610a02660f861140200200826660cae0000cdd598450098448080088019845008008341bac308701307c30880100e30860130850100315333081013305a3758610c02610a020086ea402c54ccc20404cdc4982e008982f19983011192999842009983798448080080b0999832380003375661120261100200220066112020020ce6eb0c21804c1ecc21c04034526153307f491064155455334300016153307f491064155455333390016153307f491064155455333380016153307f4910641554553333700163307d4910641554553333600306c001153307e4901064155455333350016153307e4910641554553333400163307c49106415545533333003306f00700b153307d4901064155455333320016153307d49106415545533331001630840100e307730810100130743082010081533307c3370e900300109919299983f199119baf374c0046e98004c8cc8c06c8ccc008dd58009191118010019ba600112250012325333081013074001122500112230020033301b25333081013375e0026ea1200012250011223002003001001375661060200464646644660f066ec00080041a0dd48089ba600133301b4891041554354494f4e5f4d455441444154410000133301b03000133301b03800106532337029000000a40042a6660fc66044603861060264610602604000261080201c6106020022a6660fc660ae6eb0c20c04c20804004dd48040a99983f1981880699ba5480101cc54ccc1f8cc0c803cc20c04c20804c2100401c526153307c491064155455334350016153307c491064155455334340016153307c491064155455334330016153307c491064155455334320016153307c491064155455334310016307730810100130743082010081323232533307f33021302223370e002900019982fb8137566108020060ca2a6660fe6604664660586eb4c21404004dd69842809842008009817184280807984200801099299984000998180088008a999840009981a00880089929998408099819808000899192999841809981b80a0008991919192999843809919191919191919299833199998249bae3094013093010050030080024881014000133333049375c61280200a6eb8c25004c24c04010c2500401000522101450033223322325333093013371200290000801099b8a3330727140e266611c02444a66612c0266e24009200014bd62099846008009980199b810024800800400418c008cdc08011b8d0014822804cdc5183081099b8a306100137666ea0008dd69849808029919191929998490099b874800800854cc2400524013470616464725061796d656e744b657948617368556e736166653a206661696c656420746f20676574207061796d656e7420706b6800161375c612e020026130020046126020026ea8c25004c25404004c24c0400cc8cdc5182f80f982f8009bae309201309101002375c612202610c02612402038612202612002006611c02002611a02002611c02008611802611602611a0202e2a66610e02660b26eacc23004024ccc19888c94ccc22804cc20404c23c040040144ccc1a9c00019bab308f01308e010011003308f0100106d3758611802610202611a020262a66610e02660c06eb0c23004c22c04028dd48008a9998438099b8932323370200400260c60306eb4c23004c22c04c2340400cc190c8ccc19c88c94ccc22c04cc20804c240040040104ccc1adc00019bab309001308f01001100330900100106e3758611a02610402611c020286118026116020122a66610e0266e24c18805cc190ccc19888c94ccc22804cc1d4c23c040040704ccc1a9c00019bab308f01308e010011003308f0100106d3758611802610202611a020262930a9984280a4810641554553333000161533085014910641554553323900161533085014910641554553323800161533085014910641554553323700161533085014910641554553323600163308301491064155455332350030850100132308b01308c01001308a01308b0100133223232325333089013370e90010010a99843808028b09847008009847808011845008009baa0014910641554553323400001330800149010641554553323300306a00115330810149010641554553323200163087013086013088010013307e49010641554553323100330722323306e001016323088013089010013087013086013088010013758610c02610e0201a2a660fe9210641554553323000163307d4910641554553313900306c001153307e4901064155455331380016153307e4910641554553313700163307c49106415545533136003306f00700b153307d4901064155455331350016153307d49106415545533134001630840100e30773081010013074308201008308201002307d001375400e2a660ee92105415545533300161533077491054155455332001632307e307f001307d307c307e0013307449105415545533100323232533307a3370e90010010991919983b911299983d80089128008a99983f9801184200800899111801001984200800899801801184180800919baf30820130830100100300137586461020261040200261000261020201060fe00220f661000200460f60026ea8c1f0c1ecc1f4010cc1cd2401054155455330003075001307a3079307b0053079307a001375c00e6eb8018dd7002802001801000911983111299983280088278991998029838983780111983099bb0306e307000300100210013002306d001001223300323305d337606ea400cdd400100080111119983091299983200089180098030278991299983519b90002006133004306e003230023306130700040011533306a3371e00400c26002600e60dc00626002600e660c060de00660dc0066eb8c1acc1b400400480048cc008cdd2a4004660b20020b066e95200405822330033374a90001982c8011982c80802c19ba548000cc164004cc16404016088cdd2a4000660b0004660b00020ae460c8601e002446606c460066eacc1a000400488cc0d48c00cdd6983380080091191929981b9980298059832801180598328008998029805983298320009805983298320011832801183200111191919192999830a9980e29981c00108008a9981c18038010980380089980400200189980500200198051832983200218049832183180218318011831001119982d800a504a244a6602c6600800400226600600400244646464a6660ba66e1d2000002132323253330603370e90000010a5114a060cc00460c20026ea801054ccc174cdc3a40040042646464a6660c066e1d20020021323370e6eb4c198014004dd698328008a503066002306100137540082646464a6660c066e1d200400214a22940c198008c184004dd50021831801182f0009baa00222323232533305c3370e90000010a511533305c3370e90010010991919299982f99b87480000085280a99982f99b8748010008528899b88375a60c80086eb4c190004c194008c180004dd50020991919299982f99b87480100085288a5030650023060001375400860c400460ba0026ea80088cdc3982d1baa0014800816c88cdd2a40006609866e9520003304c3374a9001198261ba800204b3304c00304b3304c3374a90001982619ba548008cc130dd400082599826002025825a6103d87a80004c0103d879800023056304a001223330070020030014890741554354494f4e0022533027330030023374a900102289980180099ba54801011488c8c8c94ccc148cdc3a40040042646464a6660aa66e1d200200213375e6e9c010dd38008a50305b002305600137540082a6660a466e1d2004002132323253330553370e9002001099baf374e0086e9c004528182d801182b0009baa004132323253330553370e9000001099baf374e0086e9c004528182d801182b0009baa0043058002305300137540044466600600400e00244466e1cccc010dd598299829182a00080180124004444666600800490001199980280124000eb4dd5800801918011ba900122223304722533304a00110051533304e3375e60a260a600200c2600860aa60a60022600460a400200291010c5354414e44494e475f42494400222223253300730014a0260029448cccccc02400401000c0088ccdca8030008038a5023304600100214a24444666600a008006464609666e28058cdc51bae304e304d0013371402e66e28dd7182700099b8a0183371400666e2801009cc138004412088ccc00c0048cc01400488c8c128cdd2a40006607c6ea4004cc0f8dd480101e99b8a00c3371400466e28cc03401400ccdc518098018128822919191919299982319b8748008008411c4c8c8c94ccc124cdc3a40000042646464a66609866e1d2002002104d1323232533304f3370e9001001098289919111198010028021bae3055002375c60a8014260a264644446600600a0086eb8c154008dd7182a005182a80118280009baa30510013052002304d0013754609c002260966444460020086eb8c138010c13c008c128004dd518259825002182600118238009baa30480013048001233300122233001005006222330010050062233001006007488101390048810146004881011d004881012a0048810158002233300122533303e0041005100e22533303e004100610072533303d0031007100848901010048810121004881012000488101610048810160002333001714e2880052210d846a5369676e617475726531580048810ba201276761646472657373004881024058004881010000237666ea4004c005c491980119801800a40000284444666056444a66605e00426601246601000e6eacc0ec0040044c94ccc0c000854cc02ccc02000401c4cc0288cc024dd5981e000804181c0018991919299981b99b8f002001153300e3300b004003133007303b006303b00515333037337200040022a6601c6601600801426600e607600c00a2a6601c6601601400626600e00c607600a6eb8c0e4c0ec010dd7181c181d0021bab303b30390023756607460700040040024444666054444a66605c00426601046601000e6eb4c0e80040044c94ccc0bc00854cc028cc02000401c4cc0248cc024dd6981d800804181b8018991919299981b19b8f002001153300d3300b004003133007303a006303a00515333036337200040022a6601a6601600801426600e607400c00a2a6601a6601601400626600e00c607400a6eb8c0e0c0e8010dd7181b981c8021bad303a3038002375a6072606e0040040024604c44a666052002294454cc010c00cc0c80044c008c0c400488ccc0ac00800400c5281119801800801118111129998128008a50153330293375e605c00200629444c008c0b40048c8cdc118019bac302c001375a6058603e6056002603e60580026603e444a666046002200426600666e000092002302b0014800094ccc0800045200013330243375e604e60520026ea4008dd6981598149bab302b302900148001221002301d2225333021001100213300333004002302a0013029001222333004223330070050020010020012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c060c00800488c8c88cc00400c0088894ccc0740044cc05c00c0084c8c8c94ccc090cdd780100089980d19bb000233009302b006302b00333300822002005302800415333024337206eb8008dd700089980d003199980411000801981400200289980d001999980411000803002981400218130011812802181300091299980d8010800899998019100098120011811801000a5eb7bdb1808c8c8c8c94ccc078cdc3a400800426040600c6046002203e6048004603e0026ea8004c07cc050c0800048c8c8c8c80154ccc070cdc3a400000426464646464646493299980f0008a4c2a660400202c604a00ca66604066e1d20000021323232323232323232323232323232324994ccc0ac004526153302d01d163032003375c0026062002605e0066eb8004c0b8004c0b000cdd680098158009814803299981219b87480000084c8c8c8c8c8c8c8c8c8c9265333029001149854cc0ac06c58c0c000cdd700098178009816803299981419b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333030001149854cc0c808858c0dc0194ccc0c8cdc3a400000426464646464646493299981a0008a4c2a6606c04c2c607600ca66606c66e1d20000021323232323232324994ccc0e0004526153303a02a16303f006533303a3370e900000109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0128b1bae001303f0011533303a3370e900100109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0130b1bae001303f0011533038029163040002303b001375400260760022a66606c66e1d20020021323232323232323232324994ccc0ec004526153303d02d163042003375a0026082002607e0066eb4004c0f8004c0f000cdd6800981d8008a9981a0128b181e001181b8009baa0013037001153330323370e900100109924ca66605c0022930a998180100b0a998180108b181c00118198009baa00130330013031006533302c3370e900000109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600b8b1bae00130310011533302c3370e900100109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600c0b1bae0013031001153302a01b163032002302d0013754002605a0022a6604c02e2c605c00460520026ea8004c0a400454cc08804c58c0a8008c094004dd500098128008a9980f0078b181300118108009baa00130210011533301c3370e900100109924ca6660300022930a9980d0050b0a9980d0058b1811001180e8009baa00149012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67002232323232533301b3370e90000010a5013371e6eb8c080004014c084008c070004dd5000980e180e801119191919299980c99b87480100084c06cc018c0780044068c07c008c068004dd5000980d1807980d800919191919002a99980b99b87480000084c9265333013001149854cc0540145854ccc05ccdc3a40040042649329998098008a4c2a6602a00a2c2a66602e66e1d20040021324994ccc04c004526153301500516153301500616301d002301800137540029201317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f7200223300323300a301830190010033758602e601860300024460066600a004002601244a66601800220222a6660206006602800226024602a0022022ae8c8c020894ccc02c00440104c94ccc040c0100044cc018004c00cc0500084c00cc050008c0500052f5c0ae8088cdd79ba73011002374e60220024601a6004002460186004002460166016002464600446600400400246004466004004002aae7c88cc004800454cc00c008595ce1191919299980299b874800800840184c01cdd71805000980580118030009baa30073008001573444a0024446004006aae755d12ba1230023754002aae781", "description": "Auction escrow validator", "params": [ "Ply.Core.Types:AsData#HydraAuctionOnchain.Types.Scripts:StandingBidScriptHash", @@ -7,7 +7,7 @@ "Ply.Core.Types:AsData#PlutusLedgerApi.V1.Value:CurrencySymbol", "Ply.Core.Types:AsData#HydraAuctionOnchain.Types.AuctionTerms:AuctionTerms" ], - "rawHex": "5918d0010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232323232533307632323370e60a800290011983591983799183f183f800983e983e183f0008018009bac307b307c005153330763302600a307b307a307c002132323253330793370e900000109919299983d9980e980f119b8700148000ccc16dc09bab3080010020611533307b3301f3233028375a6102020026eb4c20404c20004004c1ccc20404038c2000400454ccc1eccc150dd6184000983f8009ba9008132533307c3302c010001132533307d5330543303000f3374a900003909981800099ba5480081c84c8c94ccc1fcc8c8c8c94ccc20c04cdc3a40040042646464a66610c0266e1d200000214a0266ebcdd38021ba7001308c0100230870100137540082646464a66610c0266e1d200200214a0266ebcdd38021ba7001308c0100230870100137540086112020046108020026ea8008cdd2a40040e82930a9983ea490641554553313300163307b491064155455331320030650013307a490106415545533131003306e233069308301308401001014375861040260ee6106020182a660f692106415545533130001633079491054155455339003068001153307a4901054155455338001633078491054155455337003306b00600a15330794901054155455336001615330794910541554553350016153307949105415545533400163074307e0013071307f008153330793370e90020010991919299983e1980f180f919b8700148000ccc171c09bab3081010030621533307c330203233029375a6104020026eb4c20804c20404004c074c2080403cc204040084c94ccc1f4cc0b404400454ccc1f4cc0c40440044c94ccc1f8cc0c004000454ccc1f8cc140dd59841808019919982f11192999841009983c98438080080209998313800033756610e02610c020022006610e020020ca6eb0c21004c1e4c21404038c20c04c2080400c54ccc1f8cc15cdd61841809841008021ba900b1533307e3371260b202260b66660ba4464a66610202660d8610c0200202c26660c2e0000cdd598430098428080088019843008008321bac308301307830840100d149854cc1f12401064155455334300016153307c491064155455333390016153307c491064155455333380016153307c4910641554553333700163307a49106415545533336003069001153307b4901064155455333350016153307b4910641554553333400163307949106415545533333003306c00700b153307a4901064155455333320016153307a49106415545533331001630810100e3074307e0013071307f008153330793370e900300109919299983d999119baf374c0046e98004c8cc8c06c8ccc008dd58009191118010019ba60011225001232533307e3071001122500112230020033301b2533307e3375e0026ea1200012250011223002003001001375661000200464646644660ea66ec0008004194dd48089ba600133301b4891041554354494f4e5f4d455441444154410000133301b02d00133301b03500106232337029000000a40042a6660f66603e646644664466e95200033076002330760010753374a90001983a0011983a01583999ba548000cc1d0004cc1d00ac1cccdd2a4004660e40020e266e95200407130800132308001301d00130810100e3080010011533307b33054375861000260fe0026ea402054ccc1eccc0b8034cdd2a40080e02a6660f66605e01e61000260fe61020200e2930a9983ca48106415545533435001615330794910641554553343400161533079491064155455334330016153307949106415545533432001615330794910641554553343100163074307e0013071307f0081323232533307c3301e301f23370e002900019982e38137566102020060c42a6660f86604064660526eb4c20804004dd69841009840808009815984100807984080801099299983e998168088008a99983e99818808800899299983f19818008000899192999840009981a00a0008991919192999842009919191919191919299831999998231bae3091013090010050030080024881014000133333046375c61220200a6eb8c24404c24004010c2440401000522101450033223322325333090013371200290000801099b8a33306f7140dc66611602444a6661260266e24009200014bd62099844808009980199b8100248008004004180008cdc08011b8d0014822804cdc5182f01099b8a305e00137666ea0008dd69848008029919191929998478099b874800800854cc2340524013470616464725061796d656e744b657948617368556e736166653a206661696c656420746f20676574207061796d656e7420706b6800161375c612802002612a020046120020026ea8c24404c24804004c2400400cc8cdc5182e00f982e0009bae308f01308e01002375c611c02610602611e02038611c02611a0200661160200261140200261160200861120261100261140202e2a66610802660ac6eacc22404024ccc18c88c94ccc21c04cc1f8c230040040144ccc19dc00019bab308c01308b010011003308c0100106a375861120260fc6114020262a66610802660ba6eb0c22404c22004028dd48008a9998420099b8932323370200400260c00306eb4c22404c22004c2280400cc184c8ccc19088c94ccc22004cc1fcc234040040104ccc1a1c00019bab308d01308c010011003308d0100106b375861140260fe6116020286112026110020122a6661080266e24c17c05cc184ccc18c88c94ccc21c04cc1c8c230040040704ccc19dc00019bab308c01308b010011003308c0100106a375861120260fc6114020262930a9984100a481064155455333300016153308201491064155455332390016153308201491064155455332380016153308201491064155455332370016153308201491064155455332360016330800149106415545533235003082010013230880130890100130870130880100133223232325333086013370e90010010a99842008028b09845808009846008011843808009baa00149106415545533234000013307d490106415545533233003067001153307e49010641554553323200163084013083013085010013307b490106415545533231003306f2323306b00101632308501308601001308401308301308501001375861060261080201a2a660f89210641554553323000163307a49106415545533139003069001153307b4901064155455331380016153307b4910641554553313700163307949106415545533136003306c00700b153307a4901064155455331350016153307a49106415545533134001630810100e3074307e0013071307f008307f002307a001375400e2a660e892105415545533300161533074491054155455332001632307b307c001307a3079307b001330714910541554553310032323253330773370e90010010991919983a111299983c00089128008a99983e1801184080800899111801001984080800899801801184000800919baf307f30800100100300137586460fc60fe00260fa60fc01060f800220f060fa00460f00026ea8c1e4c1e0c1e8010cc1c1240105415545533000307200130773076307800530763077001375c00e6eb8018dd7002802001801000911982f91299983100088260991998029837183600111982f19bb0306b306d00300100210013002306a001001223300323305a337606ea400cdd400100080111119982f11299983080089180098030260991299983399b90002006133004306b003230023305e306d004001153330673371e00400c26002600e60d600626002600e660ba60d800660d60066eb8c1a0c1a800400480048c190c03c00488cc0d88c00cdd59834000800911981a918019bad306700100122323253303733005300b3065002300b3065001133005300b30653064001300b30653064002306500230640022232323232533306153301c5330380021001153303830070021300700113300800400313300a004003300a3065306400430093064306300430630023062002233305b0014a0944894cc058cc0100080044cc00c00800488c8c8c94ccc174cdc3a40000042646464a6660c066e1d200000214a22940c198008c184004dd50020a99982e99b87480080084c8c8c94ccc180cdc3a400400426466e1cdd698330028009bad306500114a060cc00460c20026ea80104c8c8c94ccc180cdc3a40080042944528183300118308009baa0043063002305e001375400444646464a6660b866e1d200000214a22a6660b866e1d20020021323232533305f3370e90000010a501533305f3370e90020010a511337106eb4c190010dd69832000983280118300009baa0041323232533305f3370e90020010a5114a060ca00460c00026ea8010c188008c174004dd5001119b87305a3754002900102d9119ba548000cc130cdd2a40006609866e9520023304c3750004096660980060966609866e9520003304c3374a9001198261ba800104b3304c00404b04b4c103d87a80004c0103d879800023056304a001223330070020030014890741554354494f4e0022533027330030023374a900102289980180099ba54801011488c8c8c94ccc148cdc3a40040042646464a6660aa66e1d200200213375e6e9c010dd38008a50305b002305600137540082a6660a466e1d2004002132323253330553370e9002001099baf374e0086e9c004528182d801182b0009baa004132323253330553370e9000001099baf374e0086e9c004528182d801182b0009baa0043058002305300137540044466600600400e00244466e1cccc010dd598299829182a00080180124004444666600800490001199980280124000eb4dd5800801918011ba900122223304722533304a00110051533304e3375e60a260a600200c2600860aa60a60022600460a400200291010c5354414e44494e475f42494400222223253300730014a0260029448cccccc02400401000c0088ccdca8030008038a5023304600100214a24444666600a008006464609666e28058cdc51bae304e304d0013371402e66e28dd7182700099b8a0183371400666e2801009cc138004412088ccc00c0048cc01400488c8c128cdd2a40006607c6ea4004cc0f8dd480101e99b8a00c3371400466e28cc03401400ccdc518098018128822919191919299982319b8748008008411c4c8c8c94ccc124cdc3a40000042646464a66609866e1d2002002104d1323232533304f3370e9001001098289919111198010028021bae3055002375c60a8014260a264644446600600a0086eb8c154008dd7182a005182a80118280009baa30510013052002304d0013754609c002260966444460020086eb8c138010c13c008c128004dd518259825002182600118238009baa30480013048001233300122233001005006222330010050062233001006007488101390048810146004881011d004881012a0048810158002233300122533303e0041005100e22533303e004100610072533303d0031007100848901010048810121004881012000488101610048810160002333001714e2880052210d846a5369676e617475726531580048810ba201276761646472657373004881024058004881010000237666ea4004c005c491980119801800a40000284444666056444a66605e00426601246601000e6eacc0ec0040044c94ccc0c000854cc02ccc02000401c4cc0288cc024dd5981e000804181c0018991919299981b99b8f002001153300e3300b004003133007303b006303b00515333037337200040022a6601c6601600801426600e607600c00a2a6601c6601601400626600e00c607600a6eb8c0e4c0ec010dd7181c181d0021bab303b30390023756607460700040040024444666054444a66605c00426601046601000e6eb4c0e80040044c94ccc0bc00854cc028cc02000401c4cc0248cc024dd6981d800804181b8018991919299981b19b8f002001153300d3300b004003133007303a006303a00515333036337200040022a6601a6601600801426600e607400c00a2a6601a6601601400626600e00c607400a6eb8c0e0c0e8010dd7181b981c8021bad303a3038002375a6072606e0040040024604c44a666052002294454cc010c00cc0c80044c008c0c400488ccc0ac00800400c5281119801800801118111129998128008a50153330293375e605c00200629444c008c0b40048c8cdc118019bac302c001375a6058603e6056002603e60580026603e444a666046002200426600666e000092002302b0014800094ccc0800045200013330243375e604e60520026ea4008dd6981598149bab302b302900148001221002301d2225333021001100213300333004002302a0013029001222333004223330070050020010020012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c060c00800488c8c88cc00400c0088894ccc0740044cc05c00c0084c8c8c94ccc090cdd780100089980d19bb000233009302b006302b00333300822002005302800415333024337206eb8008dd700089980d003199980411000801981400200289980d001999980411000803002981400218130011812802181300091299980d8010800899998019100098120011811801000a5eb7bdb1808c8c8c8c94ccc078cdc3a400800426040600c6046002203e6048004603e0026ea8004c07cc050c0800048c8c8c8c80154ccc070cdc3a400000426464646464646493299980f0008a4c2a660400202c604a00ca66604066e1d20000021323232323232323232323232323232324994ccc0ac004526153302d01d163032003375c0026062002605e0066eb8004c0b8004c0b000cdd680098158009814803299981219b87480000084c8c8c8c8c8c8c8c8c8c9265333029001149854cc0ac06c58c0c000cdd700098178009816803299981419b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333030001149854cc0c808858c0dc0194ccc0c8cdc3a400000426464646464646493299981a0008a4c2a6606c04c2c607600ca66606c66e1d20000021323232323232324994ccc0e0004526153303a02a16303f006533303a3370e900000109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0128b1bae001303f0011533303a3370e900100109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0130b1bae001303f0011533038029163040002303b001375400260760022a66606c66e1d20020021323232323232323232324994ccc0ec004526153303d02d163042003375a0026082002607e0066eb4004c0f8004c0f000cdd6800981d8008a9981a0128b181e001181b8009baa0013037001153330323370e900100109924ca66605c0022930a998180100b0a998180108b181c00118198009baa00130330013031006533302c3370e900000109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600b8b1bae00130310011533302c3370e900100109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600c0b1bae0013031001153302a01b163032002302d0013754002605a0022a6604c02e2c605c00460520026ea8004c0a400454cc08804c58c0a8008c094004dd500098128008a9980f0078b181300118108009baa00130210011533301c3370e900100109924ca6660300022930a9980d0050b0a9980d0058b1811001180e8009baa00149012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67002232323232533301b3370e90000010a5013371e6eb8c080004014c084008c070004dd5000980e180e801119191919299980c99b87480100084c06cc018c0780044068c07c008c068004dd5000980d1807980d800919191919002a99980b99b87480000084c9265333013001149854cc0540145854ccc05ccdc3a40040042649329998098008a4c2a6602a00a2c2a66602e66e1d20040021324994ccc04c004526153301500516153301500616301d002301800137540029201317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f7200223300323300a301830190010033758602e601860300024460066600a004002601244a66601800220222a6660206006602800226024602a0022022ae8c8c020894ccc02c00440104c94ccc040c0100044cc018004c00cc0500084c00cc050008c0500052f5c0ae8088cdd79ba73011002374e60220024601a6004002460186004002460166016002464600446600400400246004466004004002aae7c88cc004800454cc00c008595ce1191919299980299b874800800840184c01cdd71805000980580118030009baa30073008001573444a0024446004006aae755d12ba1230023754002aae781", + "rawHex": "5918f3010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322222222333333322222223232323232533307932323370e60ae00290011983711983919184080984100800984000983f9840808008018009bac307e307f005153330793302900a307e307d307f0021323232533307c3370e900000109919299983f198101810919b8700148000ccc179c09bab3083010020641533307e33022323302b375a6108020026eb4c21004c20c04004c1d8c21004038c20c0400454ccc1f8cc15cdd61841809841008009ba9008132533307f3302f0100011325333080015330573303300f3374a900003a89981980099ba5480081d44c8c94ccc20804c8c8c8c94ccc21804cdc3a40040042646464a6661120266e1d200000214a0266ebcdd38021ba7001308f01002308a0100137540082646464a6661120266e1d200200214a0266ebcdd38021ba7001308f01002308a010013754008611802004610e020026ea8008cdd2a40040ee2930a9984000a490641554553313300163307e491064155455331320030680013307d490106415545533131003307123306c3086013087010010143758610a0260f4610c020182a660fc9210641554553313000163307c49105415545533900306b001153307d490105415545533800163307b491054155455337003306e00600a153307c49010541554553360016153307c4910541554553350016153307c4910541554553340016307730810100130743082010081533307c3370e90020010991919299983f998109811119b8700148000ccc17dc09bab3084010030651533307f33023301d308401302030850100f30840100213253330800133030011001153330800133034011001132533308101330330100011533308101330533756610c02006646660c24464a66610a02660f861140200200826660cae0000cdd598450098448080088019845008008341bac308701307c30880100e30860130850100315333081013305a3758610c02610a020086ea402c54ccc20404cdc4982e008982f19983011192999842009983798448080080b0999832380003375661120261100200220066112020020ce6eb0c21804c1ecc21c04034526153307f491064155455334300016153307f491064155455333390016153307f491064155455333380016153307f4910641554553333700163307d4910641554553333600306c001153307e4901064155455333350016153307e4910641554553333400163307c49106415545533333003306f00700b153307d4901064155455333320016153307d49106415545533331001630840100e307730810100130743082010081533307c3370e900300109919299983f199119baf374c0046e98004c8cc8c06c8ccc008dd58009191118010019ba600112250012325333081013074001122500112230020033301b25333081013375e0026ea1200012250011223002003001001375661060200464646644660f066ec00080041a0dd48089ba600133301b4891041554354494f4e5f4d455441444154410000133301b03000133301b03800106532337029000000a40042a6660fc66044603861060264610602604000261080201c6106020022a6660fc660ae6eb0c20c04c20804004dd48040a99983f1981880699ba5480101cc54ccc1f8cc0c803cc20c04c20804c2100401c526153307c491064155455334350016153307c491064155455334340016153307c491064155455334330016153307c491064155455334320016153307c491064155455334310016307730810100130743082010081323232533307f33021302223370e002900019982fb8137566108020060ca2a6660fe6604664660586eb4c21404004dd69842809842008009817184280807984200801099299984000998180088008a999840009981a00880089929998408099819808000899192999841809981b80a0008991919192999843809919191919191919299833199998249bae3094013093010050030080024881014000133333049375c61280200a6eb8c25004c24c04010c2500401000522101450033223322325333093013371200290000801099b8a3330727140e266611c02444a66612c0266e24009200014bd62099846008009980199b810024800800400418c008cdc08011b8d0014822804cdc5183081099b8a306100137666ea0008dd69849808029919191929998490099b874800800854cc2400524013470616464725061796d656e744b657948617368556e736166653a206661696c656420746f20676574207061796d656e7420706b6800161375c612e020026130020046126020026ea8c25004c25404004c24c0400cc8cdc5182f80f982f8009bae309201309101002375c612202610c02612402038612202612002006611c02002611a02002611c02008611802611602611a0202e2a66610e02660b26eacc23004024ccc19888c94ccc22804cc20404c23c040040144ccc1a9c00019bab308f01308e010011003308f0100106d3758611802610202611a020262a66610e02660c06eb0c23004c22c04028dd48008a9998438099b8932323370200400260c60306eb4c23004c22c04c2340400cc190c8ccc19c88c94ccc22c04cc20804c240040040104ccc1adc00019bab309001308f01001100330900100106e3758611a02610402611c020286118026116020122a66610e0266e24c18805cc190ccc19888c94ccc22804cc1d4c23c040040704ccc1a9c00019bab308f01308e010011003308f0100106d3758611802610202611a020262930a9984280a4810641554553333000161533085014910641554553323900161533085014910641554553323800161533085014910641554553323700161533085014910641554553323600163308301491064155455332350030850100132308b01308c01001308a01308b0100133223232325333089013370e90010010a99843808028b09847008009847808011845008009baa0014910641554553323400001330800149010641554553323300306a00115330810149010641554553323200163087013086013088010013307e49010641554553323100330722323306e001016323088013089010013087013086013088010013758610c02610e0201a2a660fe9210641554553323000163307d4910641554553313900306c001153307e4901064155455331380016153307e4910641554553313700163307c49106415545533136003306f00700b153307d4901064155455331350016153307d49106415545533134001630840100e30773081010013074308201008308201002307d001375400e2a660ee92105415545533300161533077491054155455332001632307e307f001307d307c307e0013307449105415545533100323232533307a3370e90010010991919983b911299983d80089128008a99983f9801184200800899111801001984200800899801801184180800919baf30820130830100100300137586461020261040200261000261020201060fe00220f661000200460f60026ea8c1f0c1ecc1f4010cc1cd2401054155455330003075001307a3079307b0053079307a001375c00e6eb8018dd7002802001801000911983111299983280088278991998029838983780111983099bb0306e307000300100210013002306d001001223300323305d337606ea400cdd400100080111119983091299983200089180098030278991299983519b90002006133004306e003230023306130700040011533306a3371e00400c26002600e60dc00626002600e660c060de00660dc0066eb8c1acc1b400400480048cc008cdd2a4004660b20020b066e95200405822330033374a90001982c8011982c80802c19ba548000cc164004cc16404016088cdd2a4000660b0004660b00020ae460c8601e002446606c460066eacc1a000400488cc0d48c00cdd6983380080091191929981b9980298059832801180598328008998029805983298320009805983298320011832801183200111191919192999830a9980e29981c00108008a9981c18038010980380089980400200189980500200198051832983200218049832183180218318011831001119982d800a504a244a6602c6600800400226600600400244646464a6660ba66e1d2000002132323253330603370e90000010a5114a060cc00460c20026ea801054ccc174cdc3a40040042646464a6660c066e1d20020021323370e6eb4c198014004dd698328008a503066002306100137540082646464a6660c066e1d200400214a22940c198008c184004dd50021831801182f0009baa00222323232533305c3370e90000010a511533305c3370e90010010991919299982f99b87480000085280a99982f99b8748010008528899b88375a60c80086eb4c190004c194008c180004dd50020991919299982f99b87480100085288a5030650023060001375400860c400460ba0026ea80088cdc3982d1baa0014800816c88cdd2a40006609866e9520003304c3374a9001198261ba800204b3304c00304b3304c3374a90001982619ba548008cc130dd400082599826002025825a6103d87a80004c0103d879800023056304a001223330070020030014890741554354494f4e0022533027330030023374a900102289980180099ba54801011488c8c8c94ccc148cdc3a40040042646464a6660aa66e1d200200213375e6e9c010dd38008a50305b002305600137540082a6660a466e1d2004002132323253330553370e9002001099baf374e0086e9c004528182d801182b0009baa004132323253330553370e9000001099baf374e0086e9c004528182d801182b0009baa0043058002305300137540044466600600400e00244466e1cccc010dd598299829182a00080180124004444666600800490001199980280124000eb4dd5800801918011ba900122223304722533304a00110051533304e3375e60a260a600200c2600860aa60a60022600460a400200291010c5354414e44494e475f42494400222223253300730014a0260029448cccccc02400401000c0088ccdca8030008038a5023304600100214a24444666600a008006464609666e28058cdc51bae304e304d0013371402e66e28dd7182700099b8a0183371400666e2801009cc138004412088ccc00c0048cc01400488c8c128cdd2a40006607c6ea4004cc0f8dd480101e99b8a00c3371400466e28cc03401400ccdc518098018128822919191919299982319b8748008008411c4c8c8c94ccc124cdc3a40000042646464a66609866e1d2002002104d1323232533304f3370e9001001098289919111198010028021bae3055002375c60a8014260a264644446600600a0086eb8c154008dd7182a005182a80118280009baa30510013052002304d0013754609c002260966444460020086eb8c138010c13c008c128004dd518259825002182600118238009baa30480013048001233300122233001005006222330010050062233001006007488101390048810146004881011d004881012a0048810158002233300122533303e0041005100e22533303e004100610072533303d0031007100848901010048810121004881012000488101610048810160002333001714e2880052210d846a5369676e617475726531580048810ba201276761646472657373004881024058004881010000237666ea4004c005c491980119801800a40000284444666056444a66605e00426601246601000e6eacc0ec0040044c94ccc0c000854cc02ccc02000401c4cc0288cc024dd5981e000804181c0018991919299981b99b8f002001153300e3300b004003133007303b006303b00515333037337200040022a6601c6601600801426600e607600c00a2a6601c6601601400626600e00c607600a6eb8c0e4c0ec010dd7181c181d0021bab303b30390023756607460700040040024444666054444a66605c00426601046601000e6eb4c0e80040044c94ccc0bc00854cc028cc02000401c4cc0248cc024dd6981d800804181b8018991919299981b19b8f002001153300d3300b004003133007303a006303a00515333036337200040022a6601a6601600801426600e607400c00a2a6601a6601601400626600e00c607400a6eb8c0e0c0e8010dd7181b981c8021bad303a3038002375a6072606e0040040024604c44a666052002294454cc010c00cc0c80044c008c0c400488ccc0ac00800400c5281119801800801118111129998128008a50153330293375e605c00200629444c008c0b40048c8cdc118019bac302c001375a6058603e6056002603e60580026603e444a666046002200426600666e000092002302b0014800094ccc0800045200013330243375e604e60520026ea4008dd6981598149bab302b302900148001221002301d2225333021001100213300333004002302a0013029001222333004223330070050020010020012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c060c00800488c8c88cc00400c0088894ccc0740044cc05c00c0084c8c8c94ccc090cdd780100089980d19bb000233009302b006302b00333300822002005302800415333024337206eb8008dd700089980d003199980411000801981400200289980d001999980411000803002981400218130011812802181300091299980d8010800899998019100098120011811801000a5eb7bdb1808c8c8c8c94ccc078cdc3a400800426040600c6046002203e6048004603e0026ea8004c07cc050c0800048c8c8c8c80154ccc070cdc3a400000426464646464646493299980f0008a4c2a660400202c604a00ca66604066e1d20000021323232323232323232323232323232324994ccc0ac004526153302d01d163032003375c0026062002605e0066eb8004c0b8004c0b000cdd680098158009814803299981219b87480000084c8c8c8c8c8c8c8c8c8c9265333029001149854cc0ac06c58c0c000cdd700098178009816803299981419b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333030001149854cc0c808858c0dc0194ccc0c8cdc3a400000426464646464646493299981a0008a4c2a6606c04c2c607600ca66606c66e1d20000021323232323232324994ccc0e0004526153303a02a16303f006533303a3370e900000109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0128b1bae001303f0011533303a3370e900100109919299981e19b87371a002901c0991924ca6660720022930a9981d8158b18200018a9981d0130b1bae001303f0011533038029163040002303b001375400260760022a66606c66e1d20020021323232323232323232324994ccc0ec004526153303d02d163042003375a0026082002607e0066eb4004c0f8004c0f000cdd6800981d8008a9981a0128b181e001181b8009baa0013037001153330323370e900100109924ca66605c0022930a998180100b0a998180108b181c00118198009baa00130330013031006533302c3370e900000109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600b8b1bae00130310011533302c3370e900100109919299981719b87371a002901c0991924ca6660560022930a9981680e8b18190018a9981600c0b1bae0013031001153302a01b163032002302d0013754002605a0022a6604c02e2c605c00460520026ea8004c0a400454cc08804c58c0a8008c094004dd500098128008a9980f0078b181300118108009baa00130210011533301c3370e900100109924ca6660300022930a9980d0050b0a9980d0058b1811001180e8009baa00149012c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e670049012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e67002232323232533301b3370e90000010a5013371e6eb8c080004014c084008c070004dd5000980e180e801119191919299980c99b87480100084c06cc018c0780044068c07c008c068004dd5000980d1807980d800919191919002a99980b99b87480000084c9265333013001149854cc0540145854ccc05ccdc3a40040042649329998098008a4c2a6602a00a2c2a66602e66e1d20040021324994ccc04c004526153301500516153301500616301d002301800137540029201317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f0049013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f7200223300323300a301830190010033758602e601860300024460066600a004002601244a66601800220222a6660206006602800226024602a0022022ae8c8c020894ccc02c00440104c94ccc040c0100044cc018004c00cc0500084c00cc050008c0500052f5c0ae8088cdd79ba73011002374e60220024601a6004002460186004002460166016002464600446600400400246004466004004002aae7c88cc004800454cc00c008595ce1191919299980299b874800800840184c01cdd71805000980580118030009baa30073008001573444a0024446004006aae755d12ba1230023754002aae781", "role": "ValidatorRole", "version": "ScriptV2" } \ No newline at end of file diff --git a/src/HydraAuctionOnchain/Types/AuctionTerms.hs b/src/HydraAuctionOnchain/Types/AuctionTerms.hs index fc274d9..0069f56 100644 --- a/src/HydraAuctionOnchain/Types/AuctionTerms.hs +++ b/src/HydraAuctionOnchain/Types/AuctionTerms.hs @@ -4,7 +4,6 @@ module HydraAuctionOnchain.Types.AuctionTerms ( PAuctionTerms (PAuctionTerms) , pbiddingPeriod , pcleanupPeriod - , ppenaltyPeriod , ppostBiddingPeriod , ppostPurchasePeriod , ppurchasePeriod @@ -152,14 +151,6 @@ ppurchasePeriod = phoistAcyclic $ # auctionTermsFields.biddingEnd # auctionTermsFields.purchaseDeadline -ppenaltyPeriod :: Term s (PAuctionTerms :--> PPOSIXTimeRange) -ppenaltyPeriod = phoistAcyclic $ - plam $ \auctionTerms -> P.do - auctionTermsFields <- pletFields @["purchaseDeadline", "cleanup"] auctionTerms - pintervalFiniteClosedOpen - # auctionTermsFields.purchaseDeadline - # auctionTermsFields.cleanup - pcleanupPeriod :: Term s (PAuctionTerms :--> PPOSIXTimeRange) pcleanupPeriod = phoistAcyclic $ plam $ \auctionTerms -> diff --git a/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs b/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs index 08c8bc2..9432d08 100644 --- a/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs +++ b/src/HydraAuctionOnchain/Validators/AuctionEscrow.hs @@ -33,7 +33,7 @@ import HydraAuctionOnchain.Types.AuctionTerms ( PAuctionTerms , pbiddingPeriod , pcleanupPeriod - , ppenaltyPeriod + , ppostPurchasePeriod , ppurchasePeriod , ptotalAuctionFees ) @@ -416,10 +416,9 @@ pcheckSellerReclaims = phoistAcyclic $ passert $(errCode AuctionEscrow'SellerReclaims'Error'UnexpectedTokensMintedBurned) $ pfromData txInfoFields.mint #== mempty - -- This redeemer can only be used during - -- the penalty period. + -- This redeemer can only be used after the purchase deadline. passert $(errCode AuctionEscrow'SellerReclaims'Error'IncorrectValidityInterval) $ - pcontains # (ppenaltyPeriod # auctionTerms) # txInfoFields.validRange + pcontains # (ppostPurchasePeriod # auctionTerms) # txInfoFields.validRange ------------------------------------------------------------------ -- Check auction escrow state transition