@aztec/archiver 0.0.1-commit.e558bd1c → 0.0.1-commit.e5a3663dd
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 +12 -6
- package/dest/archiver.d.ts +26 -15
- package/dest/archiver.d.ts.map +1 -1
- package/dest/archiver.js +161 -153
- package/dest/config.d.ts +5 -3
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +16 -4
- package/dest/errors.d.ts +61 -10
- package/dest/errors.d.ts.map +1 -1
- package/dest/errors.js +88 -14
- package/dest/factory.d.ts +6 -7
- package/dest/factory.d.ts.map +1 -1
- package/dest/factory.js +40 -32
- package/dest/index.d.ts +11 -3
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +10 -2
- package/dest/l1/bin/retrieve-calldata.js +32 -28
- package/dest/l1/calldata_retriever.d.ts +74 -50
- package/dest/l1/calldata_retriever.d.ts.map +1 -1
- package/dest/l1/calldata_retriever.js +197 -260
- package/dest/l1/data_retrieval.d.ts +26 -17
- package/dest/l1/data_retrieval.d.ts.map +1 -1
- package/dest/l1/data_retrieval.js +42 -47
- package/dest/l1/spire_proposer.d.ts +5 -5
- package/dest/l1/spire_proposer.d.ts.map +1 -1
- package/dest/l1/spire_proposer.js +9 -17
- package/dest/l1/validate_historical_logs.d.ts +23 -0
- package/dest/l1/validate_historical_logs.d.ts.map +1 -0
- package/dest/l1/validate_historical_logs.js +108 -0
- package/dest/modules/contract_data_source_adapter.d.ts +25 -0
- package/dest/modules/contract_data_source_adapter.d.ts.map +1 -0
- package/dest/modules/contract_data_source_adapter.js +42 -0
- package/dest/modules/data_source_base.d.ts +27 -14
- package/dest/modules/data_source_base.d.ts.map +1 -1
- package/dest/modules/data_source_base.js +98 -125
- package/dest/modules/data_store_updater.d.ts +37 -17
- package/dest/modules/data_store_updater.d.ts.map +1 -1
- package/dest/modules/data_store_updater.js +155 -112
- package/dest/modules/instrumentation.d.ts +21 -3
- package/dest/modules/instrumentation.d.ts.map +1 -1
- package/dest/modules/instrumentation.js +41 -8
- package/dest/modules/l1_synchronizer.d.ts +13 -11
- package/dest/modules/l1_synchronizer.d.ts.map +1 -1
- package/dest/modules/l1_synchronizer.js +355 -182
- package/dest/modules/validation.d.ts +4 -3
- package/dest/modules/validation.d.ts.map +1 -1
- package/dest/modules/validation.js +6 -6
- package/dest/store/block_store.d.ts +107 -31
- package/dest/store/block_store.d.ts.map +1 -1
- package/dest/store/block_store.js +477 -141
- package/dest/store/contract_class_store.d.ts +17 -4
- package/dest/store/contract_class_store.d.ts.map +1 -1
- package/dest/store/contract_class_store.js +24 -68
- package/dest/store/contract_instance_store.d.ts +28 -1
- package/dest/store/contract_instance_store.d.ts.map +1 -1
- package/dest/store/contract_instance_store.js +37 -2
- package/dest/store/data_stores.d.ts +68 -0
- package/dest/store/data_stores.d.ts.map +1 -0
- package/dest/store/data_stores.js +50 -0
- package/dest/store/function_names_cache.d.ts +17 -0
- package/dest/store/function_names_cache.d.ts.map +1 -0
- package/dest/store/function_names_cache.js +30 -0
- package/dest/store/l2_tips_cache.d.ts +20 -0
- package/dest/store/l2_tips_cache.d.ts.map +1 -0
- package/dest/store/l2_tips_cache.js +109 -0
- package/dest/store/log_store.d.ts +6 -3
- package/dest/store/log_store.d.ts.map +1 -1
- package/dest/store/log_store.js +95 -20
- package/dest/store/message_store.d.ts +11 -1
- package/dest/store/message_store.d.ts.map +1 -1
- package/dest/store/message_store.js +51 -9
- package/dest/test/fake_l1_state.d.ts +25 -1
- package/dest/test/fake_l1_state.d.ts.map +1 -1
- package/dest/test/fake_l1_state.js +166 -32
- package/dest/test/mock_archiver.d.ts +1 -1
- package/dest/test/mock_archiver.d.ts.map +1 -1
- package/dest/test/mock_archiver.js +3 -2
- package/dest/test/mock_l1_to_l2_message_source.d.ts +1 -1
- package/dest/test/mock_l1_to_l2_message_source.d.ts.map +1 -1
- package/dest/test/mock_l1_to_l2_message_source.js +2 -1
- package/dest/test/mock_l2_block_source.d.ts +35 -5
- package/dest/test/mock_l2_block_source.d.ts.map +1 -1
- package/dest/test/mock_l2_block_source.js +182 -89
- package/dest/test/mock_structs.d.ts +4 -1
- package/dest/test/mock_structs.d.ts.map +1 -1
- package/dest/test/mock_structs.js +13 -1
- package/dest/test/noop_l1_archiver.d.ts +7 -4
- package/dest/test/noop_l1_archiver.d.ts.map +1 -1
- package/dest/test/noop_l1_archiver.js +14 -8
- package/package.json +13 -13
- package/src/archiver.ts +199 -174
- package/src/config.ts +23 -2
- package/src/errors.ts +133 -22
- package/src/factory.ts +53 -30
- package/src/index.ts +18 -2
- package/src/l1/README.md +25 -68
- package/src/l1/bin/retrieve-calldata.ts +40 -27
- package/src/l1/calldata_retriever.ts +261 -379
- package/src/l1/data_retrieval.ts +58 -69
- package/src/l1/spire_proposer.ts +7 -15
- package/src/l1/validate_historical_logs.ts +140 -0
- package/src/modules/contract_data_source_adapter.ts +59 -0
- package/src/modules/data_source_base.ts +142 -144
- package/src/modules/data_store_updater.ts +187 -141
- package/src/modules/instrumentation.ts +56 -9
- package/src/modules/l1_synchronizer.ts +463 -218
- package/src/modules/validation.ts +10 -9
- package/src/store/block_store.ts +587 -177
- package/src/store/contract_class_store.ts +31 -103
- package/src/store/contract_instance_store.ts +51 -5
- package/src/store/data_stores.ts +108 -0
- package/src/store/function_names_cache.ts +37 -0
- package/src/store/l2_tips_cache.ts +134 -0
- package/src/store/log_store.ts +128 -32
- package/src/store/message_store.ts +60 -10
- package/src/structs/inbox_message.ts +1 -1
- package/src/test/fake_l1_state.ts +213 -42
- package/src/test/mock_archiver.ts +3 -2
- package/src/test/mock_l1_to_l2_message_source.ts +1 -0
- package/src/test/mock_l2_block_source.ts +230 -82
- package/src/test/mock_structs.ts +20 -6
- package/src/test/noop_l1_archiver.ts +16 -8
- package/dest/store/kv_archiver_store.d.ts +0 -340
- package/dest/store/kv_archiver_store.d.ts.map +0 -1
- package/dest/store/kv_archiver_store.js +0 -446
- package/src/store/kv_archiver_store.ts +0 -639
|
@@ -2,14 +2,11 @@ import { Fr } from '@aztec/foundation/curves/bn254';
|
|
|
2
2
|
import { toArray } from '@aztec/foundation/iterable';
|
|
3
3
|
import { BufferReader, numToUInt8, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
4
4
|
import type { AztecAsyncKVStore, AztecAsyncMap } from '@aztec/kv-store';
|
|
5
|
-
import { FunctionSelector } from '@aztec/stdlib/abi';
|
|
6
5
|
import type {
|
|
7
6
|
ContractClassPublic,
|
|
8
7
|
ContractClassPublicWithBlockNumber,
|
|
9
|
-
|
|
10
|
-
UtilityFunctionWithMembershipProof,
|
|
8
|
+
ContractClassPublicWithCommitment,
|
|
11
9
|
} from '@aztec/stdlib/contract';
|
|
12
|
-
import { Vector } from '@aztec/stdlib/types';
|
|
13
10
|
|
|
14
11
|
/**
|
|
15
12
|
* LMDB-based contract class storage for the archiver.
|
|
@@ -23,21 +20,47 @@ export class ContractClassStore {
|
|
|
23
20
|
this.#bytecodeCommitments = db.openMap('archiver_bytecode_commitments');
|
|
24
21
|
}
|
|
25
22
|
|
|
23
|
+
/**
|
|
24
|
+
* Adds multiple contract classes to the store.
|
|
25
|
+
* @param data - Contract classes (with bytecode commitments) to add.
|
|
26
|
+
* @param blockNumber - L2 block number where the classes were registered.
|
|
27
|
+
* @returns True if every insert succeeded.
|
|
28
|
+
*/
|
|
29
|
+
async addContractClasses(data: ContractClassPublicWithCommitment[], blockNumber: number): Promise<boolean> {
|
|
30
|
+
return (await Promise.all(data.map(c => this.addContractClass(c, c.publicBytecodeCommitment, blockNumber)))).every(
|
|
31
|
+
Boolean,
|
|
32
|
+
);
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
/**
|
|
36
|
+
* Removes multiple contract classes from the store, but only if they were registered at or after the given block.
|
|
37
|
+
* @param data - Contract classes to delete.
|
|
38
|
+
* @param blockNumber - Lower bound on the block number at which the classes were registered.
|
|
39
|
+
* @returns True if every delete succeeded.
|
|
40
|
+
*/
|
|
41
|
+
async deleteContractClasses(data: ContractClassPublic[], blockNumber: number): Promise<boolean> {
|
|
42
|
+
return (await Promise.all(data.map(c => this.deleteContractClass(c, blockNumber)))).every(Boolean);
|
|
43
|
+
}
|
|
44
|
+
|
|
26
45
|
async addContractClass(
|
|
27
46
|
contractClass: ContractClassPublic,
|
|
28
47
|
bytecodeCommitment: Fr,
|
|
29
48
|
blockNumber: number,
|
|
30
49
|
): Promise<void> {
|
|
31
50
|
await this.db.transactionAsync(async () => {
|
|
32
|
-
|
|
33
|
-
|
|
51
|
+
const key = contractClass.id.toString();
|
|
52
|
+
if (await this.#contractClasses.hasAsync(key)) {
|
|
53
|
+
throw new Error(`Contract class ${key} already exists, cannot add again at block ${blockNumber}`);
|
|
54
|
+
}
|
|
55
|
+
await this.#contractClasses.set(
|
|
56
|
+
key,
|
|
34
57
|
serializeContractClassPublic({ ...contractClass, l2BlockNumber: blockNumber }),
|
|
35
58
|
);
|
|
36
|
-
await this.#bytecodeCommitments.
|
|
59
|
+
await this.#bytecodeCommitments.set(key, bytecodeCommitment.toBuffer());
|
|
37
60
|
});
|
|
38
61
|
}
|
|
39
62
|
|
|
40
|
-
async
|
|
63
|
+
async deleteContractClass(contractClass: ContractClassPublic, blockNumber: number): Promise<void> {
|
|
41
64
|
const restoredContractClass = await this.#contractClasses.getAsync(contractClass.id.toString());
|
|
42
65
|
if (restoredContractClass && deserializeContractClassPublic(restoredContractClass).l2BlockNumber >= blockNumber) {
|
|
43
66
|
await this.db.transactionAsync(async () => {
|
|
@@ -60,37 +83,6 @@ export class ContractClassStore {
|
|
|
60
83
|
async getContractClassIds(): Promise<Fr[]> {
|
|
61
84
|
return (await toArray(this.#contractClasses.keysAsync())).map(key => Fr.fromHexString(key));
|
|
62
85
|
}
|
|
63
|
-
|
|
64
|
-
async addFunctions(
|
|
65
|
-
contractClassId: Fr,
|
|
66
|
-
newPrivateFunctions: ExecutablePrivateFunctionWithMembershipProof[],
|
|
67
|
-
newUtilityFunctions: UtilityFunctionWithMembershipProof[],
|
|
68
|
-
): Promise<boolean> {
|
|
69
|
-
await this.db.transactionAsync(async () => {
|
|
70
|
-
const existingClassBuffer = await this.#contractClasses.getAsync(contractClassId.toString());
|
|
71
|
-
if (!existingClassBuffer) {
|
|
72
|
-
throw new Error(`Unknown contract class ${contractClassId} when adding private functions to store`);
|
|
73
|
-
}
|
|
74
|
-
|
|
75
|
-
const existingClass = deserializeContractClassPublic(existingClassBuffer);
|
|
76
|
-
const { privateFunctions: existingPrivateFns, utilityFunctions: existingUtilityFns } = existingClass;
|
|
77
|
-
|
|
78
|
-
const updatedClass: Omit<ContractClassPublicWithBlockNumber, 'id'> = {
|
|
79
|
-
...existingClass,
|
|
80
|
-
privateFunctions: [
|
|
81
|
-
...existingPrivateFns,
|
|
82
|
-
...newPrivateFunctions.filter(newFn => !existingPrivateFns.some(f => f.selector.equals(newFn.selector))),
|
|
83
|
-
],
|
|
84
|
-
utilityFunctions: [
|
|
85
|
-
...existingUtilityFns,
|
|
86
|
-
...newUtilityFunctions.filter(newFn => !existingUtilityFns.some(f => f.selector.equals(newFn.selector))),
|
|
87
|
-
],
|
|
88
|
-
};
|
|
89
|
-
await this.#contractClasses.set(contractClassId.toString(), serializeContractClassPublic(updatedClass));
|
|
90
|
-
});
|
|
91
|
-
|
|
92
|
-
return true;
|
|
93
|
-
}
|
|
94
86
|
}
|
|
95
87
|
|
|
96
88
|
function serializeContractClassPublic(contractClass: Omit<ContractClassPublicWithBlockNumber, 'id'>): Buffer {
|
|
@@ -98,83 +90,19 @@ function serializeContractClassPublic(contractClass: Omit<ContractClassPublicWit
|
|
|
98
90
|
contractClass.l2BlockNumber,
|
|
99
91
|
numToUInt8(contractClass.version),
|
|
100
92
|
contractClass.artifactHash,
|
|
101
|
-
contractClass.privateFunctions.length,
|
|
102
|
-
contractClass.privateFunctions.map(serializePrivateFunction),
|
|
103
|
-
contractClass.utilityFunctions.length,
|
|
104
|
-
contractClass.utilityFunctions.map(serializeUtilityFunction),
|
|
105
93
|
contractClass.packedBytecode.length,
|
|
106
94
|
contractClass.packedBytecode,
|
|
107
95
|
contractClass.privateFunctionsRoot,
|
|
108
96
|
);
|
|
109
97
|
}
|
|
110
98
|
|
|
111
|
-
function serializePrivateFunction(fn: ExecutablePrivateFunctionWithMembershipProof): Buffer {
|
|
112
|
-
return serializeToBuffer(
|
|
113
|
-
fn.selector,
|
|
114
|
-
fn.vkHash,
|
|
115
|
-
fn.bytecode.length,
|
|
116
|
-
fn.bytecode,
|
|
117
|
-
fn.functionMetadataHash,
|
|
118
|
-
fn.artifactMetadataHash,
|
|
119
|
-
fn.utilityFunctionsTreeRoot,
|
|
120
|
-
new Vector(fn.privateFunctionTreeSiblingPath),
|
|
121
|
-
fn.privateFunctionTreeLeafIndex,
|
|
122
|
-
new Vector(fn.artifactTreeSiblingPath),
|
|
123
|
-
fn.artifactTreeLeafIndex,
|
|
124
|
-
);
|
|
125
|
-
}
|
|
126
|
-
|
|
127
|
-
function serializeUtilityFunction(fn: UtilityFunctionWithMembershipProof): Buffer {
|
|
128
|
-
return serializeToBuffer(
|
|
129
|
-
fn.selector,
|
|
130
|
-
fn.bytecode.length,
|
|
131
|
-
fn.bytecode,
|
|
132
|
-
fn.functionMetadataHash,
|
|
133
|
-
fn.artifactMetadataHash,
|
|
134
|
-
fn.privateFunctionsArtifactTreeRoot,
|
|
135
|
-
new Vector(fn.artifactTreeSiblingPath),
|
|
136
|
-
fn.artifactTreeLeafIndex,
|
|
137
|
-
);
|
|
138
|
-
}
|
|
139
|
-
|
|
140
99
|
function deserializeContractClassPublic(buffer: Buffer): Omit<ContractClassPublicWithBlockNumber, 'id'> {
|
|
141
100
|
const reader = BufferReader.asReader(buffer);
|
|
142
101
|
return {
|
|
143
102
|
l2BlockNumber: reader.readNumber(),
|
|
144
103
|
version: reader.readUInt8() as 1,
|
|
145
104
|
artifactHash: reader.readObject(Fr),
|
|
146
|
-
privateFunctions: reader.readVector({ fromBuffer: deserializePrivateFunction }),
|
|
147
|
-
utilityFunctions: reader.readVector({ fromBuffer: deserializeUtilityFunction }),
|
|
148
105
|
packedBytecode: reader.readBuffer(),
|
|
149
106
|
privateFunctionsRoot: reader.readObject(Fr),
|
|
150
107
|
};
|
|
151
108
|
}
|
|
152
|
-
|
|
153
|
-
function deserializePrivateFunction(buffer: Buffer | BufferReader): ExecutablePrivateFunctionWithMembershipProof {
|
|
154
|
-
const reader = BufferReader.asReader(buffer);
|
|
155
|
-
return {
|
|
156
|
-
selector: reader.readObject(FunctionSelector),
|
|
157
|
-
vkHash: reader.readObject(Fr),
|
|
158
|
-
bytecode: reader.readBuffer(),
|
|
159
|
-
functionMetadataHash: reader.readObject(Fr),
|
|
160
|
-
artifactMetadataHash: reader.readObject(Fr),
|
|
161
|
-
utilityFunctionsTreeRoot: reader.readObject(Fr),
|
|
162
|
-
privateFunctionTreeSiblingPath: reader.readVector(Fr),
|
|
163
|
-
privateFunctionTreeLeafIndex: reader.readNumber(),
|
|
164
|
-
artifactTreeSiblingPath: reader.readVector(Fr),
|
|
165
|
-
artifactTreeLeafIndex: reader.readNumber(),
|
|
166
|
-
};
|
|
167
|
-
}
|
|
168
|
-
|
|
169
|
-
function deserializeUtilityFunction(buffer: Buffer | BufferReader): UtilityFunctionWithMembershipProof {
|
|
170
|
-
const reader = BufferReader.asReader(buffer);
|
|
171
|
-
return {
|
|
172
|
-
selector: reader.readObject(FunctionSelector),
|
|
173
|
-
bytecode: reader.readBuffer(),
|
|
174
|
-
functionMetadataHash: reader.readObject(Fr),
|
|
175
|
-
artifactMetadataHash: reader.readObject(Fr),
|
|
176
|
-
privateFunctionsArtifactTreeRoot: reader.readObject(Fr),
|
|
177
|
-
artifactTreeSiblingPath: reader.readVector(Fr),
|
|
178
|
-
artifactTreeLeafIndex: reader.readNumber(),
|
|
179
|
-
};
|
|
180
|
-
}
|
|
@@ -25,13 +25,59 @@ export class ContractInstanceStore {
|
|
|
25
25
|
this.#contractInstanceUpdates = db.openMap('archiver_contract_instance_updates');
|
|
26
26
|
}
|
|
27
27
|
|
|
28
|
+
/**
|
|
29
|
+
* Adds multiple contract instances to the store.
|
|
30
|
+
* @param data - Contract instances to add.
|
|
31
|
+
* @param blockNumber - L2 block number where the instances were deployed.
|
|
32
|
+
* @returns True if every insert succeeded.
|
|
33
|
+
*/
|
|
34
|
+
async addContractInstances(data: ContractInstanceWithAddress[], blockNumber: number): Promise<boolean> {
|
|
35
|
+
return (await Promise.all(data.map(c => this.addContractInstance(c, blockNumber)))).every(Boolean);
|
|
36
|
+
}
|
|
37
|
+
|
|
38
|
+
/**
|
|
39
|
+
* Removes multiple contract instances from the store.
|
|
40
|
+
* @param data - Contract instances to delete.
|
|
41
|
+
* @returns True if every delete succeeded.
|
|
42
|
+
*/
|
|
43
|
+
async deleteContractInstances(data: ContractInstanceWithAddress[]): Promise<boolean> {
|
|
44
|
+
return (await Promise.all(data.map(c => this.deleteContractInstance(c)))).every(Boolean);
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
/**
|
|
48
|
+
* Adds multiple contract instance updates to the store.
|
|
49
|
+
* @param data - Contract instance updates to add.
|
|
50
|
+
* @param timestamp - Timestamp at which the updates were scheduled.
|
|
51
|
+
* @returns True if every insert succeeded.
|
|
52
|
+
*/
|
|
53
|
+
async addContractInstanceUpdates(data: ContractInstanceUpdateWithAddress[], timestamp: UInt64): Promise<boolean> {
|
|
54
|
+
return (
|
|
55
|
+
await Promise.all(data.map((update, logIndex) => this.addContractInstanceUpdate(update, timestamp, logIndex)))
|
|
56
|
+
).every(Boolean);
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
/**
|
|
60
|
+
* Removes multiple contract instance updates from the store.
|
|
61
|
+
* @param data - Contract instance updates to delete.
|
|
62
|
+
* @param timestamp - Timestamp at which the updates were scheduled.
|
|
63
|
+
* @returns True if every delete succeeded.
|
|
64
|
+
*/
|
|
65
|
+
async deleteContractInstanceUpdates(data: ContractInstanceUpdateWithAddress[], timestamp: UInt64): Promise<boolean> {
|
|
66
|
+
return (
|
|
67
|
+
await Promise.all(data.map((update, logIndex) => this.deleteContractInstanceUpdate(update, timestamp, logIndex)))
|
|
68
|
+
).every(Boolean);
|
|
69
|
+
}
|
|
70
|
+
|
|
28
71
|
addContractInstance(contractInstance: ContractInstanceWithAddress, blockNumber: number): Promise<void> {
|
|
29
72
|
return this.db.transactionAsync(async () => {
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
new
|
|
33
|
-
|
|
34
|
-
|
|
73
|
+
const key = contractInstance.address.toString();
|
|
74
|
+
if (await this.#contractInstances.hasAsync(key)) {
|
|
75
|
+
throw new Error(
|
|
76
|
+
`Contract instance at ${key} already exists (deployed at block ${await this.#contractInstancePublishedAt.getAsync(key)}), cannot add again at block ${blockNumber}`,
|
|
77
|
+
);
|
|
78
|
+
}
|
|
79
|
+
await this.#contractInstances.set(key, new SerializableContractInstance(contractInstance).toBuffer());
|
|
80
|
+
await this.#contractInstancePublishedAt.set(key, blockNumber);
|
|
35
81
|
});
|
|
36
82
|
}
|
|
37
83
|
|
|
@@ -0,0 +1,108 @@
|
|
|
1
|
+
import type { L1BlockId } from '@aztec/ethereum/l1-types';
|
|
2
|
+
import type { AztecAsyncKVStore } from '@aztec/kv-store';
|
|
3
|
+
import type { ContractDataSource } from '@aztec/stdlib/contract';
|
|
4
|
+
|
|
5
|
+
import { join } from 'path';
|
|
6
|
+
|
|
7
|
+
import { ArchiverContractDataSourceAdapter } from '../modules/contract_data_source_adapter.js';
|
|
8
|
+
import { BlockStore } from './block_store.js';
|
|
9
|
+
import { ContractClassStore } from './contract_class_store.js';
|
|
10
|
+
import { ContractInstanceStore } from './contract_instance_store.js';
|
|
11
|
+
import { FunctionNamesCache } from './function_names_cache.js';
|
|
12
|
+
import { LogStore } from './log_store.js';
|
|
13
|
+
import { MessageStore } from './message_store.js';
|
|
14
|
+
|
|
15
|
+
export const ARCHIVER_DB_VERSION = 6;
|
|
16
|
+
|
|
17
|
+
/**
|
|
18
|
+
* Represents the latest L1 block processed by the archiver for various objects in L2.
|
|
19
|
+
*/
|
|
20
|
+
export type ArchiverL1SynchPoint = {
|
|
21
|
+
/** Number of the last L1 block that added a new L2 checkpoint metadata. */
|
|
22
|
+
blocksSynchedTo?: bigint;
|
|
23
|
+
/** Last L1 block checked for L1 to L2 messages. */
|
|
24
|
+
messagesSynchedTo?: L1BlockId;
|
|
25
|
+
};
|
|
26
|
+
|
|
27
|
+
/**
|
|
28
|
+
* Bundle of archiver-owned LMDB substores plus the in-memory caches that span them.
|
|
29
|
+
*
|
|
30
|
+
* Replaces the former `KVArchiverDataStore` pass-through wrapper. Callers reach into
|
|
31
|
+
* the relevant substore directly (e.g. `stores.blocks.getBlock`) and use
|
|
32
|
+
* {@link createArchiverDataStores} to wire them up against a shared KV store.
|
|
33
|
+
*/
|
|
34
|
+
export type ArchiverDataStores = {
|
|
35
|
+
/** The underlying key-value store. Use {@link AztecAsyncKVStore.transactionAsync} to compose updates atomically. */
|
|
36
|
+
db: AztecAsyncKVStore;
|
|
37
|
+
/** Blocks, checkpoints, tx effects, proven/finalized state. */
|
|
38
|
+
blocks: BlockStore;
|
|
39
|
+
/** Public, private and contract class logs. */
|
|
40
|
+
logs: LogStore;
|
|
41
|
+
/** L1 to L2 messages and message sync state. */
|
|
42
|
+
messages: MessageStore;
|
|
43
|
+
/** Contract classes (with bytecode commitments). */
|
|
44
|
+
contractClasses: ContractClassStore;
|
|
45
|
+
/** Contract instances and contract instance updates. */
|
|
46
|
+
contractInstances: ContractInstanceStore;
|
|
47
|
+
/** In-memory cache of public function selectors -> names. */
|
|
48
|
+
functionNames: FunctionNamesCache;
|
|
49
|
+
};
|
|
50
|
+
|
|
51
|
+
/** Options used by {@link createArchiverDataStores}. */
|
|
52
|
+
export type CreateArchiverDataStoresOptions = {
|
|
53
|
+
/** Maximum number of logs returned per page when paginating tagged log queries. */
|
|
54
|
+
logsMaxPageSize?: number;
|
|
55
|
+
};
|
|
56
|
+
|
|
57
|
+
/**
|
|
58
|
+
* Wires up the archiver substores against a shared KV store and returns the
|
|
59
|
+
* {@link ArchiverDataStores} bundle.
|
|
60
|
+
*/
|
|
61
|
+
export function createArchiverDataStores(
|
|
62
|
+
db: AztecAsyncKVStore,
|
|
63
|
+
opts: CreateArchiverDataStoresOptions = {},
|
|
64
|
+
): ArchiverDataStores {
|
|
65
|
+
const blocks = new BlockStore(db);
|
|
66
|
+
return {
|
|
67
|
+
db,
|
|
68
|
+
blocks,
|
|
69
|
+
logs: new LogStore(db, blocks, opts.logsMaxPageSize ?? 1000),
|
|
70
|
+
messages: new MessageStore(db),
|
|
71
|
+
contractClasses: new ContractClassStore(db),
|
|
72
|
+
contractInstances: new ContractInstanceStore(db),
|
|
73
|
+
functionNames: new FunctionNamesCache(),
|
|
74
|
+
};
|
|
75
|
+
}
|
|
76
|
+
|
|
77
|
+
/**
|
|
78
|
+
* Returns the L1 sync point of the archiver, combining the block sync point from {@link BlockStore}
|
|
79
|
+
* and the message sync point from {@link MessageStore}.
|
|
80
|
+
*/
|
|
81
|
+
export async function getArchiverSynchPoint(stores: ArchiverDataStores): Promise<ArchiverL1SynchPoint> {
|
|
82
|
+
const [blocksSynchedTo, messagesSynchedTo] = await Promise.all([
|
|
83
|
+
stores.blocks.getSynchedL1BlockNumber(),
|
|
84
|
+
stores.messages.getSynchedL1Block(),
|
|
85
|
+
]);
|
|
86
|
+
return { blocksSynchedTo, messagesSynchedTo };
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
/**
|
|
90
|
+
* Backs up the underlying KV store to the given folder. Returns the path to the resulting db file.
|
|
91
|
+
*/
|
|
92
|
+
export async function backupArchiverDataStores(
|
|
93
|
+
stores: ArchiverDataStores,
|
|
94
|
+
path: string,
|
|
95
|
+
compress = true,
|
|
96
|
+
): Promise<string> {
|
|
97
|
+
await stores.db.backupTo(path, compress);
|
|
98
|
+
return join(path, 'data.mdb');
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
/**
|
|
102
|
+
* Returns a {@link ContractDataSource} adapter over {@link ArchiverDataStores}.
|
|
103
|
+
* Used by contexts (e.g. offline epoch re-prover tools) that need a ContractDataSource
|
|
104
|
+
* but do not need a full archiver instance.
|
|
105
|
+
*/
|
|
106
|
+
export function createContractDataSource(stores: ArchiverDataStores): ContractDataSource {
|
|
107
|
+
return new ArchiverContractDataSourceAdapter(stores);
|
|
108
|
+
}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
+
import { FunctionSelector } from '@aztec/stdlib/abi';
|
|
3
|
+
|
|
4
|
+
const MAX_FUNCTION_SIGNATURES = 1000;
|
|
5
|
+
const MAX_FUNCTION_NAME_LEN = 256;
|
|
6
|
+
|
|
7
|
+
/**
|
|
8
|
+
* In-memory cache mapping public function selectors to function names.
|
|
9
|
+
*
|
|
10
|
+
* Populated opportunistically (e.g. by PXE registering signatures from artifacts) so the
|
|
11
|
+
* archiver can attach human-readable names to logs and traces. Bounded by
|
|
12
|
+
* {@link MAX_FUNCTION_SIGNATURES} to avoid unbounded growth from untrusted callers.
|
|
13
|
+
*/
|
|
14
|
+
export class FunctionNamesCache {
|
|
15
|
+
private readonly log = createLogger('archiver:data-stores');
|
|
16
|
+
private readonly names: Map<string, string> = new Map();
|
|
17
|
+
|
|
18
|
+
/** Adds the given public function signatures to the cache. */
|
|
19
|
+
public async register(signatures: string[]): Promise<void> {
|
|
20
|
+
for (const sig of signatures) {
|
|
21
|
+
if (this.names.size > MAX_FUNCTION_SIGNATURES) {
|
|
22
|
+
return;
|
|
23
|
+
}
|
|
24
|
+
try {
|
|
25
|
+
const selector = await FunctionSelector.fromSignature(sig);
|
|
26
|
+
this.names.set(selector.toString(), sig.slice(0, sig.indexOf('(')).slice(0, MAX_FUNCTION_NAME_LEN));
|
|
27
|
+
} catch {
|
|
28
|
+
this.log.warn(`Failed to parse signature: ${sig}. Ignoring`);
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
/** Looks up a function name for the given selector, or returns undefined if not registered. */
|
|
34
|
+
public get(selector: FunctionSelector): string | undefined {
|
|
35
|
+
return this.names.get(selector.toString());
|
|
36
|
+
}
|
|
37
|
+
}
|
|
@@ -0,0 +1,134 @@
|
|
|
1
|
+
import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
|
|
2
|
+
import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
|
|
3
|
+
import {
|
|
4
|
+
type BlockData,
|
|
5
|
+
type CheckpointId,
|
|
6
|
+
GENESIS_BLOCK_HEADER_HASH,
|
|
7
|
+
GENESIS_CHECKPOINT_HEADER_HASH,
|
|
8
|
+
type L2Tips,
|
|
9
|
+
} from '@aztec/stdlib/block';
|
|
10
|
+
|
|
11
|
+
import type { BlockStore } from './block_store.js';
|
|
12
|
+
|
|
13
|
+
/**
|
|
14
|
+
* In-memory cache for L2 chain tips (proposed, checkpointed, proven, finalized).
|
|
15
|
+
* Populated from the BlockStore on first access, then kept up-to-date by the ArchiverDataStoreUpdater.
|
|
16
|
+
* Refresh calls should happen within the store transaction that mutates block data to ensure consistency.
|
|
17
|
+
*/
|
|
18
|
+
export class L2TipsCache {
|
|
19
|
+
#tipsPromise: Promise<L2Tips> | undefined;
|
|
20
|
+
|
|
21
|
+
constructor(private blockStore: BlockStore) {}
|
|
22
|
+
|
|
23
|
+
/** Returns the cached L2 tips. Loads from the block store on first call. */
|
|
24
|
+
public getL2Tips(): Promise<L2Tips> {
|
|
25
|
+
return (this.#tipsPromise ??= this.loadFromStore());
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
/** Reloads the L2 tips from the block store. Should be called within the store transaction that mutates data. */
|
|
29
|
+
public async refresh(): Promise<void> {
|
|
30
|
+
this.#tipsPromise = this.loadFromStore();
|
|
31
|
+
await this.#tipsPromise;
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
private async loadFromStore(): Promise<L2Tips> {
|
|
35
|
+
const [
|
|
36
|
+
latestBlockNumber,
|
|
37
|
+
provenBlockNumber,
|
|
38
|
+
proposedCheckpointBlockNumber,
|
|
39
|
+
checkpointedBlockNumber,
|
|
40
|
+
finalizedBlockNumber,
|
|
41
|
+
] = await Promise.all([
|
|
42
|
+
this.blockStore.getLatestL2BlockNumber(),
|
|
43
|
+
this.blockStore.getProvenBlockNumber(),
|
|
44
|
+
this.blockStore.getProposedCheckpointL2BlockNumber(),
|
|
45
|
+
this.blockStore.getCheckpointedL2BlockNumber(),
|
|
46
|
+
this.blockStore.getFinalizedL2BlockNumber(),
|
|
47
|
+
]);
|
|
48
|
+
|
|
49
|
+
const genesisBlockHeader = {
|
|
50
|
+
blockHash: GENESIS_BLOCK_HEADER_HASH,
|
|
51
|
+
checkpointNumber: CheckpointNumber.ZERO,
|
|
52
|
+
} as const;
|
|
53
|
+
const beforeInitialBlockNumber = BlockNumber(INITIAL_L2_BLOCK_NUM - 1);
|
|
54
|
+
|
|
55
|
+
const getBlockData = (blockNumber: BlockNumber) =>
|
|
56
|
+
blockNumber > beforeInitialBlockNumber ? this.blockStore.getBlockData(blockNumber) : genesisBlockHeader;
|
|
57
|
+
|
|
58
|
+
const [latestBlockData, provenBlockData, proposedCheckpointBlockData, checkpointedBlockData, finalizedBlockData] =
|
|
59
|
+
await Promise.all(
|
|
60
|
+
[
|
|
61
|
+
latestBlockNumber,
|
|
62
|
+
provenBlockNumber,
|
|
63
|
+
proposedCheckpointBlockNumber,
|
|
64
|
+
checkpointedBlockNumber,
|
|
65
|
+
finalizedBlockNumber,
|
|
66
|
+
].map(getBlockData),
|
|
67
|
+
);
|
|
68
|
+
|
|
69
|
+
if (
|
|
70
|
+
!latestBlockData ||
|
|
71
|
+
!provenBlockData ||
|
|
72
|
+
!finalizedBlockData ||
|
|
73
|
+
!checkpointedBlockData ||
|
|
74
|
+
!proposedCheckpointBlockData
|
|
75
|
+
) {
|
|
76
|
+
throw new Error('Failed to load block data for L2 tips');
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
const [provenCheckpointId, finalizedCheckpointId, proposedCheckpointId, checkpointedCheckpointId] =
|
|
80
|
+
await Promise.all([
|
|
81
|
+
this.getCheckpointIdForBlock(provenBlockData),
|
|
82
|
+
this.getCheckpointIdForBlock(finalizedBlockData),
|
|
83
|
+
this.getCheckpointIdForProposedCheckpoint(checkpointedBlockData),
|
|
84
|
+
this.getCheckpointIdForBlock(checkpointedBlockData),
|
|
85
|
+
]);
|
|
86
|
+
|
|
87
|
+
return {
|
|
88
|
+
proposed: { number: latestBlockNumber, hash: latestBlockData.blockHash.toString() },
|
|
89
|
+
proven: {
|
|
90
|
+
block: { number: provenBlockNumber, hash: provenBlockData.blockHash.toString() },
|
|
91
|
+
checkpoint: provenCheckpointId,
|
|
92
|
+
},
|
|
93
|
+
proposedCheckpoint: {
|
|
94
|
+
block: { number: proposedCheckpointBlockNumber, hash: proposedCheckpointBlockData.blockHash.toString() },
|
|
95
|
+
checkpoint: proposedCheckpointId,
|
|
96
|
+
},
|
|
97
|
+
finalized: {
|
|
98
|
+
block: { number: finalizedBlockNumber, hash: finalizedBlockData.blockHash.toString() },
|
|
99
|
+
checkpoint: finalizedCheckpointId,
|
|
100
|
+
},
|
|
101
|
+
checkpointed: {
|
|
102
|
+
block: { number: checkpointedBlockNumber, hash: checkpointedBlockData.blockHash.toString() },
|
|
103
|
+
checkpoint: checkpointedCheckpointId,
|
|
104
|
+
},
|
|
105
|
+
};
|
|
106
|
+
}
|
|
107
|
+
|
|
108
|
+
private async getCheckpointIdForProposedCheckpoint(
|
|
109
|
+
checkpointedBlockData: Pick<BlockData, 'checkpointNumber'>,
|
|
110
|
+
): Promise<CheckpointId> {
|
|
111
|
+
const checkpointData = await this.blockStore.getLastProposedCheckpoint();
|
|
112
|
+
if (!checkpointData) {
|
|
113
|
+
return this.getCheckpointIdForBlock(checkpointedBlockData);
|
|
114
|
+
}
|
|
115
|
+
return {
|
|
116
|
+
number: checkpointData.checkpointNumber,
|
|
117
|
+
hash: checkpointData.header.hash().toString(),
|
|
118
|
+
};
|
|
119
|
+
}
|
|
120
|
+
|
|
121
|
+
private async getCheckpointIdForBlock(blockData: Pick<BlockData, 'checkpointNumber'>): Promise<CheckpointId> {
|
|
122
|
+
const checkpointData = await this.blockStore.getCheckpointData(blockData.checkpointNumber);
|
|
123
|
+
if (!checkpointData) {
|
|
124
|
+
return {
|
|
125
|
+
number: CheckpointNumber.ZERO,
|
|
126
|
+
hash: GENESIS_CHECKPOINT_HEADER_HASH.toString(),
|
|
127
|
+
};
|
|
128
|
+
}
|
|
129
|
+
return {
|
|
130
|
+
number: checkpointData.checkpointNumber,
|
|
131
|
+
hash: checkpointData.header.hash().toString(),
|
|
132
|
+
};
|
|
133
|
+
}
|
|
134
|
+
}
|