@sig-net/midnight-contract 0.0.1 → 0.0.3
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.
- package/dist/managed/compiler/contract-info.json +49 -4
- package/dist/managed/compiler/contract-manifest.json +33 -33
- package/dist/managed/contract/index.d.ts +22 -12
- package/dist/managed/contract/index.js +423 -399
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/managed/keys/notifyBidirectionalSignatureRequest.prover +0 -0
- package/dist/managed/keys/notifyBidirectionalSignatureRequest.verifier +0 -0
- package/dist/managed/keys/postRespondBidirectional.prover +0 -0
- package/dist/managed/keys/postRespondBidirectional.verifier +0 -0
- package/dist/managed/keys/postSignatureResponse.prover +0 -0
- package/dist/managed/keys/postSignatureResponse.verifier +0 -0
- package/dist/managed/zkir/notifyBidirectionalSignatureRequest.bzkir +0 -0
- package/dist/managed/zkir/notifyBidirectionalSignatureRequest.zkir +49 -0
- package/dist/managed/zkir/postRespondBidirectional.bzkir +0 -0
- package/dist/managed/zkir/postRespondBidirectional.zkir +0 -324
- package/dist/managed/zkir/postSignatureResponse.bzkir +0 -0
- package/dist/managed/zkir/postSignatureResponse.zkir +0 -228
- package/package.json +4 -6
- package/dist/managed/keys/emitSignBidirectionalEvent.verifier +0 -0
- package/dist/managed/zkir/emitSignBidirectionalEvent.bzkir +0 -0
- package/dist/managed/zkir/emitSignBidirectionalEvent.zkir +0 -965
- package/src/contract-surface.ts +0 -40
- package/src/index.ts +0 -9
- package/src/signet-contract.compact +0 -135
- package/src/witnesses.ts +0 -22
|
@@ -3,194 +3,157 @@ __compactRuntime.checkRuntimeVersion('0.18.0-rc.0');
|
|
|
3
3
|
|
|
4
4
|
const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
|
|
5
5
|
|
|
6
|
-
const _descriptor_1 = new __compactRuntime.
|
|
6
|
+
const _descriptor_1 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
|
|
7
7
|
|
|
8
|
-
const _descriptor_2 =
|
|
8
|
+
const _descriptor_2 = __compactRuntime.CompactTypeBoolean;
|
|
9
9
|
|
|
10
|
-
const _descriptor_3 = __compactRuntime.
|
|
11
|
-
|
|
12
|
-
const _descriptor_4 = __compactRuntime.CompactTypeField;
|
|
13
|
-
|
|
14
|
-
class _RespondBidirectional_0 {
|
|
15
|
-
alignment() {
|
|
16
|
-
return _descriptor_1.alignment().concat(_descriptor_2.alignment().concat(_descriptor_3.alignment().concat(_descriptor_3.alignment().concat(_descriptor_4.alignment()))));
|
|
17
|
-
}
|
|
18
|
-
fromValue(value_0) {
|
|
19
|
-
return {
|
|
20
|
-
serializedOutput: _descriptor_1.fromValue(value_0),
|
|
21
|
-
outputLen: _descriptor_2.fromValue(value_0),
|
|
22
|
-
pk: _descriptor_3.fromValue(value_0),
|
|
23
|
-
announcement: _descriptor_3.fromValue(value_0),
|
|
24
|
-
response: _descriptor_4.fromValue(value_0)
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
toValue(value_0) {
|
|
28
|
-
return _descriptor_1.toValue(value_0.serializedOutput).concat(_descriptor_2.toValue(value_0.outputLen).concat(_descriptor_3.toValue(value_0.pk).concat(_descriptor_3.toValue(value_0.announcement).concat(_descriptor_4.toValue(value_0.response)))));
|
|
29
|
-
}
|
|
30
|
-
}
|
|
31
|
-
|
|
32
|
-
const _descriptor_5 = new _RespondBidirectional_0();
|
|
33
|
-
|
|
34
|
-
const _descriptor_6 = new __compactRuntime.CompactTypeBytes(288);
|
|
35
|
-
|
|
36
|
-
const _descriptor_7 = __compactRuntime.CompactTypeBoolean;
|
|
37
|
-
|
|
38
|
-
const _descriptor_8 = new __compactRuntime.CompactTypeBytes(224);
|
|
39
|
-
|
|
40
|
-
class _SignBidirectionalEvent_0 {
|
|
41
|
-
alignment() {
|
|
42
|
-
return _descriptor_2.alignment().concat(_descriptor_8.alignment());
|
|
43
|
-
}
|
|
44
|
-
fromValue(value_0) {
|
|
45
|
-
return {
|
|
46
|
-
version: _descriptor_2.fromValue(value_0),
|
|
47
|
-
payload: _descriptor_8.fromValue(value_0)
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
toValue(value_0) {
|
|
51
|
-
return _descriptor_2.toValue(value_0.version).concat(_descriptor_8.toValue(value_0.payload));
|
|
52
|
-
}
|
|
53
|
-
}
|
|
54
|
-
|
|
55
|
-
const _descriptor_9 = new _SignBidirectionalEvent_0();
|
|
56
|
-
|
|
57
|
-
const _descriptor_10 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
|
|
58
|
-
|
|
59
|
-
const _descriptor_11 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
|
|
10
|
+
const _descriptor_3 = new __compactRuntime.CompactTypeUnsignedInteger(65535n, 2);
|
|
60
11
|
|
|
61
12
|
class _SignetResponseKey_0 {
|
|
62
13
|
alignment() {
|
|
63
|
-
return
|
|
14
|
+
return _descriptor_1.alignment().concat(_descriptor_0.alignment());
|
|
64
15
|
}
|
|
65
16
|
fromValue(value_0) {
|
|
66
17
|
return {
|
|
67
|
-
count:
|
|
18
|
+
count: _descriptor_1.fromValue(value_0),
|
|
68
19
|
requestId: _descriptor_0.fromValue(value_0)
|
|
69
20
|
}
|
|
70
21
|
}
|
|
71
22
|
toValue(value_0) {
|
|
72
|
-
return
|
|
23
|
+
return _descriptor_1.toValue(value_0.count).concat(_descriptor_0.toValue(value_0.requestId));
|
|
73
24
|
}
|
|
74
25
|
}
|
|
75
26
|
|
|
76
|
-
const
|
|
27
|
+
const _descriptor_4 = new _SignetResponseKey_0();
|
|
28
|
+
|
|
29
|
+
const _descriptor_5 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
|
|
77
30
|
|
|
78
31
|
class _SignatureResponse_0 {
|
|
79
32
|
alignment() {
|
|
80
|
-
return _descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment().concat(
|
|
33
|
+
return _descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment().concat(_descriptor_5.alignment())));
|
|
81
34
|
}
|
|
82
35
|
fromValue(value_0) {
|
|
83
36
|
return {
|
|
84
37
|
bigRx: _descriptor_0.fromValue(value_0),
|
|
85
38
|
bigRy: _descriptor_0.fromValue(value_0),
|
|
86
39
|
s: _descriptor_0.fromValue(value_0),
|
|
87
|
-
recoveryId:
|
|
40
|
+
recoveryId: _descriptor_5.fromValue(value_0)
|
|
88
41
|
}
|
|
89
42
|
}
|
|
90
43
|
toValue(value_0) {
|
|
91
|
-
return _descriptor_0.toValue(value_0.bigRx).concat(_descriptor_0.toValue(value_0.bigRy).concat(_descriptor_0.toValue(value_0.s).concat(
|
|
44
|
+
return _descriptor_0.toValue(value_0.bigRx).concat(_descriptor_0.toValue(value_0.bigRy).concat(_descriptor_0.toValue(value_0.s).concat(_descriptor_5.toValue(value_0.recoveryId))));
|
|
92
45
|
}
|
|
93
46
|
}
|
|
94
47
|
|
|
95
|
-
const
|
|
48
|
+
const _descriptor_6 = new _SignatureResponse_0();
|
|
49
|
+
|
|
50
|
+
const _descriptor_7 = new __compactRuntime.CompactTypeBytes(128);
|
|
51
|
+
|
|
52
|
+
const _descriptor_8 = __compactRuntime.CompactTypeJubjubPoint;
|
|
96
53
|
|
|
97
|
-
|
|
54
|
+
const _descriptor_9 = __compactRuntime.CompactTypeField;
|
|
55
|
+
|
|
56
|
+
class _RespondBidirectional_0 {
|
|
98
57
|
alignment() {
|
|
99
|
-
return
|
|
58
|
+
return _descriptor_7.alignment().concat(_descriptor_5.alignment().concat(_descriptor_8.alignment().concat(_descriptor_8.alignment().concat(_descriptor_9.alignment()))));
|
|
100
59
|
}
|
|
101
60
|
fromValue(value_0) {
|
|
102
61
|
return {
|
|
103
|
-
|
|
62
|
+
serializedOutput: _descriptor_7.fromValue(value_0),
|
|
63
|
+
outputLen: _descriptor_5.fromValue(value_0),
|
|
64
|
+
pk: _descriptor_8.fromValue(value_0),
|
|
65
|
+
announcement: _descriptor_8.fromValue(value_0),
|
|
66
|
+
response: _descriptor_9.fromValue(value_0)
|
|
104
67
|
}
|
|
105
68
|
}
|
|
106
69
|
toValue(value_0) {
|
|
107
|
-
return
|
|
70
|
+
return _descriptor_7.toValue(value_0.serializedOutput).concat(_descriptor_5.toValue(value_0.outputLen).concat(_descriptor_8.toValue(value_0.pk).concat(_descriptor_8.toValue(value_0.announcement).concat(_descriptor_9.toValue(value_0.response)))));
|
|
108
71
|
}
|
|
109
72
|
}
|
|
110
73
|
|
|
111
|
-
const
|
|
74
|
+
const _descriptor_10 = new _RespondBidirectional_0();
|
|
112
75
|
|
|
113
|
-
const
|
|
76
|
+
const _descriptor_11 = new __compactRuntime.CompactTypeVector(4, _descriptor_9);
|
|
114
77
|
|
|
115
|
-
const
|
|
78
|
+
const _descriptor_12 = new __compactRuntime.CompactTypeBytes(65);
|
|
116
79
|
|
|
117
|
-
class
|
|
80
|
+
class _SignBidirectionalNotification_0 {
|
|
118
81
|
alignment() {
|
|
119
|
-
return
|
|
82
|
+
return _descriptor_5.alignment().concat(_descriptor_12.alignment());
|
|
120
83
|
}
|
|
121
84
|
fromValue(value_0) {
|
|
122
85
|
return {
|
|
123
|
-
|
|
124
|
-
|
|
86
|
+
version: _descriptor_5.fromValue(value_0),
|
|
87
|
+
payload: _descriptor_12.fromValue(value_0)
|
|
125
88
|
}
|
|
126
89
|
}
|
|
127
90
|
toValue(value_0) {
|
|
128
|
-
return
|
|
91
|
+
return _descriptor_5.toValue(value_0.version).concat(_descriptor_12.toValue(value_0.payload));
|
|
129
92
|
}
|
|
130
93
|
}
|
|
131
94
|
|
|
132
|
-
const
|
|
95
|
+
const _descriptor_13 = new _SignBidirectionalNotification_0();
|
|
133
96
|
|
|
134
|
-
const
|
|
97
|
+
const _descriptor_14 = __compactRuntime.CompactTypeField;
|
|
135
98
|
|
|
136
|
-
const
|
|
99
|
+
const _descriptor_15 = new __compactRuntime.CompactTypeVector(2, _descriptor_0);
|
|
137
100
|
|
|
138
101
|
class _JubjubSchnorrSignature_0 {
|
|
139
102
|
alignment() {
|
|
140
|
-
return
|
|
103
|
+
return _descriptor_8.alignment().concat(_descriptor_9.alignment());
|
|
141
104
|
}
|
|
142
105
|
fromValue(value_0) {
|
|
143
106
|
return {
|
|
144
|
-
announcement:
|
|
145
|
-
response:
|
|
107
|
+
announcement: _descriptor_8.fromValue(value_0),
|
|
108
|
+
response: _descriptor_9.fromValue(value_0)
|
|
146
109
|
}
|
|
147
110
|
}
|
|
148
111
|
toValue(value_0) {
|
|
149
|
-
return
|
|
112
|
+
return _descriptor_8.toValue(value_0.announcement).concat(_descriptor_9.toValue(value_0.response));
|
|
150
113
|
}
|
|
151
114
|
}
|
|
152
115
|
|
|
153
|
-
const
|
|
116
|
+
const _descriptor_16 = new _JubjubSchnorrSignature_0();
|
|
154
117
|
|
|
155
118
|
class _JubjubSchnorrHashInput_0 {
|
|
156
119
|
alignment() {
|
|
157
|
-
return
|
|
120
|
+
return _descriptor_9.alignment().concat(_descriptor_9.alignment().concat(_descriptor_9.alignment().concat(_descriptor_9.alignment().concat(_descriptor_11.alignment()))));
|
|
158
121
|
}
|
|
159
122
|
fromValue(value_0) {
|
|
160
123
|
return {
|
|
161
|
-
annX:
|
|
162
|
-
annY:
|
|
163
|
-
pkX:
|
|
164
|
-
pkY:
|
|
165
|
-
msg:
|
|
124
|
+
annX: _descriptor_9.fromValue(value_0),
|
|
125
|
+
annY: _descriptor_9.fromValue(value_0),
|
|
126
|
+
pkX: _descriptor_9.fromValue(value_0),
|
|
127
|
+
pkY: _descriptor_9.fromValue(value_0),
|
|
128
|
+
msg: _descriptor_11.fromValue(value_0)
|
|
166
129
|
}
|
|
167
130
|
}
|
|
168
131
|
toValue(value_0) {
|
|
169
|
-
return
|
|
132
|
+
return _descriptor_9.toValue(value_0.annX).concat(_descriptor_9.toValue(value_0.annY).concat(_descriptor_9.toValue(value_0.pkX).concat(_descriptor_9.toValue(value_0.pkY).concat(_descriptor_11.toValue(value_0.msg)))));
|
|
170
133
|
}
|
|
171
134
|
}
|
|
172
135
|
|
|
173
|
-
const
|
|
136
|
+
const _descriptor_17 = new _JubjubSchnorrHashInput_0();
|
|
174
137
|
|
|
175
138
|
class _Either_0 {
|
|
176
139
|
alignment() {
|
|
177
|
-
return
|
|
140
|
+
return _descriptor_2.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
|
|
178
141
|
}
|
|
179
142
|
fromValue(value_0) {
|
|
180
143
|
return {
|
|
181
|
-
is_left:
|
|
144
|
+
is_left: _descriptor_2.fromValue(value_0),
|
|
182
145
|
left: _descriptor_0.fromValue(value_0),
|
|
183
146
|
right: _descriptor_0.fromValue(value_0)
|
|
184
147
|
}
|
|
185
148
|
}
|
|
186
149
|
toValue(value_0) {
|
|
187
|
-
return
|
|
150
|
+
return _descriptor_2.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
|
|
188
151
|
}
|
|
189
152
|
}
|
|
190
153
|
|
|
191
|
-
const
|
|
154
|
+
const _descriptor_18 = new _Either_0();
|
|
192
155
|
|
|
193
|
-
const
|
|
156
|
+
const _descriptor_19 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
|
|
194
157
|
|
|
195
158
|
class _ContractAddress_0 {
|
|
196
159
|
alignment() {
|
|
@@ -206,9 +169,9 @@ class _ContractAddress_0 {
|
|
|
206
169
|
}
|
|
207
170
|
}
|
|
208
171
|
|
|
209
|
-
const
|
|
172
|
+
const _descriptor_20 = new _ContractAddress_0();
|
|
210
173
|
|
|
211
|
-
const
|
|
174
|
+
const _descriptor_21 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
|
|
212
175
|
|
|
213
176
|
export class Contract {
|
|
214
177
|
witnesses;
|
|
@@ -222,39 +185,48 @@ export class Contract {
|
|
|
222
185
|
}
|
|
223
186
|
this.witnesses = witnesses_0;
|
|
224
187
|
this.circuits = {
|
|
225
|
-
|
|
226
|
-
if (args_1.length !==
|
|
227
|
-
throw new __compactRuntime.CompactError(`
|
|
188
|
+
notifyBidirectionalSignatureRequest: async (...args_1) => {
|
|
189
|
+
if (args_1.length !== 3) {
|
|
190
|
+
throw new __compactRuntime.CompactError(`notifyBidirectionalSignatureRequest: expected 3 arguments (as invoked from Typescript), received ${args_1.length}`);
|
|
228
191
|
}
|
|
229
192
|
const contextOrig_0 = args_1[0];
|
|
230
|
-
const
|
|
193
|
+
const requestId_0 = args_1[1];
|
|
194
|
+
const notification_0 = args_1[2];
|
|
231
195
|
if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
|
|
232
|
-
__compactRuntime.typeError('
|
|
196
|
+
__compactRuntime.typeError('notifyBidirectionalSignatureRequest',
|
|
233
197
|
'argument 1 (as invoked from Typescript)',
|
|
234
|
-
'signet-contract.compact line
|
|
198
|
+
'signet-contract.compact line 41 char 1',
|
|
235
199
|
'CircuitContext',
|
|
236
200
|
contextOrig_0)
|
|
237
201
|
}
|
|
238
|
-
if (!(
|
|
239
|
-
__compactRuntime.typeError('
|
|
202
|
+
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
203
|
+
__compactRuntime.typeError('notifyBidirectionalSignatureRequest',
|
|
240
204
|
'argument 1 (argument 2 as invoked from Typescript)',
|
|
241
|
-
'signet-contract.compact line
|
|
242
|
-
'
|
|
243
|
-
|
|
205
|
+
'signet-contract.compact line 41 char 1',
|
|
206
|
+
'Bytes<32>',
|
|
207
|
+
requestId_0)
|
|
208
|
+
}
|
|
209
|
+
if (!(typeof(notification_0) === 'object' && typeof(notification_0.version) === 'bigint' && notification_0.version >= 0n && notification_0.version <= 255n && notification_0.payload.buffer instanceof ArrayBuffer && notification_0.payload.BYTES_PER_ELEMENT === 1 && notification_0.payload.length === 65)) {
|
|
210
|
+
__compactRuntime.typeError('notifyBidirectionalSignatureRequest',
|
|
211
|
+
'argument 2 (argument 3 as invoked from Typescript)',
|
|
212
|
+
'signet-contract.compact line 41 char 1',
|
|
213
|
+
'struct SignBidirectionalNotification<version: Uint<0..256>, payload: Bytes<65>>',
|
|
214
|
+
notification_0)
|
|
244
215
|
}
|
|
245
216
|
const context = __compactRuntime.copyCircuitContext(contextOrig_0);
|
|
246
217
|
const partialProofData = {
|
|
247
218
|
input: {
|
|
248
|
-
value:
|
|
249
|
-
alignment:
|
|
219
|
+
value: _descriptor_0.toValue(requestId_0).concat(_descriptor_13.toValue(notification_0)),
|
|
220
|
+
alignment: _descriptor_0.alignment().concat(_descriptor_13.alignment())
|
|
250
221
|
},
|
|
251
222
|
output: undefined,
|
|
252
223
|
publicTranscript: [],
|
|
253
224
|
privateTranscriptOutputs: []
|
|
254
225
|
};
|
|
255
|
-
const result_0 = await this.
|
|
256
|
-
|
|
257
|
-
|
|
226
|
+
const result_0 = await this._notifyBidirectionalSignatureRequest_0(context,
|
|
227
|
+
partialProofData,
|
|
228
|
+
requestId_0,
|
|
229
|
+
notification_0);
|
|
258
230
|
partialProofData.output = { value: [], alignment: [] };
|
|
259
231
|
__compactRuntime.finalizeCallProofData(context, partialProofData);
|
|
260
232
|
return { result: result_0, context: context, gasCost: context.callContext.currentGasCost };
|
|
@@ -269,29 +241,29 @@ export class Contract {
|
|
|
269
241
|
if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
|
|
270
242
|
__compactRuntime.typeError('postSignatureResponse',
|
|
271
243
|
'argument 1 (as invoked from Typescript)',
|
|
272
|
-
'signet-contract.compact line
|
|
244
|
+
'signet-contract.compact line 57 char 1',
|
|
273
245
|
'CircuitContext',
|
|
274
246
|
contextOrig_0)
|
|
275
247
|
}
|
|
276
248
|
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
277
249
|
__compactRuntime.typeError('postSignatureResponse',
|
|
278
250
|
'argument 1 (argument 2 as invoked from Typescript)',
|
|
279
|
-
'signet-contract.compact line
|
|
251
|
+
'signet-contract.compact line 57 char 1',
|
|
280
252
|
'Bytes<32>',
|
|
281
253
|
requestId_0)
|
|
282
254
|
}
|
|
283
255
|
if (!(typeof(signatureResponse_0) === 'object' && signatureResponse_0.bigRx.buffer instanceof ArrayBuffer && signatureResponse_0.bigRx.BYTES_PER_ELEMENT === 1 && signatureResponse_0.bigRx.length === 32 && signatureResponse_0.bigRy.buffer instanceof ArrayBuffer && signatureResponse_0.bigRy.BYTES_PER_ELEMENT === 1 && signatureResponse_0.bigRy.length === 32 && signatureResponse_0.s.buffer instanceof ArrayBuffer && signatureResponse_0.s.BYTES_PER_ELEMENT === 1 && signatureResponse_0.s.length === 32 && typeof(signatureResponse_0.recoveryId) === 'bigint' && signatureResponse_0.recoveryId >= 0n && signatureResponse_0.recoveryId <= 255n)) {
|
|
284
256
|
__compactRuntime.typeError('postSignatureResponse',
|
|
285
257
|
'argument 2 (argument 3 as invoked from Typescript)',
|
|
286
|
-
'signet-contract.compact line
|
|
258
|
+
'signet-contract.compact line 57 char 1',
|
|
287
259
|
'struct SignatureResponse<bigRx: Bytes<32>, bigRy: Bytes<32>, s: Bytes<32>, recoveryId: Uint<0..256>>',
|
|
288
260
|
signatureResponse_0)
|
|
289
261
|
}
|
|
290
262
|
const context = __compactRuntime.copyCircuitContext(contextOrig_0);
|
|
291
263
|
const partialProofData = {
|
|
292
264
|
input: {
|
|
293
|
-
value: _descriptor_0.toValue(requestId_0).concat(
|
|
294
|
-
alignment: _descriptor_0.alignment().concat(
|
|
265
|
+
value: _descriptor_0.toValue(requestId_0).concat(_descriptor_6.toValue(signatureResponse_0)),
|
|
266
|
+
alignment: _descriptor_0.alignment().concat(_descriptor_6.alignment())
|
|
295
267
|
},
|
|
296
268
|
output: undefined,
|
|
297
269
|
publicTranscript: [],
|
|
@@ -315,29 +287,29 @@ export class Contract {
|
|
|
315
287
|
if (!(typeof(contextOrig_0) === 'object' && contextOrig_0.callContext.currentQueryContext != undefined)) {
|
|
316
288
|
__compactRuntime.typeError('postRespondBidirectional',
|
|
317
289
|
'argument 1 (as invoked from Typescript)',
|
|
318
|
-
'signet-contract.compact line
|
|
290
|
+
'signet-contract.compact line 87 char 1',
|
|
319
291
|
'CircuitContext',
|
|
320
292
|
contextOrig_0)
|
|
321
293
|
}
|
|
322
294
|
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
323
295
|
__compactRuntime.typeError('postRespondBidirectional',
|
|
324
296
|
'argument 1 (argument 2 as invoked from Typescript)',
|
|
325
|
-
'signet-contract.compact line
|
|
297
|
+
'signet-contract.compact line 87 char 1',
|
|
326
298
|
'Bytes<32>',
|
|
327
299
|
requestId_0)
|
|
328
300
|
}
|
|
329
301
|
if (!(typeof(respondBidirectional_0) === 'object' && respondBidirectional_0.serializedOutput.buffer instanceof ArrayBuffer && respondBidirectional_0.serializedOutput.BYTES_PER_ELEMENT === 1 && respondBidirectional_0.serializedOutput.length === 128 && typeof(respondBidirectional_0.outputLen) === 'bigint' && respondBidirectional_0.outputLen >= 0n && respondBidirectional_0.outputLen <= 255n && true && true && typeof(respondBidirectional_0.response) === 'bigint' && respondBidirectional_0.response >= 0 && respondBidirectional_0.response <= __compactRuntime.MAX_FIELD)) {
|
|
330
302
|
__compactRuntime.typeError('postRespondBidirectional',
|
|
331
303
|
'argument 2 (argument 3 as invoked from Typescript)',
|
|
332
|
-
'signet-contract.compact line
|
|
304
|
+
'signet-contract.compact line 87 char 1',
|
|
333
305
|
'struct RespondBidirectional<serializedOutput: Bytes<128>, outputLen: Uint<0..256>, pk: Opaque<"JubjubPoint">, announcement: Opaque<"JubjubPoint">, response: Field>',
|
|
334
306
|
respondBidirectional_0)
|
|
335
307
|
}
|
|
336
308
|
const context = __compactRuntime.copyCircuitContext(contextOrig_0);
|
|
337
309
|
const partialProofData = {
|
|
338
310
|
input: {
|
|
339
|
-
value: _descriptor_0.toValue(requestId_0).concat(
|
|
340
|
-
alignment: _descriptor_0.alignment().concat(
|
|
311
|
+
value: _descriptor_0.toValue(requestId_0).concat(_descriptor_10.toValue(respondBidirectional_0)),
|
|
312
|
+
alignment: _descriptor_0.alignment().concat(_descriptor_10.alignment())
|
|
341
313
|
},
|
|
342
314
|
output: undefined,
|
|
343
315
|
publicTranscript: [],
|
|
@@ -353,12 +325,12 @@ export class Contract {
|
|
|
353
325
|
}
|
|
354
326
|
};
|
|
355
327
|
this.impureCircuits = {
|
|
356
|
-
|
|
328
|
+
notifyBidirectionalSignatureRequest: this.circuits.notifyBidirectionalSignatureRequest,
|
|
357
329
|
postSignatureResponse: this.circuits.postSignatureResponse,
|
|
358
330
|
postRespondBidirectional: this.circuits.postRespondBidirectional
|
|
359
331
|
};
|
|
360
332
|
this.provableCircuits = {
|
|
361
|
-
|
|
333
|
+
notifyBidirectionalSignatureRequest: this.circuits.notifyBidirectionalSignatureRequest,
|
|
362
334
|
postSignatureResponse: this.circuits.postSignatureResponse,
|
|
363
335
|
postRespondBidirectional: this.circuits.postRespondBidirectional
|
|
364
336
|
};
|
|
@@ -384,8 +356,9 @@ export class Contract {
|
|
|
384
356
|
stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
|
|
385
357
|
stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
|
|
386
358
|
stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
|
|
359
|
+
stateValue_0 = stateValue_0.arrayPush(__compactRuntime.StateValue.newNull());
|
|
387
360
|
state_0.data = new __compactRuntime.ChargedState(stateValue_0);
|
|
388
|
-
state_0.setOperation('
|
|
361
|
+
state_0.setOperation('notifyBidirectionalSignatureRequest', new __compactRuntime.ContractOperation());
|
|
389
362
|
state_0.setOperation('postSignatureResponse', new __compactRuntime.ContractOperation());
|
|
390
363
|
state_0.setOperation('postRespondBidirectional', new __compactRuntime.ContractOperation());
|
|
391
364
|
const context = __compactRuntime.createCircuitContext('constructor', __compactRuntime.dummyContractAddress(), constructorContext_0.initialZswapLocalState.coinPublicKey, state_0.data, constructorContext_0.initialPrivateState);
|
|
@@ -399,8 +372,8 @@ export class Contract {
|
|
|
399
372
|
partialProofData,
|
|
400
373
|
[
|
|
401
374
|
{ push: { storage: false,
|
|
402
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
403
|
-
alignment:
|
|
375
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(0n),
|
|
376
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
404
377
|
{ push: { storage: true,
|
|
405
378
|
value: __compactRuntime.StateValue.newMap(
|
|
406
379
|
new __compactRuntime.StateMap()
|
|
@@ -410,8 +383,8 @@ export class Contract {
|
|
|
410
383
|
partialProofData,
|
|
411
384
|
[
|
|
412
385
|
{ push: { storage: false,
|
|
413
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
414
|
-
alignment:
|
|
386
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(1n),
|
|
387
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
415
388
|
{ push: { storage: true,
|
|
416
389
|
value: __compactRuntime.StateValue.newMap(
|
|
417
390
|
new __compactRuntime.StateMap()
|
|
@@ -421,8 +394,8 @@ export class Contract {
|
|
|
421
394
|
partialProofData,
|
|
422
395
|
[
|
|
423
396
|
{ push: { storage: false,
|
|
424
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
425
|
-
alignment:
|
|
397
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(2n),
|
|
398
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
426
399
|
{ push: { storage: true,
|
|
427
400
|
value: __compactRuntime.StateValue.newMap(
|
|
428
401
|
new __compactRuntime.StateMap()
|
|
@@ -432,19 +405,30 @@ export class Contract {
|
|
|
432
405
|
partialProofData,
|
|
433
406
|
[
|
|
434
407
|
{ push: { storage: false,
|
|
435
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
436
|
-
alignment:
|
|
408
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(3n),
|
|
409
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
437
410
|
{ push: { storage: true,
|
|
438
411
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(new Uint8Array(32)),
|
|
439
412
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
440
413
|
{ ins: { cached: false, n: 1 } }]);
|
|
414
|
+
__compactRuntime.queryLedgerState(context,
|
|
415
|
+
partialProofData,
|
|
416
|
+
[
|
|
417
|
+
{ push: { storage: false,
|
|
418
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(4n),
|
|
419
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
420
|
+
{ push: { storage: true,
|
|
421
|
+
value: __compactRuntime.StateValue.newMap(
|
|
422
|
+
new __compactRuntime.StateMap()
|
|
423
|
+
).encode() } },
|
|
424
|
+
{ ins: { cached: false, n: 1 } }]);
|
|
441
425
|
const tmp_0 = this._persistentHash_0(mpcPk_0);
|
|
442
426
|
__compactRuntime.queryLedgerState(context,
|
|
443
427
|
partialProofData,
|
|
444
428
|
[
|
|
445
429
|
{ push: { storage: false,
|
|
446
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
447
|
-
alignment:
|
|
430
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_5.toValue(3n),
|
|
431
|
+
alignment: _descriptor_5.alignment() }).encode() } },
|
|
448
432
|
{ push: { storage: true,
|
|
449
433
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(tmp_0),
|
|
450
434
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
@@ -473,19 +457,19 @@ export class Contract {
|
|
|
473
457
|
return this._equal_0(lhs_0, rhs_0);
|
|
474
458
|
}
|
|
475
459
|
_transientHash_0(value_0) {
|
|
476
|
-
const result_0 = __compactRuntime.transientHash(
|
|
460
|
+
const result_0 = __compactRuntime.transientHash(_descriptor_17, value_0);
|
|
477
461
|
return result_0;
|
|
478
462
|
}
|
|
479
463
|
_persistentHash_0(value_0) {
|
|
480
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
464
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_8, value_0);
|
|
481
465
|
return result_0;
|
|
482
466
|
}
|
|
483
467
|
_persistentHash_1(value_0) {
|
|
484
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
468
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_15, value_0);
|
|
485
469
|
return result_0;
|
|
486
470
|
}
|
|
487
471
|
_persistentHash_2(value_0) {
|
|
488
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
472
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_7, value_0);
|
|
489
473
|
return result_0;
|
|
490
474
|
}
|
|
491
475
|
_jubjubPointX_0(pt_0) {
|
|
@@ -508,84 +492,59 @@ export class Contract {
|
|
|
508
492
|
const result_0 = __compactRuntime.ecMulGenerator(b_0);
|
|
509
493
|
return result_0;
|
|
510
494
|
}
|
|
511
|
-
_serialize_0(value_0) {
|
|
512
|
-
return Uint8Array.from([value_0.version,
|
|
513
|
-
...Array.from(value_0.payload, BigInt),
|
|
514
|
-
...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
|
|
515
|
-
BigInt)],
|
|
516
|
-
Number);
|
|
517
|
-
}
|
|
518
|
-
_serialize_1(value_0) {
|
|
519
|
-
return Uint8Array.from([...Array.from(value_0.requestId, BigInt),
|
|
520
|
-
...Array.from(__compactRuntime.convertBigintToBytes(8,
|
|
521
|
-
value_0.count,
|
|
522
|
-
'<standard library>'),
|
|
523
|
-
BigInt),
|
|
524
|
-
...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
|
|
525
|
-
BigInt)],
|
|
526
|
-
Number);
|
|
527
|
-
}
|
|
528
|
-
_serialize_2(value_0) {
|
|
529
|
-
return Uint8Array.from([...Array.from(value_0.requestId, BigInt),
|
|
530
|
-
...Array.from(new Uint8Array([0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
|
|
531
|
-
BigInt)],
|
|
532
|
-
Number);
|
|
533
|
-
}
|
|
534
495
|
_signetAttestationMessage_0(requestId_0, serializedOutput_0, outputLen_0) {
|
|
535
496
|
const rid_0 = requestId_0;
|
|
536
497
|
const outHash_0 = this._persistentHash_1([this._persistentHash_2(serializedOutput_0),
|
|
537
498
|
__compactRuntime.convertBigintToBytes(32,
|
|
538
499
|
outputLen_0,
|
|
539
|
-
'Signet.compact line
|
|
500
|
+
'Signet.compact line 369 char 7')]);
|
|
540
501
|
return [__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
541
502
|
16,
|
|
542
503
|
((e, i) => e.slice(i, i+16))(rid_0,
|
|
543
504
|
Number(0n)),
|
|
544
505
|
'Field',
|
|
545
|
-
'Signet.compact line
|
|
506
|
+
'Signet.compact line 372 char 7'),
|
|
546
507
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
547
508
|
16,
|
|
548
509
|
((e, i) => e.slice(i, i+16))(rid_0,
|
|
549
510
|
Number(16n)),
|
|
550
511
|
'Field',
|
|
551
|
-
'Signet.compact line
|
|
512
|
+
'Signet.compact line 373 char 7'),
|
|
552
513
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
553
514
|
16,
|
|
554
515
|
((e, i) => e.slice(i, i+16))(outHash_0,
|
|
555
516
|
Number(0n)),
|
|
556
517
|
'Field',
|
|
557
|
-
'Signet.compact line
|
|
518
|
+
'Signet.compact line 374 char 7'),
|
|
558
519
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
559
520
|
16,
|
|
560
521
|
((e, i) => e.slice(i, i+16))(outHash_0,
|
|
561
522
|
Number(16n)),
|
|
562
523
|
'Field',
|
|
563
|
-
'Signet.compact line
|
|
524
|
+
'Signet.compact line 375 char 7')];
|
|
564
525
|
}
|
|
565
|
-
async
|
|
566
|
-
|
|
567
|
-
|
|
526
|
+
async _notifyBidirectionalSignatureRequest_0(context,
|
|
527
|
+
partialProofData,
|
|
528
|
+
requestId_0,
|
|
529
|
+
notification_0)
|
|
568
530
|
{
|
|
569
|
-
let t_0;
|
|
570
531
|
__compactRuntime.queryLedgerState(context,
|
|
571
532
|
partialProofData,
|
|
572
533
|
[
|
|
534
|
+
{ idx: { cached: false,
|
|
535
|
+
pushPath: true,
|
|
536
|
+
path: [
|
|
537
|
+
{ tag: 'value',
|
|
538
|
+
value: { value: _descriptor_5.toValue(4n),
|
|
539
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
573
540
|
{ push: { storage: false,
|
|
574
|
-
value: __compactRuntime.StateValue.
|
|
575
|
-
|
|
576
|
-
|
|
577
|
-
|
|
578
|
-
|
|
579
|
-
|
|
580
|
-
|
|
581
|
-
Uint8Array.from([...Array.from(t_0.name,
|
|
582
|
-
BigInt),
|
|
583
|
-
...Array.from(t_0.payload,
|
|
584
|
-
BigInt)],
|
|
585
|
-
Number))),
|
|
586
|
-
alignment: _descriptor_6.alignment() }))
|
|
587
|
-
.encode() } },
|
|
588
|
-
'log']);
|
|
541
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(requestId_0),
|
|
542
|
+
alignment: _descriptor_0.alignment() }).encode() } },
|
|
543
|
+
{ push: { storage: true,
|
|
544
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_13.toValue(notification_0),
|
|
545
|
+
alignment: _descriptor_13.alignment() }).encode() } },
|
|
546
|
+
{ ins: { cached: false, n: 1 } },
|
|
547
|
+
{ ins: { cached: true, n: 1 } }]);
|
|
589
548
|
return [];
|
|
590
549
|
}
|
|
591
550
|
async _postSignatureResponse_0(context,
|
|
@@ -594,7 +553,7 @@ export class Contract {
|
|
|
594
553
|
signatureResponse_0)
|
|
595
554
|
{
|
|
596
555
|
const disclosedRequestId_0 = requestId_0;
|
|
597
|
-
if (!
|
|
556
|
+
if (!_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
598
557
|
partialProofData,
|
|
599
558
|
[
|
|
600
559
|
{ dup: { n: 0 } },
|
|
@@ -602,8 +561,8 @@ export class Contract {
|
|
|
602
561
|
pushPath: false,
|
|
603
562
|
path: [
|
|
604
563
|
{ tag: 'value',
|
|
605
|
-
value: { value:
|
|
606
|
-
alignment:
|
|
564
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
565
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
607
566
|
{ push: { storage: false,
|
|
608
567
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
609
568
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
@@ -618,32 +577,32 @@ export class Contract {
|
|
|
618
577
|
pushPath: true,
|
|
619
578
|
path: [
|
|
620
579
|
{ tag: 'value',
|
|
621
|
-
value: { value:
|
|
622
|
-
alignment:
|
|
580
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
581
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
623
582
|
{ push: { storage: false,
|
|
624
583
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
625
584
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
626
585
|
{ push: { storage: true,
|
|
627
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
628
|
-
alignment:
|
|
586
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n),
|
|
587
|
+
alignment: _descriptor_1.alignment() }).encode() } },
|
|
629
588
|
{ ins: { cached: false, n: 1 } },
|
|
630
589
|
{ ins: { cached: true, n: 1 } }]);
|
|
631
590
|
}
|
|
632
|
-
const count_0 =
|
|
633
|
-
|
|
634
|
-
|
|
635
|
-
|
|
636
|
-
|
|
637
|
-
|
|
638
|
-
|
|
639
|
-
|
|
640
|
-
|
|
641
|
-
|
|
642
|
-
|
|
643
|
-
|
|
644
|
-
|
|
645
|
-
|
|
646
|
-
|
|
591
|
+
const count_0 = _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
592
|
+
partialProofData,
|
|
593
|
+
[
|
|
594
|
+
{ dup: { n: 0 } },
|
|
595
|
+
{ idx: { cached: false,
|
|
596
|
+
pushPath: false,
|
|
597
|
+
path: [
|
|
598
|
+
{ tag: 'value',
|
|
599
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
600
|
+
alignment: _descriptor_5.alignment() } },
|
|
601
|
+
{ tag: 'value',
|
|
602
|
+
value: { value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
603
|
+
alignment: _descriptor_0.alignment() } }] } },
|
|
604
|
+
{ popeq: { cached: true,
|
|
605
|
+
result: undefined } }]).value);
|
|
647
606
|
const tmp_0 = 1n;
|
|
648
607
|
__compactRuntime.queryLedgerState(context,
|
|
649
608
|
partialProofData,
|
|
@@ -652,14 +611,14 @@ export class Contract {
|
|
|
652
611
|
pushPath: true,
|
|
653
612
|
path: [
|
|
654
613
|
{ tag: 'value',
|
|
655
|
-
value: { value:
|
|
656
|
-
alignment:
|
|
614
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
615
|
+
alignment: _descriptor_5.alignment() } },
|
|
657
616
|
{ tag: 'value',
|
|
658
617
|
value: { value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
659
618
|
alignment: _descriptor_0.alignment() } }] } },
|
|
660
619
|
{ addi: { immediate: parseInt(__compactRuntime.valueToBigInt(
|
|
661
|
-
{ value:
|
|
662
|
-
alignment:
|
|
620
|
+
{ value: _descriptor_3.toValue(tmp_0),
|
|
621
|
+
alignment: _descriptor_3.alignment() }
|
|
663
622
|
.value
|
|
664
623
|
)) } },
|
|
665
624
|
{ ins: { cached: true, n: 2 } }]);
|
|
@@ -671,39 +630,16 @@ export class Contract {
|
|
|
671
630
|
pushPath: true,
|
|
672
631
|
path: [
|
|
673
632
|
{ tag: 'value',
|
|
674
|
-
value: { value:
|
|
675
|
-
alignment:
|
|
633
|
+
value: { value: _descriptor_5.toValue(1n),
|
|
634
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
676
635
|
{ push: { storage: false,
|
|
677
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
678
|
-
alignment:
|
|
636
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(tmp_1),
|
|
637
|
+
alignment: _descriptor_4.alignment() }).encode() } },
|
|
679
638
|
{ push: { storage: true,
|
|
680
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
681
|
-
alignment:
|
|
639
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue(signatureResponse_0),
|
|
640
|
+
alignment: _descriptor_6.alignment() }).encode() } },
|
|
682
641
|
{ ins: { cached: false, n: 1 } },
|
|
683
642
|
{ ins: { cached: true, n: 1 } }]);
|
|
684
|
-
let t_0;
|
|
685
|
-
__compactRuntime.queryLedgerState(context,
|
|
686
|
-
partialProofData,
|
|
687
|
-
[
|
|
688
|
-
{ push: { storage: false,
|
|
689
|
-
value: __compactRuntime.StateValue.newArray()
|
|
690
|
-
.arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_25.toValue(1n),
|
|
691
|
-
alignment: _descriptor_25.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(10n),
|
|
692
|
-
alignment: _descriptor_2.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue((t_0 = { name:
|
|
693
|
-
new Uint8Array([83, 105, 103, 110, 97, 116, 117, 114, 101, 82, 101, 115, 112, 111, 110, 100, 101, 100, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0]),
|
|
694
|
-
payload:
|
|
695
|
-
this._serialize_1({ requestId:
|
|
696
|
-
disclosedRequestId_0,
|
|
697
|
-
count:
|
|
698
|
-
count_0 }) },
|
|
699
|
-
Uint8Array.from([...Array.from(t_0.name,
|
|
700
|
-
BigInt),
|
|
701
|
-
...Array.from(t_0.payload,
|
|
702
|
-
BigInt)],
|
|
703
|
-
Number))),
|
|
704
|
-
alignment: _descriptor_6.alignment() }))
|
|
705
|
-
.encode() } },
|
|
706
|
-
'log']);
|
|
707
643
|
return [];
|
|
708
644
|
}
|
|
709
645
|
async _postRespondBidirectional_0(context,
|
|
@@ -722,8 +658,8 @@ export class Contract {
|
|
|
722
658
|
pushPath: false,
|
|
723
659
|
path: [
|
|
724
660
|
{ tag: 'value',
|
|
725
|
-
value: { value:
|
|
726
|
-
alignment:
|
|
661
|
+
value: { value: _descriptor_5.toValue(3n),
|
|
662
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
727
663
|
{ popeq: { cached: false,
|
|
728
664
|
result: undefined } }]).value)),
|
|
729
665
|
'unauthorized: attestation pk is not the MPC key');
|
|
@@ -736,7 +672,7 @@ export class Contract {
|
|
|
736
672
|
disclosedResponse_0.response },
|
|
737
673
|
disclosedResponse_0.pk),
|
|
738
674
|
'Invalid attestation signature');
|
|
739
|
-
if (
|
|
675
|
+
if (_descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
740
676
|
partialProofData,
|
|
741
677
|
[
|
|
742
678
|
{ dup: { n: 0 } },
|
|
@@ -744,8 +680,8 @@ export class Contract {
|
|
|
744
680
|
pushPath: false,
|
|
745
681
|
path: [
|
|
746
682
|
{ tag: 'value',
|
|
747
|
-
value: { value:
|
|
748
|
-
alignment:
|
|
683
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
684
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
749
685
|
{ push: { storage: false,
|
|
750
686
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
751
687
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
@@ -762,37 +698,16 @@ export class Contract {
|
|
|
762
698
|
pushPath: true,
|
|
763
699
|
path: [
|
|
764
700
|
{ tag: 'value',
|
|
765
|
-
value: { value:
|
|
766
|
-
alignment:
|
|
701
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
702
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
767
703
|
{ push: { storage: false,
|
|
768
704
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(disclosedRequestId_0),
|
|
769
705
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
770
706
|
{ push: { storage: true,
|
|
771
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
772
|
-
alignment:
|
|
707
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_10.toValue(disclosedResponse_0),
|
|
708
|
+
alignment: _descriptor_10.alignment() }).encode() } },
|
|
773
709
|
{ ins: { cached: false, n: 1 } },
|
|
774
710
|
{ ins: { cached: true, n: 1 } }]);
|
|
775
|
-
let t_0;
|
|
776
|
-
__compactRuntime.queryLedgerState(context,
|
|
777
|
-
partialProofData,
|
|
778
|
-
[
|
|
779
|
-
{ push: { storage: false,
|
|
780
|
-
value: __compactRuntime.StateValue.newArray()
|
|
781
|
-
.arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_25.toValue(1n),
|
|
782
|
-
alignment: _descriptor_25.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_2.toValue(10n),
|
|
783
|
-
alignment: _descriptor_2.alignment() })).arrayPush(__compactRuntime.StateValue.newCell({ value: _descriptor_6.toValue((t_0 = { name:
|
|
784
|
-
new Uint8Array([82, 101, 115, 112, 111, 110, 100, 66, 105, 100, 105, 114, 101, 99, 116, 105, 111, 110, 97, 108, 69, 118, 101, 110, 116, 0, 0, 0, 0, 0, 0, 0]),
|
|
785
|
-
payload:
|
|
786
|
-
this._serialize_2({ requestId:
|
|
787
|
-
disclosedRequestId_0 }) },
|
|
788
|
-
Uint8Array.from([...Array.from(t_0.name,
|
|
789
|
-
BigInt),
|
|
790
|
-
...Array.from(t_0.payload,
|
|
791
|
-
BigInt)],
|
|
792
|
-
Number))),
|
|
793
|
-
alignment: _descriptor_6.alignment() }))
|
|
794
|
-
.encode() } },
|
|
795
|
-
'log']);
|
|
796
711
|
return [];
|
|
797
712
|
}
|
|
798
713
|
}
|
|
@@ -833,7 +748,7 @@ export function ledger(stateOrChargedState) {
|
|
|
833
748
|
if (args_0.length !== 0) {
|
|
834
749
|
throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
|
|
835
750
|
}
|
|
836
|
-
return
|
|
751
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
837
752
|
partialProofData,
|
|
838
753
|
[
|
|
839
754
|
{ dup: { n: 0 } },
|
|
@@ -841,12 +756,12 @@ export function ledger(stateOrChargedState) {
|
|
|
841
756
|
pushPath: false,
|
|
842
757
|
path: [
|
|
843
758
|
{ tag: 'value',
|
|
844
|
-
value: { value:
|
|
845
|
-
alignment:
|
|
759
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
760
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
846
761
|
'size',
|
|
847
762
|
{ push: { storage: false,
|
|
848
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
849
|
-
alignment:
|
|
763
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n),
|
|
764
|
+
alignment: _descriptor_1.alignment() }).encode() } },
|
|
850
765
|
'eq',
|
|
851
766
|
{ popeq: { cached: true,
|
|
852
767
|
result: undefined } }]).value);
|
|
@@ -855,19 +770,19 @@ export function ledger(stateOrChargedState) {
|
|
|
855
770
|
if (args_0.length !== 0) {
|
|
856
771
|
throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
|
|
857
772
|
}
|
|
858
|
-
return
|
|
859
|
-
|
|
860
|
-
|
|
861
|
-
|
|
862
|
-
|
|
863
|
-
|
|
864
|
-
|
|
865
|
-
|
|
866
|
-
|
|
867
|
-
|
|
868
|
-
|
|
869
|
-
|
|
870
|
-
|
|
773
|
+
return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
774
|
+
partialProofData,
|
|
775
|
+
[
|
|
776
|
+
{ dup: { n: 0 } },
|
|
777
|
+
{ idx: { cached: false,
|
|
778
|
+
pushPath: false,
|
|
779
|
+
path: [
|
|
780
|
+
{ tag: 'value',
|
|
781
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
782
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
783
|
+
'size',
|
|
784
|
+
{ popeq: { cached: true,
|
|
785
|
+
result: undefined } }]).value);
|
|
871
786
|
},
|
|
872
787
|
member(...args_0) {
|
|
873
788
|
if (args_0.length !== 1) {
|
|
@@ -877,11 +792,11 @@ export function ledger(stateOrChargedState) {
|
|
|
877
792
|
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
878
793
|
__compactRuntime.typeError('member',
|
|
879
794
|
'argument 1',
|
|
880
|
-
'signet-contract.compact line
|
|
795
|
+
'signet-contract.compact line 15 char 1',
|
|
881
796
|
'Bytes<32>',
|
|
882
797
|
key_0)
|
|
883
798
|
}
|
|
884
|
-
return
|
|
799
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
885
800
|
partialProofData,
|
|
886
801
|
[
|
|
887
802
|
{ dup: { n: 0 } },
|
|
@@ -889,8 +804,8 @@ export function ledger(stateOrChargedState) {
|
|
|
889
804
|
pushPath: false,
|
|
890
805
|
path: [
|
|
891
806
|
{ tag: 'value',
|
|
892
|
-
value: { value:
|
|
893
|
-
alignment:
|
|
807
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
808
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
894
809
|
{ push: { storage: false,
|
|
895
810
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
|
|
896
811
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
@@ -906,7 +821,7 @@ export function ledger(stateOrChargedState) {
|
|
|
906
821
|
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
907
822
|
__compactRuntime.typeError('lookup',
|
|
908
823
|
'argument 1',
|
|
909
|
-
'signet-contract.compact line
|
|
824
|
+
'signet-contract.compact line 15 char 1',
|
|
910
825
|
'Bytes<32>',
|
|
911
826
|
key_0)
|
|
912
827
|
}
|
|
@@ -919,21 +834,21 @@ export function ledger(stateOrChargedState) {
|
|
|
919
834
|
if (args_1.length !== 0) {
|
|
920
835
|
throw new __compactRuntime.CompactError(`read: expected 0 arguments, received ${args_1.length}`);
|
|
921
836
|
}
|
|
922
|
-
return
|
|
923
|
-
|
|
924
|
-
|
|
925
|
-
|
|
926
|
-
|
|
927
|
-
|
|
928
|
-
|
|
929
|
-
|
|
930
|
-
|
|
931
|
-
|
|
932
|
-
|
|
933
|
-
|
|
934
|
-
|
|
935
|
-
|
|
936
|
-
|
|
837
|
+
return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
838
|
+
partialProofData,
|
|
839
|
+
[
|
|
840
|
+
{ dup: { n: 0 } },
|
|
841
|
+
{ idx: { cached: false,
|
|
842
|
+
pushPath: false,
|
|
843
|
+
path: [
|
|
844
|
+
{ tag: 'value',
|
|
845
|
+
value: { value: _descriptor_5.toValue(0n),
|
|
846
|
+
alignment: _descriptor_5.alignment() } },
|
|
847
|
+
{ tag: 'value',
|
|
848
|
+
value: { value: _descriptor_0.toValue(key_0),
|
|
849
|
+
alignment: _descriptor_0.alignment() } }] } },
|
|
850
|
+
{ popeq: { cached: true,
|
|
851
|
+
result: undefined } }]).value);
|
|
937
852
|
}
|
|
938
853
|
}
|
|
939
854
|
}
|
|
@@ -943,7 +858,7 @@ export function ledger(stateOrChargedState) {
|
|
|
943
858
|
if (args_0.length !== 0) {
|
|
944
859
|
throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
|
|
945
860
|
}
|
|
946
|
-
return
|
|
861
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
947
862
|
partialProofData,
|
|
948
863
|
[
|
|
949
864
|
{ dup: { n: 0 } },
|
|
@@ -951,12 +866,12 @@ export function ledger(stateOrChargedState) {
|
|
|
951
866
|
pushPath: false,
|
|
952
867
|
path: [
|
|
953
868
|
{ tag: 'value',
|
|
954
|
-
value: { value:
|
|
955
|
-
alignment:
|
|
869
|
+
value: { value: _descriptor_5.toValue(1n),
|
|
870
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
956
871
|
'size',
|
|
957
872
|
{ push: { storage: false,
|
|
958
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
959
|
-
alignment:
|
|
873
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n),
|
|
874
|
+
alignment: _descriptor_1.alignment() }).encode() } },
|
|
960
875
|
'eq',
|
|
961
876
|
{ popeq: { cached: true,
|
|
962
877
|
result: undefined } }]).value);
|
|
@@ -965,19 +880,19 @@ export function ledger(stateOrChargedState) {
|
|
|
965
880
|
if (args_0.length !== 0) {
|
|
966
881
|
throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
|
|
967
882
|
}
|
|
968
|
-
return
|
|
969
|
-
|
|
970
|
-
|
|
971
|
-
|
|
972
|
-
|
|
973
|
-
|
|
974
|
-
|
|
975
|
-
|
|
976
|
-
|
|
977
|
-
|
|
978
|
-
|
|
979
|
-
|
|
980
|
-
|
|
883
|
+
return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
884
|
+
partialProofData,
|
|
885
|
+
[
|
|
886
|
+
{ dup: { n: 0 } },
|
|
887
|
+
{ idx: { cached: false,
|
|
888
|
+
pushPath: false,
|
|
889
|
+
path: [
|
|
890
|
+
{ tag: 'value',
|
|
891
|
+
value: { value: _descriptor_5.toValue(1n),
|
|
892
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
893
|
+
'size',
|
|
894
|
+
{ popeq: { cached: true,
|
|
895
|
+
result: undefined } }]).value);
|
|
981
896
|
},
|
|
982
897
|
member(...args_0) {
|
|
983
898
|
if (args_0.length !== 1) {
|
|
@@ -987,11 +902,11 @@ export function ledger(stateOrChargedState) {
|
|
|
987
902
|
if (!(typeof(key_0) === 'object' && typeof(key_0.count) === 'bigint' && key_0.count >= 0n && key_0.count <= 18446744073709551615n && key_0.requestId.buffer instanceof ArrayBuffer && key_0.requestId.BYTES_PER_ELEMENT === 1 && key_0.requestId.length === 32)) {
|
|
988
903
|
__compactRuntime.typeError('member',
|
|
989
904
|
'argument 1',
|
|
990
|
-
'signet-contract.compact line
|
|
905
|
+
'signet-contract.compact line 17 char 1',
|
|
991
906
|
'struct SignetResponseKey<count: Uint<0..18446744073709551616>, requestId: Bytes<32>>',
|
|
992
907
|
key_0)
|
|
993
908
|
}
|
|
994
|
-
return
|
|
909
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
995
910
|
partialProofData,
|
|
996
911
|
[
|
|
997
912
|
{ dup: { n: 0 } },
|
|
@@ -999,11 +914,11 @@ export function ledger(stateOrChargedState) {
|
|
|
999
914
|
pushPath: false,
|
|
1000
915
|
path: [
|
|
1001
916
|
{ tag: 'value',
|
|
1002
|
-
value: { value:
|
|
1003
|
-
alignment:
|
|
917
|
+
value: { value: _descriptor_5.toValue(1n),
|
|
918
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1004
919
|
{ push: { storage: false,
|
|
1005
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
1006
|
-
alignment:
|
|
920
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_4.toValue(key_0),
|
|
921
|
+
alignment: _descriptor_4.alignment() }).encode() } },
|
|
1007
922
|
'member',
|
|
1008
923
|
{ popeq: { cached: true,
|
|
1009
924
|
result: undefined } }]).value);
|
|
@@ -1016,35 +931,35 @@ export function ledger(stateOrChargedState) {
|
|
|
1016
931
|
if (!(typeof(key_0) === 'object' && typeof(key_0.count) === 'bigint' && key_0.count >= 0n && key_0.count <= 18446744073709551615n && key_0.requestId.buffer instanceof ArrayBuffer && key_0.requestId.BYTES_PER_ELEMENT === 1 && key_0.requestId.length === 32)) {
|
|
1017
932
|
__compactRuntime.typeError('lookup',
|
|
1018
933
|
'argument 1',
|
|
1019
|
-
'signet-contract.compact line
|
|
934
|
+
'signet-contract.compact line 17 char 1',
|
|
1020
935
|
'struct SignetResponseKey<count: Uint<0..18446744073709551616>, requestId: Bytes<32>>',
|
|
1021
936
|
key_0)
|
|
1022
937
|
}
|
|
1023
|
-
return
|
|
1024
|
-
|
|
1025
|
-
|
|
1026
|
-
|
|
1027
|
-
|
|
1028
|
-
|
|
1029
|
-
|
|
1030
|
-
|
|
1031
|
-
|
|
1032
|
-
|
|
1033
|
-
|
|
1034
|
-
|
|
1035
|
-
|
|
1036
|
-
|
|
1037
|
-
|
|
1038
|
-
|
|
1039
|
-
|
|
1040
|
-
|
|
938
|
+
return _descriptor_6.fromValue(__compactRuntime.queryLedgerState(context,
|
|
939
|
+
partialProofData,
|
|
940
|
+
[
|
|
941
|
+
{ dup: { n: 0 } },
|
|
942
|
+
{ idx: { cached: false,
|
|
943
|
+
pushPath: false,
|
|
944
|
+
path: [
|
|
945
|
+
{ tag: 'value',
|
|
946
|
+
value: { value: _descriptor_5.toValue(1n),
|
|
947
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
948
|
+
{ idx: { cached: false,
|
|
949
|
+
pushPath: false,
|
|
950
|
+
path: [
|
|
951
|
+
{ tag: 'value',
|
|
952
|
+
value: { value: _descriptor_4.toValue(key_0),
|
|
953
|
+
alignment: _descriptor_4.alignment() } }] } },
|
|
954
|
+
{ popeq: { cached: false,
|
|
955
|
+
result: undefined } }]).value);
|
|
1041
956
|
},
|
|
1042
957
|
[Symbol.iterator](...args_0) {
|
|
1043
958
|
if (args_0.length !== 0) {
|
|
1044
959
|
throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
|
|
1045
960
|
}
|
|
1046
961
|
const self_0 = state.asArray()[1];
|
|
1047
|
-
return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [
|
|
962
|
+
return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_4.fromValue(key.value), _descriptor_6.fromValue(value.value) ]; })[Symbol.iterator]();
|
|
1048
963
|
}
|
|
1049
964
|
},
|
|
1050
965
|
respondBidirectionalIndex: {
|
|
@@ -1052,7 +967,7 @@ export function ledger(stateOrChargedState) {
|
|
|
1052
967
|
if (args_0.length !== 0) {
|
|
1053
968
|
throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
|
|
1054
969
|
}
|
|
1055
|
-
return
|
|
970
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1056
971
|
partialProofData,
|
|
1057
972
|
[
|
|
1058
973
|
{ dup: { n: 0 } },
|
|
@@ -1060,12 +975,12 @@ export function ledger(stateOrChargedState) {
|
|
|
1060
975
|
pushPath: false,
|
|
1061
976
|
path: [
|
|
1062
977
|
{ tag: 'value',
|
|
1063
|
-
value: { value:
|
|
1064
|
-
alignment:
|
|
978
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
979
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1065
980
|
'size',
|
|
1066
981
|
{ push: { storage: false,
|
|
1067
|
-
value: __compactRuntime.StateValue.newCell({ value:
|
|
1068
|
-
alignment:
|
|
982
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n),
|
|
983
|
+
alignment: _descriptor_1.alignment() }).encode() } },
|
|
1069
984
|
'eq',
|
|
1070
985
|
{ popeq: { cached: true,
|
|
1071
986
|
result: undefined } }]).value);
|
|
@@ -1074,19 +989,19 @@ export function ledger(stateOrChargedState) {
|
|
|
1074
989
|
if (args_0.length !== 0) {
|
|
1075
990
|
throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
|
|
1076
991
|
}
|
|
1077
|
-
return
|
|
1078
|
-
|
|
1079
|
-
|
|
1080
|
-
|
|
1081
|
-
|
|
1082
|
-
|
|
1083
|
-
|
|
1084
|
-
|
|
1085
|
-
|
|
1086
|
-
|
|
1087
|
-
|
|
1088
|
-
|
|
1089
|
-
|
|
992
|
+
return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
993
|
+
partialProofData,
|
|
994
|
+
[
|
|
995
|
+
{ dup: { n: 0 } },
|
|
996
|
+
{ idx: { cached: false,
|
|
997
|
+
pushPath: false,
|
|
998
|
+
path: [
|
|
999
|
+
{ tag: 'value',
|
|
1000
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
1001
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1002
|
+
'size',
|
|
1003
|
+
{ popeq: { cached: true,
|
|
1004
|
+
result: undefined } }]).value);
|
|
1090
1005
|
},
|
|
1091
1006
|
member(...args_0) {
|
|
1092
1007
|
if (args_0.length !== 1) {
|
|
@@ -1096,11 +1011,11 @@ export function ledger(stateOrChargedState) {
|
|
|
1096
1011
|
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
1097
1012
|
__compactRuntime.typeError('member',
|
|
1098
1013
|
'argument 1',
|
|
1099
|
-
'signet-contract.compact line
|
|
1014
|
+
'signet-contract.compact line 19 char 1',
|
|
1100
1015
|
'Bytes<32>',
|
|
1101
1016
|
key_0)
|
|
1102
1017
|
}
|
|
1103
|
-
return
|
|
1018
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1104
1019
|
partialProofData,
|
|
1105
1020
|
[
|
|
1106
1021
|
{ dup: { n: 0 } },
|
|
@@ -1108,8 +1023,8 @@ export function ledger(stateOrChargedState) {
|
|
|
1108
1023
|
pushPath: false,
|
|
1109
1024
|
path: [
|
|
1110
1025
|
{ tag: 'value',
|
|
1111
|
-
value: { value:
|
|
1112
|
-
alignment:
|
|
1026
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
1027
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1113
1028
|
{ push: { storage: false,
|
|
1114
1029
|
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
|
|
1115
1030
|
alignment: _descriptor_0.alignment() }).encode() } },
|
|
@@ -1125,35 +1040,35 @@ export function ledger(stateOrChargedState) {
|
|
|
1125
1040
|
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
1126
1041
|
__compactRuntime.typeError('lookup',
|
|
1127
1042
|
'argument 1',
|
|
1128
|
-
'signet-contract.compact line
|
|
1043
|
+
'signet-contract.compact line 19 char 1',
|
|
1129
1044
|
'Bytes<32>',
|
|
1130
1045
|
key_0)
|
|
1131
1046
|
}
|
|
1132
|
-
return
|
|
1133
|
-
|
|
1134
|
-
|
|
1135
|
-
|
|
1136
|
-
|
|
1137
|
-
|
|
1138
|
-
|
|
1139
|
-
|
|
1140
|
-
|
|
1141
|
-
|
|
1142
|
-
|
|
1143
|
-
|
|
1144
|
-
|
|
1145
|
-
|
|
1146
|
-
|
|
1147
|
-
|
|
1148
|
-
|
|
1149
|
-
|
|
1047
|
+
return _descriptor_10.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1048
|
+
partialProofData,
|
|
1049
|
+
[
|
|
1050
|
+
{ dup: { n: 0 } },
|
|
1051
|
+
{ idx: { cached: false,
|
|
1052
|
+
pushPath: false,
|
|
1053
|
+
path: [
|
|
1054
|
+
{ tag: 'value',
|
|
1055
|
+
value: { value: _descriptor_5.toValue(2n),
|
|
1056
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1057
|
+
{ idx: { cached: false,
|
|
1058
|
+
pushPath: false,
|
|
1059
|
+
path: [
|
|
1060
|
+
{ tag: 'value',
|
|
1061
|
+
value: { value: _descriptor_0.toValue(key_0),
|
|
1062
|
+
alignment: _descriptor_0.alignment() } }] } },
|
|
1063
|
+
{ popeq: { cached: false,
|
|
1064
|
+
result: undefined } }]).value);
|
|
1150
1065
|
},
|
|
1151
1066
|
[Symbol.iterator](...args_0) {
|
|
1152
1067
|
if (args_0.length !== 0) {
|
|
1153
1068
|
throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
|
|
1154
1069
|
}
|
|
1155
1070
|
const self_0 = state.asArray()[2];
|
|
1156
|
-
return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value),
|
|
1071
|
+
return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value), _descriptor_10.fromValue(value.value) ]; })[Symbol.iterator]();
|
|
1157
1072
|
}
|
|
1158
1073
|
},
|
|
1159
1074
|
get mpcPubKeyHash() {
|
|
@@ -1165,10 +1080,119 @@ export function ledger(stateOrChargedState) {
|
|
|
1165
1080
|
pushPath: false,
|
|
1166
1081
|
path: [
|
|
1167
1082
|
{ tag: 'value',
|
|
1168
|
-
value: { value:
|
|
1169
|
-
alignment:
|
|
1083
|
+
value: { value: _descriptor_5.toValue(3n),
|
|
1084
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1170
1085
|
{ popeq: { cached: false,
|
|
1171
1086
|
result: undefined } }]).value);
|
|
1087
|
+
},
|
|
1088
|
+
signBidirectionalNotificationIndex: {
|
|
1089
|
+
isEmpty(...args_0) {
|
|
1090
|
+
if (args_0.length !== 0) {
|
|
1091
|
+
throw new __compactRuntime.CompactError(`isEmpty: expected 0 arguments, received ${args_0.length}`);
|
|
1092
|
+
}
|
|
1093
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1094
|
+
partialProofData,
|
|
1095
|
+
[
|
|
1096
|
+
{ dup: { n: 0 } },
|
|
1097
|
+
{ idx: { cached: false,
|
|
1098
|
+
pushPath: false,
|
|
1099
|
+
path: [
|
|
1100
|
+
{ tag: 'value',
|
|
1101
|
+
value: { value: _descriptor_5.toValue(4n),
|
|
1102
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1103
|
+
'size',
|
|
1104
|
+
{ push: { storage: false,
|
|
1105
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_1.toValue(0n),
|
|
1106
|
+
alignment: _descriptor_1.alignment() }).encode() } },
|
|
1107
|
+
'eq',
|
|
1108
|
+
{ popeq: { cached: true,
|
|
1109
|
+
result: undefined } }]).value);
|
|
1110
|
+
},
|
|
1111
|
+
size(...args_0) {
|
|
1112
|
+
if (args_0.length !== 0) {
|
|
1113
|
+
throw new __compactRuntime.CompactError(`size: expected 0 arguments, received ${args_0.length}`);
|
|
1114
|
+
}
|
|
1115
|
+
return _descriptor_1.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1116
|
+
partialProofData,
|
|
1117
|
+
[
|
|
1118
|
+
{ dup: { n: 0 } },
|
|
1119
|
+
{ idx: { cached: false,
|
|
1120
|
+
pushPath: false,
|
|
1121
|
+
path: [
|
|
1122
|
+
{ tag: 'value',
|
|
1123
|
+
value: { value: _descriptor_5.toValue(4n),
|
|
1124
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1125
|
+
'size',
|
|
1126
|
+
{ popeq: { cached: true,
|
|
1127
|
+
result: undefined } }]).value);
|
|
1128
|
+
},
|
|
1129
|
+
member(...args_0) {
|
|
1130
|
+
if (args_0.length !== 1) {
|
|
1131
|
+
throw new __compactRuntime.CompactError(`member: expected 1 argument, received ${args_0.length}`);
|
|
1132
|
+
}
|
|
1133
|
+
const key_0 = args_0[0];
|
|
1134
|
+
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
1135
|
+
__compactRuntime.typeError('member',
|
|
1136
|
+
'argument 1',
|
|
1137
|
+
'signet-contract.compact line 28 char 1',
|
|
1138
|
+
'Bytes<32>',
|
|
1139
|
+
key_0)
|
|
1140
|
+
}
|
|
1141
|
+
return _descriptor_2.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1142
|
+
partialProofData,
|
|
1143
|
+
[
|
|
1144
|
+
{ dup: { n: 0 } },
|
|
1145
|
+
{ idx: { cached: false,
|
|
1146
|
+
pushPath: false,
|
|
1147
|
+
path: [
|
|
1148
|
+
{ tag: 'value',
|
|
1149
|
+
value: { value: _descriptor_5.toValue(4n),
|
|
1150
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1151
|
+
{ push: { storage: false,
|
|
1152
|
+
value: __compactRuntime.StateValue.newCell({ value: _descriptor_0.toValue(key_0),
|
|
1153
|
+
alignment: _descriptor_0.alignment() }).encode() } },
|
|
1154
|
+
'member',
|
|
1155
|
+
{ popeq: { cached: true,
|
|
1156
|
+
result: undefined } }]).value);
|
|
1157
|
+
},
|
|
1158
|
+
lookup(...args_0) {
|
|
1159
|
+
if (args_0.length !== 1) {
|
|
1160
|
+
throw new __compactRuntime.CompactError(`lookup: expected 1 argument, received ${args_0.length}`);
|
|
1161
|
+
}
|
|
1162
|
+
const key_0 = args_0[0];
|
|
1163
|
+
if (!(key_0.buffer instanceof ArrayBuffer && key_0.BYTES_PER_ELEMENT === 1 && key_0.length === 32)) {
|
|
1164
|
+
__compactRuntime.typeError('lookup',
|
|
1165
|
+
'argument 1',
|
|
1166
|
+
'signet-contract.compact line 28 char 1',
|
|
1167
|
+
'Bytes<32>',
|
|
1168
|
+
key_0)
|
|
1169
|
+
}
|
|
1170
|
+
return _descriptor_13.fromValue(__compactRuntime.queryLedgerState(context,
|
|
1171
|
+
partialProofData,
|
|
1172
|
+
[
|
|
1173
|
+
{ dup: { n: 0 } },
|
|
1174
|
+
{ idx: { cached: false,
|
|
1175
|
+
pushPath: false,
|
|
1176
|
+
path: [
|
|
1177
|
+
{ tag: 'value',
|
|
1178
|
+
value: { value: _descriptor_5.toValue(4n),
|
|
1179
|
+
alignment: _descriptor_5.alignment() } }] } },
|
|
1180
|
+
{ idx: { cached: false,
|
|
1181
|
+
pushPath: false,
|
|
1182
|
+
path: [
|
|
1183
|
+
{ tag: 'value',
|
|
1184
|
+
value: { value: _descriptor_0.toValue(key_0),
|
|
1185
|
+
alignment: _descriptor_0.alignment() } }] } },
|
|
1186
|
+
{ popeq: { cached: false,
|
|
1187
|
+
result: undefined } }]).value);
|
|
1188
|
+
},
|
|
1189
|
+
[Symbol.iterator](...args_0) {
|
|
1190
|
+
if (args_0.length !== 0) {
|
|
1191
|
+
throw new __compactRuntime.CompactError(`iter: expected 0 arguments, received ${args_0.length}`);
|
|
1192
|
+
}
|
|
1193
|
+
const self_0 = state.asArray()[4];
|
|
1194
|
+
return self_0.asMap().keys().map( (key) => { const value = self_0.asMap().get(key).asCell(); return [ _descriptor_0.fromValue(key.value), _descriptor_13.fromValue(value.value) ]; })[Symbol.iterator]();
|
|
1195
|
+
}
|
|
1172
1196
|
}
|
|
1173
1197
|
};
|
|
1174
1198
|
}
|
|
@@ -1180,9 +1204,9 @@ export const pureCircuits = {};
|
|
|
1180
1204
|
export const contractReferenceLocations =
|
|
1181
1205
|
{ tag: 'publicLedgerArray', indices: { } };
|
|
1182
1206
|
export const expectedVk = {
|
|
1183
|
-
'
|
|
1184
|
-
'postRespondBidirectional': '
|
|
1185
|
-
'postSignatureResponse': '
|
|
1207
|
+
'notifyBidirectionalSignatureRequest': 'd36e5392bc781c69b136080843b96458d170304502f346f0d784fa8e133a54c3',
|
|
1208
|
+
'postRespondBidirectional': '0c245f8a93de6fec296de814b7b6424ebad1ac62375ab134fb4d9868b6df95d0',
|
|
1209
|
+
'postSignatureResponse': 'aece39967c6c69cac6a8215b841ef62dd49ceb16a97804a0b67621ef36cdc22e',
|
|
1186
1210
|
};
|
|
1187
1211
|
|
|
1188
1212
|
//# sourceMappingURL=index.js.map
|