@midnames/sdk 1.0.0 → 1.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,155 +1,191 @@
1
1
  import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
2
- __compactRuntime.checkRuntimeVersion('0.14.0');
2
+ __compactRuntime.checkRuntimeVersion('0.15.0');
3
3
 
4
- const _descriptor_0 = __compactRuntime.CompactTypeOpaqueString;
5
-
6
- const _descriptor_1 = new __compactRuntime.CompactTypeBytes(32);
4
+ const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
7
5
 
8
6
  class _ZswapCoinPublicKey_0 {
9
7
  alignment() {
10
- return _descriptor_1.alignment();
8
+ return _descriptor_0.alignment();
11
9
  }
12
10
  fromValue(value_0) {
13
11
  return {
14
- bytes: _descriptor_1.fromValue(value_0)
12
+ bytes: _descriptor_0.fromValue(value_0)
15
13
  }
16
14
  }
17
15
  toValue(value_0) {
18
- return _descriptor_1.toValue(value_0.bytes);
16
+ return _descriptor_0.toValue(value_0.bytes);
19
17
  }
20
18
  }
21
19
 
22
- const _descriptor_2 = new _ZswapCoinPublicKey_0();
20
+ const _descriptor_1 = new _ZswapCoinPublicKey_0();
23
21
 
24
22
  class _ContractAddress_0 {
25
23
  alignment() {
26
- return _descriptor_1.alignment();
24
+ return _descriptor_0.alignment();
27
25
  }
28
26
  fromValue(value_0) {
29
27
  return {
30
- bytes: _descriptor_1.fromValue(value_0)
28
+ bytes: _descriptor_0.fromValue(value_0)
31
29
  }
32
30
  }
33
31
  toValue(value_0) {
34
- return _descriptor_1.toValue(value_0.bytes);
32
+ return _descriptor_0.toValue(value_0.bytes);
35
33
  }
36
34
  }
37
35
 
38
- const _descriptor_3 = new _ContractAddress_0();
36
+ const _descriptor_2 = new _ContractAddress_0();
39
37
 
40
38
  class _DomainData_0 {
41
39
  alignment() {
42
- return _descriptor_2.alignment().concat(_descriptor_3.alignment());
40
+ return _descriptor_1.alignment().concat(_descriptor_2.alignment());
43
41
  }
44
42
  fromValue(value_0) {
45
43
  return {
46
- owner: _descriptor_2.fromValue(value_0),
47
- resolver: _descriptor_3.fromValue(value_0)
44
+ owner: _descriptor_1.fromValue(value_0),
45
+ resolver: _descriptor_2.fromValue(value_0)
48
46
  }
49
47
  }
50
48
  toValue(value_0) {
51
- return _descriptor_2.toValue(value_0.owner).concat(_descriptor_3.toValue(value_0.resolver));
49
+ return _descriptor_1.toValue(value_0.owner).concat(_descriptor_2.toValue(value_0.resolver));
52
50
  }
53
51
  }
54
52
 
55
- const _descriptor_4 = new _DomainData_0();
53
+ const _descriptor_3 = new _DomainData_0();
56
54
 
57
- const _descriptor_5 = __compactRuntime.CompactTypeBoolean;
55
+ const _descriptor_4 = __compactRuntime.CompactTypeBoolean;
58
56
 
59
- const _descriptor_6 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
57
+ const _descriptor_5 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
60
58
 
61
59
  class _Either_0 {
62
60
  alignment() {
63
- return _descriptor_5.alignment().concat(_descriptor_2.alignment().concat(_descriptor_3.alignment()));
61
+ return _descriptor_4.alignment().concat(_descriptor_1.alignment().concat(_descriptor_2.alignment()));
64
62
  }
65
63
  fromValue(value_0) {
66
64
  return {
67
- is_left: _descriptor_5.fromValue(value_0),
68
- left: _descriptor_2.fromValue(value_0),
69
- right: _descriptor_3.fromValue(value_0)
65
+ is_left: _descriptor_4.fromValue(value_0),
66
+ left: _descriptor_1.fromValue(value_0),
67
+ right: _descriptor_2.fromValue(value_0)
70
68
  }
71
69
  }
72
70
  toValue(value_0) {
73
- return _descriptor_5.toValue(value_0.is_left).concat(_descriptor_2.toValue(value_0.left).concat(_descriptor_3.toValue(value_0.right)));
71
+ return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_2.toValue(value_0.right)));
74
72
  }
75
73
  }
76
74
 
77
- const _descriptor_7 = new _Either_0();
75
+ const _descriptor_6 = new _Either_0();
76
+
77
+ const _descriptor_7 = __compactRuntime.CompactTypeOpaqueString;
78
+
79
+ const _descriptor_8 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
80
+
81
+ const _descriptor_9 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
78
82
 
79
83
  class _tuple_0 {
80
84
  alignment() {
81
- return _descriptor_0.alignment().concat(_descriptor_0.alignment());
85
+ return _descriptor_7.alignment().concat(_descriptor_7.alignment());
82
86
  }
83
87
  fromValue(value_0) {
84
88
  return [
85
- _descriptor_0.fromValue(value_0),
86
- _descriptor_0.fromValue(value_0)
89
+ _descriptor_7.fromValue(value_0),
90
+ _descriptor_7.fromValue(value_0)
87
91
  ]
88
92
  }
89
93
  toValue(value_0) {
90
- return _descriptor_0.toValue(value_0[0]).concat(_descriptor_0.toValue(value_0[1]));
94
+ return _descriptor_7.toValue(value_0[0]).concat(_descriptor_7.toValue(value_0[1]));
91
95
  }
92
96
  }
93
97
 
94
- const _descriptor_8 = new _tuple_0();
98
+ const _descriptor_10 = new _tuple_0();
95
99
 
96
100
  class _Maybe_0 {
97
101
  alignment() {
98
- return _descriptor_5.alignment().concat(_descriptor_8.alignment());
102
+ return _descriptor_4.alignment().concat(_descriptor_10.alignment());
99
103
  }
100
104
  fromValue(value_0) {
101
105
  return {
102
- is_some: _descriptor_5.fromValue(value_0),
103
- value: _descriptor_8.fromValue(value_0)
106
+ is_some: _descriptor_4.fromValue(value_0),
107
+ value: _descriptor_10.fromValue(value_0)
104
108
  }
105
109
  }
106
110
  toValue(value_0) {
107
- return _descriptor_5.toValue(value_0.is_some).concat(_descriptor_8.toValue(value_0.value));
111
+ return _descriptor_4.toValue(value_0.is_some).concat(_descriptor_10.toValue(value_0.value));
108
112
  }
109
113
  }
110
114
 
111
- const _descriptor_9 = new _Maybe_0();
112
-
113
- const _descriptor_10 = new __compactRuntime.CompactTypeVector(10, _descriptor_9);
115
+ const _descriptor_11 = new _Maybe_0();
114
116
 
115
- const _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
117
+ const _descriptor_12 = new __compactRuntime.CompactTypeVector(10, _descriptor_11);
116
118
 
117
119
  class _Either_1 {
118
120
  alignment() {
119
- return _descriptor_5.alignment().concat(_descriptor_1.alignment().concat(_descriptor_1.alignment()));
121
+ return _descriptor_4.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
120
122
  }
121
123
  fromValue(value_0) {
122
124
  return {
123
- is_left: _descriptor_5.fromValue(value_0),
124
- left: _descriptor_1.fromValue(value_0),
125
- right: _descriptor_1.fromValue(value_0)
125
+ is_left: _descriptor_4.fromValue(value_0),
126
+ left: _descriptor_0.fromValue(value_0),
127
+ right: _descriptor_0.fromValue(value_0)
126
128
  }
127
129
  }
128
130
  toValue(value_0) {
129
- return _descriptor_5.toValue(value_0.is_left).concat(_descriptor_1.toValue(value_0.left).concat(_descriptor_1.toValue(value_0.right)));
131
+ return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
130
132
  }
131
133
  }
132
134
 
133
- const _descriptor_12 = new _Either_1();
135
+ const _descriptor_13 = new _Either_1();
136
+
137
+ class _UserAddress_0 {
138
+ alignment() {
139
+ return _descriptor_0.alignment();
140
+ }
141
+ fromValue(value_0) {
142
+ return {
143
+ bytes: _descriptor_0.fromValue(value_0)
144
+ }
145
+ }
146
+ toValue(value_0) {
147
+ return _descriptor_0.toValue(value_0.bytes);
148
+ }
149
+ }
150
+
151
+ const _descriptor_14 = new _UserAddress_0();
152
+
153
+ class _Either_2 {
154
+ alignment() {
155
+ return _descriptor_4.alignment().concat(_descriptor_2.alignment().concat(_descriptor_14.alignment()));
156
+ }
157
+ fromValue(value_0) {
158
+ return {
159
+ is_left: _descriptor_4.fromValue(value_0),
160
+ left: _descriptor_2.fromValue(value_0),
161
+ right: _descriptor_14.fromValue(value_0)
162
+ }
163
+ }
164
+ toValue(value_0) {
165
+ return _descriptor_4.toValue(value_0.is_left).concat(_descriptor_2.toValue(value_0.left).concat(_descriptor_14.toValue(value_0.right)));
166
+ }
167
+ }
168
+
169
+ const _descriptor_15 = new _Either_2();
134
170
 
135
171
  class _Maybe_1 {
136
172
  alignment() {
137
- return _descriptor_5.alignment().concat(_descriptor_0.alignment());
173
+ return _descriptor_4.alignment().concat(_descriptor_0.alignment());
138
174
  }
139
175
  fromValue(value_0) {
140
176
  return {
141
- is_some: _descriptor_5.fromValue(value_0),
177
+ is_some: _descriptor_4.fromValue(value_0),
142
178
  value: _descriptor_0.fromValue(value_0)
143
179
  }
144
180
  }
145
181
  toValue(value_0) {
146
- return _descriptor_5.toValue(value_0.is_some).concat(_descriptor_0.toValue(value_0.value));
182
+ return _descriptor_4.toValue(value_0.is_some).concat(_descriptor_0.toValue(value_0.value));
147
183
  }
148
184
  }
149
185
 
150
- const _descriptor_13 = new _Maybe_1();
186
+ const _descriptor_16 = new _Maybe_1();
151
187
 
152
- const _descriptor_14 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
188
+ const _descriptor_17 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
153
189
 
154
190
  export class Contract {
155
191
  witnesses;
@@ -172,22 +208,22 @@ export class Contract {
172
208
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
173
209
  __compactRuntime.typeError('update_color',
174
210
  'argument 1 (as invoked from Typescript)',
175
- 'leaf.compact line 83 char 1',
211
+ 'leaf.compact line 89 char 1',
176
212
  'CircuitContext',
177
213
  contextOrig_0)
178
214
  }
179
215
  if (!(c_0.buffer instanceof ArrayBuffer && c_0.BYTES_PER_ELEMENT === 1 && c_0.length === 32)) {
180
216
  __compactRuntime.typeError('update_color',
181
217
  'argument 1 (argument 2 as invoked from Typescript)',
182
- 'leaf.compact line 83 char 1',
218
+ 'leaf.compact line 89 char 1',
183
219
  'Bytes<32>',
184
220
  c_0)
185
221
  }
186
222
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
187
223
  const partialProofData = {
188
224
  input: {
189
- value: _descriptor_1.toValue(c_0),
190
- alignment: _descriptor_1.alignment()
225
+ value: _descriptor_0.toValue(c_0),
226
+ alignment: _descriptor_0.alignment()
191
227
  },
192
228
  output: undefined,
193
229
  publicTranscript: [],
@@ -197,37 +233,57 @@ export class Contract {
197
233
  partialProofData.output = { value: [], alignment: [] };
198
234
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
199
235
  },
200
- update_cost: (...args_1) => {
201
- if (args_1.length !== 2) {
202
- throw new __compactRuntime.CompactError(`update_cost: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
236
+ update_costs: (...args_1) => {
237
+ if (args_1.length !== 4) {
238
+ throw new __compactRuntime.CompactError(`update_costs: expected 4 arguments (as invoked from Typescript), received ${args_1.length}`);
203
239
  }
204
240
  const contextOrig_0 = args_1[0];
205
- const c_0 = args_1[1];
241
+ const cost_short_0 = args_1[1];
242
+ const cost_med_0 = args_1[2];
243
+ const cost_long_0 = args_1[3];
206
244
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
207
- __compactRuntime.typeError('update_cost',
245
+ __compactRuntime.typeError('update_costs',
208
246
  'argument 1 (as invoked from Typescript)',
209
- 'leaf.compact line 88 char 1',
247
+ 'leaf.compact line 94 char 1',
210
248
  'CircuitContext',
211
249
  contextOrig_0)
212
250
  }
213
- if (!(typeof(c_0) === 'bigint' && c_0 >= 0n && c_0 <= 18446744073709551615n)) {
214
- __compactRuntime.typeError('update_cost',
251
+ if (!(typeof(cost_short_0) === 'bigint' && cost_short_0 >= 0n && cost_short_0 <= 340282366920938463463374607431768211455n)) {
252
+ __compactRuntime.typeError('update_costs',
215
253
  'argument 1 (argument 2 as invoked from Typescript)',
216
- 'leaf.compact line 88 char 1',
217
- 'Uint<0..18446744073709551616>',
218
- c_0)
254
+ 'leaf.compact line 94 char 1',
255
+ 'Uint<0..340282366920938463463374607431768211456>',
256
+ cost_short_0)
257
+ }
258
+ if (!(typeof(cost_med_0) === 'bigint' && cost_med_0 >= 0n && cost_med_0 <= 340282366920938463463374607431768211455n)) {
259
+ __compactRuntime.typeError('update_costs',
260
+ 'argument 2 (argument 3 as invoked from Typescript)',
261
+ 'leaf.compact line 94 char 1',
262
+ 'Uint<0..340282366920938463463374607431768211456>',
263
+ cost_med_0)
264
+ }
265
+ if (!(typeof(cost_long_0) === 'bigint' && cost_long_0 >= 0n && cost_long_0 <= 340282366920938463463374607431768211455n)) {
266
+ __compactRuntime.typeError('update_costs',
267
+ 'argument 3 (argument 4 as invoked from Typescript)',
268
+ 'leaf.compact line 94 char 1',
269
+ 'Uint<0..340282366920938463463374607431768211456>',
270
+ cost_long_0)
219
271
  }
220
272
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
221
273
  const partialProofData = {
222
274
  input: {
223
- value: _descriptor_6.toValue(c_0),
224
- alignment: _descriptor_6.alignment()
275
+ value: _descriptor_9.toValue(cost_short_0).concat(_descriptor_9.toValue(cost_med_0).concat(_descriptor_9.toValue(cost_long_0))),
276
+ alignment: _descriptor_9.alignment().concat(_descriptor_9.alignment().concat(_descriptor_9.alignment()))
225
277
  },
226
278
  output: undefined,
227
279
  publicTranscript: [],
228
280
  privateTranscriptOutputs: []
229
281
  };
230
- const result_0 = this._update_cost_0(context, partialProofData, c_0);
282
+ const result_0 = this._update_costs_0(context,
283
+ partialProofData,
284
+ cost_short_0,
285
+ cost_med_0,
286
+ cost_long_0);
231
287
  partialProofData.output = { value: [], alignment: [] };
232
288
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
233
289
  },
@@ -241,29 +297,29 @@ export class Contract {
241
297
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
242
298
  __compactRuntime.typeError('update_target_and_fields',
243
299
  'argument 1 (as invoked from Typescript)',
244
- 'leaf.compact line 93 char 1',
300
+ 'leaf.compact line 101 char 1',
245
301
  'CircuitContext',
246
302
  contextOrig_0)
247
303
  }
248
304
  if (!(typeof(new_target_0) === 'object' && typeof(new_target_0.is_left) === 'boolean' && typeof(new_target_0.left) === 'object' && new_target_0.left.bytes.buffer instanceof ArrayBuffer && new_target_0.left.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.left.bytes.length === 32 && typeof(new_target_0.right) === 'object' && new_target_0.right.bytes.buffer instanceof ArrayBuffer && new_target_0.right.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.right.bytes.length === 32)) {
249
305
  __compactRuntime.typeError('update_target_and_fields',
250
306
  'argument 1 (argument 2 as invoked from Typescript)',
251
- 'leaf.compact line 93 char 1',
307
+ 'leaf.compact line 101 char 1',
252
308
  'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
253
309
  new_target_0)
254
310
  }
255
311
  if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2 && true && true))) {
256
312
  __compactRuntime.typeError('update_target_and_fields',
257
313
  'argument 2 (argument 3 as invoked from Typescript)',
258
- 'leaf.compact line 93 char 1',
314
+ 'leaf.compact line 101 char 1',
259
315
  'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
260
316
  kvs_0)
261
317
  }
262
318
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
263
319
  const partialProofData = {
264
320
  input: {
265
- value: _descriptor_7.toValue(new_target_0).concat(_descriptor_10.toValue(kvs_0)),
266
- alignment: _descriptor_7.alignment().concat(_descriptor_10.alignment())
321
+ value: _descriptor_6.toValue(new_target_0).concat(_descriptor_12.toValue(kvs_0)),
322
+ alignment: _descriptor_6.alignment().concat(_descriptor_12.alignment())
267
323
  },
268
324
  output: undefined,
269
325
  publicTranscript: [],
@@ -277,39 +333,54 @@ export class Contract {
277
333
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
278
334
  },
279
335
  buy_domain_for: (...args_1) => {
280
- if (args_1.length !== 4) {
281
- throw new __compactRuntime.CompactError(`buy_domain_for: expected 4 arguments (as invoked from Typescript), received ${args_1.length}`);
336
+ if (args_1.length !== 5) {
337
+ throw new __compactRuntime.CompactError(`buy_domain_for: expected 5 arguments (as invoked from Typescript), received ${args_1.length}`);
282
338
  }
283
339
  const contextOrig_0 = args_1[0];
284
340
  const owner_0 = args_1[1];
285
341
  const domain_0 = args_1[2];
286
- const resolver_0 = args_1[3];
342
+ const len_0 = args_1[3];
343
+ const resolver_0 = args_1[4];
287
344
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
288
345
  __compactRuntime.typeError('buy_domain_for',
289
346
  'argument 1 (as invoked from Typescript)',
290
- 'leaf.compact line 107 char 1',
347
+ 'leaf.compact line 115 char 1',
291
348
  'CircuitContext',
292
349
  contextOrig_0)
293
350
  }
294
351
  if (!(typeof(owner_0) === 'object' && owner_0.bytes.buffer instanceof ArrayBuffer && owner_0.bytes.BYTES_PER_ELEMENT === 1 && owner_0.bytes.length === 32)) {
295
352
  __compactRuntime.typeError('buy_domain_for',
296
353
  'argument 1 (argument 2 as invoked from Typescript)',
297
- 'leaf.compact line 107 char 1',
354
+ 'leaf.compact line 115 char 1',
298
355
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
299
356
  owner_0)
300
357
  }
301
- if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
358
+ if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
359
+ __compactRuntime.typeError('buy_domain_for',
360
+ 'argument 2 (argument 3 as invoked from Typescript)',
361
+ 'leaf.compact line 115 char 1',
362
+ 'Bytes<32>',
363
+ domain_0)
364
+ }
365
+ if (!(typeof(len_0) === 'bigint' && len_0 >= 0n && len_0 <= 4294967295n)) {
302
366
  __compactRuntime.typeError('buy_domain_for',
303
367
  'argument 3 (argument 4 as invoked from Typescript)',
304
- 'leaf.compact line 107 char 1',
368
+ 'leaf.compact line 115 char 1',
369
+ 'Uint<0..4294967296>',
370
+ len_0)
371
+ }
372
+ if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
373
+ __compactRuntime.typeError('buy_domain_for',
374
+ 'argument 4 (argument 5 as invoked from Typescript)',
375
+ 'leaf.compact line 115 char 1',
305
376
  'struct ContractAddress<bytes: Bytes<32>>',
306
377
  resolver_0)
307
378
  }
308
379
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
309
380
  const partialProofData = {
310
381
  input: {
311
- value: _descriptor_2.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0))),
312
- alignment: _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_3.alignment()))
382
+ value: _descriptor_1.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_8.toValue(len_0).concat(_descriptor_2.toValue(resolver_0)))),
383
+ alignment: _descriptor_1.alignment().concat(_descriptor_0.alignment().concat(_descriptor_8.alignment().concat(_descriptor_2.alignment())))
313
384
  },
314
385
  output: undefined,
315
386
  publicTranscript: [],
@@ -319,6 +390,7 @@ export class Contract {
319
390
  partialProofData,
320
391
  owner_0,
321
392
  domain_0,
393
+ len_0,
322
394
  resolver_0);
323
395
  partialProofData.output = { value: [], alignment: [] };
324
396
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
@@ -332,22 +404,22 @@ export class Contract {
332
404
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
333
405
  __compactRuntime.typeError('add_multiple_fields',
334
406
  'argument 1 (as invoked from Typescript)',
335
- 'leaf.compact line 126 char 1',
407
+ 'leaf.compact line 156 char 1',
336
408
  'CircuitContext',
337
409
  contextOrig_0)
338
410
  }
339
411
  if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2 && true && true))) {
340
412
  __compactRuntime.typeError('add_multiple_fields',
341
413
  'argument 1 (argument 2 as invoked from Typescript)',
342
- 'leaf.compact line 126 char 1',
414
+ 'leaf.compact line 156 char 1',
343
415
  'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
344
416
  kvs_0)
345
417
  }
346
418
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
347
419
  const partialProofData = {
348
420
  input: {
349
- value: _descriptor_10.toValue(kvs_0),
350
- alignment: _descriptor_10.alignment()
421
+ value: _descriptor_12.toValue(kvs_0),
422
+ alignment: _descriptor_12.alignment()
351
423
  },
352
424
  output: undefined,
353
425
  publicTranscript: [],
@@ -369,15 +441,15 @@ export class Contract {
369
441
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
370
442
  __compactRuntime.typeError('insert_field',
371
443
  'argument 1 (as invoked from Typescript)',
372
- 'leaf.compact line 135 char 1',
444
+ 'leaf.compact line 165 char 1',
373
445
  'CircuitContext',
374
446
  contextOrig_0)
375
447
  }
376
448
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
377
449
  const partialProofData = {
378
450
  input: {
379
- value: _descriptor_0.toValue(k_0).concat(_descriptor_0.toValue(v_0)),
380
- alignment: _descriptor_0.alignment().concat(_descriptor_0.alignment())
451
+ value: _descriptor_7.toValue(k_0).concat(_descriptor_7.toValue(v_0)),
452
+ alignment: _descriptor_7.alignment().concat(_descriptor_7.alignment())
381
453
  },
382
454
  output: undefined,
383
455
  publicTranscript: [],
@@ -399,15 +471,15 @@ export class Contract {
399
471
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
400
472
  __compactRuntime.typeError('clear_field',
401
473
  'argument 1 (as invoked from Typescript)',
402
- 'leaf.compact line 140 char 1',
474
+ 'leaf.compact line 170 char 1',
403
475
  'CircuitContext',
404
476
  contextOrig_0)
405
477
  }
406
478
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
407
479
  const partialProofData = {
408
480
  input: {
409
- value: _descriptor_0.toValue(k_0),
410
- alignment: _descriptor_0.alignment()
481
+ value: _descriptor_7.toValue(k_0),
482
+ alignment: _descriptor_7.alignment()
411
483
  },
412
484
  output: undefined,
413
485
  publicTranscript: [],
@@ -418,68 +490,77 @@ export class Contract {
418
490
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
419
491
  },
420
492
  clear_all_fields: (...args_1) => {
421
- if (args_1.length !== 2) {
422
- throw new __compactRuntime.CompactError(`clear_all_fields: expected 2 arguments (as invoked from Typescript), received ${args_1.length}`);
493
+ if (args_1.length !== 1) {
494
+ throw new __compactRuntime.CompactError(`clear_all_fields: expected 1 argument (as invoked from Typescript), received ${args_1.length}`);
423
495
  }
424
496
  const contextOrig_0 = args_1[0];
425
- const domain_0 = args_1[1];
426
497
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
427
498
  __compactRuntime.typeError('clear_all_fields',
428
499
  'argument 1 (as invoked from Typescript)',
429
- 'leaf.compact line 145 char 1',
500
+ 'leaf.compact line 175 char 1',
430
501
  'CircuitContext',
431
502
  contextOrig_0)
432
503
  }
433
504
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
434
505
  const partialProofData = {
435
- input: {
436
- value: _descriptor_0.toValue(domain_0),
437
- alignment: _descriptor_0.alignment()
438
- },
506
+ input: { value: [], alignment: [] },
439
507
  output: undefined,
440
508
  publicTranscript: [],
441
509
  privateTranscriptOutputs: []
442
510
  };
443
- const result_0 = this._clear_all_fields_0(context,
444
- partialProofData,
445
- domain_0);
511
+ const result_0 = this._clear_all_fields_0(context, partialProofData);
446
512
  partialProofData.output = { value: [], alignment: [] };
447
513
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
448
514
  },
449
515
  register_domain_for: (...args_1) => {
450
- if (args_1.length !== 4) {
451
- throw new __compactRuntime.CompactError(`register_domain_for: expected 4 arguments (as invoked from Typescript), received ${args_1.length}`);
516
+ if (args_1.length !== 5) {
517
+ throw new __compactRuntime.CompactError(`register_domain_for: expected 5 arguments (as invoked from Typescript), received ${args_1.length}`);
452
518
  }
453
519
  const contextOrig_0 = args_1[0];
454
520
  const owner_0 = args_1[1];
455
521
  const domain_0 = args_1[2];
456
- const resolver_0 = args_1[3];
522
+ const len_0 = args_1[3];
523
+ const resolver_0 = args_1[4];
457
524
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
458
525
  __compactRuntime.typeError('register_domain_for',
459
526
  'argument 1 (as invoked from Typescript)',
460
- 'leaf.compact line 150 char 1',
527
+ 'leaf.compact line 180 char 1',
461
528
  'CircuitContext',
462
529
  contextOrig_0)
463
530
  }
464
531
  if (!(typeof(owner_0) === 'object' && owner_0.bytes.buffer instanceof ArrayBuffer && owner_0.bytes.BYTES_PER_ELEMENT === 1 && owner_0.bytes.length === 32)) {
465
532
  __compactRuntime.typeError('register_domain_for',
466
533
  'argument 1 (argument 2 as invoked from Typescript)',
467
- 'leaf.compact line 150 char 1',
534
+ 'leaf.compact line 180 char 1',
468
535
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
469
536
  owner_0)
470
537
  }
471
- if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
538
+ if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
539
+ __compactRuntime.typeError('register_domain_for',
540
+ 'argument 2 (argument 3 as invoked from Typescript)',
541
+ 'leaf.compact line 180 char 1',
542
+ 'Bytes<32>',
543
+ domain_0)
544
+ }
545
+ if (!(typeof(len_0) === 'bigint' && len_0 >= 0n && len_0 <= 4294967295n)) {
472
546
  __compactRuntime.typeError('register_domain_for',
473
547
  'argument 3 (argument 4 as invoked from Typescript)',
474
- 'leaf.compact line 150 char 1',
548
+ 'leaf.compact line 180 char 1',
549
+ 'Uint<0..4294967296>',
550
+ len_0)
551
+ }
552
+ if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
553
+ __compactRuntime.typeError('register_domain_for',
554
+ 'argument 4 (argument 5 as invoked from Typescript)',
555
+ 'leaf.compact line 180 char 1',
475
556
  'struct ContractAddress<bytes: Bytes<32>>',
476
557
  resolver_0)
477
558
  }
478
559
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
479
560
  const partialProofData = {
480
561
  input: {
481
- value: _descriptor_2.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0))),
482
- alignment: _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_3.alignment()))
562
+ value: _descriptor_1.toValue(owner_0).concat(_descriptor_0.toValue(domain_0).concat(_descriptor_8.toValue(len_0).concat(_descriptor_2.toValue(resolver_0)))),
563
+ alignment: _descriptor_1.alignment().concat(_descriptor_0.alignment().concat(_descriptor_8.alignment().concat(_descriptor_2.alignment())))
483
564
  },
484
565
  output: undefined,
485
566
  publicTranscript: [],
@@ -489,6 +570,7 @@ export class Contract {
489
570
  partialProofData,
490
571
  owner_0,
491
572
  domain_0,
573
+ len_0,
492
574
  resolver_0);
493
575
  partialProofData.output = { value: [], alignment: [] };
494
576
  return { result: result_0, context: context, proofData: partialProofData, gasCost: context.gasCost };
@@ -503,22 +585,29 @@ export class Contract {
503
585
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
504
586
  __compactRuntime.typeError('set_resolver',
505
587
  'argument 1 (as invoked from Typescript)',
506
- 'leaf.compact line 169 char 1',
588
+ 'leaf.compact line 210 char 1',
507
589
  'CircuitContext',
508
590
  contextOrig_0)
509
591
  }
592
+ if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
593
+ __compactRuntime.typeError('set_resolver',
594
+ 'argument 1 (argument 2 as invoked from Typescript)',
595
+ 'leaf.compact line 210 char 1',
596
+ 'Bytes<32>',
597
+ domain_0)
598
+ }
510
599
  if (!(typeof(resolver_0) === 'object' && resolver_0.bytes.buffer instanceof ArrayBuffer && resolver_0.bytes.BYTES_PER_ELEMENT === 1 && resolver_0.bytes.length === 32)) {
511
600
  __compactRuntime.typeError('set_resolver',
512
601
  'argument 2 (argument 3 as invoked from Typescript)',
513
- 'leaf.compact line 169 char 1',
602
+ 'leaf.compact line 210 char 1',
514
603
  'struct ContractAddress<bytes: Bytes<32>>',
515
604
  resolver_0)
516
605
  }
517
606
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
518
607
  const partialProofData = {
519
608
  input: {
520
- value: _descriptor_0.toValue(domain_0).concat(_descriptor_3.toValue(resolver_0)),
521
- alignment: _descriptor_0.alignment().concat(_descriptor_3.alignment())
609
+ value: _descriptor_0.toValue(domain_0).concat(_descriptor_2.toValue(resolver_0)),
610
+ alignment: _descriptor_0.alignment().concat(_descriptor_2.alignment())
522
611
  },
523
612
  output: undefined,
524
613
  publicTranscript: [],
@@ -540,22 +629,22 @@ export class Contract {
540
629
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
541
630
  __compactRuntime.typeError('update_domain_target',
542
631
  'argument 1 (as invoked from Typescript)',
543
- 'leaf.compact line 183 char 1',
632
+ 'leaf.compact line 224 char 1',
544
633
  'CircuitContext',
545
634
  contextOrig_0)
546
635
  }
547
636
  if (!(typeof(new_target_0) === 'object' && typeof(new_target_0.is_left) === 'boolean' && typeof(new_target_0.left) === 'object' && new_target_0.left.bytes.buffer instanceof ArrayBuffer && new_target_0.left.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.left.bytes.length === 32 && typeof(new_target_0.right) === 'object' && new_target_0.right.bytes.buffer instanceof ArrayBuffer && new_target_0.right.bytes.BYTES_PER_ELEMENT === 1 && new_target_0.right.bytes.length === 32)) {
548
637
  __compactRuntime.typeError('update_domain_target',
549
638
  'argument 1 (argument 2 as invoked from Typescript)',
550
- 'leaf.compact line 183 char 1',
639
+ 'leaf.compact line 224 char 1',
551
640
  'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
552
641
  new_target_0)
553
642
  }
554
643
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
555
644
  const partialProofData = {
556
645
  input: {
557
- value: _descriptor_7.toValue(new_target_0),
558
- alignment: _descriptor_7.alignment()
646
+ value: _descriptor_6.toValue(new_target_0),
647
+ alignment: _descriptor_6.alignment()
559
648
  },
560
649
  output: undefined,
561
650
  publicTranscript: [],
@@ -577,22 +666,29 @@ export class Contract {
577
666
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
578
667
  __compactRuntime.typeError('transfer_domain',
579
668
  'argument 1 (as invoked from Typescript)',
580
- 'leaf.compact line 189 char 1',
669
+ 'leaf.compact line 230 char 1',
581
670
  'CircuitContext',
582
671
  contextOrig_0)
583
672
  }
673
+ if (!(domain_0.buffer instanceof ArrayBuffer && domain_0.BYTES_PER_ELEMENT === 1 && domain_0.length === 32)) {
674
+ __compactRuntime.typeError('transfer_domain',
675
+ 'argument 1 (argument 2 as invoked from Typescript)',
676
+ 'leaf.compact line 230 char 1',
677
+ 'Bytes<32>',
678
+ domain_0)
679
+ }
584
680
  if (!(typeof(new_owner_0) === 'object' && new_owner_0.bytes.buffer instanceof ArrayBuffer && new_owner_0.bytes.BYTES_PER_ELEMENT === 1 && new_owner_0.bytes.length === 32)) {
585
681
  __compactRuntime.typeError('transfer_domain',
586
682
  'argument 2 (argument 3 as invoked from Typescript)',
587
- 'leaf.compact line 189 char 1',
683
+ 'leaf.compact line 230 char 1',
588
684
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
589
685
  new_owner_0)
590
686
  }
591
687
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
592
688
  const partialProofData = {
593
689
  input: {
594
- value: _descriptor_0.toValue(domain_0).concat(_descriptor_2.toValue(new_owner_0)),
595
- alignment: _descriptor_0.alignment().concat(_descriptor_2.alignment())
690
+ value: _descriptor_0.toValue(domain_0).concat(_descriptor_1.toValue(new_owner_0)),
691
+ alignment: _descriptor_0.alignment().concat(_descriptor_1.alignment())
596
692
  },
597
693
  output: undefined,
598
694
  publicTranscript: [],
@@ -614,22 +710,22 @@ export class Contract {
614
710
  if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.currentQueryContext != undefined)) {
615
711
  __compactRuntime.typeError('change_owner',
616
712
  'argument 1 (as invoked from Typescript)',
617
- 'leaf.compact line 211 char 1',
713
+ 'leaf.compact line 252 char 1',
618
714
  'CircuitContext',
619
715
  contextOrig_0)
620
716
  }
621
717
  if (!(typeof(new_owner_0) === 'object' && new_owner_0.bytes.buffer instanceof ArrayBuffer && new_owner_0.bytes.BYTES_PER_ELEMENT === 1 && new_owner_0.bytes.length === 32)) {
622
718
  __compactRuntime.typeError('change_owner',
623
719
  'argument 1 (argument 2 as invoked from Typescript)',
624
- 'leaf.compact line 211 char 1',
720
+ 'leaf.compact line 252 char 1',
625
721
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
626
722
  new_owner_0)
627
723
  }
628
724
  const context = { ...contextOrig_0, gasCost: __compactRuntime.emptyRunningCost() };
629
725
  const partialProofData = {
630
726
  input: {
631
- value: _descriptor_2.toValue(new_owner_0),
632
- alignment: _descriptor_2.alignment()
727
+ value: _descriptor_1.toValue(new_owner_0),
728
+ alignment: _descriptor_1.alignment()
633
729
  },
634
730
  output: undefined,
635
731
  publicTranscript: [],
@@ -644,7 +740,22 @@ export class Contract {
644
740
  };
645
741
  this.impureCircuits = {
646
742
  update_color: this.circuits.update_color,
647
- update_cost: this.circuits.update_cost,
743
+ update_costs: this.circuits.update_costs,
744
+ update_target_and_fields: this.circuits.update_target_and_fields,
745
+ buy_domain_for: this.circuits.buy_domain_for,
746
+ add_multiple_fields: this.circuits.add_multiple_fields,
747
+ insert_field: this.circuits.insert_field,
748
+ clear_field: this.circuits.clear_field,
749
+ clear_all_fields: this.circuits.clear_all_fields,
750
+ register_domain_for: this.circuits.register_domain_for,
751
+ set_resolver: this.circuits.set_resolver,
752
+ update_domain_target: this.circuits.update_domain_target,
753
+ transfer_domain: this.circuits.transfer_domain,
754
+ change_owner: this.circuits.change_owner
755
+ };
756
+ this.provableCircuits = {
757
+ update_color: this.circuits.update_color,
758
+ update_costs: this.circuits.update_costs,
648
759
  update_target_and_fields: this.circuits.update_target_and_fields,
649
760
  buy_domain_for: this.circuits.buy_domain_for,
650
761
  add_multiple_fields: this.circuits.add_multiple_fields,
@@ -659,8 +770,8 @@ export class Contract {
659
770
  };
660
771
  }
661
772
  initialState(...args_0) {
662
- if (args_0.length !== 8) {
663
- throw new __compactRuntime.CompactError(`Contract state constructor: expected 8 arguments (as invoked from Typescript), received ${args_0.length}`);
773
+ if (args_0.length !== 10) {
774
+ throw new __compactRuntime.CompactError(`Contract state constructor: expected 10 arguments (as invoked from Typescript), received ${args_0.length}`);
664
775
  }
665
776
  const constructorContext_0 = args_0[0];
666
777
  const parent_domain_0 = args_0[1];
@@ -668,8 +779,10 @@ export class Contract {
668
779
  const target_0 = args_0[3];
669
780
  const domain_0 = args_0[4];
670
781
  const coin_color_0 = args_0[5];
671
- const domain_cost_0 = args_0[6];
672
- const kvs_0 = args_0[7];
782
+ const cost_short_0 = args_0[6];
783
+ const cost_med_0 = args_0[7];
784
+ const cost_long_0 = args_0[8];
785
+ const kvs_0 = args_0[9];
673
786
  if (typeof(constructorContext_0) !== 'object') {
674
787
  throw new __compactRuntime.CompactError(`Contract state constructor: expected 'constructorContext' in argument 1 (as invoked from Typescript) to be an object`);
675
788
  }
@@ -679,11 +792,11 @@ export class Contract {
679
792
  if (typeof(constructorContext_0.initialZswapLocalState) !== 'object') {
680
793
  throw new __compactRuntime.CompactError(`Contract state constructor: expected 'initialZswapLocalState' in argument 1 (as invoked from Typescript) to be an object`);
681
794
  }
682
- if (!(typeof(parent_domain_0) === 'object' && typeof(parent_domain_0.is_some) === 'boolean' && true)) {
795
+ if (!(typeof(parent_domain_0) === 'object' && typeof(parent_domain_0.is_some) === 'boolean' && parent_domain_0.value.buffer instanceof ArrayBuffer && parent_domain_0.value.BYTES_PER_ELEMENT === 1 && parent_domain_0.value.length === 32)) {
683
796
  __compactRuntime.typeError('Contract state constructor',
684
797
  'argument 1 (argument 2 as invoked from Typescript)',
685
798
  'leaf.compact line 53 char 1',
686
- 'struct Maybe<is_some: Boolean, value: Opaque<"string">>',
799
+ 'struct Maybe<is_some: Boolean, value: Bytes<32>>',
687
800
  parent_domain_0)
688
801
  }
689
802
  if (!(typeof(parent_resolver_0) === 'object' && parent_resolver_0.bytes.buffer instanceof ArrayBuffer && parent_resolver_0.bytes.BYTES_PER_ELEMENT === 1 && parent_resolver_0.bytes.length === 32)) {
@@ -700,11 +813,11 @@ export class Contract {
700
813
  'struct Either<is_left: Boolean, left: struct ZswapCoinPublicKey<bytes: Bytes<32>>, right: struct ContractAddress<bytes: Bytes<32>>>',
701
814
  target_0)
702
815
  }
703
- if (!(typeof(domain_0) === 'object' && typeof(domain_0.is_some) === 'boolean' && true)) {
816
+ if (!(typeof(domain_0) === 'object' && typeof(domain_0.is_some) === 'boolean' && domain_0.value.buffer instanceof ArrayBuffer && domain_0.value.BYTES_PER_ELEMENT === 1 && domain_0.value.length === 32)) {
704
817
  __compactRuntime.typeError('Contract state constructor',
705
818
  'argument 4 (argument 5 as invoked from Typescript)',
706
819
  'leaf.compact line 53 char 1',
707
- 'struct Maybe<is_some: Boolean, value: Opaque<"string">>',
820
+ 'struct Maybe<is_some: Boolean, value: Bytes<32>>',
708
821
  domain_0)
709
822
  }
710
823
  if (!(coin_color_0.buffer instanceof ArrayBuffer && coin_color_0.BYTES_PER_ELEMENT === 1 && coin_color_0.length === 32)) {
@@ -714,17 +827,31 @@ export class Contract {
714
827
  'Bytes<32>',
715
828
  coin_color_0)
716
829
  }
717
- if (!(typeof(domain_cost_0) === 'bigint' && domain_cost_0 >= 0n && domain_cost_0 <= 340282366920938463463374607431768211455n)) {
830
+ if (!(typeof(cost_short_0) === 'bigint' && cost_short_0 >= 0n && cost_short_0 <= 340282366920938463463374607431768211455n)) {
718
831
  __compactRuntime.typeError('Contract state constructor',
719
832
  'argument 6 (argument 7 as invoked from Typescript)',
720
833
  'leaf.compact line 53 char 1',
721
834
  'Uint<0..340282366920938463463374607431768211456>',
722
- domain_cost_0)
835
+ cost_short_0)
723
836
  }
724
- if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2 && true && true))) {
837
+ if (!(typeof(cost_med_0) === 'bigint' && cost_med_0 >= 0n && cost_med_0 <= 340282366920938463463374607431768211455n)) {
725
838
  __compactRuntime.typeError('Contract state constructor',
726
839
  'argument 7 (argument 8 as invoked from Typescript)',
727
840
  'leaf.compact line 53 char 1',
841
+ 'Uint<0..340282366920938463463374607431768211456>',
842
+ cost_med_0)
843
+ }
844
+ if (!(typeof(cost_long_0) === 'bigint' && cost_long_0 >= 0n && cost_long_0 <= 340282366920938463463374607431768211455n)) {
845
+ __compactRuntime.typeError('Contract state constructor',
846
+ 'argument 8 (argument 9 as invoked from Typescript)',
847
+ 'leaf.compact line 53 char 1',
848
+ 'Uint<0..340282366920938463463374607431768211456>',
849
+ cost_long_0)
850
+ }
851
+ if (!(Array.isArray(kvs_0) && kvs_0.length === 10 && kvs_0.every((t) => typeof(t) === 'object' && typeof(t.is_some) === 'boolean' && Array.isArray(t.value) && t.value.length === 2 && true && true))) {
852
+ __compactRuntime.typeError('Contract state constructor',
853
+ 'argument 9 (argument 10 as invoked from Typescript)',
854
+ 'leaf.compact line 53 char 1',
728
855
  'Vector<10, struct Maybe<is_some: Boolean, value: [Opaque<"string">, Opaque<"string">]>>',
729
856
  kvs_0)
730
857
  }
@@ -740,9 +867,11 @@ export class Contract {
740
867
  stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
741
868
  stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
742
869
  stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
870
+ stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
871
+ stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
743
872
  state_0.data = new __compactRuntime.ChargedState(stateValue_0);
744
873
  state_0.setOperation('update_color', new __compactRuntime.ContractOperation());
745
- state_0.setOperation('update_cost', new __compactRuntime.ContractOperation());
874
+ state_0.setOperation('update_costs', new __compactRuntime.ContractOperation());
746
875
  state_0.setOperation('update_target_and_fields', new __compactRuntime.ContractOperation());
747
876
  state_0.setOperation('buy_domain_for', new __compactRuntime.ContractOperation());
748
877
  state_0.setOperation('add_multiple_fields', new __compactRuntime.ContractOperation());
@@ -765,58 +894,58 @@ export class Contract {
765
894
  partialProofData,
766
895
  [
767
896
  { push: { storage: false,
768
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(0n),
769
- alignment: _descriptor_14.alignment() }).encode() } },
897
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(0n),
898
+ alignment: _descriptor_17.alignment() }).encode() } },
770
899
  { push: { storage: true,
771
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue({ is_some: false, value: '' }),
772
- alignment: _descriptor_13.alignment() }).encode() } },
900
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue({ is_some: false, value: new Uint8Array(32) }),
901
+ alignment: _descriptor_16.alignment() }).encode() } },
773
902
  { ins: { cached: false, n: 1 } }]);
774
903
  __compactRuntime.queryLedgerState(context,
775
904
  partialProofData,
776
905
  [
777
906
  { push: { storage: false,
778
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(1n),
779
- alignment: _descriptor_14.alignment() }).encode() } },
907
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(1n),
908
+ alignment: _descriptor_17.alignment() }).encode() } },
780
909
  { push: { storage: true,
781
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue({ bytes: new Uint8Array(32) }),
782
- alignment: _descriptor_3.alignment() }).encode() } },
910
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue({ bytes: new Uint8Array(32) }),
911
+ alignment: _descriptor_2.alignment() }).encode() } },
783
912
  { ins: { cached: false, n: 1 } }]);
784
913
  __compactRuntime.queryLedgerState(context,
785
914
  partialProofData,
786
915
  [
787
916
  { push: { storage: false,
788
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(2n),
789
- alignment: _descriptor_14.alignment() }).encode() } },
917
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(2n),
918
+ alignment: _descriptor_17.alignment() }).encode() } },
790
919
  { push: { storage: true,
791
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue({ is_some: false, value: '' }),
792
- alignment: _descriptor_13.alignment() }).encode() } },
920
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue({ is_some: false, value: new Uint8Array(32) }),
921
+ alignment: _descriptor_16.alignment() }).encode() } },
793
922
  { ins: { cached: false, n: 1 } }]);
794
923
  __compactRuntime.queryLedgerState(context,
795
924
  partialProofData,
796
925
  [
797
926
  { push: { storage: false,
798
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(3n),
799
- alignment: _descriptor_14.alignment() }).encode() } },
927
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
928
+ alignment: _descriptor_17.alignment() }).encode() } },
800
929
  { push: { storage: true,
801
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue({ bytes: new Uint8Array(32) }),
802
- alignment: _descriptor_2.alignment() }).encode() } },
930
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue({ bytes: new Uint8Array(32) }),
931
+ alignment: _descriptor_1.alignment() }).encode() } },
803
932
  { ins: { cached: false, n: 1 } }]);
804
933
  __compactRuntime.queryLedgerState(context,
805
934
  partialProofData,
806
935
  [
807
936
  { push: { storage: false,
808
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(4n),
809
- alignment: _descriptor_14.alignment() }).encode() } },
937
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
938
+ alignment: _descriptor_17.alignment() }).encode() } },
810
939
  { push: { storage: true,
811
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue({ is_left: false, left: { bytes: new Uint8Array(32) }, right: { bytes: new Uint8Array(32) } }),
812
- alignment: _descriptor_7.alignment() }).encode() } },
940
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue({ is_left: false, left: { bytes: new Uint8Array(32) }, right: { bytes: new Uint8Array(32) } }),
941
+ alignment: _descriptor_6.alignment() }).encode() } },
813
942
  { ins: { cached: false, n: 1 } }]);
814
943
  __compactRuntime.queryLedgerState(context,
815
944
  partialProofData,
816
945
  [
817
946
  { push: { storage: false,
818
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(5n),
819
- alignment: _descriptor_14.alignment() }).encode() } },
947
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(5n),
948
+ alignment: _descriptor_17.alignment() }).encode() } },
820
949
  { push: { storage: true,
821
950
  value: __compactRuntime.StateValue.newMap(
822
951
  new __compactRuntime.StateMap()
@@ -826,8 +955,8 @@ export class Contract {
826
955
  partialProofData,
827
956
  [
828
957
  { push: { storage: false,
829
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(6n),
830
- alignment: _descriptor_14.alignment() }).encode() } },
958
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(6n),
959
+ alignment: _descriptor_17.alignment() }).encode() } },
831
960
  { push: { storage: true,
832
961
  value: __compactRuntime.StateValue.newMap(
833
962
  new __compactRuntime.StateMap()
@@ -837,8 +966,8 @@ export class Contract {
837
966
  partialProofData,
838
967
  [
839
968
  { push: { storage: false,
840
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(7n),
841
- alignment: _descriptor_14.alignment() }).encode() } },
969
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(7n),
970
+ alignment: _descriptor_17.alignment() }).encode() } },
842
971
  { push: { storage: true,
843
972
  value: __compactRuntime.StateValue.newMap(
844
973
  new __compactRuntime.StateMap()
@@ -848,92 +977,132 @@ export class Contract {
848
977
  partialProofData,
849
978
  [
850
979
  { push: { storage: false,
851
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(8n),
852
- alignment: _descriptor_14.alignment() }).encode() } },
980
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(8n),
981
+ alignment: _descriptor_17.alignment() }).encode() } },
853
982
  { push: { storage: true,
854
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new Uint8Array(32)),
855
- alignment: _descriptor_1.alignment() }).encode() } },
983
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(new Uint8Array(32)),
984
+ alignment: _descriptor_0.alignment() }).encode() } },
985
+ { ins: { cached: false, n: 1 } }]);
986
+ __compactRuntime.queryLedgerState(context,
987
+ partialProofData,
988
+ [
989
+ { push: { storage: false,
990
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
991
+ alignment: _descriptor_17.alignment() }).encode() } },
992
+ { push: { storage: true,
993
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
994
+ alignment: _descriptor_9.alignment() }).encode() } },
856
995
  { ins: { cached: false, n: 1 } }]);
857
996
  __compactRuntime.queryLedgerState(context,
858
997
  partialProofData,
859
998
  [
860
999
  { push: { storage: false,
861
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(9n),
862
- alignment: _descriptor_14.alignment() }).encode() } },
1000
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
1001
+ alignment: _descriptor_17.alignment() }).encode() } },
863
1002
  { push: { storage: true,
864
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_11.toValue(0n),
865
- alignment: _descriptor_11.alignment() }).encode() } },
1003
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
1004
+ alignment: _descriptor_9.alignment() }).encode() } },
1005
+ { ins: { cached: false, n: 1 } }]);
1006
+ __compactRuntime.queryLedgerState(context,
1007
+ partialProofData,
1008
+ [
1009
+ { push: { storage: false,
1010
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
1011
+ alignment: _descriptor_17.alignment() }).encode() } },
1012
+ { push: { storage: true,
1013
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(0n),
1014
+ alignment: _descriptor_9.alignment() }).encode() } },
866
1015
  { ins: { cached: false, n: 1 } }]);
867
1016
  const tmp_0 = this._ownPublicKey_0(context, partialProofData);
868
1017
  __compactRuntime.queryLedgerState(context,
869
1018
  partialProofData,
870
1019
  [
871
1020
  { push: { storage: false,
872
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(3n),
873
- alignment: _descriptor_14.alignment() }).encode() } },
1021
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
1022
+ alignment: _descriptor_17.alignment() }).encode() } },
1023
+ { push: { storage: true,
1024
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(tmp_0),
1025
+ alignment: _descriptor_1.alignment() }).encode() } },
1026
+ { ins: { cached: false, n: 1 } }]);
1027
+ __compactRuntime.queryLedgerState(context,
1028
+ partialProofData,
1029
+ [
1030
+ { push: { storage: false,
1031
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(0n),
1032
+ alignment: _descriptor_17.alignment() }).encode() } },
874
1033
  { push: { storage: true,
875
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(tmp_0),
1034
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(parent_domain_0),
1035
+ alignment: _descriptor_16.alignment() }).encode() } },
1036
+ { ins: { cached: false, n: 1 } }]);
1037
+ __compactRuntime.queryLedgerState(context,
1038
+ partialProofData,
1039
+ [
1040
+ { push: { storage: false,
1041
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(1n),
1042
+ alignment: _descriptor_17.alignment() }).encode() } },
1043
+ { push: { storage: true,
1044
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(parent_resolver_0),
876
1045
  alignment: _descriptor_2.alignment() }).encode() } },
877
1046
  { ins: { cached: false, n: 1 } }]);
878
1047
  __compactRuntime.queryLedgerState(context,
879
1048
  partialProofData,
880
1049
  [
881
1050
  { push: { storage: false,
882
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(0n),
883
- alignment: _descriptor_14.alignment() }).encode() } },
1051
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
1052
+ alignment: _descriptor_17.alignment() }).encode() } },
884
1053
  { push: { storage: true,
885
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(parent_domain_0),
886
- alignment: _descriptor_13.alignment() }).encode() } },
1054
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(target_0),
1055
+ alignment: _descriptor_6.alignment() }).encode() } },
887
1056
  { ins: { cached: false, n: 1 } }]);
888
1057
  __compactRuntime.queryLedgerState(context,
889
1058
  partialProofData,
890
1059
  [
891
1060
  { push: { storage: false,
892
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(1n),
893
- alignment: _descriptor_14.alignment() }).encode() } },
1061
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(2n),
1062
+ alignment: _descriptor_17.alignment() }).encode() } },
894
1063
  { push: { storage: true,
895
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(parent_resolver_0),
896
- alignment: _descriptor_3.alignment() }).encode() } },
1064
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_16.toValue(domain_0),
1065
+ alignment: _descriptor_16.alignment() }).encode() } },
897
1066
  { ins: { cached: false, n: 1 } }]);
898
1067
  __compactRuntime.queryLedgerState(context,
899
1068
  partialProofData,
900
1069
  [
901
1070
  { push: { storage: false,
902
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(4n),
903
- alignment: _descriptor_14.alignment() }).encode() } },
1071
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(8n),
1072
+ alignment: _descriptor_17.alignment() }).encode() } },
904
1073
  { push: { storage: true,
905
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(target_0),
906
- alignment: _descriptor_7.alignment() }).encode() } },
1074
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(coin_color_0),
1075
+ alignment: _descriptor_0.alignment() }).encode() } },
907
1076
  { ins: { cached: false, n: 1 } }]);
908
1077
  __compactRuntime.queryLedgerState(context,
909
1078
  partialProofData,
910
1079
  [
911
1080
  { push: { storage: false,
912
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(2n),
913
- alignment: _descriptor_14.alignment() }).encode() } },
1081
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
1082
+ alignment: _descriptor_17.alignment() }).encode() } },
914
1083
  { push: { storage: true,
915
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(domain_0),
916
- alignment: _descriptor_13.alignment() }).encode() } },
1084
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_short_0),
1085
+ alignment: _descriptor_9.alignment() }).encode() } },
917
1086
  { ins: { cached: false, n: 1 } }]);
918
1087
  __compactRuntime.queryLedgerState(context,
919
1088
  partialProofData,
920
1089
  [
921
1090
  { push: { storage: false,
922
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(8n),
923
- alignment: _descriptor_14.alignment() }).encode() } },
1091
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
1092
+ alignment: _descriptor_17.alignment() }).encode() } },
924
1093
  { push: { storage: true,
925
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(coin_color_0),
926
- alignment: _descriptor_1.alignment() }).encode() } },
1094
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_med_0),
1095
+ alignment: _descriptor_9.alignment() }).encode() } },
927
1096
  { ins: { cached: false, n: 1 } }]);
928
1097
  __compactRuntime.queryLedgerState(context,
929
1098
  partialProofData,
930
1099
  [
931
1100
  { push: { storage: false,
932
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(9n),
933
- alignment: _descriptor_14.alignment() }).encode() } },
1101
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
1102
+ alignment: _descriptor_17.alignment() }).encode() } },
934
1103
  { push: { storage: true,
935
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_11.toValue(domain_cost_0),
936
- alignment: _descriptor_11.alignment() }).encode() } },
1104
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_long_0),
1105
+ alignment: _descriptor_9.alignment() }).encode() } },
937
1106
  { ins: { cached: false, n: 1 } }]);
938
1107
  this._folder_0(context,
939
1108
  partialProofData,
@@ -949,14 +1118,14 @@ export class Contract {
949
1118
  pushPath: true,
950
1119
  path: [
951
1120
  { tag: 'value',
952
- value: { value: _descriptor_14.toValue(7n),
953
- alignment: _descriptor_14.alignment() } }] } },
1121
+ value: { value: _descriptor_17.toValue(7n),
1122
+ alignment: _descriptor_17.alignment() } }] } },
954
1123
  { push: { storage: false,
955
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
956
- alignment: _descriptor_0.alignment() }).encode() } },
1124
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
1125
+ alignment: _descriptor_7.alignment() }).encode() } },
957
1126
  { push: { storage: true,
958
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_2),
959
- alignment: _descriptor_0.alignment() }).encode() } },
1127
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_2),
1128
+ alignment: _descriptor_7.alignment() }).encode() } },
960
1129
  { ins: { cached: false,
961
1130
  n: 1 } },
962
1131
  { ins: { cached: true,
@@ -974,16 +1143,173 @@ export class Contract {
974
1143
  }
975
1144
  }
976
1145
  _none_0() { return { is_some: false, value: ['', ''] }; }
1146
+ _left_0(value_0) {
1147
+ return { is_left: true, left: value_0, right: new Uint8Array(32) };
1148
+ }
1149
+ _right_0(value_0) {
1150
+ return { is_left: false, left: { bytes: new Uint8Array(32) }, right: value_0 };
1151
+ }
1152
+ _sendUnshielded_0(context, partialProofData, color_0, amount_0, recipient_0) {
1153
+ const tmp_0 = this._left_0(color_0);
1154
+ __compactRuntime.queryLedgerState(context,
1155
+ partialProofData,
1156
+ [
1157
+ { swap: { n: 0 } },
1158
+ { idx: { cached: true,
1159
+ pushPath: true,
1160
+ path: [
1161
+ { tag: 'value',
1162
+ value: { value: _descriptor_17.toValue(7n),
1163
+ alignment: _descriptor_17.alignment() } }] } },
1164
+ { push: { storage: false,
1165
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_0),
1166
+ alignment: _descriptor_13.alignment() }).encode() } },
1167
+ { dup: { n: 1 } },
1168
+ { dup: { n: 1 } },
1169
+ 'member',
1170
+ { push: { storage: false,
1171
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
1172
+ alignment: _descriptor_9.alignment() }).encode() } },
1173
+ { swap: { n: 0 } },
1174
+ 'neg',
1175
+ { branch: { skip: 4 } },
1176
+ { dup: { n: 2 } },
1177
+ { dup: { n: 2 } },
1178
+ { idx: { cached: true,
1179
+ pushPath: false,
1180
+ path: [ { tag: 'stack' }] } },
1181
+ 'add',
1182
+ { ins: { cached: true, n: 2 } },
1183
+ { swap: { n: 0 } }]);
1184
+ const tmp_1 = this._left_0(color_0);
1185
+ __compactRuntime.queryLedgerState(context,
1186
+ partialProofData,
1187
+ [
1188
+ { swap: { n: 0 } },
1189
+ { idx: { cached: true,
1190
+ pushPath: true,
1191
+ path: [
1192
+ { tag: 'value',
1193
+ value: { value: _descriptor_17.toValue(8n),
1194
+ alignment: _descriptor_17.alignment() } }] } },
1195
+ { push: { storage: false,
1196
+ value: __compactRuntime.StateValue.newCell(__compactRuntime.alignedConcat(
1197
+ { value: _descriptor_13.toValue(tmp_1),
1198
+ alignment: _descriptor_13.alignment() },
1199
+ { value: _descriptor_15.toValue(recipient_0),
1200
+ alignment: _descriptor_15.alignment() }
1201
+ )).encode() } },
1202
+ { dup: { n: 1 } },
1203
+ { dup: { n: 1 } },
1204
+ 'member',
1205
+ { push: { storage: false,
1206
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
1207
+ alignment: _descriptor_9.alignment() }).encode() } },
1208
+ { swap: { n: 0 } },
1209
+ 'neg',
1210
+ { branch: { skip: 4 } },
1211
+ { dup: { n: 2 } },
1212
+ { dup: { n: 2 } },
1213
+ { idx: { cached: true,
1214
+ pushPath: false,
1215
+ path: [ { tag: 'stack' }] } },
1216
+ 'add',
1217
+ { ins: { cached: true, n: 2 } },
1218
+ { swap: { n: 0 } }]);
1219
+ if (recipient_0.is_left
1220
+ &&
1221
+ this._equal_1(recipient_0.left.bytes,
1222
+ _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1223
+ partialProofData,
1224
+ [
1225
+ { dup: { n: 2 } },
1226
+ { idx: { cached: true,
1227
+ pushPath: false,
1228
+ path: [
1229
+ { tag: 'value',
1230
+ value: { value: _descriptor_17.toValue(0n),
1231
+ alignment: _descriptor_17.alignment() } }] } },
1232
+ { popeq: { cached: true,
1233
+ result: undefined } }]).value).bytes))
1234
+ {
1235
+ const tmp_2 = this._left_0(color_0);
1236
+ __compactRuntime.queryLedgerState(context,
1237
+ partialProofData,
1238
+ [
1239
+ { swap: { n: 0 } },
1240
+ { idx: { cached: true,
1241
+ pushPath: true,
1242
+ path: [
1243
+ { tag: 'value',
1244
+ value: { value: _descriptor_17.toValue(6n),
1245
+ alignment: _descriptor_17.alignment() } }] } },
1246
+ { push: { storage: false,
1247
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_2),
1248
+ alignment: _descriptor_13.alignment() }).encode() } },
1249
+ { dup: { n: 1 } },
1250
+ { dup: { n: 1 } },
1251
+ 'member',
1252
+ { push: { storage: false,
1253
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
1254
+ alignment: _descriptor_9.alignment() }).encode() } },
1255
+ { swap: { n: 0 } },
1256
+ 'neg',
1257
+ { branch: { skip: 4 } },
1258
+ { dup: { n: 2 } },
1259
+ { dup: { n: 2 } },
1260
+ { idx: { cached: true,
1261
+ pushPath: false,
1262
+ path: [ { tag: 'stack' }] } },
1263
+ 'add',
1264
+ { ins: { cached: true, n: 2 } },
1265
+ { swap: { n: 0 } }]);
1266
+ }
1267
+ return [];
1268
+ }
1269
+ _receiveUnshielded_0(context, partialProofData, color_0, amount_0) {
1270
+ const tmp_0 = this._left_0(color_0);
1271
+ __compactRuntime.queryLedgerState(context,
1272
+ partialProofData,
1273
+ [
1274
+ { swap: { n: 0 } },
1275
+ { idx: { cached: true,
1276
+ pushPath: true,
1277
+ path: [
1278
+ { tag: 'value',
1279
+ value: { value: _descriptor_17.toValue(6n),
1280
+ alignment: _descriptor_17.alignment() } }] } },
1281
+ { push: { storage: false,
1282
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(tmp_0),
1283
+ alignment: _descriptor_13.alignment() }).encode() } },
1284
+ { dup: { n: 1 } },
1285
+ { dup: { n: 1 } },
1286
+ 'member',
1287
+ { push: { storage: false,
1288
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(amount_0),
1289
+ alignment: _descriptor_9.alignment() }).encode() } },
1290
+ { swap: { n: 0 } },
1291
+ 'neg',
1292
+ { branch: { skip: 4 } },
1293
+ { dup: { n: 2 } },
1294
+ { dup: { n: 2 } },
1295
+ { idx: { cached: true,
1296
+ pushPath: false,
1297
+ path: [ { tag: 'stack' }] } },
1298
+ 'add',
1299
+ { ins: { cached: true, n: 2 } },
1300
+ { swap: { n: 0 } }]);
1301
+ return [];
1302
+ }
977
1303
  _ownPublicKey_0(context, partialProofData) {
978
1304
  const result_0 = __compactRuntime.ownPublicKey(context);
979
1305
  partialProofData.privateTranscriptOutputs.push({
980
- value: _descriptor_2.toValue(result_0),
981
- alignment: _descriptor_2.alignment()
1306
+ value: _descriptor_1.toValue(result_0),
1307
+ alignment: _descriptor_1.alignment()
982
1308
  });
983
1309
  return result_0;
984
1310
  }
985
1311
  _update_color_0(context, partialProofData, c_0) {
986
- __compactRuntime.assert(this._equal_1(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1312
+ __compactRuntime.assert(this._equal_2(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
987
1313
  partialProofData,
988
1314
  [
989
1315
  { dup: { n: 0 } },
@@ -991,8 +1317,8 @@ export class Contract {
991
1317
  pushPath: false,
992
1318
  path: [
993
1319
  { tag: 'value',
994
- value: { value: _descriptor_14.toValue(3n),
995
- alignment: _descriptor_14.alignment() } }] } },
1320
+ value: { value: _descriptor_17.toValue(3n),
1321
+ alignment: _descriptor_17.alignment() } }] } },
996
1322
  { popeq: { cached: false,
997
1323
  result: undefined } }]).value),
998
1324
  this._ownPublicKey_0(context,
@@ -1002,16 +1328,21 @@ export class Contract {
1002
1328
  partialProofData,
1003
1329
  [
1004
1330
  { push: { storage: false,
1005
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(8n),
1006
- alignment: _descriptor_14.alignment() }).encode() } },
1331
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(8n),
1332
+ alignment: _descriptor_17.alignment() }).encode() } },
1007
1333
  { push: { storage: true,
1008
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(c_0),
1009
- alignment: _descriptor_1.alignment() }).encode() } },
1334
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(c_0),
1335
+ alignment: _descriptor_0.alignment() }).encode() } },
1010
1336
  { ins: { cached: false, n: 1 } }]);
1011
1337
  return [];
1012
1338
  }
1013
- _update_cost_0(context, partialProofData, c_0) {
1014
- __compactRuntime.assert(this._equal_2(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1339
+ _update_costs_0(context,
1340
+ partialProofData,
1341
+ cost_short_0,
1342
+ cost_med_0,
1343
+ cost_long_0)
1344
+ {
1345
+ __compactRuntime.assert(this._equal_3(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1015
1346
  partialProofData,
1016
1347
  [
1017
1348
  { dup: { n: 0 } },
@@ -1019,28 +1350,47 @@ export class Contract {
1019
1350
  pushPath: false,
1020
1351
  path: [
1021
1352
  { tag: 'value',
1022
- value: { value: _descriptor_14.toValue(3n),
1023
- alignment: _descriptor_14.alignment() } }] } },
1353
+ value: { value: _descriptor_17.toValue(3n),
1354
+ alignment: _descriptor_17.alignment() } }] } },
1024
1355
  { popeq: { cached: false,
1025
1356
  result: undefined } }]).value),
1026
1357
  this._ownPublicKey_0(context,
1027
1358
  partialProofData)),
1028
1359
  'Not the owner');
1029
- const tmp_0 = c_0;
1030
1360
  __compactRuntime.queryLedgerState(context,
1031
1361
  partialProofData,
1032
1362
  [
1033
1363
  { push: { storage: false,
1034
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(9n),
1035
- alignment: _descriptor_14.alignment() }).encode() } },
1364
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(9n),
1365
+ alignment: _descriptor_17.alignment() }).encode() } },
1366
+ { push: { storage: true,
1367
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_short_0),
1368
+ alignment: _descriptor_9.alignment() }).encode() } },
1369
+ { ins: { cached: false, n: 1 } }]);
1370
+ __compactRuntime.queryLedgerState(context,
1371
+ partialProofData,
1372
+ [
1373
+ { push: { storage: false,
1374
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(10n),
1375
+ alignment: _descriptor_17.alignment() }).encode() } },
1036
1376
  { push: { storage: true,
1037
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_11.toValue(tmp_0),
1038
- alignment: _descriptor_11.alignment() }).encode() } },
1377
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_med_0),
1378
+ alignment: _descriptor_9.alignment() }).encode() } },
1379
+ { ins: { cached: false, n: 1 } }]);
1380
+ __compactRuntime.queryLedgerState(context,
1381
+ partialProofData,
1382
+ [
1383
+ { push: { storage: false,
1384
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(11n),
1385
+ alignment: _descriptor_17.alignment() }).encode() } },
1386
+ { push: { storage: true,
1387
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_9.toValue(cost_long_0),
1388
+ alignment: _descriptor_9.alignment() }).encode() } },
1039
1389
  { ins: { cached: false, n: 1 } }]);
1040
1390
  return [];
1041
1391
  }
1042
1392
  _update_target_and_fields_0(context, partialProofData, new_target_0, kvs_0) {
1043
- __compactRuntime.assert(this._equal_3(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1393
+ __compactRuntime.assert(this._equal_4(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1044
1394
  partialProofData,
1045
1395
  [
1046
1396
  { dup: { n: 0 } },
@@ -1048,8 +1398,8 @@ export class Contract {
1048
1398
  pushPath: false,
1049
1399
  path: [
1050
1400
  { tag: 'value',
1051
- value: { value: _descriptor_14.toValue(3n),
1052
- alignment: _descriptor_14.alignment() } }] } },
1401
+ value: { value: _descriptor_17.toValue(3n),
1402
+ alignment: _descriptor_17.alignment() } }] } },
1053
1403
  { popeq: { cached: false,
1054
1404
  result: undefined } }]).value),
1055
1405
  this._ownPublicKey_0(context,
@@ -1059,7 +1409,7 @@ export class Contract {
1059
1409
  partialProofData,
1060
1410
  ((context, partialProofData, t_0, kv_0) =>
1061
1411
  {
1062
- if (!this._equal_4(kv_0, this._none_0())) {
1412
+ if (!this._equal_5(kv_0, this._none_0())) {
1063
1413
  const tmp_0 = kv_0.value[0];
1064
1414
  const tmp_1 = kv_0.value[1];
1065
1415
  __compactRuntime.queryLedgerState(context,
@@ -1069,14 +1419,14 @@ export class Contract {
1069
1419
  pushPath: true,
1070
1420
  path: [
1071
1421
  { tag: 'value',
1072
- value: { value: _descriptor_14.toValue(7n),
1073
- alignment: _descriptor_14.alignment() } }] } },
1422
+ value: { value: _descriptor_17.toValue(7n),
1423
+ alignment: _descriptor_17.alignment() } }] } },
1074
1424
  { push: { storage: false,
1075
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
1076
- alignment: _descriptor_0.alignment() }).encode() } },
1425
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_0),
1426
+ alignment: _descriptor_7.alignment() }).encode() } },
1077
1427
  { push: { storage: true,
1078
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
1079
- alignment: _descriptor_0.alignment() }).encode() } },
1428
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
1429
+ alignment: _descriptor_7.alignment() }).encode() } },
1080
1430
  { ins: { cached: false,
1081
1431
  n: 1 } },
1082
1432
  { ins: { cached: true,
@@ -1090,16 +1440,74 @@ export class Contract {
1090
1440
  partialProofData,
1091
1441
  [
1092
1442
  { push: { storage: false,
1093
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(4n),
1094
- alignment: _descriptor_14.alignment() }).encode() } },
1443
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
1444
+ alignment: _descriptor_17.alignment() }).encode() } },
1095
1445
  { push: { storage: true,
1096
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(new_target_0),
1097
- alignment: _descriptor_7.alignment() }).encode() } },
1446
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(new_target_0),
1447
+ alignment: _descriptor_6.alignment() }).encode() } },
1098
1448
  { ins: { cached: false, n: 1 } }]);
1099
1449
  return [];
1100
1450
  }
1101
- _buy_domain_for_0(context, partialProofData, owner_0, domain_0, resolver_0) {
1102
- __compactRuntime.assert(!_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
1451
+ _buy_domain_for_0(context,
1452
+ partialProofData,
1453
+ owner_0,
1454
+ domain_0,
1455
+ len_0,
1456
+ resolver_0)
1457
+ {
1458
+ __compactRuntime.assert(len_0 <= 32n, 'len must be <= 32');
1459
+ __compactRuntime.assert(len_0 >= 1n, 'domain name cannot be empty');
1460
+ const valid_0 = this._folder_2(context,
1461
+ partialProofData,
1462
+ ((context,
1463
+ partialProofData,
1464
+ acc_0,
1465
+ byte_0,
1466
+ i_0) =>
1467
+ {
1468
+ let t_0;
1469
+ return acc_0
1470
+ &&
1471
+ ((t_0 = i_0, t_0 < len_0)
1472
+ ||
1473
+ this._equal_6(byte_0, 255n));
1474
+ }),
1475
+ true,
1476
+ domain_0,
1477
+ [0n,
1478
+ 1n,
1479
+ 2n,
1480
+ 3n,
1481
+ 4n,
1482
+ 5n,
1483
+ 6n,
1484
+ 7n,
1485
+ 8n,
1486
+ 9n,
1487
+ 10n,
1488
+ 11n,
1489
+ 12n,
1490
+ 13n,
1491
+ 14n,
1492
+ 15n,
1493
+ 16n,
1494
+ 17n,
1495
+ 18n,
1496
+ 19n,
1497
+ 20n,
1498
+ 21n,
1499
+ 22n,
1500
+ 23n,
1501
+ 24n,
1502
+ 25n,
1503
+ 26n,
1504
+ 27n,
1505
+ 28n,
1506
+ 29n,
1507
+ 30n,
1508
+ 31n]);
1509
+ __compactRuntime.assert(valid_0, 'Invalid domain key padding');
1510
+ __compactRuntime.assert(!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1103
1511
  partialProofData,
1104
1512
  [
1105
1513
  { dup: { n: 0 } },
@@ -1107,8 +1515,8 @@ export class Contract {
1107
1515
  pushPath: false,
1108
1516
  path: [
1109
1517
  { tag: 'value',
1110
- value: { value: _descriptor_14.toValue(5n),
1111
- alignment: _descriptor_14.alignment() } }] } },
1518
+ value: { value: _descriptor_17.toValue(5n),
1519
+ alignment: _descriptor_17.alignment() } }] } },
1112
1520
  { push: { storage: false,
1113
1521
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1114
1522
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1116,6 +1524,208 @@ export class Contract {
1116
1524
  { popeq: { cached: true,
1117
1525
  result: undefined } }]).value),
1118
1526
  'Domain already exists');
1527
+ const d_len_0 = len_0;
1528
+ if (d_len_0 <= 3n) {
1529
+ this._receiveUnshielded_0(context,
1530
+ partialProofData,
1531
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1532
+ partialProofData,
1533
+ [
1534
+ { dup: { n: 0 } },
1535
+ { idx: { cached: false,
1536
+ pushPath: false,
1537
+ path: [
1538
+ { tag: 'value',
1539
+ value: { value: _descriptor_17.toValue(8n),
1540
+ alignment: _descriptor_17.alignment() } }] } },
1541
+ { popeq: { cached: false,
1542
+ result: undefined } }]).value),
1543
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1544
+ partialProofData,
1545
+ [
1546
+ { dup: { n: 0 } },
1547
+ { idx: { cached: false,
1548
+ pushPath: false,
1549
+ path: [
1550
+ { tag: 'value',
1551
+ value: { value: _descriptor_17.toValue(9n),
1552
+ alignment: _descriptor_17.alignment() } }] } },
1553
+ { popeq: { cached: false,
1554
+ result: undefined } }]).value));
1555
+ this._sendUnshielded_0(context,
1556
+ partialProofData,
1557
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1558
+ partialProofData,
1559
+ [
1560
+ { dup: { n: 0 } },
1561
+ { idx: { cached: false,
1562
+ pushPath: false,
1563
+ path: [
1564
+ { tag: 'value',
1565
+ value: { value: _descriptor_17.toValue(8n),
1566
+ alignment: _descriptor_17.alignment() } }] } },
1567
+ { popeq: { cached: false,
1568
+ result: undefined } }]).value),
1569
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1570
+ partialProofData,
1571
+ [
1572
+ { dup: { n: 0 } },
1573
+ { idx: { cached: false,
1574
+ pushPath: false,
1575
+ path: [
1576
+ { tag: 'value',
1577
+ value: { value: _descriptor_17.toValue(9n),
1578
+ alignment: _descriptor_17.alignment() } }] } },
1579
+ { popeq: { cached: false,
1580
+ result: undefined } }]).value),
1581
+ this._right_0({ bytes:
1582
+ _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1583
+ partialProofData,
1584
+ [
1585
+ { dup: { n: 0 } },
1586
+ { idx: { cached: false,
1587
+ pushPath: false,
1588
+ path: [
1589
+ { tag: 'value',
1590
+ value: { value: _descriptor_17.toValue(3n),
1591
+ alignment: _descriptor_17.alignment() } }] } },
1592
+ { popeq: { cached: false,
1593
+ result: undefined } }]).value).bytes }));
1594
+ } else {
1595
+ if (this._equal_7(d_len_0, 4n)) {
1596
+ this._receiveUnshielded_0(context,
1597
+ partialProofData,
1598
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1599
+ partialProofData,
1600
+ [
1601
+ { dup: { n: 0 } },
1602
+ { idx: { cached: false,
1603
+ pushPath: false,
1604
+ path: [
1605
+ { tag: 'value',
1606
+ value: { value: _descriptor_17.toValue(8n),
1607
+ alignment: _descriptor_17.alignment() } }] } },
1608
+ { popeq: { cached: false,
1609
+ result: undefined } }]).value),
1610
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1611
+ partialProofData,
1612
+ [
1613
+ { dup: { n: 0 } },
1614
+ { idx: { cached: false,
1615
+ pushPath: false,
1616
+ path: [
1617
+ { tag: 'value',
1618
+ value: { value: _descriptor_17.toValue(10n),
1619
+ alignment: _descriptor_17.alignment() } }] } },
1620
+ { popeq: { cached: false,
1621
+ result: undefined } }]).value));
1622
+ this._sendUnshielded_0(context,
1623
+ partialProofData,
1624
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1625
+ partialProofData,
1626
+ [
1627
+ { dup: { n: 0 } },
1628
+ { idx: { cached: false,
1629
+ pushPath: false,
1630
+ path: [
1631
+ { tag: 'value',
1632
+ value: { value: _descriptor_17.toValue(8n),
1633
+ alignment: _descriptor_17.alignment() } }] } },
1634
+ { popeq: { cached: false,
1635
+ result: undefined } }]).value),
1636
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1637
+ partialProofData,
1638
+ [
1639
+ { dup: { n: 0 } },
1640
+ { idx: { cached: false,
1641
+ pushPath: false,
1642
+ path: [
1643
+ { tag: 'value',
1644
+ value: { value: _descriptor_17.toValue(10n),
1645
+ alignment: _descriptor_17.alignment() } }] } },
1646
+ { popeq: { cached: false,
1647
+ result: undefined } }]).value),
1648
+ this._right_0({ bytes:
1649
+ _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1650
+ partialProofData,
1651
+ [
1652
+ { dup: { n: 0 } },
1653
+ { idx: { cached: false,
1654
+ pushPath: false,
1655
+ path: [
1656
+ { tag: 'value',
1657
+ value: { value: _descriptor_17.toValue(3n),
1658
+ alignment: _descriptor_17.alignment() } }] } },
1659
+ { popeq: { cached: false,
1660
+ result: undefined } }]).value).bytes }));
1661
+ } else {
1662
+ this._receiveUnshielded_0(context,
1663
+ partialProofData,
1664
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1665
+ partialProofData,
1666
+ [
1667
+ { dup: { n: 0 } },
1668
+ { idx: { cached: false,
1669
+ pushPath: false,
1670
+ path: [
1671
+ { tag: 'value',
1672
+ value: { value: _descriptor_17.toValue(8n),
1673
+ alignment: _descriptor_17.alignment() } }] } },
1674
+ { popeq: { cached: false,
1675
+ result: undefined } }]).value),
1676
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1677
+ partialProofData,
1678
+ [
1679
+ { dup: { n: 0 } },
1680
+ { idx: { cached: false,
1681
+ pushPath: false,
1682
+ path: [
1683
+ { tag: 'value',
1684
+ value: { value: _descriptor_17.toValue(11n),
1685
+ alignment: _descriptor_17.alignment() } }] } },
1686
+ { popeq: { cached: false,
1687
+ result: undefined } }]).value));
1688
+ this._sendUnshielded_0(context,
1689
+ partialProofData,
1690
+ _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
1691
+ partialProofData,
1692
+ [
1693
+ { dup: { n: 0 } },
1694
+ { idx: { cached: false,
1695
+ pushPath: false,
1696
+ path: [
1697
+ { tag: 'value',
1698
+ value: { value: _descriptor_17.toValue(8n),
1699
+ alignment: _descriptor_17.alignment() } }] } },
1700
+ { popeq: { cached: false,
1701
+ result: undefined } }]).value),
1702
+ _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
1703
+ partialProofData,
1704
+ [
1705
+ { dup: { n: 0 } },
1706
+ { idx: { cached: false,
1707
+ pushPath: false,
1708
+ path: [
1709
+ { tag: 'value',
1710
+ value: { value: _descriptor_17.toValue(11n),
1711
+ alignment: _descriptor_17.alignment() } }] } },
1712
+ { popeq: { cached: false,
1713
+ result: undefined } }]).value),
1714
+ this._right_0({ bytes:
1715
+ _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1716
+ partialProofData,
1717
+ [
1718
+ { dup: { n: 0 } },
1719
+ { idx: { cached: false,
1720
+ pushPath: false,
1721
+ path: [
1722
+ { tag: 'value',
1723
+ value: { value: _descriptor_17.toValue(3n),
1724
+ alignment: _descriptor_17.alignment() } }] } },
1725
+ { popeq: { cached: false,
1726
+ result: undefined } }]).value).bytes }));
1727
+ }
1728
+ }
1119
1729
  const d_owner_0 = owner_0;
1120
1730
  const domain_data_0 = { owner: d_owner_0, resolver: resolver_0 };
1121
1731
  __compactRuntime.queryLedgerState(context,
@@ -1125,17 +1735,17 @@ export class Contract {
1125
1735
  pushPath: true,
1126
1736
  path: [
1127
1737
  { tag: 'value',
1128
- value: { value: _descriptor_14.toValue(5n),
1129
- alignment: _descriptor_14.alignment() } }] } },
1738
+ value: { value: _descriptor_17.toValue(5n),
1739
+ alignment: _descriptor_17.alignment() } }] } },
1130
1740
  { push: { storage: false,
1131
1741
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1132
1742
  alignment: _descriptor_0.alignment() }).encode() } },
1133
1743
  { push: { storage: true,
1134
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(domain_data_0),
1135
- alignment: _descriptor_4.alignment() }).encode() } },
1744
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(domain_data_0),
1745
+ alignment: _descriptor_3.alignment() }).encode() } },
1136
1746
  { ins: { cached: false, n: 1 } },
1137
1747
  { ins: { cached: true, n: 1 } }]);
1138
- if (!_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
1748
+ if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1139
1749
  partialProofData,
1140
1750
  [
1141
1751
  { dup: { n: 0 } },
@@ -1143,11 +1753,11 @@ export class Contract {
1143
1753
  pushPath: false,
1144
1754
  path: [
1145
1755
  { tag: 'value',
1146
- value: { value: _descriptor_14.toValue(6n),
1147
- alignment: _descriptor_14.alignment() } }] } },
1756
+ value: { value: _descriptor_17.toValue(6n),
1757
+ alignment: _descriptor_17.alignment() } }] } },
1148
1758
  { push: { storage: false,
1149
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
1150
- alignment: _descriptor_2.alignment() }).encode() } },
1759
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
1760
+ alignment: _descriptor_1.alignment() }).encode() } },
1151
1761
  'member',
1152
1762
  { popeq: { cached: true,
1153
1763
  result: undefined } }]).value))
@@ -1159,11 +1769,11 @@ export class Contract {
1159
1769
  pushPath: true,
1160
1770
  path: [
1161
1771
  { tag: 'value',
1162
- value: { value: _descriptor_14.toValue(6n),
1163
- alignment: _descriptor_14.alignment() } }] } },
1772
+ value: { value: _descriptor_17.toValue(6n),
1773
+ alignment: _descriptor_17.alignment() } }] } },
1164
1774
  { push: { storage: false,
1165
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
1166
- alignment: _descriptor_2.alignment() }).encode() } },
1775
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
1776
+ alignment: _descriptor_1.alignment() }).encode() } },
1167
1777
  { push: { storage: true,
1168
1778
  value: __compactRuntime.StateValue.newMap(
1169
1779
  new __compactRuntime.StateMap()
@@ -1178,11 +1788,11 @@ export class Contract {
1178
1788
  pushPath: true,
1179
1789
  path: [
1180
1790
  { tag: 'value',
1181
- value: { value: _descriptor_14.toValue(6n),
1182
- alignment: _descriptor_14.alignment() } },
1791
+ value: { value: _descriptor_17.toValue(6n),
1792
+ alignment: _descriptor_17.alignment() } },
1183
1793
  { tag: 'value',
1184
- value: { value: _descriptor_2.toValue(d_owner_0),
1185
- alignment: _descriptor_2.alignment() } }] } },
1794
+ value: { value: _descriptor_1.toValue(d_owner_0),
1795
+ alignment: _descriptor_1.alignment() } }] } },
1186
1796
  { push: { storage: false,
1187
1797
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1188
1798
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1193,7 +1803,7 @@ export class Contract {
1193
1803
  return [];
1194
1804
  }
1195
1805
  _add_multiple_fields_0(context, partialProofData, kvs_0) {
1196
- __compactRuntime.assert(this._equal_5(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1806
+ __compactRuntime.assert(this._equal_8(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1197
1807
  partialProofData,
1198
1808
  [
1199
1809
  { dup: { n: 0 } },
@@ -1201,18 +1811,18 @@ export class Contract {
1201
1811
  pushPath: false,
1202
1812
  path: [
1203
1813
  { tag: 'value',
1204
- value: { value: _descriptor_14.toValue(3n),
1205
- alignment: _descriptor_14.alignment() } }] } },
1814
+ value: { value: _descriptor_17.toValue(3n),
1815
+ alignment: _descriptor_17.alignment() } }] } },
1206
1816
  { popeq: { cached: false,
1207
1817
  result: undefined } }]).value),
1208
1818
  this._ownPublicKey_0(context,
1209
1819
  partialProofData)),
1210
1820
  'Not the domain owner');
1211
- this._folder_2(context,
1821
+ this._folder_3(context,
1212
1822
  partialProofData,
1213
1823
  ((context, partialProofData, t_0, kv_0) =>
1214
1824
  {
1215
- if (!this._equal_6(kv_0, this._none_0())) {
1825
+ if (!this._equal_9(kv_0, this._none_0())) {
1216
1826
  const tmp_0 = kv_0.value[0];
1217
1827
  const tmp_1 = kv_0.value[1];
1218
1828
  __compactRuntime.queryLedgerState(context,
@@ -1222,14 +1832,14 @@ export class Contract {
1222
1832
  pushPath: true,
1223
1833
  path: [
1224
1834
  { tag: 'value',
1225
- value: { value: _descriptor_14.toValue(7n),
1226
- alignment: _descriptor_14.alignment() } }] } },
1835
+ value: { value: _descriptor_17.toValue(7n),
1836
+ alignment: _descriptor_17.alignment() } }] } },
1227
1837
  { push: { storage: false,
1228
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
1229
- alignment: _descriptor_0.alignment() }).encode() } },
1838
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_0),
1839
+ alignment: _descriptor_7.alignment() }).encode() } },
1230
1840
  { push: { storage: true,
1231
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_1),
1232
- alignment: _descriptor_0.alignment() }).encode() } },
1841
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(tmp_1),
1842
+ alignment: _descriptor_7.alignment() }).encode() } },
1233
1843
  { ins: { cached: false,
1234
1844
  n: 1 } },
1235
1845
  { ins: { cached: true,
@@ -1242,20 +1852,20 @@ export class Contract {
1242
1852
  return [];
1243
1853
  }
1244
1854
  _insert_field_0(context, partialProofData, k_0, v_0) {
1245
- __compactRuntime.assert(this._equal_7(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1246
- partialProofData,
1247
- [
1248
- { dup: { n: 0 } },
1249
- { idx: { cached: false,
1250
- pushPath: false,
1251
- path: [
1252
- { tag: 'value',
1253
- value: { value: _descriptor_14.toValue(3n),
1254
- alignment: _descriptor_14.alignment() } }] } },
1255
- { popeq: { cached: false,
1256
- result: undefined } }]).value),
1257
- this._ownPublicKey_0(context,
1258
- partialProofData)),
1855
+ __compactRuntime.assert(this._equal_10(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1856
+ partialProofData,
1857
+ [
1858
+ { dup: { n: 0 } },
1859
+ { idx: { cached: false,
1860
+ pushPath: false,
1861
+ path: [
1862
+ { tag: 'value',
1863
+ value: { value: _descriptor_17.toValue(3n),
1864
+ alignment: _descriptor_17.alignment() } }] } },
1865
+ { popeq: { cached: false,
1866
+ result: undefined } }]).value),
1867
+ this._ownPublicKey_0(context,
1868
+ partialProofData)),
1259
1869
  'Not the domain owner');
1260
1870
  __compactRuntime.queryLedgerState(context,
1261
1871
  partialProofData,
@@ -1264,33 +1874,33 @@ export class Contract {
1264
1874
  pushPath: true,
1265
1875
  path: [
1266
1876
  { tag: 'value',
1267
- value: { value: _descriptor_14.toValue(7n),
1268
- alignment: _descriptor_14.alignment() } }] } },
1877
+ value: { value: _descriptor_17.toValue(7n),
1878
+ alignment: _descriptor_17.alignment() } }] } },
1269
1879
  { push: { storage: false,
1270
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(k_0),
1271
- alignment: _descriptor_0.alignment() }).encode() } },
1880
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(k_0),
1881
+ alignment: _descriptor_7.alignment() }).encode() } },
1272
1882
  { push: { storage: true,
1273
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(v_0),
1274
- alignment: _descriptor_0.alignment() }).encode() } },
1883
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(v_0),
1884
+ alignment: _descriptor_7.alignment() }).encode() } },
1275
1885
  { ins: { cached: false, n: 1 } },
1276
1886
  { ins: { cached: true, n: 1 } }]);
1277
1887
  return [];
1278
1888
  }
1279
1889
  _clear_field_0(context, partialProofData, k_0) {
1280
- __compactRuntime.assert(this._equal_8(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1281
- partialProofData,
1282
- [
1283
- { dup: { n: 0 } },
1284
- { idx: { cached: false,
1285
- pushPath: false,
1286
- path: [
1287
- { tag: 'value',
1288
- value: { value: _descriptor_14.toValue(3n),
1289
- alignment: _descriptor_14.alignment() } }] } },
1290
- { popeq: { cached: false,
1291
- result: undefined } }]).value),
1292
- this._ownPublicKey_0(context,
1293
- partialProofData)),
1890
+ __compactRuntime.assert(this._equal_11(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1891
+ partialProofData,
1892
+ [
1893
+ { dup: { n: 0 } },
1894
+ { idx: { cached: false,
1895
+ pushPath: false,
1896
+ path: [
1897
+ { tag: 'value',
1898
+ value: { value: _descriptor_17.toValue(3n),
1899
+ alignment: _descriptor_17.alignment() } }] } },
1900
+ { popeq: { cached: false,
1901
+ result: undefined } }]).value),
1902
+ this._ownPublicKey_0(context,
1903
+ partialProofData)),
1294
1904
  'Not the domain owner');
1295
1905
  __compactRuntime.queryLedgerState(context,
1296
1906
  partialProofData,
@@ -1299,37 +1909,37 @@ export class Contract {
1299
1909
  pushPath: true,
1300
1910
  path: [
1301
1911
  { tag: 'value',
1302
- value: { value: _descriptor_14.toValue(7n),
1303
- alignment: _descriptor_14.alignment() } }] } },
1912
+ value: { value: _descriptor_17.toValue(7n),
1913
+ alignment: _descriptor_17.alignment() } }] } },
1304
1914
  { push: { storage: false,
1305
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(k_0),
1306
- alignment: _descriptor_0.alignment() }).encode() } },
1915
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(k_0),
1916
+ alignment: _descriptor_7.alignment() }).encode() } },
1307
1917
  { rem: { cached: false } },
1308
1918
  { ins: { cached: true, n: 1 } }]);
1309
1919
  return [];
1310
1920
  }
1311
- _clear_all_fields_0(context, partialProofData, domain_0) {
1312
- __compactRuntime.assert(this._equal_9(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1313
- partialProofData,
1314
- [
1315
- { dup: { n: 0 } },
1316
- { idx: { cached: false,
1317
- pushPath: false,
1318
- path: [
1319
- { tag: 'value',
1320
- value: { value: _descriptor_14.toValue(3n),
1321
- alignment: _descriptor_14.alignment() } }] } },
1322
- { popeq: { cached: false,
1323
- result: undefined } }]).value),
1324
- this._ownPublicKey_0(context,
1325
- partialProofData)),
1921
+ _clear_all_fields_0(context, partialProofData) {
1922
+ __compactRuntime.assert(this._equal_12(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1923
+ partialProofData,
1924
+ [
1925
+ { dup: { n: 0 } },
1926
+ { idx: { cached: false,
1927
+ pushPath: false,
1928
+ path: [
1929
+ { tag: 'value',
1930
+ value: { value: _descriptor_17.toValue(3n),
1931
+ alignment: _descriptor_17.alignment() } }] } },
1932
+ { popeq: { cached: false,
1933
+ result: undefined } }]).value),
1934
+ this._ownPublicKey_0(context,
1935
+ partialProofData)),
1326
1936
  'Not the domain owner');
1327
1937
  __compactRuntime.queryLedgerState(context,
1328
1938
  partialProofData,
1329
1939
  [
1330
1940
  { push: { storage: false,
1331
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(7n),
1332
- alignment: _descriptor_14.alignment() }).encode() } },
1941
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(7n),
1942
+ alignment: _descriptor_17.alignment() }).encode() } },
1333
1943
  { push: { storage: true,
1334
1944
  value: __compactRuntime.StateValue.newMap(
1335
1945
  new __compactRuntime.StateMap()
@@ -1341,9 +1951,62 @@ export class Contract {
1341
1951
  partialProofData,
1342
1952
  owner_0,
1343
1953
  domain_0,
1954
+ len_0,
1344
1955
  resolver_0)
1345
1956
  {
1346
- __compactRuntime.assert(!_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
1957
+ __compactRuntime.assert(len_0 <= 32n, 'len must be <= 32');
1958
+ __compactRuntime.assert(len_0 >= 1n, 'domain name cannot be empty');
1959
+ const valid_0 = this._folder_4(context,
1960
+ partialProofData,
1961
+ ((context,
1962
+ partialProofData,
1963
+ acc_0,
1964
+ byte_0,
1965
+ i_0) =>
1966
+ {
1967
+ let t_0;
1968
+ return acc_0
1969
+ &&
1970
+ ((t_0 = i_0, t_0 < len_0)
1971
+ ||
1972
+ this._equal_13(byte_0, 255n));
1973
+ }),
1974
+ true,
1975
+ domain_0,
1976
+ [0n,
1977
+ 1n,
1978
+ 2n,
1979
+ 3n,
1980
+ 4n,
1981
+ 5n,
1982
+ 6n,
1983
+ 7n,
1984
+ 8n,
1985
+ 9n,
1986
+ 10n,
1987
+ 11n,
1988
+ 12n,
1989
+ 13n,
1990
+ 14n,
1991
+ 15n,
1992
+ 16n,
1993
+ 17n,
1994
+ 18n,
1995
+ 19n,
1996
+ 20n,
1997
+ 21n,
1998
+ 22n,
1999
+ 23n,
2000
+ 24n,
2001
+ 25n,
2002
+ 26n,
2003
+ 27n,
2004
+ 28n,
2005
+ 29n,
2006
+ 30n,
2007
+ 31n]);
2008
+ __compactRuntime.assert(valid_0, 'Invalid domain key padding');
2009
+ __compactRuntime.assert(!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1347
2010
  partialProofData,
1348
2011
  [
1349
2012
  { dup: { n: 0 } },
@@ -1351,8 +2014,8 @@ export class Contract {
1351
2014
  pushPath: false,
1352
2015
  path: [
1353
2016
  { tag: 'value',
1354
- value: { value: _descriptor_14.toValue(5n),
1355
- alignment: _descriptor_14.alignment() } }] } },
2017
+ value: { value: _descriptor_17.toValue(5n),
2018
+ alignment: _descriptor_17.alignment() } }] } },
1356
2019
  { push: { storage: false,
1357
2020
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1358
2021
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1360,7 +2023,7 @@ export class Contract {
1360
2023
  { popeq: { cached: true,
1361
2024
  result: undefined } }]).value),
1362
2025
  'Domain already exists');
1363
- __compactRuntime.assert(this._equal_10(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
2026
+ __compactRuntime.assert(this._equal_14(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1364
2027
  partialProofData,
1365
2028
  [
1366
2029
  { dup: { n: 0 } },
@@ -1368,8 +2031,8 @@ export class Contract {
1368
2031
  pushPath: false,
1369
2032
  path: [
1370
2033
  { tag: 'value',
1371
- value: { value: _descriptor_14.toValue(3n),
1372
- alignment: _descriptor_14.alignment() } }] } },
2034
+ value: { value: _descriptor_17.toValue(3n),
2035
+ alignment: _descriptor_17.alignment() } }] } },
1373
2036
  { popeq: { cached: false,
1374
2037
  result: undefined } }]).value),
1375
2038
  this._ownPublicKey_0(context,
@@ -1384,17 +2047,17 @@ export class Contract {
1384
2047
  pushPath: true,
1385
2048
  path: [
1386
2049
  { tag: 'value',
1387
- value: { value: _descriptor_14.toValue(5n),
1388
- alignment: _descriptor_14.alignment() } }] } },
2050
+ value: { value: _descriptor_17.toValue(5n),
2051
+ alignment: _descriptor_17.alignment() } }] } },
1389
2052
  { push: { storage: false,
1390
2053
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1391
2054
  alignment: _descriptor_0.alignment() }).encode() } },
1392
2055
  { push: { storage: true,
1393
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(domain_data_0),
1394
- alignment: _descriptor_4.alignment() }).encode() } },
2056
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(domain_data_0),
2057
+ alignment: _descriptor_3.alignment() }).encode() } },
1395
2058
  { ins: { cached: false, n: 1 } },
1396
2059
  { ins: { cached: true, n: 1 } }]);
1397
- if (!_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2060
+ if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1398
2061
  partialProofData,
1399
2062
  [
1400
2063
  { dup: { n: 0 } },
@@ -1402,11 +2065,11 @@ export class Contract {
1402
2065
  pushPath: false,
1403
2066
  path: [
1404
2067
  { tag: 'value',
1405
- value: { value: _descriptor_14.toValue(6n),
1406
- alignment: _descriptor_14.alignment() } }] } },
2068
+ value: { value: _descriptor_17.toValue(6n),
2069
+ alignment: _descriptor_17.alignment() } }] } },
1407
2070
  { push: { storage: false,
1408
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
1409
- alignment: _descriptor_2.alignment() }).encode() } },
2071
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
2072
+ alignment: _descriptor_1.alignment() }).encode() } },
1410
2073
  'member',
1411
2074
  { popeq: { cached: true,
1412
2075
  result: undefined } }]).value))
@@ -1418,11 +2081,11 @@ export class Contract {
1418
2081
  pushPath: true,
1419
2082
  path: [
1420
2083
  { tag: 'value',
1421
- value: { value: _descriptor_14.toValue(6n),
1422
- alignment: _descriptor_14.alignment() } }] } },
2084
+ value: { value: _descriptor_17.toValue(6n),
2085
+ alignment: _descriptor_17.alignment() } }] } },
1423
2086
  { push: { storage: false,
1424
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(d_owner_0),
1425
- alignment: _descriptor_2.alignment() }).encode() } },
2087
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(d_owner_0),
2088
+ alignment: _descriptor_1.alignment() }).encode() } },
1426
2089
  { push: { storage: true,
1427
2090
  value: __compactRuntime.StateValue.newMap(
1428
2091
  new __compactRuntime.StateMap()
@@ -1437,11 +2100,11 @@ export class Contract {
1437
2100
  pushPath: true,
1438
2101
  path: [
1439
2102
  { tag: 'value',
1440
- value: { value: _descriptor_14.toValue(6n),
1441
- alignment: _descriptor_14.alignment() } },
2103
+ value: { value: _descriptor_17.toValue(6n),
2104
+ alignment: _descriptor_17.alignment() } },
1442
2105
  { tag: 'value',
1443
- value: { value: _descriptor_2.toValue(d_owner_0),
1444
- alignment: _descriptor_2.alignment() } }] } },
2106
+ value: { value: _descriptor_1.toValue(d_owner_0),
2107
+ alignment: _descriptor_1.alignment() } }] } },
1445
2108
  { push: { storage: false,
1446
2109
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1447
2110
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1452,7 +2115,7 @@ export class Contract {
1452
2115
  return [];
1453
2116
  }
1454
2117
  _set_resolver_0(context, partialProofData, domain_0, resolver_0) {
1455
- __compactRuntime.assert(_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2118
+ __compactRuntime.assert(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1456
2119
  partialProofData,
1457
2120
  [
1458
2121
  { dup: { n: 0 } },
@@ -1460,8 +2123,8 @@ export class Contract {
1460
2123
  pushPath: false,
1461
2124
  path: [
1462
2125
  { tag: 'value',
1463
- value: { value: _descriptor_14.toValue(5n),
1464
- alignment: _descriptor_14.alignment() } }] } },
2126
+ value: { value: _descriptor_17.toValue(5n),
2127
+ alignment: _descriptor_17.alignment() } }] } },
1465
2128
  { push: { storage: false,
1466
2129
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1467
2130
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1469,7 +2132,7 @@ export class Contract {
1469
2132
  { popeq: { cached: true,
1470
2133
  result: undefined } }]).value),
1471
2134
  'Domain does not exist');
1472
- const current_data_0 = _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2135
+ const current_data_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
1473
2136
  partialProofData,
1474
2137
  [
1475
2138
  { dup: { n: 0 } },
@@ -1477,8 +2140,8 @@ export class Contract {
1477
2140
  pushPath: false,
1478
2141
  path: [
1479
2142
  { tag: 'value',
1480
- value: { value: _descriptor_14.toValue(5n),
1481
- alignment: _descriptor_14.alignment() } }] } },
2143
+ value: { value: _descriptor_17.toValue(5n),
2144
+ alignment: _descriptor_17.alignment() } }] } },
1482
2145
  { idx: { cached: false,
1483
2146
  pushPath: false,
1484
2147
  path: [
@@ -1487,7 +2150,7 @@ export class Contract {
1487
2150
  alignment: _descriptor_0.alignment() } }] } },
1488
2151
  { popeq: { cached: false,
1489
2152
  result: undefined } }]).value);
1490
- __compactRuntime.assert(this._equal_11(current_data_0.owner,
2153
+ __compactRuntime.assert(this._equal_15(current_data_0.owner,
1491
2154
  this._ownPublicKey_0(context,
1492
2155
  partialProofData)),
1493
2156
  'Not the domain owner');
@@ -1499,20 +2162,20 @@ export class Contract {
1499
2162
  pushPath: true,
1500
2163
  path: [
1501
2164
  { tag: 'value',
1502
- value: { value: _descriptor_14.toValue(5n),
1503
- alignment: _descriptor_14.alignment() } }] } },
2165
+ value: { value: _descriptor_17.toValue(5n),
2166
+ alignment: _descriptor_17.alignment() } }] } },
1504
2167
  { push: { storage: false,
1505
2168
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1506
2169
  alignment: _descriptor_0.alignment() }).encode() } },
1507
2170
  { push: { storage: true,
1508
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(new_data_0),
1509
- alignment: _descriptor_4.alignment() }).encode() } },
2171
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(new_data_0),
2172
+ alignment: _descriptor_3.alignment() }).encode() } },
1510
2173
  { ins: { cached: false, n: 1 } },
1511
2174
  { ins: { cached: true, n: 1 } }]);
1512
2175
  return [];
1513
2176
  }
1514
2177
  _update_domain_target_0(context, partialProofData, new_target_0) {
1515
- __compactRuntime.assert(this._equal_12(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
2178
+ __compactRuntime.assert(this._equal_16(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1516
2179
  partialProofData,
1517
2180
  [
1518
2181
  { dup: { n: 0 } },
@@ -1520,8 +2183,8 @@ export class Contract {
1520
2183
  pushPath: false,
1521
2184
  path: [
1522
2185
  { tag: 'value',
1523
- value: { value: _descriptor_14.toValue(3n),
1524
- alignment: _descriptor_14.alignment() } }] } },
2186
+ value: { value: _descriptor_17.toValue(3n),
2187
+ alignment: _descriptor_17.alignment() } }] } },
1525
2188
  { popeq: { cached: false,
1526
2189
  result: undefined } }]).value),
1527
2190
  this._ownPublicKey_0(context,
@@ -1531,16 +2194,16 @@ export class Contract {
1531
2194
  partialProofData,
1532
2195
  [
1533
2196
  { push: { storage: false,
1534
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(4n),
1535
- alignment: _descriptor_14.alignment() }).encode() } },
2197
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(4n),
2198
+ alignment: _descriptor_17.alignment() }).encode() } },
1536
2199
  { push: { storage: true,
1537
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(new_target_0),
1538
- alignment: _descriptor_7.alignment() }).encode() } },
2200
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(new_target_0),
2201
+ alignment: _descriptor_6.alignment() }).encode() } },
1539
2202
  { ins: { cached: false, n: 1 } }]);
1540
2203
  return [];
1541
2204
  }
1542
2205
  _transfer_domain_0(context, partialProofData, domain_0, new_owner_0) {
1543
- __compactRuntime.assert(_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2206
+ __compactRuntime.assert(_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1544
2207
  partialProofData,
1545
2208
  [
1546
2209
  { dup: { n: 0 } },
@@ -1548,8 +2211,8 @@ export class Contract {
1548
2211
  pushPath: false,
1549
2212
  path: [
1550
2213
  { tag: 'value',
1551
- value: { value: _descriptor_14.toValue(5n),
1552
- alignment: _descriptor_14.alignment() } }] } },
2214
+ value: { value: _descriptor_17.toValue(5n),
2215
+ alignment: _descriptor_17.alignment() } }] } },
1553
2216
  { push: { storage: false,
1554
2217
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1555
2218
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1557,7 +2220,7 @@ export class Contract {
1557
2220
  { popeq: { cached: true,
1558
2221
  result: undefined } }]).value),
1559
2222
  'Domain does not exist');
1560
- const current_data_0 = _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2223
+ const current_data_0 = _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
1561
2224
  partialProofData,
1562
2225
  [
1563
2226
  { dup: { n: 0 } },
@@ -1565,8 +2228,8 @@ export class Contract {
1565
2228
  pushPath: false,
1566
2229
  path: [
1567
2230
  { tag: 'value',
1568
- value: { value: _descriptor_14.toValue(5n),
1569
- alignment: _descriptor_14.alignment() } }] } },
2231
+ value: { value: _descriptor_17.toValue(5n),
2232
+ alignment: _descriptor_17.alignment() } }] } },
1570
2233
  { idx: { cached: false,
1571
2234
  pushPath: false,
1572
2235
  path: [
@@ -1575,7 +2238,7 @@ export class Contract {
1575
2238
  alignment: _descriptor_0.alignment() } }] } },
1576
2239
  { popeq: { cached: false,
1577
2240
  result: undefined } }]).value);
1578
- __compactRuntime.assert(this._equal_13(current_data_0.owner,
2241
+ __compactRuntime.assert(this._equal_17(current_data_0.owner,
1579
2242
  this._ownPublicKey_0(context,
1580
2243
  partialProofData)),
1581
2244
  'Not the domain owner');
@@ -1587,14 +2250,14 @@ export class Contract {
1587
2250
  pushPath: true,
1588
2251
  path: [
1589
2252
  { tag: 'value',
1590
- value: { value: _descriptor_14.toValue(5n),
1591
- alignment: _descriptor_14.alignment() } }] } },
2253
+ value: { value: _descriptor_17.toValue(5n),
2254
+ alignment: _descriptor_17.alignment() } }] } },
1592
2255
  { push: { storage: false,
1593
2256
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1594
2257
  alignment: _descriptor_0.alignment() }).encode() } },
1595
2258
  { push: { storage: true,
1596
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(new_data_0),
1597
- alignment: _descriptor_4.alignment() }).encode() } },
2259
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_3.toValue(new_data_0),
2260
+ alignment: _descriptor_3.alignment() }).encode() } },
1598
2261
  { ins: { cached: false, n: 1 } },
1599
2262
  { ins: { cached: true, n: 1 } }]);
1600
2263
  const tmp_0 = this._ownPublicKey_0(context, partialProofData);
@@ -1605,17 +2268,17 @@ export class Contract {
1605
2268
  pushPath: true,
1606
2269
  path: [
1607
2270
  { tag: 'value',
1608
- value: { value: _descriptor_14.toValue(6n),
1609
- alignment: _descriptor_14.alignment() } },
2271
+ value: { value: _descriptor_17.toValue(6n),
2272
+ alignment: _descriptor_17.alignment() } },
1610
2273
  { tag: 'value',
1611
- value: { value: _descriptor_2.toValue(tmp_0),
1612
- alignment: _descriptor_2.alignment() } }] } },
2274
+ value: { value: _descriptor_1.toValue(tmp_0),
2275
+ alignment: _descriptor_1.alignment() } }] } },
1613
2276
  { push: { storage: false,
1614
2277
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1615
2278
  alignment: _descriptor_0.alignment() }).encode() } },
1616
2279
  { rem: { cached: false } },
1617
2280
  { ins: { cached: true, n: 2 } }]);
1618
- if (!_descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2281
+ if (!_descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1619
2282
  partialProofData,
1620
2283
  [
1621
2284
  { dup: { n: 0 } },
@@ -1623,11 +2286,11 @@ export class Contract {
1623
2286
  pushPath: false,
1624
2287
  path: [
1625
2288
  { tag: 'value',
1626
- value: { value: _descriptor_14.toValue(6n),
1627
- alignment: _descriptor_14.alignment() } }] } },
2289
+ value: { value: _descriptor_17.toValue(6n),
2290
+ alignment: _descriptor_17.alignment() } }] } },
1628
2291
  { push: { storage: false,
1629
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
1630
- alignment: _descriptor_2.alignment() }).encode() } },
2292
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
2293
+ alignment: _descriptor_1.alignment() }).encode() } },
1631
2294
  'member',
1632
2295
  { popeq: { cached: true,
1633
2296
  result: undefined } }]).value))
@@ -1639,11 +2302,11 @@ export class Contract {
1639
2302
  pushPath: true,
1640
2303
  path: [
1641
2304
  { tag: 'value',
1642
- value: { value: _descriptor_14.toValue(6n),
1643
- alignment: _descriptor_14.alignment() } }] } },
2305
+ value: { value: _descriptor_17.toValue(6n),
2306
+ alignment: _descriptor_17.alignment() } }] } },
1644
2307
  { push: { storage: false,
1645
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
1646
- alignment: _descriptor_2.alignment() }).encode() } },
2308
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
2309
+ alignment: _descriptor_1.alignment() }).encode() } },
1647
2310
  { push: { storage: true,
1648
2311
  value: __compactRuntime.StateValue.newMap(
1649
2312
  new __compactRuntime.StateMap()
@@ -1658,11 +2321,11 @@ export class Contract {
1658
2321
  pushPath: true,
1659
2322
  path: [
1660
2323
  { tag: 'value',
1661
- value: { value: _descriptor_14.toValue(6n),
1662
- alignment: _descriptor_14.alignment() } },
2324
+ value: { value: _descriptor_17.toValue(6n),
2325
+ alignment: _descriptor_17.alignment() } },
1663
2326
  { tag: 'value',
1664
- value: { value: _descriptor_2.toValue(new_owner_0),
1665
- alignment: _descriptor_2.alignment() } }] } },
2327
+ value: { value: _descriptor_1.toValue(new_owner_0),
2328
+ alignment: _descriptor_1.alignment() } }] } },
1666
2329
  { push: { storage: false,
1667
2330
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(domain_0),
1668
2331
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -1673,7 +2336,7 @@ export class Contract {
1673
2336
  return [];
1674
2337
  }
1675
2338
  _change_owner_0(context, partialProofData, new_owner_0) {
1676
- __compactRuntime.assert(this._equal_14(_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
2339
+ __compactRuntime.assert(this._equal_18(_descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1677
2340
  partialProofData,
1678
2341
  [
1679
2342
  { dup: { n: 0 } },
@@ -1681,8 +2344,8 @@ export class Contract {
1681
2344
  pushPath: false,
1682
2345
  path: [
1683
2346
  { tag: 'value',
1684
- value: { value: _descriptor_14.toValue(3n),
1685
- alignment: _descriptor_14.alignment() } }] } },
2347
+ value: { value: _descriptor_17.toValue(3n),
2348
+ alignment: _descriptor_17.alignment() } }] } },
1686
2349
  { popeq: { cached: false,
1687
2350
  result: undefined } }]).value),
1688
2351
  this._ownPublicKey_0(context,
@@ -1692,11 +2355,11 @@ export class Contract {
1692
2355
  partialProofData,
1693
2356
  [
1694
2357
  { push: { storage: false,
1695
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_14.toValue(3n),
1696
- alignment: _descriptor_14.alignment() }).encode() } },
2358
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_17.toValue(3n),
2359
+ alignment: _descriptor_17.alignment() }).encode() } },
1697
2360
  { push: { storage: true,
1698
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(new_owner_0),
1699
- alignment: _descriptor_2.alignment() }).encode() } },
2361
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(new_owner_0),
2362
+ alignment: _descriptor_1.alignment() }).encode() } },
1700
2363
  { ins: { cached: false, n: 1 } }]);
1701
2364
  return [];
1702
2365
  }
@@ -1727,6 +2390,10 @@ export class Contract {
1727
2390
  return x;
1728
2391
  }
1729
2392
  _equal_1(x0, y0) {
2393
+ if (!x0.every((x, i) => y0[i] === x)) { return false; }
2394
+ return true;
2395
+ }
2396
+ _equal_2(x0, y0) {
1730
2397
  {
1731
2398
  let x1 = x0.bytes;
1732
2399
  let y1 = y0.bytes;
@@ -1734,7 +2401,7 @@ export class Contract {
1734
2401
  }
1735
2402
  return true;
1736
2403
  }
1737
- _equal_2(x0, y0) {
2404
+ _equal_3(x0, y0) {
1738
2405
  {
1739
2406
  let x1 = x0.bytes;
1740
2407
  let y1 = y0.bytes;
@@ -1742,7 +2409,7 @@ export class Contract {
1742
2409
  }
1743
2410
  return true;
1744
2411
  }
1745
- _equal_3(x0, y0) {
2412
+ _equal_4(x0, y0) {
1746
2413
  {
1747
2414
  let x1 = x0.bytes;
1748
2415
  let y1 = y0.bytes;
@@ -1750,7 +2417,7 @@ export class Contract {
1750
2417
  }
1751
2418
  return true;
1752
2419
  }
1753
- _equal_4(x0, y0) {
2420
+ _equal_5(x0, y0) {
1754
2421
  {
1755
2422
  let x1 = x0.is_some;
1756
2423
  let y1 = y0.is_some;
@@ -1776,7 +2443,19 @@ export class Contract {
1776
2443
  for (let i = 0; i < 10; i++) { x = f(context, partialProofData, x, a0[i]); }
1777
2444
  return x;
1778
2445
  }
1779
- _equal_5(x0, y0) {
2446
+ _equal_6(x0, y0) {
2447
+ if (x0 !== y0) { return false; }
2448
+ return true;
2449
+ }
2450
+ _folder_2(context, partialProofData, f, x, a0, a1) {
2451
+ for (let i = 0; i < 32; i++) { x = f(context, partialProofData, x, BigInt(a0[i]), a1[i]); }
2452
+ return x;
2453
+ }
2454
+ _equal_7(x0, y0) {
2455
+ if (x0 !== y0) { return false; }
2456
+ return true;
2457
+ }
2458
+ _equal_8(x0, y0) {
1780
2459
  {
1781
2460
  let x1 = x0.bytes;
1782
2461
  let y1 = y0.bytes;
@@ -1784,7 +2463,7 @@ export class Contract {
1784
2463
  }
1785
2464
  return true;
1786
2465
  }
1787
- _equal_6(x0, y0) {
2466
+ _equal_9(x0, y0) {
1788
2467
  {
1789
2468
  let x1 = x0.is_some;
1790
2469
  let y1 = y0.is_some;
@@ -1806,11 +2485,11 @@ export class Contract {
1806
2485
  }
1807
2486
  return true;
1808
2487
  }
1809
- _folder_2(context, partialProofData, f, x, a0) {
2488
+ _folder_3(context, partialProofData, f, x, a0) {
1810
2489
  for (let i = 0; i < 10; i++) { x = f(context, partialProofData, x, a0[i]); }
1811
2490
  return x;
1812
2491
  }
1813
- _equal_7(x0, y0) {
2492
+ _equal_10(x0, y0) {
1814
2493
  {
1815
2494
  let x1 = x0.bytes;
1816
2495
  let y1 = y0.bytes;
@@ -1818,7 +2497,7 @@ export class Contract {
1818
2497
  }
1819
2498
  return true;
1820
2499
  }
1821
- _equal_8(x0, y0) {
2500
+ _equal_11(x0, y0) {
1822
2501
  {
1823
2502
  let x1 = x0.bytes;
1824
2503
  let y1 = y0.bytes;
@@ -1826,7 +2505,7 @@ export class Contract {
1826
2505
  }
1827
2506
  return true;
1828
2507
  }
1829
- _equal_9(x0, y0) {
2508
+ _equal_12(x0, y0) {
1830
2509
  {
1831
2510
  let x1 = x0.bytes;
1832
2511
  let y1 = y0.bytes;
@@ -1834,7 +2513,15 @@ export class Contract {
1834
2513
  }
1835
2514
  return true;
1836
2515
  }
1837
- _equal_10(x0, y0) {
2516
+ _equal_13(x0, y0) {
2517
+ if (x0 !== y0) { return false; }
2518
+ return true;
2519
+ }
2520
+ _folder_4(context, partialProofData, f, x, a0, a1) {
2521
+ for (let i = 0; i < 32; i++) { x = f(context, partialProofData, x, BigInt(a0[i]), a1[i]); }
2522
+ return x;
2523
+ }
2524
+ _equal_14(x0, y0) {
1838
2525
  {
1839
2526
  let x1 = x0.bytes;
1840
2527
  let y1 = y0.bytes;
@@ -1842,7 +2529,7 @@ export class Contract {
1842
2529
  }
1843
2530
  return true;
1844
2531
  }
1845
- _equal_11(x0, y0) {
2532
+ _equal_15(x0, y0) {
1846
2533
  {
1847
2534
  let x1 = x0.bytes;
1848
2535
  let y1 = y0.bytes;
@@ -1850,7 +2537,7 @@ export class Contract {
1850
2537
  }
1851
2538
  return true;
1852
2539
  }
1853
- _equal_12(x0, y0) {
2540
+ _equal_16(x0, y0) {
1854
2541
  {
1855
2542
  let x1 = x0.bytes;
1856
2543
  let y1 = y0.bytes;
@@ -1858,7 +2545,7 @@ export class Contract {
1858
2545
  }
1859
2546
  return true;
1860
2547
  }
1861
- _equal_13(x0, y0) {
2548
+ _equal_17(x0, y0) {
1862
2549
  {
1863
2550
  let x1 = x0.bytes;
1864
2551
  let y1 = y0.bytes;
@@ -1866,7 +2553,7 @@ export class Contract {
1866
2553
  }
1867
2554
  return true;
1868
2555
  }
1869
- _equal_14(x0, y0) {
2556
+ _equal_18(x0, y0) {
1870
2557
  {
1871
2558
  let x1 = x0.bytes;
1872
2559
  let y1 = y0.bytes;
@@ -1890,7 +2577,7 @@ export function ledger(stateOrChargedState) {
1890
2577
  };
1891
2578
  return {
1892
2579
  get PARENT_DOMAIN() {
1893
- return _descriptor_13.fromValue(__compactRuntime.queryLedgerState(context,
2580
+ return _descriptor_16.fromValue(__compactRuntime.queryLedgerState(context,
1894
2581
  partialProofData,
1895
2582
  [
1896
2583
  { dup: { n: 0 } },
@@ -1898,13 +2585,13 @@ export function ledger(stateOrChargedState) {
1898
2585
  pushPath: false,
1899
2586
  path: [
1900
2587
  { tag: 'value',
1901
- value: { value: _descriptor_14.toValue(0n),
1902
- alignment: _descriptor_14.alignment() } }] } },
2588
+ value: { value: _descriptor_17.toValue(0n),
2589
+ alignment: _descriptor_17.alignment() } }] } },
1903
2590
  { popeq: { cached: false,
1904
2591
  result: undefined } }]).value);
1905
2592
  },
1906
2593
  get PARENT_RESOLVER() {
1907
- return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
2594
+ return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
1908
2595
  partialProofData,
1909
2596
  [
1910
2597
  { dup: { n: 0 } },
@@ -1912,13 +2599,13 @@ export function ledger(stateOrChargedState) {
1912
2599
  pushPath: false,
1913
2600
  path: [
1914
2601
  { tag: 'value',
1915
- value: { value: _descriptor_14.toValue(1n),
1916
- alignment: _descriptor_14.alignment() } }] } },
2602
+ value: { value: _descriptor_17.toValue(1n),
2603
+ alignment: _descriptor_17.alignment() } }] } },
1917
2604
  { popeq: { cached: false,
1918
2605
  result: undefined } }]).value);
1919
2606
  },
1920
2607
  get DOMAIN() {
1921
- return _descriptor_13.fromValue(__compactRuntime.queryLedgerState(context,
2608
+ return _descriptor_16.fromValue(__compactRuntime.queryLedgerState(context,
1922
2609
  partialProofData,
1923
2610
  [
1924
2611
  { dup: { n: 0 } },
@@ -1926,13 +2613,13 @@ export function ledger(stateOrChargedState) {
1926
2613
  pushPath: false,
1927
2614
  path: [
1928
2615
  { tag: 'value',
1929
- value: { value: _descriptor_14.toValue(2n),
1930
- alignment: _descriptor_14.alignment() } }] } },
2616
+ value: { value: _descriptor_17.toValue(2n),
2617
+ alignment: _descriptor_17.alignment() } }] } },
1931
2618
  { popeq: { cached: false,
1932
2619
  result: undefined } }]).value);
1933
2620
  },
1934
2621
  get DOMAIN_OWNER() {
1935
- return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
2622
+ return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
1936
2623
  partialProofData,
1937
2624
  [
1938
2625
  { dup: { n: 0 } },
@@ -1940,13 +2627,13 @@ export function ledger(stateOrChargedState) {
1940
2627
  pushPath: false,
1941
2628
  path: [
1942
2629
  { tag: 'value',
1943
- value: { value: _descriptor_14.toValue(3n),
1944
- alignment: _descriptor_14.alignment() } }] } },
2630
+ value: { value: _descriptor_17.toValue(3n),
2631
+ alignment: _descriptor_17.alignment() } }] } },
1945
2632
  { popeq: { cached: false,
1946
2633
  result: undefined } }]).value);
1947
2634
  },
1948
2635
  get DOMAIN_TARGET() {
1949
- return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
2636
+ return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
1950
2637
  partialProofData,
1951
2638
  [
1952
2639
  { dup: { n: 0 } },
@@ -1954,8 +2641,8 @@ export function ledger(stateOrChargedState) {
1954
2641
  pushPath: false,
1955
2642
  path: [
1956
2643
  { tag: 'value',
1957
- value: { value: _descriptor_14.toValue(4n),
1958
- alignment: _descriptor_14.alignment() } }] } },
2644
+ value: { value: _descriptor_17.toValue(4n),
2645
+ alignment: _descriptor_17.alignment() } }] } },
1959
2646
  { popeq: { cached: false,
1960
2647
  result: undefined } }]).value);
1961
2648
  },
@@ -1964,7 +2651,7 @@ export function ledger(stateOrChargedState) {
1964
2651
  if (args_0.length !== 0) {
1965
2652
  throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
1966
2653
  }
1967
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2654
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
1968
2655
  partialProofData,
1969
2656
  [
1970
2657
  { dup: { n: 0 } },
@@ -1972,12 +2659,12 @@ export function ledger(stateOrChargedState) {
1972
2659
  pushPath: false,
1973
2660
  path: [
1974
2661
  { tag: 'value',
1975
- value: { value: _descriptor_14.toValue(5n),
1976
- alignment: _descriptor_14.alignment() } }] } },
2662
+ value: { value: _descriptor_17.toValue(5n),
2663
+ alignment: _descriptor_17.alignment() } }] } },
1977
2664
  'size',
1978
2665
  { push: { storage: false,
1979
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
1980
- alignment: _descriptor_6.alignment() }).encode() } },
2666
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
2667
+ alignment: _descriptor_5.alignment() }).encode() } },
1981
2668
  'eq',
1982
2669
  { popeq: { cached: true,
1983
2670
  result: undefined } }]).value);
@@ -1986,7 +2673,7 @@ export function ledger(stateOrChargedState) {
1986
2673
  if (args_0.length !== 0) {
1987
2674
  throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
1988
2675
  }
1989
- return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
2676
+ return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
1990
2677
  partialProofData,
1991
2678
  [
1992
2679
  { dup: { n: 0 } },
@@ -1994,8 +2681,8 @@ export function ledger(stateOrChargedState) {
1994
2681
  pushPath: false,
1995
2682
  path: [
1996
2683
  { tag: 'value',
1997
- value: { value: _descriptor_14.toValue(5n),
1998
- alignment: _descriptor_14.alignment() } }] } },
2684
+ value: { value: _descriptor_17.toValue(5n),
2685
+ alignment: _descriptor_17.alignment() } }] } },
1999
2686
  'size',
2000
2687
  { popeq: { cached: true,
2001
2688
  result: undefined } }]).value);
@@ -2005,7 +2692,14 @@ export function ledger(stateOrChargedState) {
2005
2692
  throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
2006
2693
  }
2007
2694
  const key_0 = args_0[0];
2008
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2695
+ if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
2696
+ __compactRuntime.typeError('member',
2697
+ 'argument 1',
2698
+ 'leaf.compact line 38 char 1',
2699
+ 'Bytes<32>',
2700
+ key_0)
2701
+ }
2702
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2009
2703
  partialProofData,
2010
2704
  [
2011
2705
  { dup: { n: 0 } },
@@ -2013,8 +2707,8 @@ export function ledger(stateOrChargedState) {
2013
2707
  pushPath: false,
2014
2708
  path: [
2015
2709
  { tag: 'value',
2016
- value: { value: _descriptor_14.toValue(5n),
2017
- alignment: _descriptor_14.alignment() } }] } },
2710
+ value: { value: _descriptor_17.toValue(5n),
2711
+ alignment: _descriptor_17.alignment() } }] } },
2018
2712
  { push: { storage: false,
2019
2713
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
2020
2714
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -2027,7 +2721,14 @@ export function ledger(stateOrChargedState) {
2027
2721
  throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
2028
2722
  }
2029
2723
  const key_0 = args_0[0];
2030
- return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2724
+ if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
2725
+ __compactRuntime.typeError('lookup',
2726
+ 'argument 1',
2727
+ 'leaf.compact line 38 char 1',
2728
+ 'Bytes<32>',
2729
+ key_0)
2730
+ }
2731
+ return _descriptor_3.fromValue(__compactRuntime.queryLedgerState(context,
2031
2732
  partialProofData,
2032
2733
  [
2033
2734
  { dup: { n: 0 } },
@@ -2035,8 +2736,8 @@ export function ledger(stateOrChargedState) {
2035
2736
  pushPath: false,
2036
2737
  path: [
2037
2738
  { tag: 'value',
2038
- value: { value: _descriptor_14.toValue(5n),
2039
- alignment: _descriptor_14.alignment() } }] } },
2739
+ value: { value: _descriptor_17.toValue(5n),
2740
+ alignment: _descriptor_17.alignment() } }] } },
2040
2741
  { idx: { cached: false,
2041
2742
  pushPath: false,
2042
2743
  path: [
@@ -2051,7 +2752,7 @@ export function ledger(stateOrChargedState) {
2051
2752
  throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
2052
2753
  }
2053
2754
  const self_0 = state.asArray()[5];
2054
- return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value), _descriptor_4.fromValue(value.value) ]; })[Symbol.iterator]();
2755
+ return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value), _descriptor_3.fromValue(value.value) ]; })[Symbol.iterator]();
2055
2756
  }
2056
2757
  },
2057
2758
  domains_owned: {
@@ -2059,7 +2760,7 @@ export function ledger(stateOrChargedState) {
2059
2760
  if (args_0.length !== 0) {
2060
2761
  throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
2061
2762
  }
2062
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2763
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2063
2764
  partialProofData,
2064
2765
  [
2065
2766
  { dup: { n: 0 } },
@@ -2067,12 +2768,12 @@ export function ledger(stateOrChargedState) {
2067
2768
  pushPath: false,
2068
2769
  path: [
2069
2770
  { tag: 'value',
2070
- value: { value: _descriptor_14.toValue(6n),
2071
- alignment: _descriptor_14.alignment() } }] } },
2771
+ value: { value: _descriptor_17.toValue(6n),
2772
+ alignment: _descriptor_17.alignment() } }] } },
2072
2773
  'size',
2073
2774
  { push: { storage: false,
2074
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
2075
- alignment: _descriptor_6.alignment() }).encode() } },
2775
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
2776
+ alignment: _descriptor_5.alignment() }).encode() } },
2076
2777
  'eq',
2077
2778
  { popeq: { cached: true,
2078
2779
  result: undefined } }]).value);
@@ -2081,7 +2782,7 @@ export function ledger(stateOrChargedState) {
2081
2782
  if (args_0.length !== 0) {
2082
2783
  throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
2083
2784
  }
2084
- return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
2785
+ return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2085
2786
  partialProofData,
2086
2787
  [
2087
2788
  { dup: { n: 0 } },
@@ -2089,8 +2790,8 @@ export function ledger(stateOrChargedState) {
2089
2790
  pushPath: false,
2090
2791
  path: [
2091
2792
  { tag: 'value',
2092
- value: { value: _descriptor_14.toValue(6n),
2093
- alignment: _descriptor_14.alignment() } }] } },
2793
+ value: { value: _descriptor_17.toValue(6n),
2794
+ alignment: _descriptor_17.alignment() } }] } },
2094
2795
  'size',
2095
2796
  { popeq: { cached: true,
2096
2797
  result: undefined } }]).value);
@@ -2107,7 +2808,7 @@ export function ledger(stateOrChargedState) {
2107
2808
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
2108
2809
  key_0)
2109
2810
  }
2110
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2811
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2111
2812
  partialProofData,
2112
2813
  [
2113
2814
  { dup: { n: 0 } },
@@ -2115,11 +2816,11 @@ export function ledger(stateOrChargedState) {
2115
2816
  pushPath: false,
2116
2817
  path: [
2117
2818
  { tag: 'value',
2118
- value: { value: _descriptor_14.toValue(6n),
2119
- alignment: _descriptor_14.alignment() } }] } },
2819
+ value: { value: _descriptor_17.toValue(6n),
2820
+ alignment: _descriptor_17.alignment() } }] } },
2120
2821
  { push: { storage: false,
2121
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(key_0),
2122
- alignment: _descriptor_2.alignment() }).encode() } },
2822
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(key_0),
2823
+ alignment: _descriptor_1.alignment() }).encode() } },
2123
2824
  'member',
2124
2825
  { popeq: { cached: true,
2125
2826
  result: undefined } }]).value);
@@ -2136,8 +2837,8 @@ export function ledger(stateOrChargedState) {
2136
2837
  'struct ZswapCoinPublicKey<bytes: Bytes<32>>',
2137
2838
  key_0)
2138
2839
  }
2139
- if (state.asArray()[6].asMap().get({ value: _descriptor_2.toValue(key_0),
2140
- alignment: _descriptor_2.alignment() }) === undefined) {
2840
+ if (state.asArray()[6].asMap().get({ value: _descriptor_1.toValue(key_0),
2841
+ alignment: _descriptor_1.alignment() }) === undefined) {
2141
2842
  throw new __compactRuntime.CompactError(`Map value undefined for ${key_0}`);
2142
2843
  }
2143
2844
  return {
@@ -2145,7 +2846,7 @@ export function ledger(stateOrChargedState) {
2145
2846
  if (args_1.length !== 0) {
2146
2847
  throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_1.length}`);
2147
2848
  }
2148
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2849
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2149
2850
  partialProofData,
2150
2851
  [
2151
2852
  { dup: { n: 0 } },
@@ -2153,15 +2854,15 @@ export function ledger(stateOrChargedState) {
2153
2854
  pushPath: false,
2154
2855
  path: [
2155
2856
  { tag: 'value',
2156
- value: { value: _descriptor_14.toValue(6n),
2157
- alignment: _descriptor_14.alignment() } },
2857
+ value: { value: _descriptor_17.toValue(6n),
2858
+ alignment: _descriptor_17.alignment() } },
2158
2859
  { tag: 'value',
2159
- value: { value: _descriptor_2.toValue(key_0),
2160
- alignment: _descriptor_2.alignment() } }] } },
2860
+ value: { value: _descriptor_1.toValue(key_0),
2861
+ alignment: _descriptor_1.alignment() } }] } },
2161
2862
  'size',
2162
2863
  { push: { storage: false,
2163
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
2164
- alignment: _descriptor_6.alignment() }).encode() } },
2864
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
2865
+ alignment: _descriptor_5.alignment() }).encode() } },
2165
2866
  'eq',
2166
2867
  { popeq: { cached: true,
2167
2868
  result: undefined } }]).value);
@@ -2170,7 +2871,7 @@ export function ledger(stateOrChargedState) {
2170
2871
  if (args_1.length !== 0) {
2171
2872
  throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_1.length}`);
2172
2873
  }
2173
- return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
2874
+ return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2174
2875
  partialProofData,
2175
2876
  [
2176
2877
  { dup: { n: 0 } },
@@ -2178,11 +2879,11 @@ export function ledger(stateOrChargedState) {
2178
2879
  pushPath: false,
2179
2880
  path: [
2180
2881
  { tag: 'value',
2181
- value: { value: _descriptor_14.toValue(6n),
2182
- alignment: _descriptor_14.alignment() } },
2882
+ value: { value: _descriptor_17.toValue(6n),
2883
+ alignment: _descriptor_17.alignment() } },
2183
2884
  { tag: 'value',
2184
- value: { value: _descriptor_2.toValue(key_0),
2185
- alignment: _descriptor_2.alignment() } }] } },
2885
+ value: { value: _descriptor_1.toValue(key_0),
2886
+ alignment: _descriptor_1.alignment() } }] } },
2186
2887
  'size',
2187
2888
  { popeq: { cached: true,
2188
2889
  result: undefined } }]).value);
@@ -2192,7 +2893,14 @@ export function ledger(stateOrChargedState) {
2192
2893
  throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_1.length}`);
2193
2894
  }
2194
2895
  const elem_0 = args_1[0];
2195
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2896
+ if (!(elem_0.buffer instanceof ArrayBuffer && elem_0.BYTES_PER_ELEMENT === 1 && elem_0.length === 32)) {
2897
+ __compactRuntime.typeError('member',
2898
+ 'argument 1',
2899
+ 'leaf.compact line 41 char 54',
2900
+ 'Bytes<32>',
2901
+ elem_0)
2902
+ }
2903
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2196
2904
  partialProofData,
2197
2905
  [
2198
2906
  { dup: { n: 0 } },
@@ -2200,11 +2908,11 @@ export function ledger(stateOrChargedState) {
2200
2908
  pushPath: false,
2201
2909
  path: [
2202
2910
  { tag: 'value',
2203
- value: { value: _descriptor_14.toValue(6n),
2204
- alignment: _descriptor_14.alignment() } },
2911
+ value: { value: _descriptor_17.toValue(6n),
2912
+ alignment: _descriptor_17.alignment() } },
2205
2913
  { tag: 'value',
2206
- value: { value: _descriptor_2.toValue(key_0),
2207
- alignment: _descriptor_2.alignment() } }] } },
2914
+ value: { value: _descriptor_1.toValue(key_0),
2915
+ alignment: _descriptor_1.alignment() } }] } },
2208
2916
  { push: { storage: false,
2209
2917
  value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(elem_0),
2210
2918
  alignment: _descriptor_0.alignment() }).encode() } },
@@ -2216,8 +2924,8 @@ export function ledger(stateOrChargedState) {
2216
2924
  if (args_1.length !== 0) {
2217
2925
  throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_1.length}`);
2218
2926
  }
2219
- const self_0 = state.asArray()[6].asMap().get({ value: _descriptor_2.toValue(key_0),
2220
- alignment: _descriptor_2.alignment() });
2927
+ const self_0 = state.asArray()[6].asMap().get({ value: _descriptor_1.toValue(key_0),
2928
+ alignment: _descriptor_1.alignment() });
2221
2929
  return self_0.asMap().keys().map((elem) => _descriptor_0.fromValue(elem.value))[Symbol.iterator]();
2222
2930
  }
2223
2931
  }
@@ -2228,7 +2936,7 @@ export function ledger(stateOrChargedState) {
2228
2936
  if (args_0.length !== 0) {
2229
2937
  throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
2230
2938
  }
2231
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2939
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2232
2940
  partialProofData,
2233
2941
  [
2234
2942
  { dup: { n: 0 } },
@@ -2236,12 +2944,12 @@ export function ledger(stateOrChargedState) {
2236
2944
  pushPath: false,
2237
2945
  path: [
2238
2946
  { tag: 'value',
2239
- value: { value: _descriptor_14.toValue(7n),
2240
- alignment: _descriptor_14.alignment() } }] } },
2947
+ value: { value: _descriptor_17.toValue(7n),
2948
+ alignment: _descriptor_17.alignment() } }] } },
2241
2949
  'size',
2242
2950
  { push: { storage: false,
2243
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(0n),
2244
- alignment: _descriptor_6.alignment() }).encode() } },
2951
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
2952
+ alignment: _descriptor_5.alignment() }).encode() } },
2245
2953
  'eq',
2246
2954
  { popeq: { cached: true,
2247
2955
  result: undefined } }]).value);
@@ -2250,7 +2958,7 @@ export function ledger(stateOrChargedState) {
2250
2958
  if (args_0.length !== 0) {
2251
2959
  throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
2252
2960
  }
2253
- return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
2961
+ return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2254
2962
  partialProofData,
2255
2963
  [
2256
2964
  { dup: { n: 0 } },
@@ -2258,8 +2966,8 @@ export function ledger(stateOrChargedState) {
2258
2966
  pushPath: false,
2259
2967
  path: [
2260
2968
  { tag: 'value',
2261
- value: { value: _descriptor_14.toValue(7n),
2262
- alignment: _descriptor_14.alignment() } }] } },
2969
+ value: { value: _descriptor_17.toValue(7n),
2970
+ alignment: _descriptor_17.alignment() } }] } },
2263
2971
  'size',
2264
2972
  { popeq: { cached: true,
2265
2973
  result: undefined } }]).value);
@@ -2269,7 +2977,7 @@ export function ledger(stateOrChargedState) {
2269
2977
  throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
2270
2978
  }
2271
2979
  const key_0 = args_0[0];
2272
- return _descriptor_5.fromValue(__compactRuntime.queryLedgerState(context,
2980
+ return _descriptor_4.fromValue(__compactRuntime.queryLedgerState(context,
2273
2981
  partialProofData,
2274
2982
  [
2275
2983
  { dup: { n: 0 } },
@@ -2277,11 +2985,11 @@ export function ledger(stateOrChargedState) {
2277
2985
  pushPath: false,
2278
2986
  path: [
2279
2987
  { tag: 'value',
2280
- value: { value: _descriptor_14.toValue(7n),
2281
- alignment: _descriptor_14.alignment() } }] } },
2988
+ value: { value: _descriptor_17.toValue(7n),
2989
+ alignment: _descriptor_17.alignment() } }] } },
2282
2990
  { push: { storage: false,
2283
- value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
2284
- alignment: _descriptor_0.alignment() }).encode() } },
2991
+ value: __compactRuntime.StateValue.newCell({ value: _descriptor_7.toValue(key_0),
2992
+ alignment: _descriptor_7.alignment() }).encode() } },
2285
2993
  'member',
2286
2994
  { popeq: { cached: true,
2287
2995
  result: undefined } }]).value);
@@ -2291,7 +2999,7 @@ export function ledger(stateOrChargedState) {
2291
2999
  throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
2292
3000
  }
2293
3001
  const key_0 = args_0[0];
2294
- return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
3002
+ return _descriptor_7.fromValue(__compactRuntime.queryLedgerState(context,
2295
3003
  partialProofData,
2296
3004
  [
2297
3005
  { dup: { n: 0 } },
@@ -2299,14 +3007,14 @@ export function ledger(stateOrChargedState) {
2299
3007
  pushPath: false,
2300
3008
  path: [
2301
3009
  { tag: 'value',
2302
- value: { value: _descriptor_14.toValue(7n),
2303
- alignment: _descriptor_14.alignment() } }] } },
3010
+ value: { value: _descriptor_17.toValue(7n),
3011
+ alignment: _descriptor_17.alignment() } }] } },
2304
3012
  { idx: { cached: false,
2305
3013
  pushPath: false,
2306
3014
  path: [
2307
3015
  { tag: 'value',
2308
- value: { value: _descriptor_0.toValue(key_0),
2309
- alignment: _descriptor_0.alignment() } }] } },
3016
+ value: { value: _descriptor_7.toValue(key_0),
3017
+ alignment: _descriptor_7.alignment() } }] } },
2310
3018
  { popeq: { cached: false,
2311
3019
  result: undefined } }]).value);
2312
3020
  },
@@ -2315,11 +3023,11 @@ export function ledger(stateOrChargedState) {
2315
3023
  throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
2316
3024
  }
2317
3025
  const self_0 = state.asArray()[7];
2318
- return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value), _descriptor_0.fromValue(value.value) ]; })[Symbol.iterator]();
3026
+ return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_7.fromValue(key.value), _descriptor_7.fromValue(value.value) ]; })[Symbol.iterator]();
2319
3027
  }
2320
3028
  },
2321
3029
  get COIN_COLOR() {
2322
- return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
3030
+ return _descriptor_0.fromValue(__compactRuntime.queryLedgerState(context,
2323
3031
  partialProofData,
2324
3032
  [
2325
3033
  { dup: { n: 0 } },
@@ -2327,24 +3035,52 @@ export function ledger(stateOrChargedState) {
2327
3035
  pushPath: false,
2328
3036
  path: [
2329
3037
  { tag: 'value',
2330
- value: { value: _descriptor_14.toValue(8n),
2331
- alignment: _descriptor_14.alignment() } }] } },
3038
+ value: { value: _descriptor_17.toValue(8n),
3039
+ alignment: _descriptor_17.alignment() } }] } },
2332
3040
  { popeq: { cached: false,
2333
3041
  result: undefined } }]).value);
2334
3042
  },
2335
- get DOMAIN_COST() {
2336
- return _descriptor_11.fromValue(__compactRuntime.queryLedgerState(context,
2337
- partialProofData,
2338
- [
2339
- { dup: { n: 0 } },
2340
- { idx: { cached: false,
2341
- pushPath: false,
2342
- path: [
2343
- { tag: 'value',
2344
- value: { value: _descriptor_14.toValue(9n),
2345
- alignment: _descriptor_14.alignment() } }] } },
2346
- { popeq: { cached: false,
2347
- result: undefined } }]).value);
3043
+ get COST_SHORT() {
3044
+ return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
3045
+ partialProofData,
3046
+ [
3047
+ { dup: { n: 0 } },
3048
+ { idx: { cached: false,
3049
+ pushPath: false,
3050
+ path: [
3051
+ { tag: 'value',
3052
+ value: { value: _descriptor_17.toValue(9n),
3053
+ alignment: _descriptor_17.alignment() } }] } },
3054
+ { popeq: { cached: false,
3055
+ result: undefined } }]).value);
3056
+ },
3057
+ get COST_MED() {
3058
+ return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
3059
+ partialProofData,
3060
+ [
3061
+ { dup: { n: 0 } },
3062
+ { idx: { cached: false,
3063
+ pushPath: false,
3064
+ path: [
3065
+ { tag: 'value',
3066
+ value: { value: _descriptor_17.toValue(10n),
3067
+ alignment: _descriptor_17.alignment() } }] } },
3068
+ { popeq: { cached: false,
3069
+ result: undefined } }]).value);
3070
+ },
3071
+ get COST_LONG() {
3072
+ return _descriptor_9.fromValue(__compactRuntime.queryLedgerState(context,
3073
+ partialProofData,
3074
+ [
3075
+ { dup: { n: 0 } },
3076
+ { idx: { cached: false,
3077
+ pushPath: false,
3078
+ path: [
3079
+ { tag: 'value',
3080
+ value: { value: _descriptor_17.toValue(11n),
3081
+ alignment: _descriptor_17.alignment() } }] } },
3082
+ { popeq: { cached: false,
3083
+ result: undefined } }]).value);
2348
3084
  }
2349
3085
  };
2350
3086
  }