@aztec/archiver 0.0.0-test.1 → 0.0.1-commit.0208eb9
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/README.md +164 -9
- package/dest/archiver.d.ts +136 -0
- package/dest/archiver.d.ts.map +1 -0
- package/dest/archiver.js +781 -0
- package/dest/config.d.ts +30 -0
- package/dest/config.d.ts.map +1 -0
- package/dest/config.js +71 -0
- package/dest/errors.d.ts +41 -0
- package/dest/errors.d.ts.map +1 -0
- package/dest/errors.js +62 -0
- package/dest/factory.d.ts +13 -16
- package/dest/factory.d.ts.map +1 -1
- package/dest/factory.js +103 -55
- package/dest/index.d.ts +10 -4
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +8 -3
- package/dest/interfaces.d.ts +9 -0
- package/dest/interfaces.d.ts.map +1 -0
- package/dest/interfaces.js +3 -0
- package/dest/l1/bin/retrieve-calldata.d.ts +3 -0
- package/dest/l1/bin/retrieve-calldata.d.ts.map +1 -0
- package/dest/l1/bin/retrieve-calldata.js +149 -0
- package/dest/l1/calldata_retriever.d.ts +112 -0
- package/dest/l1/calldata_retriever.d.ts.map +1 -0
- package/dest/l1/calldata_retriever.js +471 -0
- package/dest/l1/data_retrieval.d.ts +88 -0
- package/dest/l1/data_retrieval.d.ts.map +1 -0
- package/dest/l1/data_retrieval.js +312 -0
- package/dest/l1/debug_tx.d.ts +19 -0
- package/dest/l1/debug_tx.d.ts.map +1 -0
- package/dest/l1/debug_tx.js +73 -0
- package/dest/l1/spire_proposer.d.ts +70 -0
- package/dest/l1/spire_proposer.d.ts.map +1 -0
- package/dest/l1/spire_proposer.js +157 -0
- package/dest/l1/trace_tx.d.ts +97 -0
- package/dest/l1/trace_tx.d.ts.map +1 -0
- package/dest/l1/trace_tx.js +91 -0
- package/dest/l1/types.d.ts +12 -0
- package/dest/l1/types.d.ts.map +1 -0
- package/dest/l1/types.js +3 -0
- package/dest/l1/validate_trace.d.ts +32 -0
- package/dest/l1/validate_trace.d.ts.map +1 -0
- package/dest/l1/validate_trace.js +154 -0
- package/dest/modules/data_source_base.d.ts +84 -0
- package/dest/modules/data_source_base.d.ts.map +1 -0
- package/dest/modules/data_source_base.js +260 -0
- package/dest/modules/data_store_updater.d.ts +73 -0
- package/dest/modules/data_store_updater.d.ts.map +1 -0
- package/dest/modules/data_store_updater.js +302 -0
- package/dest/modules/instrumentation.d.ts +37 -0
- package/dest/modules/instrumentation.d.ts.map +1 -0
- package/dest/modules/instrumentation.js +110 -0
- package/dest/modules/l1_synchronizer.d.ts +75 -0
- package/dest/modules/l1_synchronizer.d.ts.map +1 -0
- package/dest/modules/l1_synchronizer.js +1112 -0
- package/dest/modules/validation.d.ts +17 -0
- package/dest/modules/validation.d.ts.map +1 -0
- package/dest/modules/validation.js +104 -0
- package/dest/store/block_store.d.ts +192 -0
- package/dest/store/block_store.d.ts.map +1 -0
- package/dest/store/block_store.js +721 -0
- package/dest/store/contract_class_store.d.ts +18 -0
- package/dest/store/contract_class_store.d.ts.map +1 -0
- package/dest/{archiver/kv_archiver_store → store}/contract_class_store.js +25 -27
- package/dest/store/contract_instance_store.d.ts +24 -0
- package/dest/store/contract_instance_store.d.ts.map +1 -0
- package/dest/store/contract_instance_store.js +77 -0
- package/dest/store/kv_archiver_store.d.ts +340 -0
- package/dest/store/kv_archiver_store.d.ts.map +1 -0
- package/dest/store/kv_archiver_store.js +446 -0
- package/dest/store/log_store.d.ts +54 -0
- package/dest/store/log_store.d.ts.map +1 -0
- package/dest/store/log_store.js +436 -0
- package/dest/store/message_store.d.ts +40 -0
- package/dest/store/message_store.d.ts.map +1 -0
- package/dest/store/message_store.js +188 -0
- package/dest/structs/data_retrieval.d.ts +27 -0
- package/dest/structs/data_retrieval.d.ts.map +1 -0
- package/dest/structs/inbox_message.d.ts +15 -0
- package/dest/structs/inbox_message.d.ts.map +1 -0
- package/dest/structs/inbox_message.js +39 -0
- package/dest/structs/published.d.ts +2 -0
- package/dest/structs/published.d.ts.map +1 -0
- package/dest/structs/published.js +1 -0
- package/dest/test/fake_l1_state.d.ts +190 -0
- package/dest/test/fake_l1_state.d.ts.map +1 -0
- package/dest/test/fake_l1_state.js +383 -0
- package/dest/test/index.d.ts +2 -1
- package/dest/test/index.d.ts.map +1 -1
- package/dest/test/index.js +4 -1
- package/dest/test/mock_archiver.d.ts +16 -8
- package/dest/test/mock_archiver.d.ts.map +1 -1
- package/dest/test/mock_archiver.js +18 -14
- package/dest/test/mock_l1_to_l2_message_source.d.ts +9 -6
- package/dest/test/mock_l1_to_l2_message_source.d.ts.map +1 -1
- package/dest/test/mock_l1_to_l2_message_source.js +30 -7
- package/dest/test/mock_l2_block_source.d.ts +62 -16
- package/dest/test/mock_l2_block_source.d.ts.map +1 -1
- package/dest/test/mock_l2_block_source.js +263 -32
- package/dest/test/mock_structs.d.ts +85 -0
- package/dest/test/mock_structs.d.ts.map +1 -0
- package/dest/test/mock_structs.js +171 -0
- package/dest/test/noop_l1_archiver.d.ts +23 -0
- package/dest/test/noop_l1_archiver.d.ts.map +1 -0
- package/dest/test/noop_l1_archiver.js +68 -0
- package/package.json +31 -33
- package/src/archiver.ts +543 -0
- package/src/config.ts +95 -0
- package/src/errors.ts +102 -0
- package/src/factory.ts +144 -71
- package/src/index.ts +10 -3
- package/src/interfaces.ts +9 -0
- package/src/l1/README.md +98 -0
- package/src/l1/bin/retrieve-calldata.ts +187 -0
- package/src/l1/calldata_retriever.ts +641 -0
- package/src/l1/data_retrieval.ts +495 -0
- package/src/l1/debug_tx.ts +99 -0
- package/src/l1/spire_proposer.ts +160 -0
- package/src/l1/trace_tx.ts +128 -0
- package/src/l1/types.ts +13 -0
- package/src/l1/validate_trace.ts +229 -0
- package/src/modules/data_source_base.ts +367 -0
- package/src/modules/data_store_updater.ts +423 -0
- package/src/modules/instrumentation.ts +157 -0
- package/src/modules/l1_synchronizer.ts +930 -0
- package/src/modules/validation.ts +129 -0
- package/src/store/block_store.ts +966 -0
- package/src/{archiver/kv_archiver_store → store}/contract_class_store.ts +26 -32
- package/src/{archiver/kv_archiver_store → store}/contract_instance_store.ts +37 -29
- package/src/store/kv_archiver_store.ts +639 -0
- package/src/store/log_store.ts +575 -0
- package/src/store/message_store.ts +261 -0
- package/src/structs/inbox_message.ts +41 -0
- package/src/structs/published.ts +1 -0
- package/src/test/fake_l1_state.ts +599 -0
- package/src/test/fixtures/debug_traceTransaction-multicall3.json +88 -0
- package/src/test/fixtures/debug_traceTransaction-multiplePropose.json +153 -0
- package/src/test/fixtures/debug_traceTransaction-proxied.json +122 -0
- package/src/test/fixtures/trace_transaction-multicall3.json +65 -0
- package/src/test/fixtures/trace_transaction-multiplePropose.json +319 -0
- package/src/test/fixtures/trace_transaction-proxied.json +128 -0
- package/src/test/fixtures/trace_transaction-randomRevert.json +216 -0
- package/src/test/index.ts +4 -0
- package/src/test/mock_archiver.ts +22 -16
- package/src/test/mock_l1_to_l2_message_source.ts +26 -8
- package/src/test/mock_l2_block_source.ts +313 -42
- package/src/test/mock_structs.ts +311 -0
- package/src/test/noop_l1_archiver.ts +109 -0
- package/dest/archiver/archiver.d.ts +0 -197
- package/dest/archiver/archiver.d.ts.map +0 -1
- package/dest/archiver/archiver.js +0 -900
- package/dest/archiver/archiver_store.d.ts +0 -220
- package/dest/archiver/archiver_store.d.ts.map +0 -1
- package/dest/archiver/archiver_store.js +0 -4
- package/dest/archiver/archiver_store_test_suite.d.ts +0 -8
- package/dest/archiver/archiver_store_test_suite.d.ts.map +0 -1
- package/dest/archiver/archiver_store_test_suite.js +0 -794
- package/dest/archiver/config.d.ts +0 -37
- package/dest/archiver/config.d.ts.map +0 -1
- package/dest/archiver/config.js +0 -46
- package/dest/archiver/data_retrieval.d.ts +0 -74
- package/dest/archiver/data_retrieval.d.ts.map +0 -1
- package/dest/archiver/data_retrieval.js +0 -283
- package/dest/archiver/errors.d.ts +0 -4
- package/dest/archiver/errors.d.ts.map +0 -1
- package/dest/archiver/errors.js +0 -5
- package/dest/archiver/index.d.ts +0 -8
- package/dest/archiver/index.d.ts.map +0 -1
- package/dest/archiver/index.js +0 -5
- package/dest/archiver/instrumentation.d.ts +0 -29
- package/dest/archiver/instrumentation.d.ts.map +0 -1
- package/dest/archiver/instrumentation.js +0 -99
- package/dest/archiver/kv_archiver_store/block_store.d.ts +0 -87
- package/dest/archiver/kv_archiver_store/block_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/block_store.js +0 -217
- package/dest/archiver/kv_archiver_store/contract_class_store.d.ts +0 -18
- package/dest/archiver/kv_archiver_store/contract_class_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/contract_instance_store.d.ts +0 -21
- package/dest/archiver/kv_archiver_store/contract_instance_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/contract_instance_store.js +0 -63
- package/dest/archiver/kv_archiver_store/kv_archiver_store.d.ts +0 -153
- package/dest/archiver/kv_archiver_store/kv_archiver_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/kv_archiver_store.js +0 -254
- package/dest/archiver/kv_archiver_store/log_store.d.ts +0 -49
- package/dest/archiver/kv_archiver_store/log_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/log_store.js +0 -364
- package/dest/archiver/kv_archiver_store/message_store.d.ts +0 -33
- package/dest/archiver/kv_archiver_store/message_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/message_store.js +0 -85
- package/dest/archiver/kv_archiver_store/nullifier_store.d.ts +0 -12
- package/dest/archiver/kv_archiver_store/nullifier_store.d.ts.map +0 -1
- package/dest/archiver/kv_archiver_store/nullifier_store.js +0 -73
- package/dest/archiver/memory_archiver_store/l1_to_l2_message_store.d.ts +0 -23
- package/dest/archiver/memory_archiver_store/l1_to_l2_message_store.d.ts.map +0 -1
- package/dest/archiver/memory_archiver_store/l1_to_l2_message_store.js +0 -49
- package/dest/archiver/memory_archiver_store/memory_archiver_store.d.ts +0 -175
- package/dest/archiver/memory_archiver_store/memory_archiver_store.d.ts.map +0 -1
- package/dest/archiver/memory_archiver_store/memory_archiver_store.js +0 -636
- package/dest/archiver/structs/data_retrieval.d.ts +0 -27
- package/dest/archiver/structs/data_retrieval.d.ts.map +0 -1
- package/dest/archiver/structs/published.d.ts +0 -11
- package/dest/archiver/structs/published.d.ts.map +0 -1
- package/dest/archiver/structs/published.js +0 -1
- package/dest/rpc/index.d.ts +0 -10
- package/dest/rpc/index.d.ts.map +0 -1
- package/dest/rpc/index.js +0 -18
- package/src/archiver/archiver.ts +0 -1181
- package/src/archiver/archiver_store.ts +0 -263
- package/src/archiver/archiver_store_test_suite.ts +0 -810
- package/src/archiver/config.ts +0 -92
- package/src/archiver/data_retrieval.ts +0 -422
- package/src/archiver/errors.ts +0 -5
- package/src/archiver/index.ts +0 -7
- package/src/archiver/instrumentation.ts +0 -132
- package/src/archiver/kv_archiver_store/block_store.ts +0 -283
- package/src/archiver/kv_archiver_store/kv_archiver_store.ts +0 -358
- package/src/archiver/kv_archiver_store/log_store.ts +0 -444
- package/src/archiver/kv_archiver_store/message_store.ts +0 -102
- package/src/archiver/kv_archiver_store/nullifier_store.ts +0 -97
- package/src/archiver/memory_archiver_store/l1_to_l2_message_store.ts +0 -61
- package/src/archiver/memory_archiver_store/memory_archiver_store.ts +0 -801
- package/src/archiver/structs/published.ts +0 -11
- package/src/rpc/index.ts +0 -20
- /package/dest/{archiver/structs → structs}/data_retrieval.js +0 -0
- /package/src/{archiver/structs → structs}/data_retrieval.ts +0 -0
|
@@ -0,0 +1,383 @@
|
|
|
1
|
+
import { getBlobsPerL1Block, getPrefixedEthBlobCommitments } from '@aztec/blob-lib';
|
|
2
|
+
import { MULTI_CALL_3_ADDRESS } from '@aztec/ethereum/contracts';
|
|
3
|
+
import { CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
4
|
+
import { Buffer16, Buffer32 } from '@aztec/foundation/buffer';
|
|
5
|
+
import { createLogger } from '@aztec/foundation/log';
|
|
6
|
+
import { RollupAbi } from '@aztec/l1-artifacts';
|
|
7
|
+
import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
|
|
8
|
+
import { getSlotAtTimestamp } from '@aztec/stdlib/epoch-helpers';
|
|
9
|
+
import { InboxLeaf } from '@aztec/stdlib/messaging';
|
|
10
|
+
import { makeAndSignCommitteeAttestationsAndSigners, makeCheckpointAttestationFromCheckpoint, mockCheckpointAndMessages } from '@aztec/stdlib/testing';
|
|
11
|
+
import { AppendOnlyTreeSnapshot } from '@aztec/stdlib/trees';
|
|
12
|
+
import { mock } from 'jest-mock-extended';
|
|
13
|
+
import { encodeFunctionData, multicall3Abi, toHex } from 'viem';
|
|
14
|
+
import { updateRollingHash } from '../structs/inbox_message.js';
|
|
15
|
+
/**
|
|
16
|
+
* Stateful fake for L1 data used by the archiver.
|
|
17
|
+
*
|
|
18
|
+
* This class simulates the L1 blockchain state that the archiver reads from:
|
|
19
|
+
* - RollupContract: status(), archiveAt(), getVersion(), getTargetCommitteeSize(), CheckpointProposed events
|
|
20
|
+
* - InboxContract: getState(), MessageSent events
|
|
21
|
+
* - PublicClient: getBlockNumber(), getBlock(), getTransaction()
|
|
22
|
+
* - BlobClient: getBlobSidecar()
|
|
23
|
+
*
|
|
24
|
+
* @example
|
|
25
|
+
* ```ts
|
|
26
|
+
* const fake = new FakeL1State(config);
|
|
27
|
+
*
|
|
28
|
+
* // Add checkpoint (creates messages automatically)
|
|
29
|
+
* const { checkpoint, messages } = await fake.addCheckpoint(CheckpointNumber(1), { l1BlockNumber: 101n });
|
|
30
|
+
* fake.setL1BlockNumber(105n);
|
|
31
|
+
*
|
|
32
|
+
* // Status auto-updated
|
|
33
|
+
* expect(fake.getRollupStatus().pendingCheckpointNumber).toEqual(CheckpointNumber(1));
|
|
34
|
+
* ```
|
|
35
|
+
*/ export class FakeL1State {
|
|
36
|
+
config;
|
|
37
|
+
log;
|
|
38
|
+
l1BlockNumber;
|
|
39
|
+
checkpoints;
|
|
40
|
+
messages;
|
|
41
|
+
messagesRollingHash;
|
|
42
|
+
lastArchive;
|
|
43
|
+
provenCheckpointNumber;
|
|
44
|
+
targetCommitteeSize;
|
|
45
|
+
version;
|
|
46
|
+
// Computed from checkpoints based on L1 block visibility
|
|
47
|
+
pendingCheckpointNumber;
|
|
48
|
+
constructor(config){
|
|
49
|
+
this.config = config;
|
|
50
|
+
this.log = createLogger('archiver:test:fake-l1');
|
|
51
|
+
this.checkpoints = [];
|
|
52
|
+
this.messages = [];
|
|
53
|
+
this.messagesRollingHash = Buffer16.ZERO;
|
|
54
|
+
this.provenCheckpointNumber = CheckpointNumber(0);
|
|
55
|
+
this.targetCommitteeSize = 0;
|
|
56
|
+
this.version = 1n;
|
|
57
|
+
this.pendingCheckpointNumber = CheckpointNumber(0);
|
|
58
|
+
this.l1BlockNumber = config.l1StartBlock;
|
|
59
|
+
this.lastArchive = new AppendOnlyTreeSnapshot(config.genesisArchiveRoot, 1);
|
|
60
|
+
}
|
|
61
|
+
/**
|
|
62
|
+
* Adds messages for a checkpoint. Returns the message leaves.
|
|
63
|
+
* Auto-updates rolling hash.
|
|
64
|
+
*
|
|
65
|
+
* Note: For most use cases, use `addCheckpoint` which creates both checkpoint and messages.
|
|
66
|
+
* Use this method only when you need to add messages without creating a checkpoint (e.g., for reorg tests).
|
|
67
|
+
*/ addMessages(checkpointNumber, l1BlockNumber, messageLeaves) {
|
|
68
|
+
messageLeaves.forEach((leaf, i)=>{
|
|
69
|
+
const index = InboxLeaf.smallestIndexForCheckpoint(checkpointNumber) + BigInt(i);
|
|
70
|
+
this.messagesRollingHash = updateRollingHash(this.messagesRollingHash, leaf);
|
|
71
|
+
this.messages.push({
|
|
72
|
+
l1BlockNumber,
|
|
73
|
+
checkpointNumber,
|
|
74
|
+
index,
|
|
75
|
+
leaf,
|
|
76
|
+
rollingHash: this.messagesRollingHash
|
|
77
|
+
});
|
|
78
|
+
});
|
|
79
|
+
}
|
|
80
|
+
/**
|
|
81
|
+
* Creates blocks for a checkpoint without adding them to L1 state.
|
|
82
|
+
* Useful for creating blocks to pass to addBlock() for testing provisional block handling.
|
|
83
|
+
* Returns the blocks directly.
|
|
84
|
+
*/ async makeBlocks(checkpointNumber, options) {
|
|
85
|
+
return (await this.makeCheckpointAndMessages(checkpointNumber, options)).checkpoint.blocks;
|
|
86
|
+
}
|
|
87
|
+
/**
|
|
88
|
+
* Creates and adds a checkpoint with its L1-to-L2 messages.
|
|
89
|
+
* Returns both the checkpoint and the message leaves.
|
|
90
|
+
* Auto-chains from lastArchive, auto-updates pending status if L1 block >= checkpoint's L1 block.
|
|
91
|
+
*/ async addCheckpoint(checkpointNumber, options) {
|
|
92
|
+
this.log.warn(`Adding checkpoint ${checkpointNumber}`);
|
|
93
|
+
const { l1BlockNumber, signers = [], messagesL1BlockNumber = l1BlockNumber - 3n } = options;
|
|
94
|
+
// Create the checkpoint using the stdlib helper
|
|
95
|
+
const { checkpoint, messages, lastArchive } = await this.makeCheckpointAndMessages(checkpointNumber, {
|
|
96
|
+
...options,
|
|
97
|
+
numL1ToL2Messages: options.numL1ToL2Messages ?? 3
|
|
98
|
+
});
|
|
99
|
+
// Store the messages internally so they match the checkpoint's inHash
|
|
100
|
+
this.addMessages(checkpointNumber, messagesL1BlockNumber, messages);
|
|
101
|
+
// Create the transaction and blobs
|
|
102
|
+
const tx = this.makeRollupTx(checkpoint, signers);
|
|
103
|
+
const blobHashes = this.makeVersionedBlobHashes(checkpoint);
|
|
104
|
+
const blobs = this.makeBlobsFromCheckpoint(checkpoint);
|
|
105
|
+
// Store the checkpoint data
|
|
106
|
+
this.checkpoints.push({
|
|
107
|
+
checkpointNumber,
|
|
108
|
+
checkpoint,
|
|
109
|
+
l1BlockNumber,
|
|
110
|
+
tx,
|
|
111
|
+
blobHashes,
|
|
112
|
+
blobs,
|
|
113
|
+
signers
|
|
114
|
+
});
|
|
115
|
+
// Update last archive for auto-chaining
|
|
116
|
+
this.lastArchive = lastArchive ?? checkpoint.blocks.at(-1).archive;
|
|
117
|
+
// Auto-update pending checkpoint number
|
|
118
|
+
this.updatePendingCheckpointNumber();
|
|
119
|
+
return {
|
|
120
|
+
checkpoint,
|
|
121
|
+
messages
|
|
122
|
+
};
|
|
123
|
+
}
|
|
124
|
+
/** Creates a checkpoint and messages without adding them to L1 state. */ makeCheckpointAndMessages(checkpointNumber, options) {
|
|
125
|
+
const { numBlocks = 1, txsPerBlock = 4, maxEffects, slotNumber, previousArchive = this.lastArchive, timestamp, l1BlockNumber, numL1ToL2Messages = 0, blocks } = options;
|
|
126
|
+
return mockCheckpointAndMessages(checkpointNumber, {
|
|
127
|
+
startBlockNumber: this.getNextBlockNumber(checkpointNumber),
|
|
128
|
+
numBlocks,
|
|
129
|
+
blocks,
|
|
130
|
+
numTxsPerBlock: txsPerBlock,
|
|
131
|
+
numL1ToL2Messages,
|
|
132
|
+
previousArchive,
|
|
133
|
+
slotNumber: slotNumber ?? (l1BlockNumber !== undefined ? this.getL2SlotAtL1Block(l1BlockNumber) : undefined),
|
|
134
|
+
timestamp: timestamp ?? (l1BlockNumber !== undefined ? this.getTimestampAtL1Block(l1BlockNumber) : undefined),
|
|
135
|
+
...maxEffects !== undefined ? {
|
|
136
|
+
maxEffects
|
|
137
|
+
} : {}
|
|
138
|
+
});
|
|
139
|
+
}
|
|
140
|
+
/** Returns the L2 slot at the given L1 block (assuming all L1 blocks are mined) */ getL2SlotAtL1Block(l1BlockNumber) {
|
|
141
|
+
const timestamp = this.getTimestampAtL1Block(l1BlockNumber);
|
|
142
|
+
return getSlotAtTimestamp(timestamp, this.config);
|
|
143
|
+
}
|
|
144
|
+
/** Returns the timestamp at the given L1 block (assuming all L1 blocks are mined) */ getTimestampAtL1Block(l1BlockNumber) {
|
|
145
|
+
const { l1GenesisTime, l1StartBlock, ethereumSlotDuration } = this.config;
|
|
146
|
+
return l1GenesisTime + (l1BlockNumber - l1StartBlock) * BigInt(ethereumSlotDuration);
|
|
147
|
+
}
|
|
148
|
+
/**
|
|
149
|
+
* Sets the current L1 block number.
|
|
150
|
+
* Auto-updates pending checkpoint number based on visible checkpoints.
|
|
151
|
+
*/ setL1BlockNumber(blockNumber) {
|
|
152
|
+
this.l1BlockNumber = blockNumber;
|
|
153
|
+
this.updatePendingCheckpointNumber();
|
|
154
|
+
}
|
|
155
|
+
/** Marks a checkpoint as proven. Updates provenCheckpointNumber. */ markCheckpointAsProven(checkpointNumber) {
|
|
156
|
+
this.provenCheckpointNumber = checkpointNumber;
|
|
157
|
+
}
|
|
158
|
+
/** Sets the target committee size for attestation validation. */ setTargetCommitteeSize(size) {
|
|
159
|
+
this.targetCommitteeSize = size;
|
|
160
|
+
}
|
|
161
|
+
/**
|
|
162
|
+
* Removes all entries for a checkpoint number (simulates L1 reorg or prune).
|
|
163
|
+
* Note: Does NOT remove messages for this checkpoint (use numL1ToL2Messages: 0 when re-adding).
|
|
164
|
+
* Auto-updates pending status.
|
|
165
|
+
*/ removeCheckpoint(checkpointNumber) {
|
|
166
|
+
this.checkpoints = this.checkpoints.filter((cpData)=>cpData.checkpointNumber !== checkpointNumber);
|
|
167
|
+
this.updatePendingCheckpointNumber();
|
|
168
|
+
}
|
|
169
|
+
/**
|
|
170
|
+
* Removes messages after a given total index (simulates L1 reorg).
|
|
171
|
+
* Auto-updates rolling hash.
|
|
172
|
+
*/ removeMessagesAfter(totalIndex) {
|
|
173
|
+
this.messages = this.messages.slice(0, totalIndex);
|
|
174
|
+
// Recalculate rolling hash
|
|
175
|
+
this.messagesRollingHash = this.messages.reduce((hash, msg)=>updateRollingHash(hash, msg.leaf), Buffer16.ZERO);
|
|
176
|
+
}
|
|
177
|
+
/**
|
|
178
|
+
* Simulates a pruned checkpoint by marking all entries with this number as pruned.
|
|
179
|
+
* The event will still be returned, but archiveAt() will return the previous checkpoint's archive
|
|
180
|
+
* (or genesis if no previous checkpoint), causing a mismatch that the archiver will detect.
|
|
181
|
+
*/ markCheckpointAsPruned(checkpointNumber) {
|
|
182
|
+
for (const cpData of this.checkpoints){
|
|
183
|
+
if (cpData.checkpointNumber === checkpointNumber) {
|
|
184
|
+
cpData.pruned = true;
|
|
185
|
+
}
|
|
186
|
+
}
|
|
187
|
+
this.updatePendingCheckpointNumber();
|
|
188
|
+
}
|
|
189
|
+
/**
|
|
190
|
+
* Moves messages at a given L1 block to a new L1 block.
|
|
191
|
+
* Useful for simulating partial message visibility (messages at higher L1 blocks won't be fetched).
|
|
192
|
+
*/ moveMessagesToL1Block(fromL1Block, toL1Block) {
|
|
193
|
+
this.messages.forEach((msg)=>{
|
|
194
|
+
if (msg.l1BlockNumber === fromL1Block) {
|
|
195
|
+
msg.l1BlockNumber = toL1Block;
|
|
196
|
+
}
|
|
197
|
+
});
|
|
198
|
+
}
|
|
199
|
+
/**
|
|
200
|
+
* Moves a specific message (by index in the messages array) to a new L1 block.
|
|
201
|
+
*/ moveMessageAtIndexToL1Block(index, toL1Block) {
|
|
202
|
+
if (this.messages[index]) {
|
|
203
|
+
this.messages[index].l1BlockNumber = toL1Block;
|
|
204
|
+
}
|
|
205
|
+
}
|
|
206
|
+
/** Gets current rollup status. */ getRollupStatus() {
|
|
207
|
+
return {
|
|
208
|
+
provenCheckpointNumber: this.provenCheckpointNumber,
|
|
209
|
+
pendingCheckpointNumber: this.pendingCheckpointNumber,
|
|
210
|
+
provenArchive: this.getArchiveAt(this.provenCheckpointNumber),
|
|
211
|
+
pendingArchive: this.getArchiveAt(this.pendingCheckpointNumber)
|
|
212
|
+
};
|
|
213
|
+
}
|
|
214
|
+
/** Gets the last archive (for manual chaining if needed). */ getLastArchive() {
|
|
215
|
+
return this.lastArchive;
|
|
216
|
+
}
|
|
217
|
+
/** Gets the latest checkpoint entry by number (returns the last added one). */ getCheckpoint(checkpointNumber) {
|
|
218
|
+
return this.checkpoints.findLast((cpData)=>cpData.checkpointNumber === checkpointNumber)?.checkpoint;
|
|
219
|
+
}
|
|
220
|
+
/** Gets messages for a checkpoint. */ getMessages(checkpointNumber) {
|
|
221
|
+
return this.messages.filter((m)=>m.checkpointNumber === checkpointNumber).map((m)=>m.leaf);
|
|
222
|
+
}
|
|
223
|
+
/** Gets the blobs for a checkpoint. */ getCheckpointBlobs(checkpointNumber) {
|
|
224
|
+
return this.checkpoints.findLast((cpData)=>cpData.checkpointNumber === checkpointNumber)?.blobs ?? [];
|
|
225
|
+
}
|
|
226
|
+
/** Creates mock RollupContract that reads from this fake state. */ createMockRollupContract(_publicClient) {
|
|
227
|
+
const mockRollup = mock();
|
|
228
|
+
mockRollup.getVersion.mockImplementation(()=>Promise.resolve(this.version));
|
|
229
|
+
mockRollup.getTargetCommitteeSize.mockImplementation(()=>Promise.resolve(this.targetCommitteeSize));
|
|
230
|
+
mockRollup.archiveAt.mockImplementation((cpNum)=>Promise.resolve(this.getArchiveAt(cpNum)));
|
|
231
|
+
mockRollup.status.mockImplementation((localCheckpointNum)=>{
|
|
232
|
+
const status = this.getRollupStatus();
|
|
233
|
+
return Promise.resolve({
|
|
234
|
+
provenCheckpointNumber: status.provenCheckpointNumber,
|
|
235
|
+
provenArchive: status.provenArchive,
|
|
236
|
+
pendingCheckpointNumber: status.pendingCheckpointNumber,
|
|
237
|
+
pendingArchive: status.pendingArchive,
|
|
238
|
+
archiveOfMyCheckpoint: this.getArchiveAt(localCheckpointNum)
|
|
239
|
+
});
|
|
240
|
+
});
|
|
241
|
+
// Mock the wrapper method for fetching checkpoint events
|
|
242
|
+
mockRollup.getCheckpointProposedEvents.mockImplementation((fromBlock, toBlock)=>Promise.resolve(this.getCheckpointProposedLogs(fromBlock, toBlock)));
|
|
243
|
+
Object.defineProperty(mockRollup, 'address', {
|
|
244
|
+
get: ()=>this.config.rollupAddress.toString()
|
|
245
|
+
});
|
|
246
|
+
return mockRollup;
|
|
247
|
+
}
|
|
248
|
+
/** Creates mock InboxContract that reads from this fake state. */ createMockInboxContract(_publicClient) {
|
|
249
|
+
const mockInbox = mock();
|
|
250
|
+
mockInbox.getState.mockImplementation(()=>Promise.resolve({
|
|
251
|
+
messagesRollingHash: this.messagesRollingHash,
|
|
252
|
+
totalMessagesInserted: BigInt(this.messages.length),
|
|
253
|
+
treeInProgress: 0n
|
|
254
|
+
}));
|
|
255
|
+
// Mock the wrapper methods for fetching message events
|
|
256
|
+
mockInbox.getMessageSentEvents.mockImplementation((fromBlock, toBlock)=>Promise.resolve(this.getMessageSentLogs(fromBlock, toBlock)));
|
|
257
|
+
mockInbox.getMessageSentEventByHash.mockImplementation((hash, fromBlock, toBlock)=>Promise.resolve(this.getMessageSentLogs(fromBlock, toBlock, hash)));
|
|
258
|
+
return mockInbox;
|
|
259
|
+
}
|
|
260
|
+
/** Creates mock PublicClient that reads from this fake state. */ createMockPublicClient() {
|
|
261
|
+
const publicClient = mock();
|
|
262
|
+
publicClient.getChainId.mockResolvedValue(1);
|
|
263
|
+
publicClient.getBlockNumber.mockImplementation(()=>Promise.resolve(this.l1BlockNumber));
|
|
264
|
+
// Use async function pattern that existing test uses for getBlock
|
|
265
|
+
publicClient.getBlock.mockImplementation(async (args = {})=>{
|
|
266
|
+
const blockNum = args.blockNumber ?? await publicClient.getBlockNumber();
|
|
267
|
+
return {
|
|
268
|
+
number: blockNum,
|
|
269
|
+
timestamp: BigInt(blockNum) * BigInt(this.config.ethereumSlotDuration) + this.config.l1GenesisTime,
|
|
270
|
+
hash: Buffer32.fromBigInt(blockNum).toString()
|
|
271
|
+
};
|
|
272
|
+
});
|
|
273
|
+
// Use the same pattern as existing test for getTransaction
|
|
274
|
+
publicClient.getTransaction.mockImplementation((args)=>Promise.resolve(args.hash ? this.checkpoints.find((cpData)=>cpData.tx.hash === args.hash)?.tx : undefined));
|
|
275
|
+
return publicClient;
|
|
276
|
+
}
|
|
277
|
+
/** Creates mock BlobClient that reads from this fake state. */ createMockBlobClient() {
|
|
278
|
+
const blobClient = mock();
|
|
279
|
+
// The blockId is the transaction's blockHash, which we set to the checkpoint's archive root
|
|
280
|
+
blobClient.getBlobSidecar.mockImplementation((blockId)=>Promise.resolve(this.checkpoints.find((cpData)=>cpData.checkpoint.archive.root.toString() === blockId)?.blobs ?? []));
|
|
281
|
+
blobClient.testSources.mockResolvedValue(undefined);
|
|
282
|
+
return blobClient;
|
|
283
|
+
}
|
|
284
|
+
updatePendingCheckpointNumber() {
|
|
285
|
+
this.pendingCheckpointNumber = this.checkpoints.filter((cpData)=>cpData.l1BlockNumber <= this.l1BlockNumber && !cpData.pruned).reduce((max, cpData)=>cpData.checkpointNumber > max ? cpData.checkpointNumber : max, CheckpointNumber(0));
|
|
286
|
+
}
|
|
287
|
+
getArchiveAt(checkpointNumber) {
|
|
288
|
+
if (checkpointNumber === 0) {
|
|
289
|
+
return this.config.genesisArchiveRoot;
|
|
290
|
+
}
|
|
291
|
+
// Find the latest non-pruned entry for this checkpoint number
|
|
292
|
+
const entries = this.checkpoints.filter((cpData)=>cpData.checkpointNumber === checkpointNumber);
|
|
293
|
+
const latestEntry = entries.at(-1);
|
|
294
|
+
if (!latestEntry || latestEntry.pruned) {
|
|
295
|
+
// For pruned or missing checkpoints, return the previous non-pruned checkpoint's archive
|
|
296
|
+
return this.getArchiveAt(CheckpointNumber(checkpointNumber - 1));
|
|
297
|
+
}
|
|
298
|
+
return latestEntry.checkpoint.archive.root;
|
|
299
|
+
}
|
|
300
|
+
getNextBlockNumber(checkpointNumber) {
|
|
301
|
+
const lastBlockNumber = this.checkpoints.filter((cpData)=>cpData.checkpointNumber < checkpointNumber).flatMap((cpData)=>cpData.checkpoint.blocks.map((b)=>b.number)).reduce((max, num)=>Math.max(max, num), 0);
|
|
302
|
+
return lastBlockNumber + 1;
|
|
303
|
+
}
|
|
304
|
+
getCheckpointProposedLogs(fromBlock, toBlock) {
|
|
305
|
+
return this.checkpoints.filter((cpData)=>cpData.l1BlockNumber >= fromBlock && cpData.l1BlockNumber <= toBlock).map((cpData)=>({
|
|
306
|
+
l1BlockNumber: cpData.l1BlockNumber,
|
|
307
|
+
l1BlockHash: Buffer32.fromBigInt(cpData.l1BlockNumber),
|
|
308
|
+
l1TransactionHash: cpData.tx.hash,
|
|
309
|
+
args: {
|
|
310
|
+
checkpointNumber: cpData.checkpointNumber,
|
|
311
|
+
archive: cpData.checkpoint.archive.root,
|
|
312
|
+
versionedBlobHashes: cpData.blobHashes.map((h)=>Buffer.from(h.slice(2), 'hex')),
|
|
313
|
+
// These are intentionally undefined to skip hash validation in the archiver
|
|
314
|
+
// (validation is skipped when these fields are falsy)
|
|
315
|
+
payloadDigest: undefined,
|
|
316
|
+
attestationsHash: undefined
|
|
317
|
+
}
|
|
318
|
+
}));
|
|
319
|
+
}
|
|
320
|
+
getMessageSentLogs(fromBlock, toBlock, hashFilter) {
|
|
321
|
+
return this.messages.filter((msg)=>(!hashFilter || msg.leaf.toString() === hashFilter) && (!fromBlock || msg.l1BlockNumber >= fromBlock) && (!toBlock || msg.l1BlockNumber <= toBlock)).map((msg)=>({
|
|
322
|
+
l1BlockNumber: msg.l1BlockNumber,
|
|
323
|
+
l1BlockHash: Buffer32.fromBigInt(msg.l1BlockNumber),
|
|
324
|
+
l1TransactionHash: `0x${msg.l1BlockNumber.toString(16)}`,
|
|
325
|
+
args: {
|
|
326
|
+
checkpointNumber: msg.checkpointNumber,
|
|
327
|
+
index: msg.index,
|
|
328
|
+
leaf: msg.leaf,
|
|
329
|
+
rollingHash: msg.rollingHash
|
|
330
|
+
}
|
|
331
|
+
}));
|
|
332
|
+
}
|
|
333
|
+
makeRollupTx(checkpoint, signers) {
|
|
334
|
+
const attestations = signers.map((signer)=>makeCheckpointAttestationFromCheckpoint(checkpoint, signer)).map((attestation)=>CommitteeAttestation.fromSignature(attestation.signature)).map((committeeAttestation)=>committeeAttestation.toViem());
|
|
335
|
+
const header = checkpoint.header.toViem();
|
|
336
|
+
const blobInput = getPrefixedEthBlobCommitments(getBlobsPerL1Block(checkpoint.toBlobFields()));
|
|
337
|
+
const archive = toHex(checkpoint.archive.root.toBuffer());
|
|
338
|
+
const attestationsAndSigners = new CommitteeAttestationsAndSigners(attestations.map((attestation)=>CommitteeAttestation.fromViem(attestation)));
|
|
339
|
+
const attestationsAndSignersSignature = makeAndSignCommitteeAttestationsAndSigners(attestationsAndSigners, signers[0]);
|
|
340
|
+
const rollupInput = encodeFunctionData({
|
|
341
|
+
abi: RollupAbi,
|
|
342
|
+
functionName: 'propose',
|
|
343
|
+
args: [
|
|
344
|
+
{
|
|
345
|
+
header,
|
|
346
|
+
archive,
|
|
347
|
+
oracleInput: {
|
|
348
|
+
feeAssetPriceModifier: 0n
|
|
349
|
+
}
|
|
350
|
+
},
|
|
351
|
+
attestationsAndSigners.getPackedAttestations(),
|
|
352
|
+
attestationsAndSigners.getSigners().map((signer)=>signer.toString()),
|
|
353
|
+
attestationsAndSignersSignature.toViemSignature(),
|
|
354
|
+
blobInput
|
|
355
|
+
]
|
|
356
|
+
});
|
|
357
|
+
const multiCallInput = encodeFunctionData({
|
|
358
|
+
abi: multicall3Abi,
|
|
359
|
+
functionName: 'aggregate3',
|
|
360
|
+
args: [
|
|
361
|
+
[
|
|
362
|
+
{
|
|
363
|
+
target: this.config.rollupAddress.toString(),
|
|
364
|
+
callData: rollupInput,
|
|
365
|
+
allowFailure: false
|
|
366
|
+
}
|
|
367
|
+
]
|
|
368
|
+
]
|
|
369
|
+
});
|
|
370
|
+
return {
|
|
371
|
+
input: multiCallInput,
|
|
372
|
+
hash: archive,
|
|
373
|
+
blockHash: archive,
|
|
374
|
+
to: MULTI_CALL_3_ADDRESS
|
|
375
|
+
};
|
|
376
|
+
}
|
|
377
|
+
makeVersionedBlobHashes(checkpoint) {
|
|
378
|
+
return getBlobsPerL1Block(checkpoint.toBlobFields()).map((b)=>`0x${b.getEthVersionedBlobHash().toString('hex')}`);
|
|
379
|
+
}
|
|
380
|
+
makeBlobsFromCheckpoint(checkpoint) {
|
|
381
|
+
return getBlobsPerL1Block(checkpoint.toBlobFields());
|
|
382
|
+
}
|
|
383
|
+
}
|
package/dest/test/index.d.ts
CHANGED
|
@@ -1,4 +1,5 @@
|
|
|
1
|
+
export * from './mock_structs.js';
|
|
1
2
|
export * from './mock_l2_block_source.js';
|
|
2
3
|
export * from './mock_l1_to_l2_message_source.js';
|
|
3
4
|
export * from './mock_archiver.js';
|
|
4
|
-
//# sourceMappingURL=
|
|
5
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZXN0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsbUJBQW1CLENBQUM7QUFDbEMsY0FBYywyQkFBMkIsQ0FBQztBQUMxQyxjQUFjLG1DQUFtQyxDQUFDO0FBQ2xELGNBQWMsb0JBQW9CLENBQUMifQ==
|
package/dest/test/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mCAAmC,CAAC;AAClD,cAAc,oBAAoB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/test/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mCAAmC,CAAC;AAClD,cAAc,oBAAoB,CAAC"}
|
package/dest/test/index.js
CHANGED
|
@@ -1,3 +1,6 @@
|
|
|
1
|
+
export * from './mock_structs.js';
|
|
1
2
|
export * from './mock_l2_block_source.js';
|
|
2
3
|
export * from './mock_l1_to_l2_message_source.js';
|
|
3
|
-
export * from './mock_archiver.js';
|
|
4
|
+
export * from './mock_archiver.js'; // NOTE: noop_l1_archiver.js is intentionally NOT exported here because it imports
|
|
5
|
+
// jest-mock-extended, which depends on @jest/globals and can only run inside Jest.
|
|
6
|
+
// Import it directly: import { NoopL1Archiver } from '@aztec/archiver/test/noop-l1';
|
|
@@ -1,5 +1,7 @@
|
|
|
1
|
-
import type {
|
|
2
|
-
import type {
|
|
1
|
+
import type { CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
+
import type { L2BlockSource } from '@aztec/stdlib/block';
|
|
4
|
+
import type { Checkpoint } from '@aztec/stdlib/checkpoint';
|
|
3
5
|
import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
|
|
4
6
|
import { MockL2BlockSource } from './mock_l2_block_source.js';
|
|
5
7
|
/**
|
|
@@ -7,17 +9,23 @@ import { MockL2BlockSource } from './mock_l2_block_source.js';
|
|
|
7
9
|
*/
|
|
8
10
|
export declare class MockArchiver extends MockL2BlockSource implements L2BlockSource, L1ToL2MessageSource {
|
|
9
11
|
private messageSource;
|
|
10
|
-
setL1ToL2Messages(
|
|
11
|
-
getL1ToL2Messages(
|
|
12
|
+
setL1ToL2Messages(checkpointNumber: CheckpointNumber, msgs: Fr[]): void;
|
|
13
|
+
getL1ToL2Messages(checkpointNumber: CheckpointNumber): Promise<Fr[]>;
|
|
12
14
|
getL1ToL2MessageIndex(_l1ToL2Message: Fr): Promise<bigint | undefined>;
|
|
13
15
|
}
|
|
14
16
|
/**
|
|
15
17
|
* A mocked implementation of the archiver with a set of precomputed blocks and messages.
|
|
16
18
|
*/
|
|
17
19
|
export declare class MockPrefilledArchiver extends MockArchiver {
|
|
18
|
-
private
|
|
19
|
-
constructor(
|
|
20
|
-
|
|
20
|
+
private prefilled;
|
|
21
|
+
constructor(prefilled: {
|
|
22
|
+
checkpoint: Checkpoint;
|
|
23
|
+
messages: Fr[];
|
|
24
|
+
}[]);
|
|
25
|
+
setPrefilled(prefilled: {
|
|
26
|
+
checkpoint: Checkpoint;
|
|
27
|
+
messages: Fr[];
|
|
28
|
+
}[]): void;
|
|
21
29
|
createBlocks(numBlocks: number): Promise<void>;
|
|
22
30
|
}
|
|
23
|
-
//# sourceMappingURL=
|
|
31
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9ja19hcmNoaXZlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Rlc3QvbW9ja19hcmNoaXZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ3hFLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFHbkUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFOUQ7O0dBRUc7QUFDSCxxQkFBYSxZQUFhLFNBQVEsaUJBQWtCLFlBQVcsYUFBYSxFQUFFLG1CQUFtQjtJQUMvRixPQUFPLENBQUMsYUFBYSxDQUFrQztJQUVoRCxpQkFBaUIsQ0FBQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLFFBRXRFO0lBRUQsaUJBQWlCLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBRW5FO0lBRUQscUJBQXFCLENBQUMsY0FBYyxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxDQUVyRTtDQUNGO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxxQkFBc0IsU0FBUSxZQUFZO0lBQ3JELE9BQU8sQ0FBQyxTQUFTLENBQW9CO0lBRXJDLFlBQVksU0FBUyxFQUFFO1FBQUUsVUFBVSxFQUFFLFVBQVUsQ0FBQztRQUFDLFFBQVEsRUFBRSxFQUFFLEVBQUUsQ0FBQTtLQUFFLEVBQUUsRUFHbEU7SUFFTSxZQUFZLENBQUMsU0FBUyxFQUFFO1FBQUUsVUFBVSxFQUFFLFVBQVUsQ0FBQztRQUFDLFFBQVEsRUFBRSxFQUFFLEVBQUUsQ0FBQTtLQUFFLEVBQUUsUUFRMUU7SUFFZSxZQUFZLENBQUMsU0FBUyxFQUFFLE1BQU0saUJBWTdDO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mock_archiver.d.ts","sourceRoot":"","sources":["../../src/test/mock_archiver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"mock_archiver.d.ts","sourceRoot":"","sources":["../../src/test/mock_archiver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;GAEG;AACH,qBAAa,YAAa,SAAQ,iBAAkB,YAAW,aAAa,EAAE,mBAAmB;IAC/F,OAAO,CAAC,aAAa,CAAkC;IAEhD,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,QAEtE;IAED,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAEnE;IAED,qBAAqB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAErE;CACF;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,YAAY;IACrD,OAAO,CAAC,SAAS,CAAoB;IAErC,YAAY,SAAS,EAAE;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE,EAGlE;IAEM,YAAY,CAAC,SAAS,EAAE;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,EAAE,EAAE,CAAA;KAAE,EAAE,QAQ1E;IAEe,YAAY,CAAC,SAAS,EAAE,MAAM,iBAY7C;CACF"}
|
|
@@ -4,11 +4,11 @@ import { MockL2BlockSource } from './mock_l2_block_source.js';
|
|
|
4
4
|
* A mocked implementation of the archiver that implements L2BlockSource and L1ToL2MessageSource.
|
|
5
5
|
*/ export class MockArchiver extends MockL2BlockSource {
|
|
6
6
|
messageSource = new MockL1ToL2MessageSource(0);
|
|
7
|
-
setL1ToL2Messages(
|
|
8
|
-
this.messageSource.setL1ToL2Messages(
|
|
7
|
+
setL1ToL2Messages(checkpointNumber, msgs) {
|
|
8
|
+
this.messageSource.setL1ToL2Messages(checkpointNumber, msgs);
|
|
9
9
|
}
|
|
10
|
-
getL1ToL2Messages(
|
|
11
|
-
return this.messageSource.getL1ToL2Messages(
|
|
10
|
+
getL1ToL2Messages(checkpointNumber) {
|
|
11
|
+
return this.messageSource.getL1ToL2Messages(checkpointNumber);
|
|
12
12
|
}
|
|
13
13
|
getL1ToL2MessageIndex(_l1ToL2Message) {
|
|
14
14
|
return this.messageSource.getL1ToL2MessageIndex(_l1ToL2Message);
|
|
@@ -17,24 +17,28 @@ import { MockL2BlockSource } from './mock_l2_block_source.js';
|
|
|
17
17
|
/**
|
|
18
18
|
* A mocked implementation of the archiver with a set of precomputed blocks and messages.
|
|
19
19
|
*/ export class MockPrefilledArchiver extends MockArchiver {
|
|
20
|
-
|
|
21
|
-
constructor(
|
|
20
|
+
prefilled = [];
|
|
21
|
+
constructor(prefilled){
|
|
22
22
|
super();
|
|
23
|
-
this.
|
|
24
|
-
messages.forEach((msgs, i)=>this.setL1ToL2Messages(i + 1, msgs));
|
|
23
|
+
this.setPrefilled(prefilled);
|
|
25
24
|
}
|
|
26
|
-
|
|
27
|
-
for (const
|
|
28
|
-
this.
|
|
25
|
+
setPrefilled(prefilled) {
|
|
26
|
+
for (const { checkpoint, messages } of prefilled){
|
|
27
|
+
this.prefilled[checkpoint.number - 1] = checkpoint;
|
|
28
|
+
if (checkpoint.blocks.length !== 1) {
|
|
29
|
+
throw new Error('Prefilled checkpoint must only have 1 block at the moment.');
|
|
30
|
+
}
|
|
31
|
+
this.setL1ToL2Messages(checkpoint.number, messages);
|
|
29
32
|
}
|
|
30
|
-
messages.forEach((msgs, i)=>this.setL1ToL2Messages(blocks[i].number, msgs));
|
|
31
33
|
}
|
|
32
34
|
createBlocks(numBlocks) {
|
|
33
|
-
|
|
35
|
+
const flattenedBlocks = this.prefilled.flatMap((c)=>c.blocks);
|
|
36
|
+
if (this.l2Blocks.length + numBlocks > flattenedBlocks.length) {
|
|
34
37
|
throw new Error(`Not enough precomputed blocks to create ${numBlocks} more blocks (already at ${this.l2Blocks.length})`);
|
|
35
38
|
}
|
|
36
39
|
const fromBlock = this.l2Blocks.length;
|
|
37
|
-
|
|
40
|
+
// TODO: Add L2 blocks and checkpoints separately once archiver has the apis for that.
|
|
41
|
+
this.addProposedBlocks(this.prefilled.slice(fromBlock, fromBlock + numBlocks).flatMap((c)=>c.blocks));
|
|
38
42
|
return Promise.resolve();
|
|
39
43
|
}
|
|
40
44
|
}
|
|
@@ -1,16 +1,19 @@
|
|
|
1
|
-
import
|
|
1
|
+
import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
|
+
import type { L2Tips } from '@aztec/stdlib/block';
|
|
2
4
|
import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
|
|
3
5
|
/**
|
|
4
6
|
* A mocked implementation of L1ToL2MessageSource to be used in tests.
|
|
5
7
|
*/
|
|
6
8
|
export declare class MockL1ToL2MessageSource implements L1ToL2MessageSource {
|
|
7
9
|
private blockNumber;
|
|
8
|
-
private
|
|
10
|
+
private messagesPerCheckpoint;
|
|
9
11
|
constructor(blockNumber: number);
|
|
10
|
-
setL1ToL2Messages(
|
|
12
|
+
setL1ToL2Messages(checkpointNumber: CheckpointNumber, msgs: Fr[]): void;
|
|
11
13
|
setBlockNumber(blockNumber: number): void;
|
|
12
|
-
getL1ToL2Messages(
|
|
14
|
+
getL1ToL2Messages(checkpointNumber: CheckpointNumber): Promise<Fr[]>;
|
|
13
15
|
getL1ToL2MessageIndex(_l1ToL2Message: Fr): Promise<bigint | undefined>;
|
|
14
|
-
getBlockNumber(): Promise<
|
|
16
|
+
getBlockNumber(): Promise<BlockNumber>;
|
|
17
|
+
getL2Tips(): Promise<L2Tips>;
|
|
15
18
|
}
|
|
16
|
-
//# sourceMappingURL=
|
|
19
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibW9ja19sMV90b19sMl9tZXNzYWdlX3NvdXJjZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Rlc3QvbW9ja19sMV90b19sMl9tZXNzYWdlX3NvdXJjZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsV0FBVyxFQUFFLGdCQUFnQixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDaEYsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFvQyxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNwRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRW5FOztHQUVHO0FBQ0gscUJBQWEsdUJBQXdCLFlBQVcsbUJBQW1CO0lBR3JELE9BQU8sQ0FBQyxXQUFXO0lBRi9CLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBcUM7SUFFbEUsWUFBb0IsV0FBVyxFQUFFLE1BQU0sRUFBSTtJQUVwQyxpQkFBaUIsQ0FBQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFBRSxJQUFJLEVBQUUsRUFBRSxFQUFFLFFBRXRFO0lBRU0sY0FBYyxDQUFDLFdBQVcsRUFBRSxNQUFNLFFBRXhDO0lBRUQsaUJBQWlCLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBRW5FO0lBRUQscUJBQXFCLENBQUMsY0FBYyxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxDQUVyRTtJQUVELGNBQWMseUJBRWI7SUFFRCxTQUFTLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQWMzQjtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mock_l1_to_l2_message_source.d.ts","sourceRoot":"","sources":["../../src/test/mock_l1_to_l2_message_source.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"mock_l1_to_l2_message_source.d.ts","sourceRoot":"","sources":["../../src/test/mock_l1_to_l2_message_source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAoC,MAAM,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAEnE;;GAEG;AACH,qBAAa,uBAAwB,YAAW,mBAAmB;IAGrD,OAAO,CAAC,WAAW;IAF/B,OAAO,CAAC,qBAAqB,CAAqC;IAElE,YAAoB,WAAW,EAAE,MAAM,EAAI;IAEpC,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,QAEtE;IAEM,cAAc,CAAC,WAAW,EAAE,MAAM,QAExC;IAED,iBAAiB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAEnE;IAED,qBAAqB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAErE;IAED,cAAc,yBAEb;IAED,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAc3B;CACF"}
|
|
@@ -1,25 +1,48 @@
|
|
|
1
|
+
import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
1
3
|
/**
|
|
2
4
|
* A mocked implementation of L1ToL2MessageSource to be used in tests.
|
|
3
5
|
*/ export class MockL1ToL2MessageSource {
|
|
4
6
|
blockNumber;
|
|
5
|
-
|
|
7
|
+
messagesPerCheckpoint;
|
|
6
8
|
constructor(blockNumber){
|
|
7
9
|
this.blockNumber = blockNumber;
|
|
8
|
-
this.
|
|
10
|
+
this.messagesPerCheckpoint = new Map();
|
|
9
11
|
}
|
|
10
|
-
setL1ToL2Messages(
|
|
11
|
-
this.
|
|
12
|
+
setL1ToL2Messages(checkpointNumber, msgs) {
|
|
13
|
+
this.messagesPerCheckpoint.set(checkpointNumber, msgs);
|
|
12
14
|
}
|
|
13
15
|
setBlockNumber(blockNumber) {
|
|
14
16
|
this.blockNumber = blockNumber;
|
|
15
17
|
}
|
|
16
|
-
getL1ToL2Messages(
|
|
17
|
-
return Promise.resolve(this.
|
|
18
|
+
getL1ToL2Messages(checkpointNumber) {
|
|
19
|
+
return Promise.resolve(this.messagesPerCheckpoint.get(checkpointNumber) ?? []);
|
|
18
20
|
}
|
|
19
21
|
getL1ToL2MessageIndex(_l1ToL2Message) {
|
|
20
22
|
throw new Error('Method not implemented.');
|
|
21
23
|
}
|
|
22
24
|
getBlockNumber() {
|
|
23
|
-
return Promise.resolve(this.blockNumber);
|
|
25
|
+
return Promise.resolve(BlockNumber(this.blockNumber));
|
|
26
|
+
}
|
|
27
|
+
getL2Tips() {
|
|
28
|
+
const number = this.blockNumber;
|
|
29
|
+
const blockId = {
|
|
30
|
+
number: BlockNumber(number),
|
|
31
|
+
hash: new Fr(number).toString()
|
|
32
|
+
};
|
|
33
|
+
const checkpointId = {
|
|
34
|
+
number: CheckpointNumber(number),
|
|
35
|
+
hash: new Fr(number + 1).toString()
|
|
36
|
+
};
|
|
37
|
+
const tip = {
|
|
38
|
+
block: blockId,
|
|
39
|
+
checkpoint: checkpointId
|
|
40
|
+
};
|
|
41
|
+
return Promise.resolve({
|
|
42
|
+
proposed: blockId,
|
|
43
|
+
checkpointed: tip,
|
|
44
|
+
proven: tip,
|
|
45
|
+
finalized: tip
|
|
46
|
+
});
|
|
24
47
|
}
|
|
25
48
|
}
|