@sig-net/midnight 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/index.d.ts +2 -4
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -4
- package/dist/index.js.map +1 -1
- package/dist/managed/compiler/contract-info.json +57 -0
- package/dist/managed/compiler/contract-manifest.json +8 -8
- package/dist/managed/contract/index.d.ts +13 -0
- package/dist/managed/contract/index.js +138 -73
- package/dist/managed/contract/index.js.map +1 -1
- package/dist/signature-requests-state-reader.d.ts +5 -5
- package/dist/signature-requests-state-reader.js +5 -5
- package/dist/signet-contract-state-reader.d.ts +88 -2
- package/dist/signet-contract-state-reader.d.ts.map +1 -1
- package/dist/signet-contract-state-reader.js +106 -3
- package/dist/signet-contract-state-reader.js.map +1 -1
- package/dist/signet-request-feed.d.ts +40 -21
- package/dist/signet-request-feed.d.ts.map +1 -1
- package/dist/signet-request-feed.js +79 -34
- package/dist/signet-request-feed.js.map +1 -1
- package/dist/signet-request-resolver.d.ts +11 -11
- package/dist/signet-request-resolver.d.ts.map +1 -1
- package/dist/signet-request-resolver.js +22 -22
- package/dist/signet-request-resolver.js.map +1 -1
- package/dist/signet-requests.d.ts +18 -4
- package/dist/signet-requests.d.ts.map +1 -1
- package/dist/signet-requests.js +29 -6
- package/dist/signet-requests.js.map +1 -1
- package/package.json +2 -2
- package/src/Signet.compact +75 -99
- package/src/circuits.compact +5 -2
- package/dist/signet-event-observer.d.ts +0 -102
- package/dist/signet-event-observer.d.ts.map +0 -1
- package/dist/signet-event-observer.js +0 -127
- package/dist/signet-event-observer.js.map +0 -1
- package/dist/signet-events.d.ts +0 -175
- package/dist/signet-events.d.ts.map +0 -1
- package/dist/signet-events.js +0 -210
- package/dist/signet-events.js.map +0 -1
- package/dist/signet-response-feed.d.ts +0 -161
- package/dist/signet-response-feed.d.ts.map +0 -1
- package/dist/signet-response-feed.js +0 -234
- package/dist/signet-response-feed.js.map +0 -1
- package/src/constants.ts +0 -97
- package/src/epsilon-derivation.ts +0 -62
- package/src/index.ts +0 -31
- package/src/managed/compiler/contract-info.json +0 -165
- package/src/managed/compiler/contract-manifest.json +0 -32
- package/src/managed/contract/index.d.ts +0 -65
- package/src/managed/contract/index.js +0 -611
- package/src/managed/contract/index.js.map +0 -8
- package/src/schnorr.ts +0 -210
- package/src/signature-requests-state-reader.ts +0 -223
- package/src/signature-response-verification.ts +0 -64
- package/src/signature-state-reading.ts +0 -87
- package/src/signet-contract-state-reader.ts +0 -391
- package/src/signet-event-observer.ts +0 -186
- package/src/signet-events.ts +0 -337
- package/src/signet-request-feed.ts +0 -158
- package/src/signet-request-resolver.ts +0 -116
- package/src/signet-request-response-reader.ts +0 -324
- package/src/signet-requests.ts +0 -737
- package/src/signet-response-feed.ts +0 -325
|
@@ -1,85 +1,104 @@
|
|
|
1
1
|
import * as __compactRuntime from '@midnight-ntwrk/compact-runtime';
|
|
2
2
|
__compactRuntime.checkRuntimeVersion('0.18.0-rc.0');
|
|
3
3
|
|
|
4
|
-
const _descriptor_0 = __compactRuntime.
|
|
4
|
+
const _descriptor_0 = new __compactRuntime.CompactTypeBytes(32);
|
|
5
5
|
|
|
6
|
-
const _descriptor_1 = new __compactRuntime.
|
|
6
|
+
const _descriptor_1 = new __compactRuntime.CompactTypeBytes(256);
|
|
7
7
|
|
|
8
|
-
const _descriptor_2 =
|
|
8
|
+
const _descriptor_2 = __compactRuntime.CompactTypeField;
|
|
9
9
|
|
|
10
|
-
const _descriptor_3 = new __compactRuntime.
|
|
10
|
+
const _descriptor_3 = new __compactRuntime.CompactTypeVector(4, _descriptor_2);
|
|
11
11
|
|
|
12
|
-
const _descriptor_4 = new __compactRuntime.
|
|
12
|
+
const _descriptor_4 = new __compactRuntime.CompactTypeUnsignedInteger(255n, 1);
|
|
13
13
|
|
|
14
|
-
const _descriptor_5 = new __compactRuntime.CompactTypeBytes(
|
|
14
|
+
const _descriptor_5 = new __compactRuntime.CompactTypeBytes(64);
|
|
15
15
|
|
|
16
|
-
const _descriptor_6 = new __compactRuntime.
|
|
16
|
+
const _descriptor_6 = new __compactRuntime.CompactTypeBytes(20);
|
|
17
17
|
|
|
18
|
-
const _descriptor_7 = new __compactRuntime.CompactTypeBytes(
|
|
18
|
+
const _descriptor_7 = new __compactRuntime.CompactTypeBytes(128);
|
|
19
19
|
|
|
20
|
-
class
|
|
20
|
+
class _ContractAddress_0 {
|
|
21
21
|
alignment() {
|
|
22
|
-
return _descriptor_0.alignment()
|
|
22
|
+
return _descriptor_0.alignment();
|
|
23
23
|
}
|
|
24
24
|
fromValue(value_0) {
|
|
25
25
|
return {
|
|
26
|
-
|
|
27
|
-
ann_y: _descriptor_0.fromValue(value_0),
|
|
28
|
-
pk_x: _descriptor_0.fromValue(value_0),
|
|
29
|
-
pk_y: _descriptor_0.fromValue(value_0),
|
|
30
|
-
msg: _descriptor_1.fromValue(value_0)
|
|
26
|
+
bytes: _descriptor_0.fromValue(value_0)
|
|
31
27
|
}
|
|
32
28
|
}
|
|
33
29
|
toValue(value_0) {
|
|
34
|
-
return _descriptor_0.toValue(value_0.
|
|
30
|
+
return _descriptor_0.toValue(value_0.bytes);
|
|
35
31
|
}
|
|
36
32
|
}
|
|
37
33
|
|
|
38
|
-
const _descriptor_8 = new
|
|
34
|
+
const _descriptor_8 = new _ContractAddress_0();
|
|
39
35
|
|
|
40
|
-
const _descriptor_9 = new __compactRuntime.
|
|
36
|
+
const _descriptor_9 = new __compactRuntime.CompactTypeBytes(65);
|
|
41
37
|
|
|
42
|
-
|
|
38
|
+
class _SignBidirectionalNotification_0 {
|
|
39
|
+
alignment() {
|
|
40
|
+
return _descriptor_4.alignment().concat(_descriptor_9.alignment());
|
|
41
|
+
}
|
|
42
|
+
fromValue(value_0) {
|
|
43
|
+
return {
|
|
44
|
+
version: _descriptor_4.fromValue(value_0),
|
|
45
|
+
payload: _descriptor_9.fromValue(value_0)
|
|
46
|
+
}
|
|
47
|
+
}
|
|
48
|
+
toValue(value_0) {
|
|
49
|
+
return _descriptor_4.toValue(value_0.version).concat(_descriptor_9.toValue(value_0.payload));
|
|
50
|
+
}
|
|
51
|
+
}
|
|
43
52
|
|
|
44
|
-
const
|
|
53
|
+
const _descriptor_10 = new _SignBidirectionalNotification_0();
|
|
45
54
|
|
|
46
|
-
class
|
|
55
|
+
class _SchnorrHashInput_0 {
|
|
47
56
|
alignment() {
|
|
48
|
-
return
|
|
57
|
+
return _descriptor_2.alignment().concat(_descriptor_2.alignment().concat(_descriptor_2.alignment().concat(_descriptor_2.alignment().concat(_descriptor_3.alignment()))));
|
|
49
58
|
}
|
|
50
59
|
fromValue(value_0) {
|
|
51
60
|
return {
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
61
|
+
ann_x: _descriptor_2.fromValue(value_0),
|
|
62
|
+
ann_y: _descriptor_2.fromValue(value_0),
|
|
63
|
+
pk_x: _descriptor_2.fromValue(value_0),
|
|
64
|
+
pk_y: _descriptor_2.fromValue(value_0),
|
|
65
|
+
msg: _descriptor_3.fromValue(value_0)
|
|
55
66
|
}
|
|
56
67
|
}
|
|
57
68
|
toValue(value_0) {
|
|
58
|
-
return
|
|
69
|
+
return _descriptor_2.toValue(value_0.ann_x).concat(_descriptor_2.toValue(value_0.ann_y).concat(_descriptor_2.toValue(value_0.pk_x).concat(_descriptor_2.toValue(value_0.pk_y).concat(_descriptor_3.toValue(value_0.msg)))));
|
|
59
70
|
}
|
|
60
71
|
}
|
|
61
72
|
|
|
62
|
-
const
|
|
73
|
+
const _descriptor_11 = new _SchnorrHashInput_0();
|
|
63
74
|
|
|
64
|
-
const
|
|
75
|
+
const _descriptor_12 = new __compactRuntime.CompactTypeVector(2, _descriptor_0);
|
|
65
76
|
|
|
66
|
-
|
|
77
|
+
const _descriptor_13 = new __compactRuntime.CompactTypeUnsignedInteger(18446744073709551615n, 8);
|
|
78
|
+
|
|
79
|
+
const _descriptor_14 = __compactRuntime.CompactTypeBoolean;
|
|
80
|
+
|
|
81
|
+
class _Either_0 {
|
|
67
82
|
alignment() {
|
|
68
|
-
return
|
|
83
|
+
return _descriptor_14.alignment().concat(_descriptor_0.alignment().concat(_descriptor_0.alignment()));
|
|
69
84
|
}
|
|
70
85
|
fromValue(value_0) {
|
|
71
86
|
return {
|
|
72
|
-
|
|
87
|
+
is_left: _descriptor_14.fromValue(value_0),
|
|
88
|
+
left: _descriptor_0.fromValue(value_0),
|
|
89
|
+
right: _descriptor_0.fromValue(value_0)
|
|
73
90
|
}
|
|
74
91
|
}
|
|
75
92
|
toValue(value_0) {
|
|
76
|
-
return
|
|
93
|
+
return _descriptor_14.toValue(value_0.is_left).concat(_descriptor_0.toValue(value_0.left).concat(_descriptor_0.toValue(value_0.right)));
|
|
77
94
|
}
|
|
78
95
|
}
|
|
79
96
|
|
|
80
|
-
const
|
|
97
|
+
const _descriptor_15 = new _Either_0();
|
|
81
98
|
|
|
82
|
-
const
|
|
99
|
+
const _descriptor_16 = new __compactRuntime.CompactTypeUnsignedInteger(340282366920938463463374607431768211455n, 16);
|
|
100
|
+
|
|
101
|
+
const _descriptor_17 = new __compactRuntime.CompactTypeUnsignedInteger(4294967295n, 4);
|
|
83
102
|
|
|
84
103
|
export class Contract {
|
|
85
104
|
witnesses;
|
|
@@ -93,6 +112,9 @@ export class Contract {
|
|
|
93
112
|
}
|
|
94
113
|
this.witnesses = witnesses_0;
|
|
95
114
|
this.circuits = {
|
|
115
|
+
async constructSignBidirectionalNotificationV1(context, ...args_1) {
|
|
116
|
+
return { result: pureCircuits.constructSignBidirectionalNotificationV1(...args_1), context };
|
|
117
|
+
},
|
|
96
118
|
async evmAddressAbiValue(context, ...args_1) {
|
|
97
119
|
return { result: pureCircuits.evmAddressAbiValue(...args_1), context };
|
|
98
120
|
},
|
|
@@ -144,94 +166,105 @@ export class Contract {
|
|
|
144
166
|
}
|
|
145
167
|
}
|
|
146
168
|
_transientHash_0(value_0) {
|
|
147
|
-
const result_0 = __compactRuntime.transientHash(
|
|
169
|
+
const result_0 = __compactRuntime.transientHash(_descriptor_11, value_0);
|
|
148
170
|
return result_0;
|
|
149
171
|
}
|
|
150
172
|
_persistentHash_0(value_0) {
|
|
151
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
173
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_12, value_0);
|
|
152
174
|
return result_0;
|
|
153
175
|
}
|
|
154
176
|
_persistentHash_1(value_0) {
|
|
155
|
-
const result_0 = __compactRuntime.persistentHash(
|
|
177
|
+
const result_0 = __compactRuntime.persistentHash(_descriptor_7, value_0);
|
|
156
178
|
return result_0;
|
|
157
179
|
}
|
|
180
|
+
_constructSignBidirectionalNotificationV1_0(callerAddress_0,
|
|
181
|
+
requestId_0,
|
|
182
|
+
requestsIndexField_0)
|
|
183
|
+
{
|
|
184
|
+
return { version: 1n,
|
|
185
|
+
payload:
|
|
186
|
+
Uint8Array.from([...Array.from(callerAddress_0.bytes, BigInt),
|
|
187
|
+
...Array.from(requestId_0, BigInt),
|
|
188
|
+
requestsIndexField_0],
|
|
189
|
+
Number) };
|
|
190
|
+
}
|
|
158
191
|
_evmAddressAbiValue_0(addr_0) {
|
|
159
192
|
const a0_0 = __compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
160
193
|
1,
|
|
161
194
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
162
195
|
Number(0n)),
|
|
163
196
|
'Field',
|
|
164
|
-
'Signet.compact line
|
|
197
|
+
'Signet.compact line 234 char 17');
|
|
165
198
|
const a1_0 = __compactRuntime.addField(__compactRuntime.mulField(a0_0, 256n),
|
|
166
199
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
167
200
|
1,
|
|
168
201
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
169
202
|
Number(1n)),
|
|
170
203
|
'Field',
|
|
171
|
-
'Signet.compact line
|
|
204
|
+
'Signet.compact line 235 char 30'));
|
|
172
205
|
const a2_0 = __compactRuntime.addField(__compactRuntime.mulField(a1_0, 256n),
|
|
173
206
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
174
207
|
1,
|
|
175
208
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
176
209
|
Number(2n)),
|
|
177
210
|
'Field',
|
|
178
|
-
'Signet.compact line
|
|
211
|
+
'Signet.compact line 236 char 30'));
|
|
179
212
|
const a3_0 = __compactRuntime.addField(__compactRuntime.mulField(a2_0, 256n),
|
|
180
213
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
181
214
|
1,
|
|
182
215
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
183
216
|
Number(3n)),
|
|
184
217
|
'Field',
|
|
185
|
-
'Signet.compact line
|
|
218
|
+
'Signet.compact line 237 char 30'));
|
|
186
219
|
const a4_0 = __compactRuntime.addField(__compactRuntime.mulField(a3_0, 256n),
|
|
187
220
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
188
221
|
1,
|
|
189
222
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
190
223
|
Number(4n)),
|
|
191
224
|
'Field',
|
|
192
|
-
'Signet.compact line
|
|
225
|
+
'Signet.compact line 238 char 30'));
|
|
193
226
|
const a5_0 = __compactRuntime.addField(__compactRuntime.mulField(a4_0, 256n),
|
|
194
227
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
195
228
|
1,
|
|
196
229
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
197
230
|
Number(5n)),
|
|
198
231
|
'Field',
|
|
199
|
-
'Signet.compact line
|
|
232
|
+
'Signet.compact line 239 char 30'));
|
|
200
233
|
const a6_0 = __compactRuntime.addField(__compactRuntime.mulField(a5_0, 256n),
|
|
201
234
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
202
235
|
1,
|
|
203
236
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
204
237
|
Number(6n)),
|
|
205
238
|
'Field',
|
|
206
|
-
'Signet.compact line
|
|
239
|
+
'Signet.compact line 240 char 30'));
|
|
207
240
|
const a7_0 = __compactRuntime.addField(__compactRuntime.mulField(a6_0, 256n),
|
|
208
241
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
209
242
|
1,
|
|
210
243
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
211
244
|
Number(7n)),
|
|
212
245
|
'Field',
|
|
213
|
-
'Signet.compact line
|
|
246
|
+
'Signet.compact line 241 char 30'));
|
|
214
247
|
const a8_0 = __compactRuntime.addField(__compactRuntime.mulField(a7_0, 256n),
|
|
215
248
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
216
249
|
1,
|
|
217
250
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
218
251
|
Number(8n)),
|
|
219
252
|
'Field',
|
|
220
|
-
'Signet.compact line
|
|
253
|
+
'Signet.compact line 242 char 30'));
|
|
221
254
|
const a9_0 = __compactRuntime.addField(__compactRuntime.mulField(a8_0, 256n),
|
|
222
255
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
223
256
|
1,
|
|
224
257
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
225
258
|
Number(9n)),
|
|
226
259
|
'Field',
|
|
227
|
-
'Signet.compact line
|
|
260
|
+
'Signet.compact line 243 char 30'));
|
|
228
261
|
const a10_0 = __compactRuntime.addField(__compactRuntime.mulField(a9_0, 256n),
|
|
229
262
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
230
263
|
1,
|
|
231
264
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
232
265
|
Number(10n)),
|
|
233
266
|
'Field',
|
|
234
|
-
'Signet.compact line
|
|
267
|
+
'Signet.compact line 244 char 30'));
|
|
235
268
|
const a11_0 = __compactRuntime.addField(__compactRuntime.mulField(a10_0,
|
|
236
269
|
256n),
|
|
237
270
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -239,7 +272,7 @@ export class Contract {
|
|
|
239
272
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
240
273
|
Number(11n)),
|
|
241
274
|
'Field',
|
|
242
|
-
'Signet.compact line
|
|
275
|
+
'Signet.compact line 245 char 30'));
|
|
243
276
|
const a12_0 = __compactRuntime.addField(__compactRuntime.mulField(a11_0,
|
|
244
277
|
256n),
|
|
245
278
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -247,7 +280,7 @@ export class Contract {
|
|
|
247
280
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
248
281
|
Number(12n)),
|
|
249
282
|
'Field',
|
|
250
|
-
'Signet.compact line
|
|
283
|
+
'Signet.compact line 246 char 30'));
|
|
251
284
|
const a13_0 = __compactRuntime.addField(__compactRuntime.mulField(a12_0,
|
|
252
285
|
256n),
|
|
253
286
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -255,7 +288,7 @@ export class Contract {
|
|
|
255
288
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
256
289
|
Number(13n)),
|
|
257
290
|
'Field',
|
|
258
|
-
'Signet.compact line
|
|
291
|
+
'Signet.compact line 247 char 30'));
|
|
259
292
|
const a14_0 = __compactRuntime.addField(__compactRuntime.mulField(a13_0,
|
|
260
293
|
256n),
|
|
261
294
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -263,7 +296,7 @@ export class Contract {
|
|
|
263
296
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
264
297
|
Number(14n)),
|
|
265
298
|
'Field',
|
|
266
|
-
'Signet.compact line
|
|
299
|
+
'Signet.compact line 248 char 30'));
|
|
267
300
|
const a15_0 = __compactRuntime.addField(__compactRuntime.mulField(a14_0,
|
|
268
301
|
256n),
|
|
269
302
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -271,7 +304,7 @@ export class Contract {
|
|
|
271
304
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
272
305
|
Number(15n)),
|
|
273
306
|
'Field',
|
|
274
|
-
'Signet.compact line
|
|
307
|
+
'Signet.compact line 249 char 30'));
|
|
275
308
|
const a16_0 = __compactRuntime.addField(__compactRuntime.mulField(a15_0,
|
|
276
309
|
256n),
|
|
277
310
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -279,7 +312,7 @@ export class Contract {
|
|
|
279
312
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
280
313
|
Number(16n)),
|
|
281
314
|
'Field',
|
|
282
|
-
'Signet.compact line
|
|
315
|
+
'Signet.compact line 250 char 30'));
|
|
283
316
|
const a17_0 = __compactRuntime.addField(__compactRuntime.mulField(a16_0,
|
|
284
317
|
256n),
|
|
285
318
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -287,7 +320,7 @@ export class Contract {
|
|
|
287
320
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
288
321
|
Number(17n)),
|
|
289
322
|
'Field',
|
|
290
|
-
'Signet.compact line
|
|
323
|
+
'Signet.compact line 251 char 30'));
|
|
291
324
|
const a18_0 = __compactRuntime.addField(__compactRuntime.mulField(a17_0,
|
|
292
325
|
256n),
|
|
293
326
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
@@ -295,45 +328,45 @@ export class Contract {
|
|
|
295
328
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
296
329
|
Number(18n)),
|
|
297
330
|
'Field',
|
|
298
|
-
'Signet.compact line
|
|
331
|
+
'Signet.compact line 252 char 30'));
|
|
299
332
|
return __compactRuntime.addField(__compactRuntime.mulField(a18_0, 256n),
|
|
300
333
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
301
334
|
1,
|
|
302
335
|
((e, i) => e.slice(i, i+1))(addr_0,
|
|
303
336
|
Number(19n)),
|
|
304
337
|
'Field',
|
|
305
|
-
'Signet.compact line
|
|
338
|
+
'Signet.compact line 253 char 30'));
|
|
306
339
|
}
|
|
307
340
|
_signetAttestationMessage_0(requestId_0, serializedOutput_0, outputLen_0) {
|
|
308
341
|
const rid_0 = requestId_0;
|
|
309
342
|
const outHash_0 = this._persistentHash_0([this._persistentHash_1(serializedOutput_0),
|
|
310
343
|
__compactRuntime.convertBigintToBytes(32,
|
|
311
344
|
outputLen_0,
|
|
312
|
-
'Signet.compact line
|
|
345
|
+
'Signet.compact line 369 char 7')]);
|
|
313
346
|
return [__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
314
347
|
16,
|
|
315
348
|
((e, i) => e.slice(i, i+16))(rid_0,
|
|
316
349
|
Number(0n)),
|
|
317
350
|
'Field',
|
|
318
|
-
'Signet.compact line
|
|
351
|
+
'Signet.compact line 372 char 7'),
|
|
319
352
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
320
353
|
16,
|
|
321
354
|
((e, i) => e.slice(i, i+16))(rid_0,
|
|
322
355
|
Number(16n)),
|
|
323
356
|
'Field',
|
|
324
|
-
'Signet.compact line
|
|
357
|
+
'Signet.compact line 373 char 7'),
|
|
325
358
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
326
359
|
16,
|
|
327
360
|
((e, i) => e.slice(i, i+16))(outHash_0,
|
|
328
361
|
Number(0n)),
|
|
329
362
|
'Field',
|
|
330
|
-
'Signet.compact line
|
|
363
|
+
'Signet.compact line 374 char 7'),
|
|
331
364
|
__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
332
365
|
16,
|
|
333
366
|
((e, i) => e.slice(i, i+16))(outHash_0,
|
|
334
367
|
Number(16n)),
|
|
335
368
|
'Field',
|
|
336
|
-
'Signet.compact line
|
|
369
|
+
'Signet.compact line 375 char 7')];
|
|
337
370
|
}
|
|
338
371
|
_charToNibble_0(c_0) {
|
|
339
372
|
const isDigit_0 = c_0 >= 48n && c_0 <= 57n;
|
|
@@ -357,7 +390,7 @@ export class Contract {
|
|
|
357
390
|
*
|
|
358
391
|
i_0)),
|
|
359
392
|
'Uint<0..256>',
|
|
360
|
-
'Signet.compact line
|
|
393
|
+
'Signet.compact line 402 char 31'));
|
|
361
394
|
const lo_0 = this._charToNibble_0(__compactRuntime.convertBytesToBigint(255n,
|
|
362
395
|
1,
|
|
363
396
|
((e, i) => e.slice(i, i+1))(hexStr_0,
|
|
@@ -367,13 +400,13 @@ export class Contract {
|
|
|
367
400
|
+
|
|
368
401
|
1n)),
|
|
369
402
|
'Uint<0..256>',
|
|
370
|
-
'Signet.compact line
|
|
403
|
+
'Signet.compact line 403 char 31'));
|
|
371
404
|
__compactRuntime.assert(__compactRuntime.convertBytesToBigint(52435875175126190479447740508185965837690552500527637822603658699938581184512n,
|
|
372
405
|
1,
|
|
373
406
|
((e, i) => e.slice(i, i+1))(commitment_0,
|
|
374
407
|
Number(i_0)),
|
|
375
408
|
'Field',
|
|
376
|
-
'Signet.compact line
|
|
409
|
+
'Signet.compact line 404 char 15')
|
|
377
410
|
===
|
|
378
411
|
__compactRuntime.addField(__compactRuntime.mulField(hi_0,
|
|
379
412
|
16n),
|
|
@@ -463,6 +496,38 @@ const _emptyContext = {
|
|
|
463
496
|
};
|
|
464
497
|
const _dummyContract = new Contract({ });
|
|
465
498
|
export const pureCircuits = {
|
|
499
|
+
constructSignBidirectionalNotificationV1: (...args_0) => {
|
|
500
|
+
if (args_0.length !== 3) {
|
|
501
|
+
throw new __compactRuntime.CompactError(`constructSignBidirectionalNotificationV1: expected 3 arguments (as invoked from Typescript), received ${args_0.length}`);
|
|
502
|
+
}
|
|
503
|
+
const callerAddress_0 = args_0[0];
|
|
504
|
+
const requestId_0 = args_0[1];
|
|
505
|
+
const requestsIndexField_0 = args_0[2];
|
|
506
|
+
if (!(typeof(callerAddress_0) === 'object' && callerAddress_0.bytes.buffer instanceof ArrayBuffer && callerAddress_0.bytes.BYTES_PER_ELEMENT === 1 && callerAddress_0.bytes.length === 32)) {
|
|
507
|
+
__compactRuntime.typeError('constructSignBidirectionalNotificationV1',
|
|
508
|
+
'argument 1',
|
|
509
|
+
'Signet.compact line 132 char 3',
|
|
510
|
+
'struct ContractAddress<bytes: Bytes<32>>',
|
|
511
|
+
callerAddress_0)
|
|
512
|
+
}
|
|
513
|
+
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
514
|
+
__compactRuntime.typeError('constructSignBidirectionalNotificationV1',
|
|
515
|
+
'argument 2',
|
|
516
|
+
'Signet.compact line 132 char 3',
|
|
517
|
+
'Bytes<32>',
|
|
518
|
+
requestId_0)
|
|
519
|
+
}
|
|
520
|
+
if (!(typeof(requestsIndexField_0) === 'bigint' && requestsIndexField_0 >= 0n && requestsIndexField_0 <= 255n)) {
|
|
521
|
+
__compactRuntime.typeError('constructSignBidirectionalNotificationV1',
|
|
522
|
+
'argument 3',
|
|
523
|
+
'Signet.compact line 132 char 3',
|
|
524
|
+
'Uint<0..256>',
|
|
525
|
+
requestsIndexField_0)
|
|
526
|
+
}
|
|
527
|
+
return _dummyContract._constructSignBidirectionalNotificationV1_0(callerAddress_0,
|
|
528
|
+
requestId_0,
|
|
529
|
+
requestsIndexField_0);
|
|
530
|
+
},
|
|
466
531
|
evmAddressAbiValue: (...args_0) => {
|
|
467
532
|
if (args_0.length !== 1) {
|
|
468
533
|
throw new __compactRuntime.CompactError(`evmAddressAbiValue: expected 1 argument (as invoked from Typescript), received ${args_0.length}`);
|
|
@@ -471,7 +536,7 @@ export const pureCircuits = {
|
|
|
471
536
|
if (!(addr_0.buffer instanceof ArrayBuffer && addr_0.BYTES_PER_ELEMENT === 1 && addr_0.length === 20)) {
|
|
472
537
|
__compactRuntime.typeError('evmAddressAbiValue',
|
|
473
538
|
'argument 1',
|
|
474
|
-
'Signet.compact line
|
|
539
|
+
'Signet.compact line 233 char 3',
|
|
475
540
|
'Bytes<20>',
|
|
476
541
|
addr_0)
|
|
477
542
|
}
|
|
@@ -487,21 +552,21 @@ export const pureCircuits = {
|
|
|
487
552
|
if (!(requestId_0.buffer instanceof ArrayBuffer && requestId_0.BYTES_PER_ELEMENT === 1 && requestId_0.length === 32)) {
|
|
488
553
|
__compactRuntime.typeError('signetAttestationMessage',
|
|
489
554
|
'argument 1',
|
|
490
|
-
'Signet.compact line
|
|
555
|
+
'Signet.compact line 361 char 3',
|
|
491
556
|
'Bytes<32>',
|
|
492
557
|
requestId_0)
|
|
493
558
|
}
|
|
494
559
|
if (!(serializedOutput_0.buffer instanceof ArrayBuffer && serializedOutput_0.BYTES_PER_ELEMENT === 1 && serializedOutput_0.length === 128)) {
|
|
495
560
|
__compactRuntime.typeError('signetAttestationMessage',
|
|
496
561
|
'argument 2',
|
|
497
|
-
'Signet.compact line
|
|
562
|
+
'Signet.compact line 361 char 3',
|
|
498
563
|
'Bytes<128>',
|
|
499
564
|
serializedOutput_0)
|
|
500
565
|
}
|
|
501
566
|
if (!(typeof(outputLen_0) === 'bigint' && outputLen_0 >= 0n && outputLen_0 <= 255n)) {
|
|
502
567
|
__compactRuntime.typeError('signetAttestationMessage',
|
|
503
568
|
'argument 3',
|
|
504
|
-
'Signet.compact line
|
|
569
|
+
'Signet.compact line 361 char 3',
|
|
505
570
|
'Uint<0..256>',
|
|
506
571
|
outputLen_0)
|
|
507
572
|
}
|
|
@@ -518,14 +583,14 @@ export const pureCircuits = {
|
|
|
518
583
|
if (!(commitment_0.buffer instanceof ArrayBuffer && commitment_0.BYTES_PER_ELEMENT === 1 && commitment_0.length === 32)) {
|
|
519
584
|
__compactRuntime.typeError('assertHexOf',
|
|
520
585
|
'argument 1',
|
|
521
|
-
'Signet.compact line
|
|
586
|
+
'Signet.compact line 400 char 3',
|
|
522
587
|
'Bytes<32>',
|
|
523
588
|
commitment_0)
|
|
524
589
|
}
|
|
525
590
|
if (!(hexStr_0.buffer instanceof ArrayBuffer && hexStr_0.BYTES_PER_ELEMENT === 1 && hexStr_0.length === 64)) {
|
|
526
591
|
__compactRuntime.typeError('assertHexOf',
|
|
527
592
|
'argument 2',
|
|
528
|
-
'Signet.compact line
|
|
593
|
+
'Signet.compact line 400 char 3',
|
|
529
594
|
'Bytes<64>',
|
|
530
595
|
hexStr_0)
|
|
531
596
|
}
|
|
@@ -540,14 +605,14 @@ export const pureCircuits = {
|
|
|
540
605
|
if (!(commitment_0.buffer instanceof ArrayBuffer && commitment_0.BYTES_PER_ELEMENT === 1 && commitment_0.length === 32)) {
|
|
541
606
|
__compactRuntime.typeError('assertPathCommitment',
|
|
542
607
|
'argument 1',
|
|
543
|
-
'Signet.compact line
|
|
608
|
+
'Signet.compact line 415 char 3',
|
|
544
609
|
'Bytes<32>',
|
|
545
610
|
commitment_0)
|
|
546
611
|
}
|
|
547
612
|
if (!(path_0.buffer instanceof ArrayBuffer && path_0.BYTES_PER_ELEMENT === 1 && path_0.length === 256)) {
|
|
548
613
|
__compactRuntime.typeError('assertPathCommitment',
|
|
549
614
|
'argument 2',
|
|
550
|
-
'Signet.compact line
|
|
615
|
+
'Signet.compact line 415 char 3',
|
|
551
616
|
'Bytes<256>',
|
|
552
617
|
path_0)
|
|
553
618
|
}
|
|
@@ -4,5 +4,5 @@
|
|
|
4
4
|
"sourceRoot": "../../../",
|
|
5
5
|
"sources": ["src/circuits.compact", "src/./Signet.compact", "src/./Schnorr.compact", "compiler/zkir-v3-library.compact"],
|
|
6
6
|
"names": [],
|
|
7
|
-
"mappings": "
|
|
7
|
+
"mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAAA;;;;;;;;;;MCmIE,MAAA,wCASC;;OAAA;MA4FD,MAAA,kBAqBC;;OAAA;MA2GD,MAAA,wBAgBC;;OAAA;MAuBD,MAAA,WAOC;;OAAA;MAQD,MAAA,oBAMC;;OAAA;MCnXD,MAAA,gBAYC;;OAAA;;;;GFtBF;EAvCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCC;EGvCD,AAAA,iBAAA;oEAAA;;;EAAA,AAAA,kBAAA;qEAAA;;;EAAA,AAAA,kBAAA;oEAAA;;;EFmIE,AAAA,2CASC,CARC,eAA8B;8CAC9B,WAAoB;8CACpB,oBAA2B;;;;8CAIP,eAAa;8CAAW,WAAS;gCAAE,oBAAkB;;GAE1E;EA4FD,AAAA,qBAqBC,CArBsC,MAAe;UAC9C,IAAgC;;mFAAjB,MAAI;;;;UACnB,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,IAA+C,uDAAzC,IAAE;;;6GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,IAAE;;;8GAAoB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;UAChC,KAA+C,uDAAzC,KAAG;;;;8GAAmB,MAAI;;;;+DAC1B,KAAG;;;uGAAmB,MAAI;;;;GACvC;EA2GD,AAAA,2BAgBC,CAfC,WAAoB,EACpB,kBAA4B,EAC5B,WAAkB;UAEZ,KAA4B,GAAtB,WAAS;UACf,SAGJ,kDAF2B,kBAAgB;;oFAC3C,WAAS;;;;+EAGC,KAAG;;;;;;+EACH,KAAG;;;;;;+EACH,SAAO;;;;;;+EACP,SAAO;;;;GAEpB;EAaD,AAAA,eAOC,CAPyB,GAAU;UAC5B,SAAgC,GAArB,GAAC,WAAY,GAAC;UACzB,SAAiC,GAAtB,GAAC,WAAY,GAAC;4BACxB,SAAO,IAAI,SAAO;UACnB,MAAa,4BAAN,GAAC;;oBAAD,GAAC;UACR,QAAyB,GAAhB,SAAO;4BACf,MAAI,IAAG,QAAM;;WAAb,MAAI,GAAG,QAAM;GACrB;EAGD,AAAA,cAOC,CAP+B,YAAqB,EAAE,QAAiB;qBACtE,GAKC,EALD,GAKC;;4BAJO,IAAqD;;0HAA1B,QAAM;;;iIAAM,GAAC;;;4BACxC,IAAyD;;0HAA9B,QAAM;;;iIAAM,GAAC;;;;;;;gHAC7B,YAAU;uHAAE,GAAC;;;;kGAAgB,IAAE;;wEAAmB,IAAE;;6BAHvE,GAKC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GACF;EAQD,AAAA,uBAMC,CALC,YAAqB,EACrB,MAAgB;wBAEJ,YAAU;qDAAY,MAAI;wEACpB,MAAI;;;;;GACvB;ECnXD,AAAA,mBAYC,CAXqB,OAAY,EACZ,OAAY,EACZ,MAAW,EACX,MAAW,EACX,KAAqB;UAEnC,OAGK,kCAD4B,OAAK;mDAAS,OAAK;kDAAQ,MAAI;kDAAQ,MAAI;iDAAO,KAAG;WAEpF,OAAK;GACd;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EDsED,AAAA,wCASC;;;;UARC,eAA8B;UAC9B,WAAoB;UACpB,oBAA2B;;;;;;;;;;;;;;;;;;;;;;sEAF3B,eAA8B;sEAC9B,WAAoB;sEACpB,oBAA2B;GAM5B;EA4FD,AAAA,kBAqBC;;;;UArBsC,MAAe;;;;;;;;gDAAf,MAAe;GAqBrD;EA2GD,AAAA,wBAgBC;;;;UAfC,WAAoB;UACpB,kBAA4B;UAC5B,WAAkB;;;;;;;;;;;;;;;;;;;;;;sDAFlB,WAAoB;sDACpB,kBAA4B;sDAC5B,WAAkB;GAanB;EAuBD,AAAA,WAOC;;;;UAP+B,YAAqB;UAAE,QAAiB;;;;;;;;;;;;;;;yCAAxC,YAAqB,EAAE,QAAiB;GAOvE;EAQD,AAAA,oBAMC;;;;UALC,YAAqB;UACrB,MAAgB;;;;;;;;;;;;;;;kDADhB,YAAqB,EACrB,MAAgB;GAIjB;ECnXD,AAAA,gBAYC;;;;UAXqB,OAAY;UACZ,OAAY;UACZ,MAAW;UACX,MAAW;UACX,KAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8CAJrB,OAAY;8CACZ,OAAY;8CACZ,MAAW;8CACX,MAAW;8CACX,KAAqB;GAO1C;;;;;;"
|
|
8
8
|
}
|
|
@@ -48,17 +48,17 @@ export declare function readSignetRequestsLedgerFromState(raw: RawContractState)
|
|
|
48
48
|
/**
|
|
49
49
|
* Look up ONE request by id in a contract's request index at an arbitrary
|
|
50
50
|
* ledger field — the generalization of {@link readSignetRequestsLedgerFromState}
|
|
51
|
-
* the
|
|
52
|
-
*
|
|
53
|
-
*
|
|
51
|
+
* the discovery path needs: a notification names both the requester contract
|
|
52
|
+
* AND which field holds its index, so the field is no longer assumed to be
|
|
53
|
+
* {@link SIGNET_REQUESTS_INDEX_FIELD}.
|
|
54
54
|
*
|
|
55
|
-
* This is the mandatory membership check of the
|
|
55
|
+
* This is the mandatory membership check of the discovery flow (see
|
|
56
56
|
* signet-request-resolver.ts): `undefined` means the id is NOT a member of the
|
|
57
57
|
* index at `fieldIndex` — the notification is forged, stale, points at the
|
|
58
58
|
* wrong field, or the request is not yet indexed — and the caller MUST drop it.
|
|
59
59
|
* Every non-membership case (field out of range, field is not a Map, id absent,
|
|
60
60
|
* a cell that fails to decode) returns `undefined` rather than throwing, so a
|
|
61
|
-
* malformed or adversarial
|
|
61
|
+
* malformed or adversarial notification can never crash the reader.
|
|
62
62
|
*
|
|
63
63
|
* Only the matched record is decoded (not the whole index), and it is decoded
|
|
64
64
|
* by the same {@link decodeSignBidirectionalRequest} the full reader uses, so
|
|
@@ -112,17 +112,17 @@ export function readSignetRequestsLedgerFromState(raw) {
|
|
|
112
112
|
/**
|
|
113
113
|
* Look up ONE request by id in a contract's request index at an arbitrary
|
|
114
114
|
* ledger field — the generalization of {@link readSignetRequestsLedgerFromState}
|
|
115
|
-
* the
|
|
116
|
-
*
|
|
117
|
-
*
|
|
115
|
+
* the discovery path needs: a notification names both the requester contract
|
|
116
|
+
* AND which field holds its index, so the field is no longer assumed to be
|
|
117
|
+
* {@link SIGNET_REQUESTS_INDEX_FIELD}.
|
|
118
118
|
*
|
|
119
|
-
* This is the mandatory membership check of the
|
|
119
|
+
* This is the mandatory membership check of the discovery flow (see
|
|
120
120
|
* signet-request-resolver.ts): `undefined` means the id is NOT a member of the
|
|
121
121
|
* index at `fieldIndex` — the notification is forged, stale, points at the
|
|
122
122
|
* wrong field, or the request is not yet indexed — and the caller MUST drop it.
|
|
123
123
|
* Every non-membership case (field out of range, field is not a Map, id absent,
|
|
124
124
|
* a cell that fails to decode) returns `undefined` rather than throwing, so a
|
|
125
|
-
* malformed or adversarial
|
|
125
|
+
* malformed or adversarial notification can never crash the reader.
|
|
126
126
|
*
|
|
127
127
|
* Only the matched record is decoded (not the whole index), and it is decoded
|
|
128
128
|
* by the same {@link decodeSignBidirectionalRequest} the full reader uses, so
|