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