@aztec/archiver 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108
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 +27 -6
- package/dest/archiver/archiver.d.ts +127 -84
- package/dest/archiver/archiver.d.ts.map +1 -1
- package/dest/archiver/archiver.js +1150 -382
- package/dest/archiver/archiver_store.d.ts +122 -45
- package/dest/archiver/archiver_store.d.ts.map +1 -1
- package/dest/archiver/archiver_store_test_suite.d.ts +1 -1
- package/dest/archiver/archiver_store_test_suite.d.ts.map +1 -1
- package/dest/archiver/archiver_store_test_suite.js +2013 -343
- package/dest/archiver/config.d.ts +7 -20
- package/dest/archiver/config.d.ts.map +1 -1
- package/dest/archiver/config.js +21 -5
- package/dest/archiver/errors.d.ts +25 -1
- package/dest/archiver/errors.d.ts.map +1 -1
- package/dest/archiver/errors.js +37 -0
- package/dest/archiver/index.d.ts +2 -2
- package/dest/archiver/index.d.ts.map +1 -1
- package/dest/archiver/instrumentation.d.ts +5 -3
- package/dest/archiver/instrumentation.d.ts.map +1 -1
- package/dest/archiver/instrumentation.js +14 -0
- package/dest/archiver/kv_archiver_store/block_store.d.ts +83 -15
- package/dest/archiver/kv_archiver_store/block_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/block_store.js +396 -73
- package/dest/archiver/kv_archiver_store/contract_class_store.d.ts +2 -2
- package/dest/archiver/kv_archiver_store/contract_class_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/contract_class_store.js +1 -1
- package/dest/archiver/kv_archiver_store/contract_instance_store.d.ts +2 -2
- package/dest/archiver/kv_archiver_store/contract_instance_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/kv_archiver_store.d.ts +51 -55
- package/dest/archiver/kv_archiver_store/kv_archiver_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/kv_archiver_store.js +82 -46
- package/dest/archiver/kv_archiver_store/log_store.d.ts +12 -16
- package/dest/archiver/kv_archiver_store/log_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/log_store.js +149 -84
- package/dest/archiver/kv_archiver_store/message_store.d.ts +6 -5
- package/dest/archiver/kv_archiver_store/message_store.d.ts.map +1 -1
- package/dest/archiver/kv_archiver_store/message_store.js +15 -14
- package/dest/archiver/l1/bin/retrieve-calldata.d.ts +3 -0
- package/dest/archiver/l1/bin/retrieve-calldata.d.ts.map +1 -0
- package/dest/archiver/l1/bin/retrieve-calldata.js +149 -0
- package/dest/archiver/l1/calldata_retriever.d.ts +112 -0
- package/dest/archiver/l1/calldata_retriever.d.ts.map +1 -0
- package/dest/archiver/l1/calldata_retriever.js +471 -0
- package/dest/archiver/l1/data_retrieval.d.ts +90 -0
- package/dest/archiver/l1/data_retrieval.d.ts.map +1 -0
- package/dest/archiver/l1/data_retrieval.js +331 -0
- package/dest/archiver/l1/debug_tx.d.ts +19 -0
- package/dest/archiver/l1/debug_tx.d.ts.map +1 -0
- package/dest/archiver/l1/debug_tx.js +73 -0
- package/dest/archiver/l1/spire_proposer.d.ts +70 -0
- package/dest/archiver/l1/spire_proposer.d.ts.map +1 -0
- package/dest/archiver/l1/spire_proposer.js +157 -0
- package/dest/archiver/l1/trace_tx.d.ts +97 -0
- package/dest/archiver/l1/trace_tx.d.ts.map +1 -0
- package/dest/archiver/l1/trace_tx.js +91 -0
- package/dest/archiver/l1/types.d.ts +12 -0
- package/dest/archiver/l1/types.d.ts.map +1 -0
- package/dest/archiver/l1/types.js +3 -0
- package/dest/archiver/l1/validate_trace.d.ts +29 -0
- package/dest/archiver/l1/validate_trace.d.ts.map +1 -0
- package/dest/archiver/l1/validate_trace.js +150 -0
- package/dest/archiver/structs/data_retrieval.d.ts +1 -1
- package/dest/archiver/structs/inbox_message.d.ts +4 -4
- package/dest/archiver/structs/inbox_message.d.ts.map +1 -1
- package/dest/archiver/structs/inbox_message.js +6 -5
- package/dest/archiver/structs/published.d.ts +2 -2
- package/dest/archiver/structs/published.d.ts.map +1 -1
- package/dest/archiver/validation.d.ts +10 -4
- package/dest/archiver/validation.d.ts.map +1 -1
- package/dest/archiver/validation.js +66 -44
- package/dest/factory.d.ts +4 -6
- package/dest/factory.d.ts.map +1 -1
- package/dest/factory.js +5 -4
- package/dest/index.d.ts +2 -2
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +1 -1
- package/dest/rpc/index.d.ts +2 -2
- package/dest/test/index.d.ts +1 -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 +19 -14
- package/dest/test/mock_l1_to_l2_message_source.d.ts +7 -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 +10 -9
- package/dest/test/mock_l2_block_source.d.ts +31 -20
- package/dest/test/mock_l2_block_source.d.ts.map +1 -1
- package/dest/test/mock_l2_block_source.js +85 -18
- package/dest/test/mock_structs.d.ts +3 -2
- package/dest/test/mock_structs.d.ts.map +1 -1
- package/dest/test/mock_structs.js +9 -8
- package/package.json +18 -17
- package/src/archiver/archiver.ts +990 -481
- package/src/archiver/archiver_store.ts +141 -44
- package/src/archiver/archiver_store_test_suite.ts +2114 -331
- package/src/archiver/config.ts +30 -35
- package/src/archiver/errors.ts +64 -0
- package/src/archiver/index.ts +1 -1
- package/src/archiver/instrumentation.ts +19 -2
- package/src/archiver/kv_archiver_store/block_store.ts +541 -83
- package/src/archiver/kv_archiver_store/contract_class_store.ts +1 -1
- package/src/archiver/kv_archiver_store/contract_instance_store.ts +1 -1
- package/src/archiver/kv_archiver_store/kv_archiver_store.ts +107 -67
- package/src/archiver/kv_archiver_store/log_store.ts +209 -99
- package/src/archiver/kv_archiver_store/message_store.ts +21 -18
- package/src/archiver/l1/README.md +98 -0
- package/src/archiver/l1/bin/retrieve-calldata.ts +182 -0
- package/src/archiver/l1/calldata_retriever.ts +641 -0
- package/src/archiver/l1/data_retrieval.ts +512 -0
- package/src/archiver/l1/debug_tx.ts +99 -0
- package/src/archiver/l1/spire_proposer.ts +160 -0
- package/src/archiver/l1/trace_tx.ts +128 -0
- package/src/archiver/l1/types.ts +13 -0
- package/src/archiver/l1/validate_trace.ts +211 -0
- package/src/archiver/structs/inbox_message.ts +8 -8
- package/src/archiver/structs/published.ts +1 -1
- package/src/archiver/validation.ts +86 -32
- package/src/factory.ts +6 -7
- package/src/index.ts +1 -1
- 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/mock_archiver.ts +22 -16
- package/src/test/mock_l1_to_l2_message_source.ts +10 -9
- package/src/test/mock_l2_block_source.ts +114 -27
- package/src/test/mock_structs.ts +10 -9
- package/dest/archiver/data_retrieval.d.ts +0 -78
- package/dest/archiver/data_retrieval.d.ts.map +0 -1
- package/dest/archiver/data_retrieval.js +0 -354
- package/src/archiver/data_retrieval.ts +0 -535
|
@@ -1,535 +0,0 @@
|
|
|
1
|
-
import { Blob, BlobDeserializationError } from '@aztec/blob-lib';
|
|
2
|
-
import type { BlobSinkClientInterface } from '@aztec/blob-sink/client';
|
|
3
|
-
import type {
|
|
4
|
-
EpochProofPublicInputArgs,
|
|
5
|
-
ViemClient,
|
|
6
|
-
ViemCommitteeAttestations,
|
|
7
|
-
ViemHeader,
|
|
8
|
-
ViemPublicClient,
|
|
9
|
-
ViemStateReference,
|
|
10
|
-
} from '@aztec/ethereum';
|
|
11
|
-
import { asyncPool } from '@aztec/foundation/async-pool';
|
|
12
|
-
import { Buffer16, Buffer32 } from '@aztec/foundation/buffer';
|
|
13
|
-
import type { EthAddress } from '@aztec/foundation/eth-address';
|
|
14
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
15
|
-
import { type Logger, createLogger } from '@aztec/foundation/log';
|
|
16
|
-
import { type InboxAbi, RollupAbi } from '@aztec/l1-artifacts';
|
|
17
|
-
import { Body, CommitteeAttestation, L2Block } from '@aztec/stdlib/block';
|
|
18
|
-
import { Proof } from '@aztec/stdlib/proofs';
|
|
19
|
-
import { AppendOnlyTreeSnapshot } from '@aztec/stdlib/trees';
|
|
20
|
-
import { BlockHeader, GlobalVariables, ProposedBlockHeader, StateReference } from '@aztec/stdlib/tx';
|
|
21
|
-
|
|
22
|
-
import {
|
|
23
|
-
type GetContractEventsReturnType,
|
|
24
|
-
type GetContractReturnType,
|
|
25
|
-
type Hex,
|
|
26
|
-
decodeFunctionData,
|
|
27
|
-
getAbiItem,
|
|
28
|
-
hexToBytes,
|
|
29
|
-
multicall3Abi,
|
|
30
|
-
} from 'viem';
|
|
31
|
-
|
|
32
|
-
import { NoBlobBodiesFoundError } from './errors.js';
|
|
33
|
-
import type { DataRetrieval } from './structs/data_retrieval.js';
|
|
34
|
-
import type { InboxMessage } from './structs/inbox_message.js';
|
|
35
|
-
import type { L1PublishedData, PublishedL2Block } from './structs/published.js';
|
|
36
|
-
|
|
37
|
-
export type RetrievedL2Block = {
|
|
38
|
-
l2BlockNumber: number;
|
|
39
|
-
archiveRoot: Fr;
|
|
40
|
-
stateReference: StateReference;
|
|
41
|
-
header: ProposedBlockHeader;
|
|
42
|
-
body: Body;
|
|
43
|
-
l1: L1PublishedData;
|
|
44
|
-
chainId: Fr;
|
|
45
|
-
version: Fr;
|
|
46
|
-
attestations: CommitteeAttestation[];
|
|
47
|
-
};
|
|
48
|
-
|
|
49
|
-
export function retrievedBlockToPublishedL2Block(retrievedBlock: RetrievedL2Block): PublishedL2Block {
|
|
50
|
-
const {
|
|
51
|
-
l2BlockNumber,
|
|
52
|
-
archiveRoot,
|
|
53
|
-
stateReference,
|
|
54
|
-
header: proposedHeader,
|
|
55
|
-
body,
|
|
56
|
-
l1,
|
|
57
|
-
chainId,
|
|
58
|
-
version,
|
|
59
|
-
attestations,
|
|
60
|
-
} = retrievedBlock;
|
|
61
|
-
|
|
62
|
-
const archive = new AppendOnlyTreeSnapshot(
|
|
63
|
-
archiveRoot,
|
|
64
|
-
l2BlockNumber + 1, // nextAvailableLeafIndex
|
|
65
|
-
);
|
|
66
|
-
|
|
67
|
-
const globalVariables = GlobalVariables.from({
|
|
68
|
-
chainId,
|
|
69
|
-
version,
|
|
70
|
-
blockNumber: l2BlockNumber,
|
|
71
|
-
slotNumber: proposedHeader.slotNumber,
|
|
72
|
-
timestamp: proposedHeader.timestamp,
|
|
73
|
-
coinbase: proposedHeader.coinbase,
|
|
74
|
-
feeRecipient: proposedHeader.feeRecipient,
|
|
75
|
-
gasFees: proposedHeader.gasFees,
|
|
76
|
-
});
|
|
77
|
-
|
|
78
|
-
const header = BlockHeader.from({
|
|
79
|
-
lastArchive: new AppendOnlyTreeSnapshot(proposedHeader.lastArchiveRoot, l2BlockNumber),
|
|
80
|
-
contentCommitment: proposedHeader.contentCommitment,
|
|
81
|
-
state: stateReference,
|
|
82
|
-
globalVariables,
|
|
83
|
-
totalFees: body.txEffects.reduce((accum, txEffect) => accum.add(txEffect.transactionFee), Fr.ZERO),
|
|
84
|
-
totalManaUsed: proposedHeader.totalManaUsed,
|
|
85
|
-
});
|
|
86
|
-
|
|
87
|
-
const block = new L2Block(archive, header, body);
|
|
88
|
-
|
|
89
|
-
return {
|
|
90
|
-
block,
|
|
91
|
-
l1,
|
|
92
|
-
attestations,
|
|
93
|
-
};
|
|
94
|
-
}
|
|
95
|
-
|
|
96
|
-
/**
|
|
97
|
-
* Fetches new L2 blocks.
|
|
98
|
-
* @param publicClient - The viem public client to use for transaction retrieval.
|
|
99
|
-
* @param rollupAddress - The address of the rollup contract.
|
|
100
|
-
* @param searchStartBlock - The block number to use for starting the search.
|
|
101
|
-
* @param searchEndBlock - The highest block number that we should search up to.
|
|
102
|
-
* @param expectedNextL2BlockNum - The next L2 block number that we expect to find.
|
|
103
|
-
* @returns An array of block; as well as the next eth block to search from.
|
|
104
|
-
*/
|
|
105
|
-
export async function retrieveBlocksFromRollup(
|
|
106
|
-
rollup: GetContractReturnType<typeof RollupAbi, ViemPublicClient>,
|
|
107
|
-
publicClient: ViemPublicClient,
|
|
108
|
-
blobSinkClient: BlobSinkClientInterface,
|
|
109
|
-
searchStartBlock: bigint,
|
|
110
|
-
searchEndBlock: bigint,
|
|
111
|
-
logger: Logger = createLogger('archiver'),
|
|
112
|
-
): Promise<RetrievedL2Block[]> {
|
|
113
|
-
const retrievedBlocks: RetrievedL2Block[] = [];
|
|
114
|
-
|
|
115
|
-
let rollupConstants: { chainId: Fr; version: Fr; targetCommitteeSize: number } | undefined;
|
|
116
|
-
|
|
117
|
-
do {
|
|
118
|
-
if (searchStartBlock > searchEndBlock) {
|
|
119
|
-
break;
|
|
120
|
-
}
|
|
121
|
-
const l2BlockProposedLogs = (
|
|
122
|
-
await rollup.getEvents.L2BlockProposed(
|
|
123
|
-
{},
|
|
124
|
-
{
|
|
125
|
-
fromBlock: searchStartBlock,
|
|
126
|
-
toBlock: searchEndBlock,
|
|
127
|
-
},
|
|
128
|
-
)
|
|
129
|
-
).filter(log => log.blockNumber! >= searchStartBlock && log.blockNumber! <= searchEndBlock);
|
|
130
|
-
|
|
131
|
-
if (l2BlockProposedLogs.length === 0) {
|
|
132
|
-
break;
|
|
133
|
-
}
|
|
134
|
-
|
|
135
|
-
const lastLog = l2BlockProposedLogs[l2BlockProposedLogs.length - 1];
|
|
136
|
-
logger.debug(
|
|
137
|
-
`Got ${l2BlockProposedLogs.length} L2 block processed logs for L2 blocks ${l2BlockProposedLogs[0].args.blockNumber}-${lastLog.args.blockNumber} between L1 blocks ${searchStartBlock}-${searchEndBlock}`,
|
|
138
|
-
);
|
|
139
|
-
|
|
140
|
-
if (rollupConstants === undefined) {
|
|
141
|
-
const [chainId, version, targetCommitteeSize] = await Promise.all([
|
|
142
|
-
publicClient.getChainId(),
|
|
143
|
-
rollup.read.getVersion(),
|
|
144
|
-
rollup.read.getTargetCommitteeSize(),
|
|
145
|
-
]);
|
|
146
|
-
rollupConstants = {
|
|
147
|
-
chainId: new Fr(chainId),
|
|
148
|
-
version: new Fr(version),
|
|
149
|
-
targetCommitteeSize: Number(targetCommitteeSize),
|
|
150
|
-
};
|
|
151
|
-
}
|
|
152
|
-
|
|
153
|
-
const newBlocks = await processL2BlockProposedLogs(
|
|
154
|
-
rollup,
|
|
155
|
-
publicClient,
|
|
156
|
-
blobSinkClient,
|
|
157
|
-
l2BlockProposedLogs,
|
|
158
|
-
rollupConstants,
|
|
159
|
-
logger,
|
|
160
|
-
);
|
|
161
|
-
retrievedBlocks.push(...newBlocks);
|
|
162
|
-
searchStartBlock = lastLog.blockNumber! + 1n;
|
|
163
|
-
} while (searchStartBlock <= searchEndBlock);
|
|
164
|
-
|
|
165
|
-
// The asyncpool from processL2BlockProposedLogs will not necessarily return the blocks in order, so we sort them before returning.
|
|
166
|
-
return retrievedBlocks.sort((a, b) => Number(a.l1.blockNumber - b.l1.blockNumber));
|
|
167
|
-
}
|
|
168
|
-
|
|
169
|
-
/**
|
|
170
|
-
* Processes newly received L2BlockProposed logs.
|
|
171
|
-
* @param rollup - The rollup contract
|
|
172
|
-
* @param publicClient - The viem public client to use for transaction retrieval.
|
|
173
|
-
* @param logs - L2BlockProposed logs.
|
|
174
|
-
* @returns - An array blocks.
|
|
175
|
-
*/
|
|
176
|
-
async function processL2BlockProposedLogs(
|
|
177
|
-
rollup: GetContractReturnType<typeof RollupAbi, ViemPublicClient>,
|
|
178
|
-
publicClient: ViemPublicClient,
|
|
179
|
-
blobSinkClient: BlobSinkClientInterface,
|
|
180
|
-
logs: GetContractEventsReturnType<typeof RollupAbi, 'L2BlockProposed'>,
|
|
181
|
-
{ chainId, version, targetCommitteeSize }: { chainId: Fr; version: Fr; targetCommitteeSize: number },
|
|
182
|
-
logger: Logger,
|
|
183
|
-
): Promise<RetrievedL2Block[]> {
|
|
184
|
-
const retrievedBlocks: RetrievedL2Block[] = [];
|
|
185
|
-
await asyncPool(10, logs, async log => {
|
|
186
|
-
const l2BlockNumber = Number(log.args.blockNumber!);
|
|
187
|
-
const archive = log.args.archive!;
|
|
188
|
-
const archiveFromChain = await rollup.read.archiveAt([BigInt(l2BlockNumber)]);
|
|
189
|
-
const blobHashes = log.args.versionedBlobHashes!.map(blobHash => Buffer.from(blobHash.slice(2), 'hex'));
|
|
190
|
-
|
|
191
|
-
// The value from the event and contract will match only if the block is in the chain.
|
|
192
|
-
if (archive === archiveFromChain) {
|
|
193
|
-
const block = await getBlockFromRollupTx(
|
|
194
|
-
publicClient,
|
|
195
|
-
blobSinkClient,
|
|
196
|
-
log.transactionHash!,
|
|
197
|
-
blobHashes,
|
|
198
|
-
l2BlockNumber,
|
|
199
|
-
rollup.address,
|
|
200
|
-
targetCommitteeSize,
|
|
201
|
-
logger,
|
|
202
|
-
);
|
|
203
|
-
|
|
204
|
-
const l1: L1PublishedData = {
|
|
205
|
-
blockNumber: log.blockNumber,
|
|
206
|
-
blockHash: log.blockHash,
|
|
207
|
-
timestamp: await getL1BlockTime(publicClient, log.blockNumber),
|
|
208
|
-
};
|
|
209
|
-
|
|
210
|
-
retrievedBlocks.push({ ...block, l1, chainId, version });
|
|
211
|
-
logger.trace(`Retrieved L2 block ${l2BlockNumber} from L1 tx ${log.transactionHash}`, {
|
|
212
|
-
l1BlockNumber: log.blockNumber,
|
|
213
|
-
l2BlockNumber,
|
|
214
|
-
archive: archive.toString(),
|
|
215
|
-
attestations: block.attestations,
|
|
216
|
-
});
|
|
217
|
-
} else {
|
|
218
|
-
logger.warn(`Ignoring L2 block ${l2BlockNumber} due to archive root mismatch`, {
|
|
219
|
-
actual: archive,
|
|
220
|
-
expected: archiveFromChain,
|
|
221
|
-
});
|
|
222
|
-
}
|
|
223
|
-
});
|
|
224
|
-
|
|
225
|
-
return retrievedBlocks;
|
|
226
|
-
}
|
|
227
|
-
|
|
228
|
-
export async function getL1BlockTime(publicClient: ViemPublicClient, blockNumber: bigint): Promise<bigint> {
|
|
229
|
-
const block = await publicClient.getBlock({ blockNumber, includeTransactions: false });
|
|
230
|
-
return block.timestamp;
|
|
231
|
-
}
|
|
232
|
-
|
|
233
|
-
/**
|
|
234
|
-
* Extracts the first 'propose' method calldata from a multicall3 transaction's data.
|
|
235
|
-
* @param multicall3Data - The multicall3 transaction input data
|
|
236
|
-
* @param rollupAddress - The address of the rollup contract
|
|
237
|
-
* @returns The calldata for the first 'propose' method call to the rollup contract
|
|
238
|
-
*/
|
|
239
|
-
function extractRollupProposeCalldata(multicall3Data: Hex, rollupAddress: Hex): Hex {
|
|
240
|
-
const { functionName: multicall3FunctionName, args: multicall3Args } = decodeFunctionData({
|
|
241
|
-
abi: multicall3Abi,
|
|
242
|
-
data: multicall3Data,
|
|
243
|
-
});
|
|
244
|
-
|
|
245
|
-
if (multicall3FunctionName !== 'aggregate3') {
|
|
246
|
-
throw new Error(`Unexpected multicall3 method called ${multicall3FunctionName}`);
|
|
247
|
-
}
|
|
248
|
-
|
|
249
|
-
if (multicall3Args.length !== 1) {
|
|
250
|
-
throw new Error(`Unexpected number of arguments for multicall3`);
|
|
251
|
-
}
|
|
252
|
-
|
|
253
|
-
const [calls] = multicall3Args;
|
|
254
|
-
|
|
255
|
-
// Find all rollup calls
|
|
256
|
-
const rollupAddressLower = rollupAddress.toLowerCase();
|
|
257
|
-
|
|
258
|
-
for (let i = 0; i < calls.length; i++) {
|
|
259
|
-
const addr = calls[i].target;
|
|
260
|
-
if (addr.toLowerCase() !== rollupAddressLower) {
|
|
261
|
-
continue;
|
|
262
|
-
}
|
|
263
|
-
const callData = calls[i].callData;
|
|
264
|
-
|
|
265
|
-
try {
|
|
266
|
-
const { functionName: rollupFunctionName } = decodeFunctionData({
|
|
267
|
-
abi: RollupAbi,
|
|
268
|
-
data: callData,
|
|
269
|
-
});
|
|
270
|
-
|
|
271
|
-
if (rollupFunctionName === 'propose') {
|
|
272
|
-
return callData;
|
|
273
|
-
}
|
|
274
|
-
} catch {
|
|
275
|
-
// Skip invalid function data
|
|
276
|
-
continue;
|
|
277
|
-
}
|
|
278
|
-
}
|
|
279
|
-
|
|
280
|
-
throw new Error(`Rollup address not found in multicall3 args`);
|
|
281
|
-
}
|
|
282
|
-
|
|
283
|
-
/**
|
|
284
|
-
* Gets block from the calldata of an L1 transaction.
|
|
285
|
-
* Assumes that the block was published from an EOA.
|
|
286
|
-
* TODO: Add retries and error management.
|
|
287
|
-
* @param publicClient - The viem public client to use for transaction retrieval.
|
|
288
|
-
* @param txHash - Hash of the tx that published it.
|
|
289
|
-
* @param l2BlockNumber - L2 block number.
|
|
290
|
-
* @returns L2 block from the calldata, deserialized
|
|
291
|
-
*/
|
|
292
|
-
async function getBlockFromRollupTx(
|
|
293
|
-
publicClient: ViemPublicClient,
|
|
294
|
-
blobSinkClient: BlobSinkClientInterface,
|
|
295
|
-
txHash: `0x${string}`,
|
|
296
|
-
blobHashes: Buffer[], // TODO(md): buffer32?
|
|
297
|
-
l2BlockNumber: number,
|
|
298
|
-
rollupAddress: Hex,
|
|
299
|
-
targetCommitteeSize: number,
|
|
300
|
-
logger: Logger,
|
|
301
|
-
): Promise<Omit<RetrievedL2Block, 'l1' | 'chainId' | 'version'>> {
|
|
302
|
-
const { input: forwarderData, blockHash } = await publicClient.getTransaction({ hash: txHash });
|
|
303
|
-
|
|
304
|
-
const rollupData = extractRollupProposeCalldata(forwarderData, rollupAddress);
|
|
305
|
-
const { functionName: rollupFunctionName, args: rollupArgs } = decodeFunctionData({
|
|
306
|
-
abi: RollupAbi,
|
|
307
|
-
data: rollupData,
|
|
308
|
-
});
|
|
309
|
-
|
|
310
|
-
if (rollupFunctionName !== 'propose') {
|
|
311
|
-
throw new Error(`Unexpected rollup method called ${rollupFunctionName}`);
|
|
312
|
-
}
|
|
313
|
-
|
|
314
|
-
const [decodedArgs, packedAttestations, _signers, _blobInput] = rollupArgs! as readonly [
|
|
315
|
-
{
|
|
316
|
-
archive: Hex;
|
|
317
|
-
stateReference: ViemStateReference;
|
|
318
|
-
oracleInput: {
|
|
319
|
-
feeAssetPriceModifier: bigint;
|
|
320
|
-
};
|
|
321
|
-
header: ViemHeader;
|
|
322
|
-
txHashes: readonly Hex[];
|
|
323
|
-
},
|
|
324
|
-
ViemCommitteeAttestations,
|
|
325
|
-
Hex[],
|
|
326
|
-
Hex,
|
|
327
|
-
];
|
|
328
|
-
|
|
329
|
-
const attestations = CommitteeAttestation.fromPacked(packedAttestations, targetCommitteeSize);
|
|
330
|
-
|
|
331
|
-
logger.trace(`Recovered propose calldata from tx ${txHash}`, {
|
|
332
|
-
l2BlockNumber,
|
|
333
|
-
archive: decodedArgs.archive,
|
|
334
|
-
stateReference: decodedArgs.stateReference,
|
|
335
|
-
header: decodedArgs.header,
|
|
336
|
-
blobHashes,
|
|
337
|
-
attestations,
|
|
338
|
-
packedAttestations,
|
|
339
|
-
targetCommitteeSize,
|
|
340
|
-
});
|
|
341
|
-
|
|
342
|
-
// TODO(md): why is the proposed block header different to the actual block header?
|
|
343
|
-
// This is likely going to be a footgun
|
|
344
|
-
const header = ProposedBlockHeader.fromViem(decodedArgs.header);
|
|
345
|
-
const blobBodies = await blobSinkClient.getBlobSidecar(blockHash, blobHashes);
|
|
346
|
-
if (blobBodies.length === 0) {
|
|
347
|
-
throw new NoBlobBodiesFoundError(l2BlockNumber);
|
|
348
|
-
}
|
|
349
|
-
|
|
350
|
-
let blockFields: Fr[];
|
|
351
|
-
try {
|
|
352
|
-
blockFields = Blob.toEncodedFields(blobBodies.map(b => b.blob));
|
|
353
|
-
} catch (err: any) {
|
|
354
|
-
if (err instanceof BlobDeserializationError) {
|
|
355
|
-
logger.fatal(err.message);
|
|
356
|
-
} else {
|
|
357
|
-
logger.fatal('Unable to sync: failed to decode fetched blob, this blob was likely not created by us');
|
|
358
|
-
}
|
|
359
|
-
throw err;
|
|
360
|
-
}
|
|
361
|
-
|
|
362
|
-
// The blob source gives us blockFields, and we must construct the body from them:
|
|
363
|
-
const body = Body.fromBlobFields(blockFields);
|
|
364
|
-
|
|
365
|
-
const archiveRoot = new Fr(Buffer.from(hexToBytes(decodedArgs.archive)));
|
|
366
|
-
|
|
367
|
-
const stateReference = StateReference.fromViem(decodedArgs.stateReference);
|
|
368
|
-
|
|
369
|
-
return {
|
|
370
|
-
l2BlockNumber,
|
|
371
|
-
archiveRoot,
|
|
372
|
-
stateReference,
|
|
373
|
-
header,
|
|
374
|
-
body,
|
|
375
|
-
attestations,
|
|
376
|
-
};
|
|
377
|
-
}
|
|
378
|
-
|
|
379
|
-
/** Given an L1 to L2 message, retrieves its corresponding event from the Inbox within a specific block range. */
|
|
380
|
-
export async function retrieveL1ToL2Message(
|
|
381
|
-
inbox: GetContractReturnType<typeof InboxAbi, ViemClient>,
|
|
382
|
-
leaf: Fr,
|
|
383
|
-
fromBlock: bigint,
|
|
384
|
-
toBlock: bigint,
|
|
385
|
-
): Promise<InboxMessage | undefined> {
|
|
386
|
-
const logs = await inbox.getEvents.MessageSent({ hash: leaf.toString() }, { fromBlock, toBlock });
|
|
387
|
-
|
|
388
|
-
const messages = mapLogsInboxMessage(logs);
|
|
389
|
-
return messages.length > 0 ? messages[0] : undefined;
|
|
390
|
-
}
|
|
391
|
-
|
|
392
|
-
/**
|
|
393
|
-
* Fetch L1 to L2 messages.
|
|
394
|
-
* @param publicClient - The viem public client to use for transaction retrieval.
|
|
395
|
-
* @param inboxAddress - The address of the inbox contract to fetch messages from.
|
|
396
|
-
* @param blockUntilSynced - If true, blocks until the archiver has fully synced.
|
|
397
|
-
* @param searchStartBlock - The block number to use for starting the search.
|
|
398
|
-
* @param searchEndBlock - The highest block number that we should search up to.
|
|
399
|
-
* @returns An array of InboxLeaf and next eth block to search from.
|
|
400
|
-
*/
|
|
401
|
-
export async function retrieveL1ToL2Messages(
|
|
402
|
-
inbox: GetContractReturnType<typeof InboxAbi, ViemClient>,
|
|
403
|
-
searchStartBlock: bigint,
|
|
404
|
-
searchEndBlock: bigint,
|
|
405
|
-
): Promise<InboxMessage[]> {
|
|
406
|
-
const retrievedL1ToL2Messages: InboxMessage[] = [];
|
|
407
|
-
while (searchStartBlock <= searchEndBlock) {
|
|
408
|
-
const messageSentLogs = (
|
|
409
|
-
await inbox.getEvents.MessageSent({}, { fromBlock: searchStartBlock, toBlock: searchEndBlock })
|
|
410
|
-
).filter(log => log.blockNumber! >= searchStartBlock && log.blockNumber! <= searchEndBlock);
|
|
411
|
-
|
|
412
|
-
if (messageSentLogs.length === 0) {
|
|
413
|
-
break;
|
|
414
|
-
}
|
|
415
|
-
|
|
416
|
-
retrievedL1ToL2Messages.push(...mapLogsInboxMessage(messageSentLogs));
|
|
417
|
-
searchStartBlock = messageSentLogs.at(-1)!.blockNumber + 1n;
|
|
418
|
-
}
|
|
419
|
-
|
|
420
|
-
return retrievedL1ToL2Messages;
|
|
421
|
-
}
|
|
422
|
-
|
|
423
|
-
function mapLogsInboxMessage(logs: GetContractEventsReturnType<typeof InboxAbi, 'MessageSent'>): InboxMessage[] {
|
|
424
|
-
return logs.map(log => {
|
|
425
|
-
const { index, hash, l2BlockNumber, rollingHash } = log.args;
|
|
426
|
-
return {
|
|
427
|
-
index: index!,
|
|
428
|
-
leaf: Fr.fromHexString(hash!),
|
|
429
|
-
l1BlockNumber: log.blockNumber,
|
|
430
|
-
l1BlockHash: Buffer32.fromString(log.blockHash),
|
|
431
|
-
l2BlockNumber: Number(l2BlockNumber!),
|
|
432
|
-
rollingHash: Buffer16.fromString(rollingHash!),
|
|
433
|
-
};
|
|
434
|
-
});
|
|
435
|
-
}
|
|
436
|
-
|
|
437
|
-
/** Retrieves L2ProofVerified events from the rollup contract. */
|
|
438
|
-
export async function retrieveL2ProofVerifiedEvents(
|
|
439
|
-
publicClient: ViemPublicClient,
|
|
440
|
-
rollupAddress: EthAddress,
|
|
441
|
-
searchStartBlock: bigint,
|
|
442
|
-
searchEndBlock?: bigint,
|
|
443
|
-
): Promise<{ l1BlockNumber: bigint; l2BlockNumber: number; proverId: Fr; txHash: Hex }[]> {
|
|
444
|
-
const logs = await publicClient.getLogs({
|
|
445
|
-
address: rollupAddress.toString(),
|
|
446
|
-
fromBlock: searchStartBlock,
|
|
447
|
-
toBlock: searchEndBlock ? searchEndBlock : undefined,
|
|
448
|
-
strict: true,
|
|
449
|
-
event: getAbiItem({ abi: RollupAbi, name: 'L2ProofVerified' }),
|
|
450
|
-
});
|
|
451
|
-
|
|
452
|
-
return logs.map(log => ({
|
|
453
|
-
l1BlockNumber: log.blockNumber,
|
|
454
|
-
l2BlockNumber: Number(log.args.blockNumber),
|
|
455
|
-
proverId: Fr.fromHexString(log.args.proverId),
|
|
456
|
-
txHash: log.transactionHash,
|
|
457
|
-
}));
|
|
458
|
-
}
|
|
459
|
-
|
|
460
|
-
/** Retrieve submitted proofs from the rollup contract */
|
|
461
|
-
export async function retrieveL2ProofsFromRollup(
|
|
462
|
-
publicClient: ViemPublicClient,
|
|
463
|
-
rollupAddress: EthAddress,
|
|
464
|
-
searchStartBlock: bigint,
|
|
465
|
-
searchEndBlock?: bigint,
|
|
466
|
-
): Promise<DataRetrieval<{ proof: Proof; proverId: Fr; l2BlockNumber: number; txHash: `0x${string}` }>> {
|
|
467
|
-
const logs = await retrieveL2ProofVerifiedEvents(publicClient, rollupAddress, searchStartBlock, searchEndBlock);
|
|
468
|
-
const retrievedData: { proof: Proof; proverId: Fr; l2BlockNumber: number; txHash: `0x${string}` }[] = [];
|
|
469
|
-
const lastProcessedL1BlockNumber = logs.length > 0 ? logs.at(-1)!.l1BlockNumber : searchStartBlock - 1n;
|
|
470
|
-
|
|
471
|
-
for (const { txHash, proverId, l2BlockNumber } of logs) {
|
|
472
|
-
const proofData = await getProofFromSubmitProofTx(publicClient, txHash, proverId);
|
|
473
|
-
retrievedData.push({ proof: proofData.proof, proverId: proofData.proverId, l2BlockNumber, txHash });
|
|
474
|
-
}
|
|
475
|
-
return {
|
|
476
|
-
retrievedData,
|
|
477
|
-
lastProcessedL1BlockNumber,
|
|
478
|
-
};
|
|
479
|
-
}
|
|
480
|
-
|
|
481
|
-
export type SubmitBlockProof = {
|
|
482
|
-
archiveRoot: Fr;
|
|
483
|
-
proverId: Fr;
|
|
484
|
-
proof: Proof;
|
|
485
|
-
};
|
|
486
|
-
|
|
487
|
-
/**
|
|
488
|
-
* Gets block metadata (header and archive snapshot) from the calldata of an L1 transaction.
|
|
489
|
-
* Assumes that the block was published from an EOA.
|
|
490
|
-
* TODO: Add retries and error management.
|
|
491
|
-
* @param publicClient - The viem public client to use for transaction retrieval.
|
|
492
|
-
* @param txHash - Hash of the tx that published it.
|
|
493
|
-
* @param l2BlockNum - L2 block number.
|
|
494
|
-
* @returns L2 block metadata (header and archive) from the calldata, deserialized
|
|
495
|
-
*/
|
|
496
|
-
export async function getProofFromSubmitProofTx(
|
|
497
|
-
publicClient: ViemPublicClient,
|
|
498
|
-
txHash: `0x${string}`,
|
|
499
|
-
expectedProverId: Fr,
|
|
500
|
-
): Promise<SubmitBlockProof> {
|
|
501
|
-
const { input: data } = await publicClient.getTransaction({ hash: txHash });
|
|
502
|
-
const { functionName, args } = decodeFunctionData({ abi: RollupAbi, data });
|
|
503
|
-
|
|
504
|
-
let proverId: Fr;
|
|
505
|
-
let archiveRoot: Fr;
|
|
506
|
-
let proof: Proof;
|
|
507
|
-
|
|
508
|
-
if (functionName === 'submitEpochRootProof') {
|
|
509
|
-
const [decodedArgs] = args as readonly [
|
|
510
|
-
{
|
|
511
|
-
start: bigint;
|
|
512
|
-
end: bigint;
|
|
513
|
-
args: EpochProofPublicInputArgs;
|
|
514
|
-
fees: readonly Hex[];
|
|
515
|
-
proof: Hex;
|
|
516
|
-
},
|
|
517
|
-
];
|
|
518
|
-
|
|
519
|
-
proverId = Fr.fromHexString(decodedArgs.args.proverId);
|
|
520
|
-
archiveRoot = Fr.fromHexString(decodedArgs.args.endArchive);
|
|
521
|
-
proof = Proof.fromBuffer(Buffer.from(hexToBytes(decodedArgs.proof)));
|
|
522
|
-
} else {
|
|
523
|
-
throw new Error(`Unexpected proof method called ${functionName}`);
|
|
524
|
-
}
|
|
525
|
-
|
|
526
|
-
if (!proverId.equals(expectedProverId)) {
|
|
527
|
-
throw new Error(`Prover ID mismatch: expected ${expectedProverId} but got ${proverId}`);
|
|
528
|
-
}
|
|
529
|
-
|
|
530
|
-
return {
|
|
531
|
-
proverId,
|
|
532
|
-
archiveRoot,
|
|
533
|
-
proof,
|
|
534
|
-
};
|
|
535
|
-
}
|