@aztec/stdlib 3.0.0-nightly.20251115 → 3.0.0-nightly.20251119

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.
Files changed (18) hide show
  1. package/dest/avm/avm.d.ts +42 -48
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +26 -24
  4. package/dest/avm/avm_proving_request.d.ts +21 -21
  5. package/dest/interfaces/proving-job.d.ts +21 -21
  6. package/dest/tests/factories.d.ts +4 -4
  7. package/dest/tests/factories.js +11 -11
  8. package/dest/tx/public_simulation_output.d.ts +2 -0
  9. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  10. package/dest/tx/public_simulation_output.js +8 -1
  11. package/dest/vks/verification_key.d.ts +9 -0
  12. package/dest/vks/verification_key.d.ts.map +1 -1
  13. package/dest/vks/verification_key.js +20 -0
  14. package/package.json +8 -8
  15. package/src/avm/avm.ts +28 -35
  16. package/src/tests/factories.ts +18 -18
  17. package/src/tx/public_simulation_output.ts +18 -1
  18. package/src/vks/verification_key.ts +25 -0
package/dest/avm/avm_proving_request.d.ts CHANGED
@@ -743,7 +743,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
743
743
  selector?: any;
744
744
  address?: any;
745
745
  }>, "many">;
746
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
746
+ contractDbCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
747
747
  actionCounter: z.ZodNumber;
748
748
  oldCheckpointId: z.ZodNumber;
749
749
  newCheckpointId: z.ZodNumber;
@@ -764,7 +764,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
764
764
  oldCheckpointId: number;
765
765
  newCheckpointId: number;
766
766
  }>, "many">;
767
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
767
+ contractDbCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
768
768
  actionCounter: z.ZodNumber;
769
769
  oldCheckpointId: z.ZodNumber;
770
770
  newCheckpointId: z.ZodNumber;
@@ -785,7 +785,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
785
785
  oldCheckpointId: number;
786
786
  newCheckpointId: number;
787
787
  }>, "many">;
788
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
788
+ contractDbRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
789
789
  actionCounter: z.ZodNumber;
790
790
  oldCheckpointId: z.ZodNumber;
791
791
  newCheckpointId: z.ZodNumber;
@@ -2378,17 +2378,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2378
2378
  contractClasses: import("./avm.js").AvmContractClassHint[];
2379
2379
  bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
2380
2380
  debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
2381
- contractDBCreateCheckpointHints: {
2381
+ contractDbCreateCheckpointHints: {
2382
2382
  readonly actionCounter: number;
2383
2383
  readonly oldCheckpointId: number;
2384
2384
  readonly newCheckpointId: number;
2385
2385
  }[];
2386
- contractDBCommitCheckpointHints: {
2386
+ contractDbCommitCheckpointHints: {
2387
2387
  readonly actionCounter: number;
2388
2388
  readonly oldCheckpointId: number;
2389
2389
  readonly newCheckpointId: number;
2390
2390
  }[];
2391
- contractDBRevertCheckpointHints: {
2391
+ contractDbRevertCheckpointHints: {
2392
2392
  readonly actionCounter: number;
2393
2393
  readonly oldCheckpointId: number;
2394
2394
  readonly newCheckpointId: number;
@@ -2581,17 +2581,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2581
2581
  selector?: any;
2582
2582
  address?: any;
2583
2583
  }[];
2584
- contractDBCreateCheckpointHints: {
2584
+ contractDbCreateCheckpointHints: {
2585
2585
  actionCounter: number;
2586
2586
  oldCheckpointId: number;
2587
2587
  newCheckpointId: number;
2588
2588
  }[];
2589
- contractDBCommitCheckpointHints: {
2589
+ contractDbCommitCheckpointHints: {
2590
2590
  actionCounter: number;
2591
2591
  oldCheckpointId: number;
2592
2592
  newCheckpointId: number;
2593
2593
  }[];
2594
- contractDBRevertCheckpointHints: {
2594
+ contractDbRevertCheckpointHints: {
2595
2595
  actionCounter: number;
2596
2596
  oldCheckpointId: number;
2597
2597
  newCheckpointId: number;
@@ -2983,17 +2983,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2983
2983
  selector?: any;
2984
2984
  address?: any;
2985
2985
  }[];
2986
- contractDBCreateCheckpointHints: {
2986
+ contractDbCreateCheckpointHints: {
2987
2987
  actionCounter: number;
2988
2988
  oldCheckpointId: number;
2989
2989
  newCheckpointId: number;
2990
2990
  }[];
2991
- contractDBCommitCheckpointHints: {
2991
+ contractDbCommitCheckpointHints: {
2992
2992
  actionCounter: number;
2993
2993
  oldCheckpointId: number;
2994
2994
  newCheckpointId: number;
2995
2995
  }[];
2996
- contractDBRevertCheckpointHints: {
2996
+ contractDbRevertCheckpointHints: {
2997
2997
  actionCounter: number;
2998
2998
  oldCheckpointId: number;
2999
2999
  newCheckpointId: number;
@@ -4632,17 +4632,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4632
4632
  selector?: any;
4633
4633
  address?: any;
4634
4634
  }[];
4635
- contractDBCreateCheckpointHints: {
4635
+ contractDbCreateCheckpointHints: {
4636
4636
  actionCounter: number;
4637
4637
  oldCheckpointId: number;
4638
4638
  newCheckpointId: number;
4639
4639
  }[];
4640
- contractDBCommitCheckpointHints: {
4640
+ contractDbCommitCheckpointHints: {
4641
4641
  actionCounter: number;
4642
4642
  oldCheckpointId: number;
4643
4643
  newCheckpointId: number;
4644
4644
  }[];
4645
- contractDBRevertCheckpointHints: {
4645
+ contractDbRevertCheckpointHints: {
4646
4646
  actionCounter: number;
4647
4647
  oldCheckpointId: number;
4648
4648
  newCheckpointId: number;
@@ -5201,17 +5201,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5201
5201
  selector?: any;
5202
5202
  address?: any;
5203
5203
  }[];
5204
- contractDBCreateCheckpointHints: {
5204
+ contractDbCreateCheckpointHints: {
5205
5205
  actionCounter: number;
5206
5206
  oldCheckpointId: number;
5207
5207
  newCheckpointId: number;
5208
5208
  }[];
5209
- contractDBCommitCheckpointHints: {
5209
+ contractDbCommitCheckpointHints: {
5210
5210
  actionCounter: number;
5211
5211
  oldCheckpointId: number;
5212
5212
  newCheckpointId: number;
5213
5213
  }[];
5214
- contractDBRevertCheckpointHints: {
5214
+ contractDbRevertCheckpointHints: {
5215
5215
  actionCounter: number;
5216
5216
  oldCheckpointId: number;
5217
5217
  newCheckpointId: number;
@@ -5776,17 +5776,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5776
5776
  selector?: any;
5777
5777
  address?: any;
5778
5778
  }[];
5779
- contractDBCreateCheckpointHints: {
5779
+ contractDbCreateCheckpointHints: {
5780
5780
  actionCounter: number;
5781
5781
  oldCheckpointId: number;
5782
5782
  newCheckpointId: number;
5783
5783
  }[];
5784
- contractDBCommitCheckpointHints: {
5784
+ contractDbCommitCheckpointHints: {
5785
5785
  actionCounter: number;
5786
5786
  oldCheckpointId: number;
5787
5787
  newCheckpointId: number;
5788
5788
  }[];
5789
- contractDBRevertCheckpointHints: {
5789
+ contractDbRevertCheckpointHints: {
5790
5790
  actionCounter: number;
5791
5791
  oldCheckpointId: number;
5792
5792
  newCheckpointId: number;
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -774,7 +774,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
774
774
  selector?: any;
775
775
  address?: any;
776
776
  }>, "many">;
777
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
777
+ contractDbCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
778
778
  actionCounter: z.ZodNumber;
779
779
  oldCheckpointId: z.ZodNumber;
780
780
  newCheckpointId: z.ZodNumber;
@@ -795,7 +795,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
795
795
  oldCheckpointId: number;
796
796
  newCheckpointId: number;
797
797
  }>, "many">;
798
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
798
+ contractDbCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
799
799
  actionCounter: z.ZodNumber;
800
800
  oldCheckpointId: z.ZodNumber;
801
801
  newCheckpointId: z.ZodNumber;
@@ -816,7 +816,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
816
816
  oldCheckpointId: number;
817
817
  newCheckpointId: number;
818
818
  }>, "many">;
819
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
819
+ contractDbRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
820
820
  actionCounter: z.ZodNumber;
821
821
  oldCheckpointId: z.ZodNumber;
822
822
  newCheckpointId: z.ZodNumber;
@@ -2409,17 +2409,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2409
2409
  contractClasses: import("../avm/avm.js").AvmContractClassHint[];
2410
2410
  bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
2411
2411
  debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
2412
- contractDBCreateCheckpointHints: {
2412
+ contractDbCreateCheckpointHints: {
2413
2413
  readonly actionCounter: number;
2414
2414
  readonly oldCheckpointId: number;
2415
2415
  readonly newCheckpointId: number;
2416
2416
  }[];
2417
- contractDBCommitCheckpointHints: {
2417
+ contractDbCommitCheckpointHints: {
2418
2418
  readonly actionCounter: number;
2419
2419
  readonly oldCheckpointId: number;
2420
2420
  readonly newCheckpointId: number;
2421
2421
  }[];
2422
- contractDBRevertCheckpointHints: {
2422
+ contractDbRevertCheckpointHints: {
2423
2423
  readonly actionCounter: number;
2424
2424
  readonly oldCheckpointId: number;
2425
2425
  readonly newCheckpointId: number;
@@ -2612,17 +2612,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2612
2612
  selector?: any;
2613
2613
  address?: any;
2614
2614
  }[];
2615
- contractDBCreateCheckpointHints: {
2615
+ contractDbCreateCheckpointHints: {
2616
2616
  actionCounter: number;
2617
2617
  oldCheckpointId: number;
2618
2618
  newCheckpointId: number;
2619
2619
  }[];
2620
- contractDBCommitCheckpointHints: {
2620
+ contractDbCommitCheckpointHints: {
2621
2621
  actionCounter: number;
2622
2622
  oldCheckpointId: number;
2623
2623
  newCheckpointId: number;
2624
2624
  }[];
2625
- contractDBRevertCheckpointHints: {
2625
+ contractDbRevertCheckpointHints: {
2626
2626
  actionCounter: number;
2627
2627
  oldCheckpointId: number;
2628
2628
  newCheckpointId: number;
@@ -3014,17 +3014,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3014
3014
  selector?: any;
3015
3015
  address?: any;
3016
3016
  }[];
3017
- contractDBCreateCheckpointHints: {
3017
+ contractDbCreateCheckpointHints: {
3018
3018
  actionCounter: number;
3019
3019
  oldCheckpointId: number;
3020
3020
  newCheckpointId: number;
3021
3021
  }[];
3022
- contractDBCommitCheckpointHints: {
3022
+ contractDbCommitCheckpointHints: {
3023
3023
  actionCounter: number;
3024
3024
  oldCheckpointId: number;
3025
3025
  newCheckpointId: number;
3026
3026
  }[];
3027
- contractDBRevertCheckpointHints: {
3027
+ contractDbRevertCheckpointHints: {
3028
3028
  actionCounter: number;
3029
3029
  oldCheckpointId: number;
3030
3030
  newCheckpointId: number;
@@ -4663,17 +4663,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4663
4663
  selector?: any;
4664
4664
  address?: any;
4665
4665
  }[];
4666
- contractDBCreateCheckpointHints: {
4666
+ contractDbCreateCheckpointHints: {
4667
4667
  actionCounter: number;
4668
4668
  oldCheckpointId: number;
4669
4669
  newCheckpointId: number;
4670
4670
  }[];
4671
- contractDBCommitCheckpointHints: {
4671
+ contractDbCommitCheckpointHints: {
4672
4672
  actionCounter: number;
4673
4673
  oldCheckpointId: number;
4674
4674
  newCheckpointId: number;
4675
4675
  }[];
4676
- contractDBRevertCheckpointHints: {
4676
+ contractDbRevertCheckpointHints: {
4677
4677
  actionCounter: number;
4678
4678
  oldCheckpointId: number;
4679
4679
  newCheckpointId: number;
@@ -5232,17 +5232,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5232
5232
  selector?: any;
5233
5233
  address?: any;
5234
5234
  }[];
5235
- contractDBCreateCheckpointHints: {
5235
+ contractDbCreateCheckpointHints: {
5236
5236
  actionCounter: number;
5237
5237
  oldCheckpointId: number;
5238
5238
  newCheckpointId: number;
5239
5239
  }[];
5240
- contractDBCommitCheckpointHints: {
5240
+ contractDbCommitCheckpointHints: {
5241
5241
  actionCounter: number;
5242
5242
  oldCheckpointId: number;
5243
5243
  newCheckpointId: number;
5244
5244
  }[];
5245
- contractDBRevertCheckpointHints: {
5245
+ contractDbRevertCheckpointHints: {
5246
5246
  actionCounter: number;
5247
5247
  oldCheckpointId: number;
5248
5248
  newCheckpointId: number;
@@ -5807,17 +5807,17 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5807
5807
  selector?: any;
5808
5808
  address?: any;
5809
5809
  }[];
5810
- contractDBCreateCheckpointHints: {
5810
+ contractDbCreateCheckpointHints: {
5811
5811
  actionCounter: number;
5812
5812
  oldCheckpointId: number;
5813
5813
  newCheckpointId: number;
5814
5814
  }[];
5815
- contractDBCommitCheckpointHints: {
5815
+ contractDbCommitCheckpointHints: {
5816
5816
  actionCounter: number;
5817
5817
  oldCheckpointId: number;
5818
5818
  newCheckpointId: number;
5819
5819
  }[];
5820
- contractDBRevertCheckpointHints: {
5820
+ contractDbRevertCheckpointHints: {
5821
5821
  actionCounter: number;
5822
5822
  oldCheckpointId: number;
5823
5823
  newCheckpointId: number;
package/dest/tests/factories.d.ts CHANGED
@@ -7,7 +7,7 @@ import { MembershipWitness } from '@aztec/foundation/trees';
7
7
  import { FunctionSelector } from '../abi/function_selector.js';
8
8
  import { ContractStorageRead } from '../avm/contract_storage_read.js';
9
9
  import { ContractStorageUpdateRequest } from '../avm/contract_storage_update_request.js';
10
- import { AvmAppendLeavesHint, AvmBytecodeCommitmentHint, AvmCircuitInputs, AvmCommitCheckpointHint, AvmContractClassHint, AvmContractDBCommitCheckpointHint, AvmContractDBCreateCheckpointHint, AvmContractDBRevertCheckpointHint, AvmContractInstanceHint, AvmCreateCheckpointHint, AvmDebugFunctionNameHint, AvmExecutionHints, AvmGetLeafPreimageHintNullifierTree, AvmGetLeafPreimageHintPublicDataTree, AvmGetLeafValueHint, AvmGetPreviousValueIndexHint, AvmGetSiblingPathHint, AvmRevertCheckpointHint, AvmSequentialInsertHintNullifierTree, AvmSequentialInsertHintPublicDataTree, AvmTxHint } from '../avm/index.js';
10
+ import { AvmAppendLeavesHint, AvmBytecodeCommitmentHint, AvmCircuitInputs, AvmCommitCheckpointHint, AvmContractClassHint, AvmContractDbCommitCheckpointHint, AvmContractDbCreateCheckpointHint, AvmContractDbRevertCheckpointHint, AvmContractInstanceHint, AvmCreateCheckpointHint, AvmDebugFunctionNameHint, AvmExecutionHints, AvmGetLeafPreimageHintNullifierTree, AvmGetLeafPreimageHintPublicDataTree, AvmGetLeafValueHint, AvmGetPreviousValueIndexHint, AvmGetSiblingPathHint, AvmRevertCheckpointHint, AvmSequentialInsertHintNullifierTree, AvmSequentialInsertHintPublicDataTree, AvmTxHint } from '../avm/index.js';
11
11
  import { PublicDataRead } from '../avm/public_data_read.js';
12
12
  import { PublicDataWrite } from '../avm/public_data_write.js';
13
13
  import { AztecAddress } from '../aztec-address/index.js';
@@ -338,9 +338,9 @@ export declare function makeAvmAppendLeavesHint(seed?: number): AvmAppendLeavesH
338
338
  export declare function makeAvmCheckpointActionCreateCheckpointHint(seed?: number): AvmCreateCheckpointHint;
339
339
  export declare function makeAvmCheckpointActionCommitCheckpointHint(seed?: number): AvmCommitCheckpointHint;
340
340
  export declare function makeAvmCheckpointActionRevertCheckpointHint(seed?: number): AvmRevertCheckpointHint;
341
- export declare function makeAvmContractDBCheckpointActionCreateCheckpointHint(seed?: number): AvmContractDBCreateCheckpointHint;
342
- export declare function makeAvmContractDBCheckpointActionCommitCheckpointHint(seed?: number): AvmContractDBCommitCheckpointHint;
343
- export declare function makeAvmContractDBCheckpointActionRevertCheckpointHint(seed?: number): AvmContractDBRevertCheckpointHint;
341
+ export declare function makeAvmContractDbCheckpointActionCreateCheckpointHint(seed?: number): AvmContractDbCreateCheckpointHint;
342
+ export declare function makeAvmContractDbCheckpointActionCommitCheckpointHint(seed?: number): AvmContractDbCommitCheckpointHint;
343
+ export declare function makeAvmContractDbCheckpointActionRevertCheckpointHint(seed?: number): AvmContractDbRevertCheckpointHint;
344
344
  /**
345
345
  * Makes arbitrary AvmContractInstanceHint.
346
346
  * @param seed - The seed to use for generating the state reference.
package/dest/tests/factories.js CHANGED
@@ -9,7 +9,7 @@ import { MembershipWitness } from '@aztec/foundation/trees';
9
9
  import { FunctionSelector } from '../abi/function_selector.js';
10
10
  import { ContractStorageRead } from '../avm/contract_storage_read.js';
11
11
  import { ContractStorageUpdateRequest } from '../avm/contract_storage_update_request.js';
12
- import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths, AvmAppendLeavesHint, AvmBytecodeCommitmentHint, AvmCircuitInputs, AvmCircuitPublicInputs, AvmCommitCheckpointHint, AvmContractClassHint, AvmContractDBCommitCheckpointHint, AvmContractDBCreateCheckpointHint, AvmContractDBRevertCheckpointHint, AvmContractInstanceHint, AvmCreateCheckpointHint, AvmDebugFunctionNameHint, AvmExecutionHints, AvmGetLeafPreimageHintNullifierTree, AvmGetLeafPreimageHintPublicDataTree, AvmGetLeafValueHint, AvmGetPreviousValueIndexHint, AvmGetSiblingPathHint, AvmRevertCheckpointHint, AvmSequentialInsertHintNullifierTree, AvmSequentialInsertHintPublicDataTree, AvmTxHint } from '../avm/index.js';
12
+ import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths, AvmAppendLeavesHint, AvmBytecodeCommitmentHint, AvmCircuitInputs, AvmCircuitPublicInputs, AvmCommitCheckpointHint, AvmContractClassHint, AvmContractDbCommitCheckpointHint, AvmContractDbCreateCheckpointHint, AvmContractDbRevertCheckpointHint, AvmContractInstanceHint, AvmCreateCheckpointHint, AvmDebugFunctionNameHint, AvmExecutionHints, AvmGetLeafPreimageHintNullifierTree, AvmGetLeafPreimageHintPublicDataTree, AvmGetLeafValueHint, AvmGetPreviousValueIndexHint, AvmGetSiblingPathHint, AvmRevertCheckpointHint, AvmSequentialInsertHintNullifierTree, AvmSequentialInsertHintPublicDataTree, AvmTxHint } from '../avm/index.js';
13
13
  import { PublicDataRead } from '../avm/public_data_read.js';
14
14
  import { PublicDataWrite } from '../avm/public_data_write.js';
15
15
  import { AztecAddress } from '../aztec-address/index.js';
@@ -812,14 +812,14 @@ export function makeAvmCheckpointActionCommitCheckpointHint(seed = 0) {
812
812
  export function makeAvmCheckpointActionRevertCheckpointHint(seed = 0) {
813
813
  return new AvmRevertCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2, /*beforeState=*/ makeTreeSnapshots(seed + 3), /*afterState=*/ makeTreeSnapshots(seed + 7));
814
814
  }
815
- export function makeAvmContractDBCheckpointActionCreateCheckpointHint(seed = 0) {
816
- return new AvmContractDBCreateCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
815
+ export function makeAvmContractDbCheckpointActionCreateCheckpointHint(seed = 0) {
816
+ return new AvmContractDbCreateCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
817
817
  }
818
- export function makeAvmContractDBCheckpointActionCommitCheckpointHint(seed = 0) {
819
- return new AvmContractDBCommitCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
818
+ export function makeAvmContractDbCheckpointActionCommitCheckpointHint(seed = 0) {
819
+ return new AvmContractDbCommitCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
820
820
  }
821
- export function makeAvmContractDBCheckpointActionRevertCheckpointHint(seed = 0) {
822
- return new AvmContractDBRevertCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
821
+ export function makeAvmContractDbCheckpointActionRevertCheckpointHint(seed = 0) {
822
+ return new AvmContractDbRevertCheckpointHint(/*actionCounter=*/ seed, /*oldCheckpointId=*/ seed + 1, /*newCheckpointId=*/ seed + 2);
823
823
  }
824
824
  /**
825
825
  * Makes arbitrary AvmContractInstanceHint.
@@ -888,9 +888,9 @@ export async function makeAvmTxHint(seed = 0) {
888
888
  contractClasses: makeArray(baseLength + 5, makeAvmContractClassHint, seed + 0x4900),
889
889
  bytecodeCommitments: await makeArrayAsync(baseLength + 5, makeAvmBytecodeCommitmentHint, seed + 0x4900),
890
890
  debugFunctionNames: makeArray(baseLength + 5, makeAvmDebugFunctionNameHint, seed + 0x4a00),
891
- contractDBCreateCheckpointHints: makeArray(baseLength + 5, makeAvmContractDBCheckpointActionCreateCheckpointHint, seed + 0x5900),
892
- contractDBCommitCheckpointHints: makeArray(baseLength + 5, makeAvmContractDBCheckpointActionCommitCheckpointHint, seed + 0x5b00),
893
- contractDBRevertCheckpointHints: makeArray(baseLength + 5, makeAvmContractDBCheckpointActionRevertCheckpointHint, seed + 0x5d00),
891
+ contractDbCreateCheckpointHints: makeArray(baseLength + 5, makeAvmContractDbCheckpointActionCreateCheckpointHint, seed + 0x5900),
892
+ contractDbCommitCheckpointHints: makeArray(baseLength + 5, makeAvmContractDbCheckpointActionCommitCheckpointHint, seed + 0x5b00),
893
+ contractDbRevertCheckpointHints: makeArray(baseLength + 5, makeAvmContractDbCheckpointActionRevertCheckpointHint, seed + 0x5d00),
894
894
  startingTreeRoots: makeTreeSnapshots(seed + 0x4900),
895
895
  getSiblingPathHints: makeArray(baseLength + 5, makeAvmGetSiblingPathHint, seed + 0x4b00),
896
896
  getPreviousValueIndexHints: makeArray(baseLength + 5, makeAvmGetPreviousValueIndexHint, seed + 0x4d00),
@@ -905,7 +905,7 @@ export async function makeAvmTxHint(seed = 0) {
905
905
  revertCheckpointHints: makeArray(baseLength + 5, makeAvmCheckpointActionRevertCheckpointHint, seed + 0x5d00),
906
906
  ...overrides
907
907
  };
908
- return new AvmExecutionHints(fields.globalVariables, fields.tx, fields.protocolContracts, fields.contractInstances, fields.contractClasses, fields.bytecodeCommitments, fields.debugFunctionNames, fields.contractDBCreateCheckpointHints, fields.contractDBCommitCheckpointHints, fields.contractDBRevertCheckpointHints, fields.startingTreeRoots, fields.getSiblingPathHints, fields.getPreviousValueIndexHints, fields.getLeafPreimageHintPublicDataTree, fields.getLeafPreimageHintNullifierTree, fields.getLeafValueHints, fields.sequentialInsertHintsPublicDataTree, fields.sequentialInsertHintsNullifierTree, fields.appendLeavesHints, fields.createCheckpointHints, fields.commitCheckpointHints, fields.revertCheckpointHints);
908
+ return new AvmExecutionHints(fields.globalVariables, fields.tx, fields.protocolContracts, fields.contractInstances, fields.contractClasses, fields.bytecodeCommitments, fields.debugFunctionNames, fields.contractDbCreateCheckpointHints, fields.contractDbCommitCheckpointHints, fields.contractDbRevertCheckpointHints, fields.startingTreeRoots, fields.getSiblingPathHints, fields.getPreviousValueIndexHints, fields.getLeafPreimageHintPublicDataTree, fields.getLeafPreimageHintNullifierTree, fields.getLeafValueHints, fields.sequentialInsertHintsPublicDataTree, fields.sequentialInsertHintsNullifierTree, fields.appendLeavesHints, fields.createCheckpointHints, fields.commitCheckpointHints, fields.revertCheckpointHints);
909
909
  }
910
910
  /**
911
911
  * Creates arbitrary AvmCircuitInputs.
package/dest/tx/public_simulation_output.d.ts CHANGED
@@ -11,7 +11,9 @@ export declare class NestedProcessReturnValues {
11
11
  values: ProcessReturnValues;
12
12
  nested: NestedProcessReturnValues[];
13
13
  constructor(values: ProcessReturnValues, nested?: NestedProcessReturnValues[]);
14
+ equals(other: NestedProcessReturnValues): boolean;
14
15
  static get schema(): ZodFor<NestedProcessReturnValues>;
16
+ static fromPlainObject(obj: any): NestedProcessReturnValues;
15
17
  static empty(): NestedProcessReturnValues;
16
18
  static random(depth?: number): NestedProcessReturnValues;
17
19
  }
package/dest/tx/public_simulation_output.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,eAAe,EAAE,eAAe;IAChC,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}
1
+ {"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,CAAC,KAAK,EAAE,yBAAyB,GAAG,OAAO;IASjD,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,yBAAyB;IAO3D,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,eAAe,EAAE,eAAe;IAChC,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}
package/dest/tx/public_simulation_output.js CHANGED
@@ -4,6 +4,7 @@ import times from 'lodash.times';
4
4
  import { z } from 'zod';
5
5
  import { SimulationError } from '../errors/simulation_error.js';
6
6
  import { Gas } from '../gas/gas.js';
7
+ import { NullishToUndefined } from '../schemas/schemas.js';
7
8
  import { TxEffect } from '../tx/tx_effect.js';
8
9
  import { GlobalVariables } from './global_variables.js';
9
10
  /** Return values of simulating complete callstack. */ export class NestedProcessReturnValues {
@@ -13,12 +14,18 @@ import { GlobalVariables } from './global_variables.js';
13
14
  this.values = values;
14
15
  this.nested = nested ?? [];
15
16
  }
17
+ equals(other) {
18
+ return this.values?.length === other.values?.length && this.nested.length === other.nested.length && (this.values === undefined || this.values.every((v, i)=>v.equals(other.values[i]))) && this.nested.every((n, i)=>n.equals(other.nested[i]));
19
+ }
16
20
  static get schema() {
17
21
  return z.object({
18
- values: z.array(schemas.Fr).optional(),
22
+ values: NullishToUndefined(z.array(schemas.Fr)),
19
23
  nested: z.array(z.lazy(()=>NestedProcessReturnValues.schema))
20
24
  }).transform(({ values, nested })=>new NestedProcessReturnValues(values, nested));
21
25
  }
26
+ static fromPlainObject(obj) {
27
+ return new NestedProcessReturnValues(obj.values?.map(Fr.fromPlainObject), obj.nested?.map(NestedProcessReturnValues.fromPlainObject));
28
+ }
22
29
  static empty() {
23
30
  return new NestedProcessReturnValues([]);
24
31
  }
package/dest/vks/verification_key.d.ts CHANGED
@@ -82,6 +82,7 @@ export declare class VerificationKeyAsFields {
82
82
  * @returns The VerificationKeyAsFields.
83
83
  */
84
84
  static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyAsFields;
85
+ static fromFrBuffer(vkBytes: Buffer): Promise<VerificationKeyAsFields>;
85
86
  /**
86
87
  * Builds a fake verification key that should be accepted by circuits.
87
88
  * @returns A fake verification key.
@@ -165,6 +166,13 @@ export declare class VerificationKey {
165
166
  * @returns A fake verification key.
166
167
  */
167
168
  static makeFake(): VerificationKey;
169
+ /**
170
+ * Builds a fake MegaHonk verification key buffer for testing.
171
+ * Uses a real VK from a compiled contract to ensure proper format.
172
+ *
173
+ * @returns A valid MegaHonk VK buffer (4064 bytes)
174
+ */
175
+ static makeFakeMegaHonk(): Buffer;
168
176
  }
169
177
  export declare class VerificationKeyData {
170
178
  readonly keyAsFields: VerificationKeyAsFields;
@@ -183,6 +191,7 @@ export declare class VerificationKeyData {
183
191
  toBuffer(): Buffer<ArrayBufferLike>;
184
192
  toString(): `0x${string}`;
185
193
  static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyData;
194
+ static fromFrBuffer(vkBytes: Buffer): Promise<VerificationKeyData>;
186
195
  static fromString(str: string): VerificationKeyData;
187
196
  clone(): VerificationKeyData;
188
197
  /** Returns a hex representation for JSON serialization. */
package/dest/vks/verification_key.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;gBAED,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM;IAI1C;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAIlE;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;;IAHlD;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAGpD;;;OAGG;IACH,QAAQ;IAKR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;CAIhE;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;gBADR,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE;WAGJ,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE;IAK9B,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM;IAIN;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB;IAIhE,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAItD,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAO5D;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB;CAGxD;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;;IAvBjD;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAGnD;;;OAGG;IACH,QAAQ;IAWR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAYjE;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe;IAWxC;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe;CAUnC;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;gBADlB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM;IAGpC,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,YAAY,IAAI,mBAAmB;IAI1C,MAAM,CAAC,kBAAkB,IAAI,mBAAmB;IAOhD,MAAM,CAAC,QAAQ,CAAC,GAAG,SAA4B,GAAG,mBAAmB;IAIrE;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAQrE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAI5C,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
1
+ {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;gBAED,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM;IAI1C;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAIlE;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;;IAHlD;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAGpD;;;OAGG;IACH,QAAQ;IAKR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;CAIhE;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;gBADR,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE;WAGJ,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE;IAK9B,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM;IAIN;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAOtE;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB;IAIhE,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAItD,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAO5D;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB;CAGxD;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;;IAvBjD;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAGnD;;;OAGG;IACH,QAAQ;IAWR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAYjE;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe;IAWxC;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe;IAWlC;;;;;OAKG;IACH,MAAM,CAAC,gBAAgB,IAAI,MAAM;CAOlC;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;gBADlB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM;IAGpC,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,YAAY,IAAI,mBAAmB;IAI1C,MAAM,CAAC,kBAAkB,IAAI,mBAAmB;IAOhD,MAAM,CAAC,QAAQ,CAAC,GAAG,SAA4B,GAAG,mBAAmB;IAIrE;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;WAQxD,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAIxE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAI5C,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
package/dest/vks/verification_key.js CHANGED
@@ -111,6 +111,12 @@ export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
111
111
  const reader = BufferReader.asReader(buffer);
112
112
  return new VerificationKeyAsFields(reader.readVector(Fr), reader.readObject(Fr));
113
113
  }
114
+ static fromFrBuffer(vkBytes) {
115
+ const numFields = vkBytes.length / Fr.SIZE_IN_BYTES;
116
+ const reader = BufferReader.asReader(vkBytes);
117
+ const fields = reader.readArray(numFields, Fr);
118
+ return VerificationKeyAsFields.fromKey(fields);
119
+ }
114
120
  /**
115
121
  * Builds a fake verification key that should be accepted by circuits.
116
122
  * @returns A fake verification key.
@@ -182,6 +188,17 @@ export class VerificationKey {
182
188
  */ static makeFake() {
183
189
  return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
184
190
  }
191
+ /**
192
+ * Builds a fake MegaHonk verification key buffer for testing.
193
+ * Uses a real VK from a compiled contract to ensure proper format.
194
+ *
195
+ * @returns A valid MegaHonk VK buffer (4064 bytes)
196
+ */ static makeFakeMegaHonk() {
197
+ // This is a real MegaFlavor VK from token_contract, base64-encoded
198
+ // Size: 4064 bytes (127 fields × 32 bytes)
199
+ const vk = 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANuAAAAAAAAAAAAAAAAAAAAP/2mLzBM1pS5uiSckb1BVHkAAAAAAAAAAAAAAAAAAAAAAAj416UaEYnPzn49IUFSXgAAAAAAAAAAAAAAAAAAAIXdwCJK3KYAoGKX4p6GfmryAAAAAAAAAAAAAAAAAAAAAAAokraNwSgFcpF48hQxNGkAAAAAAAAAAAAAAAAAAAC7oxlMkGNLFkB2hf+YZ3ZxbgAAAAAAAAAAAAAAAAAAAAAAJxTarsiWssfiDyt71jURAAAAAAAAAAAAAAAAAAAAXrNqIIwSwfoH9ohkDg7vOVkAAAAAAAAAAAAAAAAAAAAAAAmoSGxP3U/r3hzEvHateQAAAAAAAAAAAAAAAAAAABsMbbs6st4J8g1rt+BsNQ/tAAAAAAAAAAAAAAAAAAAAAAAG1jgBz1oWwF9cgJAcbokAAAAAAAAAAAAAAAAAAAAiSGg7Y4g8BZRm7Y263TfzBQAAAAAAAAAAAAAAAAAAAAAABAifGWuruwdNirdcMLaZAAAAAAAAAAAAAAAAAAAAvnjsQ6y/R+pkGIZG+8VaSmoAAAAAAAAAAAAAAAAAAAAAACZ132MJqewzJSlpMIlLrwAAAAAAAAAAAAAAAAAAAGLurX4BKthJm1qWxgHy6poVAAAAAAAAAAAAAAAAAAAAAAATyCVmUda23MUKev5O7H8AAAAAAAAAAAAAAAAAAAAHgBXlGsmyGwFKCc8ECZMtygAAAAAAAAAAAAAAAAAAAAAAA5NUCZBujE33vAepEGQDAAAAAAAAAAAAAAAAAAAAezL+gT6bMTInwgAVVNNDXRkAAAAAAAAAAAAAAAAAAAAAABCAWIHhkvWaCS2ZnKPvSwAAAAAAAAAAAAAAAAAAANPQvFAiWRA8ERg5yGvr88ALAAAAAAAAAAAAAAAAAAAAAAApoSMoGsXzQJaFneSv1KgAAAAAAAAAAAAAAAAAAAB340oDJmM304cJnC9ueo+O5AAAAAAAAAAAAAAAAAAAAAAAHZK4hjDrXvy49q13vwGAAAAAAAAAAAAAAAAAAAAAtQi6GtLBaVOlbS6XGA9eqnwAAAAAAAAAAAAAAAAAAAAAABfiIWL6/lPx838UMvXv4wAAAAAAAAAAAAAAAAAAADr/3SHoETrf6uZZ1rp+WIZQAAAAAAAAAAAAAAAAAAAAAAAqvpwOG8VS0GsAo7Jkj0UAAAAAAAAAAAAAAAAAAABUJxHlFbLDzcMOKg2f7hCicAAAAAAAAAAAAAAAAAAAAAAAEWBEq9cQJCgbdAYavBP5AAAAAAAAAAAAAAAAAAAAdrkZueUT2Ets4CFAG+vXcr4AAAAAAAAAAAAAAAAAAAAAAB6B5XXXSu46eOAFWZAkrwAAAAAAAAAAAAAAAAAAANmWqVvVT2mZ7QrYWIirAquXAAAAAAAAAAAAAAAAAAAAAAACF9hD8+IrMaRi+lqRkAMAAAAAAAAAAAAAAAAAAAAD5Z0isCORGRBnbAxmzTrctgAAAAAAAAAAAAAAAAAAAAAAMAWa6kNzndYcZpD/z9psAAAAAAAAAAAAAAAAAAAA+bz6NGciDYP69hwbHlOFemYAAAAAAAAAAAAAAAAAAAAAACxtqvyR362MHKUfRa1atAAAAAAAAAAAAAAAAAAAABHmXRvQcsHNHFVezkzmPcbGAAAAAAAAAAAAAAAAAAAAAAAgnfqubAIcahOIvmgu5kEAAAAAAAAAAAAAAAAAAACzkNYUnJ/7869CHmpqFcvY7gAAAAAAAAAAAAAAAAAAAAAAByZU2ZsU3OZBBKhDaro4AAAAAAAAAAAAAAAAAAAA5WKKgNFBqO30Fqe8nWMZOfkAAAAAAAAAAAAAAAAAAAAAABeI+NTdPf/53PNok25fhwAAAAAAAAAAAAAAAAAAANTx1sizxFU9c4qiWkoCg1G9AAAAAAAAAAAAAAAAAAAAAAAKK321DuTcjXFo351Z7fAAAAAAAAAAAAAAAAAAAADOP1b+njU8sem9GjVjXe1qTAAAAAAAAAAAAAAAAAAAAAAADLPaoo1d53oBsUXMc0GIAAAAAAAAAAAAAAAAAAAAcW4ObhQI/r76cmLEMHA6iHsAAAAAAAAAAAAAAAAAAAAAAAxzcj9JsZ+WcmGtvE3NSAAAAAAAAAAAAAAAAAAAAPqjE1vBe0DhRJfyQPZj8eamAAAAAAAAAAAAAAAAAAAAAAAOXS9sKDjHSU17NYl3NWcAAAAAAAAAAAAAAAAAAACMJCYI98PRZEMXCwrwNffRggAAAAAAAAAAAAAAAAAAAAAAF7iR11vxzfrikwSlMSOwAAAAAAAAAAAAAAAAAAAAjYxSswL26VlnQdfkOYS9MuYAAAAAAAAAAAAAAAAAAAAAAC6jqRgX46I790Y9ebEJ9gAAAAAAAAAAAAAAAAAAAJq7Vw3WpNxo+vzjpCxfVu0rAAAAAAAAAAAAAAAAAAAAAAAPd0DnQkVFd7Rhjlk7k0wAAAAAAAAAAAAAAAAAAAA/SdmtkYZfq+d1bkNp2l0IdQAAAAAAAAAAAAAAAAAAAAAAEGEmscJv8D/jR09GElDyAAAAAAAAAAAAAAAAAAAAgY2ip4PPEb5BgXBJV0bUHpsAAAAAAAAAAAAAAAAAAAAAABiRsTgHAURQXmqPKFtBggAAAAAAAAAAAAAAAAAAAKWWQ0j6nz6pIx27umcNoUk1AAAAAAAAAAAAAAAAAAAAAAABk5iNZXp0vuxhWmZ0F0YAAAAAAAAAAAAAAAAAAADkU74RRH4d3TDyCXGUcQdG6wAAAAAAAAAAAAAAAAAAAAAALi6nWpWc4hq35DuQOxCdAAAAAAAAAAAAAAAAAAAAjBnq8cvZwI0dqFiGgI3kP/sAAAAAAAAAAAAAAAAAAAAAAAZDjNqd6UXeD/Xbw2vT3wAAAAAAAAAAAAAAAAAAAAey7c2Kz+U0azWgd9i/FoI7AAAAAAAAAAAAAAAAAAAAAAAO4lm5hFdU3KY1MMVooKoAAAAAAAAAAAAAAAAAAAA11ut5lZwgPDn0A1cwtLCjDAAAAAAAAAAAAAAAAAAAAAAADhG7sXUMPuGPPEEkGD/MAAAAAAAAAAAAAAAAAAAAkFC/P2UgsVTxrLhFyeRcTqUAAAAAAAAAAAAAAAAAAAAAAAXZUHR9pRmVh2U5hXP8UgAAAAAAAAAAAAAAAAAAAM9CK5rTZMf33eqMsQVDsdUbAAAAAAAAAAAAAAAAAAAAAAAKfdl2Itg9xMw19PoJjw4AAAAAAAAAAAAAAAAAAACh6Wbif3ZcchD1B7vZ8b5DHwAAAAAAAAAAAAAAAAAAAAAAHGRY+P8dj2Szvs/BINaZAAAAAAAAAAAAAAAAAAAA57z5vC986jfHkCdbvBGY9UEAAAAAAAAAAAAAAAAAAAAAABuC5Ph+YUMEdCTygzTQLgAAAAAAAAAAAAAAAAAAAMdxf6hfQQBnhI5uc4PPJkiwAAAAAAAAAAAAAAAAAAAAAAApr+0qBIeZZf5wFnDZGNcAAAAAAAAAAAAAAAAAAADqhA6wE2ALsS/9BFYP32waPAAAAAAAAAAAAAAAAAAAAAAAKN90iROZj56eOgBuC4DlAAAAAAAAAAAAAAAAAAAAUItiITw6coKXGWZYVGs6EvMAAAAAAAAAAAAAAAAAAAAAAB/gFpTMjB81T6kjfu9v5AAAAAAAAAAAAAAAAAAAAGQG2CBHDqOoGrVyJFkVxqotAAAAAAAAAAAAAAAAAAAAAAAf6yUuTb9Uwg1tZ4id9jcAAAAAAAAAAAAAAAAAAADlkZ2DA7pZH9wO11w4cy+s/gAAAAAAAAAAAAAAAAAAAAAAAt5B32eTTs4csyhddidyAAAAAAAAAAAAAAAAAAAA2aKmCGyHs9jOnHNSufEdfO4AAAAAAAAAAAAAAAAAAAAAAC/vRXfEwTCgPImIiqOUswAAAAAAAAAAAAAAAAAAAFGkxws8pjGFPFrAxEiNiKZvAAAAAAAAAAAAAAAAAAAAAAAaPDkex9QFa+M1+cKv3uYAAAAAAAAAAAAAAAAAAACBxRbxgX6dH/bX8+18EZFW0AAAAAAAAAAAAAAAAAAAAAAAFvOBcJpsuXdvthvuKTZLAAAAAAAAAAAAAAAAAAAAT1jrSA1EinKmegreBOM17oQAAAAAAAAAAAAAAAAAAAAAACpP5938XueYK9lRsqQx8AAAAAAAAAAAAAAAAAAAAD7gDhTe1BwxuEHsc2agJEc/AAAAAAAAAAAAAAAAAAAAAAAhj3icxTsLkBO1+Nwz5bkAAAAAAAAAAAAAAAAAAADUotDXrDmLTxZKvbT011rGRgAAAAAAAAAAAAAAAAAAAAAAAm2Vy0XXc5bPTwYiCnozAAAAAAAAAAAAAAAAAAAA4m//D/oaIEkcbfvcsY8m3yEAAAAAAAAAAAAAAAAAAAAAAAUtiBCqfomCGC6GywfTDQAAAAAAAAAAAAAAAAAAANedPq+IpIRxcYWtqKNbMcFBAAAAAAAAAAAAAAAAAAAAAAAYqcAnwnFfdxcE/rO/iEMAAAAAAAAAAAAAAAAAAADOpZm7rhU1EjBVJa6+CsG3SwAAAAAAAAAAAAAAAAAAAAAADE3UV3HYY4to5MdMoyhzAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADR5j3OosE3DcjqfYFSVRVvhQAAAAAAAAAAAAAAAAAAAAAAIkOVicHIGw8ySdK6LLsSAAAAAAAAAAAAAAAAAAAAiUo00o971hiazvZDn4Ir9CsAAAAAAAAAAAAAAAAAAAAAADA8czfrc4+po12HYzzeswAAAAAAAAAAAAAAAAAAAGvMegX/lalrKJQkxfczZw2WAAAAAAAAAAAAAAAAAAAAAAAAxDcm91tv2g3iLODg36sAAAAAAAAAAAAAAAAAAAAdCgnXF47JO614WPluZPC0jQAAAAAAAAAAAAAAAAAAAAAAL5tuC04sAZaN5cMkgqp9AAAAAAAAAAAAAAAAAAAAjKmgRRlkp7urvZ42nbdVYlMAAAAAAAAAAAAAAAAAAAAAABRWfiw+hPwePmnYH2zlgAAAAAAAAAAAAAAAAAAAANYJxZ/uz4mfK5Wv9Rm78/s8AAAAAAAAAAAAAAAAAAAAAAADeJJvFQwwx2CWXfRprm4=';
200
+ return Buffer.from(vk, 'base64');
201
+ }
185
202
  }
186
203
  export class VerificationKeyData {
187
204
  keyAsFields;
@@ -224,6 +241,9 @@ export class VerificationKeyData {
224
241
  const bytes = reader.readBytes(length);
225
242
  return new VerificationKeyData(verificationKeyAsFields, bytes);
226
243
  }
244
+ static async fromFrBuffer(vkBytes) {
245
+ return new VerificationKeyData(await VerificationKeyAsFields.fromFrBuffer(vkBytes), vkBytes);
246
+ }
227
247
  static fromString(str) {
228
248
  return VerificationKeyData.fromBuffer(hexToBuffer(str));
229
249
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/stdlib",
3
- "version": "3.0.0-nightly.20251115",
3
+ "version": "3.0.0-nightly.20251119",
4
4
  "type": "module",
5
5
  "inherits": [
6
6
  "../package.common.json",
@@ -72,13 +72,13 @@
72
72
  },
73
73
  "dependencies": {
74
74
  "@aws-sdk/client-s3": "^3.892.0",
75
- "@aztec/bb.js": "3.0.0-nightly.20251115",
76
- "@aztec/blob-lib": "3.0.0-nightly.20251115",
77
- "@aztec/constants": "3.0.0-nightly.20251115",
78
- "@aztec/ethereum": "3.0.0-nightly.20251115",
79
- "@aztec/foundation": "3.0.0-nightly.20251115",
80
- "@aztec/l1-artifacts": "3.0.0-nightly.20251115",
81
- "@aztec/noir-noirc_abi": "3.0.0-nightly.20251115",
75
+ "@aztec/bb.js": "3.0.0-nightly.20251119",
76
+ "@aztec/blob-lib": "3.0.0-nightly.20251119",
77
+ "@aztec/constants": "3.0.0-nightly.20251119",
78
+ "@aztec/ethereum": "3.0.0-nightly.20251119",
79
+ "@aztec/foundation": "3.0.0-nightly.20251119",
80
+ "@aztec/l1-artifacts": "3.0.0-nightly.20251119",
81
+ "@aztec/noir-noirc_abi": "3.0.0-nightly.20251119",
82
82
  "@google-cloud/storage": "^7.15.0",
83
83
  "axios": "^1.12.0",
84
84
  "json-stringify-deterministic": "1.0.12",