@aztec-labs/stdlib 6.0.0-nightly.20260922 → 6.0.0-rc.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/block/proposal/committee_attestation.d.ts +1 -1
- package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
- package/dest/block/proposal/committee_attestation.js +5 -9
- package/dest/block/test/l2_tips_store_test_suite.d.ts +1 -1
- package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
- package/dest/block/test/l2_tips_store_test_suite.js +2 -2
- package/dest/block/validate_block_result.d.ts +2 -2
- package/dest/block/validate_block_result.d.ts.map +1 -1
- package/dest/block/validate_block_result.js +1 -4
- package/dest/checkpoint/checkpoint_data.d.ts +9 -1
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint_data.js +3 -0
- package/dest/checkpoint/published_checkpoint.d.ts +22 -3
- package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/published_checkpoint.js +23 -5
- package/dest/hash/hash.d.ts +2 -2
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +2 -2
- package/dest/interfaces/proving-job.d.ts +70 -70
- package/dest/kernel/private_circuit_public_inputs.d.ts +11 -7
- package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_circuit_public_inputs.js +10 -8
- package/dest/kernel/private_context_inputs.d.ts +3 -3
- package/dest/kernel/private_context_inputs.d.ts.map +1 -1
- package/dest/kernel/private_context_inputs.js +4 -4
- package/dest/tests/factories.js +1 -1
- package/dest/tx/private_tx_constant_data.d.ts +9 -9
- package/dest/tx/private_tx_constant_data.d.ts.map +1 -1
- package/dest/tx/private_tx_constant_data.js +8 -8
- package/dest/tx/tx_request.d.ts +24 -4
- package/dest/tx/tx_request.d.ts.map +1 -1
- package/dest/tx/tx_request.js +25 -4
- package/package.json +8 -8
- package/src/block/proposal/committee_attestation.ts +5 -5
- package/src/block/test/l2_tips_store_test_suite.ts +7 -1
- package/src/block/validate_block_result.ts +4 -7
- package/src/checkpoint/checkpoint_data.ts +11 -0
- package/src/checkpoint/published_checkpoint.ts +26 -1
- package/src/hash/hash.ts +2 -2
- package/src/kernel/private_circuit_public_inputs.ts +8 -6
- package/src/kernel/private_context_inputs.ts +2 -2
- package/src/tests/factories.ts +1 -1
- package/src/tx/private_tx_constant_data.ts +6 -6
- package/src/tx/tx_request.ts +27 -5
|
@@ -414,18 +414,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
414
414
|
}>>;
|
|
415
415
|
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
416
416
|
leafPreimage: z.ZodPipe<z.ZodObject<{
|
|
417
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
418
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
419
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
420
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
421
|
-
}>>;
|
|
422
|
-
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
423
|
-
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
424
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
425
|
-
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
426
|
-
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
427
|
-
nextIndex: bigint;
|
|
428
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
429
417
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
430
418
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
431
419
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -439,6 +427,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
439
427
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
440
428
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
441
429
|
nextIndex: bigint;
|
|
430
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
431
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
432
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
433
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
434
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
435
|
+
}>>;
|
|
436
|
+
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
437
|
+
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
438
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
439
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
440
|
+
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
441
|
+
nextIndex: bigint;
|
|
442
442
|
}>>;
|
|
443
443
|
}, z.core.$strip>, z.ZodTransform<{
|
|
444
444
|
readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
|
|
@@ -459,18 +459,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
459
459
|
}>>;
|
|
460
460
|
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
461
461
|
leafPreimage: z.ZodPipe<z.ZodObject<{
|
|
462
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
463
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
464
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
465
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
466
|
-
}>>;
|
|
467
|
-
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
468
|
-
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
469
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
470
|
-
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
471
|
-
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
472
|
-
nextIndex: bigint;
|
|
473
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
474
462
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
475
463
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
476
464
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -484,6 +472,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
484
472
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
485
473
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
486
474
|
nextIndex: bigint;
|
|
475
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
476
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
477
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
478
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
479
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
480
|
+
}>>;
|
|
481
|
+
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
482
|
+
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
483
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
484
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
485
|
+
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
486
|
+
nextIndex: bigint;
|
|
487
487
|
}>>;
|
|
488
488
|
}, z.core.$strip>, z.ZodTransform<{
|
|
489
489
|
readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
|
|
@@ -528,30 +528,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
528
528
|
}>>;
|
|
529
529
|
treeId: z.ZodNumber;
|
|
530
530
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
531
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
532
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
533
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
534
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
535
531
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
536
532
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
537
533
|
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
538
534
|
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
539
535
|
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
536
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
537
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
538
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
539
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
540
540
|
}>>;
|
|
541
541
|
lowLeavesWitnessData: z.ZodObject<{
|
|
542
542
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
543
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
544
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
545
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
546
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
547
|
-
}>>;
|
|
548
|
-
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
549
|
-
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
550
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
551
|
-
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
552
|
-
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
553
|
-
nextIndex: bigint;
|
|
554
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
555
543
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
556
544
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
557
545
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -565,12 +553,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
565
553
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
566
554
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
567
555
|
nextIndex: bigint;
|
|
568
|
-
}
|
|
569
|
-
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
570
|
-
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
571
|
-
}, z.core.$strip>;
|
|
572
|
-
insertionWitnessData: z.ZodObject<{
|
|
573
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
556
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
574
557
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
575
558
|
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
576
559
|
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
@@ -582,7 +565,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
582
565
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
583
566
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
584
567
|
nextIndex: bigint;
|
|
585
|
-
}
|
|
568
|
+
}>>;
|
|
569
|
+
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
570
|
+
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
571
|
+
}, z.core.$strip>;
|
|
572
|
+
insertionWitnessData: z.ZodObject<{
|
|
573
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
586
574
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
587
575
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
588
576
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -596,6 +584,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
596
584
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
597
585
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
598
586
|
nextIndex: bigint;
|
|
587
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
588
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
589
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
590
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
591
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
592
|
+
}>>;
|
|
593
|
+
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
594
|
+
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
595
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
596
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
597
|
+
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
598
|
+
nextIndex: bigint;
|
|
599
599
|
}>>;
|
|
600
600
|
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
601
601
|
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
@@ -648,30 +648,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
648
648
|
}>>;
|
|
649
649
|
treeId: z.ZodNumber;
|
|
650
650
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
651
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
652
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
653
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
654
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
655
651
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
656
652
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
657
653
|
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
658
654
|
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
659
655
|
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
656
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
657
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
658
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
659
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
660
660
|
}>>;
|
|
661
661
|
lowLeavesWitnessData: z.ZodObject<{
|
|
662
662
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
663
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
664
|
-
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
665
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
666
|
-
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
667
|
-
}>>;
|
|
668
|
-
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
669
|
-
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
670
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
671
|
-
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
672
|
-
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
673
|
-
nextIndex: bigint;
|
|
674
|
-
}>> | z.ZodPipe<z.ZodObject<{
|
|
675
663
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
676
664
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
677
665
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -685,12 +673,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
685
673
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
686
674
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
687
675
|
nextIndex: bigint;
|
|
688
|
-
}
|
|
689
|
-
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
690
|
-
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
691
|
-
}, z.core.$strip>;
|
|
692
|
-
insertionWitnessData: z.ZodObject<{
|
|
693
|
-
leaf: z.ZodPipe<z.ZodObject<{
|
|
676
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
694
677
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
695
678
|
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
696
679
|
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
@@ -702,7 +685,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
702
685
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
703
686
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
704
687
|
nextIndex: bigint;
|
|
705
|
-
}
|
|
688
|
+
}>>;
|
|
689
|
+
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
690
|
+
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
691
|
+
}, z.core.$strip>;
|
|
692
|
+
insertionWitnessData: z.ZodObject<{
|
|
693
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
706
694
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
707
695
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
708
696
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -716,6 +704,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
716
704
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
717
705
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
718
706
|
nextIndex: bigint;
|
|
707
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
708
|
+
leaf: z.ZodPipe<z.ZodObject<{
|
|
709
|
+
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
710
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
711
|
+
nullifier: import("@aztec-labs/foundation/schemas").Fr;
|
|
712
|
+
}>>;
|
|
713
|
+
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
714
|
+
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
715
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
716
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
717
|
+
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
718
|
+
nextIndex: bigint;
|
|
719
719
|
}>>;
|
|
720
720
|
index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
721
721
|
path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
|
|
@@ -117,10 +117,12 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
117
117
|
*/
|
|
118
118
|
contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
|
|
119
119
|
/**
|
|
120
|
-
* The
|
|
121
|
-
*
|
|
120
|
+
* The transaction's siloed protocol nullifier: the value the init kernel inserts at index 0 of the transaction's
|
|
121
|
+
* nullifiers, identical on every private call. The init kernel asserts the first call's value equals the one
|
|
122
|
+
* derived from the tx request, binding this proof to that request; every later kernel asserts each nested call's
|
|
123
|
+
* value equals the transaction constant.
|
|
122
124
|
*/
|
|
123
|
-
|
|
125
|
+
protocolNullifier: Fr;
|
|
124
126
|
constructor(
|
|
125
127
|
/**
|
|
126
128
|
* Context of the call corresponding to this private circuit execution.
|
|
@@ -219,10 +221,12 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
219
221
|
*/
|
|
220
222
|
contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>,
|
|
221
223
|
/**
|
|
222
|
-
* The
|
|
223
|
-
*
|
|
224
|
+
* The transaction's siloed protocol nullifier: the value the init kernel inserts at index 0 of the transaction's
|
|
225
|
+
* nullifiers, identical on every private call. The init kernel asserts the first call's value equals the one
|
|
226
|
+
* derived from the tx request, binding this proof to that request; every later kernel asserts each nested call's
|
|
227
|
+
* value equals the transaction constant.
|
|
224
228
|
*/
|
|
225
|
-
|
|
229
|
+
protocolNullifier: Fr);
|
|
226
230
|
/**
|
|
227
231
|
* Create PrivateCircuitPublicInputs from a fields dictionary.
|
|
228
232
|
* @param fields - The dictionary.
|
|
@@ -260,4 +264,4 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
260
264
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
261
265
|
static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, string, import("zod/v4/core").$ZodTypeInternals<PrivateCircuitPublicInputs, string>>;
|
|
262
266
|
}
|
|
263
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
267
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLHVCQUF1QixDQUFDO0FBQy9CLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUV6RCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLGtDQUFrQyxDQUFDO0FBQzFDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTdELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFFbkM7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7T0FNRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsTUFBTTtJQUNsQzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEVBQUU7SUFDakM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsRUFBRTtJQUNqRDs7T0FFRztJQUNJLG1DQUFtQyxFQUFFLEVBQUU7SUFDOUM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQy9HOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUNoSDs7T0FFRztJQUNJLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFDRDs7T0FFRztJQUNJLG1CQUFtQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0NBQXNDLENBQUM7SUFDakg7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBQzNHOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFDOUY7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDeEY7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQztJQUMzRzs7Ozs7T0FLRztJQUNJLGlCQUFpQixFQUFFLEVBQUU7SUExRzlCO0lBQ0U7O09BRUc7SUFDSSxXQUFXLEVBQUUsV0FBVztJQUMvQjs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBQ25COztPQUVHO0lBQ0ksV0FBVyxFQUFFLEVBQUU7SUFDdEI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7T0FNRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOztPQUVHO0lBQ0ksOEJBQThCLEVBQUUsRUFBRTtJQUN6Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxPQUFPO0lBQzFCOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsTUFBTTtJQUNsQzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEVBQUU7SUFDakM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ0ksc0NBQXNDLEVBQUUsRUFBRTtJQUNqRDs7T0FFRztJQUNJLG1DQUFtQyxFQUFFLEVBQUU7SUFDOUM7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBQy9HOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUNoSDs7T0FFRztJQUNJLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFDRDs7T0FFRztJQUNJLG1CQUFtQixFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixFQUFFLE9BQU8sc0NBQXNDLENBQUM7SUFDakg7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQyx3QkFBd0IsRUFBRSxPQUFPLDJCQUEyQixDQUFDO0lBQzNHOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUsaUJBQWlCO0lBQ25EOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLFNBQVMsRUFBRSxPQUFPLHVCQUF1QixDQUFDO0lBQ2hGOztPQUVHO0lBQ0ksVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFDOUY7O09BRUc7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8seUJBQXlCLENBQUM7SUFDeEY7O09BRUc7SUFDSSx1QkFBdUIsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxnQ0FBZ0MsQ0FBQztJQUMzRzs7Ozs7T0FLRztJQUNJLGlCQUFpQixFQUFFLEVBQUUsRUFDMUI7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLEdBQUcsMEJBQTBCLENBRXBGO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBOEIzRTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRywwQkFBMEIsQ0E4QnhFO0lBRUQ7OztPQUdHO0lBQ0gsT0FBYyxLQUFLLElBQUksMEJBQTBCLENBMkJoRDtJQUVELE9BQU8sWUEyQk47SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLG9pQkEyQjVEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0E2QmpCO0lBRUQ7O09BRUc7SUFDSCxRQUFRLElBQUksRUFBRSxFQUFFLENBRWY7SUFFTSxNQUFNLDRCQUVaO0lBRUQsTUFBTSxLQUFLLE1BQU0sMklBRWhCO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G
|
|
1
|
+
{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;;;;OAKG;IACI,iBAAiB,EAAE,EAAE;IA1G9B;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAClC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC3G;;;;;OAKG;IACI,iBAAiB,EAAE,EAAE,EAC1B;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA8B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA8BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA2BhD;IAED,OAAO,YA2BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,oiBA2B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA6BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,2IAEhB;CACF"}
|
|
@@ -41,7 +41,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
41
41
|
l2ToL1Msgs;
|
|
42
42
|
privateLogs;
|
|
43
43
|
contractClassLogsHashes;
|
|
44
|
-
|
|
44
|
+
protocolNullifier;
|
|
45
45
|
constructor(/**
|
|
46
46
|
* Context of the call corresponding to this private circuit execution.
|
|
47
47
|
*/ callContext, /**
|
|
@@ -93,9 +93,11 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
93
93
|
*/ privateLogs, /**
|
|
94
94
|
* Hash of the contract class logs emitted in this function call.
|
|
95
95
|
*/ contractClassLogsHashes, /**
|
|
96
|
-
* The
|
|
97
|
-
*
|
|
98
|
-
|
|
96
|
+
* The transaction's siloed protocol nullifier: the value the init kernel inserts at index 0 of the transaction's
|
|
97
|
+
* nullifiers, identical on every private call. The init kernel asserts the first call's value equals the one
|
|
98
|
+
* derived from the tx request, binding this proof to that request; every later kernel asserts each nested call's
|
|
99
|
+
* value equals the transaction constant.
|
|
100
|
+
*/ protocolNullifier){
|
|
99
101
|
this.callContext = callContext;
|
|
100
102
|
this.argsHash = argsHash;
|
|
101
103
|
this.returnsHash = returnsHash;
|
|
@@ -119,7 +121,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
119
121
|
this.l2ToL1Msgs = l2ToL1Msgs;
|
|
120
122
|
this.privateLogs = privateLogs;
|
|
121
123
|
this.contractClassLogsHashes = contractClassLogsHashes;
|
|
122
|
-
this.
|
|
124
|
+
this.protocolNullifier = protocolNullifier;
|
|
123
125
|
}
|
|
124
126
|
/**
|
|
125
127
|
* Create PrivateCircuitPublicInputs from a fields dictionary.
|
|
@@ -147,7 +149,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
147
149
|
return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty(), Fr.ZERO, false, 0n, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndSeparator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL), Fr.ZERO);
|
|
148
150
|
}
|
|
149
151
|
isEmpty() {
|
|
150
|
-
return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.expirationTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndSeparators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.
|
|
152
|
+
return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.expirationTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndSeparators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty() && this.protocolNullifier.isZero();
|
|
151
153
|
}
|
|
152
154
|
/**
|
|
153
155
|
* Serialize into a field array. Low-level utility.
|
|
@@ -178,7 +180,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
178
180
|
fields.l2ToL1Msgs,
|
|
179
181
|
fields.privateLogs,
|
|
180
182
|
fields.contractClassLogsHashes,
|
|
181
|
-
fields.
|
|
183
|
+
fields.protocolNullifier
|
|
182
184
|
];
|
|
183
185
|
}
|
|
184
186
|
/**
|
|
@@ -211,7 +213,7 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
211
213
|
this.l2ToL1Msgs,
|
|
212
214
|
this.privateLogs,
|
|
213
215
|
this.contractClassLogsHashes,
|
|
214
|
-
this.
|
|
216
|
+
this.protocolNullifier
|
|
215
217
|
]);
|
|
216
218
|
}
|
|
217
219
|
/**
|
|
@@ -7,9 +7,9 @@ export declare class PrivateContextInputs {
|
|
|
7
7
|
anchorBlockHeader: BlockHeader;
|
|
8
8
|
txContext: TxContext;
|
|
9
9
|
startSideEffectCounter: number;
|
|
10
|
-
|
|
11
|
-
constructor(callContext: CallContext, anchorBlockHeader: BlockHeader, txContext: TxContext, startSideEffectCounter: number,
|
|
10
|
+
protocolNullifier: Fr;
|
|
11
|
+
constructor(callContext: CallContext, anchorBlockHeader: BlockHeader, txContext: TxContext, startSideEffectCounter: number, protocolNullifier: Fr);
|
|
12
12
|
static empty(): PrivateContextInputs;
|
|
13
13
|
toFields(): Fr[];
|
|
14
14
|
}
|
|
15
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
15
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jb250ZXh0X2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9wcml2YXRlX2NvbnRleHRfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUd6RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDcEQsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUVoRCxxQkFBYSxvQkFBb0I7SUFFdEIsV0FBVyxFQUFFLFdBQVc7SUFDeEIsaUJBQWlCLEVBQUUsV0FBVztJQUM5QixTQUFTLEVBQUUsU0FBUztJQUNwQixzQkFBc0IsRUFBRSxNQUFNO0lBQzlCLGlCQUFpQixFQUFFLEVBQUU7SUFMOUIsWUFDUyxXQUFXLEVBQUUsV0FBVyxFQUN4QixpQkFBaUIsRUFBRSxXQUFXLEVBQzlCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLHNCQUFzQixFQUFFLE1BQU0sRUFDOUIsaUJBQWlCLEVBQUUsRUFBRSxFQUMxQjtJQUVKLE9BQWMsS0FBSyxJQUFJLG9CQUFvQixDQUUxQztJQUVNLFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRdEI7Q0FDRiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;IAC9B,
|
|
1
|
+
{"version":3,"file":"private_context_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_context_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,qBAAa,oBAAoB;IAEtB,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,WAAW;IAC9B,SAAS,EAAE,SAAS;IACpB,sBAAsB,EAAE,MAAM;IAC9B,iBAAiB,EAAE,EAAE;IAL9B,YACS,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,WAAW,EAC9B,SAAS,EAAE,SAAS,EACpB,sBAAsB,EAAE,MAAM,EAC9B,iBAAiB,EAAE,EAAE,EAC1B;IAEJ,OAAc,KAAK,IAAI,oBAAoB,CAE1C;IAEM,QAAQ,IAAI,EAAE,EAAE,CAQtB;CACF"}
|
|
@@ -8,13 +8,13 @@ export class PrivateContextInputs {
|
|
|
8
8
|
anchorBlockHeader;
|
|
9
9
|
txContext;
|
|
10
10
|
startSideEffectCounter;
|
|
11
|
-
|
|
12
|
-
constructor(callContext, anchorBlockHeader, txContext, startSideEffectCounter,
|
|
11
|
+
protocolNullifier;
|
|
12
|
+
constructor(callContext, anchorBlockHeader, txContext, startSideEffectCounter, protocolNullifier){
|
|
13
13
|
this.callContext = callContext;
|
|
14
14
|
this.anchorBlockHeader = anchorBlockHeader;
|
|
15
15
|
this.txContext = txContext;
|
|
16
16
|
this.startSideEffectCounter = startSideEffectCounter;
|
|
17
|
-
this.
|
|
17
|
+
this.protocolNullifier = protocolNullifier;
|
|
18
18
|
}
|
|
19
19
|
static empty() {
|
|
20
20
|
return new PrivateContextInputs(CallContext.empty(), BlockHeader.empty(), TxContext.empty(), 0, Fr.ZERO);
|
|
@@ -25,7 +25,7 @@ export class PrivateContextInputs {
|
|
|
25
25
|
this.anchorBlockHeader,
|
|
26
26
|
this.txContext,
|
|
27
27
|
this.startSideEffectCounter,
|
|
28
|
-
this.
|
|
28
|
+
this.protocolNullifier
|
|
29
29
|
]);
|
|
30
30
|
}
|
|
31
31
|
}
|
package/dest/tests/factories.js
CHANGED
|
@@ -321,7 +321,7 @@ function makeClaimedLengthArray(arraySize, makeItem, seed, length = arraySize) {
|
|
|
321
321
|
anchorBlockHeader: makeBlockHeader(seed + 0xd00),
|
|
322
322
|
txContext: makeTxContext(seed + 0x1400),
|
|
323
323
|
isFeePayer: false,
|
|
324
|
-
|
|
324
|
+
protocolNullifier: fr(seed + 0x1500)
|
|
325
325
|
});
|
|
326
326
|
}
|
|
327
327
|
export function makeGlobalVariables(seed = 1, overrides = {}) {
|
|
@@ -20,13 +20,13 @@ export declare class PrivateTxConstantData {
|
|
|
20
20
|
*/
|
|
21
21
|
txContext: TxContext;
|
|
22
22
|
/**
|
|
23
|
-
*
|
|
23
|
+
* The transaction's siloed protocol nullifier.
|
|
24
24
|
*
|
|
25
25
|
* Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
|
|
26
|
-
* app circuit's `
|
|
27
|
-
*
|
|
26
|
+
* app circuit's `protocolNullifier` public input can be checked against it. Not carried into `TxConstantData`:
|
|
27
|
+
* the value is already published as the transaction's first nullifier.
|
|
28
28
|
*/
|
|
29
|
-
|
|
29
|
+
protocolNullifier: Fr;
|
|
30
30
|
/**
|
|
31
31
|
* Root of the vk tree for the protocol circuits.
|
|
32
32
|
*/
|
|
@@ -48,13 +48,13 @@ export declare class PrivateTxConstantData {
|
|
|
48
48
|
*/
|
|
49
49
|
txContext: TxContext,
|
|
50
50
|
/**
|
|
51
|
-
*
|
|
51
|
+
* The transaction's siloed protocol nullifier.
|
|
52
52
|
*
|
|
53
53
|
* Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
|
|
54
|
-
* app circuit's `
|
|
55
|
-
*
|
|
54
|
+
* app circuit's `protocolNullifier` public input can be checked against it. Not carried into `TxConstantData`:
|
|
55
|
+
* the value is already published as the transaction's first nullifier.
|
|
56
56
|
*/
|
|
57
|
-
|
|
57
|
+
protocolNullifier: Fr,
|
|
58
58
|
/**
|
|
59
59
|
* Root of the vk tree for the protocol circuits.
|
|
60
60
|
*/
|
|
@@ -73,4 +73,4 @@ export declare class PrivateTxConstantData {
|
|
|
73
73
|
getSize(): number;
|
|
74
74
|
clone(): PrivateTxConstantData;
|
|
75
75
|
}
|
|
76
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
76
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJpdmF0ZV90eF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBd0MsTUFBTSxrQ0FBa0MsQ0FBQztBQUNuSCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUU3RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRTVDOztHQUVHO0FBQ0gscUJBQWEscUJBQXFCO0lBRTlCLDZHQUE2RztJQUN0RyxpQkFBaUIsRUFBRSxXQUFXO0lBQ3JDOzs7Ozs7O09BT0c7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7Ozs7O09BTUc7SUFDSSxpQkFBaUIsRUFBRSxFQUFFO0lBQzVCOztPQUVHO0lBQ0ksVUFBVSxFQUFFLEVBQUU7SUFDckI7O09BRUc7SUFDSSxpQkFBaUIsRUFBRSxpQkFBaUI7SUEzQjdDO0lBQ0UsNkdBQTZHO0lBQ3RHLGlCQUFpQixFQUFFLFdBQVc7SUFDckM7Ozs7Ozs7T0FPRztJQUNJLFNBQVMsRUFBRSxTQUFTO0lBQzNCOzs7Ozs7T0FNRztJQUNJLGlCQUFpQixFQUFFLEVBQUU7SUFDNUI7O09BRUc7SUFDSSxVQUFVLEVBQUUsRUFBRTtJQUNyQjs7T0FFRztJQUNJLGlCQUFpQixFQUFFLGlCQUFpQixFQUN6QztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxxQkFBcUIsQ0FBQyx5QkFFbEQ7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMscUJBQXFCLENBQUMsZ0VBUXZEO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLHFCQUFxQixDQVNuRTtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcscUJBQXFCLENBU3RFO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxLQUFLLDBCQVFYO0lBRUQsT0FBTyxXQVFOO0lBRUQsS0FBSyxJQUFJLHFCQUFxQixDQUU3QjtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_tx_constant_data.d.ts","sourceRoot":"","sources":["../../src/tx/private_tx_constant_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,kCAAkC,CAAC;AACnH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,qBAAqB;IAE9B,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;;;OAMG;IACI,
|
|
1
|
+
{"version":3,"file":"private_tx_constant_data.d.ts","sourceRoot":"","sources":["../../src/tx/private_tx_constant_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,kCAAkC,CAAC;AACnH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,qBAAqB;IAE9B,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;;;OAMG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB;IA3B7C;IACE,6GAA6G;IACtG,iBAAiB,EAAE,WAAW;IACrC;;;;;;;OAOG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;;;OAMG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,iBAAiB,EAAE,iBAAiB,EACzC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,yBAElD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,gEAQvD;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB,CASnE;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB,CAStE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,0BAQX;IAED,OAAO,WAQN;IAED,KAAK,IAAI,qBAAqB,CAE7B;CACF"}
|
|
@@ -9,7 +9,7 @@ import { TxContext } from './tx_context.js';
|
|
|
9
9
|
*/ export class PrivateTxConstantData {
|
|
10
10
|
anchorBlockHeader;
|
|
11
11
|
txContext;
|
|
12
|
-
|
|
12
|
+
protocolNullifier;
|
|
13
13
|
vkTreeRoot;
|
|
14
14
|
protocolContracts;
|
|
15
15
|
constructor(/** Header of a block whose state is used during execution (not the block the transaction is included in). */ anchorBlockHeader, /**
|
|
@@ -20,19 +20,19 @@ import { TxContext } from './tx_context.js';
|
|
|
20
20
|
* a situation we could be using header from a block before the upgrade took place but be using the updated
|
|
21
21
|
* protocol to execute and prove the transaction.
|
|
22
22
|
*/ txContext, /**
|
|
23
|
-
*
|
|
23
|
+
* The transaction's siloed protocol nullifier.
|
|
24
24
|
*
|
|
25
25
|
* Bound to the user's `tx_request` by the Init circuit and kept constant by every subsequent kernel so that each
|
|
26
|
-
* app circuit's `
|
|
27
|
-
*
|
|
28
|
-
*/
|
|
26
|
+
* app circuit's `protocolNullifier` public input can be checked against it. Not carried into `TxConstantData`:
|
|
27
|
+
* the value is already published as the transaction's first nullifier.
|
|
28
|
+
*/ protocolNullifier, /**
|
|
29
29
|
* Root of the vk tree for the protocol circuits.
|
|
30
30
|
*/ vkTreeRoot, /**
|
|
31
31
|
* List of protocol contracts.
|
|
32
32
|
*/ protocolContracts){
|
|
33
33
|
this.anchorBlockHeader = anchorBlockHeader;
|
|
34
34
|
this.txContext = txContext;
|
|
35
|
-
this.
|
|
35
|
+
this.protocolNullifier = protocolNullifier;
|
|
36
36
|
this.vkTreeRoot = vkTreeRoot;
|
|
37
37
|
this.protocolContracts = protocolContracts;
|
|
38
38
|
}
|
|
@@ -43,7 +43,7 @@ import { TxContext } from './tx_context.js';
|
|
|
43
43
|
return [
|
|
44
44
|
fields.anchorBlockHeader,
|
|
45
45
|
fields.txContext,
|
|
46
|
-
fields.
|
|
46
|
+
fields.protocolNullifier,
|
|
47
47
|
fields.vkTreeRoot,
|
|
48
48
|
fields.protocolContracts
|
|
49
49
|
];
|
|
@@ -70,7 +70,7 @@ import { TxContext } from './tx_context.js';
|
|
|
70
70
|
return new PrivateTxConstantData(BlockHeader.empty(), TxContext.empty(), Fr.ZERO, Fr.ZERO, ProtocolContracts.empty());
|
|
71
71
|
}
|
|
72
72
|
getSize() {
|
|
73
|
-
return this.anchorBlockHeader.getSize() + this.txContext.getSize() + this.
|
|
73
|
+
return this.anchorBlockHeader.getSize() + this.txContext.getSize() + this.protocolNullifier.size + this.vkTreeRoot.size + this.protocolContracts.getSize();
|
|
74
74
|
}
|
|
75
75
|
clone() {
|
|
76
76
|
return PrivateTxConstantData.fromBuffer(this.toBuffer());
|