@aztec/protocol-contracts 0.23.0

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.
@@ -0,0 +1,2605 @@
1
+ {
2
+ "noir_version": "0.23.0+9a70040211d205f472aa31924649c2fef999eb49",
3
+ "name": "ContractClassRegisterer",
4
+ "functions": [
5
+ {
6
+ "name": "constructor",
7
+ "function_type": "Secret",
8
+ "is_internal": false,
9
+ "abi": {
10
+ "parameters": [
11
+ {
12
+ "name": "inputs",
13
+ "type": {
14
+ "kind": "struct",
15
+ "path": "aztec::abi::PrivateContextInputs",
16
+ "fields": [
17
+ {
18
+ "name": "call_context",
19
+ "type": {
20
+ "kind": "struct",
21
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
22
+ "fields": [
23
+ {
24
+ "name": "msg_sender",
25
+ "type": {
26
+ "kind": "struct",
27
+ "path": "aztec::protocol_types::address::AztecAddress",
28
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
29
+ }
30
+ },
31
+ {
32
+ "name": "storage_contract_address",
33
+ "type": {
34
+ "kind": "struct",
35
+ "path": "aztec::protocol_types::address::AztecAddress",
36
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
37
+ }
38
+ },
39
+ {
40
+ "name": "portal_contract_address",
41
+ "type": {
42
+ "kind": "struct",
43
+ "path": "aztec::protocol_types::address::EthAddress",
44
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
45
+ }
46
+ },
47
+ {
48
+ "name": "function_selector",
49
+ "type": {
50
+ "kind": "struct",
51
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
52
+ "fields": [
53
+ { "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
54
+ ]
55
+ }
56
+ },
57
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
58
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
59
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
60
+ {
61
+ "name": "start_side_effect_counter",
62
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
63
+ }
64
+ ]
65
+ }
66
+ },
67
+ {
68
+ "name": "historical_header",
69
+ "type": {
70
+ "kind": "struct",
71
+ "path": "aztec::protocol_types::header::Header",
72
+ "fields": [
73
+ {
74
+ "name": "last_archive",
75
+ "type": {
76
+ "kind": "struct",
77
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
78
+ "fields": [
79
+ { "name": "root", "type": { "kind": "field" } },
80
+ {
81
+ "name": "next_available_leaf_index",
82
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
83
+ }
84
+ ]
85
+ }
86
+ },
87
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
88
+ {
89
+ "name": "state",
90
+ "type": {
91
+ "kind": "struct",
92
+ "path": "aztec::protocol_types::state_reference::StateReference",
93
+ "fields": [
94
+ {
95
+ "name": "l1_to_l2_message_tree",
96
+ "type": {
97
+ "kind": "struct",
98
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
99
+ "fields": [
100
+ { "name": "root", "type": { "kind": "field" } },
101
+ {
102
+ "name": "next_available_leaf_index",
103
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
104
+ }
105
+ ]
106
+ }
107
+ },
108
+ {
109
+ "name": "partial",
110
+ "type": {
111
+ "kind": "struct",
112
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
113
+ "fields": [
114
+ {
115
+ "name": "note_hash_tree",
116
+ "type": {
117
+ "kind": "struct",
118
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
119
+ "fields": [
120
+ { "name": "root", "type": { "kind": "field" } },
121
+ {
122
+ "name": "next_available_leaf_index",
123
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
124
+ }
125
+ ]
126
+ }
127
+ },
128
+ {
129
+ "name": "nullifier_tree",
130
+ "type": {
131
+ "kind": "struct",
132
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
133
+ "fields": [
134
+ { "name": "root", "type": { "kind": "field" } },
135
+ {
136
+ "name": "next_available_leaf_index",
137
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
138
+ }
139
+ ]
140
+ }
141
+ },
142
+ {
143
+ "name": "contract_tree",
144
+ "type": {
145
+ "kind": "struct",
146
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
147
+ "fields": [
148
+ { "name": "root", "type": { "kind": "field" } },
149
+ {
150
+ "name": "next_available_leaf_index",
151
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
152
+ }
153
+ ]
154
+ }
155
+ },
156
+ {
157
+ "name": "public_data_tree",
158
+ "type": {
159
+ "kind": "struct",
160
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
161
+ "fields": [
162
+ { "name": "root", "type": { "kind": "field" } },
163
+ {
164
+ "name": "next_available_leaf_index",
165
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
166
+ }
167
+ ]
168
+ }
169
+ }
170
+ ]
171
+ }
172
+ }
173
+ ]
174
+ }
175
+ },
176
+ {
177
+ "name": "global_variables",
178
+ "type": {
179
+ "kind": "struct",
180
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
181
+ "fields": [
182
+ { "name": "chain_id", "type": { "kind": "field" } },
183
+ { "name": "version", "type": { "kind": "field" } },
184
+ { "name": "block_number", "type": { "kind": "field" } },
185
+ { "name": "timestamp", "type": { "kind": "field" } },
186
+ {
187
+ "name": "coinbase",
188
+ "type": {
189
+ "kind": "struct",
190
+ "path": "aztec::protocol_types::address::EthAddress",
191
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
192
+ }
193
+ },
194
+ {
195
+ "name": "fee_recipient",
196
+ "type": {
197
+ "kind": "struct",
198
+ "path": "aztec::protocol_types::address::AztecAddress",
199
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
200
+ }
201
+ }
202
+ ]
203
+ }
204
+ }
205
+ ]
206
+ }
207
+ },
208
+ {
209
+ "name": "contract_deployment_data",
210
+ "type": {
211
+ "kind": "struct",
212
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
213
+ "fields": [
214
+ {
215
+ "name": "public_key",
216
+ "type": {
217
+ "kind": "struct",
218
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
219
+ "fields": [
220
+ { "name": "x", "type": { "kind": "field" } },
221
+ { "name": "y", "type": { "kind": "field" } }
222
+ ]
223
+ }
224
+ },
225
+ { "name": "initialization_hash", "type": { "kind": "field" } },
226
+ {
227
+ "name": "contract_class_id",
228
+ "type": {
229
+ "kind": "struct",
230
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
231
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
232
+ }
233
+ },
234
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
235
+ {
236
+ "name": "portal_contract_address",
237
+ "type": {
238
+ "kind": "struct",
239
+ "path": "aztec::protocol_types::address::EthAddress",
240
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
241
+ }
242
+ }
243
+ ]
244
+ }
245
+ },
246
+ {
247
+ "name": "private_global_variables",
248
+ "type": {
249
+ "kind": "struct",
250
+ "path": "aztec::abi::PrivateGlobalVariables",
251
+ "fields": [
252
+ { "name": "chain_id", "type": { "kind": "field" } },
253
+ { "name": "version", "type": { "kind": "field" } }
254
+ ]
255
+ }
256
+ }
257
+ ]
258
+ },
259
+ "visibility": "private"
260
+ }
261
+ ],
262
+ "param_witnesses": { "inputs": [{ "start": 0, "end": 36 }] },
263
+ "return_type": {
264
+ "abi_type": {
265
+ "kind": "struct",
266
+ "path": "aztec::protocol_types::abis::private_circuit_public_inputs::PrivateCircuitPublicInputs",
267
+ "fields": [
268
+ {
269
+ "name": "call_context",
270
+ "type": {
271
+ "kind": "struct",
272
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
273
+ "fields": [
274
+ {
275
+ "name": "msg_sender",
276
+ "type": {
277
+ "kind": "struct",
278
+ "path": "aztec::protocol_types::address::AztecAddress",
279
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
280
+ }
281
+ },
282
+ {
283
+ "name": "storage_contract_address",
284
+ "type": {
285
+ "kind": "struct",
286
+ "path": "aztec::protocol_types::address::AztecAddress",
287
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
288
+ }
289
+ },
290
+ {
291
+ "name": "portal_contract_address",
292
+ "type": {
293
+ "kind": "struct",
294
+ "path": "aztec::protocol_types::address::EthAddress",
295
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
296
+ }
297
+ },
298
+ {
299
+ "name": "function_selector",
300
+ "type": {
301
+ "kind": "struct",
302
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
303
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
304
+ }
305
+ },
306
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
307
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
308
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
309
+ {
310
+ "name": "start_side_effect_counter",
311
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
312
+ }
313
+ ]
314
+ }
315
+ },
316
+ { "name": "args_hash", "type": { "kind": "field" } },
317
+ { "name": "return_values", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } },
318
+ { "name": "meta_hwm", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
319
+ {
320
+ "name": "read_requests",
321
+ "type": {
322
+ "kind": "array",
323
+ "length": 32,
324
+ "type": {
325
+ "kind": "struct",
326
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
327
+ "fields": [
328
+ { "name": "value", "type": { "kind": "field" } },
329
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
330
+ ]
331
+ }
332
+ }
333
+ },
334
+ {
335
+ "name": "nullifier_key_validation_requests",
336
+ "type": {
337
+ "kind": "array",
338
+ "length": 1,
339
+ "type": {
340
+ "kind": "struct",
341
+ "path": "aztec::protocol_types::abis::nullifier_key_validation_request::NullifierKeyValidationRequest",
342
+ "fields": [
343
+ {
344
+ "name": "public_key",
345
+ "type": {
346
+ "kind": "struct",
347
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
348
+ "fields": [
349
+ { "name": "x", "type": { "kind": "field" } },
350
+ { "name": "y", "type": { "kind": "field" } }
351
+ ]
352
+ }
353
+ },
354
+ {
355
+ "name": "secret_key",
356
+ "type": {
357
+ "kind": "struct",
358
+ "path": "aztec::protocol_types::grumpkin_private_key::GrumpkinPrivateKey",
359
+ "fields": [
360
+ { "name": "high", "type": { "kind": "field" } },
361
+ { "name": "low", "type": { "kind": "field" } }
362
+ ]
363
+ }
364
+ }
365
+ ]
366
+ }
367
+ }
368
+ },
369
+ {
370
+ "name": "new_commitments",
371
+ "type": {
372
+ "kind": "array",
373
+ "length": 16,
374
+ "type": {
375
+ "kind": "struct",
376
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
377
+ "fields": [
378
+ { "name": "value", "type": { "kind": "field" } },
379
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
380
+ ]
381
+ }
382
+ }
383
+ },
384
+ {
385
+ "name": "new_nullifiers",
386
+ "type": {
387
+ "kind": "array",
388
+ "length": 16,
389
+ "type": {
390
+ "kind": "struct",
391
+ "path": "aztec::protocol_types::abis::side_effect::SideEffectLinkedToNoteHash",
392
+ "fields": [
393
+ { "name": "value", "type": { "kind": "field" } },
394
+ { "name": "note_hash", "type": { "kind": "field" } },
395
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
396
+ ]
397
+ }
398
+ }
399
+ },
400
+ {
401
+ "name": "private_call_stack_hashes",
402
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
403
+ },
404
+ {
405
+ "name": "public_call_stack_hashes",
406
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
407
+ },
408
+ { "name": "new_l2_to_l1_msgs", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
409
+ { "name": "end_side_effect_counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
410
+ { "name": "encrypted_logs_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
411
+ {
412
+ "name": "unencrypted_logs_hash",
413
+ "type": { "kind": "array", "length": 2, "type": { "kind": "field" } }
414
+ },
415
+ { "name": "encrypted_log_preimages_length", "type": { "kind": "field" } },
416
+ { "name": "unencrypted_log_preimages_length", "type": { "kind": "field" } },
417
+ {
418
+ "name": "historical_header",
419
+ "type": {
420
+ "kind": "struct",
421
+ "path": "aztec::protocol_types::header::Header",
422
+ "fields": [
423
+ {
424
+ "name": "last_archive",
425
+ "type": {
426
+ "kind": "struct",
427
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
428
+ "fields": [
429
+ { "name": "root", "type": { "kind": "field" } },
430
+ {
431
+ "name": "next_available_leaf_index",
432
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
433
+ }
434
+ ]
435
+ }
436
+ },
437
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
438
+ {
439
+ "name": "state",
440
+ "type": {
441
+ "kind": "struct",
442
+ "path": "aztec::protocol_types::state_reference::StateReference",
443
+ "fields": [
444
+ {
445
+ "name": "l1_to_l2_message_tree",
446
+ "type": {
447
+ "kind": "struct",
448
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
449
+ "fields": [
450
+ { "name": "root", "type": { "kind": "field" } },
451
+ {
452
+ "name": "next_available_leaf_index",
453
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
454
+ }
455
+ ]
456
+ }
457
+ },
458
+ {
459
+ "name": "partial",
460
+ "type": {
461
+ "kind": "struct",
462
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
463
+ "fields": [
464
+ {
465
+ "name": "note_hash_tree",
466
+ "type": {
467
+ "kind": "struct",
468
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
469
+ "fields": [
470
+ { "name": "root", "type": { "kind": "field" } },
471
+ {
472
+ "name": "next_available_leaf_index",
473
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
474
+ }
475
+ ]
476
+ }
477
+ },
478
+ {
479
+ "name": "nullifier_tree",
480
+ "type": {
481
+ "kind": "struct",
482
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
483
+ "fields": [
484
+ { "name": "root", "type": { "kind": "field" } },
485
+ {
486
+ "name": "next_available_leaf_index",
487
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
488
+ }
489
+ ]
490
+ }
491
+ },
492
+ {
493
+ "name": "contract_tree",
494
+ "type": {
495
+ "kind": "struct",
496
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
497
+ "fields": [
498
+ { "name": "root", "type": { "kind": "field" } },
499
+ {
500
+ "name": "next_available_leaf_index",
501
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
502
+ }
503
+ ]
504
+ }
505
+ },
506
+ {
507
+ "name": "public_data_tree",
508
+ "type": {
509
+ "kind": "struct",
510
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
511
+ "fields": [
512
+ { "name": "root", "type": { "kind": "field" } },
513
+ {
514
+ "name": "next_available_leaf_index",
515
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
516
+ }
517
+ ]
518
+ }
519
+ }
520
+ ]
521
+ }
522
+ }
523
+ ]
524
+ }
525
+ },
526
+ {
527
+ "name": "global_variables",
528
+ "type": {
529
+ "kind": "struct",
530
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
531
+ "fields": [
532
+ { "name": "chain_id", "type": { "kind": "field" } },
533
+ { "name": "version", "type": { "kind": "field" } },
534
+ { "name": "block_number", "type": { "kind": "field" } },
535
+ { "name": "timestamp", "type": { "kind": "field" } },
536
+ {
537
+ "name": "coinbase",
538
+ "type": {
539
+ "kind": "struct",
540
+ "path": "aztec::protocol_types::address::EthAddress",
541
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
542
+ }
543
+ },
544
+ {
545
+ "name": "fee_recipient",
546
+ "type": {
547
+ "kind": "struct",
548
+ "path": "aztec::protocol_types::address::AztecAddress",
549
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
550
+ }
551
+ }
552
+ ]
553
+ }
554
+ }
555
+ ]
556
+ }
557
+ },
558
+ {
559
+ "name": "contract_deployment_data",
560
+ "type": {
561
+ "kind": "struct",
562
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
563
+ "fields": [
564
+ {
565
+ "name": "public_key",
566
+ "type": {
567
+ "kind": "struct",
568
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
569
+ "fields": [
570
+ { "name": "x", "type": { "kind": "field" } },
571
+ { "name": "y", "type": { "kind": "field" } }
572
+ ]
573
+ }
574
+ },
575
+ { "name": "initialization_hash", "type": { "kind": "field" } },
576
+ {
577
+ "name": "contract_class_id",
578
+ "type": {
579
+ "kind": "struct",
580
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
581
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
582
+ }
583
+ },
584
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
585
+ {
586
+ "name": "portal_contract_address",
587
+ "type": {
588
+ "kind": "struct",
589
+ "path": "aztec::protocol_types::address::EthAddress",
590
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
591
+ }
592
+ }
593
+ ]
594
+ }
595
+ },
596
+ { "name": "chain_id", "type": { "kind": "field" } },
597
+ { "name": "version", "type": { "kind": "field" } }
598
+ ]
599
+ },
600
+ "visibility": "public"
601
+ },
602
+ "return_witnesses": [
603
+ 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
604
+ 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90,
605
+ 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114,
606
+ 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136,
607
+ 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158,
608
+ 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180,
609
+ 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202,
610
+ 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224,
611
+ 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243
612
+ ]
613
+ },
614
+ "bytecode": "H4sIAAAAAAAA/+XdZ3NUZRjG8YQWURERsZcoobfd7G6yS++99w4JSejF3hURe8PeFRF7w94VsVewFyzYe+ULeF3DymT2Lc+bZ/5n5prlDMPO/pZk95yn3Pf2oqKirUU7jmKlgdJQKa133ij/5//PGxecNyk4Lyn4900LzpsVnDcvOG9RcN6y4LxV/rz+UZx/7Jt/TCUq0unayvLaZCpZlSjPVWcziXSmuiKbzCYz2UxNeTaVqs2ms5W56lxlIpdMp2qTdZlcqi6x4yir91yJXTzqv84GBa8zsWtHMqS5TSTm4oDmtpGYGwQ0t4vE3DCguX0k5kYBzR0iMTcOaO4YiblJQHOnSMwlAc2dIzGXBTR3AZq7As3dgOYE0JwEmsuB5hTQnAaaM0BzBdBcCTRngeYc0NwdaO4BNPcEmnsBzb2B5j5Ac1+guR/Q3B9oHgA0DwSaBwHNg4HmIUDzUKB5GNA8HGgeATSPBJpHAc2jgeYxQPNYoHkc0DweaJ4ANE8EmicBzZOB5ilA81SgeRrQPB1ongE0zwSaZwHNs4HmOUDzXKC5CmiuBprnAc01QHMt0FwHNM8HmhcAzQuB5kVA82KgeQnQvBRoXgY0LweaVwDNRwHNRwPNxwDNxwLNxwHNxwPNJwDNJwLNJwHNJwPNpwDNpwLNpwHNpwPNZwDNK4HmM4HmVUDzWUDzaqD5bKD5HKD5XKD5PKD5fKD5AqD5QqD5IqD5YqD5EqD5UqB5DdB8GdB8OdB8BdB8JdB8FdB8NdB8DdB8LdB8HdB8PdB8A9B8I9B8E9B8M9B8C9C8Fmi+FWheBzTfBjSvB5pvB5rvAJrvBJrvAprvBprvAZrvBZrvA5rvB5ofAJofBJo3AM0PAc0PA82PAM2PAs2PAc2PA81PAM1PAs1PAc1PA83PAM3PAs3PAc3PA80vAM0bgeYXgeZNQPNLQPPLQPMrQPOrQPNrQPPrQPMbQPObQPNbQPPbQPM7QPO7QPNmoHlLJOaSgOb3gP/P7wPNHwDNHwLNHwHNHwPNn0Ri3i2g+dNIzE0Dmj+LxLx7QPPnkZj3CGjeGol5z4DmLyIxNwto/jIS814BzV9FYm4e0Px1JOa9A5q3RWJuEdD8TSTmfQKav43E3DKg+btIzPsGNH8fiblVQPMPkZj3C2j+MRLz/gHNP0ViPiCg+edIzAcGNP8SifmggOZfIzEfHND8WyTmQwKaf4/EfGhA8x+RmA8LaP4zEvPhAc1/RWIuDWj+OxLzEQHN/0RiPjKg+d9IzK0DmrcHNBfrORrmn6usnr84/x747xopjZUmitdLeB7K8zKep/C4vcexPa7rcU6P+3kczONCHifxuIHvo31f6fss33f4OtzXpb5O83WLv8f9vebPeX/ulSr+vfDPSet6r2lz/rGN0lZpp7RXOigdlU5KZ6WL0lXp5vdHSSrlft+VtJJRKpRKJavklO5KD6Wn0kvprfTJv8/9lP7KAGWgMkgZrAxRhirDlOHKCGWkMkoZrYxRxirjlPHKBGWiMkmZrExRpirTlOnKDGWmMkuZrcxR5ipVSrUyT6lRapU6Zb6yQFmoLFIWK0uUpcoyZbmyQnFfePdJd99w99F2X2n3WXbfYffhdV9a92l131L38XRfS/d5dN/DlYr74q1S3DdtteK+Wu4z5b5L7kPkvjzuU+O+Le5j4r4e7nPhvg9rFPcFcJ181413HXXXFXedbdeddh1m1yV2nV7XrXUdV9c1dZ1P171cq7gu4jrFdfPWK66r5jpjrrvlOlSuy+Q6Ra7b4zo2ruviOieu+7FBcV0I10lw3QDvo/e+cu+z9r5j78P1vlTv0/S+Re/j87427/PyvqeNivfFbFK8b8L7CLyu3uvMve7a65C9LtfrVL1u0+sYva7P69z887pF8bogr5PxuhGvo/C6As+ze97Z87Cel/Q8neetPI/jeQ2P83vce5vicVGPE3rczONIHlfxOIPvu30f6vsy36f4ut3Xsb6u83WOv/f9PejvBX9O+nNj5/Ef8ujUx6nKAAA=",
615
+ "debug_symbols": "q1bKyU9OLMnMzytWsqqurQUA"
616
+ },
617
+ {
618
+ "name": "broadcast_unconstrained_function",
619
+ "function_type": "Secret",
620
+ "is_internal": false,
621
+ "abi": {
622
+ "parameters": [
623
+ {
624
+ "name": "inputs",
625
+ "type": {
626
+ "kind": "struct",
627
+ "path": "aztec::abi::PrivateContextInputs",
628
+ "fields": [
629
+ {
630
+ "name": "call_context",
631
+ "type": {
632
+ "kind": "struct",
633
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
634
+ "fields": [
635
+ {
636
+ "name": "msg_sender",
637
+ "type": {
638
+ "kind": "struct",
639
+ "path": "aztec::protocol_types::address::AztecAddress",
640
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
641
+ }
642
+ },
643
+ {
644
+ "name": "storage_contract_address",
645
+ "type": {
646
+ "kind": "struct",
647
+ "path": "aztec::protocol_types::address::AztecAddress",
648
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
649
+ }
650
+ },
651
+ {
652
+ "name": "portal_contract_address",
653
+ "type": {
654
+ "kind": "struct",
655
+ "path": "aztec::protocol_types::address::EthAddress",
656
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
657
+ }
658
+ },
659
+ {
660
+ "name": "function_selector",
661
+ "type": {
662
+ "kind": "struct",
663
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
664
+ "fields": [
665
+ { "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
666
+ ]
667
+ }
668
+ },
669
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
670
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
671
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
672
+ {
673
+ "name": "start_side_effect_counter",
674
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
675
+ }
676
+ ]
677
+ }
678
+ },
679
+ {
680
+ "name": "historical_header",
681
+ "type": {
682
+ "kind": "struct",
683
+ "path": "aztec::protocol_types::header::Header",
684
+ "fields": [
685
+ {
686
+ "name": "last_archive",
687
+ "type": {
688
+ "kind": "struct",
689
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
690
+ "fields": [
691
+ { "name": "root", "type": { "kind": "field" } },
692
+ {
693
+ "name": "next_available_leaf_index",
694
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
695
+ }
696
+ ]
697
+ }
698
+ },
699
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
700
+ {
701
+ "name": "state",
702
+ "type": {
703
+ "kind": "struct",
704
+ "path": "aztec::protocol_types::state_reference::StateReference",
705
+ "fields": [
706
+ {
707
+ "name": "l1_to_l2_message_tree",
708
+ "type": {
709
+ "kind": "struct",
710
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
711
+ "fields": [
712
+ { "name": "root", "type": { "kind": "field" } },
713
+ {
714
+ "name": "next_available_leaf_index",
715
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
716
+ }
717
+ ]
718
+ }
719
+ },
720
+ {
721
+ "name": "partial",
722
+ "type": {
723
+ "kind": "struct",
724
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
725
+ "fields": [
726
+ {
727
+ "name": "note_hash_tree",
728
+ "type": {
729
+ "kind": "struct",
730
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
731
+ "fields": [
732
+ { "name": "root", "type": { "kind": "field" } },
733
+ {
734
+ "name": "next_available_leaf_index",
735
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
736
+ }
737
+ ]
738
+ }
739
+ },
740
+ {
741
+ "name": "nullifier_tree",
742
+ "type": {
743
+ "kind": "struct",
744
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
745
+ "fields": [
746
+ { "name": "root", "type": { "kind": "field" } },
747
+ {
748
+ "name": "next_available_leaf_index",
749
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
750
+ }
751
+ ]
752
+ }
753
+ },
754
+ {
755
+ "name": "contract_tree",
756
+ "type": {
757
+ "kind": "struct",
758
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
759
+ "fields": [
760
+ { "name": "root", "type": { "kind": "field" } },
761
+ {
762
+ "name": "next_available_leaf_index",
763
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
764
+ }
765
+ ]
766
+ }
767
+ },
768
+ {
769
+ "name": "public_data_tree",
770
+ "type": {
771
+ "kind": "struct",
772
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
773
+ "fields": [
774
+ { "name": "root", "type": { "kind": "field" } },
775
+ {
776
+ "name": "next_available_leaf_index",
777
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
778
+ }
779
+ ]
780
+ }
781
+ }
782
+ ]
783
+ }
784
+ }
785
+ ]
786
+ }
787
+ },
788
+ {
789
+ "name": "global_variables",
790
+ "type": {
791
+ "kind": "struct",
792
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
793
+ "fields": [
794
+ { "name": "chain_id", "type": { "kind": "field" } },
795
+ { "name": "version", "type": { "kind": "field" } },
796
+ { "name": "block_number", "type": { "kind": "field" } },
797
+ { "name": "timestamp", "type": { "kind": "field" } },
798
+ {
799
+ "name": "coinbase",
800
+ "type": {
801
+ "kind": "struct",
802
+ "path": "aztec::protocol_types::address::EthAddress",
803
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
804
+ }
805
+ },
806
+ {
807
+ "name": "fee_recipient",
808
+ "type": {
809
+ "kind": "struct",
810
+ "path": "aztec::protocol_types::address::AztecAddress",
811
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
812
+ }
813
+ }
814
+ ]
815
+ }
816
+ }
817
+ ]
818
+ }
819
+ },
820
+ {
821
+ "name": "contract_deployment_data",
822
+ "type": {
823
+ "kind": "struct",
824
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
825
+ "fields": [
826
+ {
827
+ "name": "public_key",
828
+ "type": {
829
+ "kind": "struct",
830
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
831
+ "fields": [
832
+ { "name": "x", "type": { "kind": "field" } },
833
+ { "name": "y", "type": { "kind": "field" } }
834
+ ]
835
+ }
836
+ },
837
+ { "name": "initialization_hash", "type": { "kind": "field" } },
838
+ {
839
+ "name": "contract_class_id",
840
+ "type": {
841
+ "kind": "struct",
842
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
843
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
844
+ }
845
+ },
846
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
847
+ {
848
+ "name": "portal_contract_address",
849
+ "type": {
850
+ "kind": "struct",
851
+ "path": "aztec::protocol_types::address::EthAddress",
852
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
853
+ }
854
+ }
855
+ ]
856
+ }
857
+ },
858
+ {
859
+ "name": "private_global_variables",
860
+ "type": {
861
+ "kind": "struct",
862
+ "path": "aztec::abi::PrivateGlobalVariables",
863
+ "fields": [
864
+ { "name": "chain_id", "type": { "kind": "field" } },
865
+ { "name": "version", "type": { "kind": "field" } }
866
+ ]
867
+ }
868
+ }
869
+ ]
870
+ },
871
+ "visibility": "private"
872
+ },
873
+ {
874
+ "name": "contract_class_id",
875
+ "type": {
876
+ "kind": "struct",
877
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
878
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
879
+ },
880
+ "visibility": "private"
881
+ },
882
+ { "name": "artifact_metadata_hash", "type": { "kind": "field" }, "visibility": "private" },
883
+ { "name": "private_functions_artifact_tree_root", "type": { "kind": "field" }, "visibility": "private" },
884
+ {
885
+ "name": "artifact_function_tree_sibling_path",
886
+ "type": { "kind": "array", "length": 5, "type": { "kind": "field" } },
887
+ "visibility": "private"
888
+ },
889
+ {
890
+ "name": "function_data",
891
+ "type": {
892
+ "kind": "struct",
893
+ "path": "events::unconstrained_function_broadcasted::UnconstrainedFunction",
894
+ "fields": [
895
+ {
896
+ "name": "selector",
897
+ "type": {
898
+ "kind": "struct",
899
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
900
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
901
+ }
902
+ },
903
+ { "name": "metadata_hash", "type": { "kind": "field" } },
904
+ { "name": "bytecode", "type": { "kind": "array", "length": 500, "type": { "kind": "field" } } }
905
+ ]
906
+ },
907
+ "visibility": "private"
908
+ }
909
+ ],
910
+ "param_witnesses": {
911
+ "artifact_function_tree_sibling_path": [{ "start": 39, "end": 44 }],
912
+ "artifact_metadata_hash": [{ "start": 37, "end": 38 }],
913
+ "contract_class_id": [{ "start": 36, "end": 37 }],
914
+ "function_data": [{ "start": 44, "end": 546 }],
915
+ "inputs": [{ "start": 0, "end": 36 }],
916
+ "private_functions_artifact_tree_root": [{ "start": 38, "end": 39 }]
917
+ },
918
+ "return_type": {
919
+ "abi_type": {
920
+ "kind": "struct",
921
+ "path": "aztec::protocol_types::abis::private_circuit_public_inputs::PrivateCircuitPublicInputs",
922
+ "fields": [
923
+ {
924
+ "name": "call_context",
925
+ "type": {
926
+ "kind": "struct",
927
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
928
+ "fields": [
929
+ {
930
+ "name": "msg_sender",
931
+ "type": {
932
+ "kind": "struct",
933
+ "path": "aztec::protocol_types::address::AztecAddress",
934
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
935
+ }
936
+ },
937
+ {
938
+ "name": "storage_contract_address",
939
+ "type": {
940
+ "kind": "struct",
941
+ "path": "aztec::protocol_types::address::AztecAddress",
942
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
943
+ }
944
+ },
945
+ {
946
+ "name": "portal_contract_address",
947
+ "type": {
948
+ "kind": "struct",
949
+ "path": "aztec::protocol_types::address::EthAddress",
950
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
951
+ }
952
+ },
953
+ {
954
+ "name": "function_selector",
955
+ "type": {
956
+ "kind": "struct",
957
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
958
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
959
+ }
960
+ },
961
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
962
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
963
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
964
+ {
965
+ "name": "start_side_effect_counter",
966
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
967
+ }
968
+ ]
969
+ }
970
+ },
971
+ { "name": "args_hash", "type": { "kind": "field" } },
972
+ { "name": "return_values", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } },
973
+ { "name": "meta_hwm", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
974
+ {
975
+ "name": "read_requests",
976
+ "type": {
977
+ "kind": "array",
978
+ "length": 32,
979
+ "type": {
980
+ "kind": "struct",
981
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
982
+ "fields": [
983
+ { "name": "value", "type": { "kind": "field" } },
984
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
985
+ ]
986
+ }
987
+ }
988
+ },
989
+ {
990
+ "name": "nullifier_key_validation_requests",
991
+ "type": {
992
+ "kind": "array",
993
+ "length": 1,
994
+ "type": {
995
+ "kind": "struct",
996
+ "path": "aztec::protocol_types::abis::nullifier_key_validation_request::NullifierKeyValidationRequest",
997
+ "fields": [
998
+ {
999
+ "name": "public_key",
1000
+ "type": {
1001
+ "kind": "struct",
1002
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
1003
+ "fields": [
1004
+ { "name": "x", "type": { "kind": "field" } },
1005
+ { "name": "y", "type": { "kind": "field" } }
1006
+ ]
1007
+ }
1008
+ },
1009
+ {
1010
+ "name": "secret_key",
1011
+ "type": {
1012
+ "kind": "struct",
1013
+ "path": "aztec::protocol_types::grumpkin_private_key::GrumpkinPrivateKey",
1014
+ "fields": [
1015
+ { "name": "high", "type": { "kind": "field" } },
1016
+ { "name": "low", "type": { "kind": "field" } }
1017
+ ]
1018
+ }
1019
+ }
1020
+ ]
1021
+ }
1022
+ }
1023
+ },
1024
+ {
1025
+ "name": "new_commitments",
1026
+ "type": {
1027
+ "kind": "array",
1028
+ "length": 16,
1029
+ "type": {
1030
+ "kind": "struct",
1031
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
1032
+ "fields": [
1033
+ { "name": "value", "type": { "kind": "field" } },
1034
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1035
+ ]
1036
+ }
1037
+ }
1038
+ },
1039
+ {
1040
+ "name": "new_nullifiers",
1041
+ "type": {
1042
+ "kind": "array",
1043
+ "length": 16,
1044
+ "type": {
1045
+ "kind": "struct",
1046
+ "path": "aztec::protocol_types::abis::side_effect::SideEffectLinkedToNoteHash",
1047
+ "fields": [
1048
+ { "name": "value", "type": { "kind": "field" } },
1049
+ { "name": "note_hash", "type": { "kind": "field" } },
1050
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1051
+ ]
1052
+ }
1053
+ }
1054
+ },
1055
+ {
1056
+ "name": "private_call_stack_hashes",
1057
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
1058
+ },
1059
+ {
1060
+ "name": "public_call_stack_hashes",
1061
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
1062
+ },
1063
+ { "name": "new_l2_to_l1_msgs", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1064
+ { "name": "end_side_effect_counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
1065
+ { "name": "encrypted_logs_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1066
+ {
1067
+ "name": "unencrypted_logs_hash",
1068
+ "type": { "kind": "array", "length": 2, "type": { "kind": "field" } }
1069
+ },
1070
+ { "name": "encrypted_log_preimages_length", "type": { "kind": "field" } },
1071
+ { "name": "unencrypted_log_preimages_length", "type": { "kind": "field" } },
1072
+ {
1073
+ "name": "historical_header",
1074
+ "type": {
1075
+ "kind": "struct",
1076
+ "path": "aztec::protocol_types::header::Header",
1077
+ "fields": [
1078
+ {
1079
+ "name": "last_archive",
1080
+ "type": {
1081
+ "kind": "struct",
1082
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1083
+ "fields": [
1084
+ { "name": "root", "type": { "kind": "field" } },
1085
+ {
1086
+ "name": "next_available_leaf_index",
1087
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1088
+ }
1089
+ ]
1090
+ }
1091
+ },
1092
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1093
+ {
1094
+ "name": "state",
1095
+ "type": {
1096
+ "kind": "struct",
1097
+ "path": "aztec::protocol_types::state_reference::StateReference",
1098
+ "fields": [
1099
+ {
1100
+ "name": "l1_to_l2_message_tree",
1101
+ "type": {
1102
+ "kind": "struct",
1103
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1104
+ "fields": [
1105
+ { "name": "root", "type": { "kind": "field" } },
1106
+ {
1107
+ "name": "next_available_leaf_index",
1108
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1109
+ }
1110
+ ]
1111
+ }
1112
+ },
1113
+ {
1114
+ "name": "partial",
1115
+ "type": {
1116
+ "kind": "struct",
1117
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
1118
+ "fields": [
1119
+ {
1120
+ "name": "note_hash_tree",
1121
+ "type": {
1122
+ "kind": "struct",
1123
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1124
+ "fields": [
1125
+ { "name": "root", "type": { "kind": "field" } },
1126
+ {
1127
+ "name": "next_available_leaf_index",
1128
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1129
+ }
1130
+ ]
1131
+ }
1132
+ },
1133
+ {
1134
+ "name": "nullifier_tree",
1135
+ "type": {
1136
+ "kind": "struct",
1137
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1138
+ "fields": [
1139
+ { "name": "root", "type": { "kind": "field" } },
1140
+ {
1141
+ "name": "next_available_leaf_index",
1142
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1143
+ }
1144
+ ]
1145
+ }
1146
+ },
1147
+ {
1148
+ "name": "contract_tree",
1149
+ "type": {
1150
+ "kind": "struct",
1151
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1152
+ "fields": [
1153
+ { "name": "root", "type": { "kind": "field" } },
1154
+ {
1155
+ "name": "next_available_leaf_index",
1156
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1157
+ }
1158
+ ]
1159
+ }
1160
+ },
1161
+ {
1162
+ "name": "public_data_tree",
1163
+ "type": {
1164
+ "kind": "struct",
1165
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1166
+ "fields": [
1167
+ { "name": "root", "type": { "kind": "field" } },
1168
+ {
1169
+ "name": "next_available_leaf_index",
1170
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1171
+ }
1172
+ ]
1173
+ }
1174
+ }
1175
+ ]
1176
+ }
1177
+ }
1178
+ ]
1179
+ }
1180
+ },
1181
+ {
1182
+ "name": "global_variables",
1183
+ "type": {
1184
+ "kind": "struct",
1185
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
1186
+ "fields": [
1187
+ { "name": "chain_id", "type": { "kind": "field" } },
1188
+ { "name": "version", "type": { "kind": "field" } },
1189
+ { "name": "block_number", "type": { "kind": "field" } },
1190
+ { "name": "timestamp", "type": { "kind": "field" } },
1191
+ {
1192
+ "name": "coinbase",
1193
+ "type": {
1194
+ "kind": "struct",
1195
+ "path": "aztec::protocol_types::address::EthAddress",
1196
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1197
+ }
1198
+ },
1199
+ {
1200
+ "name": "fee_recipient",
1201
+ "type": {
1202
+ "kind": "struct",
1203
+ "path": "aztec::protocol_types::address::AztecAddress",
1204
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1205
+ }
1206
+ }
1207
+ ]
1208
+ }
1209
+ }
1210
+ ]
1211
+ }
1212
+ },
1213
+ {
1214
+ "name": "contract_deployment_data",
1215
+ "type": {
1216
+ "kind": "struct",
1217
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
1218
+ "fields": [
1219
+ {
1220
+ "name": "public_key",
1221
+ "type": {
1222
+ "kind": "struct",
1223
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
1224
+ "fields": [
1225
+ { "name": "x", "type": { "kind": "field" } },
1226
+ { "name": "y", "type": { "kind": "field" } }
1227
+ ]
1228
+ }
1229
+ },
1230
+ { "name": "initialization_hash", "type": { "kind": "field" } },
1231
+ {
1232
+ "name": "contract_class_id",
1233
+ "type": {
1234
+ "kind": "struct",
1235
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
1236
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1237
+ }
1238
+ },
1239
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
1240
+ {
1241
+ "name": "portal_contract_address",
1242
+ "type": {
1243
+ "kind": "struct",
1244
+ "path": "aztec::protocol_types::address::EthAddress",
1245
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1246
+ }
1247
+ }
1248
+ ]
1249
+ }
1250
+ },
1251
+ { "name": "chain_id", "type": { "kind": "field" } },
1252
+ { "name": "version", "type": { "kind": "field" } }
1253
+ ]
1254
+ },
1255
+ "visibility": "public"
1256
+ },
1257
+ "return_witnesses": [
1258
+ 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587,
1259
+ 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609,
1260
+ 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631,
1261
+ 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653,
1262
+ 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675,
1263
+ 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697,
1264
+ 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719,
1265
+ 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741,
1266
+ 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763,
1267
+ 764, 765, 766, 767, 768, 769, 770, 771, 772
1268
+ ]
1269
+ },
1270
+ "bytecode": "H4sIAAAAAAAA/+2ddVRb675FIUhb6u566ppACKHu7u4tlrq7u7u7u7u7u7u7u3v71nfuj9ccDnfcP97OHWeN7zHGHBNI2cy1kUKAxNPDze2V278e3IEJ4FluaZye9pTHw5/2ivC0d4Sno0R4+WgRno4Z4enYEZ6OG+Hp+BGeThjh6exOT0eVx9VDevATZBBnFGcSZxZnEWcVZxNnF+cQ5xTnEpvFFrGv2E9sFfuLbeIAsV0cKM4tziPOK84nzi8uIC4oLiQuLC7i1J/O9PfzUlQuLyYuLi4hLikuJS4tLiMuKy4nLi+uIK4oriSuLK4iriquJq4uriGuKa4lri2uI64rrieuL24gbigOEgeLQ5zOyx+RnJdQuTxM7BA3EjcWNxE3FTcTNxe3ELcUtxK3FrcRtxW3E7cXdxB3FHcSdxZ3EXcVdxN3F/cQ9xT3EvcW9xH3FfdzOi/pIzkv/eXyAeKB4kHiweIh4qHiYeLh4hHikeJR4tHiMeKx4nHi8eIJ4oniSeLJ4iniqeJp4uniGeKZ4lni2eI54rnieU7nJUMk52W+XL5AvFC8SLxYvES8VLxMvFy8QrxSvEq8WrxGvFa8TrxevEG8UbxJvFm8RbxVvE28XbxDvFO8S7xbvEe8V7zP6bxkjOS87JfLD4gPig+JD4uPiI+Kj4mPi0+IT4pPiU+Lz4jPis+Jz4sviC+KL4kvi6+Ir4qvia+Lb4hvim+Jb4vviO+K7zmdl0yRnJf7cvkD8UPxI/Fj8RPxU/Ez8XPxC/FL8Svxa/Eb8VvxO/F78QfxR/En8WfxF/FX8Tfxd/EPcTi/xGqwsrvYJPZw/31eMkdyXjzlci+xtziKOKo4mthHHF0cQxxTHEscWxxHHFccTxxfnECcUJxInFicRJxUnEycXJxCnFKcSpxanEacVpxO/IfTeckSyXlJL5dnEGcUZxJnFmcRZxVnCz+uOIc4pziX2Cy2iH3FfmKr2F9sEweI7eJAcW5xHnFecT5xfnEBcUFxIXFhcRGn85I1sq9f5PJi4uLiEuKS4lLi0uIy4rLicuLy4griiuJK4sriKuKq4mri6uIa4priWuLa4jriuuJ64vriBuKG4iBxsDjE6bxki+zrF7k8TOwQNxI3FjcRNxU3EzcXtxC3FLcStxa3EbcVtxO3F3cQdxR3EncWdxF3FXcTdxf3EPcU9xL3FvcR9xX3czov2SP7+kUuHyAeKB4kHiweIh4qHiYeLh4hHikeJR4tHiMeKx4nHi+eIJ4oniSeLJ4iniqeJp4uniGeKZ4lni2eI54rnud0XnJE9vWLXL5AvFC8SLxYvES8VLxMvFy8QrxSvEq8WrxGvFa8TrxevEG8UbxJvFm8RbxVvE28XbxDvFO8S7xbvEe8V7zP6bzkjOzrF7n8gPig+JD4sPiI+Kj4mPi4+IT4pPiU+LT4jPis+Jz4vPiC+KL4kviy+Ir4qvia+Lr4hvim+Jb4tviO+K74ntN5yRXZ1y9y+QPxQ/Ej8WPxE/FT8TPxc/EL8UvxK/Fr8RvxW/E78XvxB/FH8SfxZ/EX8VfxN/F38Q/xT/EvsboyQdldbBJ7mH6fF7PJ7S8P7uKCYj+zzWoNC/ANs/hZgsy+gcF2f7PVP9hmt9gt/nb/UF+7n1+Y3WoPCAwODDAHWqx+YRaHf6Cfw/yvB4vp97HM/8eHiG8/T9nhJfYWRxFHFUcT+4iji2OIY4pjiWOL44jjiuOJ44sTiBOKE4kTi5OIk4qTiZOLU4hTilOJU4vTiNOKLRGs3n6+kbxfp5PL/xCnF2cQZxRnEmcWZxFnFWcLfz3iHOKc4lxis9j333T+t63Oi5/pX9f7mZzerzO4Rf5Q0JD3T6ufa45rC3HRcS2uOW6AH9dx/f1ddH7DXHRcV72fObjOg8vez6wuOq6vi86viz6ObYEuOq6rPi5c9XHsovcHq801xw34/89nfz646uPYZR8XZJ9/rS76fOayz5OuOr+u+vzrqvdfV339wPb1pKvOr8v+H1Lfw/xyd4v0IeLrCAsIctgtNpufv9Vmc1h87f42e1hosNkaEujA9/FWhy3EHuAIDjRbzI7QYIcjyGYP9gsN/N/Pbe6Gtpst6Y07ltlVjRkIGjMSNGYiaMxM0JiFoDErQWM2gsbsBI05CBpzEjTmImg0EzRaCBp9CRr9CBqtBI3+BI02gsYAgkY7QWMgQWNugsY8BI15CRrzETTmJ2gsQNBYkKCxEEFjYYLGIgSNRQkaixE0FidoLEHQWJKgsRRBY2mCxjIEjWUJGssRNJYnaKxA0FiRoLESQWNlgsYqBI1VCRqrETRWJ2isQdBYk6CxFkFjbYLGOgSNdQka6xE01idobEDQ2JCgMYigMZigMYSgMZSgMYyg0UHQ2IigsTFBYxOCxqYEjc0IGpsTNLYgaGxJ0NiKoLE1QWMbgsa2BI3tCBrbEzR2IGjsSNDYiaCxM0FjF4LGrgSN3QgauxM09iBo7EnQ2IugsTdBYx+Cxr4Ejf0IGvsTNA4gaBxI0DiIoHEwQeMQgsahBI3DCBqHEzSOIGgcSdA4iqBxNEHjGILGsQSN4wgaxxM0TiBonEjQOImgcTJB4xSCxqkEjdMIGqcTNM4gaJxJ0DiLoHE2QeMcgsa5BI3zCBrnEzQuIGhcSNC4iKBxMUHjEoLGpQSNywgalxM0riBoXEnQuIqgcTVB4xqCxrUEjesIGtcTNG4gaNxI0LiJoHEzQeMWgsatBI3bCBq3EzTuIGjcSdC4i6BxN0HjHoLGvQSN+wga9xM0HiBoPEjQeIig8TBB4xGCxqMEjccIGo8TNJ4gaDxJ0HiKoPE0QeMZgsazBI3nCBrPEzReIGi8SNB4iaDxMkHjFYLGqwSN1wgarxM03iBovEnQeIug8TZB4x2CxrsEjfcIGu8TND4gaHxI0PiIoPExQeMTgsanBI3PCBqfEzS+IGh8SdD4iqDxNUHjG4LGtwSN7wga3xM0fiBo/EjQ+Img8TNB4xeCxq8Ejd8IGr8TNP4gaPxJ0PiLoFEd8J/e6E7QaCJo9CBo9CRo9CJo9CZojELQGJWgMRpBow9BY3SCxhgEjTEJGmMRNMYmaIxD0BiXoDEeQWN8gsYEBI0JCRoTETQmJmhMQtCYlKAxGUFjcoLGFASNKQkaUxE0piZoTEPQmJagMR1B4x8EjekJGjMQNGYkaMxE0JiZoDELQWNWgsZsBI3ZCRpzEDTmJGjMRdBoJmi0EDT6EjT6ETRaCRr9CRptBI0BBI12gsZAgsbcBI15CBrzEjTmI2jMT9BYgKCxIEFjIYLGwgSNRQgaixI0FiNoLE7QWIKgsSRBYymCxtIEjWUIGssSNJYjaCxP0FiBoLEiQWMlgsbKBI1VCBqrEjRWI2isTtBYg6CxJkFjLYLG2gSNdQga6xI01iNorE/Q2ICgsSFBYxBBYzBBYwhBYyhBYxhBo4OgsRFBY2OCxiYEjU0JGpsRNDYnaGxB0NiSoLEVQWNrgsY2BI1tCRrbETS2J2jsQNDYkaCxE0FjZ4LGLgSNXQkauxE0dido7EHQ2JOgsRdBY2+Cxj4EjX0JGvsRNPYnaBxA0DiQoHEQQeNggsYhBI1DCRqHETQOJ2gcQdA4kqBxFEHjaILGMQSNYwkaxxE0jidonEDQOJGgcRJB42SCxikEjVMJGqcRNE4naJxB0DiToHEWQeNsgsY5BI1zCRrnETTOJ2hcQNC4kKBxEUHjYoLGJQSNSwkalxE0LidoXEHQuJKgcRVB42qCxjUEjWsJGtcRNK4naNxA0LiRoHETQeNmgsYtBI1bCRq3ETRuJ2jcQdC4k6BxF0HjboLGPQSNewka9xE07idoPEDQeJCg8RBB42GCxiMEjUcJGo8RNB4naDxB0HiSoPEUQeNpgsYzBI1nCRrPETSeJ2i8QNB4kaDxEkHjZYLGKwSNVwkarxE0XidovEHQeJOg8RZB422CxjsEjXcJGu8RNN4naHxA0PiQoPERQeNjgsYnBI1PCRqfETQ+J2h8QdD4kqDxFUHja4LGNwSNbwka3xE0vido/EDQ+JGg8RNB42eCxi8EjV8JGr8RNH4naPxB0PiToPEXQaOb6Z/f6E7QaCJo9CBo9CRo9CJo9CZojELQGJWgMRpBow9BY3SCxhgEjTEJGmMRNMYmaIxD0BiXoDEeQWN8gsYEBI0JCRoTETQmJmhMQtCYlKAxGUFjcoLGFASNKQkaUxE0piZoTEPQmNYFjfHEUdx+P6Qxqtnma/VSB/H817HSm9z+8qBep8no12k1m9VxPYw+rrqe6PcUA3t9/dVxvVzQ641jRJVjxVbn3/vv59/bBa/X3en8hx87/Gnv/8Lr9orwur0ivO5obr/f70PDgjs0KtuqUY0m7RtXbBvmaNLZ3emlw1/C+Xkmp+eFP57B6Xnh7yG/3P/+752Pk+HfPD/85dQZCn/r/XQz9iM//KPd02lj+OvycLo8rjiWXO7c+edDQWOiLB5uf32XcXM6OUa+Hnc34z+FuuB8+Ls7vSP8p9cRFhDksFtsNj9/q83msPja/W32sNBgszUk0BFk9rU6bCH2AEdwoNlidoQGOxxBNnuwX2hgoKvOcXq3f/5/pRkIGjMSNGYiaMxM0JiFoDErQWM2gsbsBI05CBpzEjTmImg0EzRaCBp9CRr9CBqtBI3+BI02gsYAgkY7QWMgQWNugsY8BI15CRrzETTmJ2gsQNBYkKCxEEFjYYLGIgSNRQkaixE0FidoLEHQWJKgsRRBY2mCxjIEjWUJGssRNJYnaKxA0FiRoLESQWNlgsYqBI1VCRqrETRWJ2isQdBYk6CxFkFjbYLGOgSNdQka6xE01idobEDQ2JCgMYigMZigMYSgMZSgMYyg0UHQ2IigsTFBYxOCxqYEjc0IGpsTNLYgaGxJ0NiKoLE1QWMbgsa2BI3tCBrbEzR2IGjsSNDYiaCxM0FjF4LGrgSN3QgauxM09iBo7EnQ2IugsTdBYx+Cxr4Ejf0IGvsTNA4gaBxI0DiIoHEwQeMQgsahBI3DCBqHEzSOIGgcSdA4iqBxNEHjGILGsQSN4wgaxxM0TiBonEjQOImgcTJB4xSCxqkEjdMIGqcTNM4gaJxJ0DiLoHE2QeMcgsa5BI3zCBrnEzQuIGhcSNC4iKBxMUHjEoLGpQSNywgalxM0riBoXEnQuIqgcTVB4xqCxrUEjesIGtcTNG4gaNxI0LiJoHEzQeMWgsatBI3bCBq3EzTuIGjcSdC4i6BxN0HjHoLGvQSN+wga9xM0HiBoPEjQeIig8TBB4xGCxqMEjccIGo8TNJ4gaDxJ0HiKoPE0QeMZgsazBI3nCBrPEzReIGi8SNB4iaDxMkHjFYLGqwSN1wgarxM03iBovEnQeIug8TZB4x2CxrsEjfcIGu8TND4gaHxI0PiIoPExQeMTgsanBI3PCBqfEzS+IGh8SdD4iqDxNUHjG4LGtwSN7wga3xM0fiBo/EjQ+Img8TNB4xeCxq8Ejd8IGr8TNP4gaPxJ0PiLoFEd8J/e6E7QaCJo9CBo9CRo9CJo9CZojELQGJWgMRpBow9BY3SCxhgEjTEJGmMRNMYmaIxD0BiXoDEeQWN8gsYEBI0JCRoTETQmJmhMQtCYlKAxGUFjcoLGFASNKQkaUxE0piZoTEPQmJagMR1B4x8EjekJGjMQNGYkaMxE0JiZoDELQWNWgsZsBI3ZCRpzEDTmJGjMRdBoJmi0EDT6EjT6ETRaCRr9CRptBI0BBI12gsZAgsbcBI15CBrzEjTmI2jMT9BYgKCxIEFjIYLGwgSNRQgaixI0FiNoLE7QWIKgsSRBYymCxtIEjWUIGssSNJYjaCxP0FiBoLEiQWMlgsbKBI1VCBqrEjRWI2isTtBYg6CxJkFjLYLG2gSNdQga6xI01iNorE/Q2ICgsSFBYxBBYzBBYwhBYyhBYxhBo4OgsRFBY2OCxiYEjU0JGpsRNDYnaGxB0NiSoLEVQWNrgsY2BI1tCRrbETS2J2jsQNDYkaCxE0FjZ4LGLgSNXQkauxE0dido7EHQ2JOgsRdBY2+Cxj4EjX0JGvsRNPYnaBxA0DiQoHEQQeNggsYhBI1DCRqHETQOJ2gcQdA4kqBxFEHjaILGMQSNYwkaxxE0jidonEDQOJGgcRJB42SCxikEjVMJGqcRNE4naJxB0DiToHEWQeNsgsY5BI1zCRrnETTOJ2hcQNC4kKBxEUHjYoLGJQSNSwkalxE0LidoXEHQuJKgcRVB42qCxjUEjWsJGtcRNK4naNxA0LiRoHETQeNmgsYtBI1bCRq3ETRuJ2jcQdC4k6BxF0HjboLGPQSNewka9xE07idoPEDQeJCg8RBB42GCxiMEjUcJGo8RNB4naDxB0HiSoPEUQeNpgsYzBI1nCRrPETSeJ2i8QNB4kaDxEkHjZYLGKwSNVwkarxE0XidovEHQeJOg8RZB422CxjsEjXcJGu8RNN4naHxA0PiQoPERQeNjgsYnBI1PCRqfETQ+J2h8QdD4kqDxFUHja4LGNwSNbwka3xE0vido/EDQ+JGg8RNB42eCxi8EjV8JGr8RNH4naPxB0PiToPEXQaOb6Z/f6E7QaCJo9CBo9CRo9CJo9CZojELQGJWgMRpBow9BY3SCxhgEjTEJGmMRNMYmaIxD0BiXoDEeQWN8gsYEBI0JCRoTETQmJmhMQtCYlKAxGUFjcoLGFASNKQkaUxE0piZoTEPQmNbARnenRpM8bsUj/iC7PB3F7fdDGqN22Mx+XuognvL6TW5/efBx6gn/N+p5HuG9nr/bPI1us5p91XG9jD6uuh4Mx0jk5sJ2G67Hck37n+ckivHH/fN9MKocy1uOHf56vJzOVbTwt72Bbw/n1+0uhL+e8Od7OD2e0O33QzSnx01OneohumyJ+O+cH/eM8DIxnC73jmR3GoN3R/y4jhKhUfX5yOOxgbv337d6u6jNK0KbV4TzohrjyeNhLZq0r9YyrGVI2y6t24eFlm3VyN3ppcNfwvl5Hk6PmyJ5vrvb77fOL/e/v0z4v3E+Zvi/c9FbzNfH7a9vMbcIrz/89YU/hDeol4lqfI/FRTv//F/Tx2lHxPfKGE6XO3+U+Lhgo/Nng/Bjhz/tE8nr/ulm7HmI/h/OQ/RIWqL/l8+Dc0O0CK0+TpdHdXqeKcIW5//Znf99xPdv437M7PRgcsGxw4/lZ7ZZrWEBvmEWP0uQ2Tcw2O5vtvoH2+wWu8Xf7h/qa/fzC7Nb7QGBwYEB5kCL1S/M4vAP9HPIwWwu+HLUFZvdDdwcQLLZZOBmO8lmDwM3B5Js9jRwc26SzV4Gbs5DstnbwM15STZHMXBzPpLNfibjNucn2WwxcHMBDTcX1HBzIQ03F9ZwcxENNxfVcHMxDTcX13BzCQ03l9RwcykNN5fWcHMZDTeX1XBzOQ03l9dwcwUNN1fUcHMlDTdX1nBzFQ03V9VwczUNN1fXcHMNDTfX1HBzLQ0319Zwcx0NN9fVcHM9DTfX13BzAw03N9Rwc5CGm4M13Byi4eZQDTeHabjZoeHmRhpubqzh5iYabm6q4eZmGm5uruHmFhpubqnh5lYabm6t4eY2Gm5uq+Hmdhpubq/h5g4abu6o4eZOGm7urOHmLhpu7qrh5m4abu6u4eYeGm7uqeHmXhpu7q3h5j4abu6r4eZ+Gm7ur+HmARpuHqjh5kEabh6s4eYhGm4equHmYRpuHq7h5hEabh6p4eZRGm4ereHmMRpuHqvh5nEabh6v4eYJGm6eqOHmSRpunqzh5ikabp6q4eZpGm6eruHmGRpunqnh5lkabp6t4eY5Gm6eq+HmeRpunq/h5gUabl6o4eZFGm5erOHmJRpuXqrh5mUabl6u4eYVGm5eqeHmVRpuXq3h5jUabl6r4eZ1Gm5er+HmDRpu3qjh5k0abt6s4eYtGm7equHmbRpu3q7h5h0abt6p4eZdGm7ereHmPRpu3qvh5n0abt6v4eYDGm4+qOHmQxpuPqzh5iMabj6q4eZjGm4+ruHmExpuPqnh5lMabj6t4eYzGm4+q+HmcxpuPq/h5gsabr6o4eZLGm6+rOHmKxpuvqrh5msabr6u4eYbGm6+qeHmWxpuvq3h5jskm6O4Gbf5roZv53sabr6v4eYHGm5+qOHmRxpufkyyOaqbcZufkGyOZuDmpySbfQzc/Ixkc3QDNz8n2RzDwM0vSDbHNHDzS5LNsQzc/Ipkc2wDN78m2RzHwM1vSDbHNXDzW5LN8Qzc/I5kc3wDN78n2ZzAwM0fSDYnNHDzR5LNiQzc/Ilkc2IDN38m2ZzEwM1fSDYnNXDzV5LNyQzc/I1kc3IDN38n2ZzCwM0/SDanNHDzT5LNqQzc/Itkc2oDN7t5cGxOY+Bmd5LNaQ3cbCLZnM7AzR4km/8wcLOngZvdcQwPOVY60+/97nIO1GWewAt4A/X7EurnUOrnMurnFOp6e3U9trpeV13Pqa73U9eDqeuF1PUk6noD9X20+r5SfZ+lvu9QX4err0vV12nq6xb1/7j6f019nlef99IA9XGh3k/UeUsPMoCMIBPIDLKArCAbyA5ygJwglzonwAJ81bkGVuAPbCAA2EEgyA3ygLwgH8gPCsjbqRAoDIqAoqAYKA5KgJKgFCgNyoCyoBwoDyqAiqASqAyqgKqgGqgOaoCaoBaoDeqAuqAeqA8agIYgCASDEBAKwoADNAKNQRPQFDQDzUEL0BK0Aq1BG9AWtAPtQQfQEXQCnUEX0BV0A91BD9AT9AK9QR/QF/QD/cEAMBAMAoPBEDAUDAPDwQgwEowCo8EYMBaMA+PBBDARTAKTwRQwFUwD08EMMBPMArPBHDAXzAPzwQKwECwCi8ESsBQsA8vBCrASrAKrwRqwFqwD68EGsBFsApvBFrAVbAPbwQ6wE+wCu8EesBfsA/vBAXAQHAKHwRFwFBwDx8EJcBKcAqfBGXAWnAPnwQVwEVwCl8EVcBVcA9fBDXAT3AK3wR1wF9wD98ED8BA8Ao/BE/AUPAPPwQvwErwCr8Eb8Ba8A+/BB/ARfAKfwRfwFXwD38EP8BP8AuqD3x2YgAfwBF7AG0QBUUE04AOigxggJogFYoM4IC6IB+KDBCAhSAQSgyQgKUgGkoMUICVIBVKDNCAtSAf+AOlBBpARZAKZQRaQFWQD2UEOkBPkAuqTmgX4Aj9gBf7ABgKAHQSC3CAPyAvygfygACgICoHCoAgoCoqB4qAEKAlKgdKgDCgLyoHyoAKoCCqByqAKqAqqgeqgBqgJaoHaoA6oC+qB+qABaAiCQDAIAaEgDDhAI9AYNAFNQTPQHLQALUEr0Bq0AW1BO9AedAAdQSfQGXQBXUE30B30AD1BL9Ab9AF9QT/QHwwAA8EgMBgMAUPBMDAcjAAjwSgwGowBY8E4MB5MABPBJDAZTAFTwTQwHcwAM8EsMBvMAXPBPDAfLAALwSKwGCwBS8EysBysACvBKrAarAFrwTqwHmwAG8EmsBlsAVvBNrAd7AA7wS6wG+wBe8E+sB8cAAfBIXAYHAFHwTFwHJwAJ8EpcBqcAWfBOXAeXAAXwSVwGVwBV8E1cB3cADfBLXAb3AF3wT1wHzwAD8Ej8Bg8AU/BM/AcvAAvwSvwGrwBb8E78B58AB/BJ/AZfAFfwTfwHfwAP8EvoP7jdwcm4AE8gRfwBlFAVBAN+IDoIAaICWKB2CAOiAvigfggAUgIEoHEIAlICpKB5CAFSAlSgdQgDUjr9LXIKbENzwsAdhAIcoM8IC/IB/KDAur7O1AIFAZFQFFQDBQHJUBJUAqUBmVAWVAOlAcVQEVQCVQGVUBVUA1UBzVATVAL1AZ1QF1QD9QHDUBDEASCQQgIBWHAARqBxqAJaAqageagBWgJWoHWoA1oC9qB9qAD6Ag6gc6gC+gKuoHuoAfoCXqB3qAP6Av6gf5gABgIBoHBYAhQ90ev7p9d3V+5uv9udX/W6v6d1f0djwHq/nDV/cOq+0tV9x+q7k9T3b+kur9Fdf+D6v741P3TqftrU/dfpu7PS92/1Wyg7v9I3R+Qun8cdX8x6v5T1P2JqPvXUPc3oe5/Qd0fgbp9fnV79er229Xtmavb91a3d70GqNtDVrcPrG4vV91+rLo9VXX7our2NtXtT6rbY1S3T6hur0/dfp26PTd1+2a7gbr9K3V7UOr2kdTtBanbz1G3J6NuX0Xd3oi6/Q11exTq9hnU7RWov99Xf8+u/r5b/b2z+vtf9few6u9D1d9Lqr8fVH9Pp/6+TP29lfr7I/X3OOrvU9Tfa6i/X1C/z69+v/02UL//rH4fWP1+rPp9UfX7k+r3CdXv16nfN1O/f6V+H0n9fo76fRX1+xvq9xnUz/fVz7vVz3/Vz0PVzwfVz8vUz4/Uz1PUzxfU9e3q+md1fay6flJdX6euv1LX56jrN9QX7er7X/X9oPr+yNPj98eS2/8Aqs1A5OeOAwA=",
1271
+ "debug_symbols": "1ZfdaoNAEIXfZa5Fdmb2b3yV0gtpUwgEU6p34rs3oW4W6UBgC4W5EuF8+s3uwtEVLte3cTlfpxmGFZBgeFlh/hyn++28jF8LDK6D0/R+u24dfJwvJxgw5a37lUNJaY+iiDzS3ith4kx7mDzXMDr10eijL8/GQPmQf+0A2ay5N2sezJpHs+bJrHk2ay5WzcmZNUez5mY7lMx2KJntUDLboWS2Q8lsh5LZDqV/7NCAsZiHFP9qzmqHcmLZKc6BD/53SK0vzpELJBSeDe1DeQUGpjo0/2j16mFAZHqMw1VM9mF6aaLQtWHYhqkdirkuiGDdqFwWRP8JPGDECubbsNCGxQYMe/2z4skZuWHchulL4qKr++YO+7Zt3w=="
1272
+ },
1273
+ {
1274
+ "name": "broadcast_private_function",
1275
+ "function_type": "Secret",
1276
+ "is_internal": false,
1277
+ "abi": {
1278
+ "parameters": [
1279
+ {
1280
+ "name": "inputs",
1281
+ "type": {
1282
+ "kind": "struct",
1283
+ "path": "aztec::abi::PrivateContextInputs",
1284
+ "fields": [
1285
+ {
1286
+ "name": "call_context",
1287
+ "type": {
1288
+ "kind": "struct",
1289
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
1290
+ "fields": [
1291
+ {
1292
+ "name": "msg_sender",
1293
+ "type": {
1294
+ "kind": "struct",
1295
+ "path": "aztec::protocol_types::address::AztecAddress",
1296
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1297
+ }
1298
+ },
1299
+ {
1300
+ "name": "storage_contract_address",
1301
+ "type": {
1302
+ "kind": "struct",
1303
+ "path": "aztec::protocol_types::address::AztecAddress",
1304
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1305
+ }
1306
+ },
1307
+ {
1308
+ "name": "portal_contract_address",
1309
+ "type": {
1310
+ "kind": "struct",
1311
+ "path": "aztec::protocol_types::address::EthAddress",
1312
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1313
+ }
1314
+ },
1315
+ {
1316
+ "name": "function_selector",
1317
+ "type": {
1318
+ "kind": "struct",
1319
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
1320
+ "fields": [
1321
+ { "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1322
+ ]
1323
+ }
1324
+ },
1325
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
1326
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
1327
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
1328
+ {
1329
+ "name": "start_side_effect_counter",
1330
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1331
+ }
1332
+ ]
1333
+ }
1334
+ },
1335
+ {
1336
+ "name": "historical_header",
1337
+ "type": {
1338
+ "kind": "struct",
1339
+ "path": "aztec::protocol_types::header::Header",
1340
+ "fields": [
1341
+ {
1342
+ "name": "last_archive",
1343
+ "type": {
1344
+ "kind": "struct",
1345
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1346
+ "fields": [
1347
+ { "name": "root", "type": { "kind": "field" } },
1348
+ {
1349
+ "name": "next_available_leaf_index",
1350
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1351
+ }
1352
+ ]
1353
+ }
1354
+ },
1355
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1356
+ {
1357
+ "name": "state",
1358
+ "type": {
1359
+ "kind": "struct",
1360
+ "path": "aztec::protocol_types::state_reference::StateReference",
1361
+ "fields": [
1362
+ {
1363
+ "name": "l1_to_l2_message_tree",
1364
+ "type": {
1365
+ "kind": "struct",
1366
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1367
+ "fields": [
1368
+ { "name": "root", "type": { "kind": "field" } },
1369
+ {
1370
+ "name": "next_available_leaf_index",
1371
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1372
+ }
1373
+ ]
1374
+ }
1375
+ },
1376
+ {
1377
+ "name": "partial",
1378
+ "type": {
1379
+ "kind": "struct",
1380
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
1381
+ "fields": [
1382
+ {
1383
+ "name": "note_hash_tree",
1384
+ "type": {
1385
+ "kind": "struct",
1386
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1387
+ "fields": [
1388
+ { "name": "root", "type": { "kind": "field" } },
1389
+ {
1390
+ "name": "next_available_leaf_index",
1391
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1392
+ }
1393
+ ]
1394
+ }
1395
+ },
1396
+ {
1397
+ "name": "nullifier_tree",
1398
+ "type": {
1399
+ "kind": "struct",
1400
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1401
+ "fields": [
1402
+ { "name": "root", "type": { "kind": "field" } },
1403
+ {
1404
+ "name": "next_available_leaf_index",
1405
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1406
+ }
1407
+ ]
1408
+ }
1409
+ },
1410
+ {
1411
+ "name": "contract_tree",
1412
+ "type": {
1413
+ "kind": "struct",
1414
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1415
+ "fields": [
1416
+ { "name": "root", "type": { "kind": "field" } },
1417
+ {
1418
+ "name": "next_available_leaf_index",
1419
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1420
+ }
1421
+ ]
1422
+ }
1423
+ },
1424
+ {
1425
+ "name": "public_data_tree",
1426
+ "type": {
1427
+ "kind": "struct",
1428
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1429
+ "fields": [
1430
+ { "name": "root", "type": { "kind": "field" } },
1431
+ {
1432
+ "name": "next_available_leaf_index",
1433
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1434
+ }
1435
+ ]
1436
+ }
1437
+ }
1438
+ ]
1439
+ }
1440
+ }
1441
+ ]
1442
+ }
1443
+ },
1444
+ {
1445
+ "name": "global_variables",
1446
+ "type": {
1447
+ "kind": "struct",
1448
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
1449
+ "fields": [
1450
+ { "name": "chain_id", "type": { "kind": "field" } },
1451
+ { "name": "version", "type": { "kind": "field" } },
1452
+ { "name": "block_number", "type": { "kind": "field" } },
1453
+ { "name": "timestamp", "type": { "kind": "field" } },
1454
+ {
1455
+ "name": "coinbase",
1456
+ "type": {
1457
+ "kind": "struct",
1458
+ "path": "aztec::protocol_types::address::EthAddress",
1459
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1460
+ }
1461
+ },
1462
+ {
1463
+ "name": "fee_recipient",
1464
+ "type": {
1465
+ "kind": "struct",
1466
+ "path": "aztec::protocol_types::address::AztecAddress",
1467
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1468
+ }
1469
+ }
1470
+ ]
1471
+ }
1472
+ }
1473
+ ]
1474
+ }
1475
+ },
1476
+ {
1477
+ "name": "contract_deployment_data",
1478
+ "type": {
1479
+ "kind": "struct",
1480
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
1481
+ "fields": [
1482
+ {
1483
+ "name": "public_key",
1484
+ "type": {
1485
+ "kind": "struct",
1486
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
1487
+ "fields": [
1488
+ { "name": "x", "type": { "kind": "field" } },
1489
+ { "name": "y", "type": { "kind": "field" } }
1490
+ ]
1491
+ }
1492
+ },
1493
+ { "name": "initialization_hash", "type": { "kind": "field" } },
1494
+ {
1495
+ "name": "contract_class_id",
1496
+ "type": {
1497
+ "kind": "struct",
1498
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
1499
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1500
+ }
1501
+ },
1502
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
1503
+ {
1504
+ "name": "portal_contract_address",
1505
+ "type": {
1506
+ "kind": "struct",
1507
+ "path": "aztec::protocol_types::address::EthAddress",
1508
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1509
+ }
1510
+ }
1511
+ ]
1512
+ }
1513
+ },
1514
+ {
1515
+ "name": "private_global_variables",
1516
+ "type": {
1517
+ "kind": "struct",
1518
+ "path": "aztec::abi::PrivateGlobalVariables",
1519
+ "fields": [
1520
+ { "name": "chain_id", "type": { "kind": "field" } },
1521
+ { "name": "version", "type": { "kind": "field" } }
1522
+ ]
1523
+ }
1524
+ }
1525
+ ]
1526
+ },
1527
+ "visibility": "private"
1528
+ },
1529
+ {
1530
+ "name": "contract_class_id",
1531
+ "type": {
1532
+ "kind": "struct",
1533
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
1534
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1535
+ },
1536
+ "visibility": "private"
1537
+ },
1538
+ { "name": "artifact_metadata_hash", "type": { "kind": "field" }, "visibility": "private" },
1539
+ {
1540
+ "name": "unconstrained_functions_artifact_tree_root",
1541
+ "type": { "kind": "field" },
1542
+ "visibility": "private"
1543
+ },
1544
+ {
1545
+ "name": "private_function_tree_sibling_path",
1546
+ "type": { "kind": "array", "length": 5, "type": { "kind": "field" } },
1547
+ "visibility": "private"
1548
+ },
1549
+ {
1550
+ "name": "artifact_function_tree_sibling_path",
1551
+ "type": { "kind": "array", "length": 5, "type": { "kind": "field" } },
1552
+ "visibility": "private"
1553
+ },
1554
+ {
1555
+ "name": "function_data",
1556
+ "type": {
1557
+ "kind": "struct",
1558
+ "path": "events::private_function_broadcasted::PrivateFunction",
1559
+ "fields": [
1560
+ {
1561
+ "name": "selector",
1562
+ "type": {
1563
+ "kind": "struct",
1564
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
1565
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
1566
+ }
1567
+ },
1568
+ { "name": "metadata_hash", "type": { "kind": "field" } },
1569
+ { "name": "vk_hash", "type": { "kind": "field" } },
1570
+ { "name": "bytecode", "type": { "kind": "array", "length": 500, "type": { "kind": "field" } } }
1571
+ ]
1572
+ },
1573
+ "visibility": "private"
1574
+ }
1575
+ ],
1576
+ "param_witnesses": {
1577
+ "artifact_function_tree_sibling_path": [{ "start": 44, "end": 49 }],
1578
+ "artifact_metadata_hash": [{ "start": 37, "end": 38 }],
1579
+ "contract_class_id": [{ "start": 36, "end": 37 }],
1580
+ "function_data": [{ "start": 49, "end": 552 }],
1581
+ "inputs": [{ "start": 0, "end": 36 }],
1582
+ "private_function_tree_sibling_path": [{ "start": 39, "end": 44 }],
1583
+ "unconstrained_functions_artifact_tree_root": [{ "start": 38, "end": 39 }]
1584
+ },
1585
+ "return_type": {
1586
+ "abi_type": {
1587
+ "kind": "struct",
1588
+ "path": "aztec::protocol_types::abis::private_circuit_public_inputs::PrivateCircuitPublicInputs",
1589
+ "fields": [
1590
+ {
1591
+ "name": "call_context",
1592
+ "type": {
1593
+ "kind": "struct",
1594
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
1595
+ "fields": [
1596
+ {
1597
+ "name": "msg_sender",
1598
+ "type": {
1599
+ "kind": "struct",
1600
+ "path": "aztec::protocol_types::address::AztecAddress",
1601
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1602
+ }
1603
+ },
1604
+ {
1605
+ "name": "storage_contract_address",
1606
+ "type": {
1607
+ "kind": "struct",
1608
+ "path": "aztec::protocol_types::address::AztecAddress",
1609
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1610
+ }
1611
+ },
1612
+ {
1613
+ "name": "portal_contract_address",
1614
+ "type": {
1615
+ "kind": "struct",
1616
+ "path": "aztec::protocol_types::address::EthAddress",
1617
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1618
+ }
1619
+ },
1620
+ {
1621
+ "name": "function_selector",
1622
+ "type": {
1623
+ "kind": "struct",
1624
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
1625
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
1626
+ }
1627
+ },
1628
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
1629
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
1630
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
1631
+ {
1632
+ "name": "start_side_effect_counter",
1633
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1634
+ }
1635
+ ]
1636
+ }
1637
+ },
1638
+ { "name": "args_hash", "type": { "kind": "field" } },
1639
+ { "name": "return_values", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } },
1640
+ { "name": "meta_hwm", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
1641
+ {
1642
+ "name": "read_requests",
1643
+ "type": {
1644
+ "kind": "array",
1645
+ "length": 32,
1646
+ "type": {
1647
+ "kind": "struct",
1648
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
1649
+ "fields": [
1650
+ { "name": "value", "type": { "kind": "field" } },
1651
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1652
+ ]
1653
+ }
1654
+ }
1655
+ },
1656
+ {
1657
+ "name": "nullifier_key_validation_requests",
1658
+ "type": {
1659
+ "kind": "array",
1660
+ "length": 1,
1661
+ "type": {
1662
+ "kind": "struct",
1663
+ "path": "aztec::protocol_types::abis::nullifier_key_validation_request::NullifierKeyValidationRequest",
1664
+ "fields": [
1665
+ {
1666
+ "name": "public_key",
1667
+ "type": {
1668
+ "kind": "struct",
1669
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
1670
+ "fields": [
1671
+ { "name": "x", "type": { "kind": "field" } },
1672
+ { "name": "y", "type": { "kind": "field" } }
1673
+ ]
1674
+ }
1675
+ },
1676
+ {
1677
+ "name": "secret_key",
1678
+ "type": {
1679
+ "kind": "struct",
1680
+ "path": "aztec::protocol_types::grumpkin_private_key::GrumpkinPrivateKey",
1681
+ "fields": [
1682
+ { "name": "high", "type": { "kind": "field" } },
1683
+ { "name": "low", "type": { "kind": "field" } }
1684
+ ]
1685
+ }
1686
+ }
1687
+ ]
1688
+ }
1689
+ }
1690
+ },
1691
+ {
1692
+ "name": "new_commitments",
1693
+ "type": {
1694
+ "kind": "array",
1695
+ "length": 16,
1696
+ "type": {
1697
+ "kind": "struct",
1698
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
1699
+ "fields": [
1700
+ { "name": "value", "type": { "kind": "field" } },
1701
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1702
+ ]
1703
+ }
1704
+ }
1705
+ },
1706
+ {
1707
+ "name": "new_nullifiers",
1708
+ "type": {
1709
+ "kind": "array",
1710
+ "length": 16,
1711
+ "type": {
1712
+ "kind": "struct",
1713
+ "path": "aztec::protocol_types::abis::side_effect::SideEffectLinkedToNoteHash",
1714
+ "fields": [
1715
+ { "name": "value", "type": { "kind": "field" } },
1716
+ { "name": "note_hash", "type": { "kind": "field" } },
1717
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1718
+ ]
1719
+ }
1720
+ }
1721
+ },
1722
+ {
1723
+ "name": "private_call_stack_hashes",
1724
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
1725
+ },
1726
+ {
1727
+ "name": "public_call_stack_hashes",
1728
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
1729
+ },
1730
+ { "name": "new_l2_to_l1_msgs", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1731
+ { "name": "end_side_effect_counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
1732
+ { "name": "encrypted_logs_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1733
+ {
1734
+ "name": "unencrypted_logs_hash",
1735
+ "type": { "kind": "array", "length": 2, "type": { "kind": "field" } }
1736
+ },
1737
+ { "name": "encrypted_log_preimages_length", "type": { "kind": "field" } },
1738
+ { "name": "unencrypted_log_preimages_length", "type": { "kind": "field" } },
1739
+ {
1740
+ "name": "historical_header",
1741
+ "type": {
1742
+ "kind": "struct",
1743
+ "path": "aztec::protocol_types::header::Header",
1744
+ "fields": [
1745
+ {
1746
+ "name": "last_archive",
1747
+ "type": {
1748
+ "kind": "struct",
1749
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1750
+ "fields": [
1751
+ { "name": "root", "type": { "kind": "field" } },
1752
+ {
1753
+ "name": "next_available_leaf_index",
1754
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1755
+ }
1756
+ ]
1757
+ }
1758
+ },
1759
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
1760
+ {
1761
+ "name": "state",
1762
+ "type": {
1763
+ "kind": "struct",
1764
+ "path": "aztec::protocol_types::state_reference::StateReference",
1765
+ "fields": [
1766
+ {
1767
+ "name": "l1_to_l2_message_tree",
1768
+ "type": {
1769
+ "kind": "struct",
1770
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1771
+ "fields": [
1772
+ { "name": "root", "type": { "kind": "field" } },
1773
+ {
1774
+ "name": "next_available_leaf_index",
1775
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1776
+ }
1777
+ ]
1778
+ }
1779
+ },
1780
+ {
1781
+ "name": "partial",
1782
+ "type": {
1783
+ "kind": "struct",
1784
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
1785
+ "fields": [
1786
+ {
1787
+ "name": "note_hash_tree",
1788
+ "type": {
1789
+ "kind": "struct",
1790
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1791
+ "fields": [
1792
+ { "name": "root", "type": { "kind": "field" } },
1793
+ {
1794
+ "name": "next_available_leaf_index",
1795
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1796
+ }
1797
+ ]
1798
+ }
1799
+ },
1800
+ {
1801
+ "name": "nullifier_tree",
1802
+ "type": {
1803
+ "kind": "struct",
1804
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1805
+ "fields": [
1806
+ { "name": "root", "type": { "kind": "field" } },
1807
+ {
1808
+ "name": "next_available_leaf_index",
1809
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1810
+ }
1811
+ ]
1812
+ }
1813
+ },
1814
+ {
1815
+ "name": "contract_tree",
1816
+ "type": {
1817
+ "kind": "struct",
1818
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1819
+ "fields": [
1820
+ { "name": "root", "type": { "kind": "field" } },
1821
+ {
1822
+ "name": "next_available_leaf_index",
1823
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1824
+ }
1825
+ ]
1826
+ }
1827
+ },
1828
+ {
1829
+ "name": "public_data_tree",
1830
+ "type": {
1831
+ "kind": "struct",
1832
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
1833
+ "fields": [
1834
+ { "name": "root", "type": { "kind": "field" } },
1835
+ {
1836
+ "name": "next_available_leaf_index",
1837
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1838
+ }
1839
+ ]
1840
+ }
1841
+ }
1842
+ ]
1843
+ }
1844
+ }
1845
+ ]
1846
+ }
1847
+ },
1848
+ {
1849
+ "name": "global_variables",
1850
+ "type": {
1851
+ "kind": "struct",
1852
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
1853
+ "fields": [
1854
+ { "name": "chain_id", "type": { "kind": "field" } },
1855
+ { "name": "version", "type": { "kind": "field" } },
1856
+ { "name": "block_number", "type": { "kind": "field" } },
1857
+ { "name": "timestamp", "type": { "kind": "field" } },
1858
+ {
1859
+ "name": "coinbase",
1860
+ "type": {
1861
+ "kind": "struct",
1862
+ "path": "aztec::protocol_types::address::EthAddress",
1863
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1864
+ }
1865
+ },
1866
+ {
1867
+ "name": "fee_recipient",
1868
+ "type": {
1869
+ "kind": "struct",
1870
+ "path": "aztec::protocol_types::address::AztecAddress",
1871
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1872
+ }
1873
+ }
1874
+ ]
1875
+ }
1876
+ }
1877
+ ]
1878
+ }
1879
+ },
1880
+ {
1881
+ "name": "contract_deployment_data",
1882
+ "type": {
1883
+ "kind": "struct",
1884
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
1885
+ "fields": [
1886
+ {
1887
+ "name": "public_key",
1888
+ "type": {
1889
+ "kind": "struct",
1890
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
1891
+ "fields": [
1892
+ { "name": "x", "type": { "kind": "field" } },
1893
+ { "name": "y", "type": { "kind": "field" } }
1894
+ ]
1895
+ }
1896
+ },
1897
+ { "name": "initialization_hash", "type": { "kind": "field" } },
1898
+ {
1899
+ "name": "contract_class_id",
1900
+ "type": {
1901
+ "kind": "struct",
1902
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
1903
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1904
+ }
1905
+ },
1906
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
1907
+ {
1908
+ "name": "portal_contract_address",
1909
+ "type": {
1910
+ "kind": "struct",
1911
+ "path": "aztec::protocol_types::address::EthAddress",
1912
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1913
+ }
1914
+ }
1915
+ ]
1916
+ }
1917
+ },
1918
+ { "name": "chain_id", "type": { "kind": "field" } },
1919
+ { "name": "version", "type": { "kind": "field" } }
1920
+ ]
1921
+ },
1922
+ "visibility": "public"
1923
+ },
1924
+ "return_witnesses": [
1925
+ 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594,
1926
+ 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616,
1927
+ 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638,
1928
+ 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660,
1929
+ 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682,
1930
+ 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704,
1931
+ 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726,
1932
+ 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748,
1933
+ 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770,
1934
+ 771, 772, 773, 774, 775, 776, 777, 778, 779
1935
+ ]
1936
+ },
1937
+ "bytecode": "H4sIAAAAAAAA/+2dZXSU56KFIyQ4FCjUC21xKnGhxd3dNSEJ7u7u7u7F3d2Lu7sXd3e4++3ZWcxJc9f9cWfu6r7vyVrPepIM+fLsL0IySWYSerq5PXT714M78AB4llsah6fj8PHop71iPO0d4+m4MV4+foynE8d4OmmMp5PFeDpFjKdTxnja1+HpeHzcPKQF70E6Oj2dgc5IZ6Iz01noH+mf6J/pX2gf2pf2o/3pADqQDqKD6RA6lM5K/0r/Rmejs9M56Jx0Ljo3ncehP6PH389LXl6ej85PF6AL0oXownQRuihdjC5Ol6BL0qXo0nQZuixdji5PV6Ar0pXoynQVuipdja5O16Br0mF0OF3L4bxkiuW8RPDySDqKrk3XoevS9ej6dAO6Id2Ibkw3oZvSzejmdAu6Jd2Kbk23odvS7ej2dAe6I92J7kx3obvS3ejuDuclcyznpQcv70n3onvTfei+dD+6Pz2AHkgPogfTQ+ih9DB6OD2CHkmPokfTY+ix9Dh6PD2BnkhPoifTU+ip9DR6usN5yRLLefmdl8+gZ9Kz6Nn0HHouPY+eTy+gF9KL6MX0EnopvYxeTq+gV9Kr6NX0GnotvY5eT2+gN9Kb6M30Fnorvc3hvPwYy3n5g5dvp3fQO+ld9G56D72X3kfvpw/QB+lD9GH6CH2UPkYfp0/QJ+lT9Gn6DH2WPkefpy/QF+lL9GX6Cn3V4bz8FMt5+ZOXX6Ov0zfom/Qt+jZ9h75L36Pv0w/oh/Qj+jH9hH5KP6Of0y/ol/Qr+jX9hn5Lv6Oj+UCbwcbutAft6f7xvPwcy3mJw8u9aG86Lh2Pjk8noBPSiejEdBI6Kf0JnYxOTqegP6VT0qnoz+jP6S/oL+mv6K/pb+hv6dR0Gvo7+nv6B4fz8kss5yUtL09Hp6cz0BnpTHRmOkv0cemf6J/pX2gf2pf2o/3pADqQDqKD6RA6lM5K/0r/Rmejs9M56Jx0Ljo3ncfhvPjE9vULL89H56cL0AXpQnRhughdlC5GF6dL0CXpUnRpugxdli5Hl6cr0BXpSnRlugpdla5GV6dr0DXpMDqcruVwXnxj+/qFl0fSUXRtug5dl65H16cb0A3pRnRjugndlG5GN6db0C3pVnRrug3dlm5Ht6c70B3pTnRnugvdle5Gd3c4L36xff3Cy3vSvejedB+6L92P7k8PoAfSg+jB9BB6KD2MHk6PoEfSo+jR9Bh6LD2OHk9PoCfSk+jJ9BR6Kj2Nnu5wXvxj+/qFl8+gZ9Kz6Nn0HHouPY+eTy+gF9KL6MX0EnopvYxeTq+gV9Kr6NX0GnotvY5eT2+gN9Kb6M30Fnorvc3hvATE9vULL99O76B30rvo3fQeei+9j95PH6AP0ofow/QR+ih9jD5On6BP0qfo0/QZ+ix9jj5PX6Av0pfoy/QV+qrDeQmM7esXXn6Nvk7foG/St+jb9B36Ln2Pvk8/oB/Sj+jH9BP6Kf2Mfk6/oF/Sr+jX9Bv6Lf2Ofk9/oM2VCcbutAft6fHxvATF9vULL/eivem4dDw6Pp2ATkgnohPTSeik9Cd0Mjo5nYL+lE5Jp6I/oz+nv6C/pL+iv6a/ob+lU9Np6O/o7+kfHM5LsIfbvz240zlpf5+ggIDIYL9IX3/fMB+/0PCQQJ+AwPCgEN8Q38CQwAi/EH//yJCAkODQ8NBgn1DfAP9I36jAUP8on389hHh8PJbP//Ih5tsvLXeko9PTGeiQ/+c2b7/QWN6vM/LyTHRmOkv0y9E/0T/Tv9A+tC/tR/vTAXQgHUQH06H/gPOS1eNf14d6OLxfp3aL/SGnU94/A/xdc9ygWi46rq9rjhvsr3XcQB8X9fq56O0W6qLeIBf1uur9LMBFvYGuOW6Ai85vsIt6gyJddFxXfX5w1fuDiz7egqK03m4BLvp85rLPk646vy76fBbkqvdfV31dovb1g9j/F0Hmaty/vjeN7SHm6/AND/aJDA2Mioj0wWNhEbX8fQJCg8JDfcL8/YLDooLCAiP9Q/wjffxCIoPDAvz9fPHdXHB4rYjo47k7td3HN63zjuXjqsZ0Ao3pBRozCDRmFGjMJNCYWaAxi0Djfz5m/vMx809qVPiY8RVo9BNo9BdoDBBoDBRoDBJoDBZoDBFoDBVozCrQ+KtA428CjdkEGrMLNOYQaMwp0JhLoDG3QGMegca8Ao35BBrzCzQWEGgsKNBYSKCxsEBjEYHGogKNxQQaiws0lhBoLCnQWEqgsbRAYxmBxrICjeUEGssLNFYQaKwo0FhJoLGyQGMVgcaqAo3VBBqrCzTWEGisKdAYJtAYLtBYS6AxQqAxUqAxSqCxtkBjHYHGugKN9QQa6ws0NhBobCjQ2EigsbFAYxOBxqYCjc0EGpsLNLYQaGwp0NhKoLG1QGMbgca2Ao3tBBrbCzR2EGjsKNDYSaCxs0BjF4HGrgKN3QQauws09hBo7CnQ2EugsbdAYx+Bxr4Cjf0EGvsLNA4QaBwo0DhIoHGwQOMQgcahAo3DBBqHCzSOEGgcKdA4SqBxtEDjGIHGsQKN4wQaxws0ThBonCjQOEmgcbJA4xSBxqkCjdMEGqcLNP4u0DhDoHGmQOMsgcbZAo1zBBrnCjTOE2icL9C4QKBxoUDjIoHGxQKNSwQalwo0LhNoXC7QuEKgcaVA4yqBxtUCjWsEGtcKNK4TaFwv0LhBoHGjQOMmgcbNAo1bBBq3CjRuE2j8Q6Bxu0DjDoHGnQKNuwQadws07hFo3CvQuE+gcb9A4wGBxoMCjYcEGg8LNB4RaDwq0HhMoPG4QOMJgcaTAo2nBBpPCzSeEWg8K9B4TqDxvEDjBYHGiwKNlwQaLws0XhFovCrQ+KdA4zWBxusCjTcEGm8KNN4SaLwt0HhHoPGuQOM9gcb7Ao0PBBofCjQ+Emh8LND4RKDxqUDjM4HG5wKNLwQaXwo0vhJofC3Q+Eag8a1A4zuBxvcCjR8EGs0B/+mN7gKNHgKNngKNcQQavQQavQUa4wo0xhNojC/QmECgMaFAYyKBxsQCjUkEGpMKNH4i0JhMoDG5QGMKgcZPBRpTCjSmEmj8TKDxc4HGLwQavxRo/Eqg8WuBxm8EGr8VaEwt0JhGoPE7gcbvBRp/EGhMK9CYTqAxvUBjBoHGjAKNmQQaMws0ZhFo/FGg8SeBxp8FGn8RaPQRaPQVaPQTaPQXaAwQaAwUaAwSaAwWaAwRaAwVaMwq0PirQONvAo3ZBBqzCzTmEGjMKdCYS6Axt0BjHoHGvAKN+QQa8ws0FhBoLCjQWEigsbBAYxGBxqICjcUEGosLNJYQaCwp0FhKoLG0QGMZgcayAo3lBBrLCzRWEGisKNBYSaCxskBjFYHGqgKN1QQaqws01hBorCnQGCbQGC7QWEugMUKgMVKgMUqgsbZAYx2BxroCjfUEGusLNDYQaGwo0NhIoLGxQGMTgcamAo3NBBqbCzS2EGhsKdDYSqCxtUBjG4HGtgKN7QQa2ws0dhBo7CjQ2EmgsbNAYxeBxq4Cjd0EGrsLNPYQaOwp0NhLoLG3QGMfgca+Ao39BBr7CzQOEGgcKNA4SKBxsEDjEIHGoQKNwwQahws0jhBoHCnQOEqgcbRA4xiBxrECjeMEGscLNE4QaJwo0DhJoHGyQOMUgcapAo3TBBqnCzT+LtA4Q6BxpkDjLIHG2QKNcwQa5wo0zhNonC/QuECgcaFA4yKBxsUCjUsEGpcKNC4TaFwu0LhCoHGlQOMqgcbVAo1rBBrXCjSuE2hcL9C4QaBxo0DjJoHGzQKNWwQatwo0bhNo/EOgcbtA4w6Bxp0CjbsEGncLNO4RaNwr0LhPoHG/QOMBgcaDAo2HBBoPCzQeEWg8KtB4TKDxuEDjCYHGkwKNpwQaTws0nhFoPCvQeE6g8bxA4wWBxosCjZcEGi8LNF4RaLwq0PinQOM1gcbrAo03BBpvCjTeEmi8LdB4R6DxrkDjPYHG+wKNDwQaHwo0PhJofCzQ+ESg8alA4zOBxucCjS8EGl8KNL4SaHwt0PhGoPGtQOM7gcb3Ao0fBBrdPP75je4CjR4CjZ4CjXEEGr0EGr0FGuMKNMYTaIwv0JhAoDGhQGMigcbEAo1JBBqTCjR+ItCYTKAxuUBjCoHGTwUaUwo0phJo/Eyg8XOBxi8EGr8UaPxKoPFrgcZvBBq/FWhMLdCYRqDxO4HG7wUafxBoTCvQmE6gMb1AYwYXNCan47p9fEjjrOYgvwAvc5A4/zqWeV91fDCv08PZrzPAx8cc19PZxzXX/36c4sRe3yhzXC8X9HrjGPF4rKTm/Hv//fx7u+D1ujuc/+hjRz/t/X/wur1ivG6vGK87vtvH9/uIyPCWtYs2rl2hbos6JZtFRtVt4+7w0tEv4fg8D4fnRT+e2uF50e8hXh5///eOx0n93zw/+uXMGYp+6713c+5HfvRHexyHjdGvy9Ph8mR0El7u2PnXQ07nRPl6uv37u4ybw8lx5utxd3P+p1AXnI9Ad4d3hP/pdfiGB/tEhgZGRUT64LGwiFr+PgGhQeGhPmH+fsFhUUFhgZH+If6RPn4hkcFhAf5+vr5hPsHhtSJcdY7Tugl8SSLQmF6gMYNAY0aBxkwCjZkFGrMINP7nY+Y/HzP/pEaFjxlfgUY/gUZ/gcYAgcZAgcYggcZggcYQgcZQgcasAo2/CjT+JtCYTaAxu0BjDoHGnAKNuQQacws05hFozCvQmE+gMb9AYwGBxoICjYUEGgsLNBYRaCwq0FhMoLG4QGMJgcaSAo2lBBpLCzSWEWgsK9BYTqCxvEBjBYHGigKNlQQaKws0VhForCrQWE2gsbpAYw2BxpoCjWECjeECjbUEGiMEGiMFGqMEGmsLNNYRaKwr0FhPoLG+QGMDgcaGAo2NBBobCzQ2EWhsKtDYTKCxuUBjC4HGlgKNrQQaWws0thFobCvQ2E6gsb1AYweBxo4CjZ0EGjsLNHYRaOwq0NhNoLG7QGMPgcaeAo29BBp7CzT2EWjsK9DYT6Cxv0DjAIHGgQKNgwQaBws0DhFoHCrQOEygcbhA4wiBxpECjaMEGkcLNI4RaBwr0DhOoHG8QOMEgcaJAo2TBBonCzROEWicKtA4TaBxukDj7wKNMwQaZwo0zhJonC3QOEegca5A4zyBxvkCjQsEGhcKNC4SaFws0LhEoHGpQOMygcblAo0rBBpXCjSuEmhcLdC4RqBxrUDjOoHG9QKNGwQaNwo0bhJo3CzQuEWgcatA4zaBxj8EGrcLNO4QaNwp0LhLoHG3QOMegca9Ao37BBr3CzQeEGg8KNB4SKDxsEDjEYHGowKNxwQajws0nhBoPCnQeEqg8bRA4xmBxrMCjecEGs8LNF4QaLwo0HhJoPGyQOMVgcarAo1/CjReE2i8LtB4Q6DxpkDjLYHG2wKNdwQa7wo03hNovC/Q+ECg8aFA4yOBxscCjU8EGp8KND4TaHwu0PhCoPGlQOMrgcbXAo1vBBrfCjS+E2h8L9D4QaDRHPCf3ugu0Ogh0Ogp0BhHoNFLoNFboDGuQGM8gcb4Ao0JBBoTCjQmEmhMLNCYRKAxqUDjJwKNyQQakws0phBo/FSgMaVAYyqBxs8EGj8XaPxCoPFLgcavBBq/Fmj8RqDxW4HG1AKNaQQavxNo/F6g8QeBxrQCjekEGtMLNGYQaMwo0JhJoDGzQGMWgcYfBRp/Emj8WaDxF4FGH4FGX4FGP4FGf4HGAIHGQIHGIIHGYIHGEIHGUIHGrAKNvwo0/ibQmE2gMbtAYw6BxpwCjbkEGnMLNOYRaMwr0JhPoDG/QGMBgcaCAo2FBBoLCzQWEWgsKtBYTKCxuEBjCYHGkgKNpQQaSws0lhFoLCvQWE6gsbxAYwWBxooCjZUEGisLNFYRaKwq0FhNoLG6QGMNgcaaAo1hAo3hAo21BBojBBojBRqjBBprCzTWEWisK9BYT6CxvkBjA4HGhgKNjQQaGws0NhFobCrQ2EygsblAYwuBxpYCja0EGlsLNLYRaGwr0NhOoLG9QGMHgcaOAo2dBBo7CzR2EWjsKtDYTaCxu0BjD4HGngKNvQQaews09hFo7CvQ2E+gsb9A4wCBxoECjYMEGgcLNA4RaBwq0DhMoHG4QOMIgcaRAo2jBBpHCzSOEWgcK9A4TqBxvEDjBIHGiQKNkwQaJws0ThFonCrQOE2gcbpA4+8CjTMEGmcKNM4SaJwt0DhHoHGuQOM8gcb5Ao0LBBoXCjQuEmhcLNC4RKBxqUDjMoHG5QKNKwQaVwo0rhJoXC3QuEagca1A4zqBxvUCjRsEGjcKNG4SaNws0LhFoHGrQOM2gcY/BBq3CzTuEGjcKdC4S6Bxt0DjHoHGvQKN+wQa9ws0HhBoPCjQeEig8bBA4xGBxqMCjccEGo8LNJ4QaDwp0HhKoPG0QOMZgcazAo3nBBrPCzReEGi8KNB4SaDxskDjFYHGqwKNfwo0XhNovC7QeEOg8aZA4y2BxtsCjXcEGu8KNN4TaLwv0PhAoPGhQOMjgcbHAo1PBBqfCjQ+E2h8LtD4QqDxpUDjK4HG1wKNbwQa3wo0vhNofC/Q+EGg0c3jn9/oLtDoIdDoKdAYR6DRS6DRW6AxrkBjPIHG+AKNCQQaEwo0JhJoTCzQmESgMalA4ycCjckEGpMLNKYQaPxUoDGlQGMqgcbPBBo/F2j8QqDxS4HGrwQavxZo/Eag8VuBxtQCjWkEGr8TaPxeoPEHgca0Ao3pBBrTCzRmcGKju0OjBx//FY/8Bn7k03HdPj6kcdaOIJ9QL3OQOHwdHm7/9pDAoSf635jneUb3xvnYFsfZbQE+fua4Xs4+rrl+G8dI5ebC9iCfYBe1/3VO4jr/uH+9D8bjsbx57OjX4+VwruJHv+2d+PZwfN3uJPr1RD/f0+HxlG4fH+I7PO7h0GkeEnJLzH/n+HicGC+TyOFy71h2p3Hy7pgf13FjNJq+BHw8qbnc++9bvV3U5hWjzSvGeTGNyfl4ZMO6Lco1imxUq1nbJi0iI4o2ru3u8NLRL+H4PE+Hxz1ieb6728e3jpfH318m+t84HjP637noLeaXwO3f32JuMV5/9OuLfohuMC8Tz/k9vi7a+df/mgkcdsR8r0zkcLnjR0kCF2x0/GwQfezopxPE8rrfuzn3PCT8H85DwlhaEv4fnwfHhvgxWhM4XB7P4XkeMbY4/s/u+O9jvn87bZDjMT1ccOzoY/n7BAUERAb7Rfr6+4b5+IWGhwT6BASGB4X4hvgGhgRG+IX4+0eGBIQEh4aHBvuE+gb4R/pGBYb6R/Fg2Vzw5agrNrs7cXN2kc0eTtycQ2SzpxM35xTZHMeJm3OJbPZy4ubcIpu9nbg5j8jmuE7cnFdkc1YP523OJ7I5xImb81u4uYCFmwtauLmQhZsLW7i5iIWbi1q4uZiFm4tbuLmEhZtLWri5lIWbS1u4uYyFm8tauLmchZvLW7i5goWbK1q4uZKFmytbuLmKhZurWri5moWbq1u4uYaFm2tauDnMws3hFm6uZeHmCAs3R1q4OcrCzbUt3FzHws11Ldxcz8LN9S3c3MDCzQ0t3NzIws2NLdzcxMLNTS3c3MzCzc0t3NzCws0tLdzcysLNrS3c3MbCzW0t3NzOws3tLdzcwcLNHS3c3MnCzZ0t3NzFws1dLdzczcLN3S3c3MPCzT0t3NzLws29Ldzcx8LNfS3c3M/Czf0t3DzAws0DLdw8yMLNgy3cPMTCzUMt3DzMws3DLdw8wsLNIy3cPMrCzaMt3DzGws1jLdw8zsLN4y3cPMHCzRMt3DzJws2TLdw8xcLNUy3cPM3CzdMt3Py7hZtnWLh5poWbZ1m4ebaFm+dYuHmuhZvnWbh5voWbF1i4eaGFmxdZuHmxhZuXWLh5qYWbl1m4ebmFm1dYuHmlhZtXWbh5tYWb11i4ea2Fm9dZuHm9hZs3WLh5o4WbN1m4ebOFm7dYuHmrhZu3Wbj5Dws3b7dw8w4LN++0cPMuCzfvtnDzHgs377Vw8z4LN++3cPMBCzcftHDzIQs3H7Zw8xELNx+1cPMxCzcft3DzCQs3n7Rw8ykLN5+2cPMZCzeftXDzOQs3n7dw8wULN1+0cPMlCzdftnDzFQs3X7Vw858Wbr5m4ebrFm6+YeHmmyKb47o5b/MtC9/Oty3cfMfCzXct3HzPws33Ldz8QGRzPDfnbX4osjm+Ezc/EtmcwImbH4tsTujEzU9ENidy4uanIpsTO3HzM5HNSZy4+bnI5qRO3PxCZPMnTtz8UmRzMidufiWyObkTN78W2ZzCiZvfiGz+1Imb34psTunEze9ENqdy4ub3Ips/c+LmDyKbP3fiZjdPjc1fOHGzu8jmL5242UNk81dO3OwpsvlrJ26OI7L5Gydu9hLZ/K0TN3uLbE7txM1xRTanceLmeCKbv3Pi5vgim7934uYEIpt/cOLmhE7c7I5jePJYGT0+7nfnOTCXxQFewBuY35cwP4cyP5cxP6cw19ub67HN9brmek5zvZ+5HsxcL2SuJzHXG5jvo833leb7LPN9h/k63Hxdar5OM1+3mP/Hzf9r5vO8+byXBpiPC/N+Ys5bWpAOpAcZTCfIBDKDLOBH8BP4GfxizgnwBX7mXIMAEAiCQDAIAaEgK/gV/AaygewgB99OuUBukAfkBflAflAAFASFQGFQBBQFxUBxUAKUBKVAaVAGlAXlQHlQAVQElUBlUAVUBdVAdVAD1ARhIBzUAhEgEkSB2qAOqAvqgfqgAWgIGoHGoAloCpqB5qAFaAlagdagDWgL2oH2oAPoCDqBzqAL6Aq6ge6gB+gJeoHeoA/oC/qB/mAAGAgGgcFgCBgKhoHhYAQYCUaB0WAMGAvGgfFgApgIJoHJYAqYCqaB6eB3MAPMBLPAbDAHzAXzwHywACwEi8BisAQsBcvAcrACrASrwGqwBqwF68B6sAFsBJvAZrAFbAXbwB9gO9gBdoJdYDfYA/aCfWA/OAAOgkPgMDgCjoJj4Dg4AU6CU+A0OAPOgnPgPLgALoJL4DK4Aq6CP8E1cB3cADfBLXAb3AF3wT1wHzwAD8Ej8Bg8AU/BM/AcvAAvwSvwGrwBb8E78B58AOaD3x14AE8QB3gBbxAXxAPxQQKQECQCiUESkBR8ApKB5CAF+BSkBKnAZ+Bz8AX4EnwFvgbfgG9BapAGfAe+Bz+AtCAdSA8ygIwgE8gMsoAfwU/gZ/ALMJ/UfIEf8AcBIBAEgWAQAkJBVvAr+A1kA9lBDpAT5AK5QR6QF+QD+UEBUBAUAoVBEVAUFAPFQQlQEpQCpUEZUBaUA+VBBVARVAKVQRVQFVQD1UENUBOEgXBQC0SASBAFaoM6oC6oB+qDBqAhaAQagyagKWgGmoMWoCVoBVqDNqAtaAfagw6gI+gEOoMuoCvoBrqDHqAn6AV6gz6gL+gH+oMBYCAYBAaDIWAoGAaGgxFgJBgFRoMxYCwYB8aDCWAimAQmgylgKpgGpoPfwQwwE8wCs8EcMBfMA/PBArAQLAKLwRKwFCwDy8EKsBKsAqvBGrAWrAPrwQawEWwCm8EWsBVsA3+A7WAH2Al2gd1gD9gL9oH94AA4CA6Bw+AIOAqOgePgBDgJToHT4Aw4C86B8+ACuAgugcvgCrgK/gTXwHVwA9wEt8BtcAfcBffAffAAPASPwGPwBDwFz8Bz8AK8BK/Aa/AGvAXvwHvwAZj/+N2BB/AEcYAX8AZxQTwQHyQACUEikBgkAUnBJyAZSA5SgE9BSpAKfAY+B1+AL8FX4GvwDfgWpAZpwHfge/ADSAvSgfQgg8PXKAfpbHhedpDDXA8JcoHcIA/IC/KB/KAAKAgKgcKgCCgKioHioAQoCUqB0qAMKAvKgfKgAqgIKoHKoAqoCqqB6qAGqAnCQDioBSJAJIgCtUEdUBfUA/VBA9AQNAKNQRPQFDQDzUEL0BK0Aq1BG9AWtAPtQQfQEXQCnUEX0BV0A91BD9AT9AK9QR/QF/QD/cEAMBAMAoPBEGDup97cb7u5H3Nzv97mfq7N/T6b+0EeA8z95Jr7jTX3o2ruV9Tcz6a530lzP4xTgLmfPnO/deZ+3Mz9mpn7+TL3e2XuB8rcL5K5nyBzvznmfmTM/aqY+xkx97th7ofC3C+DuZ8Cc7v95nbsze26m9s5N7f7bW4HezUwt5NsbjfY3I6uuV1Zczur5nZHze1wbgbmdhrN7Raa2/Ezt2tnbufN3O6ZuR0wc7tY5naizO0mmdsRMrerY25nxtzuirkdEnO7HOZ2KsztNpjbMTB/12/+zt383bf5O2jzd8Hm72TN342av6M0f1do/s7O/N2Z+TusS8D8nY75uxXzdxzm7xrM7/mb33s3vwdufi/a/J6w+b1Z83uk5vcqze8Zmt+7M7+HZn4vy/yekvm9HfN7LOb3OszvOZif+5ufg5ufC5ufk5qfG5qfo5mfK5mfs5ifO5jr4c0X7OZ6WnO9pbkez1yvZa7nMdd7mOsBzPfF5vtE831TQs+PH0tu/wWTSeWUt5UDAA==",
1938
+ "debug_symbols": "1ZfRaoQwEEX/ZZ5FMjNJzPgrpQ/SbmFhcUv1Tfz3utQYpAMLKRTmSYR79GQSuLrA7f42zNf7OEG/ABL0LwtMn8P4uJ3m4WuG3jVwGd+369rAx/V2gR67tDa/cihdt0dRRI6090qYONEeJs8ljE59NPro87MxUDrlXxtANmvuzZoHs+bRrHln1jyZNRer5uTMmqNZc7MdSmY7lMx2KJntUDLboWS2Q8lsh5LZDuV/7NCAMZuHLv7ZXO1QSgnzSyTJyf8BqfVFm/sOsYv4bNE+5DQGprJo/tFq1WOMyHQsh/mgZF9MK1UUujoM6zB1fJjKQATLRqU8EP339YQRK5ivw0IdFiswavUPoidnZMO4DtNH4qIr++ZO+7au3w=="
1939
+ },
1940
+ {
1941
+ "name": "register",
1942
+ "function_type": "Secret",
1943
+ "is_internal": false,
1944
+ "abi": {
1945
+ "parameters": [
1946
+ {
1947
+ "name": "inputs",
1948
+ "type": {
1949
+ "kind": "struct",
1950
+ "path": "aztec::abi::PrivateContextInputs",
1951
+ "fields": [
1952
+ {
1953
+ "name": "call_context",
1954
+ "type": {
1955
+ "kind": "struct",
1956
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
1957
+ "fields": [
1958
+ {
1959
+ "name": "msg_sender",
1960
+ "type": {
1961
+ "kind": "struct",
1962
+ "path": "aztec::protocol_types::address::AztecAddress",
1963
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1964
+ }
1965
+ },
1966
+ {
1967
+ "name": "storage_contract_address",
1968
+ "type": {
1969
+ "kind": "struct",
1970
+ "path": "aztec::protocol_types::address::AztecAddress",
1971
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1972
+ }
1973
+ },
1974
+ {
1975
+ "name": "portal_contract_address",
1976
+ "type": {
1977
+ "kind": "struct",
1978
+ "path": "aztec::protocol_types::address::EthAddress",
1979
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
1980
+ }
1981
+ },
1982
+ {
1983
+ "name": "function_selector",
1984
+ "type": {
1985
+ "kind": "struct",
1986
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
1987
+ "fields": [
1988
+ { "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
1989
+ ]
1990
+ }
1991
+ },
1992
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
1993
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
1994
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
1995
+ {
1996
+ "name": "start_side_effect_counter",
1997
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
1998
+ }
1999
+ ]
2000
+ }
2001
+ },
2002
+ {
2003
+ "name": "historical_header",
2004
+ "type": {
2005
+ "kind": "struct",
2006
+ "path": "aztec::protocol_types::header::Header",
2007
+ "fields": [
2008
+ {
2009
+ "name": "last_archive",
2010
+ "type": {
2011
+ "kind": "struct",
2012
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2013
+ "fields": [
2014
+ { "name": "root", "type": { "kind": "field" } },
2015
+ {
2016
+ "name": "next_available_leaf_index",
2017
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2018
+ }
2019
+ ]
2020
+ }
2021
+ },
2022
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
2023
+ {
2024
+ "name": "state",
2025
+ "type": {
2026
+ "kind": "struct",
2027
+ "path": "aztec::protocol_types::state_reference::StateReference",
2028
+ "fields": [
2029
+ {
2030
+ "name": "l1_to_l2_message_tree",
2031
+ "type": {
2032
+ "kind": "struct",
2033
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2034
+ "fields": [
2035
+ { "name": "root", "type": { "kind": "field" } },
2036
+ {
2037
+ "name": "next_available_leaf_index",
2038
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2039
+ }
2040
+ ]
2041
+ }
2042
+ },
2043
+ {
2044
+ "name": "partial",
2045
+ "type": {
2046
+ "kind": "struct",
2047
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
2048
+ "fields": [
2049
+ {
2050
+ "name": "note_hash_tree",
2051
+ "type": {
2052
+ "kind": "struct",
2053
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2054
+ "fields": [
2055
+ { "name": "root", "type": { "kind": "field" } },
2056
+ {
2057
+ "name": "next_available_leaf_index",
2058
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2059
+ }
2060
+ ]
2061
+ }
2062
+ },
2063
+ {
2064
+ "name": "nullifier_tree",
2065
+ "type": {
2066
+ "kind": "struct",
2067
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2068
+ "fields": [
2069
+ { "name": "root", "type": { "kind": "field" } },
2070
+ {
2071
+ "name": "next_available_leaf_index",
2072
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2073
+ }
2074
+ ]
2075
+ }
2076
+ },
2077
+ {
2078
+ "name": "contract_tree",
2079
+ "type": {
2080
+ "kind": "struct",
2081
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2082
+ "fields": [
2083
+ { "name": "root", "type": { "kind": "field" } },
2084
+ {
2085
+ "name": "next_available_leaf_index",
2086
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2087
+ }
2088
+ ]
2089
+ }
2090
+ },
2091
+ {
2092
+ "name": "public_data_tree",
2093
+ "type": {
2094
+ "kind": "struct",
2095
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2096
+ "fields": [
2097
+ { "name": "root", "type": { "kind": "field" } },
2098
+ {
2099
+ "name": "next_available_leaf_index",
2100
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2101
+ }
2102
+ ]
2103
+ }
2104
+ }
2105
+ ]
2106
+ }
2107
+ }
2108
+ ]
2109
+ }
2110
+ },
2111
+ {
2112
+ "name": "global_variables",
2113
+ "type": {
2114
+ "kind": "struct",
2115
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
2116
+ "fields": [
2117
+ { "name": "chain_id", "type": { "kind": "field" } },
2118
+ { "name": "version", "type": { "kind": "field" } },
2119
+ { "name": "block_number", "type": { "kind": "field" } },
2120
+ { "name": "timestamp", "type": { "kind": "field" } },
2121
+ {
2122
+ "name": "coinbase",
2123
+ "type": {
2124
+ "kind": "struct",
2125
+ "path": "aztec::protocol_types::address::EthAddress",
2126
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2127
+ }
2128
+ },
2129
+ {
2130
+ "name": "fee_recipient",
2131
+ "type": {
2132
+ "kind": "struct",
2133
+ "path": "aztec::protocol_types::address::AztecAddress",
2134
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2135
+ }
2136
+ }
2137
+ ]
2138
+ }
2139
+ }
2140
+ ]
2141
+ }
2142
+ },
2143
+ {
2144
+ "name": "contract_deployment_data",
2145
+ "type": {
2146
+ "kind": "struct",
2147
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
2148
+ "fields": [
2149
+ {
2150
+ "name": "public_key",
2151
+ "type": {
2152
+ "kind": "struct",
2153
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
2154
+ "fields": [
2155
+ { "name": "x", "type": { "kind": "field" } },
2156
+ { "name": "y", "type": { "kind": "field" } }
2157
+ ]
2158
+ }
2159
+ },
2160
+ { "name": "initialization_hash", "type": { "kind": "field" } },
2161
+ {
2162
+ "name": "contract_class_id",
2163
+ "type": {
2164
+ "kind": "struct",
2165
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
2166
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2167
+ }
2168
+ },
2169
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
2170
+ {
2171
+ "name": "portal_contract_address",
2172
+ "type": {
2173
+ "kind": "struct",
2174
+ "path": "aztec::protocol_types::address::EthAddress",
2175
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2176
+ }
2177
+ }
2178
+ ]
2179
+ }
2180
+ },
2181
+ {
2182
+ "name": "private_global_variables",
2183
+ "type": {
2184
+ "kind": "struct",
2185
+ "path": "aztec::abi::PrivateGlobalVariables",
2186
+ "fields": [
2187
+ { "name": "chain_id", "type": { "kind": "field" } },
2188
+ { "name": "version", "type": { "kind": "field" } }
2189
+ ]
2190
+ }
2191
+ }
2192
+ ]
2193
+ },
2194
+ "visibility": "private"
2195
+ },
2196
+ { "name": "artifact_hash", "type": { "kind": "field" }, "visibility": "private" },
2197
+ { "name": "private_functions_root", "type": { "kind": "field" }, "visibility": "private" },
2198
+ { "name": "public_bytecode_commitment", "type": { "kind": "field" }, "visibility": "private" },
2199
+ {
2200
+ "name": "packed_public_bytecode",
2201
+ "type": { "kind": "array", "length": 1000, "type": { "kind": "field" } },
2202
+ "visibility": "private"
2203
+ }
2204
+ ],
2205
+ "param_witnesses": {
2206
+ "artifact_hash": [{ "start": 36, "end": 37 }],
2207
+ "inputs": [{ "start": 0, "end": 36 }],
2208
+ "packed_public_bytecode": [{ "start": 39, "end": 1039 }],
2209
+ "private_functions_root": [{ "start": 37, "end": 38 }],
2210
+ "public_bytecode_commitment": [{ "start": 38, "end": 39 }]
2211
+ },
2212
+ "return_type": {
2213
+ "abi_type": {
2214
+ "kind": "struct",
2215
+ "path": "aztec::protocol_types::abis::private_circuit_public_inputs::PrivateCircuitPublicInputs",
2216
+ "fields": [
2217
+ {
2218
+ "name": "call_context",
2219
+ "type": {
2220
+ "kind": "struct",
2221
+ "path": "aztec::protocol_types::abis::call_context::CallContext",
2222
+ "fields": [
2223
+ {
2224
+ "name": "msg_sender",
2225
+ "type": {
2226
+ "kind": "struct",
2227
+ "path": "aztec::protocol_types::address::AztecAddress",
2228
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2229
+ }
2230
+ },
2231
+ {
2232
+ "name": "storage_contract_address",
2233
+ "type": {
2234
+ "kind": "struct",
2235
+ "path": "aztec::protocol_types::address::AztecAddress",
2236
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2237
+ }
2238
+ },
2239
+ {
2240
+ "name": "portal_contract_address",
2241
+ "type": {
2242
+ "kind": "struct",
2243
+ "path": "aztec::protocol_types::address::EthAddress",
2244
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2245
+ }
2246
+ },
2247
+ {
2248
+ "name": "function_selector",
2249
+ "type": {
2250
+ "kind": "struct",
2251
+ "path": "aztec::protocol_types::abis::function_selector::FunctionSelector",
2252
+ "fields": [{ "name": "inner", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }]
2253
+ }
2254
+ },
2255
+ { "name": "is_delegate_call", "type": { "kind": "boolean" } },
2256
+ { "name": "is_static_call", "type": { "kind": "boolean" } },
2257
+ { "name": "is_contract_deployment", "type": { "kind": "boolean" } },
2258
+ {
2259
+ "name": "start_side_effect_counter",
2260
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2261
+ }
2262
+ ]
2263
+ }
2264
+ },
2265
+ { "name": "args_hash", "type": { "kind": "field" } },
2266
+ { "name": "return_values", "type": { "kind": "array", "length": 4, "type": { "kind": "field" } } },
2267
+ { "name": "meta_hwm", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
2268
+ {
2269
+ "name": "read_requests",
2270
+ "type": {
2271
+ "kind": "array",
2272
+ "length": 32,
2273
+ "type": {
2274
+ "kind": "struct",
2275
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
2276
+ "fields": [
2277
+ { "name": "value", "type": { "kind": "field" } },
2278
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
2279
+ ]
2280
+ }
2281
+ }
2282
+ },
2283
+ {
2284
+ "name": "nullifier_key_validation_requests",
2285
+ "type": {
2286
+ "kind": "array",
2287
+ "length": 1,
2288
+ "type": {
2289
+ "kind": "struct",
2290
+ "path": "aztec::protocol_types::abis::nullifier_key_validation_request::NullifierKeyValidationRequest",
2291
+ "fields": [
2292
+ {
2293
+ "name": "public_key",
2294
+ "type": {
2295
+ "kind": "struct",
2296
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
2297
+ "fields": [
2298
+ { "name": "x", "type": { "kind": "field" } },
2299
+ { "name": "y", "type": { "kind": "field" } }
2300
+ ]
2301
+ }
2302
+ },
2303
+ {
2304
+ "name": "secret_key",
2305
+ "type": {
2306
+ "kind": "struct",
2307
+ "path": "aztec::protocol_types::grumpkin_private_key::GrumpkinPrivateKey",
2308
+ "fields": [
2309
+ { "name": "high", "type": { "kind": "field" } },
2310
+ { "name": "low", "type": { "kind": "field" } }
2311
+ ]
2312
+ }
2313
+ }
2314
+ ]
2315
+ }
2316
+ }
2317
+ },
2318
+ {
2319
+ "name": "new_commitments",
2320
+ "type": {
2321
+ "kind": "array",
2322
+ "length": 16,
2323
+ "type": {
2324
+ "kind": "struct",
2325
+ "path": "aztec::protocol_types::abis::side_effect::SideEffect",
2326
+ "fields": [
2327
+ { "name": "value", "type": { "kind": "field" } },
2328
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
2329
+ ]
2330
+ }
2331
+ }
2332
+ },
2333
+ {
2334
+ "name": "new_nullifiers",
2335
+ "type": {
2336
+ "kind": "array",
2337
+ "length": 16,
2338
+ "type": {
2339
+ "kind": "struct",
2340
+ "path": "aztec::protocol_types::abis::side_effect::SideEffectLinkedToNoteHash",
2341
+ "fields": [
2342
+ { "name": "value", "type": { "kind": "field" } },
2343
+ { "name": "note_hash", "type": { "kind": "field" } },
2344
+ { "name": "counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } }
2345
+ ]
2346
+ }
2347
+ }
2348
+ },
2349
+ {
2350
+ "name": "private_call_stack_hashes",
2351
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
2352
+ },
2353
+ {
2354
+ "name": "public_call_stack_hashes",
2355
+ "type": { "kind": "array", "length": 4, "type": { "kind": "field" } }
2356
+ },
2357
+ { "name": "new_l2_to_l1_msgs", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
2358
+ { "name": "end_side_effect_counter", "type": { "kind": "integer", "sign": "unsigned", "width": 32 } },
2359
+ { "name": "encrypted_logs_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
2360
+ {
2361
+ "name": "unencrypted_logs_hash",
2362
+ "type": { "kind": "array", "length": 2, "type": { "kind": "field" } }
2363
+ },
2364
+ { "name": "encrypted_log_preimages_length", "type": { "kind": "field" } },
2365
+ { "name": "unencrypted_log_preimages_length", "type": { "kind": "field" } },
2366
+ {
2367
+ "name": "historical_header",
2368
+ "type": {
2369
+ "kind": "struct",
2370
+ "path": "aztec::protocol_types::header::Header",
2371
+ "fields": [
2372
+ {
2373
+ "name": "last_archive",
2374
+ "type": {
2375
+ "kind": "struct",
2376
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2377
+ "fields": [
2378
+ { "name": "root", "type": { "kind": "field" } },
2379
+ {
2380
+ "name": "next_available_leaf_index",
2381
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2382
+ }
2383
+ ]
2384
+ }
2385
+ },
2386
+ { "name": "body_hash", "type": { "kind": "array", "length": 2, "type": { "kind": "field" } } },
2387
+ {
2388
+ "name": "state",
2389
+ "type": {
2390
+ "kind": "struct",
2391
+ "path": "aztec::protocol_types::state_reference::StateReference",
2392
+ "fields": [
2393
+ {
2394
+ "name": "l1_to_l2_message_tree",
2395
+ "type": {
2396
+ "kind": "struct",
2397
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2398
+ "fields": [
2399
+ { "name": "root", "type": { "kind": "field" } },
2400
+ {
2401
+ "name": "next_available_leaf_index",
2402
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2403
+ }
2404
+ ]
2405
+ }
2406
+ },
2407
+ {
2408
+ "name": "partial",
2409
+ "type": {
2410
+ "kind": "struct",
2411
+ "path": "aztec::protocol_types::partial_state_reference::PartialStateReference",
2412
+ "fields": [
2413
+ {
2414
+ "name": "note_hash_tree",
2415
+ "type": {
2416
+ "kind": "struct",
2417
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2418
+ "fields": [
2419
+ { "name": "root", "type": { "kind": "field" } },
2420
+ {
2421
+ "name": "next_available_leaf_index",
2422
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2423
+ }
2424
+ ]
2425
+ }
2426
+ },
2427
+ {
2428
+ "name": "nullifier_tree",
2429
+ "type": {
2430
+ "kind": "struct",
2431
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2432
+ "fields": [
2433
+ { "name": "root", "type": { "kind": "field" } },
2434
+ {
2435
+ "name": "next_available_leaf_index",
2436
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2437
+ }
2438
+ ]
2439
+ }
2440
+ },
2441
+ {
2442
+ "name": "contract_tree",
2443
+ "type": {
2444
+ "kind": "struct",
2445
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2446
+ "fields": [
2447
+ { "name": "root", "type": { "kind": "field" } },
2448
+ {
2449
+ "name": "next_available_leaf_index",
2450
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2451
+ }
2452
+ ]
2453
+ }
2454
+ },
2455
+ {
2456
+ "name": "public_data_tree",
2457
+ "type": {
2458
+ "kind": "struct",
2459
+ "path": "aztec::protocol_types::abis::append_only_tree_snapshot::AppendOnlyTreeSnapshot",
2460
+ "fields": [
2461
+ { "name": "root", "type": { "kind": "field" } },
2462
+ {
2463
+ "name": "next_available_leaf_index",
2464
+ "type": { "kind": "integer", "sign": "unsigned", "width": 32 }
2465
+ }
2466
+ ]
2467
+ }
2468
+ }
2469
+ ]
2470
+ }
2471
+ }
2472
+ ]
2473
+ }
2474
+ },
2475
+ {
2476
+ "name": "global_variables",
2477
+ "type": {
2478
+ "kind": "struct",
2479
+ "path": "aztec::protocol_types::abis::global_variables::GlobalVariables",
2480
+ "fields": [
2481
+ { "name": "chain_id", "type": { "kind": "field" } },
2482
+ { "name": "version", "type": { "kind": "field" } },
2483
+ { "name": "block_number", "type": { "kind": "field" } },
2484
+ { "name": "timestamp", "type": { "kind": "field" } },
2485
+ {
2486
+ "name": "coinbase",
2487
+ "type": {
2488
+ "kind": "struct",
2489
+ "path": "aztec::protocol_types::address::EthAddress",
2490
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2491
+ }
2492
+ },
2493
+ {
2494
+ "name": "fee_recipient",
2495
+ "type": {
2496
+ "kind": "struct",
2497
+ "path": "aztec::protocol_types::address::AztecAddress",
2498
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2499
+ }
2500
+ }
2501
+ ]
2502
+ }
2503
+ }
2504
+ ]
2505
+ }
2506
+ },
2507
+ {
2508
+ "name": "contract_deployment_data",
2509
+ "type": {
2510
+ "kind": "struct",
2511
+ "path": "aztec::protocol_types::contrakt::deployment_data::ContractDeploymentData",
2512
+ "fields": [
2513
+ {
2514
+ "name": "public_key",
2515
+ "type": {
2516
+ "kind": "struct",
2517
+ "path": "aztec::protocol_types::grumpkin_point::GrumpkinPoint",
2518
+ "fields": [
2519
+ { "name": "x", "type": { "kind": "field" } },
2520
+ { "name": "y", "type": { "kind": "field" } }
2521
+ ]
2522
+ }
2523
+ },
2524
+ { "name": "initialization_hash", "type": { "kind": "field" } },
2525
+ {
2526
+ "name": "contract_class_id",
2527
+ "type": {
2528
+ "kind": "struct",
2529
+ "path": "aztec::protocol_types::contract_class::ContractClassId",
2530
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2531
+ }
2532
+ },
2533
+ { "name": "contract_address_salt", "type": { "kind": "field" } },
2534
+ {
2535
+ "name": "portal_contract_address",
2536
+ "type": {
2537
+ "kind": "struct",
2538
+ "path": "aztec::protocol_types::address::EthAddress",
2539
+ "fields": [{ "name": "inner", "type": { "kind": "field" } }]
2540
+ }
2541
+ }
2542
+ ]
2543
+ }
2544
+ },
2545
+ { "name": "chain_id", "type": { "kind": "field" } },
2546
+ { "name": "version", "type": { "kind": "field" } }
2547
+ ]
2548
+ },
2549
+ "visibility": "public"
2550
+ },
2551
+ "return_witnesses": [
2552
+ 1077, 1078, 1079, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093, 1094,
2553
+ 1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, 1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112,
2554
+ 1113, 1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 1130,
2555
+ 1131, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143, 1144, 1145, 1146, 1147, 1148,
2556
+ 1149, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166,
2557
+ 1167, 1168, 1169, 1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 1184,
2558
+ 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202,
2559
+ 1203, 1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220,
2560
+ 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238,
2561
+ 1239, 1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 1254, 1255, 1256,
2562
+ 1257, 1258, 1259, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274,
2563
+ 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282, 1283
2564
+ ]
2565
+ },
2566
+ "bytecode": "H4sIAAAAAAAA/+XdBXCUd9/2/QR3Ci2lXtriFEhIQhJciru7E9zdtbi7e3F39+Lu7sXdHd7j7P1juhdX3rlnnmd5pt85M/OdA9iy+fxPoN2GZDdiZB8fX1+fv9+ciaAiqkQe349k3/7w/cgffT/KR9+P+tHPj/7R92N/9P24H30/3kff//yj7yfw+H40+7bzlli9U0lsk9oms01um8I2pW0q219tU9umsU1r62frb5vONsA20DbINr1tsG2IbahtBtuMtplsM9tmsc1qm802u20O25we/riR/vu6/Ga357LNbZvHNq9tPtv8tgVsC9oWsi1sW8S2qG0x2+K2JWxL2payLW1bxrasbTnb8rYVbCvaVrKtbFvFtqptNdvqtjU8rstn4VyXmnZ7mG0t29q2dWzr2tazrW/bwLahbSPbxrZNbJvaNrNtbtvCtqVtK9vWtm1s29q2s21v28G2o20n2862XWy72naz7e5xXeKFc11+t9t72Pa07WXb27aPbV/bfrb9bQfYDrQdZDvYdojtUNthtsNtR9iOtB1lO9p2jO1Y23G2420n2E60nWQ72XaK7VTbaR7XJX441+UPu3267QzbmbazbGfbzrGdazvPdr7tAtuFtotsF9susV1qu8x2ue0K25W2q2xX266xXWu7zna97QbbjbabbDfbbrHd6nFdPg/nuvxpt2+z3W67w3an7S7b3bZ7bPfa7rPdb3vA9qDtIdvDtkdsj9oesz1ue8L2pO0p29O2Z2zP2p6zPW97wfai7SXby7ZXPK7LF+Fcl7/s9qu212yv296wvWl7y/a27R3bu7b3bO/bPrB9aPvI9rHtE9unts9sn9u+sH1p+8r2te0b27e2H3pv6xzYWV/bCLYRff+5LgnCuS6R7PbItlFso9pGs41uG8M2pm0s29i2cWzj2n5mG882vu3ntl/YJrD90jah7Ve2X9t+Y/ut7Xe239v+YPujbSLbn2x/tv3F47p8Gc51SWy3J7FNapvMNrltCtuUtqk+3K9tats0tmlt/Wz9bdPZBtgG2gbZprcNtg2xDbXNYJvRNpNtZtsstllts9lmt81hm9PjuiQM7/GL3Z7LNrdtHtu8tvls89sWsC1oW8i2sG0R26K2xWyL25awLWlbyra0bRnbsrblbMvbVrCtaFvJtrJtFduqttVsq9vW8LguX4X3+MVuD7OtZVvbto5tXdt6tvVtG9g2tG1k29i2iW1T22a2zW1b2La0bWXb2raNbVvbdrbtbTvYdrTtZNvZtottV9tutt09rsvX4T1+sdt72Pa07WXb27aPbV/bfrb9bQfYDrQdZDvYdojtUNthtsNtR9iOtB1lO9p2jO1Y23G2420n2E60nWQ72XaK7VTbaR7X5ZvwHr/Y7dNtZ9jOtJ1lO9t2ju1c23m2820X2C60XWS72HaJ7VLbZbbLbVfYrrRdZbvado3tWtt1tuttN9hutN1ku9l2i+1Wj+vybXiPX+z2bbbbbXfY7rTdZbvbdo/tXtt9tvttD9getD1ke9j2iO1R22O2x21P2J60PWV72vaM7Vnbc7bnbS/YXrS9ZHvZ9orHdfkuvMcvdvtV22u2121v2N60vWV72/aO7V3be7b3bR/YPrR9ZPvY9ontU9tnts9tX9i+tH1l+9r2je1b23e2722dDyY462sbwTZihH+uy/fhPX6x2yPbRrGNahvNNrptDNuYtrFsY9vGsY1r+5ltPNv4tp/bfmGbwPZL24S2X9l+bfuN7be239l+b/uD7Y+2iWx/sv3Z9heP6/JDeI9f7PYktkltk9kmt01hm9I21Yf7tU1tm8Y2ra2frb9tOtsA20DbINv0tsG2IbahthlsM9pmss1sm8U2q2022+y2OWxzelyXH8N7/GK357LNbZvHNq9tPtv8tgVsC9oWsi1sW8S2qG0x2+K2JWxL2payLW1bxrasbTnb8rYVbCvaVrKtbFvFtqptNdvqtjU8rkui8B6/2O1htrVsa9vWsa1rW8+2vm0D24a2jWwb2zaxbWrbzLa5bQvblratbFvbtrFta9vOtr1tB9uOtp1sO9t2se1q2822u8d1+Sm8xy92ew/bnra9bHvb9rHta9vPtr/tANuBtoNsB9sOsR1qO8x2uO0I25G2o2xH246xHWs7zna87QTbibaTbCfbTrGdajvN47r8HN7jF7t9uu0M25m2s2xn286xnWs7z3a+7QLbhbaLbBfbLrFdarvMdrntCtuVtqtsV9uusV1ru852ve0G2422m2w3226x3epxXX4J7/GL3b7NdrvtDtudtrtsd9vusd1ru892v+0B24O2h2wP2x6xPWp7zPa47Qnbk7anbE/bnrE9a3vO9rztBduLtpdsL9te8bguicN7/GK3X7W9Znvd9obtTdtbtrdt79jetb1ne9/2ge1D20e2j22f2D61fWb73PaF7UvbV7avbd/YvrV9Z/ve1vmLGmd9bSPYRoz4z3VJEt7jF7s9sm0U26i20Wyj28awjWkbyza2bRzbuLaf2cazjW/7ue0Xtglsv7RNaPuV7de239h+a/ud7fe2P9j+aJvI9ifbn21/8bguScN7/GK3J7FNapvMNrltCtuUtqk+3K9tats0tmlt/Wz9bdPZBtgG2gbZprcNtg2xDbXNYJvRNpNtZtsstllts9lmt81hm9PjuiQL7/GL3Z7LNrdtHtu8tvls89sWsC1oW8i2sG0R26K2xWyL25awLWlbyra0bRnbsrblbMvbVrCtaFvJtrJtFduqttVsq9vW8LguycN7/GK3h9nWsq1tW8e2rm092/q2DWwb2jaybWzbxLapbTPb5rYtbFvatrJtbdvGtq1tO9v2th1sO9p2su1s28W2q2032+4e1yVFeI9f7PYetj1te9n2tu1j29e2n21/2wG2A20H2Q62HWI71HaY7XDbEbYjbUfZjrYdYzvWdpzteNsJthNtJ9lOtp1iO9V2msd1SRne4xe7fbrtDNuZtrNsZ9vOsZ1rO892vu0C24W2i2wX2y6xXWq7zHa57QrblbarbFfbrrFda7vOdr3tBtuNtptsN9tusd3qcV1Shff4xW7fZrvddoftTttdtrtt99jutd1nu9/2gO1B20O2h22P2B61PWZ73PaE7UnbU7anbc/YnrU9Z3ve9oLtRdtLtpdtr3hcl1/De/xit1+1vWZ73faG7U3bW7a3be/Y3rW9Z3vf9oHtQ9tHto9tn9g+tX1m+9z2he1L21e2r23f2L61fWf73tb5xBJnfW0j2EaM9M91SR3J5z/efG2z2Qb4pQ8MDAtOF+Yf4F/NL11o9ZAgv8Cg6ulD/EP8g0KCaqYLCQgICwkMCQ6tHhrsF+ofGBDmXysoNKCW3/+8pYn0z335/V++/dfjLDtHZNsotlFto9lGt41hG9M2lm1s2zi2aSDr/PqlDef3dVy7/TPbeLbxbT+3/cI2ge2Xtgltv7L92vYb229tv7P93vYH2x9tE9n+ZPuz7S+2iW2T2Ca1TWab3DaFbUrbVB/Ob5vaNq3HdfHzuC4R7bok9rH3Z/vh85c+U/4f/TmI4POffw78/u/e/KP6eO/PVDrv/Zly/qry77M695nIrtWHszu3JfQJ/8077z8w4NPcb/pan+h+wz7N/QYHfqL7TfeJroP/J7rfT/T74VNd30/2+7fGJ7rfT/TrFhzAut+gT/XnIugT3W/wJ7rfUNav26f6c/ypft2Cab/PnE9R+vv/Z8J7+/h9pA8NDa3pH+aXrrpfSLXAwOBqgekDgtIHBAYF1KgekD7UP7RGaM2awf5BfgEB6WvVCK4RWDNd9aB0tUI+3J+vV+1+/v5e/H+N/+3s/6fGT3X2xD7eP7u3jUkAxmQAY3KAMQXAmBJgTAUw/gowpgYY0wCMaQFGP4DRH2BMBzAGAIyBAGMQwJgeYAwGGEMAxlCAMQPAmBFgzAQwZgYYswCMWQHGbABjdoAxB8CYE2D8DWDMBTDmBhjzAIx5AcZ8AGN+gLEAwFgQYCwEMBYGGIsAjEUBxmIAY3GAsQTAWBJgLAUwlgYYywCMZQHGcgBjeYCxAsBYEWCsBDBWBhirAIxVAcZqAGN1gLEGwFgTYAwDGGsBjLUBxjoAY12AsR7AWB9gbAAwNgQYGwGMjQHGJgBjU4CxGcDYHGBsATC2BBhbAYytAcY2AGNbgLEdwNgeYOwAMHYEGDsBjJ0Bxi4AY1eAsRvA2B1g/B1g7AEw9gQYewGMvQHGPgBjX4CxH8DYH2AcADAOBBgHAYyDAcYhAONQgHEYwDgcYBwBMI4EGEcBjKMBxjEA41iAcRzAOB5gnAAwTgQYJwGMkwHGKQDjVIBxGsD4B8A4HWCcATDOBBhnAYyzAcY5AONcgHEewDgfYFwAMC4EGBcBjIsBxiUA41KAcRnAuBxgXAEwrgQYVwGMqwHGNQDjWoBxHcC4HmDcADBuBBg3AYybAcYtAONWgPFPgHEbwLgdYNwBMO4EGHcBjLsBxj0A416AcR/AuB9gPAAwHgQYDwGMhwHGIwDjUYDxGMB4HGA8ATCeBBhPAYynAcYzAONZgPEcwHgeYLwAMF4EGC8BjJcBxisA418A41WA8RrAeB1gvAEw3gQYbwGMtwHGOwDjXYDxHsB4H2B8ADA+BBgfAYyPAcYnAONTgPEZwPgcYHwBML4EGF8BjK8BxjcA41uA8R3A+B5gdO7w3270BRgjAIwRAcZIAGNkgDEKwBgVYIwGMEYHGGMAjDEBxlgAY2yAMQ7AGBdg/AxgjAcwxgcYPwcYvwAYEwCMXwKMCQHGrwDGrwHGbwDGbwHG7wDG7wHGHwDGHwHGRADjTwDjzwDjLwBjYoAxCcCYFGBMBjAmBxhTAIwpAcZUAOOvAGNqgDENwJgWYPQDGP0BxnQAYwDAGAgwBgGM6QHGYIAxBGAMBRgzAIwZAcZMAGNmgDELwJgVYMwGMGYHGHMAjDkBxt8AxlwAY26AMQ/AmBdgzAcw5gcYCwCMBQHGQgBjYYCxCMBYFGAsBjAWBxhLAIwlAcZSAGNpgLEMwFgWYCwHMJYHGCsAjBUBxkoAY2WAsQrAWBVgrAYwVgcYawCMNQHGMICxFsBYG2CsAzDWBRjrAYz1AcYGAGNDgLERwNgYYGwCMDYFGJsBjM0BxhYAY0uAsRXA2BpgbAMwtgUY2wGM7QHGDgBjR4CxE8DYGWDsAjB2BRi7AYzdAcbfAcYeAGNPgLEXwNgbYOwDMPYFGPsBjP0BxgEA40CAcRDAOBhgHAIwDgUYhwGMwwHGEQDjSIBxFMA4GmAcAzCOBRjHAYzjAcYJAONEgHESwDgZYJwCME4FGKcBjH8AjNMBxhkA40yAcRbAOBtgnAMwzgUY5wGM8wHGBQDjQoBxEcC4GGBcAjAuBRiXAYzLAcYVAONKgHEVwLgaYFwDMK4FGNcBjOsBxg0A40aAcRPAuBlg3AIwbgUY/wQYtwGM2wHGHQDjToBxF8C4G2DcAzDuBRj3AYz7AcYDAONBgPEQwHgYYDwCMB4FGI8BjMcBxhMA40mA8RTAeBpgPAMwngUYzwGM5wHGCwDjRYDxEsB4GWC8AjD+BTBeBRivAYzXAcYbAONNgPEWwHgbYLwDMN4FGO8BjPcBxgcA40OA8RHA+BhgfAIwPgUYnwGMzwHGFwDjS4DxFcD4GmB8AzC+BRjfAYzvAUafCP9+oy/AGAFgjAgwRgIYIwOMUQDGqABjNIAxOsAYA2CMCTDGAhhjA4xxAMa4AONnAGM8gDE+wPg5wPgFwJgAYPwSYEwIMH4FMH4NMH4DMH4LMH4HMH4PMP4AMP4IMCYCGH8CGH8GGH8BGBMDjEkAxqQAYzKAMTnAmAJgTAkwpgIYfwUYUwOMaQDGtACjH8DoDzCmAxgDAMZAgDEIYEwPMAYDjCEAYyjAmAFgzAgwZgIYMwOMWQDGrABjNoAxO8CYA2DMCTD+BjDmAhhzA4x5AMa8AGM+gDE/wFgAYCwIMBYCGAsDjEUAxqIAYzGAsTjAWAJgLAkwlgIYSwOMZQDGsgBjOYCxPMBYAWCsCDBWAhgrA4xVAMaqAGM1gLE6wFgDYKwJMIYBjLUAxtoAYx2AsS7AWA9grA8wNgAYGwKMjQDGxgBjE4CxKcDYDGBsDjC2ABhbAoytAMbWAGMbgLEtwNgOYGwPMHYAGDsCjJ0Axs4AYxeAsSvA2A1g7A4w/g4w9gAYewKMvQDG3gBjH4CxL8DYD2DsDzAOABgHAoyDAMbBAOMQgHEowDgMYBwOMI4AGEcCjKMAxtEA4xiAcSzAOA5gHA8wTgAYJwKMkwDGyQDjFIBxKsA4DWD8A2CcDjDOABhnAoyzAMbZAOMcgHEuwDgPYJwPMC4AGBcCjIsAxsUA4xKAcSnAuAxgXA4wrgAYVwKMqwDG1QDjGoBxLcC4DmBcDzBuABg3AoybAMbNAOMWgHErwPgnwLgNYNwOMO4AGHcCjLsAxt0A4x6AcS/AuA9g3A8wHgAYDwKMhwDGwwDjEYDxKMB4DGA8DjCeABhPAoynAMbTAOMZgPEswHgOYDwPMF4AGC8CjJcAxssA4xWA8S+A8SrAeA1gvA4w3gAYbwKMtwDG2wDjHYDxLsB4D2C8DzA+ABgfAoyPAMbHAOMTgPEpwPgMYHwOML4AGF8CjK8AxtcA4xuA8S3A+A5gfA8w+kT89xt9AcYIAGNEgDESwBgZYIwCMEYFGKMBjNEBxhgAY0yAMRbAGBtgjAMwxgUYPwMY4wGM8QHGzwHGLwDGBADjlwBjQoDxK4Dxa4DxG4DxW4DxO4Dxe4DxB4DxR4AxEcD4E8D4M8D4C8CYGGBMAjAmBRiTAYzJAcYUAGNKgDEVwPgrwJgaYEwDMKYFGP0ARn+AMR3AGAAwBgKMQQBjeoAxGGAMARhDAcYMAGNGgDETwJgZYMwCMGYFGLMBjNkBxhwAY06A8TeAMRfAmBtgzAMw5gUY8wGM+QHGAgBjQYCxEMBYGGAsAjAWBRiLAYzFAcYSAGNJgLEUwFgaYCwDMJYFGMsBjOUBxgoAY0WAsRLAWBlgrAIwVgUYqwGM1QHGGgBjTYAxDGCsBTDWBhjrAIx1AcZ6AGN9gLEBwNgQYGwEMDYGGJsAjE0BxmYAY3OAsQXA2BJgbAUwtgYY2wCMbQHGdgBje4CxA8DYEWDsBDB2Bhi7AIxdAcZuAGN3gPF3gLEHwNgTYOwFMPYGGPsAjH0Bxn4AY3+AcQDAOBBgHAQwDgYYhwCMQwHGYQDjcIBxBMA4EmAcBTCOBhjHAIxjAcZxAON4gHECwDgRYJwEME4GGKcAjFMBxmkA4x8A43SAcQbAOBNgnAUwzgYY5wCMcwHGeQDjfIBxAcC4EGBcBDAuBhiXAIxLAcZlAONygHEFwLgSYFwFMK4GGNcAjGsBxnUA43qAcQPAuBFg3AQwbgYYtwCMWwHGPwHGbQDjdoBxB8C4E2DcBTDuBhj3AIx7AcZ9AON+gPEAwHgQYDwEMB4GGI8AjEcBxmMA43GA8QTAeBJgPAUwngYYzwCMZwHGcwDjeYDxAsB4EWC8BDBeBhivAIx/AYxXAcZrAON1gPEGwHgTYLwFMN4GGO8AjHcBxnsA432A8QHA+BBgfAQwPgYYnwCMTwHGZwDjc4DxBcD4EmB8BTC+BhjfAIxvAcZ3AON7gNEn0r/f6AswRgAYIwKMkQDGyABjFIAxKsAYDWCMDjDGABhjAoyxAMbYAGOcT2CMbxvV55+3RN4yh/gFRnbuJNL/3FekSD7/8ea8zwjefp+Bfn7O/Ub09v06/+7/5yhe9PoHO/cb+RN4o+g+otl9xXXs0f77+kf5BO/X1+P6f7jvD9+P8v/gfUf+6H1H/uh9R/f55/d9zbDqLWsXbFy7TN0WdYo2C6tVt42vx8/+8DM8fyyCx499+HZCjx/78DvkbsT//uc97yfh/8+Pf/h5zhX68Av2zse7f/I//GmP5HHGD+8rosft8Wzj2O2ezr/fsnkH5R/R5z9/y/h4XBxvvh9fH+//K/QTXI8gX4/fCP/b+0gfGhpa0z/ML111v5BqgYHB1QLTBwSlDwgMCqhRPSB9qH9ojdCaNYP9g/wCAtLXqhFcI7BmuupB6WqFfKpr7B/p011jbxk/1dkT+/z7H0YkARiTAYzJAcYUAGNKgDEVwPgrwJgaYEwDMKYFGP0ARn+AMR3AGAAwBgKMQQBjeoAxGGAMARhDAcYMAGNGgDETwJgZYMwCMGYFGLMBjNkBxhwAY06A8TeAMRfAmBtgzAMw5gUY8wGM+QHGAgBjQYCxEMBYGGAsAjAWBRiLAYzFAcYSAGNJgLEUwFgaYCwDMJYFGMsBjOUBxgoAY0WAsRLAWBlgrAIwVgUYqwGM1QHGGgBjTYAxDGCsBTDWBhjrAIx1AcZ6AGN9gLEBwNgQYGwEMDYGGJsAjE0BxmYAY3OAsQXA2BJgbAUwtgYY2wCMbQHGdgBje4CxA8DYEWDsBDB2Bhi7AIxdAcZuAGN3gPF3gLEHwNgTYOwFMPYGGPsAjH0Bxn4AY3+AcQDAOBBgHAQwDgYYhwCMQwHGYQDjcIBxBMA4EmAcBTCOBhjHAIxjAcZxAON4gHECwDgRYJwEME4GGKcAjFMBxmkA4x8A43SAcQbAOBNgnAUwzgYY5wCMcwHGeQDjfIBxAcC4EGBcBDAuBhiXAIxLAcZlAONygHEFwLgSYFwFMK4GGNcAjGsBxnUA43qAcQPAuBFg3AQwbgYYtwCMWwHGPwHGbQDjdoBxB8C4E2DcBTDuBhj3AIx7AcZ9AON+gPEAwHgQYDwEMB4GGI8AjEcBxmMA43GA8QTAeBJgPAUwngYYzwCMZwHGcwDjeYDxAsB4EWC8BDBeBhivAIx/AYxXAcZrAON1gPEGwHgTYLwFMN4GGO8AjHcBxnsA432A8QHA+BBgfAQwPgYYnwCMTwHGZwDjc4DxBcD4EmB8BTC+BhjfAIxvAcZ3AON7gNG5w3+70RdgjAAwRgQYIwGMkQHGKABjVIAxGsAYHWCMATDGBBhjAYyxAcY4AGNcgPEzgDEewBgfYPwcYPwCYEwAMH4JMCYEGL8CGL8GGL8BGL8FGL8DGL8HGH8AGH8EGBMBjD8BjD8DjL8AjIkBxiQAY1KAMRnAmBxgTAEwpgQYUwGMvwKMqQHGNABjWoDRD2D0BxjTAYwBAGMgwBgEMKYHGIMBxhCAMRRgzAAwZgQYMwGMmQHGLABjVoAxG8CYHWDMATDmBBh/AxhzAYy5AcY8AGNegDEfwJgfYCwAMBYEGAsBjIUBxiIAY1GAsRjAWBxgLAEwlgQYSwGMpQHGMgBjWYCxHMBYHmCsADBWBBgrAYyVAcYqAGNVgLEawFgdYKwBMNYEGMMAxloAY22AsQ7AWBdgrAcw1gcYGwCMDQHGRgBjY4CxCcDYFGBsBjA2BxhbAIwtAcZWAGNrgLENwNgWYGwHMLYHGDsAjB0Bxk4AY2eAsQvA2BVg7AYwdgcYfwcYewCMPQHGXgBjb4CxD8DYF2DsBzD2BxgHAIwDAcZBAONggHEIwDgUYBwGMA4HGEcAjCMBxlEA42iAcQzAOBZgHAcwjgcYJwCMEwHGSQDjZIBxCsA4FWCcBjD+ATBOBxhnAIwzAcZZAONsgHEOwDgXYJwHMM4HGBcAjAsBxkUA42KAcQnAuBRgXAYwLgcYVwCMKwHGVQDjaoBxDcC4FmBcBzCuBxg3AIwbAcZNAONmgHELwLgVYPwTYNwGMG4HGHcAjDsBxl0A426AcQ/AuBdg3Acw7gcYDwCMBwHGQwDjYYDxCMB4FGA8BjAeBxhPAIwnAcZTAONpgPEMwHgWYDwHMJ4HGC8AjBcBxksA42WA8QrA+BfAeBVgvAYwXgcYbwCMNwHGWwDjbYDxDsB4F2C8BzDeBxgfAIwPAcZHAONjgPEJwPgUYHwGMD4HGF8AjC8BxlcA42uA8Q3A+BZgfAcwvgcYfSL8+42+AGMEgDEiwBgJYIwMMEYBGKMCjNEAxugAYwyAMSbAGAtgjA0wxgEY4wKMnwGM8QDG+ADj5wDjFwBjAoDxS4AxIcD4FcD4NcD4DcD4LcD4HcD4PcD4A8D4I8CYCGD8CWD8GWD8BWBMDDAmARiTAozJAMbkAGMKgDElwJgKYPwVYEwNMKYBGNMCjH4Aoz/AmA5gDAAYAwHGIIAxPcAYDDCGAIyhAGMGgDEjwJgJYMwMMGYBGLMCjNkAxuwAYw6AMSfA+BvAmAtgzA0w5gEY8wKM+QDG/ABjAYCxIMBYCGAsDDAWARiLAozFAMbiAGMJgLEkwFgKYCwNMJYBGMsCjOUAxvIAYwWAsSLAWAlgrAwwVgEYqwKM1QDG6gBjDYCxJsAYBjDWAhhrA4x1AMa6AGM9gLE+wNgAYGwIMDYCGBsDjE0AxqYAYzOAsTnA2AJgbAkwtgIYWwOMbQDGtgBjO4CxPcDYAWDsCDB2Ahg7A4xdAMauAGM3gLE7wPg7wNgDYOwJMPYCGHsDjH0Axr4AYz+AsT/AOABgHAgwDgIYBwOMQwDGoQDjMIBxOMA4AmAcCTCOAhhHA4xjAMaxAOM4gHE8wDgBYJwIME4CGCcDjFMAxqkA4zSA8Q+AcTrAOANgnAkwzgIYZwOMcwDGuQDjPIBxPsC4AGBcCDAuAhgXA4xLAMalAOMygHE5wLgCYFwJMK4CGFcDjGsAxrUA4zqAcT3AuAFg3AgwbgIYNwOMWwDGrQDjnwDjNoBxO8C4A2DcCTDuAhh3A4x7AMa9AOM+gHE/wHgAYDwIMB4CGA8DjEcAxqMA4zGA8TjAeAJgPAkwngIYTwOMZwDGswDjOYDxPMB4AWC8CDBeAhgvA4xXAMa/AMarAOM1gPE6wHgDYLwJMN4CGG8DjHcAxrsA4z2A8T7A+ABgfAgwPgIYHwOMTwDGpwDjM4DxOcD4AmB8CTC+AhhfA4xvAMa3AOM7gPE9wOgT8d9v9AUYIwCMEQHGSABjZIAxCsAYFWCMBjBGBxhjAIwxAcZYAGNsgDEOwBgXYPwMYIwHMMYHGD8HGL8AGBMAjF8CjAkBxq8Axq8Bxm8Axm8Bxu8Axu8Bxh8Axh8BxkQA408A488A4y8AY2KAMQnAmBRgTAYwJgcYUwCMKQHGVADjrwBjaoAxDcCYFmD0Axj9AcZ0AGMAwBgIMAYBjOkBxmCAMQRgDAUYMwCMGQHGTABjZoAxC8CYFWDMBjBmBxhzAIw5AcbfAMZcAGNugDEPwJgXYMwHMOYHGAsAjAUBxkIAY2GAsQjAWBRgLAYwFgcYSwCMJQHGUgBjaYCxDMBYFmAsBzCWBxgrAIwVAcZKAGNlgLEKwFgVYKwGMFYHGGsAjDUBxjCAsRbAWBtgrAMw1gUY6wGM9QHGBgBjQ4CxEcDYGGBsAjA2BRibAYzNAcYWAGNLgLEVwNgaYGwDMLYFGNsBjO0Bxg4AY0eAsRPA2Blg7AIwdgUYuwGM3QHG3wHGHgBjT4CxF8DYG2DsAzD2BRj7AYz9AcYBAONAgHEQwDgYYBwCMA4FGIcBjMMBxhEA40iAcRTAOBpgHAMwjgUYxwGM4wHGCQDjRIBxEsA4GWCcAjBOBRinAYx/AIzTAcYZAONMgHEWwDgbYJwDMM4FGOcBjPMBxgUA40KAcRHAuBhgXAIwLgUYlwGMywHGFQDjSoBxFcC4GmBcAzCuBRjXAYzrAcYNAONGgHETwLgZYNwCMG4FGP8EGLcBjNsBxh0A406AcRfAuBtg3AMw7gUY9wGM+wHGAwDjQYDxEMB4GGA8AjAeBRiPAYzHAcYTAONJgPEUwHgaYDwDMJ4FGM8BjOcBxgsA40WA8RLAeBlgvAIw/gUwXgUYrwGM1wHGGwDjTYDxFsB4G2C8AzDeBRjvAYz3AcYHAONDgPERwPgYYHwCMD4FGJ8BjM8BxhcA40uA8RXA+BpgfAMwvgUY3wGM7wFGn0j/fqMvwBgBYIwIMEYCGCMDjFEAxqgAYzSAMTrAGANgjAkwxgIYYwOMcbxo9PUwRrBvB+j+A9Wv9v2oPv+8JfLWOYJr+Ud27iTS/9yX8/FKz7cYHp4P/4zzYx/+Md9I/9giedsW6JfOud/I3r5f579tuo8vfT6hPTis1iey/31Nonr/fv/+PRjN7iuK3feH9xPZ41pF//Br78VfD8/37Wt9eD8ffjyix7cT+PzzFt3j2xE8nM5bTDvLx/+c57cjffRzYnncHiWccyfy8rk//nMd9SOj44th346r7kf977NG+US2yB/ZIn90XRxjfPt2WMO6LUo1CmtUo1nbJi3CahZsXNvX42d/+BmeP+b5L5sI4fy4r88/vzp3I/73z/nwz3je54d/7hP9iqWL4fOfv2I+H73/D+/vw9sHg/Nzonnf4/+Jzvn3fzVjeJzj49+VsTxu9/xTEuMTnNHz3wYf7vvD92OE877f+Xj3OsT8X65DzHAsMf8fXwdPQ/SPrDE8bo/m8WMRPjqL53/ZPf/5j39/e+9DRx5vET7BfX+4rwC/9IGBYcHpwvwD/Kv5pQutHhLkFxhUPX2If4h/UEhQzXQhAQFhIYEhwaHVQ4P9Qv0DA8L8awWFBtSyOwv6BA9HP8WZfb145vSQM0fw4pmDIWeO6MUzh0DOHMmLZw6FnDmyF8+cAXLmKF48c0bImaN68cyZIGf2i+S9M2eGnDmNF8+cxYVnzurCM2dz4Zmzu/DMOVx45pwuPPNvLjxzLheeObcLz5zHhWfO68Iz53PhmfO78MwFXHjmgi48cyEXnrmwC89cxIVnLurCMxdz4ZmLu/DMJVx45pIuPHMpF565tAvPXMaFZy7rwjOXc+GZy7vwzBVceOaKLjxzJReeubILz1zFhWeu6sIzV3Phmau78Mw1XHjmmi48c5gLz1zLhWeu7cIz13Hhmeu68Mz1XHjm+i48cwMXnrmhC8/cyIVnbuzCMzdx4ZmbuvDMzVx45uYuPHMLF565pQvP3MqFZ27twjO3ceGZ27rwzO1ceOb2LjxzBxeeuaMLz9zJhWfu7MIzd3Hhmbu68MzdXHjm7i488+8uPHMPF565pwvP3MuFZ+7twjP3ceGZ+7rwzP1ceOb+LjzzABeeeaALzzzIhWce7MIzD3HhmYe68MzDXHjm4S488wgXnnmkC888yoVnHu3CM49x4ZnHuvDM41x45vEuPPMEF555ogvPPMmFZ57swjNPceGZp7rwzNNceOY/XHjm6S488wzImf29eOaZLvx1ngU5szdf42e2C3+d57jwzHNdeOZ5LjzzfBeeeYELz7zQhWde5MIzL3bhmZe48MxLXXjmZS4883IXnnmFC8+80oVnXuXCM6924ZnXuPDMa1145nUuPPN6F555gwvPvNGFZ97kwjNvduGZt7jwzFtdeOY/XXjmbS4883YXnnmHC8+804Vn3uXCM+924Zn3uPDMe1145n0uPPN+F575gAvPfNCFZz7kwjMfduGZj7jwzEddeOZjLjzzcRee+YQLz3zShWc+5cIzn3bhmc+48MxnXXjmcy4883kXnvmCC898EXLmdF488yUX/jpfduGZr7jwzH+58MxXXXjmay4883XImaP5eO/MNyBnju7FM9+EnDmGF898C3LmmF48823ImWN58cx3IGeO7cUz34WcOY4Xz3wPcua4XjzzfciZP/PimR9AzhzPi2d+CDlzfC+e+RHkzJ978cyPIWf+wotnfgI5cwIvnvkp5MxfevHMzyBnTujFMz+HnPkrL575BeTMX3vxzC8hZ/7Gi2d+BTnzt14882vImb/z4pnfQM78vRfP/BZy5h+8eOZ3kDP/6MUzv4ecOZEXz+wTmXHmn7x4Zl/ImX/24pkjQM78ixfPHNGLZ/bVfUS0+4ob6Z/z+9o1cG5zfljv0ieKcp6P1vl7KOfvZZy/p3A+bu98HNv5uK7zcU7n437Ox8Gcjws5HydxPm7g/H+08/+Vzv9nOf/f4TwOdx6XOo/TnMctzn/Hnf+uOf+ed/69l0g5fy6c3yfOdUuskqikKplKrlKolCqV+lWlVmlUWueaKH+VzrnWKlAFqfQqWIWoUJVBZVSZVGaVRWW1X6fsKofKqX5TuVRulUflVflUflVAFVSFVGFVRBVVxVRxVUKVVKVUaVVGlVXlVHlVQVVUlVRlVUVVVdVUdVVD1VRhqpaqreqouqqeqq8aqIaqkWqsmqimqplqrlqolqqVaq3aqLaqnWqvOqiOqpPqrLqorqqb6q5+Vz1UT9VL9VZ9VF/VT/VXA9RANUgNVkPUUDVMDVcj1Eg1So1WY9RYNU6NVxPURDVJTVZT1FQ1Tf2hpqsZaqaapWarOWqumqfmqwVqoVqkFqslaqlapparFWqlWqVWqzVqrVqn1qsNaqPapDarLWqr+lNtU9vVDrVT7VK71R61V+1T+9UBdVAdUofVEXVUHVPH1Ql1Up1Sp9UZdVadU+fVBXVRXVKX1RX1l7qqrqnr6oa6qW6p2+qOuqvuqfvqgXqoHqnH6ol6qp6p5+qFeqleqdfqjXqr3qn3yvnD76siqIgqkoqsoqioKpqKrmKomCqWiq3iqLjqMxVPxVefqy9UAvWlSqi+Ul+rb9S36jv1vfpB/agSqZ/Uz+oXlVglUUlVMpVcpVApVSr1q0qt0qi0yvmXmr9KpwJUoApS6VWwClGhKoPKqDKpzCqLyqqyqewqh8qpflO5VG6VR+VV+VR+VUAVVIVUYVVEFVXFVHFVQpVUpVRpVUaVVeVUeVVBVVSVVGVVRVVV1VR1VUPVVGGqlqqt6qi6qp6qrxqohqqRaqyaqKaqmWquWqiWqpVqrdqotqqdaq86qI6qk+qsuqiuqpvqrn5XPVRP1Uv1Vn1UX9VP9VcD1EA1SA1WQ9RQNUwNVyPUSDVKjVZj1Fg1To1XE9RENUlNVlPUVDVN/aGmqxlqppqlZqs5aq6ap+arBWqhWqQWqyVqqVqmlqsVaqVapVarNWqtWqfWqw1qo9qkNqstaqv6U21T29UOtVPtUrvVHrVX7VP71QF1UB1Sh9URdVQdU8fVCXVSnVKn1Rl1Vp1T59UFdVFdUpfVFfWXuqquqevqhrqpbqnb6o66q+6p++qBeqgeqcfqiXqqnqnn6oV6qV6p1+qNeqveqffK+Q+/r4qgIqpIKrKKoqKqaCq6iqFiqlgqtoqj4qrPVDwVX32uvlAJ1JcqofpKfa2+Ud+q79T36gf1o0qkflI/q19UYpVEJVXJVHKVQqVUqdSvKrVKo9IqP+Wv0qkAFaiCVHoVrEJUqMqgMqpMKrPKorKqbCq7yqFyqt9ULpVb5VF5VT6VXxVQBVUhVVgVUUVVMVVclVAlVSlVWpVRZVU5VV5VUBVVJVVZVVFVVTVVXdVQNVWYqqVqqzqqrqqn6qsGqqFqpBqrJqqpaqaaqxaqpWqlWqs2qq1qp9qrDqqj6qQ6qy6qq+qmuqvfVQ/VU/VSvVUf1Vf1U/3VADVQDVKD1RA1VA1Tw9UINVKNUqPVGDVWjVPj1QQ1UU1Sk9UUNVVNU3+o6WqGmqlmqdlqjpqr5qn5aoFaqBapxWqJWqqWqeVqhVqpVqnVao1aq9ap9WqD2qg2qc1qi9qq/lTb1Ha1Q+1Uu9RutUftVfvUfnVAHVSH1GF1RB1Vx9RxdUKdVKfUaXVGnVXn1Hl1QV1Ul9RldUX9pa6qa+q6uqFuqlvqtrqj7qp76r56oB6qR+qxeqKeqmfquXqhXqpX6rV6o96qd+q9ch70+6oIKqKKpCKrKCqqiqaiqxgqpoqlYqs4Kq76TMVT8dXn6guVQH2pEqqv1NfqG/Wt+k59r35QP6pE6if1s/pFJVZJVFKVTCVXKVRKlUr9qlKrNCqt8lP+Kp0KUIEqSKVXwSpEhaoMKqPKpDKrLCqryqayqxwqp/pN5VK5VR6VV+VT+VUBVVAVUoVVEVVUFVPFVQlVUpVSpVUZVVaVU+VVBVVRVVKVVRVVVVVT1VUNVVOFqVqqtqqj6qp6qr5qoBqqRqqxaqKaqmaquWqhWqpWqrVqo9qqdqq96qA6qk6qs+qiuqpuqrv6XfVQPVUv1Vv1UX1VP9VfDVAD1SA1WA1RQ9UwNVyNUCPVKDVajVFj1Tg1Xk1QE9UkNVlNUVPVNPWHmq5mqJlqlpqt5qi5ap6arxaohWqRWqyWqKVqmVquVqiVapVardaotWqdWq82qI1qk9qstqit6k+1TW1XO9ROtUvtVnvUXrVP7VcH1EF1SB1WR9RRdUwdVyfUSXVKnVZn1Fl1Tp1XF9RFdUldVlfUX+qquqauqxvqprqlbqs76q66p+6rB+qheqQeqyfqqXqmnqsX6qV6pV6rN+qteqfeK+d/+H1VBBVRRVKRVRQVVUVT0VUMFVPFUrFVHI+PHxywDdKPpVfBKkSFqgwqo8qkMqssKqvzMUqVXeVQOdVvKpfKrfKovCqfyq8KqIKqkCqsiqiiqpgqrkqokqqUKq3KqLKqnCqvKqiKqpKqrKqoqqqaqq5qqJoqTNVStVUdVVfVU/VVA9VQNVKNVRPVVDVTzVUL1VK1Uq1VG9VWtVPtVQfVUXVSnVUX1VV1U93V76qH6ql6qd6qj+qr+qn+aoAaqAapwcp5DXvnNd2d1zh3XvPbeQ1s5zWhnddIdl4z2HkNXec1ZZ3XWHVec9R5DU7nNSmd12h0XrPQeQ0/5zXtnNd4c17zzHkNMOc1sZzXiHJeM8l5DSHnNXWc15hxXnPFeQ2SBcp5jQrnNRuc1zBwntPfeY575znfnedAd54T3HmObOc5o53nUHaeU9h5jl3nOWed52B1npPUeY5O5zkrnedwdJ7T0HmOP+c575zngHOeE815jjDnObOc55BynlPJeY4h5zl3nOegcZ6TxXmOEuc5O5znsHCe08F5jgPna/6dr4F3vibc+Rpp52uGna+hdb6m1PkaS+drDp2vwXO+Js35Gi3na5acr+FxvqbF+RoP52senK8BcD4n3vkccedzpp3PIXY+p9b5HFPncy6dz0F0PifP+Rw153O2nM9hcj6nx/kcF+dzPpzPgXA+J8D5O3Ln74ydv0N1/k7R+Ts25++cnL+Dcf5OwvkYvfNBNudjuM7HNJ2P8fn+88fp749rOW/f2VZr0SKsYZMWiVo0TlStZs1Ereu2qJOocauwZrUaNG7t8/8BDtcd4PccBgA=",
2567
+ "debug_symbols": "1ZnNaoNAFIXfZdYS5v7Mn69SughtCoGQlMad+O7V1tFIB4QpLZyVCufMPd47zAfam8vt5didb9e7aXtDZNqn3tzfj9fp8d4dPzrT2sacrq/jdWjM2/lyMi2FODQ/dJRCmKWUUlrUqgUxS+RZzCqrmGxxaVKveW1yHDf658YQwyYX2OQKm9zBJvewyQNs8gibPKEmZwubHJahDMtQhmUowzKUYRnKsAxlWIYyLEMZlqECy1CBZajAMlRgGSqwDBVYhgosQwWWoQLLUIFlqMIyVGEZqrAMVViG6j8y1JHPyV3wv05eZCiJLC4NtJPfc44f6aGVPnwVKKKOgqRcIKS4UyByyNOKYh/aOd5PJcLflyjCgxLlNrEl3ZSYTMVzmy2vpuj39oa65S2c8Lo35DvWoRyMhJepiyyuFGdXqnKRrbNRna14kFFcG5JoHWvMDSn/EdrYWAo2rbO5OpuvsKVD+Rvjzh4ZbVJnK7fEervOzW7mNgyf"
2568
+ }
2569
+ ],
2570
+ "events": [],
2571
+ "file_map": {
2572
+ "43": {
2573
+ "source": "use crate::context::{PrivateContext, PublicContext};\nuse crate::oracle;\nuse dep::protocol_types::{\n address::AztecAddress,\n grumpkin_point::GrumpkinPoint,\n};\n\npub fn emit_encrypted_log<N>(\n context: &mut PrivateContext,\n contract_address: AztecAddress,\n storage_slot: Field,\n encryption_pub_key: GrumpkinPoint,\n log: [Field; N]\n) {\n let _ = oracle::logs::emit_encrypted_log(contract_address, storage_slot, encryption_pub_key, log);\n context.accumulate_encrypted_logs(log);\n}\n\npub fn emit_unencrypted_log<T>(context: &mut PublicContext, log: T) {\n let contract_address = context.this_address();\n let event_selector = 5; // TODO: compute actual event selector.\n let _ = oracle::logs::emit_unencrypted_log(contract_address, event_selector, log);\n // context.accumulate_unencrypted_logs(log);\n}\n\n// TODO: We might want to remove this since emitting unencrypted logs from private functions is violating privacy.\n// --> might be a better approach to force devs to make a public function call that emits the log if needed then\n// it would be less easy to accidentally leak information.\n// If we decide to keep this function around would make sense to wait for traits and then merge it with emit_unencrypted_log.\npub fn emit_unencrypted_log_from_private<T>(context: &mut PrivateContext, log: T) {\n let contract_address = context.this_address();\n let event_selector = 5; // TODO: compute actual event selector.\n let _ = oracle::logs::emit_unencrypted_log(contract_address, event_selector, log);\n // context.accumulate_unencrypted_logs(log);\n}\n",
2574
+ "path": "/usr/src/yarn-project/aztec-nr/aztec/src/log.nr"
2575
+ },
2576
+ "44": {
2577
+ "source": "use dep::protocol_types::{\n abis::{\n call_context::CallContext,\n private_circuit_public_inputs::PrivateCircuitPublicInputs,\n public_circuit_public_inputs::PublicCircuitPublicInputs,\n },\n address::{AztecAddress, EthAddress},\n contrakt::deployment_data::ContractDeploymentData,\n hash::hash_args,\n traits::{Hash, Serialize},\n header::Header,\n};\n\n// docs:start:private-global-variables\nstruct PrivateGlobalVariables {\n chain_id: Field,\n version: Field,\n}\n// docs:end:private-global-variables\n\nimpl Serialize<2> for PrivateGlobalVariables {\n fn serialize(self) -> [Field; 2] {\n [self.chain_id, self.version]\n }\n}\n\n// docs:start:public-global-variables\nstruct PublicGlobalVariables {\n chain_id: Field,\n version: Field,\n block_number: Field,\n timestamp: Field,\n coinbase: EthAddress,\n fee_recipient: AztecAddress,\n}\n// docs:end:public-global-variables\n\nimpl Serialize<6> for PublicGlobalVariables {\n fn serialize(self) -> [Field; 6] {\n [\n self.chain_id,\n self.version,\n self.block_number,\n self.timestamp,\n self.coinbase.to_field(),\n self.fee_recipient.to_field(),\n ]\n }\n}\n\n// PrivateContextInputs are expected to be provided to each private function\n// docs:start:private-context-inputs\nstruct PrivateContextInputs {\n call_context : CallContext,\n historical_header: Header,\n contract_deployment_data: ContractDeploymentData,\n private_global_variables: PrivateGlobalVariables,\n}\n// docs:end:private-context-inputs\n\n// PublicContextInputs are expected to be provided to each public function\n// docs:start:public-context-inputs\nstruct PublicContextInputs {\n call_context: CallContext,\n historical_header: Header,\n\n public_global_variables: PublicGlobalVariables,\n}\n// docs:end:public-context-inputs\n\nstruct Hasher {\n fields: [Field],\n}\n\nimpl Hash for Hasher {\n fn hash(self) -> Field {\n hash_args(self.fields)\n }\n}\n\nimpl Hasher {\n pub fn new()-> Self {\n Self { fields: [] }\n }\n\n pub fn add(&mut self, field: Field) {\n self.fields = self.fields.push_back(field);\n }\n\n pub fn add_multiple<N>(&mut self, fields: [Field; N]) {\n for i in 0..N {\n self.fields = self.fields.push_back(fields[i]);\n }\n }\n}\n",
2578
+ "path": "/usr/src/yarn-project/aztec-nr/aztec/src/abi.nr"
2579
+ },
2580
+ "83": {
2581
+ "source": "// Utility function to console.log data in the acir simulator\n// WARNING: sometimes when using debug logs the ACVM errors with: `thrown: \"solver opcode resolution error: cannot solve opcode: expression has too many unknowns x155\"`\n\n#[oracle(debugLog)]\nfn debug_log_oracle<T, N>(_msg: T, _num_args: Field) -> Field {}\n#[oracle(debugLog)]\nfn debug_log_format_oracle<T, N>(_msg: T, _args: [Field; N], _num_args: Field) -> Field {}\n#[oracle(debugLog)]\nfn debug_log_field_oracle(_field: Field) -> Field {}\n#[oracle(debugLog)]\nfn debug_log_array_oracle<T, N>(_arbitrary_array: [T; N]) -> Field {}\n#[oracle(debugLogWithPrefix)]\nfn debug_log_array_with_prefix_oracle<S, T, N>(_prefix: S, _arbitrary_array: [T; N]) -> Field {}\n\n/// NOTE: call this with a str<N> msg of length > 1\n/// Example:\n/// `debug_log(\"blah blah this is a debug string\");`\nunconstrained pub fn debug_log<T>(msg: T) {\n assert(debug_log_oracle(msg, 0) == 0);\n}\n\n/// NOTE: call this with a str<N> msg of form\n/// \"some string with {0} and {1} ... {N}\"\n/// and an array of N field which will be formatted\n/// into the string in the simulator.\n/// Example:\n/// debug_log_format(\"get_2(slot:{0}) =>\\n\\t0:{1}\\n\\t1:{2}\", [storage_slot, note0_hash, note1_hash]);\nunconstrained pub fn debug_log_format<T, N>(msg: T, args: [Field; N]) {\n assert(debug_log_format_oracle(msg, args, args.len()) == 0);\n}\n\n/// Example:\n/// `debug_log_field(my_field);`\nunconstrained pub fn debug_log_field(field: Field) {\n assert(debug_log_field_oracle(field) == 0);\n}\n\n/// Example:\n/// `debug_log_array(my_array);`\nunconstrained fn debug_log_array<T, N>(arbitrary_array: [T; N]) {\n assert(debug_log_array_oracle(arbitrary_array) == 0);\n}\n\n/// Example:\n/// `debug_log_array_with_prefix(\"Prefix\", my_array);`\nunconstrained pub fn debug_log_array_with_prefix<S, T, N>(prefix: S, arbitrary_array: [T; N]) {\n assert(debug_log_array_with_prefix_oracle(prefix, arbitrary_array) == 0);\n}\n",
2582
+ "path": "/usr/src/yarn-project/aztec-nr/aztec/src/oracle/debug_log.nr"
2583
+ },
2584
+ "98": {
2585
+ "source": "use dep::protocol_types::{\n address::AztecAddress,\n constants::NUM_FIELDS_PER_SHA256,\n grumpkin_point::GrumpkinPoint,\n};\n\n// TODO: Should take encrypted data.\n#[oracle(emitEncryptedLog)]\nfn emit_encrypted_log_oracle<N>(\n _contract_address: AztecAddress,\n _storage_slot: Field,\n _encryption_pub_key: GrumpkinPoint,\n _preimage: [Field; N]\n) -> Field {}\n\nunconstrained pub fn emit_encrypted_log<N>(\n contract_address: AztecAddress,\n storage_slot: Field,\n encryption_pub_key: GrumpkinPoint,\n preimage: [Field; N]\n) -> [Field; NUM_FIELDS_PER_SHA256] {\n [emit_encrypted_log_oracle(contract_address, storage_slot, encryption_pub_key, preimage), 0]\n}\n\n#[oracle(emitUnencryptedLog)]\nfn emit_unencrypted_log_oracle<T>(_contract_address: AztecAddress, _event_selector: Field, _message: T) -> Field {}\n\nunconstrained pub fn emit_unencrypted_log<T>(\n contract_address: AztecAddress,\n event_selector: Field,\n message: T\n) -> [Field; NUM_FIELDS_PER_SHA256] {\n // https://github.com/AztecProtocol/aztec-packages/issues/885\n [emit_unencrypted_log_oracle(contract_address, event_selector, message), 0]\n}\n",
2586
+ "path": "/usr/src/yarn-project/aztec-nr/aztec/src/oracle/logs.nr"
2587
+ },
2588
+ "100": {
2589
+ "source": "use crate::{\n abi::PrivateContextInputs,\n key::nullifier_key::validate_nullifier_key_against_address,\n messaging::process_l1_to_l2_message,\n oracle::{\n arguments,\n call_private_function::call_private_function_internal,\n enqueue_public_function_call::enqueue_public_function_call_internal,\n context::get_portal_address,\n header::get_header_at,\n nullifier_key::{get_nullifier_key_pair, NullifierKeyPair},\n },\n};\nuse dep::protocol_types::{\n abis::{\n call_context::CallContext,\n function_data::FunctionData,\n function_selector::FunctionSelector,\n nullifier_key_validation_request::NullifierKeyValidationRequest,\n private_call_stack_item::PrivateCallStackItem,\n private_circuit_public_inputs::PrivateCircuitPublicInputs,\n public_call_stack_item::PublicCallStackItem,\n public_circuit_public_inputs::PublicCircuitPublicInputs,\n side_effect::{SideEffect, SideEffectLinkedToNoteHash},\n },\n address::{\n AztecAddress,\n EthAddress,\n },\n constants::{\n MAX_NEW_COMMITMENTS_PER_CALL,\n MAX_NEW_L2_TO_L1_MSGS_PER_CALL,\n MAX_NEW_NULLIFIERS_PER_CALL,\n MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL,\n MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL,\n MAX_PUBLIC_DATA_READS_PER_CALL,\n MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL,\n MAX_READ_REQUESTS_PER_CALL,\n MAX_NULLIFIER_KEY_VALIDATION_REQUESTS_PER_CALL,\n NUM_FIELDS_PER_SHA256,\n RETURN_VALUES_LENGTH,\n },\n contract_class::ContractClassId,\n contrakt::{\n deployment_data::ContractDeploymentData,\n storage_read::StorageRead,\n storage_update_request::StorageUpdateRequest,\n },\n grumpkin_private_key::GrumpkinPrivateKey,\n hash::hash_args,\n header::Header,\n utils::reader::Reader,\n};\nuse dep::std::option::Option;\n\n// TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n// use dep::std::collections::vec::Vec;\n\n// When finished, one can call .finish() to convert back to the abi\nstruct PrivateContext {\n // docs:start:private-context\n inputs: PrivateContextInputs,\n side_effect_counter: u32,\n\n meta_hwm: u32,\n\n args_hash : Field,\n return_values : BoundedVec<Field, RETURN_VALUES_LENGTH>,\n\n read_requests: BoundedVec<SideEffect, MAX_READ_REQUESTS_PER_CALL>,\n nullifier_key_validation_requests: BoundedVec<NullifierKeyValidationRequest, MAX_NULLIFIER_KEY_VALIDATION_REQUESTS_PER_CALL>,\n\n new_commitments: BoundedVec<SideEffect, MAX_NEW_COMMITMENTS_PER_CALL>,\n new_nullifiers: BoundedVec<SideEffectLinkedToNoteHash, MAX_NEW_NULLIFIERS_PER_CALL>,\n\n private_call_stack_hashes : BoundedVec<Field, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>,\n public_call_stack_hashes : BoundedVec<Field, MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL>,\n new_l2_to_l1_msgs : BoundedVec<Field, MAX_NEW_L2_TO_L1_MSGS_PER_CALL>,\n // docs:end:private-context\n\n // Header of a block whose state is used during private execution (not the block the transaction is included in).\n historical_header: Header,\n\n // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n // encrypted_logs_preimages: Vec<Field>,\n // unencrypted_logs_preimages: Vec<Field>,\n\n nullifier_key: Option<NullifierKeyPair>,\n}\n\nimpl PrivateContext {\n pub fn new(inputs: PrivateContextInputs, args_hash: Field) -> PrivateContext {\n PrivateContext {\n inputs: inputs,\n side_effect_counter: inputs.call_context.start_side_effect_counter,\n meta_hwm: 0,\n\n args_hash: args_hash,\n return_values: BoundedVec::new(0),\n\n read_requests: BoundedVec::new(SideEffect::empty()),\n nullifier_key_validation_requests: BoundedVec::new(NullifierKeyValidationRequest::empty()),\n\n new_commitments: BoundedVec::new(SideEffect::empty()),\n new_nullifiers: BoundedVec::new(SideEffectLinkedToNoteHash::empty()),\n\n historical_header: inputs.historical_header,\n\n private_call_stack_hashes: BoundedVec::new(0),\n public_call_stack_hashes: BoundedVec::new(0),\n new_l2_to_l1_msgs: BoundedVec::new(0),\n\n // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n // encrypted_logs_preimages: Vec::new(),\n // unencrypted_logs_preimages: Vec::new(),\n\n nullifier_key: Option::none(),\n }\n }\n\n pub fn msg_sender(self) -> AztecAddress {\n self.inputs.call_context.msg_sender\n }\n\n pub fn this_address(self) -> AztecAddress {\n self.inputs.call_context.storage_contract_address\n }\n\n pub fn this_portal_address(self) -> EthAddress {\n self.inputs.call_context.portal_contract_address\n }\n\n pub fn chain_id(self) -> Field {\n self.inputs.private_global_variables.chain_id\n }\n\n pub fn version(self) -> Field {\n self.inputs.private_global_variables.version\n }\n\n pub fn selector(self) -> FunctionSelector {\n self.inputs.call_context.function_selector\n }\n\n // Returns the header of a block whose state is used during private execution (not the block the transaction is\n // included in).\n pub fn get_header(self) -> Header {\n self.historical_header\n }\n\n // Returns the header of an arbitrary block whose block number is less than or equal to the block number\n // of historical header.\n pub fn get_header_at(self, block_number: u32) -> Header {\n get_header_at(block_number, self)\n }\n\n pub fn finish(self) -> PrivateCircuitPublicInputs {\n // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n let encrypted_logs_hash = [0; NUM_FIELDS_PER_SHA256];\n let unencrypted_logs_hash = [0; NUM_FIELDS_PER_SHA256];\n let encrypted_log_preimages_length = 0;\n let unencrypted_log_preimages_length = 0;\n\n let priv_circuit_pub_inputs = PrivateCircuitPublicInputs {\n call_context: self.inputs.call_context,\n args_hash: self.args_hash,\n return_values: self.return_values.storage,\n meta_hwm: self.meta_hwm,\n read_requests: self.read_requests.storage,\n nullifier_key_validation_requests: self.nullifier_key_validation_requests.storage,\n new_commitments: self.new_commitments.storage,\n new_nullifiers: self.new_nullifiers.storage,\n private_call_stack_hashes: self.private_call_stack_hashes.storage,\n public_call_stack_hashes: self.public_call_stack_hashes.storage,\n new_l2_to_l1_msgs: self.new_l2_to_l1_msgs.storage,\n end_side_effect_counter: self.side_effect_counter,\n encrypted_logs_hash: encrypted_logs_hash,\n unencrypted_logs_hash: unencrypted_logs_hash,\n encrypted_log_preimages_length: encrypted_log_preimages_length,\n unencrypted_log_preimages_length: unencrypted_log_preimages_length,\n historical_header: self.historical_header,\n contract_deployment_data: self.inputs.contract_deployment_data,\n chain_id: self.inputs.private_global_variables.chain_id,\n version: self.inputs.private_global_variables.version,\n };\n priv_circuit_pub_inputs\n }\n\n pub fn push_read_request(&mut self, read_request: Field) {\n let side_effect = SideEffect {\n value: read_request,\n counter: self.side_effect_counter,\n };\n self.read_requests.push(side_effect);\n self.side_effect_counter = self.side_effect_counter + 1;\n }\n\n pub fn push_new_note_hash(&mut self, note_hash: Field) {\n let side_effect = SideEffect {\n value: note_hash,\n counter: self.side_effect_counter,\n };\n self.new_commitments.push(side_effect);\n self.side_effect_counter = self.side_effect_counter + 1;\n }\n\n pub fn push_new_nullifier(&mut self, nullifier: Field, nullified_commitment: Field) {\n let side_effect = SideEffectLinkedToNoteHash {\n value: nullifier,\n note_hash: nullified_commitment,\n counter: self.side_effect_counter,\n };\n self.new_nullifiers.push(side_effect);\n self.side_effect_counter = self.side_effect_counter + 1;\n }\n\n pub fn request_nullifier_secret_key(&mut self, account: AztecAddress) -> GrumpkinPrivateKey {\n let key_pair = if self.nullifier_key.is_none() {\n let key_pair = get_nullifier_key_pair(account);\n validate_nullifier_key_against_address(account, key_pair.public_key);\n let request = NullifierKeyValidationRequest { public_key: key_pair.public_key, secret_key: key_pair.secret_key };\n self.nullifier_key_validation_requests.push(request);\n self.nullifier_key = Option::some(key_pair);\n key_pair\n } else {\n let key_pair = self.nullifier_key.unwrap_unchecked();\n // If MAX_NULLIFIER_KEY_VALIDATION_REQUESTS_PER_CALL is larger than 1, need to update the way the key pair is cached.\n assert(MAX_NULLIFIER_KEY_VALIDATION_REQUESTS_PER_CALL == 1);\n assert(key_pair.account == account, \"Cannot query nullifier key for more than one account per call\");\n key_pair\n };\n key_pair.secret_key\n }\n\n // docs:start:context_message_portal\n pub fn message_portal(&mut self, content: Field)\n // docs:end:context_message_portal\n {\n self.new_l2_to_l1_msgs.push(content);\n }\n\n // PrivateContextInputs must be temporarily passed in to prevent too many unknowns\n // Note this returns self to get around an issue where mutable structs do not maintain mutations unless reassigned\n // docs:start:context_consume_l1_to_l2_message\n // docs:start:consume_l1_to_l2_message\n pub fn consume_l1_to_l2_message(\n &mut self,\n msg_key: Field,\n content: Field,\n secret: Field\n )\n // docs:end:context_consume_l1_to_l2_message\n {\n let nullifier = process_l1_to_l2_message(self.historical_header.state.l1_to_l2_message_tree.root, self.this_address(), self.this_portal_address(), self.chain_id(), self.version(), msg_key, content, secret);\n\n // Push nullifier (and the \"commitment\" corresponding to this can be \"empty\")\n self.push_new_nullifier(nullifier, 0)\n }\n // docs:end:consume_l1_to_l2_message\n\n pub fn accumulate_encrypted_logs<N>(&mut self, log: [Field; N]) {\n let _void1 = self.inputs;\n let _void2 = log;\n // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n }\n\n pub fn accumulate_unencrypted_logs<T>(&mut self, log: T) {\n let _void1 = self.inputs;\n let _void2 = log;\n // TODO(https://github.com/AztecProtocol/aztec-packages/issues/1165)\n }\n\n pub fn call_private_function<ARGS_COUNT>(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n args: [Field; ARGS_COUNT]\n ) -> [Field; RETURN_VALUES_LENGTH] {\n let args_hash = hash_args(args);\n assert(args_hash == arguments::pack_arguments(args));\n self.call_private_function_with_packed_args(contract_address, function_selector, args_hash)\n }\n\n pub fn call_private_function_no_args(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n ) -> [Field; RETURN_VALUES_LENGTH] {\n self.call_private_function_with_packed_args(contract_address, function_selector, 0)\n }\n\n pub fn call_private_function_with_packed_args(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n args_hash: Field\n ) -> [Field; RETURN_VALUES_LENGTH] {\n let item = call_private_function_internal(\n contract_address,\n function_selector,\n args_hash,\n self.side_effect_counter,\n );\n\n assert_eq(item.public_inputs.call_context.start_side_effect_counter, self.side_effect_counter);\n self.side_effect_counter = item.public_inputs.end_side_effect_counter + 1;\n\n assert(contract_address.eq(item.contract_address));\n assert(function_selector.eq(item.function_data.selector));\n\n assert(args_hash == item.public_inputs.args_hash);\n\n // Assert that the call context of the enqueued call generated by the oracle matches our request.\n // We are issuing a regular call which is not delegate, static, or deployment. We also constrain\n // the msg_sender in the nested call to be equal to our address, and the execution context address\n // for the nested call to be equal to the address we actually called.\n assert(item.public_inputs.call_context.is_delegate_call == false);\n assert(item.public_inputs.call_context.is_static_call == false);\n assert(item.public_inputs.call_context.is_contract_deployment == false);\n assert(item.public_inputs.call_context.msg_sender.eq(self.inputs.call_context.storage_contract_address));\n assert(item.public_inputs.call_context.storage_contract_address.eq(contract_address));\n\n self.private_call_stack_hashes.push(item.hash());\n\n item.public_inputs.return_values\n }\n\n pub fn call_public_function<ARGS_COUNT>(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n args: [Field; ARGS_COUNT]\n ) {\n let args_hash = hash_args(args);\n assert(args_hash == arguments::pack_arguments(args));\n self.call_public_function_with_packed_args(contract_address, function_selector, args_hash)\n }\n\n pub fn call_public_function_no_args(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n ) {\n self.call_public_function_with_packed_args(contract_address, function_selector, 0)\n }\n\n pub fn call_public_function_with_packed_args(\n &mut self,\n contract_address: AztecAddress,\n function_selector: FunctionSelector,\n args_hash: Field\n ) {\n let fields = enqueue_public_function_call_internal(\n contract_address,\n function_selector,\n args_hash,\n self.side_effect_counter\n );\n\n let mut reader = Reader::new(fields);\n\n // Note: Not using PublicCirclePublicInputs::deserialize here, because everything below args_hash is 0 and\n // there is no more data in fields because there is only ENQUEUE_PUBLIC_FUNCTION_CALL_RETURN_SIZE fields!\n let item = PublicCallStackItem {\n contract_address: AztecAddress::from_field(reader.read()),\n function_data: reader.read_struct(FunctionData::deserialize),\n public_inputs: PublicCircuitPublicInputs {\n call_context: reader.read_struct(CallContext::deserialize),\n args_hash: reader.read(),\n return_values: [0; RETURN_VALUES_LENGTH],\n contract_storage_update_requests: [StorageUpdateRequest::empty(); MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL],\n contract_storage_reads: [StorageRead::empty(); MAX_PUBLIC_DATA_READS_PER_CALL],\n public_call_stack_hashes: [0; MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL],\n new_commitments: [SideEffect::empty(); MAX_NEW_COMMITMENTS_PER_CALL],\n new_nullifiers: [SideEffectLinkedToNoteHash::empty(); MAX_NEW_NULLIFIERS_PER_CALL],\n new_l2_to_l1_msgs:[0; MAX_NEW_L2_TO_L1_MSGS_PER_CALL],\n unencrypted_logs_hash:[0; NUM_FIELDS_PER_SHA256],\n unencrypted_log_preimages_length: 0,\n historical_header: Header::empty(),\n prover_address: AztecAddress::zero(),\n },\n is_execution_request: true,\n };\n reader.finish();\n\n assert(contract_address.eq(item.contract_address));\n assert(function_selector.eq(item.function_data.selector));\n\n assert_eq(item.public_inputs.call_context.start_side_effect_counter, self.side_effect_counter);\n // We increment the sideffect counter by one, to account for the call itself being a side effect.\n self.side_effect_counter = self.side_effect_counter + 1;\n\n assert(args_hash == item.public_inputs.args_hash);\n\n // Assert that the call context of the enqueued call generated by the oracle matches our request.\n // We are issuing a regular call which is not delegate, static, or deployment. We also constrain\n // the msg_sender in the nested call to be equal to our address, and the execution context address\n // for the nested call to be equal to the address we actually called.\n assert(item.public_inputs.call_context.is_delegate_call == false);\n assert(item.public_inputs.call_context.is_static_call == false);\n assert(item.public_inputs.call_context.is_contract_deployment == false);\n assert(item.public_inputs.call_context.msg_sender.eq(self.inputs.call_context.storage_contract_address));\n assert(item.public_inputs.call_context.storage_contract_address.eq(contract_address));\n\n self.public_call_stack_hashes.push(item.hash());\n }\n}\n",
2590
+ "path": "/usr/src/yarn-project/aztec-nr/aztec/src/context/private.nr"
2591
+ },
2592
+ "108": {
2593
+ "source": "use crate::address::{AztecAddress, EthAddress};\nuse crate::mocked::VerificationKey;\nuse crate::abis::function_selector::FunctionSelector;\nuse crate::abis::function_leaf_preimage::{ContractClassFunctionLeafPreimage, FunctionLeafPreimage};\nuse crate::contract_class::ContractClassId;\nuse crate::abis::new_contract_data::NewContractData as ContractLeafPreimage;\nuse crate::abis::function_data::FunctionData;\nuse crate::abis::side_effect::{SideEffect};\nuse crate::utils::uint256::U256;\nuse crate::constants::{\n ARGS_HASH_CHUNK_COUNT,\n ARGS_HASH_CHUNK_LENGTH,\n CONTRACT_TREE_HEIGHT, \n FUNCTION_TREE_HEIGHT, \n NOTE_HASH_TREE_HEIGHT,\n NUM_FIELDS_PER_SHA256,\n GENERATOR_INDEX__SILOED_COMMITMENT,\n GENERATOR_INDEX__OUTER_NULLIFIER,\n GENERATOR_INDEX__VK,\n GENERATOR_INDEX__CONSTRUCTOR,\n GENERATOR_INDEX__PARTIAL_ADDRESS,\n GENERATOR_INDEX__CONTRACT_ADDRESS,\n GENERATOR_INDEX__COMMITMENT_NONCE,\n GENERATOR_INDEX__UNIQUE_COMMITMENT,\n GENERATOR_INDEX__FUNCTION_ARGS,\n};\n\nuse dep::std::hash::{pedersen_hash_with_separator, sha256};\n\npub fn sha256_to_field<N>(bytes_to_hash: [u8; N]) -> Field {\n let sha256_hashed = sha256(bytes_to_hash);\n\n // Convert it to a field element\n let mut v = 1;\n let mut high = 0 as Field;\n let mut low = 0 as Field;\n\n for i in 0..16 {\n high = high + (sha256_hashed[15 - i] as Field) * v;\n low = low + (sha256_hashed[16 + 15 - i] as Field) * v;\n v = v * 256;\n }\n\n // Abuse that a % p + b % p = (a + b) % p and that low < p\n let hash_in_a_field = low + high * v;\n\n hash_in_a_field\n}\n\npub fn hash_args<N>(args: [Field; N]) -> Field {\n if args.len() == 0 {\n 0\n } else {\n let mut chunks_hashes = [0; ARGS_HASH_CHUNK_COUNT];\n for i in 0..ARGS_HASH_CHUNK_COUNT {\n let mut chunk_hash = 0;\n let start_chunk_index = i * ARGS_HASH_CHUNK_LENGTH;\n if start_chunk_index < (args.len() as u32) {\n let mut chunk_args = [0; ARGS_HASH_CHUNK_LENGTH];\n for j in 0..ARGS_HASH_CHUNK_LENGTH {\n let item_index = i * ARGS_HASH_CHUNK_LENGTH + j;\n if item_index < (args.len() as u32) {\n chunk_args[j] = args[item_index];\n }\n }\n chunk_hash = pedersen_hash(chunk_args, GENERATOR_INDEX__FUNCTION_ARGS);\n }\n chunks_hashes[i] = chunk_hash;\n }\n pedersen_hash(chunks_hashes, GENERATOR_INDEX__FUNCTION_ARGS)\n }\n}\n\n// Checks that `value` is a member of a merkle tree with root `root` at position `index`\n// The witness being the `sibling_path`\npub fn assert_check_membership<N>(value: Field, index: Field, sibling_path: [Field; N], root: Field) {\n let calculated_root = root_from_sibling_path(value, index, sibling_path);\n assert(calculated_root == root, \"membership check failed\");\n}\n\n// Calculate the Merkle tree root from the sibling path and leaf.\n//\n// The leaf is hashed with its sibling, and then the result is hashed\n// with the next sibling etc in the path. The last hash is the root.\n//\n// TODO(David/Someone): The cpp code is using a uint256, whereas its\n// TODO a bit simpler in Noir to just have a bit array.\n// TODO: I'd generally like to avoid u256 for algorithms like \n// this because it means we never even need to consider cases where \n// the index is greater than p.\npub fn root_from_sibling_path<N>(leaf: Field, leaf_index: Field, sibling_path: [Field; N]) -> Field {\n let mut node = leaf;\n let indices = leaf_index.to_le_bits(N);\n\n for i in 0..N {\n let (hash_left, hash_right) = if indices[i] == 1 {\n (sibling_path[i], node)\n } else {\n (node, sibling_path[i])\n };\n node = merkle_hash(hash_left, hash_right);\n }\n node\n}\n\n// Calculate the function tree root from the sibling path and leaf preimage.\n//\n// TODO: The cpp code passes in components of the FunctionLeafPreimage and then \n// builds it up. We should build it up and then pass the leaf preimage as a parameter.\n// We can then choose to have a general method that takes in anything hashable\n// and deduplicate the logic in `contract_tree_root_from_siblings`\npub fn function_tree_root_from_siblings(\n selector: FunctionSelector,\n is_internal: bool,\n is_private: bool,\n vk_hash: Field,\n acir_hash: Field,\n function_leaf_index: Field,\n function_leaf_sibling_path: [Field; FUNCTION_TREE_HEIGHT]\n) -> Field {\n let function_leaf_preimage = FunctionLeafPreimage { selector, is_internal, is_private, vk_hash, acir_hash };\n\n let function_leaf = function_leaf_preimage.hash();\n\n let function_tree_root = root_from_sibling_path(function_leaf, function_leaf_index, function_leaf_sibling_path);\n\n function_tree_root\n}\n\n// Calculate the contract tree root from the sibling path and leaf preimage.\npub fn contract_tree_root_from_siblings(\n contract_class_id: ContractClassId,\n storage_contract_address: AztecAddress,\n portal_contract_address: EthAddress,\n contract_leaf_index: Field,\n contract_leaf_sibling_path: [Field; CONTRACT_TREE_HEIGHT]\n) -> Field {\n //TODO(Kev): if we use shorthand syntax here, we get an error as expected,\n // since variable name is `storage_contract_address` but the span is incorrect.\n let contract_leaf_preimage = ContractLeafPreimage { contract_address: storage_contract_address, portal_contract_address, contract_class_id };\n\n let contract_leaf = contract_leaf_preimage.hash();\n\n let computed_contract_tree_root = root_from_sibling_path(contract_leaf, contract_leaf_index, contract_leaf_sibling_path);\n\n computed_contract_tree_root\n}\n\npub fn private_functions_root_from_siblings(\n selector: FunctionSelector,\n vk_hash: Field,\n function_leaf_index: Field,\n function_leaf_sibling_path: [Field; FUNCTION_TREE_HEIGHT]\n) -> Field {\n let function_leaf_preimage = ContractClassFunctionLeafPreimage { selector, vk_hash };\n let function_leaf = function_leaf_preimage.hash();\n root_from_sibling_path(function_leaf, function_leaf_index, function_leaf_sibling_path)\n}\n\npub fn read_request_root_from_siblings(\n read_request: Field,\n leaf_index: Field,\n sibling_path: [Field; NOTE_HASH_TREE_HEIGHT]\n) -> Field {\n root_from_sibling_path(read_request, leaf_index, sibling_path)\n}\n\npub fn silo_commitment(address: AztecAddress, inner_commitment: Field) -> Field {\n pedersen_hash(\n [\n address.to_field(),\n inner_commitment\n ],\n GENERATOR_INDEX__SILOED_COMMITMENT\n )\n}\n\npub fn silo_nullifier(address: AztecAddress, nullifier: Field) -> Field {\n pedersen_hash(\n [\n address.to_field(),\n nullifier\n ],\n GENERATOR_INDEX__OUTER_NULLIFIER\n )\n}\n\nfn merkle_hash(left: Field, right: Field) -> Field {\n pedersen_hash([left, right], 0)\n}\n\npub fn stdlib_recursion_verification_key_compress_native_vk(_vk: VerificationKey) -> Field {\n // Original cpp code\n // stdlib::recursion::verification_key<CT::bn254>::compress_native(private_call.vk, GeneratorIndex::VK);\n // The above cpp method is only ever called on verification key, so it has been special cased here\n let _hash_index = GENERATOR_INDEX__VK;\n 0\n}\n\n// TODO CPP uses blake2s for this\npub fn compute_new_contract_address_hash(new_contract_address: AztecAddress) -> Field {\n dep::std::hash::pedersen_hash([new_contract_address.to_field()])\n}\n\npub fn compute_l2_to_l1_hash(\n contract_address: AztecAddress,\n rollup_version_id: Field,\n portal_contract_address: EthAddress,\n chain_id: Field,\n content: Field\n) -> Field {\n let mut bytes: BoundedVec<u8, 160> = BoundedVec::new(0);\n\n let inputs = [\n contract_address.to_field(), rollup_version_id, portal_contract_address.to_field(), chain_id, content\n ];\n for i in 0..inputs.len() {\n // TODO are bytes be in fr.to_buffer() ?\n let item_bytes = inputs[i].to_be_bytes(32);\n for j in 0..32 {\n bytes.push(item_bytes[j]);\n }\n }\n\n sha256_to_field(bytes.storage)\n}\n\npub fn compute_constructor_hash(\n function_data: FunctionData,\n args_hash: Field,\n constructor_vk_hash: Field\n) -> Field {\n let function_data_hash = function_data.hash();\n\n pedersen_hash(\n [\n function_data_hash,\n args_hash,\n constructor_vk_hash\n ],\n GENERATOR_INDEX__CONSTRUCTOR\n )\n}\n\n// Computes sha256 hash of 2 input hashes stored in 4 fields.\n// \n// This method is bn254 specific. Two fields is needed in order to \n// encode the sha256 output. It can be abstracted away with any 4-2 hash function.\n//\n// TODO(Jan and David): This is used for the encrypted_log hashes.\n// Can we check to see if we can just use hash_to_field or pedersen_compress here?\n//\n// Returning a Field would be desirable because then this can be replaced with \n// poseidon without changing the rest of the code\n//\npub fn accumulate_sha256(input: [U128; 4]) -> [Field; NUM_FIELDS_PER_SHA256] {\n // This is a note about the cpp code, since it takes an array of Fields\n // instead of a U128.\n // 4 Field elements when converted to bytes will usually \n // occupy 4 * 32 = 128 bytes.\n // However, this function is making the assumption that each Field \n // only occupies 128 bits.\n //\n // TODO(David): This does not seem to be getting guaranteed anywhere in the code?\n //\n // Concatenate 4 u128 bit integers into a byte array.\n let mut hash_input_flattened = [0; 64];\n for offset in 0..4 {\n let input_as_bytes = input[offset].to_be_bytes();\n for byte_index in 0..16 {\n hash_input_flattened[offset * 16 + byte_index] = input_as_bytes[byte_index];\n }\n }\n\n let sha_digest = dep::std::hash::sha256(hash_input_flattened);\n\n U256::from_bytes32(sha_digest).to_u128_limbs()\n}\n\npub fn compute_logs_hash(\n previous_log_hash: [Field; 2],\n current_log_hash: [Field; 2]\n) -> [Field; NUM_FIELDS_PER_SHA256] {\n accumulate_sha256(\n [\n U128::from_integer(previous_log_hash[0]),\n U128::from_integer(previous_log_hash[1]),\n U128::from_integer(current_log_hash[0]),\n U128::from_integer(current_log_hash[1])\n ]\n )\n}\n\npub fn compute_commitment_nonce(first_nullifier: Field, commitment_index: Field) -> Field {\n pedersen_hash(\n [\n first_nullifier,\n commitment_index\n ],\n GENERATOR_INDEX__COMMITMENT_NONCE\n )\n}\n\npub fn compute_unique_siloed_commitment(nonce: Field, siloed_commitment: Field) -> Field {\n pedersen_hash(\n [\n nonce,\n siloed_commitment\n ],\n GENERATOR_INDEX__UNIQUE_COMMITMENT\n )\n}\n\npub fn compute_unique_siloed_commitments<N>(\n first_nullifier: Field,\n siloed_commitments: [SideEffect; N]\n) -> [SideEffect; N] {\n let mut unique_siloed_commitments = [SideEffect::empty(); N];\n for i in 0..N {\n let siloed_commitment = siloed_commitments[i];\n if siloed_commitment.value != 0 {\n let nonce = compute_commitment_nonce(first_nullifier, i);\n unique_siloed_commitments[i] = SideEffect {\n value: compute_unique_siloed_commitment(nonce, siloed_commitment.value),\n counter: siloed_commitment.counter\n };\n }\n }\n unique_siloed_commitments\n}\n\npub fn pedersen_hash<N>(inputs: [Field; N], hash_index: u32) -> Field {\n dep::std::hash::pedersen_hash_with_separator(inputs, hash_index)\n}\n",
2594
+ "path": "/usr/src/yarn-project/noir-protocol-circuits/src/crates/types/src/hash.nr"
2595
+ },
2596
+ "167": {
2597
+ "source": "use crate::abis::{\n function_data::FunctionData,\n private_circuit_public_inputs::PrivateCircuitPublicInputs,\n public_circuit_public_inputs::PublicCircuitPublicInputs,\n};\nuse crate::address::AztecAddress;\nuse crate::constants::{\n GENERATOR_INDEX__CONTRACT_LEAF,\n};\nuse crate::traits::Hash;\n\nstruct ContractClassId {\n inner: Field\n}\n\nimpl Eq for ContractClassId {\n fn eq(self, other: ContractClassId) -> bool {\n other.inner == self.inner\n }\n}\n\nimpl ContractClassId {\n pub fn compute(artifact_hash: Field, private_functions_root: Field, public_bytecode_commitment: Field) -> Self {\n let hash = dep::std::hash::pedersen_hash_with_separator([\n artifact_hash,\n private_functions_root,\n public_bytecode_commitment,\n ], GENERATOR_INDEX__CONTRACT_LEAF); // TODO(@spalladino): Update generator index\n \n ContractClassId::from_field(hash)\n }\n\n fn to_field(self) -> Field {\n self.inner as Field\n }\n\n pub fn from_field(value : Field) -> Self {\n Self { inner: value }\n }\n\n pub fn serialize(self: Self) -> [Field; 1] {\n [self.inner]\n }\n\n pub fn deserialize(fields: [Field; 1]) -> Self {\n Self { inner: fields[0] }\n }\n\n pub fn assert_is_zero(self) {\n assert(self.to_field() == 0);\n }\n}\n",
2598
+ "path": "/usr/src/yarn-project/noir-protocol-circuits/src/crates/types/src/contract_class.nr"
2599
+ },
2600
+ "178": {
2601
+ "source": "mod events;\n\ncontract ContractClassRegisterer {\n use dep::std::option::Option;\n use dep::aztec::protocol_types::{\n address::{ AztecAddress, EthAddress },\n contract_class::ContractClassId,\n constants::{ARTIFACT_FUNCTION_TREE_MAX_HEIGHT, FUNCTION_TREE_HEIGHT, MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS, REGISTERER_CONTRACT_CLASS_REGISTERED_MAGIC_VALUE},\n traits::{Serialize}\n };\n\n use dep::aztec::log::{ emit_unencrypted_log, emit_unencrypted_log_from_private};\n\n use crate::events::{\n class_registered::ContractClassRegistered,\n private_function_broadcasted::{ClassPrivateFunctionBroadcasted, PrivateFunction},\n unconstrained_function_broadcasted::{ClassUnconstrainedFunctionBroadcasted, UnconstrainedFunction}\n };\n\n #[aztec(private)]\n fn constructor() {}\n\n #[aztec(private)]\n fn register(\n artifact_hash: Field,\n private_functions_root: Field,\n public_bytecode_commitment: Field,\n packed_public_bytecode: [Field; MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS]\n ) {\n // TODO: Validate public_bytecode_commitment is the correct commitment of packed_public_bytecode\n // TODO: Validate packed_public_bytecode is legit public bytecode\n\n // Compute contract class id from preimage\n let contract_class_id = ContractClassId::compute(\n artifact_hash,\n private_functions_root,\n public_bytecode_commitment\n );\n\n // Emit the contract class id as a nullifier to be able to prove that this class has been (not) registered\n let event = ContractClassRegistered { contract_class_id, version: 1, artifact_hash, private_functions_root, packed_public_bytecode };\n context.push_new_nullifier(contract_class_id.to_field(), 0);\n\n // Broadcast class info including public bytecode\n let event_payload = event.serialize();\n dep::aztec::oracle::debug_log::debug_log_array_with_prefix(\"ContractClassRegistered\", event_payload);\n emit_unencrypted_log_from_private(&mut context, event_payload);\n }\n\n #[aztec(private)]\n fn broadcast_private_function(\n contract_class_id: ContractClassId,\n artifact_metadata_hash: Field,\n unconstrained_functions_artifact_tree_root: Field,\n private_function_tree_sibling_path: [Field; FUNCTION_TREE_HEIGHT],\n artifact_function_tree_sibling_path: [Field; ARTIFACT_FUNCTION_TREE_MAX_HEIGHT],\n function_data: PrivateFunction\n ) {\n let event = ClassPrivateFunctionBroadcasted {\n contract_class_id,\n artifact_metadata_hash,\n unconstrained_functions_artifact_tree_root,\n private_function_tree_sibling_path,\n artifact_function_tree_sibling_path,\n function: function_data\n };\n let event_payload = event.serialize();\n dep::aztec::oracle::debug_log::debug_log_array_with_prefix(\"ClassPrivateFunctionBroadcasted\", event_payload);\n emit_unencrypted_log_from_private(&mut context, event_payload);\n }\n\n #[aztec(private)]\n fn broadcast_unconstrained_function(\n contract_class_id: ContractClassId,\n artifact_metadata_hash: Field,\n private_functions_artifact_tree_root: Field,\n artifact_function_tree_sibling_path: [Field; ARTIFACT_FUNCTION_TREE_MAX_HEIGHT],\n function_data: UnconstrainedFunction\n ) {\n let event = ClassUnconstrainedFunctionBroadcasted {\n contract_class_id,\n artifact_metadata_hash,\n private_functions_artifact_tree_root,\n artifact_function_tree_sibling_path,\n function: function_data\n };\n let event_payload = event.serialize();\n dep::aztec::oracle::debug_log::debug_log_array_with_prefix(\"ClassUnconstrainedFunctionBroadcasted\", event_payload);\n emit_unencrypted_log_from_private(&mut context, event_payload);\n }\n}\n",
2602
+ "path": "/usr/src/yarn-project/noir-contracts/contracts/contract_class_registerer_contract/src/main.nr"
2603
+ }
2604
+ }
2605
+ }