@aztec/stdlib 3.0.0-nightly.20250918 → 3.0.0-nightly.20250920

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 (135) hide show
  1. package/dest/avm/avm.d.ts +8 -16
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm_accumulated_data.d.ts +9 -21
  4. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  5. package/dest/avm/avm_accumulated_data.js +15 -22
  6. package/dest/avm/avm_circuit_public_inputs.d.ts +6 -12
  7. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  8. package/dest/avm/avm_proving_request.d.ts +9 -18
  9. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  10. package/dest/interfaces/block-builder.d.ts +1 -0
  11. package/dest/interfaces/block-builder.d.ts.map +1 -1
  12. package/dest/interfaces/epoch-prover.d.ts +4 -4
  13. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  14. package/dest/interfaces/proving-job.d.ts +78 -88
  15. package/dest/interfaces/proving-job.d.ts.map +1 -1
  16. package/dest/interfaces/proving-job.js +40 -84
  17. package/dest/interfaces/pxe.d.ts +193 -118
  18. package/dest/interfaces/pxe.d.ts.map +1 -1
  19. package/dest/interfaces/pxe.js +6 -37
  20. package/dest/interfaces/server_circuit_prover.d.ts +18 -17
  21. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  22. package/dest/logs/log_with_tx_data.d.ts +9 -12
  23. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  24. package/dest/logs/log_with_tx_data.js +18 -23
  25. package/dest/logs/public_log.d.ts +23 -10
  26. package/dest/logs/public_log.d.ts.map +1 -1
  27. package/dest/logs/public_log.js +117 -42
  28. package/dest/parity/index.d.ts +2 -3
  29. package/dest/parity/index.d.ts.map +1 -1
  30. package/dest/parity/index.js +2 -3
  31. package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +6 -6
  32. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
  33. package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +5 -5
  34. package/dest/parity/parity_root_private_inputs.d.ts +39 -0
  35. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
  36. package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
  37. package/dest/proofs/proof_data.d.ts +3 -2
  38. package/dest/proofs/proof_data.d.ts.map +1 -1
  39. package/dest/proofs/proving_request_type.d.ts +5 -5
  40. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  41. package/dest/proofs/proving_request_type.js +5 -5
  42. package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +10 -4
  43. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
  44. package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +1 -1
  45. package/dest/rollup/{block_root_rollup.d.ts → block_root_rollup_private_inputs.d.ts} +23 -34
  46. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
  47. package/dest/rollup/{block_root_rollup.js → block_root_rollup_private_inputs.js} +7 -7
  48. package/dest/rollup/{checkpoint_merge_rollup.d.ts → checkpoint_merge_rollup_private_inputs.d.ts} +6 -6
  49. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
  50. package/dest/rollup/{checkpoint_root_rollup.d.ts → checkpoint_root_rollup_private_inputs.d.ts} +14 -8
  51. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
  52. package/dest/rollup/index.d.ts +10 -11
  53. package/dest/rollup/index.d.ts.map +1 -1
  54. package/dest/rollup/index.js +10 -11
  55. package/dest/rollup/{private_base_rollup_inputs.d.ts → private_tx_base_rollup_private_inputs.d.ts} +7 -7
  56. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
  57. package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js} +6 -6
  58. package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts} +7 -7
  59. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
  60. package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js} +6 -6
  61. package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
  62. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
  63. package/dest/rollup/root_rollup_private_inputs.js +69 -0
  64. package/dest/rollup/{root_rollup.d.ts → root_rollup_public_inputs.d.ts} +2 -65
  65. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
  66. package/dest/rollup/{root_rollup.js → root_rollup_public_inputs.js} +1 -66
  67. package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
  68. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
  69. package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
  70. package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +11 -11
  71. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
  72. package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +13 -13
  73. package/dest/stats/stats.d.ts +1 -1
  74. package/dest/stats/stats.d.ts.map +1 -1
  75. package/dest/tests/factories.d.ts +16 -31
  76. package/dest/tests/factories.d.ts.map +1 -1
  77. package/dest/tests/factories.js +32 -49
  78. package/dest/tx/processed_tx.js +1 -1
  79. package/dest/tx/tx_effect.d.ts.map +1 -1
  80. package/dest/tx/tx_effect.js +9 -10
  81. package/package.json +8 -8
  82. package/src/avm/avm_accumulated_data.ts +15 -29
  83. package/src/interfaces/block-builder.ts +1 -0
  84. package/src/interfaces/epoch-prover.ts +3 -3
  85. package/src/interfaces/proving-job.ts +54 -93
  86. package/src/interfaces/pxe.ts +4 -184
  87. package/src/interfaces/server_circuit_prover.ts +24 -29
  88. package/src/logs/log_with_tx_data.ts +14 -24
  89. package/src/logs/public_log.ts +120 -58
  90. package/src/parity/index.ts +2 -3
  91. package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +6 -6
  92. package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
  93. package/src/proofs/proof_data.ts +4 -2
  94. package/src/proofs/proving_request_type.ts +6 -5
  95. package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +5 -3
  96. package/src/rollup/{block_root_rollup.ts → block_root_rollup_private_inputs.ts} +13 -26
  97. package/src/rollup/{checkpoint_merge_rollup.ts → checkpoint_merge_rollup_private_inputs.ts} +3 -4
  98. package/src/rollup/{checkpoint_root_rollup.ts → checkpoint_root_rollup_private_inputs.ts} +6 -4
  99. package/src/rollup/index.ts +10 -11
  100. package/src/rollup/{private_base_rollup_inputs.ts → private_tx_base_rollup_private_inputs.ts} +9 -9
  101. package/src/rollup/{public_base_rollup_inputs.ts → public_tx_base_rollup_private_inputs.ts} +9 -9
  102. package/src/rollup/root_rollup_private_inputs.ts +90 -0
  103. package/src/rollup/{root_rollup.ts → root_rollup_public_inputs.ts} +1 -86
  104. package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
  105. package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +11 -11
  106. package/src/stats/stats.ts +18 -17
  107. package/src/tests/factories.ts +33 -80
  108. package/src/tx/processed_tx.ts +1 -1
  109. package/src/tx/tx_effect.ts +9 -8
  110. package/dest/parity/base_parity_inputs.d.ts.map +0 -1
  111. package/dest/parity/root_parity_input.d.ts +0 -52
  112. package/dest/parity/root_parity_input.d.ts.map +0 -1
  113. package/dest/parity/root_parity_input.js +0 -50
  114. package/dest/parity/root_parity_inputs.d.ts +0 -37
  115. package/dest/parity/root_parity_inputs.d.ts.map +0 -1
  116. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
  117. package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
  118. package/dest/rollup/block_root_rollup.d.ts.map +0 -1
  119. package/dest/rollup/checkpoint_merge_rollup.d.ts.map +0 -1
  120. package/dest/rollup/checkpoint_root_rollup.d.ts.map +0 -1
  121. package/dest/rollup/merge_rollup.d.ts.map +0 -1
  122. package/dest/rollup/previous_rollup_data.d.ts +0 -47
  123. package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
  124. package/dest/rollup/previous_rollup_data.js +0 -37
  125. package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
  126. package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
  127. package/dest/rollup/rollup_proof_data.d.ts +0 -10
  128. package/dest/rollup/rollup_proof_data.d.ts.map +0 -1
  129. package/dest/rollup/rollup_proof_data.js +0 -1
  130. package/dest/rollup/root_rollup.d.ts.map +0 -1
  131. package/src/parity/root_parity_input.ts +0 -71
  132. package/src/rollup/previous_rollup_data.ts +0 -48
  133. package/src/rollup/rollup_proof_data.ts +0 -12
  134. /package/dest/rollup/{checkpoint_merge_rollup.js → checkpoint_merge_rollup_private_inputs.js} +0 -0
  135. /package/dest/rollup/{checkpoint_root_rollup.js → checkpoint_root_rollup_private_inputs.js} +0 -0
@@ -27,7 +27,6 @@ import {
27
27
  MAX_PRIVATE_LOGS_PER_TX,
28
28
  MAX_PROTOCOL_CONTRACTS,
29
29
  MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
30
- MAX_PUBLIC_LOGS_PER_TX,
31
30
  MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
32
31
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
33
32
  NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH,
@@ -38,8 +37,6 @@ import {
38
37
  NUM_MSGS_PER_BASE_PARITY,
39
38
  PRIVATE_LOG_SIZE_IN_FIELDS,
40
39
  PUBLIC_DATA_TREE_HEIGHT,
41
- PUBLIC_LOG_SIZE_IN_FIELDS,
42
- RECURSIVE_PROOF_LENGTH,
43
40
  RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
44
41
  VK_TREE_HEIGHT,
45
42
  } from '@aztec/constants';
@@ -125,36 +122,34 @@ import {
125
122
  import { PublicKeys, computeAddress } from '../keys/index.js';
126
123
  import { ContractClassLogFields } from '../logs/index.js';
127
124
  import { PrivateLog } from '../logs/private_log.js';
128
- import { PublicLog } from '../logs/public_log.js';
125
+ import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
129
126
  import { CountedL2ToL1Message, L2ToL1Message, ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
130
- import { BaseParityInputs } from '../parity/base_parity_inputs.js';
127
+ import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
131
128
  import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
132
- import { RootParityInput } from '../parity/root_parity_input.js';
133
- import { RootParityInputs } from '../parity/root_parity_inputs.js';
129
+ import { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
130
+ import { ProofData } from '../proofs/index.js';
134
131
  import { Proof } from '../proofs/proof.js';
135
- import { ProofData } from '../proofs/proof_data.js';
136
132
  import { ProvingRequestType } from '../proofs/proving_request_type.js';
137
133
  import { makeRecursiveProof } from '../proofs/recursive_proof.js';
138
134
  import { AvmProofData } from '../rollup/avm_proof_data.js';
139
- import { BaseOrMergeRollupPublicInputs } from '../rollup/base_or_merge_rollup_public_inputs.js';
140
135
  import { PrivateBaseRollupHints, PublicBaseRollupHints } from '../rollup/base_rollup_hints.js';
141
136
  import { BlockConstantData } from '../rollup/block_constant_data.js';
142
- import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup.js';
137
+ import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
143
138
  import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
144
139
  import {
145
140
  BlockRootFirstRollupPrivateInputs,
146
141
  BlockRootSingleTxRollupPrivateInputs,
147
- } from '../rollup/block_root_rollup.js';
142
+ } from '../rollup/block_root_rollup_private_inputs.js';
148
143
  import { CheckpointConstantData } from '../rollup/checkpoint_constant_data.js';
149
144
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
150
145
  import { CheckpointRollupPublicInputs, FeeRecipient } from '../rollup/checkpoint_rollup_public_inputs.js';
151
146
  import { EpochConstantData } from '../rollup/epoch_constant_data.js';
152
- import { MergeRollupInputs } from '../rollup/merge_rollup.js';
153
- import { PreviousRollupData } from '../rollup/previous_rollup_data.js';
154
- import { PrivateBaseRollupInputs } from '../rollup/private_base_rollup_inputs.js';
155
- import { PublicBaseRollupInputs } from '../rollup/public_base_rollup_inputs.js';
156
- import { RootRollupPublicInputs } from '../rollup/root_rollup.js';
147
+ import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
148
+ import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
149
+ import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
157
150
  import { PrivateBaseStateDiffHints } from '../rollup/state_diff_hints.js';
151
+ import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
152
+ import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
158
153
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
159
154
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
160
155
  import { NullifierLeaf, NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
@@ -213,8 +208,7 @@ function makePrivateLogData(seed: number) {
213
208
  function makePublicLog(seed: number) {
214
209
  return new PublicLog(
215
210
  makeAztecAddress(seed),
216
- makeTuple(PUBLIC_LOG_SIZE_IN_FIELDS, fr, seed + 1),
217
- PUBLIC_LOG_SIZE_IN_FIELDS,
211
+ new Array(10).fill(null).map((_, i) => new Fr(seed + i)),
218
212
  );
219
213
  }
220
214
 
@@ -354,13 +348,13 @@ function makeAvmAccumulatedData(seed = 1) {
354
348
  makeTuple(MAX_NOTE_HASHES_PER_TX, fr, seed),
355
349
  makeTuple(MAX_NULLIFIERS_PER_TX, fr, seed + 0x100),
356
350
  makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, makeScopedL2ToL1Message, seed + 0x200),
357
- makeTuple(MAX_PUBLIC_LOGS_PER_TX, makePublicLog, seed + 0x300),
351
+ FlatPublicLogs.fromLogs(new Array(20).fill(null).map((_, i) => makePublicLog(seed + i * 256))),
358
352
  makeTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, makePublicDataWrite, seed + 0x400),
359
353
  );
360
354
  }
361
355
 
362
356
  function makeAvmAccumulatedDataArrayLengths(seed = 1) {
363
- return new AvmAccumulatedDataArrayLengths(seed, seed + 1, seed + 2, seed + 3, seed + 4);
357
+ return new AvmAccumulatedDataArrayLengths(seed, seed + 1, seed + 2, seed + 3);
364
358
  }
365
359
 
366
360
  export function makeGas(seed = 1) {
@@ -706,11 +700,11 @@ function makeEpochConstantData(seed = 1) {
706
700
  * @param blockNumber - The block number to use for generating the base rollup circuit public inputs.
707
701
  * @returns A base or merge rollup circuit public inputs.
708
702
  */
709
- export function makeBaseOrMergeRollupPublicInputs(
703
+ export function makeTxRollupPublicInputs(
710
704
  seed = 0,
711
705
  globalVariables: GlobalVariables | undefined = undefined,
712
- ): BaseOrMergeRollupPublicInputs {
713
- return new BaseOrMergeRollupPublicInputs(
706
+ ): TxRollupPublicInputs {
707
+ return new TxRollupPublicInputs(
714
708
  1,
715
709
  makeBlockConstantData(seed + 0x200, globalVariables),
716
710
  makePartialStateReference(seed + 0x300),
@@ -761,38 +755,6 @@ export function makeCheckpointRollupPublicInputs(seed = 0) {
761
755
  );
762
756
  }
763
757
 
764
- /**
765
- * Makes arbitrary previous rollup data.
766
- * @param seed - The seed to use for generating the previous rollup data.
767
- * @param globalVariables - The global variables to use when generating the previous rollup data.
768
- * @returns A previous rollup data.
769
- */
770
- export function makePreviousRollupData(
771
- seed = 0,
772
- globalVariables: GlobalVariables | undefined = undefined,
773
- ): PreviousRollupData {
774
- return new PreviousRollupData(
775
- makeBaseOrMergeRollupPublicInputs(seed, globalVariables),
776
- makeRecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>(
777
- NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
778
- seed + 0x50,
779
- ),
780
- makeVkData(seed + 0x100),
781
- );
782
- }
783
-
784
- export function makeRootParityInput<PROOF_LENGTH extends number>(
785
- proofSize: PROOF_LENGTH,
786
- seed = 0,
787
- ): RootParityInput<PROOF_LENGTH> {
788
- return new RootParityInput<PROOF_LENGTH>(
789
- makeRecursiveProof<PROOF_LENGTH>(proofSize, seed),
790
- VerificationKeyAsFields.makeFake(seed + 0x100),
791
- makeTuple(VK_TREE_HEIGHT, fr, 0x200),
792
- makeParityPublicInputs(seed + 0x300),
793
- );
794
- }
795
-
796
758
  export function makeParityPublicInputs(seed = 0): ParityPublicInputs {
797
759
  return new ParityPublicInputs(
798
760
  new Fr(BigInt(seed + 0x200)),
@@ -801,17 +763,13 @@ export function makeParityPublicInputs(seed = 0): ParityPublicInputs {
801
763
  );
802
764
  }
803
765
 
804
- export function makeBaseParityInputs(seed = 0): BaseParityInputs {
805
- return new BaseParityInputs(makeTuple(NUM_MSGS_PER_BASE_PARITY, fr, seed + 0x3000), new Fr(seed + 0x4000));
766
+ export function makeParityBasePrivateInputs(seed = 0): ParityBasePrivateInputs {
767
+ return new ParityBasePrivateInputs(makeTuple(NUM_MSGS_PER_BASE_PARITY, fr, seed + 0x3000), new Fr(seed + 0x4000));
806
768
  }
807
769
 
808
- export function makeRootParityInputs(seed = 0): RootParityInputs {
809
- return new RootParityInputs(
810
- makeTuple(
811
- NUM_BASE_PARITY_PER_ROOT_PARITY,
812
- () => makeRootParityInput<typeof RECURSIVE_PROOF_LENGTH>(RECURSIVE_PROOF_LENGTH),
813
- seed + 0x4100,
814
- ),
770
+ export function makeParityRootPrivateInputs(seed = 0) {
771
+ return new ParityRootPrivateInputs(
772
+ makeTuple(NUM_BASE_PARITY_PER_ROOT_PARITY, () => makeProofData(seed, makeParityPublicInputs)),
815
773
  );
816
774
  }
817
775
 
@@ -949,22 +907,17 @@ export function makePartialStateReference(seed = 0): PartialStateReference {
949
907
  );
950
908
  }
951
909
 
952
- /**
953
- * Makes arbitrary merge rollup inputs.
954
- * @param seed - The seed to use for generating the merge rollup inputs.
955
- * @returns A merge rollup inputs.
956
- */
957
- export function makeMergeRollupInputs(seed = 0): MergeRollupInputs {
958
- return new MergeRollupInputs([makePreviousRollupData(seed), makePreviousRollupData(seed + 0x1000)]);
910
+ export function makeTxMergeRollupPrivateInputs(seed = 0): TxMergeRollupPrivateInputs {
911
+ return new TxMergeRollupPrivateInputs([
912
+ makeProofData(seed, makeTxRollupPublicInputs),
913
+ makeProofData(seed + 0x1000, makeTxRollupPublicInputs),
914
+ ]);
959
915
  }
960
916
 
961
917
  export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
962
918
  return new BlockRootFirstRollupPrivateInputs(
963
919
  makeProofData(seed, makeParityPublicInputs),
964
- [
965
- makeProofData(seed + 0x1000, makeBaseOrMergeRollupPublicInputs),
966
- makeProofData(seed + 0x2000, makeBaseOrMergeRollupPublicInputs),
967
- ],
920
+ [makeProofData(seed + 0x1000, makeTxRollupPublicInputs), makeProofData(seed + 0x2000, makeTxRollupPublicInputs)],
968
921
  makeAppendOnlyTreeSnapshot(seed + 0x3000),
969
922
  makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH),
970
923
  makeSiblingPath(seed + 0x5000, ARCHIVE_HEIGHT),
@@ -973,7 +926,7 @@ export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
973
926
 
974
927
  export function makeBlockRootSingleTxRollupPrivateInputs(seed = 0) {
975
928
  return new BlockRootSingleTxRollupPrivateInputs(
976
- makeProofData(seed + 0x1000, makeBaseOrMergeRollupPublicInputs),
929
+ makeProofData(seed + 0x1000, makeTxRollupPublicInputs),
977
930
  makeSiblingPath(seed + 0x4000, ARCHIVE_HEIGHT),
978
931
  );
979
932
  }
@@ -1125,8 +1078,8 @@ function makePublicBaseRollupHints(seed = 1) {
1125
1078
  });
1126
1079
  }
1127
1080
 
1128
- export function makePrivateBaseRollupInputs(seed = 0) {
1129
- return PrivateBaseRollupInputs.from({
1081
+ export function makePrivateTxBaseRollupPrivateInputs(seed = 0) {
1082
+ return PrivateTxBaseRollupPrivateInputs.from({
1130
1083
  hidingKernelProofData: makeProofData(seed, makePrivateToRollupKernelCircuitPublicInputs, CIVC_PROOF_LENGTH),
1131
1084
  hints: makePrivateBaseRollupHints(seed + 0x100),
1132
1085
  });
@@ -1140,7 +1093,7 @@ function makeAvmProofData(seed = 1) {
1140
1093
  );
1141
1094
  }
1142
1095
 
1143
- export function makePublicBaseRollupInputs(seed = 0) {
1096
+ export function makePublicTxBaseRollupPrivateInputs(seed = 0) {
1144
1097
  const publicTubeProofData = makeProofData(
1145
1098
  seed,
1146
1099
  makePrivateToPublicKernelCircuitPublicInputs,
@@ -1149,7 +1102,7 @@ export function makePublicBaseRollupInputs(seed = 0) {
1149
1102
  const avmProofData = makeAvmProofData(seed + 0x100);
1150
1103
  const hints = makePublicBaseRollupHints(seed + 0x200);
1151
1104
 
1152
- return PublicBaseRollupInputs.from({
1105
+ return PublicTxBaseRollupPrivateInputs.from({
1153
1106
  publicTubeProofData,
1154
1107
  avmProofData,
1155
1108
  hints,
@@ -175,7 +175,7 @@ export function makeProcessedTxFromTxWithPublicCalls(
175
175
  ),
176
176
  publicDataWrites,
177
177
  privateLogs,
178
- avmPublicInputs.accumulatedData.publicLogs.filter(l => !l.isEmpty()),
178
+ avmPublicInputs.accumulatedData.publicLogs.toLogs(),
179
179
  contractClassLogs,
180
180
  );
181
181
 
@@ -37,7 +37,7 @@ import { PublicDataWrite } from '../avm/public_data_write.js';
37
37
  import { RevertCode } from '../avm/revert_code.js';
38
38
  import { ContractClassLog } from '../logs/contract_class_log.js';
39
39
  import { PrivateLog } from '../logs/private_log.js';
40
- import { PublicLog } from '../logs/public_log.js';
40
+ import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
41
41
  import { TxHash } from './tx_hash.js';
42
42
 
43
43
  export class TxEffect {
@@ -144,7 +144,7 @@ export class TxEffect {
144
144
  serializeArrayOfBufferableToVector(this.l2ToL1Msgs, 1),
145
145
  serializeArrayOfBufferableToVector(this.publicDataWrites, 1),
146
146
  serializeArrayOfBufferableToVector(this.privateLogs, 1),
147
- serializeArrayOfBufferableToVector(this.publicLogs, 1),
147
+ serializeArrayOfBufferableToVector(this.publicLogs, 4),
148
148
  serializeArrayOfBufferableToVector(this.contractClassLogs, 1),
149
149
  ]);
150
150
  }
@@ -193,7 +193,7 @@ export class TxEffect {
193
193
  reader.readVectorUint8Prefix(Fr),
194
194
  reader.readVectorUint8Prefix(PublicDataWrite),
195
195
  reader.readVectorUint8Prefix(PrivateLog),
196
- reader.readVectorUint8Prefix(PublicLog),
196
+ reader.readVector(PublicLog),
197
197
  reader.readVectorUint8Prefix(ContractClassLog),
198
198
  );
199
199
  }
@@ -239,7 +239,7 @@ export class TxEffect {
239
239
  PublicDataWrite.random,
240
240
  ),
241
241
  makeTuple(MAX_PRIVATE_LOGS_PER_TX, () => PrivateLog.random()),
242
- await makeTupleAsync(numPublicCallsPerTx * numPublicLogsPerCall, async () => await PublicLog.random()),
242
+ await Promise.all(new Array(numPublicCallsPerTx * numPublicLogsPerCall).fill(null).map(() => PublicLog.random())),
243
243
  await makeTupleAsync(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLog.random),
244
244
  );
245
245
  }
@@ -374,8 +374,9 @@ export class TxEffect {
374
374
  flattened.push(...this.privateLogs.flatMap(l => l.toBlobFields()));
375
375
  }
376
376
  if (this.publicLogs.length) {
377
- flattened.push(this.toPrefix(PUBLIC_LOGS_PREFIX, this.publicLogs.length));
378
- flattened.push(...this.publicLogs.flatMap(l => l.toBlobFields()));
377
+ const flattenedPublicLogs = FlatPublicLogs.fromLogs(this.publicLogs);
378
+ flattened.push(this.toPrefix(PUBLIC_LOGS_PREFIX, flattenedPublicLogs.length));
379
+ flattened.push(...flattenedPublicLogs.toBlobFields());
379
380
  }
380
381
  if (this.contractClassLogs.length) {
381
382
  flattened.push(this.toPrefix(CONTRACT_CLASS_LOGS_PREFIX, this.contractClassLogs.length));
@@ -450,7 +451,7 @@ export class TxEffect {
450
451
  }
451
452
  case PUBLIC_LOGS_PREFIX: {
452
453
  ensureEmpty(effect.publicLogs);
453
- effect.publicLogs = Array.from({ length }, () => PublicLog.fromBlobFields(reader));
454
+ effect.publicLogs = FlatPublicLogs.fromBlobFields(length, reader).toLogs();
454
455
  break;
455
456
  }
456
457
  case CONTRACT_CLASS_LOGS_PREFIX: {
@@ -509,7 +510,7 @@ export class TxEffect {
509
510
  l2ToL1Msgs: [${this.l2ToL1Msgs.map(h => h.toString()).join(', ')}],
510
511
  publicDataWrites: [${this.publicDataWrites.map(h => h.toString()).join(', ')}],
511
512
  privateLogs: [${this.privateLogs.map(l => l.fields.map(f => f.toString()).join(',')).join(', ')}],
512
- publicLogs: [${this.publicLogs.map(l => l.fields.map(f => f.toString()).join(',')).join(', ')}],
513
+ publicLogs: ${inspect(this.publicLogs)},
513
514
  contractClassLogs: [${this.contractClassLogs
514
515
  .map(l =>
515
516
  l
@@ -1 +0,0 @@
1
- {"version":3,"file":"base_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/base_parity_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mCAAmC,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACtG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,gBAAgB;IAEzB,6DAA6D;aAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;aACV,UAAU,EAAE,EAAE;;IAH9B,6DAA6D;IAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;IACV,UAAU,EAAE,EAAE;WAGlB,SAAS,CACrB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,mCAAmC,CAAC,EAC5D,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,EAAE,GACb,gBAAgB;IAOnB,yCAAyC;IACzC,QAAQ;IAIR,6CAA6C;IAC7C,QAAQ;IAIR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}
@@ -1,52 +0,0 @@
1
- import { VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
4
- import type { FieldsOf } from '@aztec/foundation/types';
5
- import { RecursiveProof } from '../proofs/recursive_proof.js';
6
- import { VerificationKeyAsFields } from '../vks/verification_key.js';
7
- import { ParityPublicInputs } from './parity_public_inputs.js';
8
- export declare class RootParityInput<PROOF_LENGTH extends number> {
9
- /** The proof of the execution of the parity circuit. */
10
- readonly proof: RecursiveProof<PROOF_LENGTH>;
11
- /** The circuit's verification key */
12
- readonly verificationKey: VerificationKeyAsFields;
13
- /** The vk path in the vk tree*/
14
- readonly vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
15
- /** The public inputs of the parity circuit. */
16
- readonly publicInputs: ParityPublicInputs;
17
- constructor(
18
- /** The proof of the execution of the parity circuit. */
19
- proof: RecursiveProof<PROOF_LENGTH>,
20
- /** The circuit's verification key */
21
- verificationKey: VerificationKeyAsFields,
22
- /** The vk path in the vk tree*/
23
- vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>,
24
- /** The public inputs of the parity circuit. */
25
- publicInputs: ParityPublicInputs);
26
- toBuffer(): Buffer<ArrayBufferLike>;
27
- toString(): `0x${string}`;
28
- static from<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): RootParityInput<PROOF_LENGTH>;
29
- static getFields<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): readonly [RecursiveProof<PROOF_LENGTH>, VerificationKeyAsFields, [Fr, Fr, Fr, Fr, Fr, Fr, Fr], ParityPublicInputs];
30
- static fromBuffer<PROOF_LENGTH extends number>(buffer: Buffer | BufferReader, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
31
- static fromString<PROOF_LENGTH extends number>(str: string, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
32
- /** Returns a hex representation for JSON serialization. */
33
- toJSON(): Buffer<ArrayBufferLike>;
34
- /** Creates an instance from a hex string with expected size. */
35
- static schemaFor<N extends number>(expectedSize?: N): import("zod").ZodEffects<import("zod").ZodUnion<[import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodString, string, string>, Buffer<ArrayBuffer>, string>, import("zod").ZodEffects<import("zod").ZodObject<{
36
- type: import("zod").ZodLiteral<"Buffer">;
37
- data: import("zod").ZodArray<import("zod").ZodNumber, "many">;
38
- }, "strip", import("zod").ZodTypeAny, {
39
- type: "Buffer";
40
- data: number[];
41
- }, {
42
- type: "Buffer";
43
- data: number[];
44
- }>, Buffer<ArrayBuffer>, {
45
- type: "Buffer";
46
- data: number[];
47
- }>]>, RootParityInput<N>, string | {
48
- type: "Buffer";
49
- data: number[];
50
- }>;
51
- }
52
- //# sourceMappingURL=root_parity_input.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"root_parity_input.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_input.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,eAAe,CAAC,YAAY,SAAS,MAAM;IAEpD,wDAAwD;aACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;aACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;aAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;aAC/B,YAAY,EAAE,kBAAkB;;IAPhD,wDAAwD;IACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;IACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;IAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;IAC/B,YAAY,EAAE,kBAAkB;IAGlD,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,YAAY,SAAS,MAAM,EACrC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,GAC9C,eAAe,CAAC,YAAY,CAAC;IAIhC,MAAM,CAAC,SAAS,CAAC,YAAY,SAAS,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;IAI7F,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAUhC,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,GAAG,EAAE,MAAM,EACX,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAIhC,2DAA2D;IAC3D,MAAM;IAIN,gEAAgE;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;;;;;;;;;;;;;;;;CAGpD"}
@@ -1,50 +0,0 @@
1
- import { VK_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { schemas } from '@aztec/foundation/schemas';
4
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
6
- import { RecursiveProof } from '../proofs/recursive_proof.js';
7
- import { VerificationKeyAsFields } from '../vks/verification_key.js';
8
- import { ParityPublicInputs } from './parity_public_inputs.js';
9
- export class RootParityInput {
10
- proof;
11
- verificationKey;
12
- vkPath;
13
- publicInputs;
14
- constructor(/** The proof of the execution of the parity circuit. */ proof, /** The circuit's verification key */ verificationKey, /** The vk path in the vk tree*/ vkPath, /** The public inputs of the parity circuit. */ publicInputs){
15
- this.proof = proof;
16
- this.verificationKey = verificationKey;
17
- this.vkPath = vkPath;
18
- this.publicInputs = publicInputs;
19
- }
20
- toBuffer() {
21
- return serializeToBuffer(...RootParityInput.getFields(this));
22
- }
23
- toString() {
24
- return bufferToHex(this.toBuffer());
25
- }
26
- static from(fields) {
27
- return new RootParityInput(...RootParityInput.getFields(fields));
28
- }
29
- static getFields(fields) {
30
- return [
31
- fields.proof,
32
- fields.verificationKey,
33
- fields.vkPath,
34
- fields.publicInputs
35
- ];
36
- }
37
- static fromBuffer(buffer, expectedSize) {
38
- const reader = BufferReader.asReader(buffer);
39
- return new RootParityInput(RecursiveProof.fromBuffer(reader, expectedSize), reader.readObject(VerificationKeyAsFields), reader.readArray(VK_TREE_HEIGHT, Fr), reader.readObject(ParityPublicInputs));
40
- }
41
- static fromString(str, expectedSize) {
42
- return RootParityInput.fromBuffer(hexToBuffer(str), expectedSize);
43
- }
44
- /** Returns a hex representation for JSON serialization. */ toJSON() {
45
- return this.toBuffer();
46
- }
47
- /** Creates an instance from a hex string with expected size. */ static schemaFor(expectedSize) {
48
- return schemas.Buffer.transform((buf)=>RootParityInput.fromBuffer(buf, expectedSize));
49
- }
50
- }
@@ -1,37 +0,0 @@
1
- import { NUM_BASE_PARITY_PER_ROOT_PARITY, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
2
- import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
3
- import { RootParityInput } from './root_parity_input.js';
4
- export declare class RootParityInputs {
5
- /** Public inputs of children and their proofs. */
6
- readonly children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>;
7
- constructor(
8
- /** Public inputs of children and their proofs. */
9
- children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>);
10
- /**
11
- * Serializes the inputs to a buffer.
12
- * @returns The inputs serialized to a buffer.
13
- */
14
- toBuffer(): Buffer<ArrayBufferLike>;
15
- /**
16
- * Serializes the inputs to a hex string.
17
- * @returns The instance serialized to a hex string.
18
- */
19
- toString(): `0x${string}`;
20
- /**
21
- * Deserializes the inputs from a buffer.
22
- * @param buffer - The buffer to deserialize from.
23
- * @returns A new RootParityInputs instance.
24
- */
25
- static fromBuffer(buffer: Buffer | BufferReader): RootParityInputs;
26
- /**
27
- * Deserializes the inputs from a hex string.
28
- * @param str - A hex string to deserialize from.
29
- * @returns A new RootParityInputs instance.
30
- */
31
- static fromString(str: string): RootParityInputs;
32
- /** Returns a buffer representation for JSON serialization. */
33
- toJSON(): Buffer<ArrayBufferLike>;
34
- /** Creates an instance from a hex string. */
35
- static get schema(): import("zod").ZodType<RootParityInputs, any, string>;
36
- }
37
- //# sourceMappingURL=root_parity_inputs.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"root_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,gBAAgB;IAEzB,kDAAkD;aAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;;IAJD,kDAAkD;IAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"base_or_merge_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/base_or_merge_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IApC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,iCAAiC;IACjC,MAAM,CAAC,KAAK;IAcZ;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAe/E;;;OAGG;IACH,QAAQ;IAkBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"block_merge_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_merge_rollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC;;IAH5G;;OAEG;IACI,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC;IAG9G;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,wCAAwC,EAAE,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAuC,MAAM,6BAA6B,CAAC;AAC5G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAEnF,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAtB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAUpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAMvE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAU5E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,kFAEhB;CACF;AAED,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAItE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAa3E,QAAQ;IAaR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,iFAEhB;CACF;AAED,qBAAa,4BAA4B;IAErC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAV9D;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI1D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"checkpoint_merge_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_merge_rollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,kCAAkC;IAE3C;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;;IAND;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;IAGH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,2EAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"checkpoint_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,eAAe,EAAmB,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,qBAAa,yBAAyB;IAElC;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;;IA9BpB;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAGtB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAIvD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAY5D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAe/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,kEAEhB;CACF;AAED,qBAAa,iCAAiC;IAEnC,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC;IACrG,KAAK,EAAE,yBAAyB;gBADhC,eAAe,EAAE,CAAC,eAAe,CAAC,uBAAuB,CAAC,EAAE,eAAe,CAAC,uBAAuB,CAAC,CAAC,EACrG,KAAK,EAAE,yBAAyB;IAGzC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAIpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,4CAA4C;IAE9C,cAAc,EAAE,eAAe,CAAC,uBAAuB,CAAC;IACxD,KAAK,EAAE,yBAAyB;gBADhC,cAAc,EAAE,eAAe,CAAC,uBAAuB,CAAC,EACxD,KAAK,EAAE,yBAAyB;IAGzC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC;IAM1E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC;IAI/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,qFAEhB;CACF;AAGD,qBAAa,oCAAoC;;IAG/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY;IAIhD,QAAQ,IAAI,KAAK,MAAM,EAAE;IAIzB,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM;IAI9B,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"merge_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/merge_rollup.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;;IAHnE;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAGrE;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,0DAEhB;CACF"}
@@ -1,47 +0,0 @@
1
- import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
- import { BufferReader } from '@aztec/foundation/serialize';
3
- import { RecursiveProof } from '../proofs/recursive_proof.js';
4
- import { VkData } from '../vks/index.js';
5
- import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
6
- /**
7
- * Represents the data of a previous merge or base rollup circuit.
8
- */
9
- export declare class PreviousRollupData {
10
- /**
11
- * Public inputs to the base or merge rollup circuit.
12
- */
13
- baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs;
14
- /**
15
- * The proof of the base or merge rollup circuit.
16
- */
17
- proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
18
- /**
19
- * The verification key and the witness of the vk in the vk tree.
20
- */
21
- vkData: VkData;
22
- constructor(
23
- /**
24
- * Public inputs to the base or merge rollup circuit.
25
- */
26
- baseOrMergeRollupPublicInputs: BaseOrMergeRollupPublicInputs,
27
- /**
28
- * The proof of the base or merge rollup circuit.
29
- */
30
- proof: RecursiveProof<typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>,
31
- /**
32
- * The verification key and the witness of the vk in the vk tree.
33
- */
34
- vkData: VkData);
35
- /**
36
- * Serializes previous rollup data to a buffer.
37
- * @returns The buffer of the serialized previous rollup data.
38
- */
39
- toBuffer(): Buffer;
40
- /**
41
- * Deserializes previous rollup data from a buffer.
42
- * @param buffer - A buffer to deserialize from.
43
- * @returns A new PreviousRollupData instance.
44
- */
45
- static fromBuffer(buffer: Buffer | BufferReader): PreviousRollupData;
46
- }
47
- //# sourceMappingURL=previous_rollup_data.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"previous_rollup_data.d.ts","sourceRoot":"","sources":["../../src/rollup/previous_rollup_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AAExF;;GAEG;AACH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,6BAA6B,EAAE,6BAA6B;IACnE;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,MAAM,EAAE,MAAM;;IAXrB;;OAEG;IACI,6BAA6B,EAAE,6BAA6B;IACnE;;OAEG;IACI,KAAK,EAAE,cAAc,CAAC,OAAO,yCAAyC,CAAC;IAC9E;;OAEG;IACI,MAAM,EAAE,MAAM;IAGvB;;;OAGG;IACI,QAAQ,IAAI,MAAM;IAIzB;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB;CAQ5E"}
@@ -1,37 +0,0 @@
1
- import { NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
- import { RecursiveProof } from '../proofs/recursive_proof.js';
4
- import { VkData } from '../vks/index.js';
5
- import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
6
- /**
7
- * Represents the data of a previous merge or base rollup circuit.
8
- */ export class PreviousRollupData {
9
- baseOrMergeRollupPublicInputs;
10
- proof;
11
- vkData;
12
- constructor(/**
13
- * Public inputs to the base or merge rollup circuit.
14
- */ baseOrMergeRollupPublicInputs, /**
15
- * The proof of the base or merge rollup circuit.
16
- */ proof, /**
17
- * The verification key and the witness of the vk in the vk tree.
18
- */ vkData){
19
- this.baseOrMergeRollupPublicInputs = baseOrMergeRollupPublicInputs;
20
- this.proof = proof;
21
- this.vkData = vkData;
22
- }
23
- /**
24
- * Serializes previous rollup data to a buffer.
25
- * @returns The buffer of the serialized previous rollup data.
26
- */ toBuffer() {
27
- return serializeToBuffer(this.baseOrMergeRollupPublicInputs, this.proof, this.vkData);
28
- }
29
- /**
30
- * Deserializes previous rollup data from a buffer.
31
- * @param buffer - A buffer to deserialize from.
32
- * @returns A new PreviousRollupData instance.
33
- */ static fromBuffer(buffer) {
34
- const reader = BufferReader.asReader(buffer);
35
- return new PreviousRollupData(reader.readObject(BaseOrMergeRollupPublicInputs), RecursiveProof.fromBuffer(reader, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH), reader.readObject(VkData));
36
- }
37
- }
@@ -1 +0,0 @@
1
- {"version":3,"file":"private_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,aAAa,EAAa,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,qBAAa,uBAAuB;IAEzB,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAC9E,KAAK,EAAE,sBAAsB;gBAD7B,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC,EAC9E,KAAK,EAAE,sBAAsB;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAQzE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"public_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,qBAAa,sBAAsB;IAExB,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IASxE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;CACF"}
@@ -1,10 +0,0 @@
1
- import { NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
- import type { Bufferable } from '@aztec/foundation/serialize';
3
- import type { ParityPublicInputs } from '../parity/index.js';
4
- import { ProofData } from '../proofs/index.js';
5
- /**
6
- * Represents the data of a nested recursive rollup proof.
7
- */
8
- export type RollupProofData<T extends Bufferable> = ProofData<T, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
9
- export type RootParityProofData = ProofData<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
10
- //# sourceMappingURL=rollup_proof_data.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"rollup_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/rollup_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC5G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,yCAAyC,CAAC,CAAC;AAEnH,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export { };
@@ -1 +0,0 @@
1
- {"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,4BAA4B,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;;IARD;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,gCAAgC;;IAPzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAWzD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAY/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAUd"}