From fc5c4f2d01b0c6b983555b468f8e19491688bdea Mon Sep 17 00:00:00 2001 From: Philip DiSarro Date: Tue, 31 Dec 2024 15:24:10 -0800 Subject: [PATCH] add blacklist spending --- compiled-binds/alwaysFail.json | 5 + compiled-binds/blacklistSpending.json | 5 + .../directoryNodeMintingPolicy.json | 5 + compiled-binds/directorySpending.json | 5 + compiled-binds/freezeAndSeizeTransfer.json | 5 + compiled-binds/permissionedMinting.json | 5 + compiled-binds/permissionedTransfer.json | 5 + compiled-binds/programmableLogicBase.json | 5 + compiled-binds/programmableLogicGlobal.json | 5 + compiled-binds/programmableTokenMinting.json | 5 + .../protocolParametersNFTMinting.json | 5 + compiled-prod/alwaysFail.json | 5 + compiled-prod/blacklistSpending.json | 5 + compiled-prod/directoryNodeMintingPolicy.json | 5 + compiled-prod/directorySpending.json | 5 + compiled-prod/freezeAndSeizeTransfer.json | 5 + compiled-prod/permissionedMinting.json | 5 + compiled-prod/permissionedTransfer.json | 5 + compiled-prod/programmableLogicBase.json | 5 + compiled-prod/programmableLogicGlobal.json | 5 + compiled-prod/programmableTokenMinting.json | 5 + .../protocolParametersNFTMinting.json | 5 + compiled-tracing/alwaysFail.json | 5 + compiled-tracing/blacklistSpending.json | 5 + .../directoryNodeMintingPolicy.json | 5 + compiled-tracing/directorySpending.json | 5 + compiled-tracing/freezeAndSeizeTransfer.json | 5 + compiled-tracing/permissionedMinting.json | 5 + compiled-tracing/permissionedTransfer.json | 5 + compiled-tracing/programmableLogicBase.json | 5 + compiled-tracing/programmableLogicGlobal.json | 5 + .../programmableTokenMinting.json | 5 + .../protocolParametersNFTMinting.json | 5 + flake.nix | 2 + src/exe/export-smart-tokens/Main.hs | 91 ++++++---- .../Contracts/ExampleTransferLogic.hs | 109 ++++++------ .../Contracts/ProgrammableLogicBase.hs | 156 +++++++++--------- .../SmartTokens/LinkedList/SpendBlacklist.hs | 28 ++++ src/lib/SmartTokens/Types/PTokenDirectory.hs | 37 +++-- src/lib/Wst/Offchain/Endpoints/Deployment.hs | 5 +- src/lib/Wst/Offchain/Env.hs | 15 +- src/lib/Wst/Offchain/Scripts.hs | 6 +- src/wst-poc.cabal | 1 + 43 files changed, 422 insertions(+), 193 deletions(-) create mode 100644 compiled-binds/alwaysFail.json create mode 100644 compiled-binds/blacklistSpending.json create mode 100644 compiled-binds/directoryNodeMintingPolicy.json create mode 100644 compiled-binds/directorySpending.json create mode 100644 compiled-binds/freezeAndSeizeTransfer.json create mode 100644 compiled-binds/permissionedMinting.json create mode 100644 compiled-binds/permissionedTransfer.json create mode 100644 compiled-binds/programmableLogicBase.json create mode 100644 compiled-binds/programmableLogicGlobal.json create mode 100644 compiled-binds/programmableTokenMinting.json create mode 100644 compiled-binds/protocolParametersNFTMinting.json create mode 100644 compiled-prod/alwaysFail.json create mode 100644 compiled-prod/blacklistSpending.json create mode 100644 compiled-prod/directoryNodeMintingPolicy.json create mode 100644 compiled-prod/directorySpending.json create mode 100644 compiled-prod/freezeAndSeizeTransfer.json create mode 100644 compiled-prod/permissionedMinting.json create mode 100644 compiled-prod/permissionedTransfer.json create mode 100644 compiled-prod/programmableLogicBase.json create mode 100644 compiled-prod/programmableLogicGlobal.json create mode 100644 compiled-prod/programmableTokenMinting.json create mode 100644 compiled-prod/protocolParametersNFTMinting.json create mode 100644 compiled-tracing/alwaysFail.json create mode 100644 compiled-tracing/blacklistSpending.json create mode 100644 compiled-tracing/directoryNodeMintingPolicy.json create mode 100644 compiled-tracing/directorySpending.json create mode 100644 compiled-tracing/freezeAndSeizeTransfer.json create mode 100644 compiled-tracing/permissionedMinting.json create mode 100644 compiled-tracing/permissionedTransfer.json create mode 100644 compiled-tracing/programmableLogicBase.json create mode 100644 compiled-tracing/programmableLogicGlobal.json create mode 100644 compiled-tracing/programmableTokenMinting.json create mode 100644 compiled-tracing/protocolParametersNFTMinting.json create mode 100644 src/lib/SmartTokens/LinkedList/SpendBlacklist.hs diff --git a/compiled-binds/alwaysFail.json b/compiled-binds/alwaysFail.json new file mode 100644 index 0000000..93e4082 --- /dev/null +++ b/compiled-binds/alwaysFail.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5840583e010000225335738921314c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f746f636f6c506172616d732e68733a36395d001601", + "description": "Always Fail", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/blacklistSpending.json b/compiled-binds/blacklistSpending.json new file mode 100644 index 0000000..f9ad222 --- /dev/null +++ b/compiled-binds/blacklistSpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59030f59030c010000225335738921324c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f5370656e64426c61636b6c6973742e68733a32325d00132533357346644a66ae712401194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940c94ccd5cd0008800899ab9c4901164d757374206d696e7420626c61636b6c697374206373000013253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae74004014004dd59aba13253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100132533357340022002266ae7124011845787065637473207370656e64696e6720707572706f7365000013370e6aae74dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae880052002149858c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Blacklist Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/directoryNodeMintingPolicy.json b/compiled-binds/directoryNodeMintingPolicy.json new file mode 100644 index 0000000..940e764 --- /dev/null +++ b/compiled-binds/directoryNodeMintingPolicy.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59257e59257b010000225335738921314c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f4d696e744469726563746f72792e68733a37365d00132323232323232323232323253335734a666aae7c0085288999299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3239375d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294454cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3133395d00133357340040022940c00cd5d0800898011aba2001322533573892012a4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a34365d0013253357389201194c5b2e2f506c7574617263682f426f6f6c2e68733a3137305d0013375e6e9cc94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800400cdd399299ab9c491264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d0801000899191919192999ab9a3370e90010010992999ab9a4a22a66ae7124012b4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3233315d001325333573466e1cdc6800a407026464646464a666ae68cc894cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc800100319b90006001153335734a6644a66ae71241194c5b2e2f506c7574617263682f426f6f6c2e68733a3133395d00133357340040022940cc94cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001333322222533573892012f4c5b6c69622f536d617274546f6b656e732f54797065732f50546f6b656e4469726563746f72792e68733a3235335d0013375e00266664444a66ae7124012f4c5b6c69622f536d617274546f6b656e732f54797065732f50546f6b656e4469726563746f72792e68733a3234385d001374e66ae80010cd5d000199aba000233574000297ae0004005003002375200c6ea4008d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010033574264a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440060162664a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba200133222533573892012f4c5b6c69622f536d617274546f6b656e732f54797065732f50546f6b656e4469726563746f72792e68733a3235395d0013232323375e00866664444a66ae7124012f4c5b6c69622f536d617274546f6b656e732f54797065732f50546f6b656e4469726563746f72792e68733a3234385d001374e66ae80010cd5d000199aba000233574000297ae000600532325333573466e1cdc69bae3253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026aae78009203815333573466e1c0052000135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100315333573466e1c0052002135742a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003161635573a0026ea8d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100132325333573466e1cdc69bae325335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026aae78009203815333573466e1c005200013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440062a666ae68cdc3800a400426ae84c94cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440062c2c6aae74004dd51aba13253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88004d5d10009bac001375200c6ea400402c54ccd5cd19999111299ab9c49012a4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36305d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3438355d001332225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3532345d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002244a0022a666ae68cdd79aab9d357420020082600a6ae840044c008d5d10008009299ab9c4901294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3438375d0013222300200337566aae780040040100048cc894cd5ce249294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3135305d0013375e6e98008dd30009991299ab9c4901294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3534335d001332253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3535335d0013322533573892011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec00080052f5bded8c00046ea000401000c00454cd5ce24815d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36313a352d31380016012533573892011c4c5b6c69622f54797065732f436f6e7374616e74732e68733a31395d001375200c90010088a4c2a66ae7124119496e636f7272656374206d696e7420666f7220496e73657274001615335738920121496e636f7272656374206e6f6465206f75747075747320666f7220496e736572740016153357389201255370656e74206e6f64652073686f756c6420636f76657220696e73657274696e67206b65790016375c6ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003375c6ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003357440026ae88004dd619299ab9c4901214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e00163574400200e2a66ae712412b4b657920746f20696e73657274206d7573742062652076616c69642043757272656e63792053796d626f6c0016375c0022c6ae854cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100115333573464a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3931325d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3931335d0013375e02aa66ae7124012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004004dd61aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800404854ccd5cd1aba300515333573464a66ae712412f4c5b6c69622f536d617274546f6b656e732f54797065732f50546f6b656e4469726563746f72792e68733a3233345d0013375e0026e9ccd5d02601014000335740980120581effffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00335740980105d8799f40ff00335740980105d8799f40ff004bd7019299ab9c4901214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440020082a666ae68cccc88894cd5ce24812a4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36305d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3438355d001332225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3532345d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002244a0022a666ae68cdd79aab9d357420020082600a6ae840044c008d5d10008009299ab9c4901294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3438375d0013222300200337566aae780040040100048cc894cd5ce249294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3135305d0013375e6e98008dd30009991299ab9c4901294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3534335d001332253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3535335d0013322533573892011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec00080052f5bded8c00046ea000401000c00454cd5ce24815d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36313a352d3138001600b4c1014000480080285261533573892117496e636f7272656374206d696e7420666f7220496e697400161533573892011e496e6974206f7574707574206f6e65206e6f646520616e6420656d707479001615335738920119496e6974206d757374206e6f74207370656e64204e6f64657300161533573892011a496e6974206d75737420636f6e73756d652054784f7574526566001635573c0046aae74004dd5299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800403ccc94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c49012a4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a38395d00132323235335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3831345d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e0022c2a666ae68cdd79aab9d3574200201a264644660020060046eb4d55cf19299ab9c4901214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026eacd55cf1aba100235573a64a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026eacd55cf1aba1001130023574400200244646464a666ae68cdc3a400800426464646464a666ae68cdc3a99ab9c491214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3637395d001333253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3235335d001323230022330020020012300223300200200122253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3235345d00153335573e0022004266006660080046ae84004d5d100091299ab9c491214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3638325d00133700004a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3638305d00133323230022330020020012300223300200200122253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3232365d00153335573e002200426600666e0000920023574400290001bab35573c0029000005a40082a666ae68cdc3804a40042a666ae68cdc81bae001375c6ae854cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100315333573466ebc004028401454cd5ce24914496e636f727265637420746f6b656e206e616d650016153357389201134e6f6465206973206e6f74206f72646572656400161533573892011f496e636f7272656374206e756d626572206f66206e6f646520746f6b656e7300161533573892010f546f6f206d616e7920617373657473001635742a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003357440026ae88004dd6000a99ab9c4912c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892015d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a39333a352d3139001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440086eacd5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004008cc94cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c49012a4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a37395d0013253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3330315d0013232325333573466e1d2004002153357389212c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001153357389201136e6f7420616e20696e6c696e6520646174756d001635573c0046aae74004dd5000a99ab9c4912c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800400400854cd5ce2490f616c6c2073616d65206f726967696e001633253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3331365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae0132533357346008002264a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae880084c00cd5d10011aba1001253357389212b4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3136375d0013004533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137566ae84d5d119299ab9c491264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004dd61aba153357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010083332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3435385d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae013253335734600a002264a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae880084c00cd5d100118019aba1001253357389212b4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3136365d0013003533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137566ae84d5d119299ab9c491264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800400494cd5ce24812b4c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3136365d001533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004004dd61aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001008253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae74004010004c94cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3530365d0013325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3338395d0013225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3430315d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297adef6c6013233300535573c6ae840088cc894cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0d55ce9aba100300100210013002357440020024a66ae712401294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3338395d00133300237560024644460040066e98004489400494cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3530385d0013253335734a66ae712401294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3432305d00135746002244a00224460040066644a66ae71241294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3430315d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297adef6c6013233300535573c6ae840088cc894cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0d55ce9aba100300100210013002357440020024a66ae712401264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3531355d0015333573466ebc004dd424000244a00224460040060020026eacd5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010033232325333573466e1d20000021533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892015e5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3135353a352d3239001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae88018c94cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004d5d10009aba2357440026ae88004d5d100099299ab9c4901264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Directory Node Minting Policy", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/directorySpending.json b/compiled-binds/directorySpending.json new file mode 100644 index 0000000..ce82d61 --- /dev/null +++ b/compiled-binds/directorySpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5906e05906dd010000225335738921324c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f5370656e644469726563746f72792e68733a36385d00132323232325333573466e1d20040021533357346644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae7400400c004d5d099299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013758a66ae712412c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100137566ae84c94cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004d5d10020a4c2c2a66ae71241655061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f5370656e644469726563746f72792e68733a37393a332d3535001635573c0046aae74004dd519299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004cc94cd5ce2481214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3634375d0013232300223300200200123002233002002001225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3634375d00153335573e0022c2a666ae68c00cd5d080089aba100113002357440024a66ae71241324c5b6c69622f536d617274546f6b656e732f4c696e6b65644c6973742f5370656e644469726563746f72792e68733a37345d001332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae7400400c004014c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137566ae84d5d119299ab9c491264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004dd61aba153357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574464a66ae712401264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Directory Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/freezeAndSeizeTransfer.json b/compiled-binds/freezeAndSeizeTransfer.json new file mode 100644 index 0000000..cace6db --- /dev/null +++ b/compiled-binds/freezeAndSeizeTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "590ba7590ba401000022253357389201384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3139345d001323232323232533357346644a66ae712401194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc39aab9d37546ae84c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400a9002199911299ab9c491384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3131395d0013233323230022330020020012300223300200200122253357389201384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3132315d00153335573e00229444c8c8c8c94ccd5cd19b87480100084c8c8c8c94ccd5cd1991299ab9c491194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940c94ccd5cd0008800899ab9c4901167769746e65737320697320626c61636b6c6973746564000013372000400664a666ae6800440044cd5ce249167769746e65737320697320626c61636b6c6973746564000013372000600264a666ae6800440044cd5ce2491e696e646578656420696e76616c696420626c61636b6c697374206e6f6465000013253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae74004064004dd59aba153357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100813300b357440146ae8802458dd719299ab9c4901214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026ae8800cdd71aba1002375c6ae84018dd6299ab9c4912c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892016c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3132383a31352d3730001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c010dd69aba13253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d080100200119919180111980100100091801119801001000911299ab9c491214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e21201400113300353357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a40142666464600446600400400246004466004004002444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40040040020046eb0d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100537586ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003325335738921384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3135325d00133323230022330020020012300223300200200122253357389201384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3135335d00153335573e002200426600664a666ae68cdd7a99ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040040384c8c8c94ccd5cd19b87480000084cc894cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026ae84d55cf1baa357426aae78dd5299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010010061635573c0046aae74004dd5299ab9c4912c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004400cd5d099299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d08009aba20014bd700009bac35742a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001004149858c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004d5d10009aba20013574400264a66ae712401264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010023574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Freeze and Seize Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/permissionedMinting.json b/compiled-binds/permissionedMinting.json new file mode 100644 index 0000000..7971941 --- /dev/null +++ b/compiled-binds/permissionedMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5902b15902ae010000225335738921314c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f746f636f6c506172616d732e68733a36305d001533357346a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200829444c008d5d100099299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137586ae84c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040045261601", + "description": "Permissioned Minting", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/permissionedTransfer.json b/compiled-binds/permissionedTransfer.json new file mode 100644 index 0000000..1dc5017 --- /dev/null +++ b/compiled-binds/permissionedTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5902b75902b4010000225335738921374c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a38385d001533357346a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200829444c008d5d100099299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137586ae84c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040045261601", + "description": "Permissioned Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/programmableLogicBase.json b/compiled-binds/programmableLogicBase.json new file mode 100644 index 0000000..d5da8b3 --- /dev/null +++ b/compiled-binds/programmableLogicBase.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59031059030d010000225335738921394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3136375d001325333573464a666ae6800440044cd5ce24811f70726f6772616d6d61626c6520676c6f62616c206e6f7420696e766f6b6564000015333573466ebcd55ce9aba100100314a22664a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635315d0013232300223300200200123002233002002001225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635315d00153335573e0022c2a666ae68c00cd5d08008a5113002357440024a66ae712401394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3137395d0013375e6aae74004010d5d10008a4c2c6eacc94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Programmable Logic Base", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/programmableLogicGlobal.json b/compiled-binds/programmableLogicGlobal.json new file mode 100644 index 0000000..0a1bde4 --- /dev/null +++ b/compiled-binds/programmableLogicGlobal.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5959a45959a1010000225335738921394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3334395d00132323232323232533573892012245787472616374696e672070726f746f636f6c20706172616d65746572205554784f0013232325333573466e1d20040021323253357389211a45787472616374696e6720696e766f6b65642073637269707473001323232325333573466e1d20020021533573892109505365697a654163740013232323232325333573466e1d200400213232323232323232533357346644a66ae71241194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc3a99ab9c4901224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313135325d00133323230022330020020012300223300200200122253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313135335d00153335573e00220042a666ae68cdd780b19299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d080089980199b8000248008d5d10008998018011aba20014800003920023375ea66ae712412c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea800400c04ccdd79991299ab9c491214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e212014001133233232225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400200264a66ae71241224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc42401400226646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040024660040040020026ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040026eb0d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00101a375a6ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100d3374a90001991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026ae854cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001005332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026e98004cc894cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026ae84c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440086644a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266e9520024bd7025eb80cc94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d10009aba135573c6ea8d5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400c02464a66ae712401194c5b2e2f506c7574617263682f426f6f6c2e68733a3132335d00133357340029412899baf374c0046e9800452616325335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3739365d001332323002233002002001230022330020020012253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3739385d00153335573e002297adef6c6015333573466ebcd55ce9aba100100313574400226644a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026ae84004c008d5d10008011aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100737566ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100235742a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010023574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004cc894cd5ce249214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e212014001133233232225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400200264a66ae71241224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc42401400226646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040024660040040020026ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020126eb4d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100a357440026ae88004dd6299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892016c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3431323a372d3539001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004cc894cd5ce249214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e212014001133233232225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400200264a66ae71241224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc42401400226646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040024660040040020026ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020186eb4d5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88008dd61aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100e13232533357346644a66ae712401194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc39aab9d37546ae84c94cd5ce2481194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440229002192999ab9a0011001133573892011270726f6720746f6b656e732065736361706500001332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3932325d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3239375d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294454cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3133395d00133357340040022940c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3932375d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3239375d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294454cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3133395d00133357340040022940c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3932335d001337126eb4d55cf0009991299ab9c491264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634345d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001375a0026eac004018d55ce8011aab9d00137566aae78004004c94cd5ce249394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3134345d0013253357389201384c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a36305d00135744002666464600446600400400246004466004004002444a66ae712401394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3134355d00153335573e00220042660066464a666ae68cdd7a99ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040040344ccc8894cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439315d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd3198059bab35573c00c6eacd55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400244a66ae712401264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439345d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd4198059bad35573c00c6eb4d55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400200a00400200400244a66ae71241264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3334345d001337000040020086eacd5d099299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400420086ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d08009aba20014bd6f7b6300009bac35742a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100e001149858ccccc888894cd5ce249394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3235325d001323333232300223300200200123002233002002001222253357389201394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3235375d00153335573e00420022646464a666ae68cdc3a4000004264646464a666ae68cdc3a400800426464a666ae68cc894cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940c94ccd5cd0008800899ab9c4901204d697373696e67207265717569726564207472616e7366657220736372697074000013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d10009aba135573c6ea8d5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400202064a666ae6800440044cd5ce2481186469726563746f72792070726f6f66206d69736d61746368000013375e6ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100235573a6ae8402cc94ccd5cd0008800899ab9c49110696e76616c696420646972206e6f646500001332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae7400400c00404cdd59aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001006133300d357440186ae8802ccc894cd5ce2491c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400040026ae8402c02858d5d10009bac533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892016d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3236363a32352d3737001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c020dd6a99ab9c4912c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011323232325333573466e1d2004002132323232533357346644a66ae71241194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940c94ccd5cd0008800899ab9c49011d646972206e65672d70726f6f66206e6f6465206d75737420636f766572000013372000400664a666ae6800440044cd5ce2491d646972206e65672d70726f6f66206e6f6465206d75737420636f766572000013372000600264a666ae6800440044cd5ce24912696e76616c696420646972206e6f6465206e00001332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae7400400c004054dd59aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001008133300f3574401c6ae8803403058dd71aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440066eb8d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001002375c6aae74d5d08051bac533573892012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892016d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3238333a32352d3830001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c020dd69aba153357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100135573c0046aae74004dd51aba10030043574400497adef6c6032253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e212014001133233232225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400200264a66ae71241224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc42401400226646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3537335d0015333573466e2120140011330033253357389201224c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a313038355d001357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040024660040040020026ae88d5d11aba2357446ae88008cdc0800a401426644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c005200013574200426646646444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a66ae712401214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3536355d0015333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020086ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100700b3758a66ae7124012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010020050013332225335738921394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3130395d00133323230022330020020012300223300200200122253357389201394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3131305d00153335573e00220042660066464a666ae68cdd7a99ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040040344c8c8c94ccd5cd19b8748008008584c8c8c94ccd5cd19b87480000084c8c8c94ccd5cd19b874800800854ccd5cd199299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d1000a99ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100101013332225335738921264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439315d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd3198059bab35573c00c6eacd55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400244a66ae712401264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439345d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd4198059bad35573c00c6eb4d55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400200a00400200400244a66ae71241264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3334345d0013370000400201a6eacd5d099299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440162a66ae7124011f4d697373696e6720726571756972656420736372697074207769746e6573730016153335734664a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d1000a99ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100101113332225335738921264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439315d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd3198059bab35573c00c6eacd55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400244a66ae712401264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3439345d001333253357389201294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3335365d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313137325d001533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226666464646004466004004002460044660040040024444a66ae712412a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335335d00153335573e0022a66ae712411c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d0013357400060042646464a666ae68cdd780100089991299ab9c49011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400266ec0008dd4198059bad35573c00c6eb4d55cf0019998040038029aba200415333573466e40dd70011bae00113253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000e00266601000e00a008264a66ae7124011c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000800266601000e6ae880114cd5ce24811c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000c00a6aae74008d55ce8021aba10012533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313335325d00122533573892012a4c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a313332315d00153335573e004200226660066ae84008d5d10010009aba10023574400400200a00400200400244a66ae71241264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3334345d0013370000400201a6eacd5d099299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440162a66ae7124011b4d697373696e6720726571756972656420706b207769746e657373001635573c0046aae74004dd5299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011635573c0046aae74004dd5299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100135573c0046aae74004dd5299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040044010d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d08009aba20014bd6f7b6300009bac3574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae8802c010dd61aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100e35573c0046aae74004dd51aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100c33253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c4901394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3337345d001357426aae78dd51aab9d00137566ae854cd5ce249194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010073574264a66ae712401194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440026eb14cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892016c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3336373a332d3535001635573c0046aae74004dd519299ab9c49012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004c94cd5ce2481264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004c94cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004cc94cd5ce2481214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3634375d0013232300223300200200123002233002002001225335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3634375d00153335573e0022c2a666ae68c00cd5d080089aba100113002357440024a66ae71241394c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3336315d001332253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437365d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3437375d0013375e6aae7400400c004028c94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00137566ae84d5d119299ab9c491264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040054cd5ce2492c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d001357426ae88c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004004dd61aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001003325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234365d0013574464a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004004d5d10009aba20013574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010023574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Programmable Logic Global", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/programmableTokenMinting.json b/compiled-binds/programmableTokenMinting.json new file mode 100644 index 0000000..4cc13dd --- /dev/null +++ b/compiled-binds/programmableTokenMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59103a591037010000222253357389212c4c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3130305d00132323232323232325333573466e1d20000021323232323232325333573466e1cdd69aba153357389201194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100e480004c8c8c94ccd5cd1991299ab9c4901194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc3999911299ab9c4901264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634345d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001375a0026eac00400cdd59aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400801400e00c66ebcc94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010040163370e6eb400520023325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d100080a199299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c49012c4c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3132315d00135573a0026eacd5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae880385261635573c0046aae74004c94cd5ce2481214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3737305d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e0022c2a666ae68cdd79aab9d3574200200826eacd55cf1aba1001130023574400200202400c2a666ae68cdc4240000062a666ae68cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdc3999911299ab9c4901264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634345d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001333325335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3536365d001322225335738921294c5b7372632f506c7574617263682f4c65646765724170692f4173736f634d61702e68733a3537385d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba20010010010024800094cd5ce249264c5b7372632f506c7574617263682f4c65646765724170692f56616c75652e68733a3634385d001375a0026eac00400cdd59aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010013574400200e00800666ebcc94cd5ce24812c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004d5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010010133325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d1000808999299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c49012c4c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3132315d00135573a0026eacd5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae8802c52616153335734664a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3231365d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054ccd5cd19baf3574200200629444c008d5d1000808999299ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3330395d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002297ae01332253357389211c4c5b2e2f506c7574617263682f4275696c74696e2e68733a3231335d00133574000400260066ae84004c008d5d10009299ab9c49012c4c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3132315d00135573a0026eacd5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae8802c52616325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d08009bac35742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100a375a6aae78008d55ce80099299ab9c4901214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3737305d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e0022c2a666ae68cdd79aab9d3574200200826eacd55cf1aba100113002357440020020040026eacd5d0a99ab9c4901194c5b2e2f506c7574617263682f4c6973742e68733a3234345d00100553357389212c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d00135742a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010011533573892015f5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3130343a332d3237001635573c0046aae74004dd51aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357440086ae88d5d10009aba20013574464a66ae712401264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d0010023574400264a66ae71241264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Issuance", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-binds/protocolParametersNFTMinting.json b/compiled-binds/protocolParametersNFTMinting.json new file mode 100644 index 0000000..4676151 --- /dev/null +++ b/compiled-binds/protocolParametersNFTMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5904c45904c1010000225335738921314c5b6c69622f536d617274546f6b656e732f436f6e7472616374732f50726f746f636f6c506172616d732e68733a33395d001323232323232323232533357346644a66ae712401194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cc894cd5ce249194c5b2e2f506c7574617263682f426f6f6c2e68733a3134335d0013335734004002940cdd780126010f4e50726f746f636f6c506172616d73003375e0029801010100325335738921214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3931325d0013325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3330335d0013232300223300200200123002233002002001225335738921194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e002294054cc94cd5ce2481194c5b2e2f506c7574617263682f426f6f6c2e68733a3134375d0013357340022944c00cd5d0800898011aba2001253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3931335d0013375e01aa66ae7124012c4c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2f4669656c642e68733a3237385d0013574264a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004004004dd61aba15335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001008149858d55cf0011aab9d0013253357389201214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3635365d00153335573e0022a66ae712410e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026644a66ae71241214c5b6c69622f506c7574617263682f436f72652f5574696c732e68733a3737305d001332323002233002002001230022330020020012253357389201194c5b2e2f506c7574617263682f4c6973742e68733a3139375d00153335573e0022c2a666ae68cdd79aab9d3574200200826eacd55cf1aba100113002357440020026ae84008004dd59aba1325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921194c5b2e2f506c7574617263682f4c6973742e68733a3234365d00135744a66ae71241194c5b2e2f506c7574617263682f4c6973742e68733a3234365d001357446ae88004d5d10022999ab9a3370e6aae74009200010011635573c0026ea8d5d099299ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001357446ae88008c94cd5ce249264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea8004d5d0a99ab9c491194c5b2e2f506c7574617263682f4c6973742e68733a3234345d001001325335738921264c5b2e2f506c7574617263682f44617461526570722f496e7465726e616c2e68733a3431325d00135573c6ea80040041", + "description": "Protocol Parameters NFT", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/alwaysFail.json b/compiled-prod/alwaysFail.json new file mode 100644 index 0000000..eb871a7 --- /dev/null +++ b/compiled-prod/alwaysFail.json @@ -0,0 +1,5 @@ +{ + "cborHex": "46450100002261", + "description": "Always Fail", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/blacklistSpending.json b/compiled-prod/blacklistSpending.json new file mode 100644 index 0000000..0e0540a --- /dev/null +++ b/compiled-prod/blacklistSpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "588b58890100002232533357346644666ae6800800528191991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba10011300235744002466ebcd55ce8008028009bab35742646ae88d5d11aba235744002646aae78dd50009aba10013370e6aae74dd51aba1357446ae880052002149858c8d55cf1baa0010011", + "description": "Blacklist Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/directoryNodeMintingPolicy.json b/compiled-prod/directoryNodeMintingPolicy.json new file mode 100644 index 0000000..8cfdf08 --- /dev/null +++ b/compiled-prod/directoryNodeMintingPolicy.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5908be5908bb0100002232323232323232323232323253335734a666aae7c00852889991919180111980100100091801119801001000912999aab9f00114a22a6644666ae6800800452818019aba100113002357440026446466ebcdd3991aab9e37540020066e9cc8d55cf1baa00100135742646aae78dd5000800991aba13235573c6ea8004004d5d0801000899191919192999ab9a3370e90000010a999ab9a3233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd780a9aba13235573c6ea8004004004dd61aba13235573c6ea8004d5d0991aab9e37540020242a666ae68d5d18028a999ab9a323375e0026e9ccd5d0261014000335740980120581effffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00335740980105d8799f40ff00335740980105d8799f40ff004bd70192999aab9f0011613253335573e00226ae8400858d5d10008020a999ab9a333322223333233222332323002233002002001230022330020020012253335573e002244a0022a666ae68cdd79aab9d357420020082600a6ae840044c008d5d10008009191118010019bab35573c0020020080024664466ebcdd30011ba60013322332233574066ec00080052f5bded8c00046ea000401000c0045802d3010140004800802852616161616132533357349444c94ccd5cd19b87371a002901c099191919192999ab9a33223335734004002940cdc800100319b90006001153335734a6644666ae680080045281991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba1001130023574400266664444466ebc004cccc8888dd399aba000433574000666ae80008cd5d0000a5eb8001001400c008dd48031ba9002357420066ae84d5d100180589991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba100113002357440026644464646466ebc010cccc8888dd399aba000433574000666ae80008cd5d0000a5eb80018014c8c94ccd5cd19b87371a6eb8c94ccd55cf8008b0992999aab9f0011357420042c6ae88004d55cf001240702a666ae68cdc3800a400026ae8400c54ccd5cd19b87001480084d5d08018b0b1aab9d00137546ae84004c8c94ccd5cd19b87371a6eb8c94ccd55cf8008b0992999aab9f0011357420042c6ae88004d55cf001240702a666ae68cdc3800a400026ae84d5d10018a999ab9a3370e002900109aba1357440062c2c6aae74004dd51aba1357440026ae88004d5d10009bac001375200c6ea400402c54ccd5cd19999111199991991119919180111980100100091801119801001000912999aab9f001122500115333573466ebcd55ce9aba10010041300535742002260046ae880040048c888c00800cdd59aab9e001001004001233223375e6e98008dd30009991199119aba03376000400297adef6c6000237500020080060022c0246ea401920020111498585858dd71aba1003375c6ae8400cd5d10009aba2001375864a666aae7c004584c94ccd55cf80089aba1002163574400200e2c6eb800458d5d08009aab9e00235573a0026ea8d5d09aba23235573c6ea800403ccc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5eb804cd5d018019aba1001300235744002464646466646460044660040040024600446600400400244a666aae7c0045854ccd5cd19baf35573a6ae840040344c8c88cc00400c008dd69aab9e3253335573e0022c264a666aae7c0044d5d08010b1aba200137566aae78d5d08011aab9d3253335573e0022c264a666aae7c0044d5d08010b1aba200137566aae78d5d0800898011aba2001001223232325333573466e1d2004002132323232325333573466e1cccc8c8c8c0088cc0080080048c0088cc0080080048894ccd55cf8008801099801998020011aba1001357440024466e00008ccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf800880109980199b8000248008d5d1000a40006eacd55cf000a400001690020a999ab9a3370e01290010a999ab9a337206eb8004dd71aba100315333573466ebc004028401458585858d5d08019aba2001357440026eb0004d5d08008b1aab9e00235573a0026ea8d5d09aba200437566ae84004d5d1000991aab9e3754002002004664646460044660040040024600446600400400244a666aae7c00452f5c0266ae80c00cd5d080098011aba20012323232325333573466e1d20040021357420022c6aae78008d55ce8009baa00135742646ae88d5d1000991aab9e37540020020042c664646460044660040040024600446600400400244a666aae7c00452f5c0264a666ae68c0100044cd5d000098019aba200213003357440046ae840048c010dd59aba135744646aae78dd50008009bac3574201066644646460044660040040024600446600400400244a666aae7c00452f5c0264a666ae68c0140044cd5d000098019aba2002130033574400460066ae840048c00cdd59aba135744646aae78dd500080091aba135744646aae78dd50008008009bac357420104664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a002008002646646446646460044660040040024600446600400400244a666aae7c00452f5bded8c026466600a6aae78d5d0801119aba0337606aae74d5d0801800801080098011aba2001001233300237560024644460040066e9800448940048c94ccd5cd1aba3001122500112230020033322332323002233002002001230022330020020012253335573e002297adef6c6013233300535573c6ae840088cd5d019bb035573a6ae8400c0040084004c008d5d100080092999ab9a3375e0026ea120001225001122300200300100137566ae8400cc8c8c94ccd5cd19b87480000084d5d08008b1aab9e00235573a0026ea8d5d09aba23574400c646ae88d5d10009aba2001357446ae88004d5d10009aba20013235573c6ea8004d5d0800991aab9e3754002003", + "description": "Directory Node Minting Policy", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/directorySpending.json b/compiled-prod/directorySpending.json new file mode 100644 index 0000000..276e465 --- /dev/null +++ b/compiled-prod/directorySpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59014b5901480100002232323232325333573466e1d20040021533357346644664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a0020060026ae84dd61aba100137566ae84c8d5d11aba2001357440082930b0b1aab9e00235573a0026ea8c8d5d0991aba235744002646aae78dd5000800991aba135744646aae78dd50008009991919180111980100100091801119801001000912999aab9f0011615333573460066ae840044d5d0800898011aba20012332233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d0010030010053237566ae84d5d1191aab9e37540020026ae84d5d1191aab9e37540020026eb0d5d08009aba23235573c6ea8004d5d0800991aab9e3754002003", + "description": "Directory Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/freezeAndSeizeTransfer.json b/compiled-prod/freezeAndSeizeTransfer.json new file mode 100644 index 0000000..032c55a --- /dev/null +++ b/compiled-prod/freezeAndSeizeTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5902ae5902ab010000222323232323232533357346644666ae680080052819b8735573a6ea8d5d09aba200548010ccc888c8ccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf8008a511323232325333573466e1d2004002132323232533357346644666ae68008005281991199ab9a0020014a066e4000800ccdc8001800991991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba10011300235744002466ebcd55ce80080c8009bab357420102660166ae88028d5d10048b1bae3253335573e0022c264a666aae7c0044d5d08010b1aba2001357440066eb8d5d08011bae3574200c6eb0d5d08008b1aab9e00235573a0026ea8d5d09aba200135744646aae78dd5000991aba135744646aae78dd500080098021bad35742646aae78dd50009aba1002004002332323002233002002001230022330020020012225333573466e212014001133003357446ae88d5d11aba2357446ae88d5d11aba2357446ae88008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a40142666464600446600400400246004466004004002444a666ae68cdc3800a400026ae840084cc00cd5d100119b8100148008008004008dd61aba100537586ae8400cc8ccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf8008801099801992999ab9a3375e6ae84c8d55cf1baa00100100e13232325333573466e1d20020021613357406ae84d55cf1baa357426aae78dd51aba100100635573c0046aae74004dd51aba135744646aae78dd500080088019aba13235573c6ea8004c8d5d09aba23235573c6ea8004004d5d08009aba20014bd700009bac357420082930b191aba2357446ae88004d5d10009aba200135744002646aae78dd50009aba100235744002646aae78dd50008009", + "description": "Freeze and Seize Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/permissionedMinting.json b/compiled-prod/permissionedMinting.json new file mode 100644 index 0000000..28afea0 --- /dev/null +++ b/compiled-prod/permissionedMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "586c586a01000022533357346646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae84004010528898011aba20013237586ae84c8d5d11aba2357446ae88d5d11aba2357446ae88004c8d55cf1baa00100135742646aae78dd50008008a4c2c1", + "description": "Permissioned Minting", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/permissionedTransfer.json b/compiled-prod/permissionedTransfer.json new file mode 100644 index 0000000..31737f0 --- /dev/null +++ b/compiled-prod/permissionedTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "586c586a01000022533357346646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae84004010528898011aba20013237586ae84c8d5d11aba2357446ae88d5d11aba2357446ae88004c8d55cf1baa00100135742646aae78dd50008008a4c2c1", + "description": "Permissioned Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/programmableLogicBase.json b/compiled-prod/programmableLogicBase.json new file mode 100644 index 0000000..5fb3daf --- /dev/null +++ b/compiled-prod/programmableLogicBase.json @@ -0,0 +1,5 @@ +{ + "cborHex": "58845882010000223253335734a666ae68cdd79aab9d3574200200629444cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008b0a999ab9a30033574200229444c008d5d1000919baf35573a0020086ae88004526163756646ae84c8d5d11aba2357446ae88d5d11aba20013235573c6ea8004004d5d0991aab9e37540020021", + "description": "Programmable Logic Base", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/programmableLogicGlobal.json b/compiled-prod/programmableLogicGlobal.json new file mode 100644 index 0000000..e053449 --- /dev/null +++ b/compiled-prod/programmableLogicGlobal.json @@ -0,0 +1,5 @@ +{ + "cborHex": "591c45591c4201000022323232323232323232325333573466e1d200400213232323232325333573466e1d200200213232323232325333573466e1d200400213232323232323232533357346644666ae68008005281991199ab9a0020014a06644666ae68008005281991199ab9a0020014a066e1cccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf80088010a999ab9a3375e02c646ae84c8d55cf1baa0010013235742646aae78dd5000800991aba135744646aae78dd50008009aba10011330033370000490011aba20011330030023574400290000072400466ebcd5d0991aab9e375400200602666ebccc894ccd5cd19b88480500044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004c8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a337109005000899919919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba2002337020029001001000919801001000919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba20023370200290010010009198010010008009aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b8100148008008004dd61aba101a375a6ae84034cdd2a400066ae80d5d080299aba0374c00266ae80d5d09aba200433574066e9520024bd7025eb80cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a5113002357440026ae84d55cf1baa357426ae88018048c8ccd5cd000a504a266ebcdd30011ba6001149858c8cc8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5eb7bdb18054ccd5cd19baf35573a6ae8400400c4d5d1000899aba03574200260046ae88004008d5d08039bab357420046ae84008d5d1000991aab9e3754002646ae84d5d1191aab9e37540020026644a666ae68cdc42402800226646646444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a4004004002466004004002002646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004d5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020126eb4d5d08051aba2001357440026eb0d5d08008b1aab9e00235573a0026ea8d5d09aba200135744646aae78dd5000991aba135744646aae78dd500080099912999ab9a33710900a000899919919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba2002337020029001001000919801001000919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba2002337020029001001000919801001000800991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133233232225333573466e21201400113300332357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a666ae68cdc3800a400026ae840084cc8cc8c8894ccd5cd19b87001480004d5d08010998019aba2002337020029001119801001000919112999ab9a3370e002900009aba10021330033574400466e0400520022330020020010013574400466e040052002002001233002002001232225333573466e21201400113300332357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a666ae68cdc3800a400026ae840084cc8cc8c8894ccd5cd19b87001480004d5d08010998019aba2002337020029001119801001000919112999ab9a3370e002900009aba10021330033574400466e0400520022330020020010013574400466e040052002002001233002002001001357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba20023370200290010010008061bad357426ae88004d5d10011bac3574201c26464a666ae68cc88ccd5cd001000a503370e6aae74dd51aba135744022900219911991919180111980100100091801119801001000912999aab9f00114a22a6644666ae6800800452818019aba100113002357440024664646460044660040040024600446600400400244a666aae7c0045288a9991199ab9a00200114a060066ae840044c008d5d1000919b89375a6aae78004cc88cccc8888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80088028a999ab9a3375e6aae74d5d0800803098021aab9e35742002260046ae880040040092000233332222332323002233002002001230022330020020012253335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba200100100248001d69bab00100635573a0046aae74004dd59aab9e0010013235744666464600446600400400246004466004004002444a666aae7c00440084cc00cc8c94ccd5cd19baf35742646aae78dd500080080689999111999112999aab9f00210011333323232300223300200200123002233002002001222253335573e002266ae8000c0084c8c8c94ccd5cd19baf002001133574066ec0008dd3198059bab35573c00c6eacd55cf0019998040038029aba200415333573466e40dd70011bae001133574000c66601000e00a008266ae8000cccc02001cd5d100219aba000600535573a0046aae74010d5d08009112999aab9f00210011333003357420046ae88008004d5d08011aba20020012233322253335573e004200226666464646004466004004002460044660040040024444a666aae7c0044cd5d000180109919192999ab9a3375e004002266ae80cdd80011ba83300b375a6aae78018dd69aab9e003333008007005357440082a666ae68cdc81bae002375c002266ae80018ccc02001c0140104cd5d00019998040039aba200433574000c00a6aae74008d55ce8021aba100122253335573e004200226660066ae84008d5d10010009aba10023574400400200a004002004002e00010dd59aba13574400420086ae84004c8d55cf1baa001357420026ae880052f5bded8c00026eb0d5d08070008a4c2c66666444446466664646004466004004002460044660040040024444a666aae7c00840044c8c8c94ccd5cd19b87480080084c8c8c8c94ccd5cd19b87480100084c8c8c8c94ccd5cd1991199ab9a0020014a06644666ae680080052819b90002003337200060026644664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a00200600202a6eacd5d080409998079aba200e3574401a0182c6eb8d5d09aba2003375c6ae84008dd71aab9d357420146eb0d5d08008b1aab9e00235573a0026ea8d5d09aba200135744646aae78dd5000991aba135744646aae78dd500080098041bad35742002264646464a666ae68cdc3a400800426464a666ae68cc88ccd5cd001000a5033223335734004002940cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a5113002357440026ae84d55cf1baa357426ae88004040cdd79aba100235573a6ae8402ccc88cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a50153323357340022944c00cd5d0800898011aba200123375e6aae7400400c00404cdd59aba1006133300d357440186ae8802ccd5d01aba100b00a16357440026eb0d5d08008b1aab9e00235573a0026ea8d5d09aba200135744646aae78dd5000991aba135744646aae78dd500080098041bad357420026aae78008d55ce8009baa357420060086ae880092f5bded8c0644a666ae68cdc42402800226646646444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a4004004002466004004002002646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004d5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020086ae8401c02cdd61aba100200500133322233323230022330020020012300223300200200122253335573e00220042660066464a666ae68cdd79aba13235573c6ea80040040344c8c8c94ccd5cd19b8748008008584c8c8c94ccd5cd19b8748008008584c8c8c94ccd5cd19b874800000854ccd5cd1991919180111980100100091801119801001000912999aab9f00114a02a666ae68cdd79aba100100314a2260046ae88004d5d080080889999111999112999aab9f00210011333323232300223300200200123002233002002001222253335573e002266ae8000c0084c8c8c94ccd5cd19baf002001133574066ec0008dd3198059bab35573c00c6eacd55cf0019998040038029aba200415333573466e40dd70011bae001133574000c66601000e00a008266ae8000cccc02001cd5d100219aba000600535573a0046aae74010d5d08009112999aab9f00210011333003357420046ae88008004d5d08011aba20020012233322253335573e004200226666464646004466004004002460044660040040024444a666aae7c0044cd5d000180109919192999ab9a3375e004002266ae80cdd80011ba83300b375a6aae78018dd69aab9e003333008007005357440082a666ae68cdc81bae002375c002266ae80018ccc02001c0140104cd5d00019998040039aba200433574000c00a6aae74008d55ce8021aba100122253335573e004200226660066ae84008d5d10010009aba10023574400400200a004002004002e00034dd59aba1357440162c2a666ae68cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a5113002357440026ae840040404ccc888ccc8894ccd55cf8010800899999191918011198010010009180111980100100091112999aab9f00113357400060042646464a666ae68cdd7801000899aba0337600046e98cc02cdd59aab9e00637566aae7800cccc02001c014d5d10020a999ab9a337206eb8008dd7000899aba0006333008007005004133574000666601000e6ae88010cd5d00030029aab9d00235573a0086ae840048894ccd55cf801080089998019aba1002357440040026ae84008d5d1001000911999112999aab9f00210011333323232300223300200200123002233002002001222253335573e002266ae8000c0084c8c8c94ccd5cd19baf002001133574066ec0008dd4198059bad35573c00c6eb4d55cf0019998040038029aba200415333573466e40dd70011bae001133574000c66601000e00a008266ae8000cccc02001cd5d100219aba000600535573a0046aae74010d5d08009112999aab9f00210011333003357420046ae88008004d5d08011aba200200100500200100200170001a6eacd5d09aba200b1635573c0046aae74004dd51aba100135573c0046aae74004dd51aba100135573c0046aae74004dd51aba135744646aae78dd500080088021aba10013235573c6ea8004c8d5d09aba23235573c6ea8004004d5d08009aba20014bd6f7b6300009bac357426ae88d5d10058021bac3574201c6aae78008d55ce8009baa35742018664646460044660040040024600446600400400244a666aae7c00452f5c0266ae80c00cd5d080098011aba20012357426aae78dd51aab9d00137566ae8401cd5d09aba200137586ae8400458d55cf0011aab9d0013754646ae84c8d5d11aba20013235573c6ea8004004c8d5d09aba23235573c6ea8004004cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008b0a999ab9a30033574200226ae840044c008d5d1000919911991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba10011300235744002466ebcd55ce800801800805191bab357426ae88c8d55cf1baa001001357426ae88c8d55cf1baa00100100137586ae8400cc8d5d1191aba2357440020026ae88004d5d10009aba20013235573c6ea8004d5d08011aba20013235573c6ea80040041", + "description": "Programmable Logic Global", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/programmableTokenMinting.json b/compiled-prod/programmableTokenMinting.json new file mode 100644 index 0000000..e52f5a5 --- /dev/null +++ b/compiled-prod/programmableTokenMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59044f59044c010000222232323232323232325333573466e1d20000021323232323232325333573466e1cdd69aba100e480004c8c8c94ccd5cd1991199ab9a0020014a06644666ae68008005281991199ab9a0020014a066e1cccc888cccc8888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80088028a999ab9a3375e6aae74d5d0800803098021aab9e35742002260046ae880040040092000233332222332323002233002002001230022330020020012253335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba200100100248001d69bab00100337566ae84d5d100200500380319baf3235742646aae78dd50008009aba10040163370e6eb4005200233232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d100080a1991919180111980100100091801119801001000912999aab9f00114bd70099aba030033574200260046ae8800555ce9bab357426ae88d5d10070a4c2c6aae78008d55ce800992999aab9f0011613253335573e00226ae8400858d5d1000999119919180111980100100091801119801001000912999aab9f0011615333573466ebcd55ce9aba1001004137566aae78d5d0800898011aba200100101200615333573466e2120000031533357346644666ae68008005281991199ab9a0020014a066e1cccc888cccc8888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80088028a999ab9a3375e6aae74d5d0800803098021aab9e35742002260046ae880040040092000233332222332323002233002002001230022330020020012253335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba200100100248001d69bab00100337566ae84d5d100080380200199baf3235742646aae78dd50008009aba100101333232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10008089991919180111980100100091801119801001000912999aab9f00114bd70099aba030033574200260046ae8800555ce9bab357426ae88d5d10058a4c2c2a666ae68cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a511300235744002022664646460044660040040024600446600400400244a666aae7c00452f5c0266ae80c00cd5d080098011aba20015573a6eacd5d09aba2357440162930b191aab9e37540026ae84004dd61aba100a375a6aae78008d55ce800992999aab9f0011613253335573e00226ae8400858d5d1000999119919180111980100100091801119801001000912999aab9f0011615333573466ebcd55ce9aba1001004137566aae78d5d0800898011aba200100100200137566ae84014d5d08008b1aab9e00235573a0026ea8d5d09aba2004357446ae88004d5d10009aba23235573c6ea8004d5d08011aba20013235573c6ea80040041", + "description": "Issuance", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-prod/protocolParametersNFTMinting.json b/compiled-prod/protocolParametersNFTMinting.json new file mode 100644 index 0000000..5163ebe --- /dev/null +++ b/compiled-prod/protocolParametersNFTMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59013c59013901000022323232323232323232533357346644666ae68008005281991199ab9a0020014a066ebc0093010f4e50726f746f636f6c506172616d73003375e00298010101003233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd78069aba13235573c6ea8004004004dd61aba1008149858d55cf0011aab9d0013253335573e0022c264a666aae7c0044d5d08010b1aba20013322332323002233002002001230022330020020012253335573e0022c2a666ae68cdd79aab9d3574200200826eacd55cf1aba100113002357440020026ae84008004dd59aba132357446ae88d5d10009aba20045333573466e1cd55ce8012400020022c6aae78004dd51aba1357446ae88008c8d55cf1baa00135742002646aae78dd500080081", + "description": "Protocol Parameters NFT", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/alwaysFail.json b/compiled-tracing/alwaysFail.json new file mode 100644 index 0000000..eb871a7 --- /dev/null +++ b/compiled-tracing/alwaysFail.json @@ -0,0 +1,5 @@ +{ + "cborHex": "46450100002261", + "description": "Always Fail", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/blacklistSpending.json b/compiled-tracing/blacklistSpending.json new file mode 100644 index 0000000..e477dd0 --- /dev/null +++ b/compiled-tracing/blacklistSpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "58db58d90100002232533357346644666ae6800800528192999ab9a00110011335738921164d757374206d696e7420626c61636b6c697374206373000013233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d00100500137566ae84c8d5d11aba2357446ae88004c8d55cf1baa0013574200264a666ae6800440044cd5ce2491845787065637473207370656e64696e6720707572706f7365000013370e6aae74dd51aba1357446ae880052002149858c8d55cf1baa00100101", + "description": "Blacklist Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/directoryNodeMintingPolicy.json b/compiled-tracing/directoryNodeMintingPolicy.json new file mode 100644 index 0000000..23c7318 --- /dev/null +++ b/compiled-tracing/directoryNodeMintingPolicy.json @@ -0,0 +1,5 @@ +{ + "cborHex": "590daf590dac0100002232323232323232323232323253335734a666aae7c00852889991919180111980100100091801119801001000912999aab9f00114a22a6644666ae6800800452818019aba100113002357440026446466ebcdd3991aab9e37540020066e9cc8d55cf1baa00100135742646aae78dd5000800991aba13235573c6ea8004004d5d0801000899191919192999ab9a3370e90000010a999ab9a3233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd780a9aba13235573c6ea8004004004dd61aba13235573c6ea8004d5d0991aab9e37540020242a666ae68d5d18028a999ab9a323375e0026e9ccd5d0261014000335740980120581effffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00335740980105d8799f40ff00335740980105d8799f40ff004bd70192999aab9f001153357389210e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440020082a666ae68cccc8888cccc8cc888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80089128008a999ab9a3375e6aae74d5d0800802098029aba100113002357440020024644460040066eacd55cf0008008020009199119baf374c0046e98004cc88cc88cd5d019bb00020014bd6f7b6300011ba8001004003001153357389215d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36313a352d3138001600b4c1014000480080285261533573892117496e636f7272656374206d696e7420666f7220496e697400161533573892011e496e6974206f7574707574206f6e65206e6f646520616e6420656d707479001615335738920119496e6974206d757374206e6f74207370656e64204e6f64657300161533573892011a496e6974206d75737420636f6e73756d652054784f75745265660016132533357349444c94ccd5cd19b87371a002901c099191919192999ab9a33223335734004002940cdc800100319b90006001153335734a6644666ae680080045281991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba1001130023574400266664444466ebc004cccc8888dd399aba000433574000666ae80008cd5d0000a5eb8001001400c008dd48031ba9002357420066ae84d5d100180589991919180111980100100091801119801001000912999aab9f00114a02a66466ae6800452898019aba100113002357440026644464646466ebc010cccc8888dd399aba000433574000666ae80008cd5d0000a5eb80018014c8c94ccd5cd19b87371a6eb8c94ccd55cf8008a99ab9c49010e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026aae78009203815333573466e1c00520001357420062a666ae68cdc3800a400426ae8400c5858d55ce8009baa357420026464a666ae68cdc39b8d375c64a666aae7c00454cd5ce24810e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026aae78009203815333573466e1c00520001357426ae8800c54ccd5cd19b87001480084d5d09aba2003161635573a0026ea8d5d09aba2001357440026ae88004dd60009ba900637520020162a666ae68cccc8888cccc8cc888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80089128008a999ab9a3375e6aae74d5d0800802098029aba100113002357440020024644460040066eacd55cf0008008020009199119baf374c0046e98004cc88cc88cd5d019bb00020014bd6f7b6300011ba80010040030011533573892015d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a36313a352d31380016012375200c90010088a4c2a66ae7124119496e636f7272656374206d696e7420666f7220496e73657274001615335738920121496e636f7272656374206e6f6465206f75747075747320666f7220496e736572740016153357389201255370656e74206e6f64652073686f756c6420636f76657220696e73657274696e67206b65790016375c6ae8400cdd71aba1003357440026ae88004dd6192999aab9f0011533573892010e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e00163574400200e2a66ae712412b4b657920746f20696e73657274206d7573742062652076616c69642043757272656e63792053796d626f6c0016375c0022c6ae84004d55cf0011aab9d00137546ae84d5d1191aab9e375400201e664646460044660040040024600446600400400244a666aae7c00452f5c0266ae80c00cd5d080098011aba200123232323332323002233002002001230022330020020012253335573e0022c2a666ae68cdd79aab9d3574200201a264644660020060046eb4d55cf192999aab9f001153357389210e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026eacd55cf1aba100235573a64a666aae7c00454cd5ce24810e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026eacd55cf1aba1001130023574400200244646464a666ae68cdc3a400800426464646464a666ae68cdc3999919191801119801001000918011198010010009112999aab9f001100213300333004002357420026ae8800488cdc00011999191801119801001000918011198010010009112999aab9f00110021330033370000490011aba200148000dd59aab9e0014800002d200415333573466e1c025200215333573466e40dd70009bae357420062a666ae68cdd780080508028a99ab9c490114496e636f727265637420746f6b656e206e616d650016153357389201134e6f6465206973206e6f74206f72646572656400161533573892011f496e636f7272656374206e756d626572206f66206e6f646520746f6b656e7300161533573892010f546f6f206d616e79206173736574730016357420066ae88004d5d10009bac001357420022a66ae7124015d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a39333a352d3139001635573c0046aae74004dd51aba1357440086eacd5d08009aba20013235573c6ea8004004008cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5eb804cd5d018019aba1001300235744002464646464a666ae68cdc3a400800426ae8400454cd5ce249136e6f7420616e20696e6c696e6520646174756d001635573c0046aae74004dd50009aba132357446ae88004c8d55cf1baa0010010021533573892010f616c6c2073616d65206f726967696e001633232323002233002002001230022330020020012253335573e002297ae0132533357346008002266ae80004c00cd5d1001098019aba200235742002460086eacd5d09aba23235573c6ea8004004dd61aba10083332232323002233002002001230022330020020012253335573e002297ae013253335734600a002266ae80004c00cd5d1001098019aba2002300335742002460066eacd5d09aba23235573c6ea80040048d5d09aba23235573c6ea8004004004dd61aba1008233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d00100400132332322332323002233002002001230022330020020012253335573e002297adef6c6013233300535573c6ae840088cd5d019bb035573a6ae8400c0040084004c008d5d100080091998011bab001232223002003374c002244a002464a666ae68d5d180089128008911801001999119919180111980100100091801119801001000912999aab9f00114bd6f7b6300991998029aab9e35742004466ae80cdd81aab9d35742006002004200260046ae8800400494ccd5cd19baf00137509000091280089118010018008009bab35742006646464a666ae68cdc3a400000426ae8400454cd5ce2495e5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f436f6d6d6f6e2e68733a3135353a352d3239001635573c0046aae74004dd51aba1357446ae88018c8d5d11aba2001357440026ae88d5d10009aba200135744002646aae78dd50009aba10013235573c6ea80040041", + "description": "Directory Node Minting Policy", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/directorySpending.json b/compiled-tracing/directorySpending.json new file mode 100644 index 0000000..11725a3 --- /dev/null +++ b/compiled-tracing/directorySpending.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5901b85901b50100002232323232325333573466e1d20040021533357346644664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a0020060026ae84dd61aba100137566ae84c8d5d11aba2001357440082930b0a99ab9c491655061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f4c696e6b65644c6973742f5370656e644469726563746f72792e68733a37393a332d3535001635573c0046aae74004dd5191aba132357446ae88004c8d55cf1baa00100132357426ae88c8d55cf1baa00100133232323002233002002001230022330020020012253335573e0022c2a666ae68c00cd5d080089aba1001130023574400246644664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a00200600200a646eacd5d09aba23235573c6ea8004004d5d09aba23235573c6ea8004004dd61aba100135744646aae78dd50009aba10013235573c6ea80040041", + "description": "Directory Spending", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/freezeAndSeizeTransfer.json b/compiled-tracing/freezeAndSeizeTransfer.json new file mode 100644 index 0000000..41a375c --- /dev/null +++ b/compiled-tracing/freezeAndSeizeTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "5903df5903dc010000222323232323232533357346644666ae680080052819b8735573a6ea8d5d09aba200548010ccc888c8ccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf8008a511323232325333573466e1d2004002132323232533357346644666ae68008005281991199ab9a0020014a064a666ae6800440044cd5ce249167769746e65737320697320626c61636b6c6973746564000013372000400664a666ae6800440044cd5ce249167769746e65737320697320626c61636b6c6973746564000013372000600264a666ae6800440044cd5ce2491e696e646578656420696e76616c696420626c61636b6c697374206e6f6465000013233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d00101900137566ae840204cc02cd5d10051aba200916375c64a666aae7c00454cd5ce2490e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e0016357440026ae8800cdd71aba1002375c6ae84018dd61aba10011533573892016c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f4578616d706c655472616e736665724c6f6769632e68733a3132383a31352d3730001635573c0046aae74004dd51aba1357440026ae88c8d55cf1baa00132357426ae88c8d55cf1baa0010013004375a6ae84c8d55cf1baa0013574200400800466464600446600400400246004466004004002444a666ae68cdc4240280022660066ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284ccc8c8c0088cc0080080048c0088cc0080080048894ccd5cd19b87001480004d5d08010998019aba20023370200290010010008011bac3574200a6eb0d5d0801991999191801119801001000918011198010010009112999aab9f0011002133003325333573466ebcd5d0991aab9e375400200201c2646464a666ae68cdc3a40040042c266ae80d5d09aab9e37546ae84d55cf1baa3574200200c6aae78008d55ce8009baa357426ae88c8d55cf1baa001001100335742646aae78dd5000991aba135744646aae78dd50008009aba10013574400297ae000137586ae840105261632357446ae88d5d10009aba2001357440026ae88004c8d55cf1baa001357420046ae88004c8d55cf1baa00100101", + "description": "Freeze and Seize Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/permissionedMinting.json b/compiled-tracing/permissionedMinting.json new file mode 100644 index 0000000..28afea0 --- /dev/null +++ b/compiled-tracing/permissionedMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "586c586a01000022533357346646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae84004010528898011aba20013237586ae84c8d5d11aba2357446ae88d5d11aba2357446ae88004c8d55cf1baa00100135742646aae78dd50008008a4c2c1", + "description": "Permissioned Minting", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/permissionedTransfer.json b/compiled-tracing/permissionedTransfer.json new file mode 100644 index 0000000..31737f0 --- /dev/null +++ b/compiled-tracing/permissionedTransfer.json @@ -0,0 +1,5 @@ +{ + "cborHex": "586c586a01000022533357346646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae84004010528898011aba20013237586ae84c8d5d11aba2357446ae88d5d11aba2357446ae88004c8d55cf1baa00100135742646aae78dd50008008a4c2c1", + "description": "Permissioned Transfer", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/programmableLogicBase.json b/compiled-tracing/programmableLogicBase.json new file mode 100644 index 0000000..f7908f0 --- /dev/null +++ b/compiled-tracing/programmableLogicBase.json @@ -0,0 +1,5 @@ +{ + "cborHex": "58b458b201000022325333573464a666ae6800440044cd5ce2491f70726f6772616d6d61626c6520676c6f62616c206e6f7420696e766f6b6564000015333573466ebcd55ce9aba100100314a22664646460044660040040024600446600400400244a666aae7c0045854ccd5cd18019aba100114a2260046ae880048cdd79aab9d001004357440022930b1bab3235742646ae88d5d11aba2357446ae88d5d1000991aab9e37540020026ae84c8d55cf1baa00100101", + "description": "Programmable Logic Base", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/programmableLogicGlobal.json b/compiled-tracing/programmableLogicGlobal.json new file mode 100644 index 0000000..0cbc8c4 --- /dev/null +++ b/compiled-tracing/programmableLogicGlobal.json @@ -0,0 +1,5 @@ +{ + "cborHex": "591fd7591fd4010000223232323232323253357389212245787472616374696e672070726f746f636f6c20706172616d65746572205554784f0013232325333573466e1d20040021323253357389211a45787472616374696e6720696e766f6b65642073637269707473001323232325333573466e1d200000213232533357346644666ae680080052819b8735573a6ea8d5d09aba201148010c94ccd5cd0008800899ab9c49011270726f6720746f6b656e732065736361706500001332233232323002233002002001230022330020020012253335573e002294454cc88ccd5cd0010008a50300335742002260046ae880048cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5115332233357340040022940c00cd5d0800898011aba20012337126eb4d55cf00099911999911119919180111980100100091801119801001000912999aab9f001100515333573466ebcd55ce9aba10010061300435573c6ae840044c008d5d1000800801240004666644446646460044660040040024600446600400400244a666aae7c004401454ccd5cd19baf35573a6ae840040184c010d55cf1aba1001130023574400200200490003ad375600200c6aae74008d55ce8009bab35573c002002646ae88ccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf800880109980199192999ab9a3375e6ae84c8d55cf1baa00100100d133322233322253335573e004200226666464646004466004004002460044660040040024444a666aae7c0044cd5d000180109919192999ab9a3375e004002266ae80cdd80011ba63300b37566aae78018dd59aab9e003333008007005357440082a666ae68cdc81bae002375c002266ae80018ccc02001c0140104cd5d00019998040039aba200433574000c00a6aae74008d55ce8021aba100122253335573e004200226660066ae84008d5d10010009aba10023574400400244666444a666aae7c00840044cccc8c8c8c0088cc0080080048c0088cc00800800488894ccd55cf800899aba000300213232325333573466ebc0080044cd5d019bb00023750660166eb4d55cf0031bad35573c00666601000e00a6ae8801054ccd5cd19b90375c0046eb80044cd5d0003199804003802802099aba00033330080073574400866ae80018014d55ce8011aab9d00435742002444a666aae7c00840044ccc00cd5d08011aba2002001357420046ae88008004014008004008005c00021bab357426ae880084010d5d0800991aab9e37540026ae84004d5d1000a5eb7bdb180004dd61aba100e001149858ccccc88888c8cccc8c8c0088cc0080080048c0088cc00800800488894ccd55cf801080089919192999ab9a3370e90000010991919192999ab9a3370e9002001099192999ab9a33223335734004002940cc88ccd5cd001000a5032533357340022002266ae71241204d697373696e67207265717569726564207472616e73666572207363726970740000133232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10009aba135573c6ea8d5d09aba200101032533357340022002266ae71241186469726563746f72792070726f6f66206d69736d61746368000013375e6ae84008d55ce9aba100b32533357340022002266ae7124110696e76616c696420646972206e6f646500001332233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d00100300101337566ae840184ccc034d5d10061aba200b3357406ae8402c02858d5d10009bac357420022a66ae7124016d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3236363a32352d3737001635573c0046aae74004dd51aba1357440026ae88c8d55cf1baa00132357426ae88c8d55cf1baa0010013008375a6ae840044c8c8c8c94ccd5cd19b87480100084c8c8c8c94ccd5cd1991199ab9a0020014a06644666ae6800800528192999ab9a0011001133573892011d646972206e65672d70726f6f66206e6f6465206d75737420636f766572000013372000400664a666ae6800440044cd5ce2491d646972206e65672d70726f6f66206e6f6465206d75737420636f766572000013372000600264a666ae6800440044cd5ce24912696e76616c696420646972206e6f6465206e00001332233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd79aab9d00100300101537566ae840204ccc03cd5d10071aba200d00c16375c6ae84d5d10019bae357420046eb8d55ce9aba100a37586ae8400454cd5ce2496d5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3238333a32352d3830001635573c0046aae74004dd51aba1357440026ae88c8d55cf1baa00132357426ae88c8d55cf1baa0010013008375a6ae84004d55cf0011aab9d00137546ae8400c010d5d100125eb7bdb180c894ccd5cd19b88480500044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004c8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a337109005000899919919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba2002337020029001001000919801001000919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba20023370200290010010009198010010008009aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b8100148008008004010d5d08038059bac3574200400a002666444666464600446600400400246004466004004002444a666aae7c00440084cc00cc8c94ccd5cd19baf35742646aae78dd500080080689919192999ab9a3370e90010010b09919192999ab9a3370e90010010b09919192999ab9a3370e90000010a999ab9a33232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10009aba1001011133322233322253335573e004200226666464646004466004004002460044660040040024444a666aae7c0044cd5d000180109919192999ab9a3375e004002266ae80cdd80011ba63300b37566aae78018dd59aab9e003333008007005357440082a666ae68cdc81bae002375c002266ae80018ccc02001c0140104cd5d00019998040039aba200433574000c00a6aae74008d55ce8021aba100122253335573e004200226660066ae84008d5d10010009aba10023574400400244666444a666aae7c00840044cccc8c8c8c0088cc0080080048c0088cc00800800488894ccd55cf800899aba000300213232325333573466ebc0080044cd5d019bb00023750660166eb4d55cf0031bad35573c00666601000e00a6ae8801054ccd5cd19b90375c0046eb80044cd5d0003199804003802802099aba00033330080073574400866ae80018014d55ce8011aab9d00435742002444a666aae7c00840044ccc00cd5d08011aba2002001357420046ae88008004014008004008005c00069bab357426ae8802c54cd5ce2491b4d697373696e6720726571756972656420706b207769746e6573730016153335734664646460044660040040024600446600400400244a666aae7c0045280a999ab9a3375e6ae8400400c528898011aba2001357420020202666444666444a666aae7c00840044cccc8c8c8c0088cc0080080048c0088cc00800800488894ccd55cf800899aba000300213232325333573466ebc0080044cd5d019bb0002374c660166eacd55cf0031bab35573c00666601000e00a6ae8801054ccd5cd19b90375c0046eb80044cd5d0003199804003802802099aba00033330080073574400866ae80018014d55ce8011aab9d00435742002444a666aae7c00840044ccc00cd5d08011aba2002001357420046ae8800800488ccc8894ccd55cf8010800899999191918011198010010009180111980100100091112999aab9f00113357400060042646464a666ae68cdd7801000899aba0337600046ea0cc02cdd69aab9e006375a6aae7800cccc02001c014d5d10020a999ab9a337206eb8008dd7000899aba0006333008007005004133574000666601000e6ae88010cd5d00030029aab9d00235573a0086ae840048894ccd55cf801080089998019aba1002357440040026ae84008d5d1001000802801000801000b8000d37566ae84d5d10058a99ab9c4911f4d697373696e6720726571756972656420736372697074207769746e657373001635573c0046aae74004dd51aba100135573c0046aae74004dd51aba100135573c0046aae74004dd51aba135744646aae78dd500080088021aba10013235573c6ea8004c8d5d09aba23235573c6ea8004004d5d08009aba20014bd6f7b6300009bac357426ae88d5d10058021bac3574201c2a66ae71240109505365697a654163740013232323232325333573466e1d200400213232323232323232533357346644666ae68008005281991199ab9a0020014a06644666ae68008005281991199ab9a0020014a066e1cccc8c8c0088cc0080080048c0088cc0080080048894ccd55cf80088010a999ab9a3375e02c646ae84c8d55cf1baa0010013235742646aae78dd5000800991aba135744646aae78dd50008009aba10011330033370000490011aba20011330030023574400290000072400466ebcd5d0991aab9e375400200602666ebccc894ccd5cd19b88480500044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004c8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a337109005000899919919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba2002337020029001001000919801001000919112999ab9a33710900a000899801991aba2357446ae88d5d11aba2357446ae88d5d11aba23574400200466e04005201415333573466e21200a001133003357446ae88d5d11aba23574400466e04005200a133225333573466e1c005200013574200426646646444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc0080080048c8894ccd5cd19b87001480004d5d08010998019aba20023370200290011198010010008009aba20023370200290010010009198010010008009aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b8100148008008004dd61aba101a375a6ae84034cdd2a400066ae80d5d080299aba0374c00266ae80d5d09aba200433574066e9520024bd7025eb80cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a5113002357440026ae84d55cf1baa357426ae88018048c8ccd5cd000a504a266ebcdd30011ba6001149858c8cc8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5eb7bdb18054ccd5cd19baf35573a6ae8400400c4d5d1000899aba03574200260046ae88004008d5d08039bab357420046ae84008d5d1000991aab9e3754002646ae84d5d1191aab9e37540020026644a666ae68cdc42402800226646646444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a4004004002466004004002002646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc8cc8c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc0080080048c8894ccd5cd19b88480500044cc00cc8d5d11aba2357446ae88d5d11aba2357446ae88d5d11aba200100233702002900a0a999ab9a3371090050008998019aba2357446ae88d5d11aba2002337020029005099912999ab9a3370e002900009aba1002133233232225333573466e1c00520001357420042660066ae88008cdc0800a400446600400400246444a666ae68cdc3800a400026ae840084cc00cd5d100119b81001480088cc008008004004d5d100119b81001480080080048cc008008004004d5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040020126eb4d5d08051aba2001357440026eb0d5d08008a99ab9c4916c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3431323a372d3539001635573c0046aae74004dd51aba1357440026ae88c8d55cf1baa00132357426ae88c8d55cf1baa00100133225333573466e212014001133233232225333573466e21201400113300332357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a666ae68cdc3800a400026ae840084cc8cc8c8894ccd5cd19b87001480004d5d08010998019aba2002337020029001119801001000919112999ab9a3370e002900009aba10021330033574400466e0400520022330020020010013574400466e040052002002001233002002001232225333573466e21201400113300332357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc4240140022660066ae88d5d11aba2357446ae88008cdc0800a401426644a666ae68cdc3800a400026ae840084cc8cc8c8894ccd5cd19b87001480004d5d08010998019aba2002337020029001119801001000919112999ab9a3370e002900009aba10021330033574400466e0400520022330020020010013574400466e04005200200200123300200200100132357446ae88d5d11aba2357446ae88d5d11aba2357446ae88004008cdc0800a40282a666ae68cdc42401400226646646444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a400400400246600400400246444a666ae68cdc424028002266006646ae88d5d11aba2357446ae88d5d11aba2357446ae88d5d100080119b810014805054ccd5cd19b88480280044cc00cd5d11aba2357446ae88d5d100119b81001480284cc894ccd5cd19b87001480004d5d0801099919919112999ab9a3370e002900009aba10021330033574400466e040052002233002002001232225333573466e1c00520001357420042660066ae88008cdc0800a40044660040040020026ae88008cdc0800a40040040024660040040020026ae88d5d11aba2357446ae88008cdc0800a401426644a666ae68cdc3800a400026ae840084cc8cc8c8894ccd5cd19b87001480004d5d08010998019aba2002337020029001119801001000919112999ab9a3370e002900009aba10021330033574400466e0400520022330020020010013574400466e04005200200200100c375a6ae84d5d10009aba200237586ae84038d55cf0011aab9d00137546ae84030cc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5eb804cd5d018019aba100130023574400246ae84d55cf1baa35573a0026eacd5d08039aba1357440026eb0d5d08008a99ab9c4916c5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f50726f6772616d6d61626c654c6f676963426173652e68733a3336373a332d3535001635573c0046aae74004dd5191aba132357446ae88004c8d55cf1baa00100132357426ae88c8d55cf1baa00100133232323002233002002001230022330020020012253335573e0022c2a666ae68c00cd5d080089aba1001130023574400246644664646460044660040040024600446600400400244a666aae7c0045280a99919ab9a00114a260066ae840044c008d5d1000919baf35573a002006002014646eacd5d09aba23235573c6ea8004004d5d09aba23235573c6ea8004004004dd61aba10033235744646ae88d5d10008009aba2001357440026ae88004c8d55cf1baa001357420046ae88004c8d55cf1baa00100101", + "description": "Programmable Logic Global", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/programmableTokenMinting.json b/compiled-tracing/programmableTokenMinting.json new file mode 100644 index 0000000..ec623c8 --- /dev/null +++ b/compiled-tracing/programmableTokenMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "590537590534010000222232323232323232325333573466e1d20000021323232323232325333573466e1cdd69aba100e480004c8c8c94ccd5cd1991199ab9a0020014a06644666ae68008005281991199ab9a0020014a066e1cccc888cccc8888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80088028a999ab9a3375e6aae74d5d0800803098021aab9e35742002260046ae880040040092000233332222332323002233002002001230022330020020012253335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba200100100248001d69bab00100337566ae84d5d100200500380319baf3235742646aae78dd50008009aba10040163370e6eb4005200233232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d100080a1991919180111980100100091801119801001000912999aab9f00114bd70099aba030033574200260046ae8800555ce9bab357426ae88d5d10070a4c2c6aae78008d55ce800992999aab9f001153357389210e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e00163574400266446646460044660040040024600446600400400244a666aae7c0045854ccd5cd19baf35573a6ae840040104dd59aab9e35742002260046ae8800400404801854ccd5cd19b884800000c54ccd5cd1991199ab9a0020014a06644666ae680080052819b8733322233332222332323002233002002001230022330020020012253335573e002200a2a666ae68cdd79aab9d3574200200c260086aae78d5d0800898011aba2001001002480008cccc8888cc8c8c0088cc0080080048c0088cc008008004894ccd55cf80088028a999ab9a3375e6aae74d5d0800803098021aab9e35742002260046ae88004004009200075a6eac00400cdd59aba13574400200e00800666ebcc8d5d0991aab9e37540020026ae8400404ccc8c8c8c0088cc0080080048c0088cc008008004894ccd55cf8008a5015333573466ebcd5d08008018a511300235744002022664646460044660040040024600446600400400244a666aae7c00452f5c0266ae80c00cd5d080098011aba20015573a6eacd5d09aba2357440162930b0a999ab9a33232323002233002002001230022330020020012253335573e002294054ccd5cd19baf3574200200629444c008d5d10008089991919180111980100100091801119801001000912999aab9f00114bd70099aba030033574200260046ae8800555ce9bab357426ae88d5d10058a4c2c646aae78dd50009aba100137586ae84028dd69aab9e00235573a00264a666aae7c00454cd5ce2490e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e00163574400266446646460044660040040024600446600400400244a666aae7c0045854ccd5cd19baf35573a6ae840040104dd59aab9e35742002260046ae88004004008004dd59aba1005357420022a66ae712415f5061747465726e206d61746368206661696c75726520696e207175616c69666965642027646f2720626c6f636b206174206c69622f536d617274546f6b656e732f436f6e7472616374732f49737375616e63652e68733a3130343a332d3237001635573c0046aae74004dd51aba1357440086ae88d5d10009aba200135744646aae78dd50009aba100235744002646aae78dd500080081", + "description": "Issuance", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/compiled-tracing/protocolParametersNFTMinting.json b/compiled-tracing/protocolParametersNFTMinting.json new file mode 100644 index 0000000..78890f6 --- /dev/null +++ b/compiled-tracing/protocolParametersNFTMinting.json @@ -0,0 +1,5 @@ +{ + "cborHex": "59017d59017a01000022323232323232323232533357346644666ae68008005281991199ab9a0020014a066ebc0093010f4e50726f746f636f6c506172616d73003375e00298010101003233232323002233002002001230022330020020012253335573e002294054cc8cd5cd0008a51300335742002260046ae880048cdd78069aba13235573c6ea8004004004dd61aba1008149858d55cf0011aab9d0013253335573e0022a66ae7124010e4c69737420697320656d7074792e001613253335573e00226ae8400854cd5ce249244c69737420636f6e7461696e73206d6f7265207468616e206f6e6520656c656d656e742e00163574400266446646460044660040040024600446600400400244a666aae7c0045854ccd5cd19baf35573a6ae840040104dd59aab9e35742002260046ae88004004d5d08010009bab35742646ae88d5d11aba200135744008a666ae68cdc39aab9d00248000400458d55cf0009baa357426ae88d5d1001191aab9e37540026ae84004c8d55cf1baa0010011", + "description": "Protocol Parameters NFT", + "type": "PlutusScriptV3" +} \ No newline at end of file diff --git a/flake.nix b/flake.nix index 3381269..188b08d 100644 --- a/flake.nix +++ b/flake.nix @@ -45,9 +45,11 @@ nixConfig = { extra-substituters = [ "https://cache.iog.io" + "https://cache.zw3rk.com" ]; extra-trusted-public-keys = [ "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=" + "loony-tools:pr9m4BkM/5/eSTZlkQyRt57Jz7OMBxNSUiMC4FkcNfk=" ]; allow-import-from-derivation = true; }; diff --git a/src/exe/export-smart-tokens/Main.hs b/src/exe/export-smart-tokens/Main.hs index 7afb99b..ec77ac9 100644 --- a/src/exe/export-smart-tokens/Main.hs +++ b/src/exe/export-smart-tokens/Main.hs @@ -4,37 +4,26 @@ module Main (main) where import Cardano.Binary qualified as CBOR import Data.Aeson (KeyValue ((.=)), object) import Data.Aeson.Encode.Pretty (encodePretty) -import Data.Bifunctor ( - first, - ) +import Data.Bifunctor (first) import Data.ByteString.Base16 qualified as Base16 import Data.ByteString.Lazy qualified as LBS -import Data.Text ( - Text, - pack, - ) +import Data.Text (Text, pack) import Data.Text.Encoding qualified as Text -import Plutarch ( - Config (..), - TracingMode (..), - LogLevel (..), - compile, - ) -import Plutarch.Evaluate ( - evalScript, - applyArguments - ) +import Plutarch (Config (..), LogLevel (..), TracingMode (..), compile) +import Plutarch.Evaluate (applyArguments, evalScript) import Plutarch.Prelude import Plutarch.Script (Script, serialiseScript) -import PlutusLedgerApi.V2 ( - Data, - ExBudget, - ) -import SmartTokens.Contracts.ProgrammableLogicBase (mkProgrammableLogicBase, mkProgrammableLogicGlobal) +import PlutusLedgerApi.V2 (Data, ExBudget) +import SmartTokens.Contracts.ExampleTransferLogic (mkFreezeAndSeizeTransfer, + mkPermissionedTransfer) import SmartTokens.Contracts.Issuance (mkProgrammableLogicMinting) -import SmartTokens.Contracts.ProtocolParams (mkProtocolParametersMinting, alwaysFailScript, mkPermissionedMinting) -import SmartTokens.Contracts.ExampleTransferLogic (mkPermissionedTransfer, mkFreezeAndSeizeTransfer) +import SmartTokens.Contracts.ProgrammableLogicBase (mkProgrammableLogicBase, + mkProgrammableLogicGlobal) +import SmartTokens.Contracts.ProtocolParams (alwaysFailScript, + mkPermissionedMinting, + mkProtocolParametersMinting) import SmartTokens.LinkedList.MintDirectory (mkDirectoryNodeMP) +import SmartTokens.LinkedList.SpendBlacklist (pmkBlacklistSpending) import SmartTokens.LinkedList.SpendDirectory (pmkDirectorySpending) encodeSerialiseCBOR :: Script -> Text @@ -62,19 +51,49 @@ writePlutusScript cfg title filepath term = do LBS.writeFile filepath content writePlutusScriptTraceBind :: String -> FilePath -> ClosedTerm a -> IO () -writePlutusScriptTraceBind title filepath term = - writePlutusScript (Tracing LogInfo DoTracingAndBinds) title filepath term +writePlutusScriptTraceBind = writePlutusScript (Tracing LogInfo DoTracingAndBinds) + +writePlutusScriptTrace :: String -> FilePath -> ClosedTerm a -> IO () +writePlutusScriptTrace = writePlutusScript (Tracing LogInfo DoTracing) + +writePlutusScriptNoTrace :: String -> FilePath -> ClosedTerm a -> IO () +writePlutusScriptNoTrace = writePlutusScript NoTracing main :: IO () main = do putStrLn "Writing Plutus Scripts to files" - writePlutusScriptTraceBind "Programmable Logic Base" "./compiled/programmableLogicBase.json" mkProgrammableLogicBase - writePlutusScriptTraceBind "Programmable Logic Global" "./compiled/programmableLogicBase.json" mkProgrammableLogicGlobal - writePlutusScriptTraceBind "Issuance" "./compiled/programmableTokenMinting.json" mkProgrammableLogicMinting - writePlutusScriptTraceBind "Protocol Parameters NFT" "./compiled/protocolParametersNFTMinting.json" mkProtocolParametersMinting - writePlutusScriptTraceBind "Always Fail" "./compiled/alwaysFail.json" alwaysFailScript - writePlutusScriptTraceBind "Permissioned Minting" "./compiled/permissionedMinting.json" mkPermissionedMinting - writePlutusScriptTraceBind "Permissioned Transfer" "./compiled/permissionedTransfer.json" mkPermissionedTransfer - writePlutusScriptTraceBind "Freeze and Seize Transfer" "./compiled/freezeAndSeizeTransfer.json" mkFreezeAndSeizeTransfer - writePlutusScriptTraceBind "Directory Node Minting Policy" "./compiled/directoryNodeMintingPolicy.json" mkDirectoryNodeMP - writePlutusScriptTraceBind "Directory Spending" "./compiled/directorySpending.json" pmkDirectorySpending \ No newline at end of file + writePlutusScriptTraceBind "Programmable Logic Base" "./compiled-binds/programmableLogicBase.json" mkProgrammableLogicBase + writePlutusScriptTraceBind "Programmable Logic Global" "./compiled-binds/programmableLogicGlobal.json" mkProgrammableLogicGlobal + writePlutusScriptTraceBind "Issuance" "./compiled-binds/programmableTokenMinting.json" mkProgrammableLogicMinting + writePlutusScriptTraceBind "Protocol Parameters NFT" "./compiled-binds/protocolParametersNFTMinting.json" mkProtocolParametersMinting + writePlutusScriptTraceBind "Always Fail" "./compiled-binds/alwaysFail.json" alwaysFailScript + writePlutusScriptTraceBind "Permissioned Minting" "./compiled-binds/permissionedMinting.json" mkPermissionedMinting + writePlutusScriptTraceBind "Permissioned Transfer" "./compiled-binds/permissionedTransfer.json" mkPermissionedTransfer + writePlutusScriptTraceBind "Freeze and Seize Transfer" "./compiled-binds/freezeAndSeizeTransfer.json" mkFreezeAndSeizeTransfer + writePlutusScriptTraceBind "Directory Node Minting Policy" "./compiled-binds/directoryNodeMintingPolicy.json" mkDirectoryNodeMP + writePlutusScriptTraceBind "Directory Spending" "./compiled-binds/directorySpending.json" pmkDirectorySpending + writePlutusScriptTraceBind "Blacklist Spending" "./compiled-binds/blacklistSpending.json" pmkBlacklistSpending + + writePlutusScriptTrace "Programmable Logic Base" "./compiled-tracing/programmableLogicBase.json" mkProgrammableLogicBase + writePlutusScriptTrace "Programmable Logic Global" "./compiled-tracing/programmableLogicGlobal.json" mkProgrammableLogicGlobal + writePlutusScriptTrace "Issuance" "./compiled-tracing/programmableTokenMinting.json" mkProgrammableLogicMinting + writePlutusScriptTrace "Protocol Parameters NFT" "./compiled-tracing/protocolParametersNFTMinting.json" mkProtocolParametersMinting + writePlutusScriptTrace "Always Fail" "./compiled-tracing/alwaysFail.json" alwaysFailScript + writePlutusScriptTrace "Permissioned Minting" "./compiled-tracing/permissionedMinting.json" mkPermissionedMinting + writePlutusScriptTrace "Permissioned Transfer" "./compiled-tracing/permissionedTransfer.json" mkPermissionedTransfer + writePlutusScriptTrace "Freeze and Seize Transfer" "./compiled-tracing/freezeAndSeizeTransfer.json" mkFreezeAndSeizeTransfer + writePlutusScriptTrace "Directory Node Minting Policy" "./compiled-tracing/directoryNodeMintingPolicy.json" mkDirectoryNodeMP + writePlutusScriptTrace "Directory Spending" "./compiled-tracing/directorySpending.json" pmkDirectorySpending + writePlutusScriptTrace "Blacklist Spending" "./compiled-tracing/blacklistSpending.json" pmkBlacklistSpending + + writePlutusScriptNoTrace "Programmable Logic Base" "./compiled-prod/programmableLogicBase.json" mkProgrammableLogicBase + writePlutusScriptNoTrace "Programmable Logic Global" "./compiled-prod/programmableLogicGlobal.json" mkProgrammableLogicGlobal + writePlutusScriptNoTrace "Issuance" "./compiled-prod/programmableTokenMinting.json" mkProgrammableLogicMinting + writePlutusScriptNoTrace "Protocol Parameters NFT" "./compiled-prod/protocolParametersNFTMinting.json" mkProtocolParametersMinting + writePlutusScriptNoTrace "Always Fail" "./compiled-prod/alwaysFail.json" alwaysFailScript + writePlutusScriptNoTrace "Permissioned Minting" "./compiled-prod/permissionedMinting.json" mkPermissionedMinting + writePlutusScriptNoTrace "Permissioned Transfer" "./compiled-prod/permissionedTransfer.json" mkPermissionedTransfer + writePlutusScriptNoTrace "Freeze and Seize Transfer" "./compiled-prod/freezeAndSeizeTransfer.json" mkFreezeAndSeizeTransfer + writePlutusScriptNoTrace "Directory Node Minting Policy" "./compiled-prod/directoryNodeMintingPolicy.json" mkDirectoryNodeMP + writePlutusScriptNoTrace "Directory Spending" "./compiled-prod/directorySpending.json" pmkDirectorySpending + writePlutusScriptNoTrace "Blacklist Spending" "./compiled-prod/blacklistSpending.json" pmkBlacklistSpending diff --git a/src/lib/SmartTokens/Contracts/ExampleTransferLogic.hs b/src/lib/SmartTokens/Contracts/ExampleTransferLogic.hs index aa8551d..8398a3e 100644 --- a/src/lib/SmartTokens/Contracts/ExampleTransferLogic.hs +++ b/src/lib/SmartTokens/Contracts/ExampleTransferLogic.hs @@ -1,10 +1,11 @@ {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-} {-# HLINT ignore "Use newtype instead of data" #-} -{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE OverloadedRecordDot #-} -{-# LANGUAGE QualifiedDo #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE QualifiedDo #-} +{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE UndecidableInstances #-} -{-# LANGUAGE TemplateHaskell #-} +{-# OPTIONS_GHC -Wno-unused-do-bind #-} module SmartTokens.Contracts.ExampleTransferLogic ( mkPermissionedTransfer, @@ -12,27 +13,21 @@ module SmartTokens.Contracts.ExampleTransferLogic ( BlacklistProof (..), ) where -import Plutarch.LedgerApi.V3 - ( PPubKeyHash, - PCurrencySymbol, - POutputDatum(POutputDatum), - PScriptContext, - PTxInInfo ) -import Plutarch.Monadic qualified as P -import Plutarch.Prelude -import Plutarch.Builtin ( pasByteStr, pasConstr, pforgetData ) -import Plutarch.Core.Utils - ( pisRewarding, - phasDataCS, - pelemAtFast, - ptxSignedByPkh, - pand'List, - pvalidateConditions ) -import Plutarch.Unsafe ( punsafeCoerce ) -import SmartTokens.Types.PTokenDirectory ( PBlacklistNode, pletFieldsBlacklistNode) -import qualified PlutusTx +import Plutarch.Builtin (pasByteStr, pasConstr, pforgetData) +import Plutarch.Core.Utils (pand'List, pelemAtFast, phasDataCS, pisRewarding, + ptxSignedByPkh, pvalidateConditions) import Plutarch.DataRepr (DerivePConstantViaData (..)) +import Plutarch.LedgerApi.V3 (PCredential, PCurrencySymbol, + PMaybeData (PDJust, PDNothing), + POutputDatum (POutputDatum), PPubKeyHash, + PScriptContext, PTxInInfo) import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (..)) +import Plutarch.Monadic qualified as P +import Plutarch.Prelude +import Plutarch.Unsafe (punsafeCoerce) +import PlutusTx qualified +import SmartTokens.Types.PTokenDirectory (PBlacklistNode, + pletFieldsBlacklistNode) -- >>> _printTerm $ unsafeEvalTerm NoTracing (pconstant $ NonmembershipProof 1) -- "program 1.0.0 (Constr 0 [I 1])" @@ -69,7 +64,7 @@ instance PUnsafeLiftDecl PBlacklistProof where type PLifted PBlacklistProof = BlacklistProof {-| - The 'mkPermissionedTransfer' is a transfer logic script that enforces that all transactions which spend the + The 'mkPermissionedTransfer' is a transfer logic script that enforces that all transactions which spend the associated programmable tokens must be signed by the specified permissioned credential. Parameters: @@ -108,14 +103,10 @@ mkPermissionedTransfer = plam $ \permissionedCred ctx -> It performs the following checks for each proof: - For 'PNonmembershipProof': - Ensures that the two nodes are adjacent in the blacklist. - - Verifies that the witness key is not in the blacklist by checking that it is lexographically greater than the key of the - first node and lexographically less than the key of the second node (and thus if it was in the blacklist those two nodes + - Verifies that the witness key is not in the blacklist by checking that it is lexographically greater than the key of the + first node and lexographically less than the key of the second node (and thus if it was in the blacklist those two nodes would not be adjacent). - Confirms the legitimacy of both directory entries by checking the presence of the directory node currency symbol. - - For 'PNonmembershipProofTail': FIXME: outdated - - Ensures that the witness key is greater than the tail node key in the blacklist. - - Confirms the legitimacy of the directory entry by checking the presence of the directory node currency symbol. - If any of the checks fail, the function throws an error. -} pvalidateWitnesses :: Term s (PAsData PCurrencySymbol :--> PBuiltinList (PAsData PBlacklistProof) :--> PBuiltinList (PAsData PTxInInfo) :--> PBuiltinList (PAsData PByteString) :--> PBool) @@ -136,12 +127,12 @@ pvalidateWitnesses = phoistAcyclic $ plam $ \blacklistNodeCS proofs refInputs wi let checks = pand'List [ - -- the currency symbol is not in the blacklist - nodeKey #< witnessKey - , witnessKey #< nodeNext #|| nodeNext #== pconstant "" - -- directory entries are legitimate, this is proven by the + -- the witness is not in the blacklist + ptraceInfoIfFalse "witness is blacklisted" $ nodeKey #< witnessKey + , ptraceInfoIfFalse "witness is blacklisted" $ witnessKey #< nodeNext + -- directory entries are legitimate, this is proven by the -- presence of the directory node currency symbol. - , phasDataCS # blacklistNodeCS # pfromData prevNodeUTxOF.value + , ptraceInfoIfFalse "indexed invalid blacklist node" $ phasDataCS # blacklistNodeCS # pfromData prevNodeUTxOF.value ] pif checks (self # (ptail # remainingProofs) # remainWits) @@ -151,9 +142,34 @@ pvalidateWitnesses = phoistAcyclic $ plam $ \blacklistNodeCS proofs refInputs wi txWits ) # proofs # witnesses +pextractRequiredWitnesses :: Term s (PAsData PCredential :--> PBuiltinList (PAsData PTxInInfo) :--> PBuiltinList (PAsData PByteString)) +pextractRequiredWitnesses = phoistAcyclic $ plam $ \progBaseCred inputs -> + (pfix #$ plam $ \self acc -> + pelimList + (\txIn xs -> + self + # pletFields @'["address"] (pfield @"resolved" # txIn) (\txInF -> + plet txInF.address $ \addr -> + pif ((pfield @"credential" # addr) #== progBaseCred) + ( + pmatch (pfield @"stakingCredential" # addr) $ \case + PDJust ((pfield @"_0" #) -> stakingCred) -> + let ownerCred = phead #$ psndBuiltin #$ pasConstr # pforgetData stakingCred + credHash = punsafeCoerce @_ @_ @(PAsData PByteString) $ phead #$ psndBuiltin #$ pasConstr # ownerCred + in pcons # credHash # acc + PDNothing _ -> perror + ) + acc + ) + # xs + ) + acc + ) + # pnil + # inputs {-| - The 'mkFreezeAndSeizeTransfer' is a transfer logic script that allows the associated programmable token + The 'mkFreezeAndSeizeTransfer' is a transfer logic script that allows the associated programmable token to be frozen via a dynamic blacklist. Parameters: @@ -164,28 +180,17 @@ pvalidateWitnesses = phoistAcyclic $ plam $ \blacklistNodeCS proofs refInputs wi 1. Constructs a list of transaction witnesses by iterating over the withdrawal list, extracting the script credentials and prepending them to the transaction required_signers set (txInfoSignatories). 2. Enforces that the script is being invoked as a rewarding script (withdraw-zero trick) - 3. Validates that none of the tx witnesses are in the blacklist. This is done by iterating over the witnesses - the blacklist proofs (provided via the redeemer) verifying the correctness of each proof + 3. Validates that none of the tx witnesses are in the blacklist. This is done by iterating over the witnesses + the blacklist proofs (provided via the redeemer) verifying the correctness of each proof (i.e. that the proof really does prove that the associated witness is not in the blacklist). -} -mkFreezeAndSeizeTransfer :: ClosedTerm (PAsData PCurrencySymbol :--> PScriptContext :--> PUnit) -mkFreezeAndSeizeTransfer = plam $ \blacklistNodeCS ctx -> P.do +mkFreezeAndSeizeTransfer :: ClosedTerm (PAsData PCredential :--> PAsData PCurrencySymbol :--> PScriptContext :--> PUnit) +mkFreezeAndSeizeTransfer = plam $ \programmableLogicBaseCred blacklistNodeCS ctx -> P.do ctxF <- pletFields @'["txInfo", "redeemer", "scriptInfo"] ctx infoF <- pletFields @'["inputs", "referenceInputs", "outputs", "signatories", "wdrl"] ctxF.txInfo let red = pfromData $ punsafeCoerce @_ @_ @(PAsData (PBuiltinList (PAsData PBlacklistProof))) (pto ctxF.redeemer) - pkWits <- plet $ punsafeCoerce @_ @_ @(PBuiltinList (PAsData PByteString)) (pfromData infoF.signatories) - let txWitnesses = pfix # - plam (\self wdrlList -> - pelimList @PBuiltinList - (\wdrlPair rest -> - let cred = pfstBuiltin # wdrlPair - script = punsafeCoerce @_ @_ @(PAsData PByteString) $ phead #$ psndBuiltin #$ pasConstr # pforgetData cred - in pcons # script # (self # rest) - ) - pkWits - wdrlList - ) # pto (pfromData infoF.wdrl) + let txWitnesses = pextractRequiredWitnesses # programmableLogicBaseCred # pfromData infoF.inputs pvalidateConditions [ pisRewarding ctxF.scriptInfo - , pvalidateWitnesses # blacklistNodeCS # red # infoF.referenceInputs # txWitnesses + , pvalidateWitnesses # blacklistNodeCS # red # pfromData infoF.referenceInputs # txWitnesses ] diff --git a/src/lib/SmartTokens/Contracts/ProgrammableLogicBase.hs b/src/lib/SmartTokens/Contracts/ProgrammableLogicBase.hs index e4d827c..e7bb11f 100644 --- a/src/lib/SmartTokens/Contracts/ProgrammableLogicBase.hs +++ b/src/lib/SmartTokens/Contracts/ProgrammableLogicBase.hs @@ -5,8 +5,8 @@ {-# LANGUAGE OverloadedRecordDot #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE PartialTypeSignatures #-} -{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE QualifiedDo #-} +{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE UndecidableInstances #-} module SmartTokens.Contracts.ProgrammableLogicBase ( @@ -34,15 +34,17 @@ import Plutarch.LedgerApi.V3 (AmountGuarantees (Positive), import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (..)) import Plutarch.Monadic qualified as P import Plutarch.Prelude (ClosedTerm, DerivePlutusType (..), Generic, PAsData, - PBool, PBuiltinList, PBuiltinPair, PByteString, - PDataRecord, PEq (..), PInteger, PIsData, - PLabeledType ((:=)), + PBuiltinList, PBuiltinPair, PByteString, PDataRecord, + PEq (..), PInteger, PIsData, PLabeledType ((:=)), PListLike (pcons, pelimList, phead, ptail), - PPartialOrd ((#<)), PUnit, PlutusType, PlutusTypeData, - S, Term, pcon, pconstant, pdata, pelem, perror, pfield, - pfix, pfromData, pfstBuiltin, phoistAcyclic, pif, plam, - plet, pletFields, pmap, pmatch, pnot, psndBuiltin, pto, - ptraceInfo, type (:-->), (#$), (#), (#||), PShow) + PPartialOrd ((#<)), PShow, PUnit, PlutusType, + PlutusTypeData, S, Term, pcon, pconstant, pdata, pelem, + perror, pfield, pfix, pfromData, pfstBuiltin, + phoistAcyclic, pif, plam, plet, pletFields, pmap, + pmatch, pnot, psndBuiltin, pto, ptraceInfo, + ptraceInfoError, ptraceInfoIfFalse, type (:-->), (#$), + (#)) +import Plutarch.Show (pshow) import Plutarch.Unsafe (punsafeCoerce) import PlutusLedgerApi.V1.Value (Value) import PlutusTx qualified @@ -122,11 +124,11 @@ pvalueFromCred = phoistAcyclic $ plam $ \cred sigs scripts inputs -> PPubKeyCredential ((pfield @"_0" #) -> pkh) -> pif (ptxSignedByPkh # pkh # sigs) (acc <> pfromData txInF.value) - perror + (ptraceInfoError "Missing required pk witness") PScriptCredential ((pfield @"_0" #) -> scriptHash_) -> pif (pelem # punsafeCoerce scriptHash_ # scripts) (acc <> pfromData txInF.value) - perror + (ptraceInfoError "Missing required script witness") _ -> perror PDNothing _ -> perror ) @@ -178,66 +180,66 @@ mkProgrammableLogicBase = plam $ \stakeCred ctx -> # plam (\withdrawPair -> pfstBuiltin # withdrawPair #== stakeCred) # (ptail # withdrawals) ) - in pvalidateConditions [hasCred] + in pvalidateConditions [ptraceInfoIfFalse "programmable global not invoked" hasCred] -- | Traverse the currency symbols of the combined value of all programmable base inputs -- (excluding the first currency symbol in `totalValue` which the ledger enforces must be Ada). -- For each currency symbol, we check a proof that either: -- 1. The currency symbol is in the directory and the associated transfer logic script is executed in the transaction. -- 2. The currency symbol is not in the directory. -pcheckTransferLogic :: Term s (PAsData PCurrencySymbol :--> PBuiltinList (PAsData PTxInInfo) :--> PBuiltinList (PAsData PTokenProof) :--> PBuiltinList (PAsData PByteString) :--> PValue 'Sorted 'Positive :--> PBool) -pcheckTransferLogic = plam $ \directoryNodeCS refInputs proofList scripts totalValue -> - plet (pelemAtFast @PBuiltinList # refInputs) $ \patRefUTxOIdx -> - let mapInnerList = pto (pto totalValue) - go = pfix #$ plam $ \self proofs innerValue -> - pelimList - (\csPair csPairs -> - let cs :: Term _ (PAsData PByteString) - cs = punsafeCoerce $ pfstBuiltin # csPair - in - pmatch (pfromData $ phead # proofs) $ \case - PTokenExists ((pfield @"nodeIdx" #) -> nodeIdx) -> P.do - directoryNodeUTxOF <- pletFields @'["value", "datum"] $ pfield @"resolved" # (patRefUTxOIdx # pfromData nodeIdx) - POutputDatum ((pfield @"outputDatum" #) -> paramDat') <- pmatch directoryNodeUTxOF.datum - directoryNodeDatumF <- pletFields @'["key", "next", "transferLogicScript"] (punsafeCoerce @_ @_ @PDirectorySetNode (pto paramDat')) - let transferLogicScriptHash = punsafeCoerce @_ @_ @(PAsData PByteString) $ phead #$ psndBuiltin #$ pasConstr # pforgetData directoryNodeDatumF.transferLogicScript - -- validate that the directory entry for the currency symbol is referenced by the proof - -- and that the associated transfer logic script is executed in the transaction - let checks = - pand'List - [ pelem # transferLogicScriptHash # scripts - , punsafeCoerce directoryNodeDatumF.key #== cs - , phasDataCS # directoryNodeCS # pfromData directoryNodeUTxOF.value - ] - pif checks - (self # (ptail # proofs) # csPairs) - perror - PTokenDoesNotExist notExist -> P.do - notExistF <- pletFields @'["nodeIdx"] notExist - prevNodeUTxOF <- pletFields @'["value", "datum"] $ pfield @"resolved" # (patRefUTxOIdx # pfromData notExistF.nodeIdx) - POutputDatum ((pfield @"outputDatum" #) -> prevNodeDat') <- pmatch prevNodeUTxOF.datum - nodeDatumF <- pletFields @'["key", "next"] (punsafeCoerce @_ @_ @PDirectorySetNode (pto prevNodeDat')) - currCS <- plet $ pasByteStr # pforgetData (pfstBuiltin # csPair) - nodeKey <- plet $ pasByteStr # pforgetData nodeDatumF.key - nodeNext <- plet $ pasByteStr # pforgetData nodeDatumF.next - let checks = - pand'List - [ - -- the currency symbol is not in the directory - nodeKey #< currCS - , currCS #< nodeNext #|| nodeNext #== pconstant "" - -- both directory entries are legitimate, this is proven by the - -- presence of the directory node currency symbol. - , phasDataCS # directoryNodeCS # pfromData prevNodeUTxOF.value - ] - pif checks - (self # (ptail # proofs) # csPairs) - perror - ) - (pconstant True) - innerValue - -- drop the ada entry in the value before traversing the rest of the value entries - in go # proofList # (ptail # mapInnerList) +-- pcheckTransferLogic :: Term s (PAsData PCurrencySymbol :--> PBuiltinList (PAsData PTxInInfo) :--> PBuiltinList (PAsData PTokenProof) :--> PBuiltinList (PAsData PByteString) :--> PValue 'Sorted 'Positive :--> PBool) +-- pcheckTransferLogic = plam $ \directoryNodeCS refInputs proofList scripts totalValue -> +-- plet (pelemAtFast @PBuiltinList # refInputs) $ \patRefUTxOIdx -> +-- let mapInnerList = pto (pto totalValue) +-- go = pfix #$ plam $ \self proofs innerValue -> +-- pelimList +-- (\csPair csPairs -> +-- let cs :: Term _ (PAsData PByteString) +-- cs = punsafeCoerce $ pfstBuiltin # csPair +-- in +-- pmatch (pfromData $ phead # proofs) $ \case +-- PTokenExists ((pfield @"nodeIdx" #) -> nodeIdx) -> P.do +-- directoryNodeUTxOF <- pletFields @'["value", "datum"] $ pfield @"resolved" # (patRefUTxOIdx # pfromData nodeIdx) +-- POutputDatum ((pfield @"outputDatum" #) -> paramDat') <- pmatch directoryNodeUTxOF.datum +-- directoryNodeDatumF <- pletFields @'["key", "next", "transferLogicScript"] (punsafeCoerce @_ @_ @PDirectorySetNode (pto paramDat')) +-- let transferLogicScriptHash = punsafeCoerce @_ @_ @(PAsData PByteString) $ phead #$ psndBuiltin #$ pasConstr # pforgetData directoryNodeDatumF.transferLogicScript +-- -- validate that the directory entry for the currency symbol is referenced by the proof +-- -- and that the associated transfer logic script is executed in the transaction +-- let checks = +-- pand'List +-- [ pelem # transferLogicScriptHash # scripts +-- , punsafeCoerce directoryNodeDatumF.key #== cs +-- , phasDataCS # directoryNodeCS # pfromData directoryNodeUTxOF.value +-- ] +-- pif checks +-- (self # (ptail # proofs) # csPairs) +-- perror +-- PTokenDoesNotExist notExist -> P.do +-- notExistF <- pletFields @'["nodeIdx"] notExist +-- prevNodeUTxOF <- pletFields @'["value", "datum"] $ pfield @"resolved" # (patRefUTxOIdx # pfromData notExistF.nodeIdx) +-- POutputDatum ((pfield @"outputDatum" #) -> prevNodeDat') <- pmatch prevNodeUTxOF.datum +-- nodeDatumF <- pletFields @'["key", "next"] (punsafeCoerce @_ @_ @PDirectorySetNode (pto prevNodeDat')) +-- currCS <- plet $ pasByteStr # pforgetData (pfstBuiltin # csPair) +-- nodeKey <- plet $ pasByteStr # pforgetData nodeDatumF.key +-- nodeNext <- plet $ pasByteStr # pforgetData nodeDatumF.next +-- let checks = +-- pand'List +-- [ +-- -- the currency symbol is not in the directory +-- nodeKey #< currCS +-- , currCS #< nodeNext +-- -- both directory entries are legitimate, this is proven by the +-- -- presence of the directory node currency symbol. +-- , phasDataCS # directoryNodeCS # pfromData prevNodeUTxOF.value +-- ] +-- pif checks +-- (self # (ptail # proofs) # csPairs) +-- perror +-- ) +-- (pconstant True) +-- innerValue +-- -- drop the ada entry in the value before traversing the rest of the value entries +-- in go # proofList # (ptail # mapInnerList) -- | Traverse the currency symbols of the combined value of all programmable base inputs -- (excluding the first currency symbol in `totalValue` which the ledger enforces must be Ada). @@ -269,9 +271,9 @@ pcheckTransferLogicAndGetProgrammableValue = plam $ \directoryNodeCS refInputs p -- and that the associated transfer logic script is executed in the transaction let checks = pand'List - [ pelem # transferLogicScriptHash # scripts - , punsafeCoerce directoryNodeDatumF.key #== cs - , phasDataCS # directoryNodeCS # pfromData directoryNodeUTxOF.value + [ ptraceInfoIfFalse "Missing required transfer script" $ pelem # transferLogicScriptHash # scripts + , ptraceInfoIfFalse "directory proof mismatch" $ punsafeCoerce directoryNodeDatumF.key #== cs + , ptraceInfoIfFalse "invalid dir node" $ phasDataCS # directoryNodeCS # pfromData directoryNodeUTxOF.value ] pif checks (self # (ptail # proofs) # csPairs # (pcons # csPair # actualProgrammableTokenValue)) @@ -288,11 +290,11 @@ pcheckTransferLogicAndGetProgrammableValue = plam $ \directoryNodeCS refInputs p pand'List [ -- the currency symbol is not in the directory - nodeKey #< currCS - , currCS #< nodeNext #|| nodeNext #== pconstant "" + ptraceInfoIfFalse "dir neg-proof node must cover" $ nodeKey #< currCS + , ptraceInfoIfFalse "dir neg-proof node must cover" $ currCS #< nodeNext -- both directory entries are legitimate, this is proven by the -- presence of the directory node currency symbol. - , phasDataCS # directoryNodeCS # pfromData prevNodeUTxOF.value + , ptraceInfoIfFalse "invalid dir node n" $ phasDataCS # directoryNodeCS # pfromData prevNodeUTxOF.value ] pif checks (self # (ptail # proofs) # csPairs # actualProgrammableTokenValue) @@ -350,6 +352,7 @@ mkProgrammableLogicGlobal = plam $ \protocolParamsCS ctx -> P.do infoF <- pletFields @'["inputs", "referenceInputs", "outputs", "signatories", "wdrl"] ctxF.txInfo let red = pfromData $ punsafeCoerce @_ @_ @(PAsData PProgrammableLogicGlobalRedeemer) (pto ctxF.redeemer) referenceInputs <- plet $ pfromData infoF.referenceInputs + -- Extract protocol parameter UTxO ptraceInfo "Extracting protocol parameter UTxO" @@ -367,7 +370,7 @@ mkProgrammableLogicGlobal = plam $ \protocolParamsCS ctx -> P.do progLogicCred <- plet protocolParamsF.progLogicCred ptraceInfo "Extracting invoked scripts" - invokedScripts <- plet $ + invokedScripts <- plet $ pmap @PBuiltinList # plam (\wdrlPair -> let cred = pfstBuiltin # wdrlPair @@ -393,13 +396,8 @@ mkProgrammableLogicGlobal = plam $ \protocolParamsCS ctx -> P.do pvalidateConditions [ pisRewarding ctxF.scriptInfo - , pcheckTransferLogic - # protocolParamsF.directoryNodeCS - # referenceInputs - # pfromData proofs - # invokedScripts - # totalProgTokenValue_ - , pvalueContains # (pvalueToCred # progLogicCred # pfromData infoF.outputs) # totalProgTokenValue_ + , ptraceInfoIfFalse "prog tokens escape" $ + pvalueContains # (pvalueToCred # progLogicCred # pfromData infoF.outputs) # totalProgTokenValue_ ] PSeizeAct seizeAct -> P.do -- TODO: diff --git a/src/lib/SmartTokens/LinkedList/SpendBlacklist.hs b/src/lib/SmartTokens/LinkedList/SpendBlacklist.hs new file mode 100644 index 0000000..d0fa133 --- /dev/null +++ b/src/lib/SmartTokens/LinkedList/SpendBlacklist.hs @@ -0,0 +1,28 @@ +{-# LANGUAGE AllowAmbiguousTypes #-} +{-# LANGUAGE FlexibleInstances #-} +{-# LANGUAGE OverloadedRecordDot #-} +{-# LANGUAGE OverloadedStrings #-} +{-# LANGUAGE QualifiedDo #-} +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TypeApplications #-} +{-# LANGUAGE UndecidableInstances #-} + +module SmartTokens.LinkedList.SpendBlacklist (pmkBlacklistSpending) where + +import Plutarch.Builtin (pasConstr, pforgetData) +import Plutarch.Core.Utils (phasDataCS, pvalidateConditions) +import Plutarch.LedgerApi.V3 (PCurrencySymbol, PScriptContext, PScriptInfo) +import Plutarch.Monadic qualified as P +import Plutarch.Prelude + +pisSpendingPurpose :: Term s (PAsData PScriptInfo) -> Term s PBool +pisSpendingPurpose term = (pfstBuiltin # (pasConstr # pforgetData term)) #== 1 + +pmkBlacklistSpending :: ClosedTerm (PAsData PCurrencySymbol :--> PScriptContext :--> PUnit) +pmkBlacklistSpending = plam $ \blacklistMP ctx -> P.do + ctxF <- pletFields @'["txInfo", "scriptInfo"] ctx + infoF <- pletFields @'["mint"] ctxF.txInfo + pvalidateConditions + [ ptraceInfoIfFalse "Must mint blacklist cs" $ phasDataCS # blacklistMP # pfromData infoF.mint + , ptraceInfoIfFalse "Expects spending purpose" $ pisSpendingPurpose ctxF.scriptInfo + ] diff --git a/src/lib/SmartTokens/Types/PTokenDirectory.hs b/src/lib/SmartTokens/Types/PTokenDirectory.hs index 4eb18e6..9f4456f 100644 --- a/src/lib/SmartTokens/Types/PTokenDirectory.hs +++ b/src/lib/SmartTokens/Types/PTokenDirectory.hs @@ -27,10 +27,10 @@ module SmartTokens.Types.PTokenDirectory ( import Generics.SOP qualified as SOP import Plutarch (Config (NoTracing)) -import Plutarch.Builtin (pasList, pforgetData, plistData) +import Plutarch.Builtin (pasByteStr, pasConstr, pasList, pforgetData, plistData) import Plutarch.Core.PlutusDataList (DerivePConstantViaDataList (..), PlutusTypeDataList, ProductIsData (..)) -import Plutarch.Core.Utils (pheadSingleton, pmkBuiltinList) +import Plutarch.Core.Utils (pcond, pheadSingleton, pmkBuiltinList) import Plutarch.DataRepr (PDataFields) import Plutarch.DataRepr.Internal (DerivePConstantViaData (..)) import Plutarch.DataRepr.Internal.Field (HRec (..), Labeled (Labeled)) @@ -217,7 +217,7 @@ isHeadNode = plam $ \node -> isTailNode :: ClosedTerm (PAsData PDirectorySetNode :--> PBool) isTailNode = plam $ \node -> - pfield @"next" # node #== pemptyCSData + pfield @"next" # node #== ptailNextData {-| @@ -254,12 +254,6 @@ pisInsertedOnNode = phoistAcyclic $ let expectedDirectoryNode = pmkDirectorySetNode # coveringKey # insertedKey # transferLogicCred # issuerLogicCred in outputNode #== expectedDirectoryNode --- pisInsertedNode :: ClosedTerm (PAsData PByteString :--> PAsData PByteString :--> PAsData PCredential :--> PAsData PCredential :--> PAsData PDirectorySetNode :--> PBool) --- pisInsertedNode = phoistAcyclic $ --- plam $ \insertedKey coveringNext transferLogicCred issuerLogicCred outputNode -> --- let expectedDirectoryNode = pmkDirectorySetNode # insertedKey # coveringNext # transferLogicCred # issuerLogicCred --- in outputNode #== expectedDirectoryNode - pisInsertedNode :: ClosedTerm (PAsData PByteString :--> PAsData PByteString :--> PAsData PDirectorySetNode :--> PBool) pisInsertedNode = phoistAcyclic $ plam $ \insertedKey coveringNext outputNode -> @@ -267,13 +261,28 @@ pisInsertedNode = phoistAcyclic $ let transferLogicCred_ = outputNodeDatumF.transferLogicScript issuerLogicCred_ = outputNodeDatumF.issuerLogicScript expectedDirectoryNode = - pmkDirectorySetNode # insertedKey # coveringNext # transferLogicCred_ # issuerLogicCred_ + pmkDirectorySetNode # insertedKey # coveringNext # pdeserializeCredential transferLogicCred_ # pdeserializeCredential issuerLogicCred_ + in outputNode #== expectedDirectoryNode -- TODO (jm): Uncommenting the following line results in an error. This is spdeserializeCredential trange because the check below -- asserts that the 'key' and 'next' fields of 'outputnode' are equal to what we expect, and the other two -- fields (transferLogicScript, issuerLogicScript) should also be equal when we construct the 'expectedDirectoryNode' - in ptraceInfo (pshow $ pmkBuiltinList [pforgetData expectedDirectoryNode]) $ outputNode #== expectedDirectoryNode - - -- in pforgetData insertedKey #== pforgetData outputNodeDatumF.key - -- #&& pforgetData coveringNext #== pforgetData ptailNextData + -- in ptraceInfo (pshow $ pmkBuiltinList [pforgetData expectedDirectoryNode]) $ outputNode #== expectedDirectoryNode + + -- -- in pforgetData insertedKey #== pforgetData outputNodeDatumF.key + -- -- #&& pforgetData coveringNext #== pforgetData ptailNextData + +pdeserializeCredential :: Term s (PAsData PCredential) -> Term s (PAsData PCredential) +pdeserializeCredential term = + plet (pasConstr # pforgetData term) $ \constrPair -> + plet (pfstBuiltin # constrPair) $ \constrIdx -> + pif (plengthBS # (pasByteStr # (pheadSingleton # (psndBuiltin # constrPair))) #== 28) + ( + pcond + [ ( constrIdx #== 0 , term) + , ( constrIdx #== 1 , term) + ] + perror + ) + perror diff --git a/src/lib/Wst/Offchain/Endpoints/Deployment.hs b/src/lib/Wst/Offchain/Endpoints/Deployment.hs index ba9d76a..45c7f07 100644 --- a/src/lib/Wst/Offchain/Endpoints/Deployment.hs +++ b/src/lib/Wst/Offchain/Endpoints/Deployment.hs @@ -89,10 +89,11 @@ issueProgrammableTokenTx issueTokenArgs assetName quantity = do BuildTx.addScriptWithdrawal hsh 0 $ BuildTx.buildScriptWitness (BuildTx.intaMintingLogic issueTokenArgs) C.NoScriptDatumForStake () pure (Convex.CoinSelection.signBalancedTxBody [] tx) -deployBlacklistTx :: (MonadReader env m, Env.HasOperatorEnv era env, MonadBlockchain era m, MonadError (AppError era) m, C.IsBabbageBasedEra era, C.HasScriptLanguageInEra C.PlutusScriptV3 era) => m (C.Tx era) +deployBlacklistTx :: (MonadReader env m, Env.HasOperatorEnv era env, MonadBlockchain era m, MonadError (AppError era) m, C.IsBabbageBasedEra era, C.HasScriptLanguageInEra C.PlutusScriptV3 era, Env.HasDirectoryEnv env) => m (C.Tx era) deployBlacklistTx = do opEnv <- asks Env.operatorEnv - (tx, _) <- Env.withEnv $ Env.withOperator opEnv $ Env.withTransferFromOperator + dirEnv <- asks Env.directoryEnv + (tx, _) <- Env.withEnv $ Env.withOperator opEnv $ Env.withDirectory dirEnv $ Env.withTransferFromOperator $ Env.balanceTxEnv_ BuildTx.initBlacklist pure (Convex.CoinSelection.signBalancedTxBody [] tx) diff --git a/src/lib/Wst/Offchain/Env.hs b/src/lib/Wst/Offchain/Env.hs index da59664..13a1015 100644 --- a/src/lib/Wst/Offchain/Env.hs +++ b/src/lib/Wst/Offchain/Env.hs @@ -242,8 +242,8 @@ instance HasTransferLogicEnv TransferLogicEnv where {-| The 'TransferLogicEnv' with scripts that allow the given payment credential to manage the blacklist and issue / burn tokens -} -mkTransferLogicEnv :: C.Hash C.PaymentKey -> TransferLogicEnv -mkTransferLogicEnv cred = +mkTransferLogicEnv :: C.PaymentCredential -> C.Hash C.PaymentKey -> TransferLogicEnv +mkTransferLogicEnv progLogicBaseCred cred = let blacklistMinting = blacklistMintingScript cred blacklistPolicy = scriptPolicyIdV3 blacklistMinting in @@ -251,7 +251,7 @@ mkTransferLogicEnv cred = { tleBlacklistMintingScript = blacklistMinting , tleBlacklistSpendingScript = blacklistSpendingScript cred , tleMintingScript = permissionedTransferScript cred - , tleTransferScript = freezeTransferScript blacklistPolicy + , tleTransferScript = freezeTransferScript progLogicBaseCred blacklistPolicy , tleIssuerScript = permissionedTransferScript cred } @@ -355,14 +355,15 @@ withTransfer dir action = do asks (addTransferEnv dir) >>= runReaderT action -withTransferFor :: MonadReader (CombinedEnv o d t r era) m => C.Hash C.PaymentKey -> ReaderT (CombinedEnv o d Identity r era) m a -> m a -withTransferFor = withTransfer . mkTransferLogicEnv +withTransferFor :: MonadReader (CombinedEnv o d t r era) m => C.PaymentCredential -> C.Hash C.PaymentKey -> ReaderT (CombinedEnv o d Identity r era) m a -> m a +withTransferFor plbBaseCred opPKH = withTransfer $ mkTransferLogicEnv plbBaseCred opPKH -withTransferFromOperator :: MonadReader (CombinedEnv Identity d t r era) m => ReaderT (CombinedEnv Identity d Identity r era) m a -> m a +withTransferFromOperator :: (MonadReader (CombinedEnv Identity Identity t r era) m) => ReaderT (CombinedEnv Identity Identity Identity r era) m a -> m a withTransferFromOperator action = do env <- ask let opPkh = fst . bteOperator . operatorEnv $ env - runReaderT action (addTransferEnv (mkTransferLogicEnv opPkh) env) + programmableBaseLogicCred = programmableLogicBaseCredential . directoryEnv $ env + runReaderT action (addTransferEnv (mkTransferLogicEnv programmableBaseLogicCred opPkh) env) {-| Add a 'DirectoryEnv' for the 'C.TxIn' in to the environment and run the action with the modified environment diff --git a/src/lib/Wst/Offchain/Scripts.hs b/src/lib/Wst/Offchain/Scripts.hs index a5e71a1..4e87844 100644 --- a/src/lib/Wst/Offchain/Scripts.hs +++ b/src/lib/Wst/Offchain/Scripts.hs @@ -109,9 +109,9 @@ permissionedTransferScript cred = let script = tryCompile prodConfig $ mkPermissionedTransfer # pdata (pconstant $ transPubKeyHash cred) in C.PlutusScriptSerialised $ serialiseScript script -freezeTransferScript :: C.PolicyId -> C.PlutusScript C.PlutusScriptV3 -freezeTransferScript blacklistPolicyId = - let script = tryCompile prodConfig $ mkFreezeAndSeizeTransfer # pdata (pconstant $ transPolicyId blacklistPolicyId) +freezeTransferScript :: C.PaymentCredential -> C.PolicyId -> C.PlutusScript C.PlutusScriptV3 +freezeTransferScript progLogicBaseSpndingCred blacklistPolicyId = + let script = tryCompile prodConfig $ mkFreezeAndSeizeTransfer # pdata (pconstant $ transCredential progLogicBaseSpndingCred) # pdata (pconstant $ transPolicyId blacklistPolicyId) in C.PlutusScriptSerialised $ serialiseScript script blacklistMintingScript :: C.Hash C.PaymentKey -> C.PlutusScript C.PlutusScriptV3 diff --git a/src/wst-poc.cabal b/src/wst-poc.cabal index ac1b2bd..ca4cca4 100644 --- a/src/wst-poc.cabal +++ b/src/wst-poc.cabal @@ -63,6 +63,7 @@ library SmartTokens.Core.Scripts SmartTokens.LinkedList.Common SmartTokens.LinkedList.MintDirectory + SmartTokens.LinkedList.SpendBlacklist SmartTokens.LinkedList.SpendDirectory SmartTokens.Types.Constants SmartTokens.Types.ProtocolParams