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

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 (112) hide show
  1. package/dest/interfaces/block-builder.d.ts +1 -0
  2. package/dest/interfaces/block-builder.d.ts.map +1 -1
  3. package/dest/interfaces/epoch-prover.d.ts +1 -1
  4. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  5. package/dest/interfaces/proving-job.d.ts +69 -70
  6. package/dest/interfaces/proving-job.d.ts.map +1 -1
  7. package/dest/interfaces/proving-job.js +40 -84
  8. package/dest/interfaces/pxe.d.ts +192 -90
  9. package/dest/interfaces/pxe.d.ts.map +1 -1
  10. package/dest/interfaces/pxe.js +5 -31
  11. package/dest/interfaces/server_circuit_prover.d.ts +18 -17
  12. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  13. package/dest/parity/index.d.ts +2 -3
  14. package/dest/parity/index.d.ts.map +1 -1
  15. package/dest/parity/index.js +2 -3
  16. package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +6 -6
  17. package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
  18. package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +5 -5
  19. package/dest/parity/parity_root_private_inputs.d.ts +39 -0
  20. package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
  21. package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
  22. package/dest/proofs/proof_data.d.ts +3 -2
  23. package/dest/proofs/proof_data.d.ts.map +1 -1
  24. package/dest/proofs/proving_request_type.d.ts +5 -5
  25. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  26. package/dest/proofs/proving_request_type.js +5 -5
  27. package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +10 -4
  28. package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
  29. package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +1 -1
  30. package/dest/rollup/{block_root_rollup.d.ts → block_root_rollup_private_inputs.d.ts} +23 -34
  31. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
  32. package/dest/rollup/{block_root_rollup.js → block_root_rollup_private_inputs.js} +7 -7
  33. package/dest/rollup/{checkpoint_merge_rollup.d.ts → checkpoint_merge_rollup_private_inputs.d.ts} +6 -6
  34. package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
  35. package/dest/rollup/{checkpoint_root_rollup.d.ts → checkpoint_root_rollup_private_inputs.d.ts} +14 -8
  36. package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
  37. package/dest/rollup/index.d.ts +10 -11
  38. package/dest/rollup/index.d.ts.map +1 -1
  39. package/dest/rollup/index.js +10 -11
  40. package/dest/rollup/{private_base_rollup_inputs.d.ts → private_tx_base_rollup_private_inputs.d.ts} +7 -7
  41. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
  42. package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js} +6 -6
  43. package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts} +7 -7
  44. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
  45. package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js} +6 -6
  46. package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
  47. package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
  48. package/dest/rollup/root_rollup_private_inputs.js +69 -0
  49. package/dest/rollup/{root_rollup.d.ts → root_rollup_public_inputs.d.ts} +2 -65
  50. package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
  51. package/dest/rollup/{root_rollup.js → root_rollup_public_inputs.js} +1 -66
  52. package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
  53. package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
  54. package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
  55. package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +11 -11
  56. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
  57. package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +13 -13
  58. package/dest/stats/stats.d.ts +1 -1
  59. package/dest/stats/stats.d.ts.map +1 -1
  60. package/dest/tests/factories.d.ts +16 -31
  61. package/dest/tests/factories.d.ts.map +1 -1
  62. package/dest/tests/factories.js +28 -45
  63. package/package.json +8 -8
  64. package/src/interfaces/block-builder.ts +1 -0
  65. package/src/interfaces/epoch-prover.ts +1 -1
  66. package/src/interfaces/proving-job.ts +54 -93
  67. package/src/interfaces/pxe.ts +3 -138
  68. package/src/interfaces/server_circuit_prover.ts +24 -29
  69. package/src/parity/index.ts +2 -3
  70. package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +6 -6
  71. package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
  72. package/src/proofs/proof_data.ts +4 -2
  73. package/src/proofs/proving_request_type.ts +6 -5
  74. package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +5 -3
  75. package/src/rollup/{block_root_rollup.ts → block_root_rollup_private_inputs.ts} +13 -26
  76. package/src/rollup/{checkpoint_merge_rollup.ts → checkpoint_merge_rollup_private_inputs.ts} +3 -4
  77. package/src/rollup/{checkpoint_root_rollup.ts → checkpoint_root_rollup_private_inputs.ts} +6 -4
  78. package/src/rollup/index.ts +10 -11
  79. package/src/rollup/{private_base_rollup_inputs.ts → private_tx_base_rollup_private_inputs.ts} +9 -9
  80. package/src/rollup/{public_base_rollup_inputs.ts → public_tx_base_rollup_private_inputs.ts} +9 -9
  81. package/src/rollup/root_rollup_private_inputs.ts +90 -0
  82. package/src/rollup/{root_rollup.ts → root_rollup_public_inputs.ts} +1 -86
  83. package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
  84. package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +11 -11
  85. package/src/stats/stats.ts +18 -17
  86. package/src/tests/factories.ts +29 -73
  87. package/dest/parity/base_parity_inputs.d.ts.map +0 -1
  88. package/dest/parity/root_parity_input.d.ts +0 -52
  89. package/dest/parity/root_parity_input.d.ts.map +0 -1
  90. package/dest/parity/root_parity_input.js +0 -50
  91. package/dest/parity/root_parity_inputs.d.ts +0 -37
  92. package/dest/parity/root_parity_inputs.d.ts.map +0 -1
  93. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
  94. package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
  95. package/dest/rollup/block_root_rollup.d.ts.map +0 -1
  96. package/dest/rollup/checkpoint_merge_rollup.d.ts.map +0 -1
  97. package/dest/rollup/checkpoint_root_rollup.d.ts.map +0 -1
  98. package/dest/rollup/merge_rollup.d.ts.map +0 -1
  99. package/dest/rollup/previous_rollup_data.d.ts +0 -47
  100. package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
  101. package/dest/rollup/previous_rollup_data.js +0 -37
  102. package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
  103. package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
  104. package/dest/rollup/rollup_proof_data.d.ts +0 -10
  105. package/dest/rollup/rollup_proof_data.d.ts.map +0 -1
  106. package/dest/rollup/rollup_proof_data.js +0 -1
  107. package/dest/rollup/root_rollup.d.ts.map +0 -1
  108. package/src/parity/root_parity_input.ts +0 -71
  109. package/src/rollup/previous_rollup_data.ts +0 -48
  110. package/src/rollup/rollup_proof_data.ts +0 -12
  111. /package/dest/rollup/{checkpoint_merge_rollup.js → checkpoint_merge_rollup_private_inputs.js} +0 -0
  112. /package/dest/rollup/{checkpoint_root_rollup.js → checkpoint_root_rollup_private_inputs.js} +0 -0
@@ -2,17 +2,18 @@ import { bufferSchemaFor } from '@aztec/foundation/schemas';
2
2
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
3
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
4
4
 
5
- import { PreviousRollupData } from './previous_rollup_data.js';
5
+ import { ProofData, type RollupHonkProofData } from '../proofs/proof_data.js';
6
+ import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
6
7
 
7
8
  /**
8
9
  * Represents inputs of the merge rollup circuit.
9
10
  */
10
- export class MergeRollupInputs {
11
+ export class TxMergeRollupPrivateInputs {
11
12
  constructor(
12
13
  /**
13
14
  * Previous rollup data from the 2 merge or base rollup circuits that preceded this merge rollup circuit.
14
15
  */
15
- public previousRollupData: [PreviousRollupData, PreviousRollupData],
16
+ public previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>],
16
17
  ) {}
17
18
 
18
19
  /**
@@ -20,7 +21,7 @@ export class MergeRollupInputs {
20
21
  * @returns The inputs serialized to a buffer.
21
22
  */
22
23
  toBuffer() {
23
- return serializeToBuffer(this.previousRollupData);
24
+ return serializeToBuffer(this.previousRollups);
24
25
  }
25
26
 
26
27
  /**
@@ -34,20 +35,23 @@ export class MergeRollupInputs {
34
35
  /**
35
36
  * Deserializes the inputs from a buffer.
36
37
  * @param buffer - The buffer to deserialize from.
37
- * @returns A new MergeRollupInputs instance.
38
+ * @returns A new TxMergeRollupPrivateInputs instance.
38
39
  */
39
40
  static fromBuffer(buffer: Buffer | BufferReader) {
40
41
  const reader = BufferReader.asReader(buffer);
41
- return new MergeRollupInputs([reader.readObject(PreviousRollupData), reader.readObject(PreviousRollupData)]);
42
+ return new TxMergeRollupPrivateInputs([
43
+ ProofData.fromBuffer(reader, TxRollupPublicInputs),
44
+ ProofData.fromBuffer(reader, TxRollupPublicInputs),
45
+ ]);
42
46
  }
43
47
 
44
48
  /**
45
49
  * Deserializes the inputs from a hex string.
46
50
  * @param str - A hex string to deserialize from.
47
- * @returns A new MergeRollupInputs instance.
51
+ * @returns A new TxMergeRollupPrivateInputs instance.
48
52
  */
49
53
  static fromString(str: string) {
50
- return MergeRollupInputs.fromBuffer(hexToBuffer(str));
54
+ return TxMergeRollupPrivateInputs.fromBuffer(hexToBuffer(str));
51
55
  }
52
56
 
53
57
  /** Returns a buffer representation for JSON serialization. */
@@ -57,6 +61,6 @@ export class MergeRollupInputs {
57
61
 
58
62
  /** Creates an instance from a string. */
59
63
  static get schema() {
60
- return bufferSchemaFor(MergeRollupInputs);
64
+ return bufferSchemaFor(TxMergeRollupPrivateInputs);
61
65
  }
62
66
  }
@@ -10,7 +10,7 @@ import { BlockConstantData } from './block_constant_data.js';
10
10
  /**
11
11
  * Output of the base and merge rollup circuits.
12
12
  */
13
- export class BaseOrMergeRollupPublicInputs {
13
+ export class TxRollupPublicInputs {
14
14
  constructor(
15
15
  /**
16
16
  * Number of txs in this rollup.
@@ -23,11 +23,11 @@ export class BaseOrMergeRollupPublicInputs {
23
23
  /**
24
24
  * Partial state reference at the start of the rollup circuit.
25
25
  */
26
- public start: PartialStateReference,
26
+ public startPartialState: PartialStateReference,
27
27
  /**
28
28
  * Partial state reference at the end of the rollup circuit.
29
29
  */
30
- public end: PartialStateReference,
30
+ public endPartialState: PartialStateReference,
31
31
  /**
32
32
  * Sponge state to absorb blob inputs at the start of the rollup circuit.
33
33
  */
@@ -53,7 +53,7 @@ export class BaseOrMergeRollupPublicInputs {
53
53
 
54
54
  /** Returns an empty instance. */
55
55
  static empty() {
56
- return new BaseOrMergeRollupPublicInputs(
56
+ return new TxRollupPublicInputs(
57
57
  0,
58
58
  BlockConstantData.empty(),
59
59
  PartialStateReference.empty(),
@@ -72,9 +72,9 @@ export class BaseOrMergeRollupPublicInputs {
72
72
  * @param buffer - Buffer or reader to read from.
73
73
  * @returns The deserialized public inputs.
74
74
  */
75
- static fromBuffer(buffer: Buffer | BufferReader): BaseOrMergeRollupPublicInputs {
75
+ static fromBuffer(buffer: Buffer | BufferReader): TxRollupPublicInputs {
76
76
  const reader = BufferReader.asReader(buffer);
77
- return new BaseOrMergeRollupPublicInputs(
77
+ return new TxRollupPublicInputs(
78
78
  reader.readNumber(),
79
79
  reader.readObject(BlockConstantData),
80
80
  reader.readObject(PartialStateReference),
@@ -96,8 +96,8 @@ export class BaseOrMergeRollupPublicInputs {
96
96
  this.numTxs,
97
97
  this.constants,
98
98
 
99
- this.start,
100
- this.end,
99
+ this.startPartialState,
100
+ this.endPartialState,
101
101
 
102
102
  this.startSpongeBlob,
103
103
  this.endSpongeBlob,
@@ -120,10 +120,10 @@ export class BaseOrMergeRollupPublicInputs {
120
120
  /**
121
121
  * Deserializes from a hex string.
122
122
  * @param str - A hex string to deserialize from.
123
- * @returns A new BaseOrMergeRollupPublicInputs instance.
123
+ * @returns A new TxRollupPublicInputs instance.
124
124
  */
125
125
  static fromString(str: string) {
126
- return BaseOrMergeRollupPublicInputs.fromBuffer(hexToBuffer(str));
126
+ return TxRollupPublicInputs.fromBuffer(hexToBuffer(str));
127
127
  }
128
128
 
129
129
  /** Returns a buffer representation for JSON serialization. */
@@ -133,6 +133,6 @@ export class BaseOrMergeRollupPublicInputs {
133
133
 
134
134
  /** Creates an instance from a hex string. */
135
135
  static get schema() {
136
- return bufferSchemaFor(BaseOrMergeRollupPublicInputs);
136
+ return bufferSchemaFor(TxRollupPublicInputs);
137
137
  }
138
138
  }
@@ -86,25 +86,26 @@ export type ClientCircuitName =
86
86
  | 'app-circuit';
87
87
 
88
88
  export type ServerCircuitName =
89
- | 'base-parity'
90
- | 'root-parity'
91
- | 'public-tube'
92
- | 'private-base-rollup'
93
- | 'public-base-rollup'
94
- | 'merge-rollup'
95
- | 'block-root-first-rollup'
96
- | 'block-root-single-tx-first-rollup'
97
- | 'block-root-empty-tx-first-rollup'
98
- | 'block-root-rollup'
99
- | 'block-root-single-tx-rollup'
100
- | 'block-merge-rollup'
101
- | 'checkpoint-root-rollup'
102
- | 'checkpoint-root-single-block-rollup'
103
- | 'checkpoint-padding-rollup'
104
- | 'checkpoint-merge-rollup'
105
- | 'root-rollup'
89
+ | 'parity-base'
90
+ | 'parity-root'
91
+ | 'tube-public'
92
+ | 'rollup-tx-base-private'
93
+ | 'rollup-tx-base-public'
94
+ | 'rollup-tx-merge'
95
+ | 'rollup-block-root-first'
96
+ | 'rollup-block-root-first-single-tx'
97
+ | 'rollup-block-root-first-empty-tx'
98
+ | 'rollup-block-root'
99
+ | 'rollup-block-root-single-tx'
100
+ | 'rollup-block-merge'
101
+ | 'rollup-checkpoint-root'
102
+ | 'rollup-checkpoint-root-single-block'
103
+ | 'rollup-checkpoint-padding'
104
+ | 'rollup-checkpoint-merge'
105
+ | 'rollup-root'
106
106
  | 'avm-circuit';
107
107
 
108
+ // Circuit names should match the corresponding names in noir-protocol-circuits.
108
109
  export type CircuitName = ClientCircuitName | ServerCircuitName;
109
110
 
110
111
  /** Stats for circuit simulation. */
@@ -39,7 +39,6 @@ import {
39
39
  PRIVATE_LOG_SIZE_IN_FIELDS,
40
40
  PUBLIC_DATA_TREE_HEIGHT,
41
41
  PUBLIC_LOG_SIZE_IN_FIELDS,
42
- RECURSIVE_PROOF_LENGTH,
43
42
  RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
44
43
  VK_TREE_HEIGHT,
45
44
  } from '@aztec/constants';
@@ -127,34 +126,32 @@ import { ContractClassLogFields } from '../logs/index.js';
127
126
  import { PrivateLog } from '../logs/private_log.js';
128
127
  import { PublicLog } from '../logs/public_log.js';
129
128
  import { CountedL2ToL1Message, L2ToL1Message, ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
130
- import { BaseParityInputs } from '../parity/base_parity_inputs.js';
129
+ import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
131
130
  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';
131
+ import { ParityRootPrivateInputs } from '../parity/parity_root_private_inputs.js';
132
+ import { ProofData } from '../proofs/index.js';
134
133
  import { Proof } from '../proofs/proof.js';
135
- import { ProofData } from '../proofs/proof_data.js';
136
134
  import { ProvingRequestType } from '../proofs/proving_request_type.js';
137
135
  import { makeRecursiveProof } from '../proofs/recursive_proof.js';
138
136
  import { AvmProofData } from '../rollup/avm_proof_data.js';
139
- import { BaseOrMergeRollupPublicInputs } from '../rollup/base_or_merge_rollup_public_inputs.js';
140
137
  import { PrivateBaseRollupHints, PublicBaseRollupHints } from '../rollup/base_rollup_hints.js';
141
138
  import { BlockConstantData } from '../rollup/block_constant_data.js';
142
- import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup.js';
139
+ import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
143
140
  import { BlockRollupPublicInputs } from '../rollup/block_rollup_public_inputs.js';
144
141
  import {
145
142
  BlockRootFirstRollupPrivateInputs,
146
143
  BlockRootSingleTxRollupPrivateInputs,
147
- } from '../rollup/block_root_rollup.js';
144
+ } from '../rollup/block_root_rollup_private_inputs.js';
148
145
  import { CheckpointConstantData } from '../rollup/checkpoint_constant_data.js';
149
146
  import { CheckpointHeader } from '../rollup/checkpoint_header.js';
150
147
  import { CheckpointRollupPublicInputs, FeeRecipient } from '../rollup/checkpoint_rollup_public_inputs.js';
151
148
  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';
149
+ import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
150
+ import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
151
+ import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
157
152
  import { PrivateBaseStateDiffHints } from '../rollup/state_diff_hints.js';
153
+ import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
154
+ import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
158
155
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
159
156
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
160
157
  import { NullifierLeaf, NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
@@ -706,11 +703,11 @@ function makeEpochConstantData(seed = 1) {
706
703
  * @param blockNumber - The block number to use for generating the base rollup circuit public inputs.
707
704
  * @returns A base or merge rollup circuit public inputs.
708
705
  */
709
- export function makeBaseOrMergeRollupPublicInputs(
706
+ export function makeTxRollupPublicInputs(
710
707
  seed = 0,
711
708
  globalVariables: GlobalVariables | undefined = undefined,
712
- ): BaseOrMergeRollupPublicInputs {
713
- return new BaseOrMergeRollupPublicInputs(
709
+ ): TxRollupPublicInputs {
710
+ return new TxRollupPublicInputs(
714
711
  1,
715
712
  makeBlockConstantData(seed + 0x200, globalVariables),
716
713
  makePartialStateReference(seed + 0x300),
@@ -761,38 +758,6 @@ export function makeCheckpointRollupPublicInputs(seed = 0) {
761
758
  );
762
759
  }
763
760
 
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
761
  export function makeParityPublicInputs(seed = 0): ParityPublicInputs {
797
762
  return new ParityPublicInputs(
798
763
  new Fr(BigInt(seed + 0x200)),
@@ -801,17 +766,13 @@ export function makeParityPublicInputs(seed = 0): ParityPublicInputs {
801
766
  );
802
767
  }
803
768
 
804
- export function makeBaseParityInputs(seed = 0): BaseParityInputs {
805
- return new BaseParityInputs(makeTuple(NUM_MSGS_PER_BASE_PARITY, fr, seed + 0x3000), new Fr(seed + 0x4000));
769
+ export function makeParityBasePrivateInputs(seed = 0): ParityBasePrivateInputs {
770
+ return new ParityBasePrivateInputs(makeTuple(NUM_MSGS_PER_BASE_PARITY, fr, seed + 0x3000), new Fr(seed + 0x4000));
806
771
  }
807
772
 
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
- ),
773
+ export function makeParityRootPrivateInputs(seed = 0) {
774
+ return new ParityRootPrivateInputs(
775
+ makeTuple(NUM_BASE_PARITY_PER_ROOT_PARITY, () => makeProofData(seed, makeParityPublicInputs)),
815
776
  );
816
777
  }
817
778
 
@@ -949,22 +910,17 @@ export function makePartialStateReference(seed = 0): PartialStateReference {
949
910
  );
950
911
  }
951
912
 
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)]);
913
+ export function makeTxMergeRollupPrivateInputs(seed = 0): TxMergeRollupPrivateInputs {
914
+ return new TxMergeRollupPrivateInputs([
915
+ makeProofData(seed, makeTxRollupPublicInputs),
916
+ makeProofData(seed + 0x1000, makeTxRollupPublicInputs),
917
+ ]);
959
918
  }
960
919
 
961
920
  export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
962
921
  return new BlockRootFirstRollupPrivateInputs(
963
922
  makeProofData(seed, makeParityPublicInputs),
964
- [
965
- makeProofData(seed + 0x1000, makeBaseOrMergeRollupPublicInputs),
966
- makeProofData(seed + 0x2000, makeBaseOrMergeRollupPublicInputs),
967
- ],
923
+ [makeProofData(seed + 0x1000, makeTxRollupPublicInputs), makeProofData(seed + 0x2000, makeTxRollupPublicInputs)],
968
924
  makeAppendOnlyTreeSnapshot(seed + 0x3000),
969
925
  makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH),
970
926
  makeSiblingPath(seed + 0x5000, ARCHIVE_HEIGHT),
@@ -973,7 +929,7 @@ export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
973
929
 
974
930
  export function makeBlockRootSingleTxRollupPrivateInputs(seed = 0) {
975
931
  return new BlockRootSingleTxRollupPrivateInputs(
976
- makeProofData(seed + 0x1000, makeBaseOrMergeRollupPublicInputs),
932
+ makeProofData(seed + 0x1000, makeTxRollupPublicInputs),
977
933
  makeSiblingPath(seed + 0x4000, ARCHIVE_HEIGHT),
978
934
  );
979
935
  }
@@ -1125,8 +1081,8 @@ function makePublicBaseRollupHints(seed = 1) {
1125
1081
  });
1126
1082
  }
1127
1083
 
1128
- export function makePrivateBaseRollupInputs(seed = 0) {
1129
- return PrivateBaseRollupInputs.from({
1084
+ export function makePrivateTxBaseRollupPrivateInputs(seed = 0) {
1085
+ return PrivateTxBaseRollupPrivateInputs.from({
1130
1086
  hidingKernelProofData: makeProofData(seed, makePrivateToRollupKernelCircuitPublicInputs, CIVC_PROOF_LENGTH),
1131
1087
  hints: makePrivateBaseRollupHints(seed + 0x100),
1132
1088
  });
@@ -1140,7 +1096,7 @@ function makeAvmProofData(seed = 1) {
1140
1096
  );
1141
1097
  }
1142
1098
 
1143
- export function makePublicBaseRollupInputs(seed = 0) {
1099
+ export function makePublicTxBaseRollupPrivateInputs(seed = 0) {
1144
1100
  const publicTubeProofData = makeProofData(
1145
1101
  seed,
1146
1102
  makePrivateToPublicKernelCircuitPublicInputs,
@@ -1149,7 +1105,7 @@ export function makePublicBaseRollupInputs(seed = 0) {
1149
1105
  const avmProofData = makeAvmProofData(seed + 0x100);
1150
1106
  const hints = makePublicBaseRollupHints(seed + 0x200);
1151
1107
 
1152
- return PublicBaseRollupInputs.from({
1108
+ return PublicTxBaseRollupPrivateInputs.from({
1153
1109
  publicTubeProofData,
1154
1110
  avmProofData,
1155
1111
  hints,
@@ -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"}