@aztec-labs/stdlib 6.0.0-nightly.20261005 → 6.0.0-nightly.20261007
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/avm/message_pack.d.ts +1 -1
- package/dest/avm/message_pack.d.ts.map +1 -1
- package/dest/avm/message_pack.js +10 -0
- package/dest/interfaces/proving-job.d.ts +70 -70
- package/dest/interfaces/server_circuit_prover.d.ts +4 -3
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/package.json +7 -7
- package/src/avm/message_pack.ts +10 -0
- package/src/interfaces/server_circuit_prover.ts +3 -2
|
@@ -1,3 +1,3 @@
|
|
|
1
1
|
export declare function serializeWithMessagePack(obj: any): Buffer;
|
|
2
2
|
export declare function deserializeFromMessagePack(buffer: Buffer): any;
|
|
3
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
3
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVzc2FnZV9wYWNrLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL21lc3NhZ2VfcGFjay50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFTQSx3QkFBZ0Isd0JBQXdCLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxNQUFNLENBVXpEO0FBS0Qsd0JBQWdCLDBCQUEwQixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsR0FBRyxDQVE5RCJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"message_pack.d.ts","sourceRoot":"","sources":["../../src/avm/message_pack.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"message_pack.d.ts","sourceRoot":"","sources":["../../src/avm/message_pack.ts"],"names":[],"mappings":"AASA,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAUzD;AAKD,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAQ9D"}
|
package/dest/avm/message_pack.js
CHANGED
|
@@ -4,6 +4,7 @@ import { EthAddress } from '@aztec-labs/foundation/eth-address';
|
|
|
4
4
|
import { strict as assert } from 'assert';
|
|
5
5
|
import { Decoder, Encoder, addExtension } from 'msgpackr';
|
|
6
6
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
7
|
+
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
7
8
|
export function serializeWithMessagePack(obj) {
|
|
8
9
|
setUpMessagePackExtensions();
|
|
9
10
|
const encoder = new Encoder({
|
|
@@ -86,5 +87,14 @@ function setUpMessagePackExtensions() {
|
|
|
86
87
|
write: (addr)=>addr.toField().toBuffer(),
|
|
87
88
|
read: (data)=>EthAddress.fromField(Fr.fromBuffer(data))
|
|
88
89
|
});
|
|
90
|
+
// The leaf index is a uint64_t in C++, but a number in TS, and msgpackr encodes any number above 0xffffffff as a
|
|
91
|
+
// float64, which the C++ decoder rejects for an unsigned field. Widen it here, as toBuffer does with writeUInt64.
|
|
92
|
+
addExtension({
|
|
93
|
+
Class: AppendOnlyTreeSnapshot,
|
|
94
|
+
write: (snapshot)=>({
|
|
95
|
+
...snapshot,
|
|
96
|
+
nextAvailableLeafIndex: BigInt(snapshot.nextAvailableLeafIndex)
|
|
97
|
+
})
|
|
98
|
+
});
|
|
89
99
|
messagePackWasSetUp = true;
|
|
90
100
|
}
|
|
@@ -415,28 +415,28 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
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
417
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
418
|
-
|
|
419
|
-
|
|
420
|
-
|
|
421
|
-
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
422
|
-
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
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;
|
|
423
421
|
}>>;
|
|
424
422
|
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
425
423
|
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
426
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/
|
|
427
|
-
leaf: import("../trees/
|
|
424
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
425
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
428
426
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
429
427
|
nextIndex: bigint;
|
|
430
428
|
}>> | z.ZodPipe<z.ZodObject<{
|
|
431
429
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
432
|
-
|
|
433
|
-
|
|
434
|
-
|
|
430
|
+
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
431
|
+
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
432
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
433
|
+
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
434
|
+
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
435
435
|
}>>;
|
|
436
436
|
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
437
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/
|
|
439
|
-
leaf: import("../trees/
|
|
438
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
|
|
439
|
+
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
440
440
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
441
441
|
nextIndex: bigint;
|
|
442
442
|
}>>;
|
|
@@ -460,28 +460,28 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
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
462
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
463
|
-
|
|
464
|
-
|
|
465
|
-
|
|
466
|
-
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
467
|
-
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
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;
|
|
468
466
|
}>>;
|
|
469
467
|
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
470
468
|
nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
|
|
471
|
-
}, z.core.$strip>, z.ZodTransform<import("../trees/
|
|
472
|
-
leaf: import("../trees/
|
|
469
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
|
|
470
|
+
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
473
471
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
474
472
|
nextIndex: bigint;
|
|
475
473
|
}>> | z.ZodPipe<z.ZodObject<{
|
|
476
474
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
477
|
-
|
|
478
|
-
|
|
479
|
-
|
|
475
|
+
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
476
|
+
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
477
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
478
|
+
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
479
|
+
value: import("@aztec-labs/foundation/schemas").Fr;
|
|
480
480
|
}>>;
|
|
481
481
|
nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
482
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/
|
|
484
|
-
leaf: import("../trees/
|
|
483
|
+
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
|
|
484
|
+
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
485
485
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
486
486
|
nextIndex: bigint;
|
|
487
487
|
}>>;
|
|
@@ -528,18 +528,30 @@ 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<{
|
|
531
535
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
532
536
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
533
537
|
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
534
538
|
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
535
539
|
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<{
|
|
543
555
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
544
556
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
545
557
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -553,7 +565,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
553
565
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
554
566
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
555
567
|
nextIndex: bigint;
|
|
556
|
-
}
|
|
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<{
|
|
557
574
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
558
575
|
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
559
576
|
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
@@ -565,12 +582,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
565
582
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
566
583
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
567
584
|
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<{
|
|
585
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
574
586
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
575
587
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
576
588
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -584,18 +596,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
584
596
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
585
597
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
586
598
|
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,18 +648,30 @@ 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<{
|
|
651
655
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
652
656
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
653
657
|
}, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
|
|
654
658
|
slot: import("@aztec-labs/foundation/schemas").Fr;
|
|
655
659
|
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<{
|
|
663
675
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
664
676
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
665
677
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -673,7 +685,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
673
685
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
674
686
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
675
687
|
nextIndex: bigint;
|
|
676
|
-
}
|
|
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<{
|
|
677
694
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
678
695
|
nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
679
696
|
}, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
|
|
@@ -685,12 +702,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
685
702
|
leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
|
|
686
703
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
687
704
|
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<{
|
|
705
|
+
}>> | z.ZodPipe<z.ZodObject<{
|
|
694
706
|
leaf: z.ZodPipe<z.ZodObject<{
|
|
695
707
|
slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
696
708
|
value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
|
|
@@ -704,18 +716,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
|
|
|
704
716
|
leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
|
|
705
717
|
nextKey: import("@aztec-labs/foundation/schemas").Fr;
|
|
706
718
|
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>>;
|
|
@@ -78,9 +78,10 @@ export type IVCProofVerificationResult = {
|
|
|
78
78
|
*/
|
|
79
79
|
export interface ClientProtocolCircuitVerifier {
|
|
80
80
|
/**
|
|
81
|
-
* Verifies the private protocol circuit's proof.
|
|
81
|
+
* Verifies the private protocol circuit's proof. Rejects, instead of reporting the proof invalid, when the proof
|
|
82
|
+
* could not be checked (for example, when the proving backend is unavailable).
|
|
82
83
|
* @param tx - The tx to verify the proof of
|
|
83
|
-
* @returns
|
|
84
|
+
* @returns Whether the proof is valid, with verification timings
|
|
84
85
|
*/
|
|
85
86
|
verifyProof(tx: Tx): Promise<IVCProofVerificationResult>;
|
|
86
87
|
/**
|
|
@@ -88,4 +89,4 @@ export interface ClientProtocolCircuitVerifier {
|
|
|
88
89
|
*/
|
|
89
90
|
stop(): Promise<void>;
|
|
90
91
|
}
|
|
91
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
92
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmVyX2NpcmN1aXRfcHJvdmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy9zZXJ2ZXJfY2lyY3VpdF9wcm92ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQ1YsNkJBQTZCLEVBQzdCLDZCQUE2QixFQUM3Qix5Q0FBeUMsRUFDekMsc0JBQXNCLEVBQ3ZCLE1BQU0sdUJBQXVCLENBQUM7QUFFL0IsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDdEQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUN6RixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQzVFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQ25FLE9BQU8sS0FBSyxFQUFFLDZCQUE2QixFQUFFLE1BQU0sZ0RBQWdELENBQUM7QUFDcEcsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN2RixPQUFPLEtBQUssRUFDVixpQ0FBaUMsRUFDakMsNEJBQTRCLEVBQzVCLG9DQUFvQyxFQUNyQyxNQUFNLCtDQUErQyxDQUFDO0FBQ3ZELE9BQU8sS0FBSyxFQUFFLGtDQUFrQyxFQUFFLE1BQU0scURBQXFELENBQUM7QUFDOUcsT0FBTyxLQUFLLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSw4Q0FBOEMsQ0FBQztBQUNqRyxPQUFPLEtBQUssRUFDVixvQ0FBb0MsRUFDcEMsaUNBQWlDLEVBQ2pDLDRDQUE0QyxFQUM3QyxNQUFNLG9EQUFvRCxDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLGdDQUFnQyxFQUFFLE1BQU0sb0RBQW9ELENBQUM7QUFDM0csT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxtREFBbUQsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSwrQkFBK0IsRUFBRSxNQUFNLGtEQUFrRCxDQUFDO0FBQ3hHLE9BQU8sS0FBSyxFQUFFLCtCQUErQixFQUFFLE1BQU0sbURBQW1ELENBQUM7QUFDekcsT0FBTyxLQUFLLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN2RixPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHdDQUF3QyxDQUFDO0FBQ3JGLE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sNkNBQTZDLENBQUM7QUFDOUYsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFDdEMsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUV0RTs7R0FFRztBQUNILE1BQU0sV0FBVyxtQkFBbUI7SUFDbEM7Ozs7T0FJRztJQUNILG1CQUFtQixDQUNqQixNQUFNLEVBQUUsd0JBQXdCLEVBQ2hDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsa0JBQWtCLEVBQUUsT0FBTyxzQkFBc0IsQ0FBQyxDQUFDLENBQUM7SUFFN0YsMkJBQTJCLENBQ3pCLE1BQU0sRUFBRSxnQ0FBZ0MsRUFDeEMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FDUiw2QkFBNkIsQ0FBQywrQkFBK0IsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQ2pILENBQUM7SUFFRjs7O09BR0c7SUFDSCwyQkFBMkIsQ0FDekIsZUFBZSxFQUFFLGdDQUFnQyxFQUNqRCxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLG9CQUFvQixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRWxILDBCQUEwQixDQUN4QixNQUFNLEVBQUUsK0JBQStCLEVBQ3ZDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsb0JBQW9CLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUFDLENBQUM7SUFFbEg7OztPQUdHO0lBQ0gscUJBQXFCLENBQ25CLEtBQUssRUFBRSwwQkFBMEIsRUFDakMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyxvQkFBb0IsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQUMsQ0FBQztJQUVsSDs7O09BR0c7SUFDSCx1QkFBdUIsQ0FDckIsS0FBSyxFQUFFLDRCQUE0QixFQUNuQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLHVCQUF1QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRXJILCtCQUErQixDQUM3QixLQUFLLEVBQUUsb0NBQW9DLEVBQzNDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQUMsNkJBQTZCLENBQUMsdUJBQXVCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUFDLENBQUM7SUFFckgsNEJBQTRCLENBQzFCLEtBQUssRUFBRSxpQ0FBaUMsRUFDeEMsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyx1QkFBdUIsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQUMsQ0FBQztJQUVySDs7O09BR0c7SUFDSCx3QkFBd0IsQ0FDdEIsS0FBSyxFQUFFLDZCQUE2QixFQUNwQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLDZCQUE2QixDQUFDLHVCQUF1QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FBQyxDQUFDO0lBRXJILDRCQUE0QixDQUMxQixLQUFLLEVBQUUsaUNBQWlDLEVBQ3hDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQ1IsNkJBQTZCLENBQUMsNEJBQTRCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUM5RyxDQUFDO0lBRUYsdUNBQXVDLENBQ3JDLEtBQUssRUFBRSw0Q0FBNEMsRUFDbkQsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FDUiw2QkFBNkIsQ0FBQyw0QkFBNEIsRUFBRSxPQUFPLHlDQUF5QyxDQUFDLENBQzlHLENBQUM7SUFFRiwrQkFBK0IsQ0FDN0IsS0FBSyxFQUFFLG9DQUFvQyxFQUMzQyxNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUNSLDZCQUE2QixDQUFDLDRCQUE0QixFQUFFLE9BQU8seUNBQXlDLENBQUMsQ0FDOUcsQ0FBQztJQUVGLDZCQUE2QixDQUMzQixLQUFLLEVBQUUsa0NBQWtDLEVBQ3pDLE1BQU0sQ0FBQyxFQUFFLFdBQVcsRUFDcEIsV0FBVyxDQUFDLEVBQUUsTUFBTSxHQUNuQixPQUFPLENBQ1IsNkJBQTZCLENBQUMsNEJBQTRCLEVBQUUsT0FBTyx5Q0FBeUMsQ0FBQyxDQUM5RyxDQUFDO0lBRUY7OztPQUdHO0lBQ0gsa0JBQWtCLENBQ2hCLEtBQUssRUFBRSx1QkFBdUIsRUFDOUIsTUFBTSxDQUFDLEVBQUUsV0FBVyxFQUNwQixXQUFXLENBQUMsRUFBRSxNQUFNLEdBQ25CLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyxzQkFBc0IsRUFBRSxPQUFPLDZCQUE2QixDQUFDLENBQUMsQ0FBQztJQUV4Rzs7O09BR0c7SUFDSCxXQUFXLENBQ1QsTUFBTSxFQUFFLGdCQUFnQixFQUN4QixNQUFNLENBQUMsRUFBRSxXQUFXLEVBQ3BCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sR0FDbkIsT0FBTyxDQUFDLGNBQWMsQ0FBQyxPQUFPLDZCQUE2QixDQUFDLENBQUMsQ0FBQztDQUNsRTtBQUVELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUV2QyxLQUFLLEVBQUUsT0FBTyxDQUFDO0lBRWYsVUFBVSxFQUFFLE1BQU0sQ0FBQztJQUVuQixlQUFlLEVBQUUsTUFBTSxDQUFDO0NBQ3pCLENBQUM7QUFFRjs7R0FFRztBQUNILE1BQU0sV0FBVyw2QkFBNkI7SUFDNUM7Ozs7O09BS0c7SUFDSCxXQUFXLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsMEJBQTBCLENBQUMsQ0FBQztJQUV6RDs7T0FFRztJQUNILElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7Q0FDdkIifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,6BAA6B,EAC7B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AACpG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EACV,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,KAAK,EACV,oCAAoC,EACpC,iCAAiC,EACjC,4CAA4C,EAC7C,MAAM,oDAAoD,CAAC;AAC5D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AAC3G,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AAC1G,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,kDAAkD,CAAC;AACxG,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACzG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,mBAAmB,CACjB,MAAM,EAAE,wBAAwB,EAChC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F,2BAA2B,CACzB,MAAM,EAAE,gCAAgC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,+BAA+B,EAAE,OAAO,yCAAyC,CAAC,CACjH,CAAC;IAEF;;;OAGG;IACH,2BAA2B,CACzB,eAAe,EAAE,gCAAgC,EACjD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH,0BAA0B,CACxB,MAAM,EAAE,+BAA+B,EACvC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,qBAAqB,CACnB,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,4BAA4B,EACnC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,uCAAuC,CACrC,KAAK,EAAE,4CAA4C,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,6BAA6B,CAC3B,KAAK,EAAE,kCAAkC,EACzC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,uBAAuB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,cAAc,CAAC,OAAO,6BAA6B,CAAC,CAAC,CAAC;CAClE;AAED,MAAM,MAAM,0BAA0B,GAAG;IAEvC,KAAK,EAAE,OAAO,CAAC;IAEf,UAAU,EAAE,MAAM,CAAC;IAEnB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C
|
|
1
|
+
{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,6BAA6B,EAC7B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACvB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AACpG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EACV,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,EACrC,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qDAAqD,CAAC;AAC9G,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,KAAK,EACV,oCAAoC,EACpC,iCAAiC,EACjC,4CAA4C,EAC7C,MAAM,oDAAoD,CAAC;AAC5D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,oDAAoD,CAAC;AAC3G,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mDAAmD,CAAC;AAC1G,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,kDAAkD,CAAC;AACxG,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mDAAmD,CAAC;AACzG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAEtE;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,mBAAmB,CACjB,MAAM,EAAE,wBAAwB,EAChC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F,2BAA2B,CACzB,MAAM,EAAE,gCAAgC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,+BAA+B,EAAE,OAAO,yCAAyC,CAAC,CACjH,CAAC;IAEF;;;OAGG;IACH,2BAA2B,CACzB,eAAe,EAAE,gCAAgC,EACjD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH,0BAA0B,CACxB,MAAM,EAAE,+BAA+B,EACvC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,qBAAqB,CACnB,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,oBAAoB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAElH;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,4BAA4B,EACnC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,uBAAuB,EAAE,OAAO,yCAAyC,CAAC,CAAC,CAAC;IAErH,4BAA4B,CAC1B,KAAK,EAAE,iCAAiC,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,uCAAuC,CACrC,KAAK,EAAE,4CAA4C,EACnD,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,oCAAoC,EAC3C,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF,6BAA6B,CAC3B,KAAK,EAAE,kCAAkC,EACzC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,4BAA4B,EAAE,OAAO,yCAAyC,CAAC,CAC9G,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,uBAAuB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,cAAc,CAAC,OAAO,6BAA6B,CAAC,CAAC,CAAC;CAClE;AAED,MAAM,MAAM,0BAA0B,GAAG;IAEvC,KAAK,EAAE,OAAO,CAAC;IAEf,UAAU,EAAE,MAAM,CAAC;IAEnB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;;OAKG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEzD;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec-labs/stdlib",
|
|
3
|
-
"version": "6.0.0-nightly.
|
|
3
|
+
"version": "6.0.0-nightly.20261007",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"inherits": [
|
|
6
6
|
"../package.common.json",
|
|
@@ -92,12 +92,12 @@
|
|
|
92
92
|
},
|
|
93
93
|
"dependencies": {
|
|
94
94
|
"@aws-sdk/client-s3": "^3.892.0",
|
|
95
|
-
"@aztec-foundation/bb.js": "6.0.0-
|
|
96
|
-
"@aztec-foundation/noir-noirc_abi": "6.0.0-
|
|
97
|
-
"@aztec-labs/blob-lib": "6.0.0-nightly.
|
|
98
|
-
"@aztec-labs/constants": "6.0.0-nightly.
|
|
99
|
-
"@aztec-labs/ethereum": "6.0.0-nightly.
|
|
100
|
-
"@aztec-labs/foundation": "6.0.0-nightly.
|
|
95
|
+
"@aztec-foundation/bb.js": "6.0.0-rc.5",
|
|
96
|
+
"@aztec-foundation/noir-noirc_abi": "6.0.0-rc.5",
|
|
97
|
+
"@aztec-labs/blob-lib": "6.0.0-nightly.20261007",
|
|
98
|
+
"@aztec-labs/constants": "6.0.0-nightly.20261007",
|
|
99
|
+
"@aztec-labs/ethereum": "6.0.0-nightly.20261007",
|
|
100
|
+
"@aztec-labs/foundation": "6.0.0-nightly.20261007",
|
|
101
101
|
"@google-cloud/storage": "^7.15.0",
|
|
102
102
|
"axios": "^1.15.1",
|
|
103
103
|
"json-stringify-deterministic": "1.0.12",
|
package/src/avm/message_pack.ts
CHANGED
|
@@ -5,6 +5,7 @@ import { strict as assert } from 'assert';
|
|
|
5
5
|
import { Decoder, Encoder, addExtension } from 'msgpackr';
|
|
6
6
|
|
|
7
7
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
8
|
+
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
8
9
|
|
|
9
10
|
export function serializeWithMessagePack(obj: any): Buffer {
|
|
10
11
|
setUpMessagePackExtensions();
|
|
@@ -87,5 +88,14 @@ function setUpMessagePackExtensions() {
|
|
|
87
88
|
write: (addr: EthAddress) => addr.toField().toBuffer(),
|
|
88
89
|
read: (data: Buffer) => EthAddress.fromField(Fr.fromBuffer(data)),
|
|
89
90
|
});
|
|
91
|
+
// The leaf index is a uint64_t in C++, but a number in TS, and msgpackr encodes any number above 0xffffffff as a
|
|
92
|
+
// float64, which the C++ decoder rejects for an unsigned field. Widen it here, as toBuffer does with writeUInt64.
|
|
93
|
+
addExtension({
|
|
94
|
+
Class: AppendOnlyTreeSnapshot,
|
|
95
|
+
write: (snapshot: AppendOnlyTreeSnapshot) => ({
|
|
96
|
+
...snapshot,
|
|
97
|
+
nextAvailableLeafIndex: BigInt(snapshot.nextAvailableLeafIndex),
|
|
98
|
+
}),
|
|
99
|
+
});
|
|
90
100
|
messagePackWasSetUp = true;
|
|
91
101
|
}
|
|
@@ -182,9 +182,10 @@ export type IVCProofVerificationResult = {
|
|
|
182
182
|
*/
|
|
183
183
|
export interface ClientProtocolCircuitVerifier {
|
|
184
184
|
/**
|
|
185
|
-
* Verifies the private protocol circuit's proof.
|
|
185
|
+
* Verifies the private protocol circuit's proof. Rejects, instead of reporting the proof invalid, when the proof
|
|
186
|
+
* could not be checked (for example, when the proving backend is unavailable).
|
|
186
187
|
* @param tx - The tx to verify the proof of
|
|
187
|
-
* @returns
|
|
188
|
+
* @returns Whether the proof is valid, with verification timings
|
|
188
189
|
*/
|
|
189
190
|
verifyProof(tx: Tx): Promise<IVCProofVerificationResult>;
|
|
190
191
|
|