-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathplutus.json
518 lines (518 loc) · 35.9 KB
/
plutus.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
{
"preamble": {
"title": "aiken-lang/staking",
"description": "Aiken contracts for project 'aiken-lang/staking'",
"version": "0.0.0",
"plutusVersion": "v2",
"compiler": {
"name": "Aiken",
"version": "v1.0.21-alpha+4b04517"
},
"license": "Apache-2.0"
},
"validators": [
{
"title": "stakinator3000.conditional_spend",
"datum": {
"title": "state",
"schema": {
"$ref": "#/definitions/stakinator3000~1State"
}
},
"redeemer": {
"title": "rdr",
"schema": {
"$ref": "#/definitions/RedeemerWrapper$Data"
}
},
"parameters": [
{
"title": "init_input",
"schema": {
"$ref": "#/definitions/aiken~1transaction~1OutputReference"
}
}
],
"compiledCode": "59162401000032323232323232323222253330063370e900018028008a9998031919191919191919191919191919191919191919191919299980e99b87480000144c8c8c8c8c94ccc09400c5280991919191919299981419b87480080084c94ccc0a40044c8c8c8c8c94ccc0b8cdd79809181600199ba548008cc0c8dd480825eb8054ccc0b8cdc39998098008082441004800854ccc0b8cc05408c8cdd79809981680081609999980600480f80699ba548008cc0c8dd480825eb800405280a5014a06eacc0c8004c0c8008c0c0004c0a0004c0b8068018cdc7800a44100005375c60500066eb4c0a0008c0ac018c0a40144ccccc004010050008cdd2a40046604e6ea40152f5c000a44444646600200200c44a66605800229444c8c8c8c94ccc0b4cdc3800a40042a66605a66e3c02400854ccc0b4cc0500288c8c8c8c8c8c94ccc0d0cdd7980c18190028078a99981a19b8733301900300e4881004800854ccc0d0cdc3a4008606600226464a66606c66e1d200030350011323232323232533303f30420021533303c3370e9002181d8028991929998209822001099b8f00101a16375c6084002607400a2c2c60800026080004607c002607c004607800260680022c607400260640022c2940528181c000981c0011bab303600130360023034001302c00113300600600316161533302d3370e00290008998030030018a50375a605c0066eb8c0b0008c0c0008c0b8004dca1bb33005301f001302501532323253330223370e90010008a5eb7bdb1804dd59813981000118100009980300080119198008008071129998120008a5eb7bdb1804c8c8c8c94ccc094cdc7a441000021003133029337606ea4008dd3000998030030019bab3026003375c60480046050004604c0026eb8c08c004c06c0504c94ccc078cdc3a400800c26464a66604066e1d2000301f0011323253330223370e90011810800899191929998129980600d0008a511323253330273370e900018130008991919191919191919299981819b8748010c0bc0044c8c94ccc0c8cdc3a400060620022646464646464a666076607c00426464a66607466e1d200000113232323300100102622533304100114a026464a66608066e3c00801452889980200200098228011bae3043001375c6080002607000e264a66607666e1d2002002132323232323253330413370e90001820000899b8733302637566048607e6048607e608c607e00200a00690010b1980d81a919baf3025303f00103d300503b375c608600260860046eb8c104004c0e40204c8c8c8c94ccc0fccdc3a4000607c00226464a66608266e1d2002304002013370e66604c6eacc090c0fcc090c0fc004dd71823181f810002a40042c608a002607a0022c66032066466ebcc08cc0f40040ecc00c0e4dd71820800981c804119299981e19b87480000044c8c8c8c94ccc10cc1180084c9263253330413370e900000089919299982318248010a4c2c6eb8c11c004c0fc01058c0fc00c58dd6982200098220011821000981d0010b181d000981c00319299981c99b87480000044c8c94ccc0f8c10400852616375c607e002606e00c2a66607266e1d200200113232323253330403043002149858dd7182080098208011bae303f0013037006153330393370e900200089919299981f18208010a4c2c6eb8c0fc004c0dc01858c0dc01458c0f0004c0f0008c0e8004c0e8008c0e0004c0c000458c0d8004c0b800458c0d0004c0d0004c0cc004c0a8004c0c0004c0c0004c09c004c0b4004c09400458cc00406400888c8cc00400400c894ccc0b0004530103d87a800013232533302b300500213374a90001981780125eb804cc010010004c0c0008c0b80048c94ccc098cdd79805181218051812000802899b8733300b3756601260480020069110048008528180418118009bae30280013020001163026001301e001163024001301c0151533301e3370e90030030991919299981099b87480100044c8c94ccc08ccdc3a4000604400226464a66604a66e1d20023024001132323300e01c23253330293375e601a604e601a604e00200a266e1cccc038dd598061813800801a450048008528180598130009bae302b00130230011630290013021001163027001301f002153330213370e900100089919299981199b8748000c0880044c8c94ccc094cdc3a40046048002264646601c038464a66605266ebcc034c09cc034c09c0040144cdc39998071bab300c30270010034890048008528180598130009bae302b00130230011630290013021001163027001301f00214a0603e0026048002603802a29408c08cc0900048c088004888c8c8c94ccc084cdc3a40040022900009bad3026301f002301f0013253330203370e90010008a60103d87a8000132323300100100222533302600114c103d87a800013232323253330273371e014004266e9520003302b375000297ae0133006006003375a60500066eb8c098008c0a8008c0a0004dd59812980f001180f000998020018011119198008008019129998108008a60103d87a800013232323253330223371e00e004266e95200033026374c00297ae0133006006003375660460066eb8c084008c094008c08c00488c8cc00400400c894ccc08000452809919299980f98028010a5113300400400130240023022001301700f3758603800260380026036002603400260320046eacc05c004c05c004c058008dd6180a000980a0011bac30120013012002375860200026010006601c002601c0046018002600800229309b2b09911919191919191919299980819191919299980a19b8748008c04c0044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0a4cdc3a4000605000226464646464646464646464a66606866e1d200230330011323232323232323232323232323253330423370e900118208018991919191919299982419b8748008c11c00c4c8c8c8c8c94ccc134c94ccc138cdc3a400000226464646600200205844a6660aa00229404c8c94ccc150cdc78010028a511330040040013059002375c60ae0026eb8c150004c13005c54ccc138cdc3a40040022646464646464a6660a866e1d2000305300113370e6660106eacc024c148c024c148c164c14800401400d2002163302d03c23375e605a60a400209c64a6660a666e1d2000001132323232533305a305d002132498c94ccc160cdc3a400000226464a6660ba60c00042930b1bae305e001305600416305600316375a60b600260b600460b200260a209a2c60a20986eb8c158004c158008dd7182a000982600b899b873330023004030019375c60a6609802e9000982600b0a99982699b8733300101c018488100480084c94ccc138c94ccc13ccdc3a40000022600460a8609a02c2a66609e66e1d2006001133304f30023054304d0164a09444c94ccc140cdc3a400400426660026eb0c154c13805d2880189998009bac3055304e0174a000644464666002002008006444a6660b000420022646464a6660b066e1d20000011323232533305b533305b0071001133305b0014a09444ccc02402401401c4004c024004c178004c15800c54ccc160cdc3a400c0022646464a6660b6a6660b600e200226660b6002941288999804804802803880099982d1804800a504a260bc00260ac0062a6660b066e1d20020011323232533305b533305b0071001133305b0014a09444ccc02402401401c4004ccc020020005289bac305e00130560031323232533305b533305b0071001133305b0014a09444ccc02402401401c4004ccc020020005281bac305e00130560033056002305c003305a002304d0151533304e3370e666004600806003291010048004528899299982799b8748000c1380044c8c8c8c8c8c94ccc154cdc3a400860a800226464a6660ae66e1d20003056001132323232323253330603063002132323253330603370e00866e0005c0044cdc4a41d0040022940cdc199b8101c016482807cc140010c15401458dd698308009830801182f800982f801182e800982a8008b182d80098298008b182c800982c800982c0009827800982a80098268008b198140199299982799baf3028304d00102013370e6660066eacc010c134004069220100480085280b119299982799b87480000044c8c8c8cdc3999803180401a0011bae3057001375a60ae60b000260ae0046eb8c154004c13400854ccc13ccdc3a400400226464a6660a266e2002000440285281bad3055001304d0021533304f3370e900200089919299982899b8800100e101014a06eb4c154004c1340084c8c8c8c8c8c8c94ccc158cdc3a400c0102660026eb0c16cc1500240fc54ccc158cdc3a40100102660026eb0c16cc1500240f454ccc158cdc3a401401026464646600200200444a6660ba00229444c8c8c94ccc174cc02c1080044cc014014008528180400118308011bac305f001375860b800260a801226464646600e072466ebc008004cdd2a4008660b866e9520003305c3374a90011982e1ba90234bd7025eb80cc170dd4800a5eb80dd7182e000982a00491191980080080191299982e0008a5113232533305b323300a006230023012305b001300700213300400400114a060c00046eb0c178004c004004894ccc1600044928899191919299982c99b87480000044c8c894ccc170cdd7981a982d000801098028008a50305f0013057004153330593370e900100089919191919191299983019b873330143756602a60bc00200c008004260120022940dd6983180098318011bae30610013061002375c60be00260ae0082a6660b266e1d200400113232322533305d3375e601860b60020042600c0022940cdd2a4008660be00297ae0305f0013057004153330593370e9003000899191299982e19baf3035305a3035305a0010021300500114a060be00260ae0082a6660b266e1d20080011323232322323253330603370e9002000899192999831191998008008010039112999834000899baf00200b13232323232533306a3370e90010008a501333008008306f3068002004306800133018001003375860d26466ec0dd418348009ba7306a001375400860d80046eb4c1a80044c02c0145281833000982f0010a50305e001300d305c001375860c200260c200460be00260ae00826464644a6660ba66ebcc030c16c0040084c01800452819ba548008cc17cdd4800a5eb80dd7182f800982b802182b80199802002000982e001182d00091191980080080191299982c8008a50132325333058300500214a226600800800260ba00460b6002460ae60b060b00026002002444a6660aa004298103d87a80001323253330543370e0069000099ba548000cc1600092f5c0266600a00a00266e0400d200230590033057002304d001161622232323253330523370e90010008a400026eb4c15cc140008c140004c94ccc144cdc3a4004002298103d87a8000132323300100100222533305700114c103d87a800013232323253330583371e014004266e9520003305c375000297ae0133006006003375a60b20066eb8c15c008c16c008c164004dd5982b18278011827800991980080080211299982a0008a6103d87a800013232323253330553371e010004266e95200033059374c00297ae0133006006003375660ac0066eb8c150008c160008c1580048c144c1480048c8cc004004008894ccc14000452f5bded8c0264646464a6660a266e3d2201000021003133055337606ea4008dd3000998030030019bab3052003375c60a000460a800460a40026eb4c138004c11800c58cdc3a400460906ea8c130004c130008c128004c108024dd6982400098200018b19b8748008c108dd5182300098230011822000981e000982100098210011820000981c00b981f000981f001181e000981a0191bae303a001303200116303800130300033756606c002606c00460680026058002606400260640026052002605e002604e0022c66004022466ebcc008c09c0040508c0b400488c8cc00400400c894ccc0b40045300103d87a800013232533302c300500213374a90001981800125eb804cc010010004c0c4008c0bc004dd6181500098150011814000981400098138011bac3025001302500237566046002604600260440046eb0c080004c080008dd6180f000980f0011bac301c0013014005301a001301200116301800130180023016001300e00914984d958c94ccc040cdc3a40000022646464646464a66603260380042646493180480218070028b1bad301a001301a002301800130180023016001300e00c16300e00b3001001223253330103370e900000089919299980a980c00109924c600c0022c602c002601c0042a66602066e1d20020011323253330153018002132498cc0200048cc01801800458dd6180b00098070010a99980819b87480100044c8c94ccc054c0600084c92633008001233006006001163758602c002601c0042a66602066e1d20060011323253330153018002132498c01800458c058004c03800858c0380048c94ccc038cdc3a40000022646464646464a66602e60340042930b1bad30180013018002375c602c002602c0046eb8c050004c03000854ccc038cdc3a400400226464a666026602c0042930b1bad3014001300c0021533300e3370e9002000899192999809980b0010a4c2c6eb4c050004c03000854ccc038cdc3a400c00226464a666026602c004264931980300091919804000918040009bac001163758602800260180042a66601c66e1d20080011323253330133016002132498cc0180048c8cc0200048c020004dd60008b1bac3014001300c0021533300e3370e9005000899192999809980b00109924c6600c00246466010002460100026eb000458dd6180a00098060010a99980719b87480300044c8c94ccc04cc05800852616375c602800260180042c6018002464a66601a66e1d20000011323253330123015002132498c94ccc040cdc3a4000002264646464a66602e6034004264649319299980b19b87480000044c8c94ccc06cc0780084c9263253330193370e900000089919299980f181080109924c60240022c603e002602e0042a66603266e1d2002001132323232323253330223025002149858dd6981180098118011bad30210013021002375a603e002602e0042c602e0022c603800260280062a66602c66e1d200200115333019301400314985858c050008c02c00c58c060004c060008c058004c03800858c03800458c04c004c02c00854ccc034cdc3a40040022646464646464a66602c60320042930b1bad30170013017002375c602a002602a0046eb8c04c004c02c00854ccc034cdc3a400800226464a666024602a0042930b180980098058010a99980699b87480180044c8c94ccc048c0540084c9263006001163013001300b0021533300d3370e9004000899191919299980a180b80109924c6600e00246eb400458dd6180a800980a801180980098058010a99980699b87480280044c8c94ccc048c05400852616375c602600260160042c601600244646600200200644a66602200229309919801801980a80118019809800919299980599b87480000044c8c94ccc040c04c00852616375c602200260120042a66601666e1d20020011323253330103013002149858dd7180880098048010b1804800919299980519b87480000044c8c94ccc03cc04800852616375c602000260100042a66601466e1d200200113232323253330113014002149858dd7180900098090011bae301000130080021533300a3370e900200089919299980798090010a4c2c6eb8c040004c02000858c020004c02cc0100048c014dd5000918019baa0015734aae7555cf2ab9f5740ae855d101",
"hash": "c54c3841b73364a026aed6378a471b94a631fbccd3a799eb0eb204cb"
},
{
"title": "stakinator3000.conditional_multi",
"redeemer": {
"title": "rdr",
"schema": {
"$ref": "#/definitions/Data"
}
},
"parameters": [
{
"title": "init_input",
"schema": {
"$ref": "#/definitions/aiken~1transaction~1OutputReference"
}
}
],
"compiledCode": "59162401000032323232323232323222253330063370e900018028008a9998031919191919191919191919191919191919191919191919299980e99b87480000144c8c8c8c8c94ccc09400c5280991919191919299981419b87480080084c94ccc0a40044c8c8c8c8c94ccc0b8cdd79809181600199ba548008cc0c8dd480825eb8054ccc0b8cdc39998098008082441004800854ccc0b8cc05408c8cdd79809981680081609999980600480f80699ba548008cc0c8dd480825eb800405280a5014a06eacc0c8004c0c8008c0c0004c0a0004c0b8068018cdc7800a44100005375c60500066eb4c0a0008c0ac018c0a40144ccccc004010050008cdd2a40046604e6ea40152f5c000a44444646600200200c44a66605800229444c8c8c8c94ccc0b4cdc3800a40042a66605a66e3c02400854ccc0b4cc0500288c8c8c8c8c8c94ccc0d0cdd7980c18190028078a99981a19b8733301900300e4881004800854ccc0d0cdc3a4008606600226464a66606c66e1d200030350011323232323232533303f30420021533303c3370e9002181d8028991929998209822001099b8f00101a16375c6084002607400a2c2c60800026080004607c002607c004607800260680022c607400260640022c2940528181c000981c0011bab303600130360023034001302c00113300600600316161533302d3370e00290008998030030018a50375a605c0066eb8c0b0008c0c0008c0b8004dca1bb33005301f001302501532323253330223370e90010008a5eb7bdb1804dd59813981000118100009980300080119198008008071129998120008a5eb7bdb1804c8c8c8c94ccc094cdc7a441000021003133029337606ea4008dd3000998030030019bab3026003375c60480046050004604c0026eb8c08c004c06c0504c94ccc078cdc3a400800c26464a66604066e1d2000301f0011323253330223370e90011810800899191929998129980600d0008a511323253330273370e900018130008991919191919191919299981819b8748010c0bc0044c8c94ccc0c8cdc3a400060620022646464646464a666076607c00426464a66607466e1d200000113232323300100102622533304100114a026464a66608066e3c00801452889980200200098228011bae3043001375c6080002607000e264a66607666e1d2002002132323232323253330413370e90001820000899b8733302637566048607e6048607e608c607e00200a00690010b1980d81a919baf3025303f00103d300503b375c608600260860046eb8c104004c0e40204c8c8c8c94ccc0fccdc3a4000607c00226464a66608266e1d2002304002013370e66604c6eacc090c0fcc090c0fc004dd71823181f810002a40042c608a002607a0022c66032066466ebcc08cc0f40040ecc00c0e4dd71820800981c804119299981e19b87480000044c8c8c8c94ccc10cc1180084c9263253330413370e900000089919299982318248010a4c2c6eb8c11c004c0fc01058c0fc00c58dd6982200098220011821000981d0010b181d000981c00319299981c99b87480000044c8c94ccc0f8c10400852616375c607e002606e00c2a66607266e1d200200113232323253330403043002149858dd7182080098208011bae303f0013037006153330393370e900200089919299981f18208010a4c2c6eb8c0fc004c0dc01858c0dc01458c0f0004c0f0008c0e8004c0e8008c0e0004c0c000458c0d8004c0b800458c0d0004c0d0004c0cc004c0a8004c0c0004c0c0004c09c004c0b4004c09400458cc00406400888c8cc00400400c894ccc0b0004530103d87a800013232533302b300500213374a90001981780125eb804cc010010004c0c0008c0b80048c94ccc098cdd79805181218051812000802899b8733300b3756601260480020069110048008528180418118009bae30280013020001163026001301e001163024001301c0151533301e3370e90030030991919299981099b87480100044c8c94ccc08ccdc3a4000604400226464a66604a66e1d20023024001132323300e01c23253330293375e601a604e601a604e00200a266e1cccc038dd598061813800801a450048008528180598130009bae302b00130230011630290013021001163027001301f002153330213370e900100089919299981199b8748000c0880044c8c94ccc094cdc3a40046048002264646601c038464a66605266ebcc034c09cc034c09c0040144cdc39998071bab300c30270010034890048008528180598130009bae302b00130230011630290013021001163027001301f00214a0603e0026048002603802a29408c08cc0900048c088004888c8c8c94ccc084cdc3a40040022900009bad3026301f002301f0013253330203370e90010008a60103d87a8000132323300100100222533302600114c103d87a800013232323253330273371e014004266e9520003302b375000297ae0133006006003375a60500066eb8c098008c0a8008c0a0004dd59812980f001180f000998020018011119198008008019129998108008a60103d87a800013232323253330223371e00e004266e95200033026374c00297ae0133006006003375660460066eb8c084008c094008c08c00488c8cc00400400c894ccc08000452809919299980f98028010a5113300400400130240023022001301700f3758603800260380026036002603400260320046eacc05c004c05c004c058008dd6180a000980a0011bac30120013012002375860200026010006601c002601c0046018002600800229309b2b09911919191919191919299980819191919299980a19b8748008c04c0044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0a4cdc3a4000605000226464646464646464646464a66606866e1d200230330011323232323232323232323232323253330423370e900118208018991919191919299982419b8748008c11c00c4c8c8c8c8c94ccc134c94ccc138cdc3a400000226464646600200205844a6660aa00229404c8c94ccc150cdc78010028a511330040040013059002375c60ae0026eb8c150004c13005c54ccc138cdc3a40040022646464646464a6660a866e1d2000305300113370e6660106eacc024c148c024c148c164c14800401400d2002163302d03c23375e605a60a400209c64a6660a666e1d2000001132323232533305a305d002132498c94ccc160cdc3a400000226464a6660ba60c00042930b1bae305e001305600416305600316375a60b600260b600460b200260a209a2c60a20986eb8c158004c158008dd7182a000982600b899b873330023004030019375c60a6609802e9000982600b0a99982699b8733300101c018488100480084c94ccc138c94ccc13ccdc3a40000022600460a8609a02c2a66609e66e1d2006001133304f30023054304d0164a09444c94ccc140cdc3a400400426660026eb0c154c13805d2880189998009bac3055304e0174a000644464666002002008006444a6660b000420022646464a6660b066e1d20000011323232533305b533305b0071001133305b0014a09444ccc02402401401c4004c024004c178004c15800c54ccc160cdc3a400c0022646464a6660b6a6660b600e200226660b6002941288999804804802803880099982d1804800a504a260bc00260ac0062a6660b066e1d20020011323232533305b533305b0071001133305b0014a09444ccc02402401401c4004ccc020020005289bac305e00130560031323232533305b533305b0071001133305b0014a09444ccc02402401401c4004ccc020020005281bac305e00130560033056002305c003305a002304d0151533304e3370e666004600806003291010048004528899299982799b8748000c1380044c8c8c8c8c8c94ccc154cdc3a400860a800226464a6660ae66e1d20003056001132323232323253330603063002132323253330603370e00866e0005c0044cdc4a41d0040022940cdc199b8101c016482807cc140010c15401458dd698308009830801182f800982f801182e800982a8008b182d80098298008b182c800982c800982c0009827800982a80098268008b198140199299982799baf3028304d00102013370e6660066eacc010c134004069220100480085280b119299982799b87480000044c8c8c8cdc3999803180401a0011bae3057001375a60ae60b000260ae0046eb8c154004c13400854ccc13ccdc3a400400226464a6660a266e2002000440285281bad3055001304d0021533304f3370e900200089919299982899b8800100e101014a06eb4c154004c1340084c8c8c8c8c8c8c94ccc158cdc3a400c0102660026eb0c16cc1500240fc54ccc158cdc3a40100102660026eb0c16cc1500240f454ccc158cdc3a401401026464646600200200444a6660ba00229444c8c8c94ccc174cc02c1080044cc014014008528180400118308011bac305f001375860b800260a801226464646600e072466ebc008004cdd2a4008660b866e9520003305c3374a90011982e1ba90234bd7025eb80cc170dd4800a5eb80dd7182e000982a00491191980080080191299982e0008a5113232533305b323300a006230023012305b001300700213300400400114a060c00046eb0c178004c004004894ccc1600044928899191919299982c99b87480000044c8c894ccc170cdd7981a982d000801098028008a50305f0013057004153330593370e900100089919191919191299983019b873330143756602a60bc00200c008004260120022940dd6983180098318011bae30610013061002375c60be00260ae0082a6660b266e1d200400113232322533305d3375e601860b60020042600c0022940cdd2a4008660be00297ae0305f0013057004153330593370e9003000899191299982e19baf3035305a3035305a0010021300500114a060be00260ae0082a6660b266e1d20080011323232322323253330603370e9002000899192999831191998008008010039112999834000899baf00200b13232323232533306a3370e90010008a501333008008306f3068002004306800133018001003375860d26466ec0dd418348009ba7306a001375400860d80046eb4c1a80044c02c0145281833000982f0010a50305e001300d305c001375860c200260c200460be00260ae00826464644a6660ba66ebcc030c16c0040084c01800452819ba548008cc17cdd4800a5eb80dd7182f800982b802182b80199802002000982e001182d00091191980080080191299982c8008a50132325333058300500214a226600800800260ba00460b6002460ae60b060b00026002002444a6660aa004298103d87a80001323253330543370e0069000099ba548000cc1600092f5c0266600a00a00266e0400d200230590033057002304d001161622232323253330523370e90010008a400026eb4c15cc140008c140004c94ccc144cdc3a4004002298103d87a8000132323300100100222533305700114c103d87a800013232323253330583371e014004266e9520003305c375000297ae0133006006003375a60b20066eb8c15c008c16c008c164004dd5982b18278011827800991980080080211299982a0008a6103d87a800013232323253330553371e010004266e95200033059374c00297ae0133006006003375660ac0066eb8c150008c160008c1580048c144c1480048c8cc004004008894ccc14000452f5bded8c0264646464a6660a266e3d2201000021003133055337606ea4008dd3000998030030019bab3052003375c60a000460a800460a40026eb4c138004c11800c58cdc3a400460906ea8c130004c130008c128004c108024dd6982400098200018b19b8748008c108dd5182300098230011822000981e000982100098210011820000981c00b981f000981f001181e000981a0191bae303a001303200116303800130300033756606c002606c00460680026058002606400260640026052002605e002604e0022c66004022466ebcc008c09c0040508c0b400488c8cc00400400c894ccc0b40045300103d87a800013232533302c300500213374a90001981800125eb804cc010010004c0c4008c0bc004dd6181500098150011814000981400098138011bac3025001302500237566046002604600260440046eb0c080004c080008dd6180f000980f0011bac301c0013014005301a001301200116301800130180023016001300e00914984d958c94ccc040cdc3a40000022646464646464a66603260380042646493180480218070028b1bad301a001301a002301800130180023016001300e00c16300e00b3001001223253330103370e900000089919299980a980c00109924c600c0022c602c002601c0042a66602066e1d20020011323253330153018002132498cc0200048cc01801800458dd6180b00098070010a99980819b87480100044c8c94ccc054c0600084c92633008001233006006001163758602c002601c0042a66602066e1d20060011323253330153018002132498c01800458c058004c03800858c0380048c94ccc038cdc3a40000022646464646464a66602e60340042930b1bad30180013018002375c602c002602c0046eb8c050004c03000854ccc038cdc3a400400226464a666026602c0042930b1bad3014001300c0021533300e3370e9002000899192999809980b0010a4c2c6eb4c050004c03000854ccc038cdc3a400c00226464a666026602c004264931980300091919804000918040009bac001163758602800260180042a66601c66e1d20080011323253330133016002132498cc0180048c8cc0200048c020004dd60008b1bac3014001300c0021533300e3370e9005000899192999809980b00109924c6600c00246466010002460100026eb000458dd6180a00098060010a99980719b87480300044c8c94ccc04cc05800852616375c602800260180042c6018002464a66601a66e1d20000011323253330123015002132498c94ccc040cdc3a4000002264646464a66602e6034004264649319299980b19b87480000044c8c94ccc06cc0780084c9263253330193370e900000089919299980f181080109924c60240022c603e002602e0042a66603266e1d2002001132323232323253330223025002149858dd6981180098118011bad30210013021002375a603e002602e0042c602e0022c603800260280062a66602c66e1d200200115333019301400314985858c050008c02c00c58c060004c060008c058004c03800858c03800458c04c004c02c00854ccc034cdc3a40040022646464646464a66602c60320042930b1bad30170013017002375c602a002602a0046eb8c04c004c02c00854ccc034cdc3a400800226464a666024602a0042930b180980098058010a99980699b87480180044c8c94ccc048c0540084c9263006001163013001300b0021533300d3370e9004000899191919299980a180b80109924c6600e00246eb400458dd6180a800980a801180980098058010a99980699b87480280044c8c94ccc048c05400852616375c602600260160042c601600244646600200200644a66602200229309919801801980a80118019809800919299980599b87480000044c8c94ccc040c04c00852616375c602200260120042a66601666e1d20020011323253330103013002149858dd7180880098048010b1804800919299980519b87480000044c8c94ccc03cc04800852616375c602000260100042a66601466e1d200200113232323253330113014002149858dd7180900098090011bae301000130080021533300a3370e900200089919299980798090010a4c2c6eb8c040004c02000858c020004c02cc0100048c014dd5000918019baa0015734aae7555cf2ab9f5740ae855d101",
"hash": "c54c3841b73364a026aed6378a471b94a631fbccd3a799eb0eb204cb"
}
],
"definitions": {
"ByteArray": {
"dataType": "bytes"
},
"Data": {
"title": "Data",
"description": "Any Plutus data."
},
"Int": {
"dataType": "integer"
},
"List$Int": {
"dataType": "list",
"items": {
"$ref": "#/definitions/Int"
}
},
"List$List$stakinator3000/OutputCondition": {
"dataType": "list",
"items": {
"$ref": "#/definitions/List$stakinator3000~1OutputCondition"
}
},
"List$stakinator3000/OutputCondition": {
"dataType": "list",
"items": {
"$ref": "#/definitions/stakinator3000~1OutputCondition"
}
},
"List$stakinator3000/StakeCondition": {
"dataType": "list",
"items": {
"$ref": "#/definitions/stakinator3000~1StakeCondition"
}
},
"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": []
}
]
},
"RedeemerWrapper$Data": {
"title": "Wrapped Redeemer",
"description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.",
"anyOf": [
{
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/Data"
}
]
}
]
},
"aiken/transaction/OutputReference": {
"title": "OutputReference",
"description": "An `OutputReference` is a unique reference to an output on-chain. The `output_index`\n corresponds to the position in the output list of the transaction (identified by its id)\n that produced that output",
"anyOf": [
{
"title": "OutputReference",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "transaction_id",
"$ref": "#/definitions/aiken~1transaction~1TransactionId"
},
{
"title": "output_index",
"$ref": "#/definitions/Int"
}
]
}
]
},
"aiken/transaction/TransactionId": {
"title": "TransactionId",
"description": "A unique transaction identifier, as the hash of a transaction body. Note that the transaction id\n isn't a direct hash of the `Transaction` as visible on-chain. Rather, they correspond to hash\n digests of transaction body as they are serialized on the network.",
"anyOf": [
{
"title": "TransactionId",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "hash",
"$ref": "#/definitions/ByteArray"
}
]
}
]
},
"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"
}
]
}
]
},
"stakinator3000/OutputCondition": {
"title": "OutputCondition",
"anyOf": [
{
"title": "HasAddress",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/aiken~1transaction~1credential~1Address"
}
]
},
{
"title": "HasToken",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/ByteArray"
},
{
"$ref": "#/definitions/ByteArray"
},
{
"$ref": "#/definitions/Int"
}
]
},
{
"title": "HasDatum",
"dataType": "constructor",
"index": 2,
"fields": [
{
"$ref": "#/definitions/Data"
}
]
},
{
"title": "HasPkh",
"dataType": "constructor",
"index": 3,
"fields": [
{
"$ref": "#/definitions/aiken~1transaction~1credential~1Credential"
}
]
},
{
"title": "HasField",
"dataType": "constructor",
"index": 4,
"fields": [
{
"title": "field_data",
"$ref": "#/definitions/Data"
},
{
"title": "field_path",
"$ref": "#/definitions/List$Int"
}
]
},
{
"title": "HasHash",
"dataType": "constructor",
"index": 5,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
}
]
},
"stakinator3000/Owner": {
"title": "Owner",
"anyOf": [
{
"title": "PKH",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
},
{
"title": "NFT",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/ByteArray"
},
{
"$ref": "#/definitions/ByteArray"
}
]
},
{
"title": "Receipt",
"dataType": "constructor",
"index": 2,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
}
]
},
"stakinator3000/StakeCondition": {
"title": "StakeCondition",
"anyOf": [
{
"title": "Is",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/stakinator3000~1TxCondition"
}
]
},
{
"title": "And",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/List$stakinator3000~1StakeCondition"
}
]
},
{
"title": "Or",
"dataType": "constructor",
"index": 2,
"fields": [
{
"$ref": "#/definitions/List$stakinator3000~1StakeCondition"
}
]
},
{
"title": "Not",
"dataType": "constructor",
"index": 3,
"fields": [
{
"$ref": "#/definitions/stakinator3000~1TxCondition"
}
]
}
]
},
"stakinator3000/State": {
"title": "State",
"anyOf": [
{
"title": "State",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "owner",
"$ref": "#/definitions/stakinator3000~1Owner"
},
{
"title": "redelegation_condition",
"$ref": "#/definitions/stakinator3000~1StakeCondition"
},
{
"title": "stake_registration",
"$ref": "#/definitions/Int"
}
]
}
]
},
"stakinator3000/TxCondition": {
"title": "TxCondition",
"anyOf": [
{
"title": "Mints",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/ByteArray"
},
{
"$ref": "#/definitions/ByteArray"
},
{
"$ref": "#/definitions/Int"
}
]
},
{
"title": "IsAfter",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/Int"
}
]
},
{
"title": "IsBefore",
"dataType": "constructor",
"index": 2,
"fields": [
{
"$ref": "#/definitions/Int"
}
]
},
{
"title": "InputsCondition",
"description": "Please note the `outer list` in InputsCondition could all be satisfied by a single input. \n The checks are per all inputs not a unique input\n The `inner list` acts on a single input ensuring the input meets all conditions via &&",
"dataType": "constructor",
"index": 3,
"fields": [
{
"$ref": "#/definitions/List$List$stakinator3000~1OutputCondition"
}
]
},
{
"title": "ReferenceInputsCondition",
"dataType": "constructor",
"index": 4,
"fields": [
{
"$ref": "#/definitions/List$List$stakinator3000~1OutputCondition"
}
]
},
{
"title": "OutputsCondition",
"dataType": "constructor",
"index": 5,
"fields": [
{
"$ref": "#/definitions/List$List$stakinator3000~1OutputCondition"
}
]
},
{
"title": "StakesTo",
"dataType": "constructor",
"index": 6,
"fields": [
{
"$ref": "#/definitions/ByteArray"
}
]
}
]
}
}
}