From 598085379ce1883c64a24f86f8f23ab190e547ab Mon Sep 17 00:00:00 2001 From: Sasha Bogicevic Date: Thu, 14 Nov 2024 17:43:27 +0100 Subject: [PATCH] Refactor redeemer construction for close/contest and fix one version problem on-chain --- hydra-plutus/scripts/mHead.plutus | 4 +- hydra-plutus/scripts/vHead.plutus | 4 +- hydra-plutus/src/Hydra/Contract/Head.hs | 2 +- hydra-tx/src/Hydra/Tx/Close.hs | 44 +++++++---------- hydra-tx/src/Hydra/Tx/Contest.hs | 63 ++++++++++--------------- 5 files changed, 48 insertions(+), 69 deletions(-) diff --git a/hydra-plutus/scripts/mHead.plutus b/hydra-plutus/scripts/mHead.plutus index 671d53fb85b..a8286d6bdbb 100644 --- a/hydra-plutus/scripts/mHead.plutus +++ b/hydra-plutus/scripts/mHead.plutus @@ -1,5 +1,5 @@ { "type": "PlutusScriptV3", - "description": "hydra-mHead-0.19.0-358-gcaa1a6f63", - "cborHex": "5915795915760101003332323232323232323232323232323232323232323232222232930010029114800c8940364b264b264646464aa666ae68004460042264aa666ae680044600022604804666e1d20020033370e90000011aab9e00235573a0026ea801226602a921034d303600593330132232333573400300080119b8f002001301400130169001911001a426604244b200318004886400a44b264666ae6800600100233710002900044c01800e30020003180122666664644444a65266038921034d303100323302822590018c00a442b3201122900491192a999ab9a0011132333573400300080119b870040021180119b8f004002230008980200080026604e44b2003180048860072005220024c010004950019111111111111111008264646464642b266042921034d30320032333573400300080119b8732593330202232333573400300080119b8f002001500630235007909801000c5200019199119118010009817912c800c400e4432005223300800130060032400644004900191000a0024466e0000800605233700a00290014564cc0852401034d3033003323223002001302d22590018c00a4432005223255333573400222604c00422600e00866e3c00801c50059500391000a2b2b2660429201034d30340032333573400300080119b8750013300b11223223002001302e22590018801c884cc018008c010004a0091330262593330202232333573400300080119b8f002001500600190ac800c4c0b52401034d303800910c8014896400e2b264666ae680060010023370e002900146001130314901034d3038004884c0cd2401034d30380011302c4901034d3037002802460048ac9981312c800c5409242b260520032133024491034d31320032333573400300080119b8f001500889816a49034d31320048540946605844b2003180048860072005220024c0100043300c00a5006899810a49034d3035005932333573400300080119b8f9500291100194016332a00522200248a402a4464aa666ae6800444c8ccd5cd000c00200466e1c0100084600466e3c0100088c009180123002460048c00832a0032220010acca800c880091502390ac9999998138009919191911192992999ab9a002115933335573e00650022800c004d5d08024d5d1002100090c800c8964c02000a42b26666aae7c008a00450018009aba10039aba20032001219001912c9980680700148564cccd55cf80114008a003001357420073574400640024320032259303900290ac9999aab9f00228011191940040086ae88010d5d0801c00242b26666660780024464aa666ae680044564cccd55cf80114008a003001357420073574400640024320032259304100290ac9999aab9f00228011191940040086ae88010d5d0801c00242b2603a00321800c00400e002460048c00918011180104600466e1d2000002280114008a004500290c00600a017007801c0048980724c89806a4c8980624c44c0252644c0212622600a932260089311300149822600293191192a999ab9a001115933335573e00a5002232328008010d5d10039aba100680048564cccccc0c800488c954ccd5cd00088ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2606e005215933335573e00450022800c004d5d0801cd5d1001900090c800c8964cc04c05000a42b26666aae7c008a00450018009aba10039aba20032001219001912c980b00148564cccd55cf80114008a003001357420073574400640024320032259301d00290ac9999aab9f00228011191940040086ae88010d5d0801c00242b2608a00321800c00403e017007801c0048c0091801230022300246004460048c0088c00918011180104600466e1d2000002280114008a004500290c00600e00244c0112644c00d26089801a4c66e1d20020053223255333573400222b26666aae7c014a004464650010021aba20073574200d00090ac99999981900091192a999ab9a001115933335573e00450022800c004d5d0801cd5d1001900090c800c8964c0dc00a42b26666aae7c008a00450018009aba10039aba20032001219001912c9980980a00148564cccd55cf80114008a003001357420073574400640024320032259301600290ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2603a005215933335573e00450022800c004d5d0801cd5d1001900090c800c8964c08400a42b26666aae7c008a00450018009aba10039aba20032001219001912c982580148564cccd55cf80114008a003001357420073574400640024320032259304f00290ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2660560a6005215933335573e0045002232328008010d5d10021aba100380048564c0bc0064300180080fc06e02f013807c02e00f003800918012300246004460048c0088c009180111801230022300246004460048c0088c009180111801230022300208c008cdc3a40000045002280114008a00521800c0040048980224c89801a4c113003498cdc3a400800a464aa666ae680044600300208c008cdc3a400c00866e1d2000002233333302b001223255333573400222b26666aae7c008a004464650010021aba20043574200700090ac9804000c860020028c009180104600466e1d2000002280114008a0045002232233333302c0012280114008008a0045002302e2233335573e00250018000964c010d5d080148564c010d5d1001c8600300300280091801226500230033574400480012c9814000c860020028c008466666605000245002280114008a002002280114008a004500228014856400642a04b1502491110c00400a0033300f11223223002001303222590018801c884cc018008c01000400690a812a26054921034d30390048540902b26601200ca00713028491034d313100910ac800c400a44260589201034d31310004cc0a089640063000910c00e400a44002980200086601000ca004260360051801064006444006233550012233700002900124000446604444b200318004884c966400e444520092290029400a464aa666ae68004460030010068038230023371e00201c2430030018012200230040014800c888888888888888803801401201000230050068a4d1500c48940364a01922500d928060646464646464464646464aa666ae6800444ca0026646464464646464aa666ae6800444c8c8c8c8c8c8c8c8c8c8c8c8c8ca0026605a0286ae840426605a0286ae8403a6605a02a6ae840366eb4d5d08064ccc079d7280b1aba100b9981680f9aba100a99980f010bad357420133353232122323232325533357340022300132323232553335734002230013300c00a35742005300b357426ae8800822608e08c66e1d200000235573c0046aae74004dd51aba1002991919192a999ab9a00111800998060051aba100298059aba1357440041130470463370e90000011aab9e00235573a0026ea8d5d09aba200208982182119b8748000008d55cf0011aab9d0013754002464646464aa666ae68004460042264aa666ae680044600022608408266e1d20020033370e90000011aab9e00235573a0026ea800488c8c8c8c954ccd5cd00088c00844c954ccd5cd00088c004c01cd5d0801844c954ccd5cd00088c01044c10c108cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea8005d69aba100899816bae3574200f33301e23232323255333573400223003375c6ae840082264aa666ae680044601260506ae8400c2264aa666ae680044600e60506ae840102264aa666ae68004460026eb4d5d0802cc09cd5d09aba200508992a999ab9a0011180598149aba100608992a999ab9a001118029bad3574200f3027357426ae8801c22608a08866e1d200a0073370e900400319b8748018014cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80040a8d5d08034ccc079d70151aba10059bae3574200933301e0203301e02c232323232553335734002230021132553335734002230041132553335734002230001130420413370e900200219b874800800ccdc3a40000046aae78008d55ce8009baa001357420073302d01d357420053302b75a6ae8400666056eb4d5d09aba20011aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba20013574400422605a05866e1d200000235573c0046aae74004dd50009191919192a999ab9a0011180098099aba100298031aba13574400411302c02b3370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd0008899194004c8c8c8c954ccd5cd00088c004c05cd5d08014cc0848c8c8c8c954ccd5cd00088c004c070d5d0801044c954ccd5cd0008899400cdd69aba10049bad35742003375a6ae84d5d10008d5d100188981b81b19b874800800ccdc3a40000046aae78008d55ce8009baa001357426ae8800822606206066e1d200000235573c0046aae74004dd51aba10049998083ae5008357420053232323255333573400223000113255333573400223005375c6ae8400c2264aa666ae68004460066ae8401022606606466e1d20040043370e900100199b8748000008d55cf0011aab9d00137546ae840066603aeb8d5d09aba20011aba20013574400422605605466e1d200000235573c0046aae74004dd50008998043ae75a6ae8400e6ae8400664646464aa666ae68004460066eb8d5d0801044c954ccd5cd00088c024c044d5d0801ccc068064d5d09aba200308992a999ab9a0011180398089aba100408992a999ab9a001118009bad3574200b3010357426ae880142264aa666ae680044601660246ae840182264aa666ae680044600a6eb4d5d0803cc040d5d09aba200708981701699b874802801ccdc3a401000c66e1d20060053370e900200219b874800800ccdc3a40000046aae78008d55ce8009baa357426ae880046ae8800844c09008ccdc3a40000046aae78008d55ce8009baa0012323232325533357340022265001375a6ae8400e60146ae8400664646464aa666ae6800444ca012660320346ae8400e6ae8400666032eb8d5d09aba20011aba20021132553335734002230013301901a357420073232323255333573400223001375a6ae8400a6eb4d5d09aba200208981681619b8748000008d55cf0011aab9d00137546ae84d5d1001844c954ccd5cd00088c02cccc034041d69aba10049980d3ae357426ae880102264aa666ae680044600e660360386ae840142264aa666ae6800444c8ca01a6603c03e6ae84022660400286ae8400a666022028eb4d5d0800e4c8c8c8c954ccd5cd00088c004dd69aba10029bad357426ae8800822606406266e1d200000235573c0046aae74004dd51aba135744003223301c0020010d5d10009aba20061132553335734002230053301d01e3574200f323232325533357340022266042eb8d5d080108981881819b8748000008d55cf0011aab9d00137546ae84d5d1003844c954ccd5cd00088c00844c0b80b4cdc3a401801066e1d200a0073370e900400319b8748018014cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea8d5d09aba20011aba20021130230223370e90000011aab9e00235573a0026ea800488c88c008dd58009810111999aab9f0012800119400e002600c6aae74006600a6aae7800530043574400635742005000322323232325533357340022300d3008357420053301275a6ae84d5d1001044c954ccd5cd00088c04cc024d5d0801ccc04dd69aba135744006113255333573400223003300a357420093008357426ae880102264aa666ae6800444ca01660186ae8401a60146ae840066eb4d5d09aba20011aba2005113255333573400223009300c3574200d375a6ae84d5d1003044c954ccd5cd00088c054c034d5d0803844c954ccd5cd00088c044c038d5d08044dd69aba135744010113255333573400223005375c6ae840266eb8d5d09aba200908992a999ab9a001118039bae35742015375a6ae84d5d1005044c954ccd5cd00088c004c044d5d0805cc044d5d09aba200b08992a999ab9a0011180798091aba100c08981601599b8748050030cdc3a402401666e1d201000a3370e900700499b8748030020cdc3a401400e66e1d20080063370e900300299b8748010010cdc3a400400666e1d200000235573c0046aae74004dd5000991191919192a999ab9a001118009bae35742004113255333573400223005300735742006113255333573400223003375c6ae8401260106ae84d5d1002044c09008ccdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004c01cd5d0801044c954ccd5cd00088c00844c954ccd5cd00088c01044c08c088cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004c018d5d0801044c954ccd5cd00088c00cc01cd5d0801844c954ccd5cd00088c014dd71aba100408981101099b8748010010cdc3a400400666e1d200000235573c0046aae74004dd50009191919192a999ab9a001118009bae35742004113255333573400223003375c6ae8400c22604003e66e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004dd71aba10029bad357426ae8800822603c03a66e1d200000235573c0046aae74004dd5000980a911192a999ab9a001113018490103505433001132553335734002226600a66e0405c010cdc080b80188994004cdc2002800ccdc20020008cc01801000ccdc400100b19b8700101530142223255333573400222006226600800466e1800c008cdc380080a098092481035054350020012232323232553335734002230021132553335734002230013007357420061130170163370e900000199b8748008008d55cf0011aab9d0013754002464646464aa666ae68004460026eb8d5d08014dd69aba1357440041130140133370e90000011aab9e00235573a0026ea80048c88c008dd60009808111999aab9f00128001400cc010d5d08014c00cd5d10012000601c44b200318014886400a4464aa666ae6800444c8ccd5cd000c00200466e1c00920021130070043371e00491010b487964726148656164563100088c88c008004c03c89640063002910c80148964cc02000801e300100144c01800c1914800c88a400644a00f2001912803c9401a44a00f2500604c98cd5ce249024c6800800112c800c6001133573800500214800c8888888888888888030260109201034d31320013007491034d30390013006491034d31300023223002001300722590018c002442b2600a005130040018c00823333330020012280114008a004500228008008888888ccccccd5d2003119198039aab9d00135573c0026ea801c8c014dd5803918021bac00723003375a00e460046eb801e0009000249035054310023263357380030002323001001230022330020020014891c00a6ddbc130ab92f5b7cb8d1ccd8d79eca5bfe25f6843c07b62841f00048811c92d05f13827a8a1abe39812ad7c64302b698b7159a2a11e78cb895270001" + "description": "hydra-mHead-0.19.0-367-g16b2e101f", + "cborHex": "5915795915760101003332323232323232323232323232323232323232323232222232930010029114800c8940364b264b264646464aa666ae68004460042264aa666ae680044600022604804666e1d20020033370e90000011aab9e00235573a0026ea801226602a921034d303600593330132232333573400300080119b8f002001301400130169001911001a426604244b200318004886400a44b264666ae6800600100233710002900044c01800e30020003180122666664644444a65266038921034d303100323302822590018c00a442b3201122900491192a999ab9a0011132333573400300080119b870040021180119b8f004002230008980200080026604e44b2003180048860072005220024c010004950019111111111111111008264646464642b266042921034d30320032333573400300080119b8732593330202232333573400300080119b8f002001500630235007909801000c5200019199119118010009817912c800c400e4432005223300800130060032400644004900191000a0024466e0000800605233700a00290014564cc0852401034d3033003323223002001302d22590018c00a4432005223255333573400222604c00422600e00866e3c00801c50059500391000a2b2b2660429201034d30340032333573400300080119b8750013300b11223223002001302e22590018801c884cc018008c010004a0091330262593330202232333573400300080119b8f002001500600190ac800c4c0b52401034d303800910c8014896400e2b264666ae680060010023370e002900146001130314901034d3038004884c0cd2401034d30380011302c4901034d3037002802460048ac9981312c800c5409242b260520032133024491034d31320032333573400300080119b8f001500889816a49034d31320048540946605844b2003180048860072005220024c0100043300c00a5006899810a49034d3035005932333573400300080119b8f9500291100194016332a00522200248a402a4464aa666ae6800444c8ccd5cd000c00200466e1c0100084600466e3c0100088c009180123002460048c00832a0032220010acca800c880091502390ac9999998138009919191911192992999ab9a002115933335573e00650022800c004d5d08024d5d1002100090c800c8964c02000a42b26666aae7c008a00450018009aba10039aba20032001219001912c9980680700148564cccd55cf80114008a003001357420073574400640024320032259303900290ac9999aab9f00228011191940040086ae88010d5d0801c00242b26666660780024464aa666ae680044564cccd55cf80114008a003001357420073574400640024320032259304100290ac9999aab9f00228011191940040086ae88010d5d0801c00242b2603a00321800c00400e002460048c00918011180104600466e1d2000002280114008a004500290c00600a017007801c0048980724c89806a4c8980624c44c0252644c0212622600a932260089311300149822600293191192a999ab9a001115933335573e00a5002232328008010d5d10039aba100680048564cccccc0c800488c954ccd5cd00088ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2606e005215933335573e00450022800c004d5d0801cd5d1001900090c800c8964cc04c05000a42b26666aae7c008a00450018009aba10039aba20032001219001912c980b00148564cccd55cf80114008a003001357420073574400640024320032259301d00290ac9999aab9f00228011191940040086ae88010d5d0801c00242b2608a00321800c00403e017007801c0048c0091801230022300246004460048c0088c00918011180104600466e1d2000002280114008a004500290c00600e00244c0112644c00d26089801a4c66e1d20020053223255333573400222b26666aae7c014a004464650010021aba20073574200d00090ac99999981900091192a999ab9a001115933335573e00450022800c004d5d0801cd5d1001900090c800c8964c0dc00a42b26666aae7c008a00450018009aba10039aba20032001219001912c9980980a00148564cccd55cf80114008a003001357420073574400640024320032259301600290ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2603a005215933335573e00450022800c004d5d0801cd5d1001900090c800c8964c08400a42b26666aae7c008a00450018009aba10039aba20032001219001912c982580148564cccd55cf80114008a003001357420073574400640024320032259304f00290ac9999aab9f0022801140060026ae8400e6ae8800c800486400644b2660560a6005215933335573e0045002232328008010d5d10021aba100380048564c0bc0064300180080fc06e02f013807c02e00f003800918012300246004460048c0088c009180111801230022300246004460048c0088c009180111801230022300208c008cdc3a40000045002280114008a00521800c0040048980224c89801a4c113003498cdc3a400800a464aa666ae680044600300208c008cdc3a400c00866e1d2000002233333302b001223255333573400222b26666aae7c008a004464650010021aba20043574200700090ac9804000c860020028c009180104600466e1d2000002280114008a0045002232233333302c0012280114008008a0045002302e2233335573e00250018000964c010d5d080148564c010d5d1001c8600300300280091801226500230033574400480012c9814000c860020028c008466666605000245002280114008a002002280114008a004500228014856400642a04b1502491110c00400a0033300f11223223002001303222590018801c884cc018008c01000400690a812a26054921034d30390048540902b26601200ca00713028491034d313100910ac800c400a44260589201034d31310004cc0a089640063000910c00e400a44002980200086601000ca004260360051801064006444006233550012233700002900124000446604444b200318004884c966400e444520092290029400a464aa666ae68004460030010068038230023371e00201c2430030018012200230040014800c888888888888888803801401201000230050068a4d1500c48940364a01922500d928060646464646464464646464aa666ae6800444ca0026646464464646464aa666ae6800444c8c8c8c8c8c8c8c8c8c8c8c8c8ca0026605a0286ae840426605a0286ae8403a6605a02a6ae840366eb4d5d08064ccc079d7280b1aba100b9981680f9aba100a99980f010bad357420133353232122323232325533357340022300132323232553335734002230013300c00a35742005300b357426ae8800822608e08c66e1d200000235573c0046aae74004dd51aba1002991919192a999ab9a00111800998060051aba100298059aba1357440041130470463370e90000011aab9e00235573a0026ea8d5d09aba200208982182119b8748000008d55cf0011aab9d0013754002464646464aa666ae68004460042264aa666ae680044600022608408266e1d20020033370e90000011aab9e00235573a0026ea800488c8c8c8c954ccd5cd00088c00844c954ccd5cd00088c004c01cd5d0801844c954ccd5cd00088c01044c10c108cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea8005d69aba100899816bae3574200f33301e23232323255333573400223003375c6ae840082264aa666ae680044601260506ae8400c2264aa666ae680044600e60506ae840102264aa666ae68004460026eb4d5d0802cc09cd5d09aba200508992a999ab9a0011180598149aba100608992a999ab9a001118029bad3574200f3027357426ae8801c22608a08866e1d200a0073370e900400319b8748018014cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80040a8d5d08034ccc079d70151aba10059bae3574200933301e0203301e02c232323232553335734002230021132553335734002230041132553335734002230001130420413370e900200219b874800800ccdc3a40000046aae78008d55ce8009baa001357420073302d01d357420053302b75a6ae8400666056eb4d5d09aba20011aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba20013574400422605a05866e1d200000235573c0046aae74004dd50009191919192a999ab9a0011180098099aba100298031aba13574400411302c02b3370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd0008899194004c8c8c8c954ccd5cd00088c004c05cd5d08014cc0848c8c8c8c954ccd5cd00088c004c070d5d0801044c954ccd5cd0008899400cdd69aba10049bad35742003375a6ae84d5d10008d5d100188981b81b19b874800800ccdc3a40000046aae78008d55ce8009baa001357426ae8800822606206066e1d200000235573c0046aae74004dd51aba10049998083ae5008357420053232323255333573400223000113255333573400223005375c6ae8400c2264aa666ae68004460066ae8401022606606466e1d20040043370e900100199b8748000008d55cf0011aab9d00137546ae840066603aeb8d5d09aba20011aba20013574400422605605466e1d200000235573c0046aae74004dd50008998043ae75a6ae8400e6ae8400664646464aa666ae68004460066eb8d5d0801044c954ccd5cd00088c024c044d5d0801ccc068064d5d09aba200308992a999ab9a0011180398089aba100408992a999ab9a001118009bad3574200b3010357426ae880142264aa666ae680044601660246ae840182264aa666ae680044600a6eb4d5d0803cc040d5d09aba200708981701699b874802801ccdc3a401000c66e1d20060053370e900200219b874800800ccdc3a40000046aae78008d55ce8009baa357426ae880046ae8800844c09008ccdc3a40000046aae78008d55ce8009baa0012323232325533357340022265001375a6ae8400e60146ae8400664646464aa666ae6800444ca012660320346ae8400e6ae8400666032eb8d5d09aba20011aba20021132553335734002230013301901a357420073232323255333573400223001375a6ae8400a6eb4d5d09aba200208981681619b8748000008d55cf0011aab9d00137546ae84d5d1001844c954ccd5cd00088c02cccc034041d69aba10049980d3ae357426ae880102264aa666ae680044600e660360386ae840142264aa666ae6800444c8ca01a6603c03e6ae84022660400286ae8400a666022028eb4d5d0800e4c8c8c8c954ccd5cd00088c004dd69aba10029bad357426ae8800822606406266e1d200000235573c0046aae74004dd51aba135744003223301c0020010d5d10009aba20061132553335734002230053301d01e3574200f323232325533357340022266042eb8d5d080108981881819b8748000008d55cf0011aab9d00137546ae84d5d1003844c954ccd5cd00088c00844c0b80b4cdc3a401801066e1d200a0073370e900400319b8748018014cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea8d5d09aba20011aba20021130230223370e90000011aab9e00235573a0026ea800488c88c008dd58009810111999aab9f0012800119400e002600c6aae74006600a6aae7800530043574400635742005000322323232325533357340022300d3008357420053301275a6ae84d5d1001044c954ccd5cd00088c04cc024d5d0801ccc04dd69aba135744006113255333573400223003300a357420093008357426ae880102264aa666ae6800444ca01660186ae8401a60146ae840066eb4d5d09aba20011aba2005113255333573400223009300c3574200d375a6ae84d5d1003044c954ccd5cd00088c054c034d5d0803844c954ccd5cd00088c044c038d5d08044dd69aba135744010113255333573400223005375c6ae840266eb8d5d09aba200908992a999ab9a001118039bae35742015375a6ae84d5d1005044c954ccd5cd00088c004c044d5d0805cc044d5d09aba200b08992a999ab9a0011180798091aba100c08981601599b8748050030cdc3a402401666e1d201000a3370e900700499b8748030020cdc3a401400e66e1d20080063370e900300299b8748010010cdc3a400400666e1d200000235573c0046aae74004dd5000991191919192a999ab9a001118009bae35742004113255333573400223005300735742006113255333573400223003375c6ae8401260106ae84d5d1002044c09008ccdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004c01cd5d0801044c954ccd5cd00088c00844c954ccd5cd00088c01044c08c088cdc3a400800866e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004c018d5d0801044c954ccd5cd00088c00cc01cd5d0801844c954ccd5cd00088c014dd71aba100408981101099b8748010010cdc3a400400666e1d200000235573c0046aae74004dd50009191919192a999ab9a001118009bae35742004113255333573400223003375c6ae8400c22604003e66e1d20020033370e90000011aab9e00235573a0026ea80048c8c8c8c954ccd5cd00088c004dd71aba10029bad357426ae8800822603c03a66e1d200000235573c0046aae74004dd5000980a911192a999ab9a001113018490103505433001132553335734002226600a66e0405c010cdc080b80188994004cdc2002800ccdc20020008cc01801000ccdc400100b19b8700101530142223255333573400222006226600800466e1800c008cdc380080a098092481035054350020012232323232553335734002230021132553335734002230013007357420061130170163370e900000199b8748008008d55cf0011aab9d0013754002464646464aa666ae68004460026eb8d5d08014dd69aba1357440041130140133370e90000011aab9e00235573a0026ea80048c88c008dd60009808111999aab9f00128001400cc010d5d08014c00cd5d10012000601c44b200318014886400a4464aa666ae6800444c8ccd5cd000c00200466e1c00920021130070043371e00491010b487964726148656164563100088c88c008004c03c89640063002910c80148964cc02000801e300100144c01800c1914800c88a400644a00f2001912803c9401a44a00f2500604c98cd5ce249024c6800800112c800c6001133573800500214800c8888888888888888030260109201034d31320013007491034d30390013006491034d31300023223002001300722590018c002442b2600a005130040018c00823333330020012280114008a004500228008008888888ccccccd5d2003119198039aab9d00135573c0026ea801c8c014dd5803918021bac00723003375a00e460046eb801e0009000249035054310023263357380030002323001001230022330020020014891c00a6ddbc130ab92f5b7cb8d1ccd8d79eca5bfe25f6843c07b62841f00048811c05e8f9cc86c7fbcc19b568a1f44044f544e45a6e39f107739ef0c8f90001" } diff --git a/hydra-plutus/scripts/vHead.plutus b/hydra-plutus/scripts/vHead.plutus index 5bca761e57f..e4250ecac55 100644 --- a/hydra-plutus/scripts/vHead.plutus +++ b/hydra-plutus/scripts/vHead.plutus @@ -1,5 +1,5 @@ { "type": "PlutusScriptV3", - "description": "hydra-vHead-0.19.0-358-gcaa1a6f63", - "cborHex": "59358459358101000032323322333222323322323232323233223232332232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323233332222323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322323235300100322233333350012230574910350543500230564910350543500223057490103505435002305649103505435002253350012153353232325333350033232323232215333333350081306d49884c1b9261306d498c8c8c8c8c8c8854cd4c09d403454cd54cd4ccd5cd19b8735304900e2222222220065002091010900110910113357389201034831330009001153355335333573466e25402cd402088888888801424004244044244044cd5ce2490348333100090011533533350012533533301d500633333302450045003500c35304a00f222222222004303b08c0135304a00f222222222003001109201133573892010348333900091012533533301d5006333333024500433702a006900128061a9825007911111111002181d846009a9825007911111111001800884900899ab9c4910348343900091012253355335333573466e3cd4c12c04088888888800cc0f02340424c04248044ccc079401ccccccc0954014cdc0a80224004a01a6a6096020444444444008607811a02002004212402212602266ae71241034834300009201153353302e00e500315335533533232230020013094012253350011094012215335333573466e3c01400825804254044254044c010005403140104244044cd5ce248103483338000900115335353535500d2222222222222222009220012253335002215335333573466e2400540282500424c044250044cd5ce2490348333200093011506715067153355335333502a07b500933508a01500c50041091011335738921034833360009001153355335333573466e1cc1ad4024c1b14028244042400454cd4ccd5cd19b8735304900e222222222001500709101090011091011335738920103483334000900115335333573466e1cd4c124038888888888004cdc02803a8030488084800884880899ab9c4901034833350009001153353330293308501500a5005330850135304900e2222222220075006330850135304900e2222222220095003153353303c5335305500e213535001220012222003108b0135533535500d222222222222222200e13068033221002222200310910113357389201024834000900110900110900110900110900110900110900110900110900110900110900113500622222222200613500522222222200913500422222222200213500322222222200813500222222222200713500122222222200121306e498884d40248894cd4ccc0a4d400c8888888888888888030d4018888888888024d4018888888888020c854cd54cd4ccd5cd19b8f30393350250065001350072222222220040900108f0110900113357389201034834310008f01153355335333573466e3cd401c88888888800cc0e4c8cd4098018004cd410c01940042400423c044240044cd5ce2481034834320008f0113535350042222222222222222009220022253335002215335333573466e24004d40288888888880042480424c04424c044cd5ce2490348343300092011506e1506e108f01108f01135003222222222222222200e108e0121306e4984d4c1000148888888880084d4c0fc0108888888880204d4c0f800c88888888801454cd4d5400488888888888888880204c1692622153350011002221305e4984d400488800c4c19d2622232322153233333335009150012150021350082225332355335333573466e3cd4c0f403088888004c0c0d5400488800c23c0423804423c044cd5ce249034831370008e01153355335333573466e1d200035303d00c2222200208f0108e01108f0113357389201034832300008e0115335333027330830135303d00c2222200400a330830135303d00c2222200300b330830135303d00c2222200500915335533533043533535004222222222222222200e108901221306f0013232333077079002306433508a01330850104333508a0100108b0108b01330840104235005222222222222222200d355001222001108f011335738921034831390008e01153355335330360095335305300c213535001220012222003108901108f011335738921034831360008e01153355335333573466e1cd54004888008c1b802823c0423804423c044cd5ce249034831380008e01153353302c00c00913025004108e01108e01108e01108e01108e01108e0113007350032222222222222222010108d0121500221500222150032150021533333335008135007222533533302735003222222222222222200c00700832153353302b00b0081533533078302f50013037335023306b500135004222222222222222200e108e0113357389201034831350008d01108d0113300508701350032222222222222222010108c0121306e4984c1b52621306e49884c1b926221306f49884c1b926308a012232253350011003221350022253353304600a00113300830063058001003133008007003308c0122533500110032213350870100230040013089012253350011333057083014800020c04884c8d400c88d400c8c8894cd4cc14cd40148888010d4d4c15403c880048888010401c54cd4cc1200300144ccc180c00cc168014cdc02400400400226660c00080046660f00f40026a00a444400661220244a66a002200644266a11802004600800260080026464646464646464464642a6666666a01a260e4931919191910a99a981528080a99aa99a999ab9a3371266e04d4d4d54040888888888888888802488004894ccd400884004541e0541e0d4d4d54040888888888888888802488008894ccd400884004541dc541dd40102500424c044250044cd5ce249034832320009301153355335333573466e1cd4c130044888888888004c8d4048888d4d4d400c888888888888888802488004894ccd400884cdc00008038a83d0a83d280204a0084980884a00899ab9c49103483233000930115335330310115003153355335333573466e1cd4c13004488888888801940082500424c044250044cd5ce248103483133000930115335533333350012153355335333573466e254041200009401095011333020500633333302750045003501035304d012222222222004303e08f01303e08f0100110940110950113357389201034834380009401153355335333573466e1d20005002094010930115335333573466e1d2000500f09401093011333573466e3cd4c130044888888888010d4020888880042500424c04424c04424c044250044cd5ce2481034832380009301215335333020500633333302750045003501035304d012222222222004303e08f01500f001109501133573892010348323900094012215335333021500733333302850055004501135304e013222222222004001303f09001002109601133573892010348323900095012215335533533080015010303f0900113330215007333333028500533702a008900128089a9827009911111111002181f84800800801084a80884b00899ab9c490103483330000950121533553353307f500f303e08f0113330205006333333027500433702a006900128081a98268091111111110022807981f04780800884a00884a80899ab9c4901034833300009401153355335533535304c01122222222200210940122109501109401133573892010348323600093011533553353303f53353058011213535001220012222003108e01355335355010222222222222222200e1306b0362210022222003109401133573892010248340009301133302c330880135304c0112222222220085005330880135304c0112222222220075004330880135304c0112222222220095003109301109301109301109301109301109301109301109301135006222220021350052222200513500422222003135003222220041307249884c1cd26323221533533302a33086013500622222004500a3308601350062222200335304000f2222200333086015003500932153355335333573466e1cd4c10404088888008cdc024004a0061260212402212602266ae7124010348323100092011533533301e500b333333025500a50033500222200235304101022222001303c08d01303c5001350022220031533553353304753353057010213535001220012222003108d0133307907b355335500c1306a03522100222220033078500110930113357389201024834000920113303001050041092011092011092011335027350012220015335500b13069491035054390022100110910113500422222002135003222220052213074498c88c8c84d40408894cd4ccc0b8cc22804d4028888880114030cc22804d40288888800cd4c11004c8888800ccc228054025402cc854cd54cd4ccd5cd19b8735304501422222002337009001280404b8084b00884b80899ab9c4910348323100096011533553353304233307d07f53353009308701350042222222222222222010210011326335738921034834370007b3535500122001222200335533535004222222222222222200e1306e0392210022222003109701133573892102483400096011533533034014500a15335333022500d333333029500c500835007222002353045014222220013038533532333306506806450610013069355001220012135001222001109101304009101350072220031533530053088013500422222222222222220101097011335738920103483435000960110960110960110960110960115335323235005222222222222222230110103099012253350011508b01221350022253353306200200713090010041300600350052100113263357389201034834360007a10950130940122533500110930122153353305b50050021096011300400113500122200113500322222002309001225335001150820122153353303950050021308501002130040011350012222200513530390082222200513530380072222200413530370062222200513530360052222200413535004222003222222222222222200e135303e003222222222003135303d002222222222005135001222003300900b3232325335333573466e1d2000002085010840111222222200515335333573466e1d200200208501084011321222222230010083232325335333573466e1d20000020880108701132333222123330010040030023301975c6ae84008dd69aba10013010357426ae88004d5d10008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90020010428084200899091111111801804191919299a999ab9a3370e90000010440084380899199911091998008020018011980cbae357420046eb4d5d08009bad357426ae88004d5d10008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90030010428084200899091111111803004191919299a999ab9a3370e90000010440084380889111110028a99a999ab9a3370e90010010440084380899091111118030039980c3ae357420022a66a666ae68cdc3a40080041100210e022642444444600800e66030eb8d5d08008a99a999ab9a3370e90030010440084380899910911111198010040039980c3ae357420026eb8d5d09aba200115335333573466e1d20080020880108701133221222222330030080073301875c6ae84004dd71aba1357440022a66a666ae68cdc3a40140041100210e022642444444600200e66030eb8d5d08008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90040010428084200899091111111802004191919299a999ab9a3370e90000010440084380899091118018021980c3ae357420022a66a666ae68cdc3a40040041100210e022664424446600200a00866030eb8d5d08009bae357426ae8800454cd4ccd5cd19b87480100082200421c044c84888c008010cc061d71aba10011305f06035573c0046aae74004dd51aba100115335333573466e1d200a002085010840111222222200715335333573466e1d200c0020850108401133221222222233002009008375a6ae84004dd69aba135744002260b80ba6aae78008d55ce8009baa0063232325335333573466e1d20000020840108301132323333041305c357420066602c0be6ae84008dd71aba1001300d357426ae88004d5d10009aba200115335333573466e1d200200208401083011303e3232325335333573466e1d20000020870108601132323233333049375c6ae84010cc06818cd5d080198301aba1002375a6ae84004dd71aba1357440026ae88004d5d10009aba20011305e05f35573c0046aae74004dd51aba100115335333573466e1d20040020840108301130413232325335333573466e1d2000002087010860113232323232323233333333304c375c6ae84020cc07819cd5d080398321aba1006375a6ae84014dd69aba1004375c6ae8400cdd71aba10023301e75c6ae84004dd69aba1357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba20011305e05f35573c0046aae74004dd51aba100115335333573466e1d2006002084010830110401305b05c35573c0046aae74004dd500088190982c2481035054350013057491035054350023056491035054350032323232323232323223232325335333573466e1d20000020870108601132333222123330010040030023232325335333573466e1d200000208b0108a01132323232323232323232323232323333333333333333222222222222222212333333333333333300101101000f00e00d00c00b00a0090080070060050040030023302901a3574201e660520346ae84038cc0a406cd5d08069bad3574201866603eeb94078d5d08059981480c1aba100a33301f01c75a6ae84024c8c8c94cd4ccd5cd19b87480000082700426c044cc8848cc00400c008c8c8c94cd4ccd5cd19b874800000827c04278044cc8848cc00400c008cc0b5d69aba1001302c357426ae880044c1d81dcd55cf0011aab9d00137546ae84004c8c8c94cd4ccd5cd19b874800000827c04278044cc8848cc00400c008cc0b5d69aba1001302c357426ae880044c1d81dcd55cf0011aab9d00137546ae84d5d10008983983a1aab9e00235573a0026ea8d5d080419814bae3574200e66603e4646464a66a666ae68cdc3a400000413a02138022642444444600a00e6eb8d5d08008a99a999ab9a3370e900100104e8084e008990911111180100398121aba100115335333573466e1d200400209d0109c01132122222230030073020357420022a66a666ae68cdc3a400c00413a02138022664424444446600c01000e6eb4d5d0800980e1aba1357440022a66a666ae68cdc3a401000413a02138022642444444600200e603a6ae8400454cd4ccd5cd19b874802800827404270044cc884888888cc01002001cdd69aba1001301b357426ae880044c1d01d4d55cf0011aab9d001375400204a6ae84018ccc07dd70129aba1005375c6ae84010ccc07c064cc07c0a08c8c8c94cd4ccd5cd19b874800000827404270044488800854cd4ccd5cd19b874800800827404270044488800454cd4ccd5cd19b874801000827404270044488800c4c1d01d4d55cf0011aab9d00137540026ae8400ccc0a405cd5d08011980ebad357420026603aeb4d5d09aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae880044c18818cd55cf0011aab9d00137546ae84008d5d0800991919299a999ab9a3370e90000010458084500899091111118028039bae357420022a66a666ae68cdc3a400400411602114022664424444446600401000e60246ae84004cc03c05cd5d09aba200115335333573466e1d200400208b0108a0113212222223003007300e357420022a66a666ae68cdc3a400c00411602114022664424444446600c01000e6eb4d5d080098051aba1357440022a66a666ae68cdc3a401000411602114022642444444600200e60166ae8400454cd4ccd5cd19b874802800822c04228044cc884888888cc01002001cdd69aba10013009357426ae880044c18818cd55cf0011aab9d00137546ae84d5d10009aba20011305e05f35573c0046aae74004dd50009191919299a999ab9a3370e90000010430084280899199911091998008020018011bad3574200460146ae84004c8c8c94cd4ccd5cd19b874800000822804224044c8ccc88848888888ccc00c028024020cc03c068d5d08011aba10013300f75c6ae84d5d10009aba200115335333573466e1d200200208a01089011332212222222330070090083300e01935742002646464a66a666ae68cdc3a400000411a02118022664424660020060046eb4d5d08009bad357426ae880044c190194d55cf0011aab9d00137546ae84d5d10008a99a999ab9a3370e90020010450084480899910911111119801004804199808006bad357420026601ceb8d5d09aba200115335333573466e1d200600208a01089011321222222230040083300e019357420022a66a666ae68cdc3a401000411402112022646466664444244444446666002016014012010660200366ae8400ccc07003cd5d0801199809007bad357420026a646464a66a666ae68cdc3a400000411e0211c02266106026eb4d5d08009bad357426ae880044c19819cd55cf0011aab9d00137546ae84d5d1000911980b8010009aba2001357440022a66a666ae68cdc3a4014004114021120226644244444446600a0120106601c0326ae84004c8c8c94cd4ccd5cd19b874800000823404230044cc045d71aba10011306406535573c0046aae74004dd51aba1357440022a66a666ae68cdc3a4018004114021120222444444400c260c20c46aae78008d55ce8009baa357426ae88004d5d10008982e82f1aab9e00235573a0026ea8004c88c8c8c94cd4ccd5cd19b874800000821804214044cc88488888888888cc014034030c024d5d0800998053ad357426ae8800454cd4ccd5cd19b874800800821804214044cc88488888888888cc008034030c024d5d0800998053ad357426ae8800454cd4ccd5cd19b874801000821804214044cc88488888888888cc028034030c024d5d080098029aba1357440022a66a666ae68cdc3a400c00410c0210a0226466644424444444444466600c01c01a01860146ae84008c018d5d08009bad357426ae88004d5d10008a99a999ab9a3370e90040010430084280899910911111111111980380680618049aba1001375a6ae84d5d10008a99a999ab9a3370e90050010430084280899091111111111180080618049aba100115335333573466e1d200c0020860108501133221222222222223300300d00c3009357420026eb4d5d09aba200115335333573466e1d200e0020860108501133221222222222223300900d00c375c6ae84004dd71aba1357440022a66a666ae68cdc3a402000410c0210a02266442444444444446601001a0186eb8d5d08009bad357426ae8800454cd4ccd5cd19b874804800821804214044cc88488888888888cc02c034030c024d5d080098049aba1357440022a66a666ae68cdc3a402800410c0210a02264244444444444600801860126ae840044c174178d55cf0011aab9d0013754002644646464a66a666ae68cdc3a400000410c0210a02264244460060086eb8d5d08008a99a999ab9a3370e900100104300842808990911180080218029aba100115335333573466e1d2004002086010850113322122233002005004375c6ae84004c014d5d09aba20011305d05e35573c0046aae74004dd50009191919299a999ab9a3370e900000104280842008990911180180218041aba100115335333573466e1d200200208501084011122200215335333573466e1d20040020850108401112220011305c05d35573c0046aae74004dd50009191919299a999ab9a3370e900000104200841808990911180180218039aba100115335333573466e1d20020020840108301132122230020043007357420022a66a666ae68cdc3a40080041080210602264244460020086eb8d5d08008982d82e1aab9e00235573a0026ea80048c8c8c94cd4ccd5cd19b874800000820c04208044cc8848cc00400c008c028d5d080098029aba135744002260b40b66aae78008d55ce8009baa00123232325335333573466e1d2000002082010810113232333322221233330010050040030023232325335333573466e1d20000020870108601133221233001003002300a35742002660164646464a66a666ae68cdc3a400000411602114022642446004006601c6ae8400454cd4ccd5cd19b874800800822c04228044c8ccc888488ccc00401401000cdd69aba1002375a6ae84004dd69aba1357440026ae880044c18818cd55cf0011aab9d00137540026ae84d5d10008982f02f9aab9e00235573a0026ea8d5d08019998053ae500935742004646464a66a666ae68cdc3a400000410e0210c02224440062a66a666ae68cdc3a400400410e0210c02264244460020086eb8d5d08008a99a999ab9a3370e90020010438084300899091118010021aba10011305e05f35573c0046aae74004dd51aba10013300875c6ae84d5d10009aba200135744002260b20b46aae78008d55ce8009baa00123232325335333573466e1d200000208101080011321223002003375c6ae8400454cd4ccd5cd19b874800800820404200044c8488c00400cdd71aba10011305805935573c0046aae74004dd500091191919299a999ab9a3370e900100104080840008a8398a99a999ab9a3370e900000104080840008983a18029aba10011305805935573c0046aae74004dd5000899800bae75a4464460046eac004c1f888cccd55cf800903c91919a83c9983a18031aab9d001300535573c00260086ae8800cd5d08010311191919299a999ab9a3370e900000103e83e09983f1bae357420026eb4d5d09aba20011305405535573c0046aae74004dd5000983c911299a999ab9a3370e0020300f40f2260a29201035054330015335333573466e200040601e81e44cc00ccdc080c00119b81018001132332212330010030023370800600266e10008004cc010008004c1e08894cd4ccd5cd19b8700101707907810021330030013370c00400244644a66aa66a666ae68cdc39806002180680083c83c0980119aa805002000883c083c899ab9c49010348313200078307922533500110792215335350022233500722222223335734666e54024cdc51bb3375200e66e28dd99ba8006337146eccdd400299b8a37666ea4010cdc51bb337520066eccdd4801000842008418080089802000883d10009191919299a999ab9a3370e900000103b83b083b0a99a999ab9a3370e900100103b83b083b898270279aab9e00235573a0026ea800488c8c8c94cd4ccd5cd19b87480000081dc1d84488800854cd4ccd5cd19b87480080081dc1d84c84888c00c010c014d5d08008a99a999ab9a3370e900200103b83b08911000898270279aab9e00235573a0026ea80048c8c8c94cd4ccd5cd19b87480000081d41d04cc8848cc00400c008dd71aba1001375a6ae84d5d1000898260269aab9e00235573a0026ea80048c88c008dd60009839911999aab9f001206e233506d30043574200460066ae8800815ccc1c48844894cd400841b48854cd400c41bc884cd41c0cc1ac010008cd54c0204800400c0044800488888848cccccc00401c01801401000c008c1bc894cd4004520002213370090011802000983711299a8008a400044266e01200230040013306d221225335333573466e24009200006f06e106915335001106922133506a0023353006120013370200890010008900091a8009111111111111111299a9809006083d899ab9c4901035530310007a306b225335001106b2232135003223003001306f2253350011300600322135002225335333573466e1d200000107307213006003107222235003223500422350052253355335333500a05b006005153353303300400313305b002001107010701071133573892010248320007033069221222533500215335001106c22106d2215335003106d22153353300700400213335300912001007003001106f12001222323306c2253350011300348000884d4008894cd4ccd5cd19b8f00200907006f130073370201c60180022600c0060084a66a666ae68cdc380099b8048008c0140081a81a441a84cd5ce248103483134000693067225335001148000884cdc024004600800260cc44a66a00220084426a0044466e00004c01800c88c8d400c8894cd4c020d400c88888888888888880204c98cd5ce24810248360004d232215335001153353002300c3007350062222222222222222010106c13357389210248350006b22132633573892102483700052306c225335001106b221533533058005002106e1300400130672253350011061221350022232323306f225335001100322133506a002300400100230070043302200735001222200348000c18c894cd40044174884cd4178008c010004c188894cd40044170884cd4174008c0100048dc918031801982b800a4810350543800305f2253350011300230030592215335001100222130063007005305e22533500110582215335001100322133505b330070040023006001305d222533500210012215335003100432221533353305e00500215003133505c0023300800700115003133505900233005001003305c225335001100e221350022233714002600c0064644600400260b844a66a00220b64426a00444a66a666ae68cdc780100383002f8980400089803001982d11299a800882c9109a80111299a999ab9a3371e91010b48796472614865616456310000205e05d1333573466e1d200200105e05d1300600323724600400260b044a66a002201444266e28dd99a801111119ba548000cd5d01a8021119ba548000cd5d0180780119aba033010233500123374a900019aba03011001376202644466e9520023357406ea000ccd5d01ba80023357406ea0004dd880a8009bb1011335740666016ea5402800ccd5d02999a801099ba548000dd88079099ba548010cd5d00009bb1010213374a900119aba037520026ec4040cd5d0198073a9001376201e600800244666ae68cdc79bb3333004752a0060046eccccc011d4a80180082b82b099800ba923750002446446e98c008004c15c88cd40052f5bded8c0446a0044466ae80cdd8180400118038009803001991299a9806980a00090a9999a80090980224c2600693111109803a4c420022600493119319ab9c490102483300037233500123374a900019aba037520026ec40108cdd2a400466ae80dd48009bb1004225335001213374a900019aba030030013762008266e9520023762006932441003304f221225335333573466e240092000051050100115335001104b2213353006120013370200890010008900099111999980181c9180280099980181c9199ab9a3370e900000082802780880100091191911911198018010009829911299a80109802800910a99a801898040021109a80211191a80291299a998088028010a99a99806802000899806004003082e0a99a9808002099806004005099801a99a9808000882b899a82b00382b803182e111299a800882e1109a80111299a980a0008998038030018a99a9980a8048010a99a99808804000899808006199831911299a80108009109980280099a82f801001803001883009980399a82d002003001982891299a80088289109a80111299a980400089803001882a182811299a80088281109a80111299a9803800898030018829982691299a80088269109a80111299a999ab9a3370e900000082882809803001882811199ab9a3370e90011809998018011a80091110018260259191299aa99a98010009098200008a81f109982791299a800882491099299a9a80191299a999ab9a3370e900100082a029898238010a8231099a826000801080098020008008823182611299a8008a81f1109a80111299a999ab9a3371e00400e0a009e260860022600c006644a66a6006601400242a6666a002420022600693111109803a4c426008930980124c464c66ae7124010248330002d32233333301a00122532335333573466e1d200000304c04b1533533335573e0044a07e46080660826ae8400cd5d1001818109a80091299a980400110a99a9999aab9f002250432304433045357420066ae8800c0d084d4004894cd4cc074088008854cd4cccd55cf8011282391824198249aba100335744006070426a00244a66a604e00442a66a6666aae7c0089412c8c8c8c138008d5d10021aba100303c215335302400121304d333301500b0070030011300e4984c035261300c4984c02526130084984c01526130044984c0052613001498c894cd4ccd5cd19b874800801013413054cd4cccd55cf801928201191918218011aba20053574200806242a66a66666603e00244a66a666ae68cdc3a40000040a009e2a66a6666aae7c0049410c8c110cc114d5d08011aba20020342135001225335302300221533533335573e0044a08e46090660926ae8400cd5d100181c109a80091299a9981081300110a99a9999aab9f0022504b2304c3304d357420066ae8800c0f084d4004894cd4c050008854cd4cccd55cf8011282791828198289aba100335744006080426a00244a66a605600442a66a6666aae7c0089414c8c8c8c158008d5d10021aba100304421533530310012130553333302100f00b0070030011505315052150511504e1504d1504a1504915046150451504215042250412504125041250412130423009001130034984c0092613002498c894cd4ccd5cd19b874801001013413054cd4cccd55cf801928201191918218011aba20053574200806242a66a66666603e00244a66a666ae68cdc3a40000040a009e2a66a6666aae7c0049410c8c110cc114d5d08011aba20020342135001225335302300221533533335573e0044a08e46090660926ae8400cd5d100181c109a80091299a9981081300110a99a9999aab9f0022504b2304c3304d357420066ae8800c0f084d4004894cd4c050008854cd4cccd55cf8011282791828198289aba100335744006080426a00244a66a605600442a66a6666aae7c0089414c8c150cc154d5d08019aba20030442135001225335302f00221533533335573e0044a0ae460b0660b26ae8400cd5d1001824109a80091299a981b80110a99a9999aab9f0022505b2305c3305d357420066ae8800c13084d4004894cd4c0ec008854cd4cccd55cf8011282f91830198309aba1003357440060a0426a00244a66a6607207e00442a66a6666aae7c0089418c8c8c8c198008d5d10021aba1003054215335303d00121306533333333303001f01b01701300f00b0070030011506315062150611505e1505d1505a15059150561505515052150511504e1504d1504a150491504615045150421504225041250412504125041213042300c001130034984c009261300249894cd4ccd5cd19b874801800c13012c4c0fc020540f8940f0940f0940f0940f08cccccc064004894cd4ccd5cd19b874800000812812454cd4cccd55cf8009281e9191918200011aba20033574200405c42a66a602e00242607e0022a07a2a0782a0784a0764a0764a0764a076424444600800a24444006444424444666600401000e00c00a424444600200a4444444442466666666600201401201000e00c00a00800600444444246666600200c00a008006004644a66a6a6a002444006444444444444444401c2600493110a99a998029a80111110021a9a98038019100091110020980b0010980224c464c66ae712410348313100025223500222350032232335005233500425335333573466e3c00800412011c5400c411c811c8cd4010811c94cd4ccd5cd19b8f0020010480471500310471533500321533500221335002233500223350022335002233035002001204a2335002204a23303500200122204a222335004204a2225335333573466e1c01800c13413054cd4ccd5cd19b8700500204d04c13300f004001104c104c10451533500121045104522333573466e1c0080041000fc94cd4c008004840044c98cd5ce248102483800022235001222350032222222222222222333333501122018201722018201723223002013305322533500115045221350022253353301c0020071304a00413006003201722350022235003225335333573466e3c0100081041004ccd5cd19b870030010410401040502c303b225335001148000884cdc02400460080024a66a64666600e012a0060140026016002426a002444004206626002466666601200244a66a666ae68cdc3a40000040740722a66a6666aae7c004940b48c0b8cc0bcd5d08011aba200201e2135001225335300800221533533335573e0044a0624646460680046ae88010d5d080181110a99a980780090981989198008020010a8188a8180a8178a8160a816128159281592815928159191199999805000912816928160011281612816181c911999aab9f0012302d0342533530043574200442a66a60086ae8800c84c0bccd40d4008004540b44c940b4c00cd5d100100e919999980380091299a999ab9a3370e900000101c01b8a99a9999aab9f0012502b2302c3302d357420046ae8800807084d4004894cd4c02c008854cd4cccd55cf801128179191918190011aba20043574200604042a66a60120024260626607e0060022a05e2a05c2a05a2a0542a0544a0524a0524a0524a052466666600c00244a0524a0504a050460520024a050444466666601000244a66a666ae68cdc3a40000040720702a66a6666aae7c004940b08c0b4cc0b8d5d08011aba200201d2135001225335300900221533533335573e0044a06046062660646ae8400cd5d1001810909a80091299a980600110a99a9999aab9f00225034232323037002357440086ae8400c094854cd4c03400484c0d8ccc04401c00c004540d0540cc540c8540bc540b8540ac540ac940a8940a8940a8940a888848ccc00401000c00894cd4c00800484c098004540908cccccc0080048940949409094090940908c094004888888ccccccd5d2003119198039aab9d00135573c0026ea801c8c014dd5803918021bac00723003375a00e460046eb801c06494ccd4d400488880084c98cd5ce2490248390001321001213263357389210348313000014302f225335001102922133502a3500222330270023301a23370490008008009802000899319ab9c490103483333000102326335738921034833370001023232325335333573466e1d200000202e02d1375a6ae840044c014018d55cf0011aab9d0013754002464c66ae70004039240103505431002375c002605044a66a0022900011099b8048008c010004c09c894cd4004520002213370090011802000899319ab9c49103483434000083025225335001148000884cdc0240046008002604844a66a002203c44266a0044444660200240066008002604644a66a0022900011099b8048008c0100044c98cd5ce24810348323700004132633573892103483235000031326335738921034832340000223263357389210248310000212001301d225335001101722133500222223300900b003300400123222300330073335009008002001301d225335001101722133501835002223301500233008233350012330094800000488cc0280080048cc0240052000001300400123223002001301c2253350011016221335017350022233014002300700130040012233700004002603244a66a002202644266a0286a0044466022004666a0024601400244666a01401200400246016002600800244666ae68cdc780100080c00b89911119191980e91299a800880191099a80c0011802000980100218029980e11299a800880b11099299a9a80191911801005981111299a80088111109a80111299a99808001003881289803001899a80c00180088009802000801180d91299a800880a91099a80b1a80111191980a0019800804181091299a80089aa8078019109a80111299a998078010040891119801005002098030019802000980b91299a800880891099a8091a801111980780118050009802000980b11299a800880811099a8089a801111980700118048009802000980a91299a800880791099a8081a80111198068011aa803800980200090911180180208909111800802180911299a800880611099a8069a801111a80091110019802000980891299a800880591099a8061a8011100118020009091180100188910009109198008018011a8019110009a8011110011a800911001999180080091091919980111801111180180211801111180100211801111180080211a998020020019a801800891111998021299a800899a803003803910a99a800899a804001804910a99199a998068028018a800899980400199a8058028060010a8008999803001119a805802800800911299a800899a80419a804001801180300499110a999a998068030010a801899980400119a8058030028008a801899a80419a804001801180300091129919a80109800a4c442a64666a6601c00e0062a00226008930a80089998038011180319a806003800800919a804980199a80480200518038010910010910911980080200199111a801111a801111a802911a801112999a998058030010a99a999ab9a3370e00a00202001e201c2a66a666ae68cdc48028008080078806080689980580300109980580300111299a999ab9a3371e00400200e00c200a2a66a666ae68cdc88010008038030801880209110018911001091100089100109100091091980080180111918008009180111980100100081" + "description": "hydra-vHead-0.19.0-367-g16b2e101f", + "cborHex": "59366659366301000032323322333222323322323232323233223232332232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323233332222323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232322323235300100322233333350012230574910350543500230564910350543500223057490103505435002305649103505435002253350012153353232325333350033232323232215333333350081306d49884c1b9261306d498c8c8c8c8c8c8854cd4c09d403454cd54cd4ccd5cd19b8735304900e2222222220065002091010900110910113357389201034831330009001153355335333573466e25402cd402088888888801424004244044244044cd5ce249034833310009001153353333350012533533301d500633333302450045003500c35304a00f222222222004303b08c0135304a00f222222222003001109201133573892010348333900091012533533301d500633333302450045003500c35304a00f222222222004303b08c0135304a00f222222222003001109201133573892010348343900091012253355335333573466e3cd4c12c04088888888800cc0f02340424c04248044ccc079401ccccccc0954014cdc0a80224004a01a6a6096020444444444008607811a02002004212402212602266ae712410348353000092012253355335333573466e3cd4c12c04088888888800cc0f02340424c04248044ccc079401ccccccc0954014cdc0a80224004a01a6a6096020444444444008607811a02002004212402212602266ae712410348343000092012533533301d500633333302450045003500c35304a00f222222222004303b08c0135304a00f22222222200300110920113357389201034835310009101153353302e00e500315335533533232230020013094012253350011094012215335333573466e3c01400825804254044254044c010005403140104244044cd5ce248103483338000900115335353535500d2222222222222222009220012253335002215335333573466e2400540282500424c044250044cd5ce2490348333200093011506715067153355335333502a07b500933508a01500c50041091011335738921034833360009001153355335333573466e1cc1ad4024c1b14028244042400454cd4ccd5cd19b8735304900e222222222001500709101090011091011335738920103483334000900115335333573466e1cd4c124038888888888004cdc02803a8030488084800884880899ab9c4901034833350009001153353330293308501500a5005330850135304900e2222222220075006330850135304900e2222222220095003153353303c5335305500e213535001220012222003108b0135533535500d222222222222222200e13068033221002222200310910113357389201024834000900110900110900110900110900110900110900110900110900110900110900113500622222222200613500522222222200913500422222222200213500322222222200813500222222222200713500122222222200121306e498884d40248894cd4ccc0a4d400c8888888888888888030d4018888888888024d4018888888888020c854cd54cd4ccd5cd19b8f30393350250065001350072222222220040900108f0110900113357389201034834310008f01153355335333573466e3cd401c88888888800cc0e4c8cd4098018004cd410c01940042400423c044240044cd5ce2481034834320008f0113535350042222222222222222009220022253335002215335333573466e24004d40288888888880042480424c04424c044cd5ce2490348343300092011506e1506e108f01108f01135003222222222222222200e108e0121306e4984d4c1000148888888880084d4c0fc0108888888880204d4c0f800c88888888801454cd4d5400488888888888888880204c1692622153350011002221305e4984d400488800c4c19d2622232322153233333335009150012150021350082225332355335333573466e3cd4c0f403088888004c0c0d5400488800c23c0423804423c044cd5ce249034831370008e01153355335333573466e1d200035303d00c2222200208f0108e01108f0113357389201034832300008e0115335333027330830135303d00c2222200400a330830135303d00c2222200300b330830135303d00c2222200500915335533533043533535004222222222222222200e108901221306f0013232333077079002306433508a01330850104333508a0100108b0108b01330840104235005222222222222222200d355001222001108f011335738921034831390008e01153355335330360095335305300c213535001220012222003108901108f011335738921034831360008e01153355335333573466e1cd54004888008c1b802823c0423804423c044cd5ce249034831380008e01153353302c00c00913025004108e01108e01108e01108e01108e01108e0113007350032222222222222222010108d0121500221500222150032150021533333335008135007222533533302735003222222222222222200c00700832153353302b00b0081533533078302f50013037335023306b500135004222222222222222200e108e0113357389201034831350008d01108d0113300508701350032222222222222222010108c0121306e4984c1b52621306e49884c1b926221306f49884c1b926308a012232253350011003221350022253353304600a00113300830063058001003133008007003308c0122533500110032213350870100230040013089012253350011333057083014800020c04884c8d400c88d400c8c8894cd4cc14cd40148888010d4d4c15403c880048888010401c54cd4cc1200300144ccc180c00cc168014cdc02400400400226660c00080046660f00f40026a00a444400661220244a66a002200644266a11802004600800260080026464646464646464464642a6666666a01a260e4931919191910a99a981528080a99aa99a999ab9a3371266e04d4d4d54040888888888888888802488004894ccd400884004541e0541e0d4d4d54040888888888888888802488008894ccd400884004541dc541dd40102500424c044250044cd5ce249034832320009301153355335333573466e1cd4c130044888888888004c8d4048888d4d4d400c888888888888888802488004894ccd400884cdc00008038a83d0a83d280204a0084980884a00899ab9c49103483233000930115335330310115003153355335333573466e1cd4c13004488888888801940082500424c044250044cd5ce248103483133000930115335533333350012153355335333573466e254041200009401095011333020500633333302750045003501035304d012222222222004303e08f01303e08f0100110940110950113357389201034834380009401153355335333573466e1d20005002094010930115335333573466e1d2000500f09401093011333573466e3cd4c130044888888888010d4020888880042500424c04424c04424c044250044cd5ce2481034832380009301215335333020500633333302750045003501035304d012222222222004303e08f01500f001109501133573892010348323900094012215335333021500733333302850055004501135304e013222222222004001303f09001002109601133573892010348323900095012215335533533080015010303f0900113330215007333333028500533702a008900128089a9827009911111111002181f84800800801084a80884b00899ab9c490103483330000950121533553353307f500f303e08f0113330205006333333027500433702a006900128081a98268091111111110022807981f04780800884a00884a80899ab9c4901034833300009401153355335533535304c01122222222200210940122109501109401133573892010348323600093011533553353303f53353058011213535001220012222003108e01355335355010222222222222222200e1306b0362210022222003109401133573892010248340009301133302c330880135304c0112222222220085005330880135304c0112222222220075004330880135304c0112222222220095003109301109301109301109301109301109301109301109301135006222220021350052222200513500422222003135003222220041307249884c1cd26323221533533302a33086013500622222004500a3308601350062222200335304000f2222200333086015003500932153355335333573466e1cd4c10404088888008cdc024004a0061260212402212602266ae7124010348323100092011533533301e500b333333025500a50033500222200235304101022222001303c08d01303c5001350022220031533553353304753353057010213535001220012222003108d0133307907b355335500c1306a03522100222220033078500110930113357389201024834000920113303001050041092011092011092011335027350012220015335500b13069491035054390022100110910113500422222002135003222220052213074498c88c8c84d40408894cd4ccc0b8cc22804d4028888880114030cc22804d40288888800cd4c11004c8888800ccc228054025402cc854cd54cd4ccd5cd19b8735304501422222002337009001280404b8084b00884b80899ab9c4910348323100096011533553353304233307d07f53353009308701350042222222222222222010210011326335738921034834370007b3535500122001222200335533535004222222222222222200e1306e0392210022222003109701133573892102483400096011533533034014500a15335333022500d333333029500c500835007222002353045014222220013038533532333306506806450610013069355001220012135001222001109101304009101350072220031533530053088013500422222222222222220101097011335738920103483435000960110960110960110960110960115335323235005222222222222222230110103099012253350011508b01221350022253353306200200713090010041300600350052100113263357389201034834360007a10950130940122533500110930122153353305b50050021096011300400113500122200113500322222002309001225335001150820122153353303950050021308501002130040011350012222200513530390082222200513530380072222200413530370062222200513530360052222200413535004222003222222222222222200e135303e003222222222003135303d002222222222005135001222003300900b3232325335333573466e1d2000002085010840111222222200515335333573466e1d200200208501084011321222222230010083232325335333573466e1d20000020880108701132333222123330010040030023301975c6ae84008dd69aba10013010357426ae88004d5d10008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90020010428084200899091111111801804191919299a999ab9a3370e90000010440084380899199911091998008020018011980cbae357420046eb4d5d08009bad357426ae88004d5d10008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90030010428084200899091111111803004191919299a999ab9a3370e90000010440084380889111110028a99a999ab9a3370e90010010440084380899091111118030039980c3ae357420022a66a666ae68cdc3a40080041100210e022642444444600800e66030eb8d5d08008a99a999ab9a3370e90030010440084380899910911111198010040039980c3ae357420026eb8d5d09aba200115335333573466e1d20080020880108701133221222222330030080073301875c6ae84004dd71aba1357440022a66a666ae68cdc3a40140041100210e022642444444600200e66030eb8d5d08008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e90040010428084200899091111111802004191919299a999ab9a3370e9000001044008438089909111118028031980c3ae357420022a66a666ae68cdc3a40040041100210e02266442444446600400e00c66030eb8d5d08009bae357426ae8800454cd4ccd5cd19b87480100082200421c044c8488888c010018cc061d71aba100115335333573466e1d2006002088010870113322122222330030070063301875c6ae84004dd71aba1357440022a66a666ae68cdc3a40100041100210e02264244444600200c66030eb8d5d08008982f8301aab9e00235573a0026ea8d5d08008a99a999ab9a3370e900500104280842008891111110038a99a999ab9a3370e900600104280842008999109111111198010048041bad357420026eb4d5d09aba20011305c05d35573c0046aae74004dd5003191919299a999ab9a3370e90000010420084180899191999820982e1aba10033301605f357420046eb8d5d080098069aba1357440026ae88004d5d10008a99a999ab9a3370e900100104200841808981f191919299a999ab9a3370e900000104380843008991919199998249bae35742008660340c66ae8400cc180d5d08011bad357420026eb8d5d09aba2001357440026ae88004d5d10008982f02f9aab9e00235573a0026ea8d5d08008a99a999ab9a3370e9002001042008418089820991919299a999ab9a3370e900000104380843008991919191919191999999998261bae357420106603c0ce6ae8401cc190d5d08031bad3574200a6eb4d5d08021bae357420066eb8d5d08011980f3ae357420026eb4d5d09aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10008982f02f9aab9e00235573a0026ea8d5d08008a99a999ab9a3370e9003001042008418088200982d82e1aab9e00235573a0026ea800440c84c1612401035054350013057491035054350023056491035054350032323232323232323223232325335333573466e1d20000020870108601132333222123330010040030023232325335333573466e1d200000208b0108a01132323232323232323232323232323333333333333333222222222222222212333333333333333300101101000f00e00d00c00b00a0090080070060050040030023302901a3574201e660520346ae84038cc0a406cd5d08069bad3574201866603eeb94078d5d08059981480c1aba100a33301f01c75a6ae84024c8c8c94cd4ccd5cd19b87480000082700426c044cc8848cc00400c008c8c8c94cd4ccd5cd19b874800000827c04278044cc8848cc00400c008cc0b5d69aba1001302c357426ae880044c1d81dcd55cf0011aab9d00137546ae84004c8c8c94cd4ccd5cd19b874800000827c04278044cc8848cc00400c008cc0b5d69aba1001302c357426ae880044c1d81dcd55cf0011aab9d00137546ae84d5d10008983983a1aab9e00235573a0026ea8d5d080419814bae3574200e66603e4646464a66a666ae68cdc3a400000413a02138022642444444600a00e6eb8d5d08008a99a999ab9a3370e900100104e8084e008990911111180100398121aba100115335333573466e1d200400209d0109c01132122222230030073020357420022a66a666ae68cdc3a400c00413a02138022664424444446600c01000e6eb4d5d0800980e1aba1357440022a66a666ae68cdc3a401000413a02138022642444444600200e603a6ae8400454cd4ccd5cd19b874802800827404270044cc884888888cc01002001cdd69aba1001301b357426ae880044c1d01d4d55cf0011aab9d001375400204a6ae84018ccc07dd70129aba1005375c6ae84010ccc07c064cc07c0a08c8c8c94cd4ccd5cd19b874800000827404270044488800854cd4ccd5cd19b874800800827404270044488800454cd4ccd5cd19b874801000827404270044488800c4c1d01d4d55cf0011aab9d00137540026ae8400ccc0a405cd5d08011980ebad357420026603aeb4d5d09aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae88004d5d10009aba2001357440026ae880044c18818cd55cf0011aab9d00137546ae84008d5d0800991919299a999ab9a3370e90000010458084500899091111118028039bae357420022a66a666ae68cdc3a400400411602114022664424444446600401000e60246ae84004cc03c05cd5d09aba200115335333573466e1d200400208b0108a0113212222223003007300e357420022a66a666ae68cdc3a400c00411602114022664424444446600c01000e6eb4d5d080098051aba1357440022a66a666ae68cdc3a401000411602114022642444444600200e60166ae8400454cd4ccd5cd19b874802800822c04228044cc884888888cc01002001cdd69aba10013009357426ae880044c18818cd55cf0011aab9d00137546ae84d5d10009aba20011305e05f35573c0046aae74004dd50009191919299a999ab9a3370e90000010430084280899199911091998008020018011bad3574200460146ae84004c8c8c94cd4ccd5cd19b874800000822804224044c8ccc88848888888ccc00c028024020cc03c068d5d08011aba10013300f75c6ae84d5d10009aba200115335333573466e1d200200208a01089011332212222222330070090083300e01935742002646464a66a666ae68cdc3a400000411a02118022664424660020060046eb4d5d08009bad357426ae880044c190194d55cf0011aab9d00137546ae84d5d10008a99a999ab9a3370e90020010450084480899910911111119801004804199808006bad357420026601ceb8d5d09aba200115335333573466e1d200600208a01089011321222222230040083300e019357420022a66a666ae68cdc3a401000411402112022646466664444244444446666002016014012010660200366ae8400ccc07003cd5d0801199809007bad357420026a646464a66a666ae68cdc3a400000411e0211c02266106026eb4d5d08009bad357426ae880044c19819cd55cf0011aab9d00137546ae84d5d1000911980b8010009aba2001357440022a66a666ae68cdc3a4014004114021120226644244444446600a0120106601c0326ae84004c8c8c94cd4ccd5cd19b874800000823404230044cc045d71aba10011306406535573c0046aae74004dd51aba1357440022a66a666ae68cdc3a4018004114021120222444444400c260c20c46aae78008d55ce8009baa357426ae88004d5d10008982e82f1aab9e00235573a0026ea8004c88c8c8c94cd4ccd5cd19b874800000821804214044cc88488888888888cc014034030c024d5d0800998053ad357426ae8800454cd4ccd5cd19b874800800821804214044cc88488888888888cc008034030c024d5d0800998053ad357426ae8800454cd4ccd5cd19b874801000821804214044cc88488888888888cc028034030c024d5d080098029aba1357440022a66a666ae68cdc3a400c00410c0210a0226466644424444444444466600c01c01a01860146ae84008c018d5d08009bad357426ae88004d5d10008a99a999ab9a3370e90040010430084280899910911111111111980380680618049aba1001375a6ae84d5d10008a99a999ab9a3370e90050010430084280899091111111111180080618049aba100115335333573466e1d200c0020860108501133221222222222223300300d00c3009357420026eb4d5d09aba200115335333573466e1d200e0020860108501133221222222222223300900d00c375c6ae84004dd71aba1357440022a66a666ae68cdc3a402000410c0210a02266442444444444446601001a0186eb8d5d08009bad357426ae8800454cd4ccd5cd19b874804800821804214044cc88488888888888cc02c034030c024d5d080098049aba1357440022a66a666ae68cdc3a402800410c0210a02264244444444444600801860126ae840044c174178d55cf0011aab9d0013754002644646464a66a666ae68cdc3a400000410c0210a02264244460060086eb8d5d08008a99a999ab9a3370e900100104300842808990911180080218029aba100115335333573466e1d2004002086010850113322122233002005004375c6ae84004c014d5d09aba20011305d05e35573c0046aae74004dd50009191919299a999ab9a3370e900000104280842008990911180180218041aba100115335333573466e1d200200208501084011122200215335333573466e1d20040020850108401112220011305c05d35573c0046aae74004dd50009191919299a999ab9a3370e900000104200841808990911180180218039aba100115335333573466e1d20020020840108301132122230020043007357420022a66a666ae68cdc3a40080041080210602264244460020086eb8d5d08008982d82e1aab9e00235573a0026ea80048c8c8c94cd4ccd5cd19b874800000820c04208044cc8848cc00400c008c028d5d080098029aba135744002260b40b66aae78008d55ce8009baa00123232325335333573466e1d2000002082010810113232333322221233330010050040030023232325335333573466e1d20000020870108601133221233001003002300a35742002660164646464a66a666ae68cdc3a400000411602114022642446004006601c6ae8400454cd4ccd5cd19b874800800822c04228044c8ccc888488ccc00401401000cdd69aba1002375a6ae84004dd69aba1357440026ae880044c18818cd55cf0011aab9d00137540026ae84d5d10008982f02f9aab9e00235573a0026ea8d5d08019998053ae500935742004646464a66a666ae68cdc3a400000410e0210c02224440062a66a666ae68cdc3a400400410e0210c02264244460020086eb8d5d08008a99a999ab9a3370e90020010438084300899091118010021aba10011305e05f35573c0046aae74004dd51aba10013300875c6ae84d5d10009aba200135744002260b20b46aae78008d55ce8009baa00123232325335333573466e1d200000208101080011321223002003375c6ae8400454cd4ccd5cd19b874800800820404200044c8488c00400cdd71aba10011305805935573c0046aae74004dd500091191919299a999ab9a3370e900100104080840008a8398a99a999ab9a3370e900000104080840008983a18029aba10011305805935573c0046aae74004dd5000899800bae75a4464460046eac004c1f888cccd55cf800903c91919a83c9983a18031aab9d001300535573c00260086ae8800cd5d08010311191919299a999ab9a3370e900000103e83e09983f1bae357420026eb4d5d09aba20011305405535573c0046aae74004dd5000983c911299a999ab9a3370e0020300f40f2260a29201035054330015335333573466e200040601e81e44cc00ccdc080c00119b81018001132332212330010030023370800600266e10008004cc010008004c1e08894cd4ccd5cd19b8700101707907810021330030013370c00400244644a66aa66a666ae68cdc39806002180680083c83c0980119aa805002000883c083c899ab9c49010348313200078307922533500110792215335350022233500722222223335734666e54024cdc51bb3375200e66e28dd99ba8006337146eccdd400299b8a37666ea4010cdc51bb337520066eccdd4801000842008418080089802000883d10009191919299a999ab9a3370e900000103b83b083b0a99a999ab9a3370e900100103b83b083b898270279aab9e00235573a0026ea800488c8c8c94cd4ccd5cd19b87480000081dc1d84488800854cd4ccd5cd19b87480080081dc1d84c84888c00c010c014d5d08008a99a999ab9a3370e900200103b83b08911000898270279aab9e00235573a0026ea80048c8c8c94cd4ccd5cd19b87480000081d41d04cc8848cc00400c008dd71aba1001375a6ae84d5d1000898260269aab9e00235573a0026ea80048c88c008dd60009839911999aab9f001206e233506d30043574200460066ae8800815ccc1c48844894cd400841b48854cd400c41bc884cd41c0cc1ac010008cd54c0204800400c0044800488888848cccccc00401c01801401000c008c1bc894cd4004520002213370090011802000983711299a8008a400044266e01200230040013306d221225335333573466e24009200006f06e106915335001106922133506a0023353006120013370200890010008900091a8009111111111111111299a9809006083d899ab9c4901035530310007a306b225335001106b2232135003223003001306f2253350011300600322135002225335333573466e1d200000107307213006003107222235003223500422350052253355335333500a05b006005153353303300400313305b002001107010701071133573892010248320007033069221222533500215335001106c22106d2215335003106d22153353300700400213335300912001007003001106f12001222323306c2253350011300348000884d4008894cd4ccd5cd19b8f00200907006f130073370201c60180022600c0060084a66a666ae68cdc380099b8048008c0140081a81a441a84cd5ce248103483134000693067225335001148000884cdc024004600800260cc44a66a00220084426a0044466e00004c01800c88c8d400c8894cd4c020d400c88888888888888880204c98cd5ce24810248360004d232215335001153353002300c3007350062222222222222222010106c13357389210248350006b22132633573892102483700052306c225335001106b221533533058005002106e1300400130672253350011061221350022232323306f225335001100322133506a002300400100230070043302200735001222200348000c18c894cd40044174884cd4178008c010004c188894cd40044170884cd4174008c0100048dc918031801982b800a4810350543800305f2253350011300230030592215335001100222130063007005305e22533500110582215335001100322133505b330070040023006001305d222533500210012215335003100432221533353305e00500215003133505c0023300800700115003133505900233005001003305c225335001100e221350022233714002600c0064644600400260b844a66a00220b64426a00444a66a666ae68cdc780100383002f8980400089803001982d11299a800882c9109a80111299a999ab9a3371e91010b48796472614865616456310000205e05d1333573466e1d200200105e05d1300600323724600400260b044a66a002201444266e28dd99a801111119ba548000cd5d01a8021119ba548000cd5d0180780119aba033010233500123374a900019aba03011001376202644466e9520023357406ea000ccd5d01ba80023357406ea0004dd880a8009bb1011335740666016ea5402800ccd5d02999a801099ba548000dd88079099ba548010cd5d00009bb1010213374a900119aba037520026ec4040cd5d0198073a9001376201e600800244666ae68cdc79bb3333004752a0060046eccccc011d4a80180082b82b099800ba923750002446446e98c008004c15c88cd40052f5bded8c0446a0044466ae80cdd8180400118038009803001991299a9806980a00090a9999a80090980224c2600693111109803a4c420022600493119319ab9c490102483300037233500123374a900019aba037520026ec40108cdd2a400466ae80dd48009bb1004225335001213374a900019aba030030013762008266e9520023762006932441003304f221225335333573466e240092000051050100115335001104b2213353006120013370200890010008900099111999980181c9180280099980181c9199ab9a3370e900000082802780880100091191911911198018010009829911299a80109802800910a99a801898040021109a80211191a80291299a998088028010a99a99806802000899806004003082e0a99a9808002099806004005099801a99a9808000882b899a82b00382b803182e111299a800882e1109a80111299a980a0008998038030018a99a9980a8048010a99a99808804000899808006199831911299a80108009109980280099a82f801001803001883009980399a82d002003001982891299a80088289109a80111299a980400089803001882a182811299a80088281109a80111299a9803800898030018829982691299a80088269109a80111299a999ab9a3370e900000082882809803001882811199ab9a3370e90011809998018011a80091110018260259191299aa99a98010009098200008a81f109982791299a800882491099299a9a80191299a999ab9a3370e900100082a029898238010a8231099a826000801080098020008008823182611299a8008a81f1109a80111299a999ab9a3371e00400e0a009e260860022600c006644a66a6006601400242a6666a002420022600693111109803a4c426008930980124c464c66ae7124010248330002d32233333301a00122532335333573466e1d200000304c04b1533533335573e0044a07e46080660826ae8400cd5d1001818109a80091299a980400110a99a9999aab9f002250432304433045357420066ae8800c0d084d4004894cd4cc074088008854cd4cccd55cf8011282391824198249aba100335744006070426a00244a66a604e00442a66a6666aae7c0089412c8c8c8c138008d5d10021aba100303c215335302400121304d333301500b0070030011300e4984c035261300c4984c02526130084984c01526130044984c0052613001498c894cd4ccd5cd19b874800801013413054cd4cccd55cf801928201191918218011aba20053574200806242a66a66666603e00244a66a666ae68cdc3a40000040a009e2a66a6666aae7c0049410c8c110cc114d5d08011aba20020342135001225335302300221533533335573e0044a08e46090660926ae8400cd5d100181c109a80091299a9981081300110a99a9999aab9f0022504b2304c3304d357420066ae8800c0f084d4004894cd4c050008854cd4cccd55cf8011282791828198289aba100335744006080426a00244a66a605600442a66a6666aae7c0089414c8c8c8c158008d5d10021aba100304421533530310012130553333302100f00b0070030011505315052150511504e1504d1504a1504915046150451504215042250412504125041250412130423009001130034984c0092613002498c894cd4ccd5cd19b874801001013413054cd4cccd55cf801928201191918218011aba20053574200806242a66a66666603e00244a66a666ae68cdc3a40000040a009e2a66a6666aae7c0049410c8c110cc114d5d08011aba20020342135001225335302300221533533335573e0044a08e46090660926ae8400cd5d100181c109a80091299a9981081300110a99a9999aab9f0022504b2304c3304d357420066ae8800c0f084d4004894cd4c050008854cd4cccd55cf8011282791828198289aba100335744006080426a00244a66a605600442a66a6666aae7c0089414c8c150cc154d5d08019aba20030442135001225335302f00221533533335573e0044a0ae460b0660b26ae8400cd5d1001824109a80091299a981b80110a99a9999aab9f0022505b2305c3305d357420066ae8800c13084d4004894cd4c0ec008854cd4cccd55cf8011282f91830198309aba1003357440060a0426a00244a66a6607207e00442a66a6666aae7c0089418c8c8c8c198008d5d10021aba1003054215335303d00121306533333333303001f01b01701300f00b0070030011506315062150611505e1505d1505a15059150561505515052150511504e1504d1504a150491504615045150421504225041250412504125041213042300c001130034984c009261300249894cd4ccd5cd19b874801800c13012c4c0fc020540f8940f0940f0940f0940f08cccccc064004894cd4ccd5cd19b874800000812812454cd4cccd55cf8009281e9191918200011aba20033574200405c42a66a602e00242607e0022a07a2a0782a0784a0764a0764a0764a076424444600800a24444006444424444666600401000e00c00a424444600200a4444444442466666666600201401201000e00c00a00800600444444246666600200c00a008006004644a66a6a6a002444006444444444444444401c2600493110a99a998029a80111110021a9a98038019100091110020980b0010980224c464c66ae712410348313100025223500222350032232335005233500425335333573466e3c00800412011c5400c411c811c8cd4010811c94cd4ccd5cd19b8f0020010480471500310471533500321533500221335002233500223350022335002233035002001204a2335002204a23303500200122204a222335004204a2225335333573466e1c01800c13413054cd4ccd5cd19b8700500204d04c13300f004001104c104c10451533500121045104522333573466e1c0080041000fc94cd4c008004840044c98cd5ce248102483800022235001222350032222222222222222333333501122018201722018201723223002013305322533500115045221350022253353301c0020071304a00413006003201722350022235003225335333573466e3c0100081041004ccd5cd19b870030010410401040502c303b225335001148000884cdc02400460080024a66a64666600e012a0060140026016002426a002444004206626002466666601200244a66a666ae68cdc3a40000040740722a66a6666aae7c004940b48c0b8cc0bcd5d08011aba200201e2135001225335300800221533533335573e0044a0624646460680046ae88010d5d080181110a99a980780090981989198008020010a8188a8180a8178a8160a816128159281592815928159191199999805000912816928160011281612816181c911999aab9f0012302d0342533530043574200442a66a60086ae8800c84c0bccd40d4008004540b44c940b4c00cd5d100100e919999980380091299a999ab9a3370e900000101c01b8a99a9999aab9f0012502b2302c3302d357420046ae8800807084d4004894cd4c02c008854cd4cccd55cf801128179191918190011aba20043574200604042a66a60120024260626607e0060022a05e2a05c2a05a2a0542a0544a0524a0524a0524a052466666600c00244a0524a0504a050460520024a050444466666601000244a66a666ae68cdc3a40000040720702a66a6666aae7c004940b08c0b4cc0b8d5d08011aba200201d2135001225335300900221533533335573e0044a06046062660646ae8400cd5d1001810909a80091299a980600110a99a9999aab9f00225034232323037002357440086ae8400c094854cd4c03400484c0d8ccc04401c00c004540d0540cc540c8540bc540b8540ac540ac940a8940a8940a8940a888848ccc00401000c00894cd4c00800484c098004540908cccccc0080048940949409094090940908c094004888888ccccccd5d2003119198039aab9d00135573c0026ea801c8c014dd5803918021bac00723003375a00e460046eb801c06494ccd4d400488880084c98cd5ce2490248390001321001213263357389210348313000014302f225335001102922133502a3500222330270023301a23370490008008009802000899319ab9c490103483333000102326335738921034833370001023232325335333573466e1d200000202e02d1375a6ae840044c014018d55cf0011aab9d0013754002464c66ae70004039240103505431002375c002605044a66a0022900011099b8048008c010004c09c894cd4004520002213370090011802000899319ab9c49103483434000083025225335001148000884cdc0240046008002604844a66a002203c44266a0044444660200240066008002604644a66a0022900011099b8048008c0100044c98cd5ce24810348323700004132633573892103483235000031326335738921034832340000223263357389210248310000212001301d225335001101722133500222223300900b003300400123222300330073335009008002001301d225335001101722133501835002223301500233008233350012330094800000488cc0280080048cc0240052000001300400123223002001301c2253350011016221335017350022233014002300700130040012233700004002603244a66a002202644266a0286a0044466022004666a0024601400244666a01401200400246016002600800244666ae68cdc780100080c00b89911119191980e91299a800880191099a80c0011802000980100218029980e11299a800880b11099299a9a80191911801005981111299a80088111109a80111299a99808001003881289803001899a80c00180088009802000801180d91299a800880a91099a80b1a80111191980a0019800804181091299a80089aa8078019109a80111299a998078010040891119801005002098030019802000980b91299a800880891099a8091a801111980780118050009802000980b11299a800880811099a8089a801111980700118048009802000980a91299a800880791099a8081a80111198068011aa803800980200090911180180208909111800802180911299a800880611099a8069a801111a80091110019802000980891299a800880591099a8061a8011100118020009091180100188910009109198008018011a8019110009a8011110011a800911001999180080091091919980111801111180180211801111180100211801111180080211a998020020019a801800891111998021299a800899a803003803910a99a800899a804001804910a99199a998068028018a800899980400199a8058028060010a8008999803001119a805802800800911299a800899a80419a804001801180300499110a999a998068030010a801899980400119a8058030028008a801899a80419a804001801180300091129919a80109800a4c442a64666a6601c00e0062a00226008930a80089998038011180319a806003800800919a804980199a80480200518038010910010910911980080200199111a801111a801111a802911a801112999a998058030010a99a999ab9a3370e00a00202001e201c2a66a666ae68cdc48028008080078806080689980580300109980580300111299a999ab9a3371e00400200e00c200a2a66a666ae68cdc88010008038030801880209110018911001091100089100109100091091980080180111918008009180111980100100081" } diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs index 5494aacf825..d8d22f448c0 100644 --- a/hydra-plutus/src/Hydra/Contract/Head.hs +++ b/hydra-plutus/src/Hydra/Contract/Head.hs @@ -547,7 +547,7 @@ checkContest ctx closedDatum redeemer = traceIfFalse $(errorCode FailedContestUnusedDec) $ verifySnapshotSignature parties - (headId, version - 1, snapshotNumber', utxoHash', emptyHash, deltaUTxOHash') + (headId, version, snapshotNumber', utxoHash', emptyHash, deltaUTxOHash') signature ContestUnusedInc{signature, alreadyCommittedUTxOHash} -> traceIfFalse $(errorCode FailedContestUnusedInc) $ diff --git a/hydra-tx/src/Hydra/Tx/Close.hs b/hydra-tx/src/Hydra/Tx/Close.hs index 0487645d78f..15e779ca39c 100644 --- a/hydra-tx/src/Hydra/Tx/Close.hs +++ b/hydra-tx/src/Hydra/Tx/Close.hs @@ -1,4 +1,3 @@ -{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE DuplicateRecordFields #-} module Hydra.Tx.Close where @@ -100,21 +99,22 @@ closeTx scriptRegistry vk headId openVersion confirmedSnapshot startSlotNo (endS closeRedeemer = case confirmedSnapshot of InitialSnapshot{} -> Head.CloseInitial - ConfirmedSnapshot{signatures, snapshot = Snapshot{version, utxoToCommit, utxoToDecommit}} - | version == openVersion - , isJust utxoToCommit -> - Head.CloseUnusedInc - { signature = toPlutusSignatures signatures - , alreadyCommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToCommit - } - | version == openVersion - , isJust utxoToDecommit -> - Head.CloseUnusedDec{signature = toPlutusSignatures signatures} - | version == openVersion - , isNothing utxoToCommit - , isNothing utxoToDecommit -> - Head.CloseAny{signature = toPlutusSignatures signatures} - | otherwise -> + ConfirmedSnapshot{signatures, snapshot = Snapshot{version, utxoToCommit, utxoToDecommit}} -> + if version == openVersion + then + if + | isJust utxoToCommit -> + Head.CloseUnusedInc + { signature = toPlutusSignatures signatures + , alreadyCommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToCommit + } + | isJust utxoToDecommit -> + Head.CloseUnusedDec{signature = toPlutusSignatures signatures} + | isNothing utxoToCommit + , isNothing utxoToDecommit -> + Head.CloseAny{signature = toPlutusSignatures signatures} + | otherwise -> error "closeTx: unexpected to have both utxo to commit and decommit in the same snapshot." + else -- NOTE: This will only work for version == openVersion - 1 case (isJust utxoToCommit, isJust utxoToDecommit) of (True, False) -> @@ -126,17 +126,7 @@ closeTx scriptRegistry vk headId openVersion confirmedSnapshot startSlotNo (endS { signature = toPlutusSignatures signatures , alreadyDecommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToDecommit } - (False, False) -> - if version /= openVersion - then - -- TODO: why CloseUnusedDec? we could also put CloseUsedInc - -- since there is no logic. We would have to know what - -- happened base on version and what else? - Head.CloseUsedDec - { signature = toPlutusSignatures signatures - , alreadyDecommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToDecommit - } - else Head.CloseAny{signature = toPlutusSignatures signatures} + (False, False) -> error "closeTx: both commit and decommit utxo empty but version not matching" -- TODO: can we get rid of these errors by modelling what we expect differently? (True, True) -> error "closeTx: unexpected to have both utxo to commit and decommit in the same snapshot." diff --git a/hydra-tx/src/Hydra/Tx/Contest.hs b/hydra-tx/src/Hydra/Tx/Contest.hs index 6ef6e102c24..5ae22b33062 100644 --- a/hydra-tx/src/Hydra/Tx/Contest.hs +++ b/hydra-tx/src/Hydra/Tx/Contest.hs @@ -130,44 +130,33 @@ contestTx scriptRegistry vk headId contestationPeriod openVersion snapshot sig ( setContestRedeemer :: Snapshot Tx -> SnapshotVersion -> MultiSignature (Snapshot Tx) -> Head.ContestRedeemer setContestRedeemer Snapshot{version, utxoToCommit, utxoToDecommit} openVersion sig = - if - | version == openVersion - , isJust utxoToDecommit -> - Head.ContestUnusedDec - { signature = toPlutusSignatures sig - } - | version == openVersion - , isJust utxoToCommit -> - Head.ContestUnusedInc - { signature = toPlutusSignatures sig - , alreadyCommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToCommit - } - | version == openVersion - , isNothing utxoToCommit - , isNothing utxoToDecommit -> - Head.ContestCurrent - { signature = toPlutusSignatures sig - } - | otherwise -> - case (isJust utxoToCommit, isJust utxoToDecommit) of - (True, False) -> - Head.ContestUsedInc + if version == openVersion + then + if + | isJust utxoToDecommit -> + Head.ContestUnusedDec { signature = toPlutusSignatures sig } - (False, True) -> - Head.ContestUsedDec + | isJust utxoToCommit -> + Head.ContestUnusedInc { signature = toPlutusSignatures sig - , alreadyDecommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToDecommit + , alreadyCommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToCommit } - (False, False) -> - if version /= openVersion - then - -- TODO: why ContestUnusedDec? we could also put ContestUsedInc - -- since there is no logic. We would have to know what - -- happened base on version and what else? - Head.ContestUsedDec - { signature = toPlutusSignatures sig - , alreadyDecommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToDecommit - } - else Head.ContestCurrent{signature = toPlutusSignatures sig} - (True, True) -> error "contestTx: unexpected to have both utxo to commit and decommit in the same snapshot." + | isNothing utxoToCommit + , isNothing utxoToDecommit -> + Head.ContestCurrent + { signature = toPlutusSignatures sig + } + | otherwise -> error "contestTx: unexpected to have both utxo to commit and decommit in the same snapshot." + else case (isJust utxoToCommit, isJust utxoToDecommit) of + (True, False) -> + Head.ContestUsedInc + { signature = toPlutusSignatures sig + } + (False, True) -> + Head.ContestUsedDec + { signature = toPlutusSignatures sig + , alreadyDecommittedUTxOHash = toBuiltin . hashUTxO $ fromMaybe mempty utxoToDecommit + } + (False, False) -> error "contestTx: both commit and decommit utxo empty but version not the same" + (True, True) -> error "contestTx: unexpected to have both utxo to commit and decommit in the same snapshot."