@aztec/pxe 0.0.1-commit.c7c42ec → 0.0.1-commit.d1f2d6c
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/block_synchronizer/block_synchronizer.d.ts +10 -4
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
- package/dest/block_synchronizer/block_synchronizer.js +66 -18
- package/dest/config/index.d.ts +3 -1
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +17 -0
- package/dest/config/package_info.js +1 -1
- package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
- package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
- package/dest/contract_function_simulator/benchmarked_node.js +77 -0
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +8 -9
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +33 -19
- package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
- package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_note_cache.js +45 -28
- package/dest/contract_function_simulator/index.d.ts +2 -2
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +3 -2
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +5 -2
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
- package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +14 -10
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
- package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
- package/dest/contract_function_simulator/oracle/oracle.d.ts +9 -7
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +41 -30
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +8 -13
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +21 -11
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +16 -18
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +25 -38
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +26 -16
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +71 -71
- package/dest/debug/pxe_debug_utils.d.ts +1 -1
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/debug/pxe_debug_utils.js +2 -1
- package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
- package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/utils.js +10 -1
- package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +10 -1
- package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/server/index.d.ts +2 -1
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +1 -0
- package/dest/entrypoints/server/utils.d.ts +1 -1
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +11 -7
- package/dest/events/event_service.d.ts +4 -3
- package/dest/events/event_service.d.ts.map +1 -1
- package/dest/events/event_service.js +17 -19
- package/dest/events/private_event_filter_validator.d.ts +5 -5
- package/dest/events/private_event_filter_validator.d.ts.map +1 -1
- package/dest/events/private_event_filter_validator.js +5 -6
- package/dest/job_coordinator/job_coordinator.d.ts +74 -0
- package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
- package/dest/job_coordinator/job_coordinator.js +93 -0
- package/dest/logs/log_service.d.ts +3 -2
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +22 -13
- package/dest/notes/note_service.d.ts +5 -4
- package/dest/notes/note_service.d.ts.map +1 -1
- package/dest/notes/note_service.js +31 -34
- package/dest/oracle_version.d.ts +3 -3
- package/dest/oracle_version.d.ts.map +1 -1
- package/dest/oracle_version.js +4 -3
- package/dest/private_kernel/hints/index.d.ts +2 -2
- package/dest/private_kernel/hints/index.d.ts.map +1 -1
- package/dest/private_kernel/hints/index.js +1 -1
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
- package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
- package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +13 -7
- package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_execution_prover.js +4 -5
- package/dest/private_kernel/private_kernel_oracle.d.ts +24 -28
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle.js +90 -2
- package/dest/pxe.d.ts +8 -36
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +71 -90
- package/dest/storage/capsule_store/capsule_store.d.ts +24 -9
- package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
- package/dest/storage/capsule_store/capsule_store.js +132 -23
- package/dest/storage/contract_store/contract_store.d.ts +2 -1
- package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
- package/dest/storage/contract_store/contract_store.js +12 -0
- package/dest/storage/note_store/note_store.d.ts +45 -56
- package/dest/storage/note_store/note_store.d.ts.map +1 -1
- package/dest/storage/note_store/note_store.js +244 -263
- package/dest/storage/note_store/stored_note.d.ts +16 -0
- package/dest/storage/note_store/stored_note.d.ts.map +1 -0
- package/dest/storage/note_store/stored_note.js +43 -0
- package/dest/storage/private_event_store/private_event_store.d.ts +47 -7
- package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
- package/dest/storage/private_event_store/private_event_store.js +203 -68
- package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
- package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
- package/dest/storage/private_event_store/stored_private_event.js +56 -0
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts +15 -8
- package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/recipient_tagging_store.js +69 -12
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +19 -9
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +110 -28
- package/dest/tagging/constants.d.ts +2 -0
- package/dest/tagging/constants.d.ts.map +1 -0
- package/dest/tagging/constants.js +10 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
- package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
- package/dest/tagging/get_all_logs_by_tags.js +46 -0
- package/dest/tagging/index.d.ts +3 -2
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/index.js +2 -10
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +3 -2
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
- package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +8 -8
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +3 -2
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
- package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +5 -2
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +3 -2
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +8 -8
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +1 -1
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +5 -8
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -2
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +10 -5
- package/package.json +18 -18
- package/src/block_synchronizer/block_synchronizer.ts +77 -20
- package/src/config/index.ts +14 -0
- package/src/config/package_info.ts +1 -1
- package/src/contract_function_simulator/benchmarked_node.ts +103 -0
- package/src/contract_function_simulator/contract_function_simulator.ts +39 -21
- package/src/contract_function_simulator/execution_note_cache.ts +44 -25
- package/src/contract_function_simulator/index.ts +1 -1
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +4 -0
- package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
- package/src/contract_function_simulator/oracle/interfaces.ts +19 -9
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
- package/src/contract_function_simulator/oracle/oracle.ts +54 -39
- package/src/contract_function_simulator/oracle/private_execution.ts +30 -20
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +44 -42
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +89 -75
- package/src/debug/pxe_debug_utils.ts +2 -1
- package/src/entrypoints/client/bundle/utils.ts +7 -1
- package/src/entrypoints/client/lazy/utils.ts +7 -2
- package/src/entrypoints/pxe_creation_options.ts +2 -1
- package/src/entrypoints/server/index.ts +1 -0
- package/src/entrypoints/server/utils.ts +11 -15
- package/src/events/event_service.ts +17 -21
- package/src/events/private_event_filter_validator.ts +3 -5
- package/src/job_coordinator/job_coordinator.ts +149 -0
- package/src/logs/log_service.ts +28 -9
- package/src/notes/note_service.ts +38 -40
- package/src/oracle_version.ts +4 -3
- package/src/private_kernel/hints/index.ts +1 -1
- package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +33 -22
- package/src/private_kernel/private_kernel_execution_prover.ts +3 -5
- package/src/private_kernel/private_kernel_oracle.ts +116 -36
- package/src/pxe.ts +125 -119
- package/src/storage/capsule_store/capsule_store.ts +159 -23
- package/src/storage/contract_store/contract_store.ts +20 -0
- package/src/storage/note_store/note_store.ts +286 -317
- package/src/storage/note_store/stored_note.ts +48 -0
- package/src/storage/private_event_store/private_event_store.ts +277 -76
- package/src/storage/private_event_store/stored_private_event.ts +73 -0
- package/src/storage/tagging_store/recipient_tagging_store.ts +89 -13
- package/src/storage/tagging_store/sender_tagging_store.ts +129 -28
- package/src/tagging/constants.ts +10 -0
- package/src/tagging/get_all_logs_by_tags.ts +68 -0
- package/src/tagging/index.ts +2 -11
- package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +21 -7
- package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +7 -1
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +10 -7
- package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +5 -13
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +16 -4
- package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
- package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
- package/dest/contract_function_simulator/proxied_node.js +0 -27
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
- package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
- package/dest/public_storage/public_storage_service.d.ts +0 -24
- package/dest/public_storage/public_storage_service.d.ts.map +0 -1
- package/dest/public_storage/public_storage_service.js +0 -26
- package/dest/tree_membership/tree_membership_service.d.ts +0 -52
- package/dest/tree_membership/tree_membership_service.d.ts.map +0 -1
- package/dest/tree_membership/tree_membership_service.js +0 -84
- package/src/contract_function_simulator/proxied_node.ts +0 -33
- package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
- package/src/public_storage/public_storage_service.ts +0 -33
- package/src/tree_membership/tree_membership_service.ts +0 -112
|
@@ -12,11 +12,11 @@ import {
|
|
|
12
12
|
} from '@aztec/simulator/client';
|
|
13
13
|
import { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
|
|
14
14
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
15
|
+
import { L2BlockHash } from '@aztec/stdlib/block';
|
|
15
16
|
import { ContractClassLog, ContractClassLogFields } from '@aztec/stdlib/logs';
|
|
16
|
-
import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
17
17
|
|
|
18
18
|
import type { IMiscOracle, IPrivateExecutionOracle, IUtilityExecutionOracle } from './interfaces.js';
|
|
19
|
-
import {
|
|
19
|
+
import { packAsHintedNote } from './note_packing_utils.js';
|
|
20
20
|
|
|
21
21
|
export class UnavailableOracleError extends Error {
|
|
22
22
|
constructor(oracleName: string) {
|
|
@@ -137,77 +137,84 @@ export class Oracle {
|
|
|
137
137
|
].map(toACVMField);
|
|
138
138
|
}
|
|
139
139
|
|
|
140
|
-
async
|
|
141
|
-
[
|
|
142
|
-
[treeId]: ACVMField[],
|
|
140
|
+
async utilityGetNoteHashMembershipWitness(
|
|
141
|
+
[blockHash]: ACVMField[],
|
|
143
142
|
[leafValue]: ACVMField[],
|
|
144
143
|
): Promise<(ACVMField | ACVMField[])[]> {
|
|
145
|
-
const
|
|
146
|
-
const parsedTreeId = Fr.fromString(treeId).toNumber();
|
|
144
|
+
const parsedBlockHash = L2BlockHash.fromString(blockHash);
|
|
147
145
|
const parsedLeafValue = Fr.fromString(leafValue);
|
|
148
146
|
|
|
149
|
-
const witness = await this.handlerAsUtility().
|
|
150
|
-
BlockNumber(parsedBlockNumber),
|
|
151
|
-
parsedTreeId,
|
|
152
|
-
parsedLeafValue,
|
|
153
|
-
);
|
|
147
|
+
const witness = await this.handlerAsUtility().utilityGetNoteHashMembershipWitness(parsedBlockHash, parsedLeafValue);
|
|
154
148
|
if (!witness) {
|
|
155
|
-
throw new Error(
|
|
156
|
-
|
|
157
|
-
|
|
149
|
+
throw new Error(`Leaf ${leafValue} not found in the note hash tree at block hash ${parsedBlockHash.toString()}.`);
|
|
150
|
+
}
|
|
151
|
+
return witness.toNoirRepresentation();
|
|
152
|
+
}
|
|
153
|
+
|
|
154
|
+
async utilityGetArchiveMembershipWitness(
|
|
155
|
+
[blockHash]: ACVMField[],
|
|
156
|
+
[leafValue]: ACVMField[],
|
|
157
|
+
): Promise<(ACVMField | ACVMField[])[]> {
|
|
158
|
+
const parsedBlockHash = L2BlockHash.fromString(blockHash);
|
|
159
|
+
const parsedLeafValue = Fr.fromString(leafValue);
|
|
160
|
+
|
|
161
|
+
const witness = await this.handlerAsUtility().utilityGetArchiveMembershipWitness(parsedBlockHash, parsedLeafValue);
|
|
162
|
+
if (!witness) {
|
|
163
|
+
throw new Error(`Leaf ${leafValue} not found in the archive tree at block hash ${parsedBlockHash.toString()}.`);
|
|
158
164
|
}
|
|
159
|
-
return
|
|
165
|
+
return witness.toNoirRepresentation();
|
|
160
166
|
}
|
|
161
167
|
|
|
162
168
|
async utilityGetNullifierMembershipWitness(
|
|
163
|
-
[
|
|
169
|
+
[blockHash]: ACVMField[],
|
|
164
170
|
[nullifier]: ACVMField[], // nullifier, we try to find the witness for (to prove inclusion)
|
|
165
171
|
): Promise<(ACVMField | ACVMField[])[]> {
|
|
166
|
-
const
|
|
172
|
+
const parsedBlockHash = L2BlockHash.fromString(blockHash);
|
|
167
173
|
const parsedNullifier = Fr.fromString(nullifier);
|
|
168
174
|
|
|
169
175
|
const witness = await this.handlerAsUtility().utilityGetNullifierMembershipWitness(
|
|
170
|
-
|
|
176
|
+
parsedBlockHash,
|
|
171
177
|
parsedNullifier,
|
|
172
178
|
);
|
|
173
179
|
if (!witness) {
|
|
174
|
-
throw new Error(
|
|
180
|
+
throw new Error(
|
|
181
|
+
`Nullifier witness not found for nullifier ${parsedNullifier} at block hash ${parsedBlockHash.toString()}.`,
|
|
182
|
+
);
|
|
175
183
|
}
|
|
176
184
|
return witness.toNoirRepresentation();
|
|
177
185
|
}
|
|
178
186
|
|
|
179
187
|
async utilityGetLowNullifierMembershipWitness(
|
|
180
|
-
[
|
|
188
|
+
[blockHash]: ACVMField[],
|
|
181
189
|
[nullifier]: ACVMField[], // nullifier, we try to find the low nullifier witness for (to prove non-inclusion)
|
|
182
190
|
): Promise<(ACVMField | ACVMField[])[]> {
|
|
183
|
-
const
|
|
191
|
+
const parsedBlockHash = L2BlockHash.fromString(blockHash);
|
|
184
192
|
const parsedNullifier = Fr.fromString(nullifier);
|
|
185
193
|
|
|
186
194
|
const witness = await this.handlerAsUtility().utilityGetLowNullifierMembershipWitness(
|
|
187
|
-
|
|
195
|
+
parsedBlockHash,
|
|
188
196
|
parsedNullifier,
|
|
189
197
|
);
|
|
190
198
|
if (!witness) {
|
|
191
199
|
throw new Error(
|
|
192
|
-
`Low nullifier witness not found for nullifier ${parsedNullifier} at block ${
|
|
200
|
+
`Low nullifier witness not found for nullifier ${parsedNullifier} at block hash ${parsedBlockHash.toString()}.`,
|
|
193
201
|
);
|
|
194
202
|
}
|
|
195
203
|
return witness.toNoirRepresentation();
|
|
196
204
|
}
|
|
197
205
|
|
|
198
206
|
async utilityGetPublicDataWitness(
|
|
199
|
-
[
|
|
207
|
+
[blockHash]: ACVMField[],
|
|
200
208
|
[leafSlot]: ACVMField[],
|
|
201
209
|
): Promise<(ACVMField | ACVMField[])[]> {
|
|
202
|
-
const
|
|
210
|
+
const parsedBlockHash = L2BlockHash.fromString(blockHash);
|
|
203
211
|
const parsedLeafSlot = Fr.fromString(leafSlot);
|
|
204
212
|
|
|
205
|
-
const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(
|
|
206
|
-
BlockNumber(parsedBlockNumber),
|
|
207
|
-
parsedLeafSlot,
|
|
208
|
-
);
|
|
213
|
+
const witness = await this.handlerAsUtility().utilityGetPublicDataWitness(parsedBlockHash, parsedLeafSlot);
|
|
209
214
|
if (!witness) {
|
|
210
|
-
throw new Error(
|
|
215
|
+
throw new Error(
|
|
216
|
+
`Public data witness not found for slot ${parsedLeafSlot} at block hash ${parsedBlockHash.toString()}.`,
|
|
217
|
+
);
|
|
211
218
|
}
|
|
212
219
|
return witness.toNoirRepresentation();
|
|
213
220
|
}
|
|
@@ -257,7 +264,7 @@ export class Oracle {
|
|
|
257
264
|
[offset]: ACVMField[],
|
|
258
265
|
[status]: ACVMField[],
|
|
259
266
|
[maxNotes]: ACVMField[],
|
|
260
|
-
[
|
|
267
|
+
[packedHintedNoteLength]: ACVMField[],
|
|
261
268
|
): Promise<(ACVMField | ACVMField[])[]> {
|
|
262
269
|
// Parse Option<AztecAddress>: ownerSome is 0 for None, 1 for Some
|
|
263
270
|
const owner = Fr.fromString(ownerSome).toNumber() === 1 ? AztecAddress.fromString(ownerValue) : undefined;
|
|
@@ -279,25 +286,25 @@ export class Oracle {
|
|
|
279
286
|
+status,
|
|
280
287
|
);
|
|
281
288
|
|
|
282
|
-
const
|
|
283
|
-
|
|
289
|
+
const returnDataAsArrayOfPackedHintedNotes = noteDatas.map(noteData =>
|
|
290
|
+
packAsHintedNote({
|
|
284
291
|
contractAddress: noteData.contractAddress,
|
|
285
292
|
owner: noteData.owner,
|
|
286
293
|
randomness: noteData.randomness,
|
|
287
294
|
storageSlot: noteData.storageSlot,
|
|
288
295
|
noteNonce: noteData.noteNonce,
|
|
289
|
-
|
|
296
|
+
isPending: noteData.isPending,
|
|
290
297
|
note: noteData.note,
|
|
291
298
|
}),
|
|
292
299
|
);
|
|
293
300
|
|
|
294
301
|
// Now we convert each sub-array to an array of ACVMField
|
|
295
|
-
const returnDataAsArrayOfACVMFieldArrays =
|
|
302
|
+
const returnDataAsArrayOfACVMFieldArrays = returnDataAsArrayOfPackedHintedNotes.map(subArray =>
|
|
296
303
|
subArray.map(toACVMField),
|
|
297
304
|
);
|
|
298
305
|
|
|
299
306
|
// At last we convert the array of arrays to a bounded vec of arrays
|
|
300
|
-
return arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfACVMFieldArrays, +maxNotes, +
|
|
307
|
+
return arrayOfArraysToBoundedVecOfArrays(returnDataAsArrayOfACVMFieldArrays, +maxNotes, +packedHintedNoteLength);
|
|
301
308
|
}
|
|
302
309
|
|
|
303
310
|
privateNotifyCreatedNote(
|
|
@@ -339,6 +346,14 @@ export class Oracle {
|
|
|
339
346
|
return [];
|
|
340
347
|
}
|
|
341
348
|
|
|
349
|
+
async privateIsNullifierPending([innerNullifier]: ACVMField[], [contractAddress]: ACVMField[]): Promise<ACVMField[]> {
|
|
350
|
+
const isPending = await this.handlerAsPrivate().privateIsNullifierPending(
|
|
351
|
+
Fr.fromString(innerNullifier),
|
|
352
|
+
AztecAddress.fromString(contractAddress),
|
|
353
|
+
);
|
|
354
|
+
return [toACVMField(isPending)];
|
|
355
|
+
}
|
|
356
|
+
|
|
342
357
|
async utilityCheckNullifierExists([innerNullifier]: ACVMField[]): Promise<ACVMField[]> {
|
|
343
358
|
const exists = await this.handlerAsUtility().utilityCheckNullifierExists(Fr.fromString(innerNullifier));
|
|
344
359
|
return [toACVMField(exists)];
|
|
@@ -358,15 +373,15 @@ export class Oracle {
|
|
|
358
373
|
}
|
|
359
374
|
|
|
360
375
|
async utilityStorageRead(
|
|
376
|
+
[blockHash]: ACVMField[],
|
|
361
377
|
[contractAddress]: ACVMField[],
|
|
362
378
|
[startStorageSlot]: ACVMField[],
|
|
363
|
-
[blockNumber]: ACVMField[],
|
|
364
379
|
[numberOfElements]: ACVMField[],
|
|
365
380
|
): Promise<ACVMField[][]> {
|
|
366
381
|
const values = await this.handlerAsUtility().utilityStorageRead(
|
|
382
|
+
L2BlockHash.fromString(blockHash),
|
|
367
383
|
new AztecAddress(Fr.fromString(contractAddress)),
|
|
368
384
|
Fr.fromString(startStorageSlot),
|
|
369
|
-
BlockNumber(+blockNumber),
|
|
370
385
|
+numberOfElements,
|
|
371
386
|
);
|
|
372
387
|
return [values.map(toACVMField)];
|
|
@@ -1,5 +1,4 @@
|
|
|
1
1
|
import { PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH, PRIVATE_CONTEXT_INPUTS_LENGTH } from '@aztec/constants';
|
|
2
|
-
import { BlockNumber } from '@aztec/foundation/branded-types';
|
|
3
2
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
3
|
import { createLogger } from '@aztec/foundation/log';
|
|
5
4
|
import { Timer } from '@aztec/foundation/timer';
|
|
@@ -15,17 +14,18 @@ import {
|
|
|
15
14
|
import {
|
|
16
15
|
type FunctionArtifact,
|
|
17
16
|
type FunctionArtifactWithContractName,
|
|
17
|
+
type FunctionCall,
|
|
18
18
|
type FunctionSelector,
|
|
19
19
|
countArgumentsSize,
|
|
20
20
|
} from '@aztec/stdlib/abi';
|
|
21
21
|
import type { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
22
|
+
import { L2BlockHash } from '@aztec/stdlib/block';
|
|
22
23
|
import type { ContractInstance } from '@aztec/stdlib/contract';
|
|
23
24
|
import { DelayedPublicMutableValues, DelayedPublicMutableValuesWithHash } from '@aztec/stdlib/delayed-public-mutable';
|
|
24
25
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
25
26
|
import { PrivateCircuitPublicInputs } from '@aztec/stdlib/kernel';
|
|
26
27
|
import type { CircuitWitnessGenerationStats } from '@aztec/stdlib/stats';
|
|
27
28
|
import { BlockHeader, PrivateCallExecutionResult } from '@aztec/stdlib/tx';
|
|
28
|
-
import type { UInt64 } from '@aztec/stdlib/types';
|
|
29
29
|
|
|
30
30
|
import { ContractStore } from '../../storage/contract_store/index.js';
|
|
31
31
|
import { Oracle } from './oracle.js';
|
|
@@ -85,7 +85,6 @@ export async function executePrivateFunction(
|
|
|
85
85
|
|
|
86
86
|
const rawReturnValues = await privateExecutionOracle.privateLoadFromExecutionCache(publicInputs.returnsHash);
|
|
87
87
|
|
|
88
|
-
const noteHashLeafIndexMap = privateExecutionOracle.getNoteHashLeafIndexMap();
|
|
89
88
|
const newNotes = privateExecutionOracle.getNewNotes();
|
|
90
89
|
const noteHashNullifierCounterMap = privateExecutionOracle.getNoteHashNullifierCounterMap();
|
|
91
90
|
const offchainEffects = privateExecutionOracle.getOffchainEffects();
|
|
@@ -108,7 +107,6 @@ export async function executePrivateFunction(
|
|
|
108
107
|
Buffer.from(artifact.verificationKey!, 'base64'),
|
|
109
108
|
partialWitness,
|
|
110
109
|
publicInputs,
|
|
111
|
-
noteHashLeafIndexMap,
|
|
112
110
|
newNotes,
|
|
113
111
|
noteHashNullifierCounterMap,
|
|
114
112
|
rawReturnValues,
|
|
@@ -154,21 +152,22 @@ export function extractPrivateCircuitPublicInputs(
|
|
|
154
152
|
* from the instance is used.
|
|
155
153
|
* @param contractAddress - The address of the contract to read the class id for.
|
|
156
154
|
* @param instance - The instance of the contract.
|
|
157
|
-
* @param
|
|
158
|
-
* @param
|
|
159
|
-
* @param timestamp - The timestamp at which to obtain the class id from the DelayedPublicMutable.
|
|
155
|
+
* @param aztecNode - The Aztec node to query for storage.
|
|
156
|
+
* @param header - The header of the block at which to load the DelayedPublicMutable storing the class id.
|
|
160
157
|
* @returns The current class id.
|
|
161
158
|
*/
|
|
162
159
|
export async function readCurrentClassId(
|
|
163
160
|
contractAddress: AztecAddress,
|
|
164
161
|
instance: ContractInstance,
|
|
165
162
|
aztecNode: AztecNode,
|
|
166
|
-
|
|
167
|
-
timestamp: UInt64,
|
|
163
|
+
header: BlockHeader,
|
|
168
164
|
) {
|
|
165
|
+
const blockHashFr = await header.hash();
|
|
166
|
+
const blockHash = L2BlockHash.fromField(blockHashFr);
|
|
167
|
+
const timestamp = header.globalVariables.timestamp;
|
|
169
168
|
const { delayedPublicMutableSlot } = await DelayedPublicMutableValuesWithHash.getContractUpdateSlots(contractAddress);
|
|
170
169
|
const delayedPublicMutableValues = await DelayedPublicMutableValues.readFromTree(delayedPublicMutableSlot, slot =>
|
|
171
|
-
aztecNode.getPublicStorageAt(
|
|
170
|
+
aztecNode.getPublicStorageAt(blockHash, ProtocolContractAddress.ContractInstanceRegistry, slot),
|
|
172
171
|
);
|
|
173
172
|
let currentClassId = delayedPublicMutableValues.svc.getCurrentAt(timestamp)[0];
|
|
174
173
|
if (currentClassId.isZero()) {
|
|
@@ -180,10 +179,9 @@ export async function readCurrentClassId(
|
|
|
180
179
|
/**
|
|
181
180
|
* Verify that the current class id of a contract obtained from AztecNode is the same as the one in contract data
|
|
182
181
|
* provider (i.e. PXE's own storage).
|
|
183
|
-
* @param header - The header of the block at which to verify the current class id.
|
|
184
|
-
* header of the execution data provider is used.
|
|
182
|
+
* @param header - The header of the block at which to verify the current class id.
|
|
185
183
|
*/
|
|
186
|
-
|
|
184
|
+
async function verifyCurrentClassId(
|
|
187
185
|
contractAddress: AztecAddress,
|
|
188
186
|
aztecNode: AztecNode,
|
|
189
187
|
contractStore: ContractStore,
|
|
@@ -194,16 +192,28 @@ export async function verifyCurrentClassId(
|
|
|
194
192
|
throw new Error(`No contract instance found for address ${contractAddress.toString()}`);
|
|
195
193
|
}
|
|
196
194
|
|
|
197
|
-
const currentClassId = await readCurrentClassId(
|
|
198
|
-
contractAddress,
|
|
199
|
-
instance,
|
|
200
|
-
aztecNode,
|
|
201
|
-
header.globalVariables.blockNumber,
|
|
202
|
-
header.globalVariables.timestamp,
|
|
203
|
-
);
|
|
195
|
+
const currentClassId = await readCurrentClassId(contractAddress, instance, aztecNode, header);
|
|
204
196
|
if (!instance.currentContractClassId.equals(currentClassId)) {
|
|
205
197
|
throw new Error(
|
|
206
198
|
`Contract ${contractAddress} is outdated, current class id is ${currentClassId}, local class id is ${instance.currentContractClassId}`,
|
|
207
199
|
);
|
|
208
200
|
}
|
|
209
201
|
}
|
|
202
|
+
|
|
203
|
+
/**
|
|
204
|
+
* Ensures the contract's private state is synchronized and that the PXE holds the current class artifact for
|
|
205
|
+
* the contract.
|
|
206
|
+
*/
|
|
207
|
+
export async function ensureContractSynced(
|
|
208
|
+
contractAddress: AztecAddress,
|
|
209
|
+
functionToInvokeAfterSync: FunctionSelector | null,
|
|
210
|
+
utilityExecutor: (call: FunctionCall) => Promise<any>,
|
|
211
|
+
aztecNode: AztecNode,
|
|
212
|
+
contractStore: ContractStore,
|
|
213
|
+
header: BlockHeader,
|
|
214
|
+
): Promise<void> {
|
|
215
|
+
await Promise.all([
|
|
216
|
+
contractStore.syncPrivateState(contractAddress, functionToInvokeAfterSync, utilityExecutor),
|
|
217
|
+
verifyCurrentClassId(contractAddress, aztecNode, contractStore, header),
|
|
218
|
+
]);
|
|
219
|
+
}
|
|
@@ -7,13 +7,15 @@ import { type CircuitSimulator, toACVMWitness } from '@aztec/simulator/client';
|
|
|
7
7
|
import {
|
|
8
8
|
type FunctionAbi,
|
|
9
9
|
type FunctionArtifact,
|
|
10
|
+
type FunctionCall,
|
|
10
11
|
FunctionSelector,
|
|
11
12
|
type NoteSelector,
|
|
12
13
|
countArgumentsSize,
|
|
13
14
|
} from '@aztec/stdlib/abi';
|
|
14
15
|
import type { AuthWitness } from '@aztec/stdlib/auth-witness';
|
|
15
16
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
16
|
-
import {
|
|
17
|
+
import { L2BlockHash } from '@aztec/stdlib/block';
|
|
18
|
+
import { siloNullifier } from '@aztec/stdlib/hash';
|
|
17
19
|
import type { AztecNode } from '@aztec/stdlib/interfaces/client';
|
|
18
20
|
import { PrivateContextInputs } from '@aztec/stdlib/kernel';
|
|
19
21
|
import { type ContractClassLog, DirectionalAppTaggingSecret, type PreTag } from '@aztec/stdlib/logs';
|
|
@@ -45,7 +47,7 @@ import { ExecutionTaggingIndexCache } from '../execution_tagging_index_cache.js'
|
|
|
45
47
|
import type { HashedValuesCache } from '../hashed_values_cache.js';
|
|
46
48
|
import { pickNotes } from '../pick_notes.js';
|
|
47
49
|
import type { IPrivateExecutionOracle, NoteData } from './interfaces.js';
|
|
48
|
-
import {
|
|
50
|
+
import { ensureContractSynced, executePrivateFunction } from './private_execution.js';
|
|
49
51
|
import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
50
52
|
|
|
51
53
|
/**
|
|
@@ -63,16 +65,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
63
65
|
* Users can also use this to get a clearer idea of what's happened during a simulation.
|
|
64
66
|
*/
|
|
65
67
|
private newNotes: NoteAndSlot[] = [];
|
|
66
|
-
/**
|
|
67
|
-
* Notes from previous transactions that are returned to the oracle call `getNotes` during this execution.
|
|
68
|
-
* The mapping maps from the unique siloed note hash to the index for notes created in private executions.
|
|
69
|
-
* It maps from siloed note hash to the index for notes created by public functions.
|
|
70
|
-
*
|
|
71
|
-
* They are not part of the ExecutionNoteCache and being forwarded to nested contexts via `extend()`
|
|
72
|
-
* because these notes are meant to be maintained on a per-call basis
|
|
73
|
-
* They should act as references for the read requests output by an app circuit via public inputs.
|
|
74
|
-
*/
|
|
75
|
-
private noteHashLeafIndexMap: Map<bigint, bigint> = new Map();
|
|
76
68
|
private noteHashNullifierCounterMap: Map<number, number> = new Map();
|
|
77
69
|
private contractClassLogs: CountedContractClassLog[] = [];
|
|
78
70
|
private offchainEffects: { data: Fr[] }[] = [];
|
|
@@ -84,6 +76,8 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
84
76
|
private readonly callContext: CallContext,
|
|
85
77
|
/** Header of a block whose state is used during private execution (not the block the transaction is included in). */
|
|
86
78
|
protected override readonly anchorBlockHeader: BlockHeader,
|
|
79
|
+
/** Needed to trigger contract synchronization before nested calls */
|
|
80
|
+
private readonly utilityExecutor: (call: FunctionCall) => Promise<void>,
|
|
87
81
|
/** List of transient auth witnesses to be used during this simulation */
|
|
88
82
|
authWitnesses: AuthWitness[],
|
|
89
83
|
capsules: Capsule[],
|
|
@@ -101,6 +95,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
101
95
|
senderAddressBookStore: SenderAddressBookStore,
|
|
102
96
|
capsuleStore: CapsuleStore,
|
|
103
97
|
privateEventStore: PrivateEventStore,
|
|
98
|
+
jobId: string,
|
|
104
99
|
private totalPublicCalldataCount: number = 0,
|
|
105
100
|
protected sideEffectCounter: number = 0,
|
|
106
101
|
log = createLogger('simulator:client_execution_context'),
|
|
@@ -123,6 +118,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
123
118
|
senderAddressBookStore,
|
|
124
119
|
capsuleStore,
|
|
125
120
|
privateEventStore,
|
|
121
|
+
jobId,
|
|
126
122
|
log,
|
|
127
123
|
scopes,
|
|
128
124
|
);
|
|
@@ -157,14 +153,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
157
153
|
return toACVMWitness(0, fields);
|
|
158
154
|
}
|
|
159
155
|
|
|
160
|
-
/**
|
|
161
|
-
* The KernelProver will use this to fully populate witnesses and provide hints to the kernel circuit
|
|
162
|
-
* regarding which note hash each settled read request corresponds to.
|
|
163
|
-
*/
|
|
164
|
-
public getNoteHashLeafIndexMap() {
|
|
165
|
-
return this.noteHashLeafIndexMap;
|
|
166
|
-
}
|
|
167
|
-
|
|
168
156
|
/**
|
|
169
157
|
* Get the data for the newly created notes.
|
|
170
158
|
*/
|
|
@@ -278,9 +266,17 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
278
266
|
// This is a tagging secret we've not yet used in this tx, so first sync our store to make sure its indices
|
|
279
267
|
// are up to date. We do this here because this store is not synced as part of the global sync because
|
|
280
268
|
// that'd be wasteful as most tagging secrets are not used in each tx.
|
|
281
|
-
|
|
282
|
-
|
|
283
|
-
|
|
269
|
+
const anchorBlockHash = L2BlockHash.fromField(await this.anchorBlockHeader.hash());
|
|
270
|
+
await syncSenderTaggingIndexes(
|
|
271
|
+
secret,
|
|
272
|
+
this.contractAddress,
|
|
273
|
+
this.aztecNode,
|
|
274
|
+
this.senderTaggingStore,
|
|
275
|
+
anchorBlockHash,
|
|
276
|
+
this.jobId,
|
|
277
|
+
);
|
|
278
|
+
|
|
279
|
+
const lastUsedIndex = await this.senderTaggingStore.getLastUsedIndex(secret, this.jobId);
|
|
284
280
|
// If lastUsedIndex is undefined, we've never used this secret, so start from 0
|
|
285
281
|
// Otherwise, the next index to use is one past the last used index
|
|
286
282
|
return lastUsedIndex === undefined ? 0 : lastUsedIndex + 1;
|
|
@@ -369,7 +365,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
369
365
|
|
|
370
366
|
const pendingNullifiers = this.noteCache.getNullifiers(this.callContext.contractAddress);
|
|
371
367
|
|
|
372
|
-
const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore);
|
|
368
|
+
const noteService = new NoteService(this.noteStore, this.aztecNode, this.anchorBlockStore, this.jobId);
|
|
373
369
|
const dbNotes = await noteService.getNotes(
|
|
374
370
|
this.callContext.contractAddress,
|
|
375
371
|
owner,
|
|
@@ -399,23 +395,6 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
399
395
|
.join(', ')}`,
|
|
400
396
|
);
|
|
401
397
|
|
|
402
|
-
const noteHashesAndIndexes = await Promise.all(
|
|
403
|
-
notes.map(async n => {
|
|
404
|
-
if (n.index !== undefined) {
|
|
405
|
-
const siloedNoteHash = await siloNoteHash(n.contractAddress, n.noteHash);
|
|
406
|
-
const uniqueNoteHash = await computeUniqueNoteHash(n.noteNonce, siloedNoteHash);
|
|
407
|
-
|
|
408
|
-
return { hash: uniqueNoteHash, index: n.index };
|
|
409
|
-
}
|
|
410
|
-
}),
|
|
411
|
-
);
|
|
412
|
-
|
|
413
|
-
noteHashesAndIndexes
|
|
414
|
-
.filter(n => n !== undefined)
|
|
415
|
-
.forEach(n => {
|
|
416
|
-
this.noteHashLeafIndexMap.set(n!.hash.toBigInt(), n!.index);
|
|
417
|
-
});
|
|
418
|
-
|
|
419
398
|
return notes;
|
|
420
399
|
}
|
|
421
400
|
|
|
@@ -458,6 +437,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
458
437
|
note,
|
|
459
438
|
siloedNullifier: undefined, // Siloed nullifier cannot be known for newly created note.
|
|
460
439
|
noteHash,
|
|
440
|
+
isPending: true, // This note has just been created and hence is not settled yet.
|
|
461
441
|
},
|
|
462
442
|
counter,
|
|
463
443
|
);
|
|
@@ -492,6 +472,19 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
492
472
|
return this.noteCache.nullifierCreated(this.callContext.contractAddress, innerNullifier);
|
|
493
473
|
}
|
|
494
474
|
|
|
475
|
+
/**
|
|
476
|
+
* Check if a nullifier has been emitted in the same transaction, i.e. if privateNotifyCreatedNullifier has been
|
|
477
|
+
* called for this inner nullifier from the contract with the specified address.
|
|
478
|
+
* @param innerNullifier - The inner nullifier to check.
|
|
479
|
+
* @param contractAddress - Address of the contract that emitted the nullifier.
|
|
480
|
+
* @returns A boolean indicating whether the nullifier is pending or not.
|
|
481
|
+
*/
|
|
482
|
+
public async privateIsNullifierPending(innerNullifier: Fr, contractAddress: AztecAddress): Promise<boolean> {
|
|
483
|
+
const siloedNullifier = await siloNullifier(contractAddress, innerNullifier);
|
|
484
|
+
const isNullifierPending = this.noteCache.getNullifiers(contractAddress).has(siloedNullifier.toBigInt());
|
|
485
|
+
return Promise.resolve(isNullifierPending);
|
|
486
|
+
}
|
|
487
|
+
|
|
495
488
|
/**
|
|
496
489
|
* Emit a contract class log.
|
|
497
490
|
* This fn exists because we only carry a poseidon hash through the kernels, and need to
|
|
@@ -548,7 +541,14 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
548
541
|
|
|
549
542
|
isStaticCall = isStaticCall || this.callContext.isStaticCall;
|
|
550
543
|
|
|
551
|
-
await
|
|
544
|
+
await ensureContractSynced(
|
|
545
|
+
targetContractAddress,
|
|
546
|
+
functionSelector,
|
|
547
|
+
this.utilityExecutor,
|
|
548
|
+
this.aztecNode,
|
|
549
|
+
this.contractStore,
|
|
550
|
+
this.anchorBlockHeader,
|
|
551
|
+
);
|
|
552
552
|
|
|
553
553
|
const targetArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(
|
|
554
554
|
targetContractAddress,
|
|
@@ -564,6 +564,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
564
564
|
derivedTxContext,
|
|
565
565
|
derivedCallContext,
|
|
566
566
|
this.anchorBlockHeader,
|
|
567
|
+
this.utilityExecutor,
|
|
567
568
|
this.authWitnesses,
|
|
568
569
|
this.capsules,
|
|
569
570
|
this.executionCache,
|
|
@@ -580,6 +581,7 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
|
|
|
580
581
|
this.senderAddressBookStore,
|
|
581
582
|
this.capsuleStore,
|
|
582
583
|
this.privateEventStore,
|
|
584
|
+
this.jobId,
|
|
583
585
|
this.totalPublicCalldataCount,
|
|
584
586
|
sideEffectCounter,
|
|
585
587
|
this.log,
|