-
Notifications
You must be signed in to change notification settings - Fork 0
/
plutus.json
240 lines (240 loc) · 12.8 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
{
"preamble": {
"title": "sundae/referee-script",
"description": "Aiken contracts for project 'sundae/referee-script'",
"version": "0.0.0",
"plutusVersion": "v3",
"compiler": {
"name": "Aiken",
"version": "v1.1.5+a7741ec"
},
"license": "Apache-2.0"
},
"validators": [
{
"title": "referee.referee_script.spend",
"datum": {
"title": "maybe_datum",
"schema": {
"$ref": "#/definitions/referee_script~1types~1GameData"
}
},
"redeemer": {
"title": "redeemer",
"schema": {
"$ref": "#/definitions/referee_script~1types~1Redeemer"
}
},
"parameters": [
{
"title": "max_players",
"schema": {
"$ref": "#/definitions/Int"
}
}
],
"compiledCode": "5907290101003232323232323223225333004323232323253323300a3001300b37540042646464a6646601c6002601e6ea801c4c8c8c8c94ccc054c0600084c8c8c8c94ccc058c02400454ccc064c060dd50028a8010b0a99980b18068008a99980c980c1baa0051500216153330163004001153330193018375400a2a0042c2a66602c60060022a66603260306ea8014540085858c058dd50020a99980a1803980a9baa008132323232323232323232533301e3011301f375400226464646464646464646464646464646464a64646464666066604c0162646464646464646464a66607860180302a66607866e24cc8c004004894ccc10400452000133700900119801001182200080301d0a99981e191980080080d9129998208008a51132533303f33011009304400213300300300114a060880022a66607860140042a66607866ebc06001054ccc0f0c0340204c02c0045280a5014a029405280a5030403041002303f001303f002303d001303d0023758607600260760046072002606a6ea8ccc0180640700544c94c8ccc0d4c0b00344c8c8c8c8c8c8c8c8c94ccc0f8c0c4c0fcdd5004099299981f980780d8a99981f98058028a99981f99baf374e03a6e9c01c54ccc0fcc04002454ccc0fcc03400c54ccc0fcc0380084cc03009c0045280a5014a029405280a50375c608660806ea802058c108c10c008c104004c104008c0fc004c0fc008dd6181e800981e801181d800981b9baa33300801b01e01715333035302300d1323232323232323232533303e3031303f3754010264a66607e66ebcdd380e9ba70071533303f30100091533303f3300c0270011325333040302e00115333040303330413754006264a666082607060846ea801454ccc104c03407454ccc104cdd780280d8998098048008a5014a02c608a60846ea800c5854ccc100c0b400454ccc100c0ccc104dd50020992999820981c18211baa01a15333041300d01d153330413375e00803426602601200229405280b182298211baa00416153330403370e90040008a9998202999820180800e0a511300c01c15333040300c00415333040300c00315333040300f0031300e00414a029405280a50163040375400a29405280a50375c608660806ea802058c108c10c008c104004c104008c0fc004c0fc008dd6181e800981e801181d800981b9baa33300801b01e0171533303530283036375402a264a66606ca66606c66ebc049300103d87c800014a22a66606c66ebc049300103d87b800014a2266ebc04930103d87d800013300301e00114a06eb8c0e8c0dcdd500a8b1baf4c0103d87a800022323300100100322533303a00114a0264a66607066e3cdd7181e8010020a51133003003001303d001375e0186ebc028dd7a6103d8798000375e01e44646600200200644a66606a00229404c94ccc0cccdd7981c0010020a5113300300300130380012223232533303230253033375400226464a66606866ebcc0e400801054ccc0d0c088c0d4dd5000899299981a9814181b1baa001132323232323232323232533304230450021330160091323300100100822325333045002132325333044303700115333047304637540142a0042c2a66608860760022a66608e608c6ea8028540085854ccc110c0c800454ccc11cc118dd50050a8010b0a99982218188008a99982398231baa00a1500216153330443370e90040008a99982398231baa00a1500216163044375401226603000c266030008201c266032608e00426002609000460040042c6086002608600460820026082004607e002607e0046eb0c0f4004c0f4008c0ec004c0dcdd50008b181c981b1baa001161630383039303900130343754606e60686ea800458cc01400c010c050c0c8dd5000980080091129998188010a60103d87a8000132325333030302300313374a90001981a00125eb804ccc014014004cdc0001a4002606a00660660044464a66605a604000226464a666064606a00426600c0022a0082c6066002605e6ea800c54ccc0b4c09000454ccc0c0c0bcdd50018a8010b0b18169baa0022232533302c301f00113232533303130340021500416375c6064002605c6ea800c54ccc0b0c08c0044c8c94ccc0c4c0d00085401058dd7181900098171baa00316302c375400460526ea8034c0b0c0b4008c0ac004c0ac008c0a4004c0a4008dd618138009813801181280098109baa00b3023302430203754604660406ea800458c8cc004004dd618118049129998110008a60103d87a80001323253330213375e600a60466ea80080584cdd2a40006604a00497ae0133004004001302600230240012302200130203021002375a603e00260366ea8048dd6180e980f180f180f180f180f180f0011bac301c001301c301c001301737540206032602c6ea802058dc3a400c6e1d20041630160013016002375a602800260206ea801cdc3a40002c60226024004602000260186ea8008dc3a40042c601a601c004601800260180046014002600c6ea800452613656375a002ae6955ceaab9e5573eae815d0aba21",
"hash": "96f526e17fc72a1cdd62d6eec802e344482002815383cc6360bcc2d0"
},
{
"title": "referee.referee_script.else",
"redeemer": {
"schema": {}
},
"parameters": [
{
"title": "max_players",
"schema": {
"$ref": "#/definitions/Int"
}
}
],
"compiledCode": "5907290101003232323232323223225333004323232323253323300a3001300b37540042646464a6646601c6002601e6ea801c4c8c8c8c94ccc054c0600084c8c8c8c94ccc058c02400454ccc064c060dd50028a8010b0a99980b18068008a99980c980c1baa0051500216153330163004001153330193018375400a2a0042c2a66602c60060022a66603260306ea8014540085858c058dd50020a99980a1803980a9baa008132323232323232323232533301e3011301f375400226464646464646464646464646464646464a64646464666066604c0162646464646464646464a66607860180302a66607866e24cc8c004004894ccc10400452000133700900119801001182200080301d0a99981e191980080080d9129998208008a51132533303f33011009304400213300300300114a060880022a66607860140042a66607866ebc06001054ccc0f0c0340204c02c0045280a5014a029405280a5030403041002303f001303f002303d001303d0023758607600260760046072002606a6ea8ccc0180640700544c94c8ccc0d4c0b00344c8c8c8c8c8c8c8c8c94ccc0f8c0c4c0fcdd5004099299981f980780d8a99981f98058028a99981f99baf374e03a6e9c01c54ccc0fcc04002454ccc0fcc03400c54ccc0fcc0380084cc03009c0045280a5014a029405280a50375c608660806ea802058c108c10c008c104004c104008c0fc004c0fc008dd6181e800981e801181d800981b9baa33300801b01e01715333035302300d1323232323232323232533303e3031303f3754010264a66607e66ebcdd380e9ba70071533303f30100091533303f3300c0270011325333040302e00115333040303330413754006264a666082607060846ea801454ccc104c03407454ccc104cdd780280d8998098048008a5014a02c608a60846ea800c5854ccc100c0b400454ccc100c0ccc104dd50020992999820981c18211baa01a15333041300d01d153330413375e00803426602601200229405280b182298211baa00416153330403370e90040008a9998202999820180800e0a511300c01c15333040300c00415333040300c00315333040300f0031300e00414a029405280a50163040375400a29405280a50375c608660806ea802058c108c10c008c104004c104008c0fc004c0fc008dd6181e800981e801181d800981b9baa33300801b01e0171533303530283036375402a264a66606ca66606c66ebc049300103d87c800014a22a66606c66ebc049300103d87b800014a2266ebc04930103d87d800013300301e00114a06eb8c0e8c0dcdd500a8b1baf4c0103d87a800022323300100100322533303a00114a0264a66607066e3cdd7181e8010020a51133003003001303d001375e0186ebc028dd7a6103d8798000375e01e44646600200200644a66606a00229404c94ccc0cccdd7981c0010020a5113300300300130380012223232533303230253033375400226464a66606866ebcc0e400801054ccc0d0c088c0d4dd5000899299981a9814181b1baa001132323232323232323232533304230450021330160091323300100100822325333045002132325333044303700115333047304637540142a0042c2a66608860760022a66608e608c6ea8028540085854ccc110c0c800454ccc11cc118dd50050a8010b0a99982218188008a99982398231baa00a1500216153330443370e90040008a99982398231baa00a1500216163044375401226603000c266030008201c266032608e00426002609000460040042c6086002608600460820026082004607e002607e0046eb0c0f4004c0f4008c0ec004c0dcdd50008b181c981b1baa001161630383039303900130343754606e60686ea800458cc01400c010c050c0c8dd5000980080091129998188010a60103d87a8000132325333030302300313374a90001981a00125eb804ccc014014004cdc0001a4002606a00660660044464a66605a604000226464a666064606a00426600c0022a0082c6066002605e6ea800c54ccc0b4c09000454ccc0c0c0bcdd50018a8010b0b18169baa0022232533302c301f00113232533303130340021500416375c6064002605c6ea800c54ccc0b0c08c0044c8c94ccc0c4c0d00085401058dd7181900098171baa00316302c375400460526ea8034c0b0c0b4008c0ac004c0ac008c0a4004c0a4008dd618138009813801181280098109baa00b3023302430203754604660406ea800458c8cc004004dd618118049129998110008a60103d87a80001323253330213375e600a60466ea80080584cdd2a40006604a00497ae0133004004001302600230240012302200130203021002375a603e00260366ea8048dd6180e980f180f180f180f180f180f0011bac301c001301c301c001301737540206032602c6ea802058dc3a400c6e1d20041630160013016002375a602800260206ea801cdc3a40002c60226024004602000260186ea8008dc3a40042c601a601c004601800260180046014002600c6ea800452613656375a002ae6955ceaab9e5573eae815d0aba21",
"hash": "96f526e17fc72a1cdd62d6eec802e344482002815383cc6360bcc2d0"
}
],
"definitions": {
"Int": {
"dataType": "integer"
},
"List$PaymentCredential": {
"dataType": "list",
"items": {
"$ref": "#/definitions/PaymentCredential"
}
},
"Option$PaymentCredential": {
"title": "Option",
"anyOf": [
{
"title": "Some",
"description": "An optional value.",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/PaymentCredential"
}
]
},
{
"title": "None",
"description": "Nothing.",
"dataType": "constructor",
"index": 1,
"fields": []
}
]
},
"PaymentCredential": {
"title": "PaymentCredential",
"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": "VerificationKey",
"dataType": "constructor",
"index": 0,
"fields": [
{
"$ref": "#/definitions/VerificationKeyHash"
}
]
},
{
"title": "Script",
"dataType": "constructor",
"index": 1,
"fields": [
{
"$ref": "#/definitions/ScriptHash"
}
]
}
]
},
"ScriptHash": {
"title": "ScriptHash",
"dataType": "bytes"
},
"VerificationKeyHash": {
"title": "VerificationKeyHash",
"dataType": "bytes"
},
"referee_script/types/GameData": {
"title": "GameData",
"anyOf": [
{
"title": "GameData",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "referee",
"$ref": "#/definitions/PaymentCredential"
},
{
"title": "players",
"$ref": "#/definitions/List$PaymentCredential"
},
{
"title": "state",
"$ref": "#/definitions/referee_script~1types~1State"
},
{
"title": "winner",
"$ref": "#/definitions/Option$PaymentCredential"
},
{
"title": "cheater",
"$ref": "#/definitions/Option$PaymentCredential"
}
]
}
]
},
"referee_script/types/Redeemer": {
"title": "Redeemer",
"anyOf": [
{
"title": "Redeemer",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "new_state_index",
"$ref": "#/definitions/Int"
},
{
"title": "action",
"$ref": "#/definitions/referee_script~1types~1SpendAction"
}
]
}
]
},
"referee_script/types/SpendAction": {
"title": "SpendAction",
"anyOf": [
{
"title": "AddPlayer",
"dataType": "constructor",
"index": 0,
"fields": []
},
{
"title": "StartGame",
"dataType": "constructor",
"index": 1,
"fields": []
},
{
"title": "EndGame",
"dataType": "constructor",
"index": 2,
"fields": []
},
{
"title": "Collect",
"dataType": "constructor",
"index": 3,
"fields": []
}
]
},
"referee_script/types/State": {
"title": "State",
"anyOf": [
{
"title": "Lobby",
"dataType": "constructor",
"index": 0,
"fields": []
},
{
"title": "Running",
"dataType": "constructor",
"index": 1,
"fields": []
},
{
"title": "Cheated",
"dataType": "constructor",
"index": 2,
"fields": []
},
{
"title": "Finished",
"dataType": "constructor",
"index": 3,
"fields": []
},
{
"title": "Aborted",
"dataType": "constructor",
"index": 4,
"fields": []
}
]
}
}
}