@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.
- package/dest/interfaces/block-builder.d.ts +1 -0
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/epoch-prover.d.ts +1 -1
- package/dest/interfaces/epoch-prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +69 -70
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +40 -84
- package/dest/interfaces/pxe.d.ts +192 -90
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +5 -31
- package/dest/interfaces/server_circuit_prover.d.ts +18 -17
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/parity/index.d.ts +2 -3
- package/dest/parity/index.d.ts.map +1 -1
- package/dest/parity/index.js +2 -3
- package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +6 -6
- package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
- package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +5 -5
- package/dest/parity/parity_root_private_inputs.d.ts +39 -0
- package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
- package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
- package/dest/proofs/proof_data.d.ts +3 -2
- package/dest/proofs/proof_data.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.d.ts +5 -5
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +5 -5
- package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +10 -4
- package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +1 -1
- package/dest/rollup/{block_root_rollup.d.ts → block_root_rollup_private_inputs.d.ts} +23 -34
- package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_root_rollup.js → block_root_rollup_private_inputs.js} +7 -7
- package/dest/rollup/{checkpoint_merge_rollup.d.ts → checkpoint_merge_rollup_private_inputs.d.ts} +6 -6
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{checkpoint_root_rollup.d.ts → checkpoint_root_rollup_private_inputs.d.ts} +14 -8
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/index.d.ts +10 -11
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +10 -11
- package/dest/rollup/{private_base_rollup_inputs.d.ts → private_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{private_base_rollup_inputs.js → private_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/{public_base_rollup_inputs.d.ts → public_tx_base_rollup_private_inputs.d.ts} +7 -7
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{public_base_rollup_inputs.js → public_tx_base_rollup_private_inputs.js} +6 -6
- package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
- package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/root_rollup_private_inputs.js +69 -0
- package/dest/rollup/{root_rollup.d.ts → root_rollup_public_inputs.d.ts} +2 -65
- package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{root_rollup.js → root_rollup_public_inputs.js} +1 -66
- package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
- package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
- package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +11 -11
- package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +13 -13
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +16 -31
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +28 -45
- package/package.json +8 -8
- package/src/interfaces/block-builder.ts +1 -0
- package/src/interfaces/epoch-prover.ts +1 -1
- package/src/interfaces/proving-job.ts +54 -93
- package/src/interfaces/pxe.ts +3 -138
- package/src/interfaces/server_circuit_prover.ts +24 -29
- package/src/parity/index.ts +2 -3
- package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +6 -6
- package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
- package/src/proofs/proof_data.ts +4 -2
- package/src/proofs/proving_request_type.ts +6 -5
- package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +5 -3
- package/src/rollup/{block_root_rollup.ts → block_root_rollup_private_inputs.ts} +13 -26
- package/src/rollup/{checkpoint_merge_rollup.ts → checkpoint_merge_rollup_private_inputs.ts} +3 -4
- package/src/rollup/{checkpoint_root_rollup.ts → checkpoint_root_rollup_private_inputs.ts} +6 -4
- package/src/rollup/index.ts +10 -11
- package/src/rollup/{private_base_rollup_inputs.ts → private_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/{public_base_rollup_inputs.ts → public_tx_base_rollup_private_inputs.ts} +9 -9
- package/src/rollup/root_rollup_private_inputs.ts +90 -0
- package/src/rollup/{root_rollup.ts → root_rollup_public_inputs.ts} +1 -86
- package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
- package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +11 -11
- package/src/stats/stats.ts +18 -17
- package/src/tests/factories.ts +29 -73
- package/dest/parity/base_parity_inputs.d.ts.map +0 -1
- package/dest/parity/root_parity_input.d.ts +0 -52
- package/dest/parity/root_parity_input.d.ts.map +0 -1
- package/dest/parity/root_parity_input.js +0 -50
- package/dest/parity/root_parity_inputs.d.ts +0 -37
- package/dest/parity/root_parity_inputs.d.ts.map +0 -1
- package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
- package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/block_root_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/checkpoint_root_rollup.d.ts.map +0 -1
- package/dest/rollup/merge_rollup.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.d.ts +0 -47
- package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.js +0 -37
- package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.d.ts +0 -10
- package/dest/rollup/rollup_proof_data.d.ts.map +0 -1
- package/dest/rollup/rollup_proof_data.js +0 -1
- package/dest/rollup/root_rollup.d.ts.map +0 -1
- package/src/parity/root_parity_input.ts +0 -71
- package/src/rollup/previous_rollup_data.ts +0 -48
- package/src/rollup/rollup_proof_data.ts +0 -12
- /package/dest/rollup/{checkpoint_merge_rollup.js → checkpoint_merge_rollup_private_inputs.js} +0 -0
- /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 {
|
|
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
|
|
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
|
|
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.
|
|
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
|
|
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
|
|
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
|
|
51
|
+
* @returns A new TxMergeRollupPrivateInputs instance.
|
|
48
52
|
*/
|
|
49
53
|
static fromString(str: string) {
|
|
50
|
-
return
|
|
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(
|
|
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
|
|
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
|
|
26
|
+
public startPartialState: PartialStateReference,
|
|
27
27
|
/**
|
|
28
28
|
* Partial state reference at the end of the rollup circuit.
|
|
29
29
|
*/
|
|
30
|
-
public
|
|
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
|
|
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):
|
|
75
|
+
static fromBuffer(buffer: Buffer | BufferReader): TxRollupPublicInputs {
|
|
76
76
|
const reader = BufferReader.asReader(buffer);
|
|
77
|
-
return new
|
|
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.
|
|
100
|
-
this.
|
|
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
|
|
123
|
+
* @returns A new TxRollupPublicInputs instance.
|
|
124
124
|
*/
|
|
125
125
|
static fromString(str: string) {
|
|
126
|
-
return
|
|
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(
|
|
136
|
+
return bufferSchemaFor(TxRollupPublicInputs);
|
|
137
137
|
}
|
|
138
138
|
}
|
package/src/stats/stats.ts
CHANGED
|
@@ -86,25 +86,26 @@ export type ClientCircuitName =
|
|
|
86
86
|
| 'app-circuit';
|
|
87
87
|
|
|
88
88
|
export type ServerCircuitName =
|
|
89
|
-
| 'base
|
|
90
|
-
| 'root
|
|
91
|
-
| 'public
|
|
92
|
-
| '
|
|
93
|
-
| '
|
|
94
|
-
| 'merge
|
|
95
|
-
| 'block-root-first
|
|
96
|
-
| 'block-root-single-tx
|
|
97
|
-
| 'block-root-empty-tx
|
|
98
|
-
| 'block-root
|
|
99
|
-
| 'block-root-single-tx
|
|
100
|
-
| 'block-merge
|
|
101
|
-
| 'checkpoint-root
|
|
102
|
-
| 'checkpoint-root-single-block
|
|
103
|
-
| 'checkpoint-padding
|
|
104
|
-
| 'checkpoint-merge
|
|
105
|
-
| 'root
|
|
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. */
|
package/src/tests/factories.ts
CHANGED
|
@@ -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 {
|
|
129
|
+
import { ParityBasePrivateInputs } from '../parity/parity_base_private_inputs.js';
|
|
131
130
|
import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
|
|
132
|
-
import {
|
|
133
|
-
import {
|
|
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/
|
|
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/
|
|
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 {
|
|
153
|
-
import {
|
|
154
|
-
import {
|
|
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
|
|
706
|
+
export function makeTxRollupPublicInputs(
|
|
710
707
|
seed = 0,
|
|
711
708
|
globalVariables: GlobalVariables | undefined = undefined,
|
|
712
|
-
):
|
|
713
|
-
return new
|
|
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
|
|
805
|
-
return new
|
|
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
|
|
809
|
-
return new
|
|
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
|
-
|
|
954
|
-
|
|
955
|
-
|
|
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,
|
|
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
|
|
1129
|
-
return
|
|
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
|
|
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
|
|
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"}
|