-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathplutus.ts
257 lines (251 loc) · 33.3 KB
/
plutus.ts
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
// deno-lint-ignore-file
import {
applyParamsToScript,
Data,
Validator,
} from "https://deno.land/x/[email protected]/mod.ts";
export interface PriceFeedCheckFeed {
new (): Validator;
_redeemer: { price: { numerator: bigint; denominator: bigint } };
}
export const PriceFeedCheckFeed = Object.assign(
function () {
return { type: "PlutusV2", script: "4f010000322253330034a22930b2b9a1" };
},
{
_redeemer: {
"title": "PriceFeed",
"anyOf": [{
"title": "PriceFeed",
"dataType": "constructor",
"index": 0,
"fields": [{
"title": "price",
"anyOf": [{
"title": "Ratio_",
"dataType": "constructor",
"index": 0,
"fields": [{ "dataType": "integer", "title": "numerator" }, {
"dataType": "integer",
"title": "denominator",
}],
}],
}],
}],
},
},
) as unknown as PriceFeedCheckFeed;
export interface SyntheticsUnlockCollateral {
new (
feedScriptHash: string,
assetName: string,
params: {
liquidationThresholdNumerator: bigint;
initialThresholdNumerator: bigint;
thresholdDenominator: bigint;
},
): Validator;
datum: {
owner: { VerificationKeyCredential: [string] } | {
ScriptCredential: [string];
};
cdpAmount: bigint;
syntheticAmount: bigint;
};
redeemer: { wrapper: "LiquidateCDP" | "RepayCDP" };
}
export const SyntheticsUnlockCollateral = Object.assign(
function (
feedScriptHash: string,
assetName: string,
params: {
liquidationThresholdNumerator: bigint;
initialThresholdNumerator: bigint;
thresholdDenominator: bigint;
},
) {
return {
type: "PlutusV2",
script: applyParamsToScript(
"5919e6010000323232323232323232323232232232222533300c3370e90001805800899299980699191919191919191919191919191919191919191919299981199b8748000c0880384c8c8c8c8c94ccc0a0cdc3a40000062646464646464646464a66606a6070004264646464646464a666070a666070002294454cc0e524011861737365745f6e616d655f636865636b203f2046616c73650014a02a666070a666070006294454cc0e52411d6d696e745f616d6f756e745f636f6e646974696f6e203f2046616c73650014a02a666070a666070004294454cc0e524119636f6c6c61746572616c5f636865636b73203f2046616c73650014a02a666070014294454cc0e52401156c76725f636f6e646974696f6e203f2046616c73650014a029405280a503371e00a05e64a66606e66e1d2000303600113232323232323232533303f3370e9002181f0008991919299982119b8748000c1040084c8c8c8c8c8c94ccc130c13c0084c8c8c94ccc12d4ccc12c0085288a9982624913646174756d5f636865636b203f2046616c73650014a02a666096a666096014294454cc13124127636f6c6c61746572616c5f6f75747075745f616464726573735f636865636b203f2046616c73650014a02a666096002294454cc13124011f636f6c6c61746572616c5f616d6f756e745f636865636b203f2046616c73650014a0294052819baf374e604801c6e9ccc13cdd399827a6010140003304f4c10140003304f375003a97ae04bd70299982499b8700401c13370e00403c2940c94ccc124cdc3a400000226464a66609e60a40042930a998262481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60a0002608e00c2a66609266e1d200200113232533304f3052002149854cc1312401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60a0002608e00c2a660949212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304700515330494901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609a002609a0046eb4c12c004c12c008c124004c10000854cc10d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163375e6607a607e00e900019ba548008cc118dd480ea5eb80c118004c0f400454cc1012412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304400130440023756608400260840046080002606e002607c002606a0022a660709212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633323001001222533303d00214c103d87a800013232533303b3370e0069000099ba548000cc1000092f5c0266600a00a00266e0400d20023041003303f00201d00d3370e0020146eb4c0e8004c0e8008dd7181c000981c0008a998192481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758606c00264601400260100266464a66606066e1d2000302f001132323253330333370e900018190008991919299981b19b8748000c0d40044c8c8c8c94ccc0e8cdc3a40000022940528981c00099191919191919191919299982119b8800200114c0103d879800015333042337100020042980103d87b800014c103d87a80003370400800c66e0801c004dd6982280098228011bad3043001303a005375a608200260820046eb4c0fc004c0d8010c0f4004c0d000454cc0dd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633007026024303a0013031001153303449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016333323222232323232533303b3370e90010008a60103d87a8000132323374a90001982119805803000a5eb80c108004c0e4008c0e4004c8c8c8c94ccc0f4cdc4001a4000266e952000330423374a9000198211ba8337029000000998211ba8337029000001a5eb812f5c02a66607a66e21200000313374a90001982119ba548000cc108dd4000998211ba80034bd7025eb80530103d87a8000375a608400260840046eb4c100004c0dc004cc018008c01400cc01000c8cdd2a4000660726ea0004cc0e53010101004bd7011191919191919191919ba548000cc104dd419b8200700333041375066e080140052f5c06eb4c104004c104008dd6981f800981b0029bad303d001303d002375a6076002606400400a00e002606e002605c0022a6606292012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163253330303370e9000181780089919299981919b8748000c0c40044c8c94ccc0e0c0ec00854ccc0d0cdc3a40006066002264646464a666078607e0042660140060022a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0c800454cc0d52412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533035491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001303000115330334912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163037001302e00115330314912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300100100f22533303600114c0103d87a800013232323253330363375e00e004266e9520003303b0014bd70099803003001981c001981b001181d001181c00099ba548010cc0d0cdd2a40006606866e95200233034375205297ae04bd7025eb80894ccc0c0cdc3800a40002980103d87a800015333030337100029000099ba548000cc0d4cdd2a40006606a6ea0cdc0a40000046606a6ea0cdc0a400000297ae04bd70099ba548000cc0d4cdd2a40006606a6ea0008cc0d4dd4000a5eb812f5c06eb4c0cc004c0cc008dd6981880098188011bad302f001302601e132323232323375e6e9cc8c020004c018044dd3998191ba7330323752012660646ea4004cc0c8dd419b814800000d2f5c097ae0375c606400260640046eb4c0c0004c0c0004c0980788c8cc004004008894ccc0b800452f5bded8c0264646464a66605c66e3d221000021003133033337606ea4008dd3000998030030019bab3030003375c605c004606400460600024646600200200444a66605a002297ae01323232323232330010010032253330340011003132323232323303a374e660746ea4028cc0e8dd48019981d1ba80024bd70000998030030019bad3036003375c60680046070004606c0026600c00c0066eacc0bc00cdd7181680118188011817800981200d9bae302a001302100e153302449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660500026050002604e002604c002604a00260480046eacc088004c088004c084008dd6180f800980f800980f000980a001980d800980d801180c80098080039bad30170013017002375a602a002602a00260160082930b19299980699b87480000044c8c8c8c8c8c94ccc05cc0680085261533014491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603000260300046eb4c058004c058008dd6980a00098058018a99980699b87480080044c8c8c8c8c8c94ccc05cc0680084c9263253330143370e9000000899191919299980e180f80109924c64a66603266e1d200000113232533301f3022002149854cc071241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a0046036002602400c2a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200515330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603000260300046eb4c058004c058008c050004c02c00c54cc0392412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b0021322323253330103232323232323232323232533301b3370e9000180d002899191919191919191919191919191919191919299981719b8748008c0b40384c8c8c94ccc0c4cdc3a400060600022646464a66606866e1d2002303300113232323253330383370e9000181b80089919191919299981e99299981f19b87480080044c8cc004004050894ccc11000452809919299982119b8f00202614a226600800800260900046eb8c11800454ccc0f80085288a9981fa49156c76725f636f6e646974696f6e203f2046616c73650014a060780622a66607a004294454cc0f9241166275726e5f636f6e646974696f6e203f2046616c73650014a02940c8c94ccc0f8cdc3a4000607a0022646464a66608266e1d20003040001132323253330443370e900018218008991919baf323232323232323232325333050337100040022980103d879800015333050337100020042980103d87b800014c103d87a80003370400800c66e0801c004dd6982980098298011bad30510013048005375a609e002609e0046eb4c134004c11001130103d8798000304b001304200115330454912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300703202f3048001303f001153304249012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633332322223232323253330493370e90010008a60103d87a8000132323374a90001982819805803000a5eb80c140004c11c008c11c004c8c8c8c94ccc12ccdc4001a4000266e952000330503374a9000198281ba8337029000000998281ba8337029000001a5eb812f5c02a66609666e21200000313374a90001982819ba548000cc140dd4000998281ba80034bd7025eb80530103d87a8000375a60a000260a00046eb4c138004c114004cc018008c01400cc01000c8cdd2a40006608e6ea0004cc11d3010101004bd7011191919191919191919ba548000cc13cdd419b820070033304f375066e080140052f5c06eb4c13c004c13c008dd6982680098220029bad304b001304b002375a6092002608000405004c002608a00260780022a6607e92012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632533303e3370e9000181e80089919299982019b8748000c0fc0044c8c94ccc118c12400854ccc108cdc3a40006082002264646464a666094609a0042660140060022a6608e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609600260960046eb4c124004c10000454cc10d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533043491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303e00115330414912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163045001303c001153303f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330070103374a90021982119ba548000cc108cdd2a4004660846ea40dd2f5c097ae04bd7011299981f19b87001480005300103d87a80001533303e337100029000099ba548000cc10ccdd2a4000660866ea0cdc0a4000004660866ea0cdc0a400000297ae04bd70099ba548000cc10ccdd2a4000660866ea0008cc10cdd4000a5eb812f5c066ebccdd2a400466080018660806ea0084cc100dd4819a5eb80008c94ccc0eccdc3a40000022646464646464a66608a60900042930a998212481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608c002608c0046eb4c110004c110008dd69821000981c8010a99981d99b87480080044c8c8c8c8c8c94ccc114c1200084c9263253330423370e90000008991919192999825182680109924c64a66608e66e1d200000113232533304d3050002149854cc129241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c609c002608a0082a660909212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304500315330474901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609600260960046092002608000c2a660869212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304000515330424901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608c002608c0046eb4c110004c110008c108004c0e400854cc0f12412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163039001303f0013036001153303949012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300100a3374a90001981e1ba90024bd7011191980080080191299981f0008a60103d87a8000132323232533303e3375e00e004266e952000330430014bd700998030030019820001981f001182100118200009bae303b001303200115330354912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302f30313302f30313302f303100148009200048000c0e0004c0bc00454cc0c92412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323300100100f22533303600114c0103d87a80001323253330343375e6606060640049000002899ba548000cc0e40092f5c026600800800260740046070002606a002605801c2a6605e9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606600260660046eb0c0c4004c0c4004c0c0004c0bc004c0b8004c0b4004c0b0004c0ac004c0a8008dd61814000980f801981300098130011812000980d8081bae30220013019005153301c4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a604000260400046eb4c078004c078008c070004c04c02cdd6980d000980d000980c8011bad3017001300e007149858c94ccc040cdc3a40000022a666028601c0082930a99808a4811d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330103370e90010008a99980a18070020a4c2a6602292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330114912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00332533300f3370e90000008991919191919299980c980e00109924c64a66602c66e1d200000113232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002602800c2a66602c66e1d200200113232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002602800c2a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400515330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603400260340046eb4c060004c060008c058004c03401454cc0412412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d0043012300a001375c0026eb8004cc0040052000222233330073370e00200601a4666600a00a66e000112002300f001002002230063754002460086ea80055cd2b9c5573aaae7955cfaba05742ae89",
[feedScriptHash, assetName, params],
{
"dataType": "list",
"items": [{ "dataType": "bytes" }, { "dataType": "bytes" }, {
"title": "Params",
"anyOf": [{
"title": "Params",
"dataType": "constructor",
"index": 0,
"fields": [{
"dataType": "integer",
"title": "liquidationThresholdNumerator",
}, {
"dataType": "integer",
"title": "initialThresholdNumerator",
}, { "dataType": "integer", "title": "thresholdDenominator" }],
}],
}],
} as any,
),
};
},
{
datum: {
"title": "CDP",
"anyOf": [{
"title": "CDP",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "owner",
"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": [{ "dataType": "bytes" }],
}, {
"title": "ScriptCredential",
"dataType": "constructor",
"index": 1,
"fields": [{ "dataType": "bytes" }],
}],
},
{ "dataType": "integer", "title": "cdpAmount" },
{ "dataType": "integer", "title": "syntheticAmount" },
],
}],
},
},
{
redeemer: {
"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": [{
"anyOf": [{
"title": "LiquidateCDP",
"dataType": "constructor",
"index": 0,
"fields": [],
}, {
"title": "RepayCDP",
"dataType": "constructor",
"index": 1,
"fields": [],
}],
}],
}],
},
},
) as unknown as SyntheticsUnlockCollateral;
export interface SyntheticsMint {
new (
feedScriptHash: string,
assetName: string,
params: {
liquidationThresholdNumerator: bigint;
initialThresholdNumerator: bigint;
thresholdDenominator: bigint;
},
): Validator;
redeemer: {
MintSynthetic: {
collateralIdx: bigint;
mintingAmount: bigint;
collateralAmount: bigint;
};
} | {
BurnSynthetic: {
oref: { transactionId: { hash: string }; outputIndex: bigint };
amount: bigint;
burnName: string;
};
};
}
export const SyntheticsMint = Object.assign(
function (
feedScriptHash: string,
assetName: string,
params: {
liquidationThresholdNumerator: bigint;
initialThresholdNumerator: bigint;
thresholdDenominator: bigint;
},
) {
return {
type: "PlutusV2",
script: applyParamsToScript(
"5919e6010000323232323232323232323232232232222533300c3370e90001805800899299980699191919191919191919191919191919191919191919299981199b8748000c0880384c8c8c8c8c94ccc0a0cdc3a40000062646464646464646464a66606a6070004264646464646464a666070a666070002294454cc0e524011861737365745f6e616d655f636865636b203f2046616c73650014a02a666070a666070006294454cc0e52411d6d696e745f616d6f756e745f636f6e646974696f6e203f2046616c73650014a02a666070a666070004294454cc0e524119636f6c6c61746572616c5f636865636b73203f2046616c73650014a02a666070014294454cc0e52401156c76725f636f6e646974696f6e203f2046616c73650014a029405280a503371e00a05e64a66606e66e1d2000303600113232323232323232533303f3370e9002181f0008991919299982119b8748000c1040084c8c8c8c8c8c94ccc130c13c0084c8c8c94ccc12d4ccc12c0085288a9982624913646174756d5f636865636b203f2046616c73650014a02a666096a666096014294454cc13124127636f6c6c61746572616c5f6f75747075745f616464726573735f636865636b203f2046616c73650014a02a666096002294454cc13124011f636f6c6c61746572616c5f616d6f756e745f636865636b203f2046616c73650014a0294052819baf374e604801c6e9ccc13cdd399827a6010140003304f4c10140003304f375003a97ae04bd70299982499b8700401c13370e00403c2940c94ccc124cdc3a400000226464a66609e60a40042930a998262481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60a0002608e00c2a66609266e1d200200113232533304f3052002149854cc1312401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c60a0002608e00c2a660949212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304700515330494901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609a002609a0046eb4c12c004c12c008c124004c10000854cc10d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163375e6607a607e00e900019ba548008cc118dd480ea5eb80c118004c0f400454cc1012412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016304400130440023756608400260840046080002606e002607c002606a0022a660709212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633323001001222533303d00214c103d87a800013232533303b3370e0069000099ba548000cc1000092f5c0266600a00a00266e0400d20023041003303f00201d00d3370e0020146eb4c0e8004c0e8008dd7181c000981c0008a998192481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163758606c00264601400260100266464a66606066e1d2000302f001132323253330333370e900018190008991919299981b19b8748000c0d40044c8c8c8c94ccc0e8cdc3a40000022940528981c00099191919191919191919299982119b8800200114c0103d879800015333042337100020042980103d87b800014c103d87a80003370400800c66e0801c004dd6982280098228011bad3043001303a005375a608200260820046eb4c0fc004c0d8010c0f4004c0d000454cc0dd24012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633007026024303a0013031001153303449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016333323222232323232533303b3370e90010008a60103d87a8000132323374a90001982119805803000a5eb80c108004c0e4008c0e4004c8c8c8c94ccc0f4cdc4001a4000266e952000330423374a9000198211ba8337029000000998211ba8337029000001a5eb812f5c02a66607a66e21200000313374a90001982119ba548000cc108dd4000998211ba80034bd7025eb80530103d87a8000375a608400260840046eb4c100004c0dc004cc018008c01400cc01000c8cdd2a4000660726ea0004cc0e53010101004bd7011191919191919191919ba548000cc104dd419b8200700333041375066e080140052f5c06eb4c104004c104008dd6981f800981b0029bad303d001303d002375a6076002606400400a00e002606e002605c0022a6606292012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163253330303370e9000181780089919299981919b8748000c0c40044c8c94ccc0e0c0ec00854ccc0d0cdc3a40006066002264646464a666078607e0042660140060022a66072921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a607a002607a0046eb4c0ec004c0c800454cc0d52412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533035491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163039001303000115330334912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163037001302e00115330314912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632323300100100f22533303600114c0103d87a800013232323253330363375e00e004266e9520003303b0014bd70099803003001981c001981b001181d001181c00099ba548010cc0d0cdd2a40006606866e95200233034375205297ae04bd7025eb80894ccc0c0cdc3800a40002980103d87a800015333030337100029000099ba548000cc0d4cdd2a40006606a6ea0cdc0a40000046606a6ea0cdc0a400000297ae04bd70099ba548000cc0d4cdd2a40006606a6ea0008cc0d4dd4000a5eb812f5c06eb4c0cc004c0cc008dd6981880098188011bad302f001302601e132323232323375e6e9cc8c020004c018044dd3998191ba7330323752012660646ea4004cc0c8dd419b814800000d2f5c097ae0375c606400260640046eb4c0c0004c0c0004c0980788c8cc004004008894ccc0b800452f5bded8c0264646464a66605c66e3d221000021003133033337606ea4008dd3000998030030019bab3030003375c605c004606400460600024646600200200444a66605a002297ae01323232323232330010010032253330340011003132323232323303a374e660746ea4028cc0e8dd48019981d1ba80024bd70000998030030019bad3036003375c60680046070004606c0026600c00c0066eacc0bc00cdd7181680118188011817800981200d9bae302a001302100e153302449012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375660500026050002604e002604c002604a00260480046eacc088004c088004c084008dd6180f800980f800980f000980a001980d800980d801180c80098080039bad30170013017002375a602a002602a00260160082930b19299980699b87480000044c8c8c8c8c8c94ccc05cc0680085261533014491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603000260300046eb4c058004c058008dd6980a00098058018a99980699b87480080044c8c8c8c8c8c94ccc05cc0680084c9263253330143370e9000000899191919299980e180f80109924c64a66603266e1d200000113232533301f3022002149854cc071241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c6040002602e0082a660349212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301700315330194901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603a002603a0046036002602400c2a6602a9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301200515330144901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603000260300046eb4c058004c058008c050004c02c00c54cc0392412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300b0021322323253330103232323232323232323232533301b3370e9000180d002899191919191919191919191919191919191919299981719b8748008c0b40384c8c8c94ccc0c4cdc3a400060600022646464a66606866e1d2002303300113232323253330383370e9000181b80089919191919299981e99299981f19b87480080044c8cc004004050894ccc11000452809919299982119b8f00202614a226600800800260900046eb8c11800454ccc0f80085288a9981fa49156c76725f636f6e646974696f6e203f2046616c73650014a060780622a66607a004294454cc0f9241166275726e5f636f6e646974696f6e203f2046616c73650014a02940c8c94ccc0f8cdc3a4000607a0022646464a66608266e1d20003040001132323253330443370e900018218008991919baf323232323232323232325333050337100040022980103d879800015333050337100020042980103d87b800014c103d87a80003370400800c66e0801c004dd6982980098298011bad30510013048005375a609e002609e0046eb4c134004c11001130103d8798000304b001304200115330454912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300703202f3048001303f001153304249012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001633332322223232323253330493370e90010008a60103d87a8000132323374a90001982819805803000a5eb80c140004c11c008c11c004c8c8c8c94ccc12ccdc4001a4000266e952000330503374a9000198281ba8337029000000998281ba8337029000001a5eb812f5c02a66609666e21200000313374a90001982819ba548000cc140dd4000998281ba80034bd7025eb80530103d87a8000375a60a000260a00046eb4c138004c114004cc018008c01400cc01000c8cdd2a40006608e6ea0004cc11d3010101004bd7011191919191919191919ba548000cc13cdd419b820070033304f375066e080140052f5c06eb4c13c004c13c008dd6982680098220029bad304b001304b002375a6092002608000405004c002608a00260780022a6607e92012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e001632533303e3370e9000181e80089919299982019b8748000c0fc0044c8c94ccc118c12400854ccc108cdc3a40006082002264646464a666094609a0042660140060022a6608e921334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609600260960046eb4c124004c10000454cc10d2412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00161533043491334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e20657870656374656400163047001303e00115330414912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163045001303c001153303f4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330070103374a90021982119ba548000cc108cdd2a4004660846ea40dd2f5c097ae04bd7011299981f19b87001480005300103d87a80001533303e337100029000099ba548000cc10ccdd2a4000660866ea0cdc0a4000004660866ea0cdc0a400000297ae04bd70099ba548000cc10ccdd2a4000660866ea0008cc10cdd4000a5eb812f5c066ebccdd2a400466080018660806ea0084cc100dd4819a5eb80008c94ccc0eccdc3a40000022646464646464a66608a60900042930a998212481334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a608c002608c0046eb4c110004c110008dd69821000981c8010a99981d99b87480080044c8c8c8c8c8c94ccc114c1200084c9263253330423370e90000008991919192999825182680109924c64a66608e66e1d200000113232533304d3050002149854cc129241334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c609c002608a0082a660909212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304500315330474901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a609600260960046092002608000c2a660869212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016304000515330424901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c608c002608c0046eb4c110004c110008c108004c0e400854cc0f12412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e7400163039001303f0013036001153303949012a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300100a3374a90001981e1ba90024bd7011191980080080191299981f0008a60103d87a8000132323232533303e3375e00e004266e952000330430014bd700998030030019820001981f001182100118200009bae303b001303200115330354912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163302f30313302f30313302f303100148009200048000c0e0004c0bc00454cc0c92412a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016323300100100f22533303600114c0103d87a80001323253330343375e6606060640049000002899ba548000cc0e40092f5c026600800800260740046070002606a002605801c2a6605e9212a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163756606600260660046eb0c0c4004c0c4004c0c0004c0bc004c0b8004c0b4004c0b0004c0ac004c0a8008dd61814000980f801981300098130011812000980d8081bae30220013019005153301c4912a4578706563746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016375a604000260400046eb4c078004c078008c070004c04c02cdd6980d000980d000980c8011bad3017001300e007149858c94ccc040cdc3a40000022a666028601c0082930a99808a4811d4578706563746564206e6f206669656c647320666f7220436f6e7374720016153330103370e90010008a99980a18070020a4c2a6602292011d4578706563746564206e6f206669656c647320666f7220436f6e737472001615330114912b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300e00332533300f3370e90000008991919191919299980c980e00109924c64a66602c66e1d200000113232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002602800c2a66602c66e1d200200113232533301c301f002149854cc0652401334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375c603a002602800c2a6602e9212b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016301400515330164901334c6973742f5475706c652f436f6e73747220636f6e7461696e73206d6f7265206974656d73207468616e2065787065637465640016375a603400260340046eb4c060004c060008c058004c03401454cc0412412b436f6e73747220696e64657820646964206e6f74206d6174636820616e7920747970652076617269616e740016300d0043012300a001375c0026eb8004cc0040052000222233330073370e00200601a4666600a00a66e000112002300f001002002230063754002460086ea80055cd2b9c5573aaae7955cfaba05742ae89",
[feedScriptHash, assetName, params],
{
"dataType": "list",
"items": [{ "dataType": "bytes" }, { "dataType": "bytes" }, {
"title": "Params",
"anyOf": [{
"title": "Params",
"dataType": "constructor",
"index": 0,
"fields": [{
"dataType": "integer",
"title": "liquidationThresholdNumerator",
}, {
"dataType": "integer",
"title": "initialThresholdNumerator",
}, { "dataType": "integer", "title": "thresholdDenominator" }],
}],
}],
} as any,
),
};
},
{
redeemer: {
"title": "PolicyRedeemer",
"anyOf": [{
"title": "MintSynthetic",
"dataType": "constructor",
"index": 0,
"fields": [{ "dataType": "integer", "title": "collateralIdx" }, {
"dataType": "integer",
"title": "mintingAmount",
}, { "dataType": "integer", "title": "collateralAmount" }],
}, {
"title": "BurnSynthetic",
"dataType": "constructor",
"index": 1,
"fields": [
{
"title": "oref",
"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": "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": [{ "dataType": "bytes", "title": "hash" }],
}],
}, { "dataType": "integer", "title": "outputIndex" }],
}],
},
{ "dataType": "integer", "title": "amount" },
{ "dataType": "bytes", "title": "burnName" },
],
}],
},
},
) as unknown as SyntheticsMint;