plutus.json

{
  "preamble": {
    "title": "ctf/multisig_treasury_v2",
    "description": "Aiken contracts for project 'ctf/multisig_treasury_v2'",
    "version": "0.0.0",
    "plutusVersion": "v2",
    "license": "GPL-3.0"
  },
  "validators": [
    {
      "title": "multisig.multisig",
      "datum": {
        "title": "datum",
        "schema": {
          "$ref": "#/definitions/types~1MultisigDatum"
        }
      },
      "redeemer": {
        "title": "redeemer",
        "schema": {
          "$ref": "#/definitions/types~1MultisigRedeemer"
        }
      },
      "parameters": [
        {
          "title": "validation_token_policy",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        },
        {
          "title": "treasury_validator_hash",
          "schema": {
            "$ref": "#/definitions/ByteArray"
          }
        }
      ],
      "compiledCode": "590c4f010000323232323232323232322322322223232323232533300f3232323232323232323232323232323232323232323253330253370e900118120008991919299981419b873330013756600c604c600c604c00e04800490010991919191919191919299981899b874800000c54ccc0c4cdc3803240042a66606266e1c0152000153330313370e00890010a99981899b8732330090012323253330353370e9001000899251303300214a0606600260286062602860620026601203a460206060002900209991191980080080191299981c8008a50132325333037300500214a2266008008002607a0046eb8c0ec004dd61800981781511980180a0008a998192481254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400161533032491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400161533032491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400161533032491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e74001613253330323370e90001818800899191919299981b19b8748010c0d40044c8c8c94ccc0e4cdc39998091bab301730370060350134800854ccc0e4cdc3807240042a66607266e1c0352002153330393370e6eb4c068c0dc008dd6980d181b8190a99981c99baf3017303700230173037032153330393375e600a606e004600a606e0642a666072646466e20c004dd61805981c81a18009bac300b3039004300100122533303f0011480004cdc0240046600400460840022666664444464646464a6660840082a6660840062a666084004200229405280a5033008006253330423301300800114a226602600a0026600e00a46602400a0026600c00a46602200a0026600a006466e1cc8ccc00400401520002225333046002100113330030033049002332253330443371e00400c266e0000520021001375c609000400290011119198008008019129998208008a5113232533303f300500213300400400114a0608a0046eb8c10c004dd61804981b8191bac300930370023758600a606e06403629405280a5014a029405280a9981d249254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e740016302c001303d0013034001153303749012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016300130330022303b303c303c00130390013030001153303349012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163301101a23375e01e602660600024606e60706070607000244646600200200644a66606e00229404c8c94ccc0d4cdc78010028a51133004004001303b002375c6072002605a04c66446600c00446464a66606466e1d20000011324a06060004266e3c010dd7181c1818001181800098089817180898170009980280c9180618160008139980100a804998009980180b9180518150008041119801801119baf002300e302b0012232333001001003480008894ccc0c800840044ccc00c00cc0d4008cc894ccc0c0c0180084cdc0000a40042002606800400244646600200200644a666060002297ae01330313003303200133002002303300115330294901254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e74001622232332232533302e3370e9001000880109bad3034302c003302c00232533302c3370e90010008a6103d87a8000132323300100100222533303300114c103d87a800013232323253330333371e014004266e95200033038375000297ae0133006006003375a606a0066eb8c0cc008c0dc008c0d4004dd5981918150011815000a4000646600200200844a6660600022980103d87a800013232323253330303371e010004266e95200033035374c00297ae0133006006003375660640066eb8c0c0008c0d0008c0c8004dd7181600098118008a9981324812a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016300530223005302230023022003300430213001302100223029302a00153330213370e900118100078991919299981219b8748000c08c0044c0a8c08800454cc0952412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300300f23375e004600a60440026050002603e01e2a660449212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001622323300100100322533302800114c0103d87a8000132325333026300500213374a90001981580125eb804cc010010004c0b0008c0a80048c098004dd6181200098120009811800981100098108009810000980f8011bac301d001301d001301c00237586034002602200660300026030004602c002601a00c2930b19299980799b874800000454ccc04cc03401c526153301049011d4578706563746564206e6f206669656c647320666f7220436f6e73747200161533300f3370e90010008a99980998068038a4c2a6602092011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330104912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d0063001006232533300e3370e900000089919191919191919299980d180e801099191924c6601a00646eb8004cc0300108dd700099299980b99b87480000044c8c8c8c94ccc07cc0880084c8c92632533301d3370e9000000899192999811981300109924c64a66604066e1d20000011323253330263029002132498c06000454cc08d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163027001301e002153330203370e90010008991919191919299981518168010a4c2a6604e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a605600260560046eb4c0a4004c0a4008dd69813800980f0010a99810a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301e00115330204901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163024001301b0031533301d3370e90010008a999810980d8018a4c2a6603c92011d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153301e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301b0023011003153301c491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e206578706563746564001630200013020002301e001301500615330184912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301500515330174901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758603600260360046eb0c064004c064008c05c004c05c008dd6980a80098060010a99807a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300c00122323300100100322533301300114984c8cc00c00cc05c008c00cc0540048c94ccc030cdc3a400000226464a666024602a0042930a99807a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a66601866e1d20020011323253330123015002149854cc03d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c602600260140042a6601a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300a001375c0026eb80048c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "c43bbb48f36e619898b838f0b02694597dc022de089cf8816f959b60"
    },
    {
      "title": "treasury.treasury",
      "datum": {
        "title": "treasury_input_datum",
        "schema": {
          "$ref": "#/definitions/types~1TreasuryDatum"
        }
      },
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "590a9e01000032323232323232323232222323232533300932323232323232323232323232323253330183370e9000180b8008991919299980d99b8748000c0680044c8c8c8c94ccc07ccdc3a4008603c002264646464a66604666e1d20043022001132323232323232533302a3370e6002646600200203a44a666060002297ae01330313017302a30320013300200230330014801054ccc0a8cdc3980080ca40042a6660540042a66605466646444a66605c66e1cc00c008c00c0044c8cc00400400c894ccc0d0004528899192999819191980080080311299981c0008a501323253330363371e00400c29444cc010010004c0f0008dd7181d0008998020020008a503038002375c606c0022a6605e921254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e74001630010012253330300011480004cdc0240046600400460660026eb0c034c0a009cdd61818181898189818981400509991191980080080e1129998190008a5013232533303053330303375e603c605c00400c266e24014c028dd5980d98170010a5014a2266008008002606c0046068002602a60500146eb4c060c0a00285280a5014a029408c8ccc004004009200022253330310021001133300300330340023322533302f323253330313370e9001000899251302f00214a0605e002603a605a603a605a004266e000052002100130330020015333028337129040497a008008a99981419b89375a602c604c008002264a66605266ebcc030c09c098c030c09c01454ccc0a4cdc49bad30173027026337006eb4c05cc09c0140044cdc79bae30143027026375c6028604e00a29405281bad3016302600814a02940c004dd598091812805919199119299981599b874800800440084dd698189814801981480119299981499b87480080045300103d87a8000132323300100100222533303000114c103d87a800013232323253330303371e9110000213374a90001981a9ba80014bd700998030030019bad3032003375c6060004606800460640026eacc0bcc09c008c09c0052000323300100100222533302d00114c0103d87a8000132323232533302d3371e9110000213374a9000198191ba60014bd700998030030019bab302f003375c605a0046062004605e002603c002605400260420022a6604892012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163005302000633223253330243370e90000008991919191919191929998181819801099191924c6605000646eb8004cc09c0108dd700099299981699b87480000044c8c8c8c94ccc0d4c0e00084c8c9263253330333370e900000089919299981c981e00109924c64a66606c66e1d200000113232533303c303f002132498c05c00454cc0e52401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303d0013034002153330363370e90010008991919191919299982018218010a4c2a6607a9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608200260820046eb4c0fc004c0fc008dd6981e800981a0010a9981ba4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303400115330364901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303a0013031003153330333370e90010008a99981b98188018a4c2a6606892011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330344912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303100230100031533032491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303600130360023034001302b006153302e4912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302b005153302d4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758606200260620046eb0c0bc004c0bc008c0b4004c0b4008dd6981580098110010a99812a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302200123253330233370e900000089919299981498160010a4c2a6604c921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c605400260420042a66604666e1d2002001132325333029302c002149854cc0992401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c605400260420042a660489212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630210010013026001301d00115330204912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163001301c3009301c005230243025302500130220013019001153301c49012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300700923375e00a60126032002603e002602c0022a660329212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330040092323232533301b3370e9001000899b8f003375c604260320042940c064004c01cc05cc01cc05cc010c05c008dd71801980b00a9802180a1800980a0011180e180e800a99980a19b8748008c04c0204c8c8c94ccc05ccdc3a4000602c0022603a602a0022a6603092012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300300823375e004600a602a002603600260240102a6602a9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001622323300100100322533301b00114c0103d87a8000132325333019300500213374a90001980f00125eb804cc010010004c07c008c0740048c064004dd6180b800980b800980b0011bac3014001300b0033012001301200230100013007004149858c0040148c94ccc024cdc3a40000022646464646464a666026602c004264931980480091bae0011533010491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758602800260280046eb8c048004c048008dd6980800098038010a9980524812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300700122323300100100322533300e00114984c8cc00c00cc048008c00cc0400048c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba21",
      "hash": "5fa8061750dda0583441dab437f3e760faa5d2324b4bc75c4a44e2b7"
    },
    {
      "title": "validation_token.multisig_validation",
      "redeemer": {
        "title": "_redeemer",
        "schema": {
          "$ref": "#/definitions/Void"
        }
      },
      "compiledCode": "5908c8010000323232323232323232322253330053232323253330093370e9000180400089919191919191919191919191919191919299980f181080109919299980e19b87480080044c94ccc074cdc39919980080080824000444a66604800420022666006006604e0046644a6660446464a66604866e1d20020011324a260440042940c088004c018c080c018c0800084cdc0000a40042002604c00400290010991929998119813001099299981019b8748010c07c0044c8c8c94ccc08ccc88c8cc00400400c894ccc0ac00452889919299981499198008008031129998178008a5013232533302d3371e00400c29444cc010010004c0cc008dd718188008998020020008a50302f002375c605a0026eb0c0a4c0a8c0a8c0a8c0840080344cdc399991119199119299981519b874800800440084dd698181814001981400119299981419b87480080045300103d87a8000132323300100100222533302f00114c103d87a8000132323232533302f3371e014004266e95200033034375000297ae0133006006003375a60620066eb8c0bc008c0cc008c0c4004dd5981718130011813000a40006601e0060046eacc0a4c0a8c08401406402520021533024491254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e7400163323223253330263370e9000000899191919191919192999819181a801099191924c6601a00646eb8004cc0300108dd700099299981799b87480000044c8c8c8c94ccc0dcc0e80084c8c9263253330353370e900000089919299981d981f00109924c64a66607066e1d200000113232533303e3041002132498c06000454cc0ed241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303f0013036002153330383370e90010008991919191919299982118228010a4c2a6607e9201334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608600260860046eb4c104004c104008dd6981f800981b0010a9981ca4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303600115330384901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303c0013033003153330353370e90010008a99981c98198018a4c2a6606c92011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330364912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016303300230110031533034491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016303800130380023036001302d00615330304912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302d005153302f4901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758606600260660046eb0c0c4004c0c4008c0bc004c0bc008dd6981680098120010a99813a4812b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016302400122323300100100322533302b00114984c8cc00c00cc0bc008c00cc0b40048c94ccc090cdc3a400000226464a666054605a0042930a99813a481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c605600260440042a66604866e1d200200113232533302a302d002149854cc09d2401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c605600260440042a6604a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e74001630220010013027001301e00115330214912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016302530263026301d00115330204901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163024001323300100101022533302300114bd700991929998109919299981199b87480080044cdc79bae3029302100200914a06042002600a603e600a603e00426604c00466008008002266008008002604e004604a0022a6603c9201254578706563746564206f6e20696e636f727265637420626f6f6c65616e2076617269616e740016230230011533301c3370e90008008a5114a06eb4c078008dd7180e0008a9980da481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016301f00132332232533301c3370e9001000880109bab3022301a003301a0023300200100f4bd6f7b630191980080080411299980f0008a5eb7bdb1804c8c8c8c94ccc078cdc7a45000021003133023337606ea4008dd3000998030030019bab3020003375c603c0046044004604000244646600200200644a66603e0022980103d87a8000132323232533301f3371e00e004266e95200033024374c00297ae0133006006003375660420066eb8c07c008c08c008c084004dd6180e000980e000980d800980d000980c8011bab3017001301700130160023758602800260280026026002601200a6eb8c040004c01c00454cc02924012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016300e001300e002300c00130030011498588c018dd5000918021baa0015734ae7155ceaab9e5573eae815d0aba201",
      "hash": "559e5c8a7000ffd7856dcfc5b0acc0ae76dcf4fd358c07d49c9f7a97"
    }
  ],
  "definitions": {
    "ByteArray": {
      "dataType": "bytes"
    },
    "Int": {
      "dataType": "integer"
    },
    "List$ByteArray": {
      "dataType": "list",
      "items": {
        "$ref": "#/definitions/ByteArray"
      }
    },
    "Option$aiken/transaction/credential/Referenced$aiken/transaction/credential/Credential": {
      "title": "Optional",
      "anyOf": [
        {
          "title": "Some",
          "description": "An optional value.",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/aiken~1transaction~1credential~1Referenced$aiken~1transaction~1credential~1Credential"
            }
          ]
        },
        {
          "title": "None",
          "description": "Nothing.",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "Void": {
      "title": "Unit",
      "description": "The nullary constructor.",
      "anyOf": [
        {
          "dataType": "constructor",
          "index": 0,
          "fields": []
        }
      ]
    },
    "aiken/transaction/credential/Address": {
      "title": "Address",
      "description": "A Cardano `Address` typically holding one or two credential references.\n\n Note that legacy bootstrap addresses (a.k.a. 'Byron addresses') are\n completely excluded from Plutus contexts. Thus, from an on-chain\n perspective only exists addresses of type 00, 01, ..., 07 as detailed\n in [CIP-0019 :: Shelley Addresses](https://github.com/cardano-foundation/CIPs/tree/master/CIP-0019/#shelley-addresses).",
      "anyOf": [
        {
          "title": "Address",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "payment_credential",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            },
            {
              "title": "stake_credential",
              "$ref": "#/definitions/Option$aiken~1transaction~1credential~1Referenced$aiken~1transaction~1credential~1Credential"
            }
          ]
        }
      ]
    },
    "aiken/transaction/credential/Credential": {
      "title": "Credential",
      "description": "A general structure for representing an on-chain `Credential`.\n\n Credentials are always one of two kinds: a direct public/private key\n pair, or a script (native or Plutus).",
      "anyOf": [
        {
          "title": "VerificationKeyCredential",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        },
        {
          "title": "ScriptCredential",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "$ref": "#/definitions/ByteArray"
            }
          ]
        }
      ]
    },
    "aiken/transaction/credential/Referenced$aiken/transaction/credential/Credential": {
      "title": "Referenced",
      "description": "Represent a type of object that can be represented either inline (by hash)\n or via a reference (i.e. a pointer to an on-chain location).\n\n This is mainly use for capturing pointers to a stake credential\n registration certificate in the case of so-called pointer addresses.",
      "anyOf": [
        {
          "title": "Inline",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
            }
          ]
        },
        {
          "title": "Pointer",
          "dataType": "constructor",
          "index": 1,
          "fields": [
            {
              "title": "slot_number",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "transaction_index",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "certificate_index",
              "$ref": "#/definitions/Int"
            }
          ]
        }
      ]
    },
    "types/MultisigDatum": {
      "title": "MultisigDatum",
      "anyOf": [
        {
          "title": "MultisigDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "release_value",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "beneficiary",
              "$ref": "#/definitions/aiken~1transaction~1credential~1Address"
            },
            {
              "title": "required_signers",
              "$ref": "#/definitions/List$ByteArray"
            },
            {
              "title": "signed_users",
              "$ref": "#/definitions/List$ByteArray"
            }
          ]
        }
      ]
    },
    "types/MultisigRedeemer": {
      "title": "MultisigRedeemer",
      "anyOf": [
        {
          "title": "Use",
          "dataType": "constructor",
          "index": 0,
          "fields": []
        },
        {
          "title": "Sign",
          "dataType": "constructor",
          "index": 1,
          "fields": []
        }
      ]
    },
    "types/TreasuryDatum": {
      "title": "TreasuryDatum",
      "anyOf": [
        {
          "title": "TreasuryDatum",
          "dataType": "constructor",
          "index": 0,
          "fields": [
            {
              "title": "value",
              "$ref": "#/definitions/Int"
            },
            {
              "title": "multisig_hash",
              "$ref": "#/definitions/ByteArray"
            },
            {
              "title": "owners",
              "$ref": "#/definitions/List$ByteArray"
            }
          ]
        }
      ]
    }
  }
}