@aztec/pxe 0.0.1-commit.ec5f612 → 0.0.1-commit.ec7ac5448
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/bin/check_oracle_version.js +4 -4
- package/dest/block_synchronizer/block_synchronizer.d.ts +1 -1
- package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
- package/dest/block_synchronizer/block_synchronizer.js +6 -0
- package/dest/config/index.d.ts +2 -2
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +10 -5
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +31 -8
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts +28 -0
- package/dest/contract_function_simulator/ephemeral_array_service.d.ts.map +1 -0
- package/dest/contract_function_simulator/ephemeral_array_service.js +78 -0
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +5 -5
- package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
- package/dest/contract_function_simulator/execution_tagging_index_cache.js +17 -9
- package/dest/contract_function_simulator/index.d.ts +2 -1
- package/dest/contract_function_simulator/index.d.ts.map +1 -1
- package/dest/contract_function_simulator/index.js +1 -0
- package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -6
- 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 +8 -10
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +2 -2
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +2 -4
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +4 -7
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +6 -11
- package/dest/contract_function_simulator/oracle/interfaces.d.ts +61 -45
- package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +9 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +47 -0
- package/dest/contract_function_simulator/oracle/oracle.d.ts +75 -44
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +281 -96
- package/dest/contract_function_simulator/oracle/private_execution.js +5 -3
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +23 -49
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +40 -63
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +89 -56
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +272 -107
- package/dest/contract_function_simulator/pick_notes.d.ts +1 -1
- package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
- package/dest/contract_function_simulator/pick_notes.js +9 -2
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +1 -1
- package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
- package/dest/contract_function_simulator/proxied_contract_data_source.js +3 -0
- package/dest/contract_logging.d.ts +9 -4
- package/dest/contract_logging.d.ts.map +1 -1
- package/dest/contract_logging.js +21 -6
- package/dest/contract_sync/contract_sync_service.d.ts +6 -5
- package/dest/contract_sync/contract_sync_service.d.ts.map +1 -1
- package/dest/contract_sync/contract_sync_service.js +44 -37
- package/dest/contract_sync/helpers.d.ts +2 -3
- package/dest/contract_sync/helpers.d.ts.map +1 -1
- package/dest/contract_sync/helpers.js +7 -2
- package/dest/debug/pxe_debug_utils.d.ts +3 -3
- package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.d.ts +1 -2
- package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/index.js +0 -1
- package/dest/entrypoints/client/bundle/utils.d.ts +2 -2
- package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/bundle/utils.js +2 -2
- package/dest/entrypoints/client/lazy/index.d.ts +1 -2
- package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/index.js +0 -1
- package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
- package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
- package/dest/entrypoints/client/lazy/utils.js +2 -2
- package/dest/entrypoints/pxe_creation_options.d.ts +3 -1
- package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
- package/dest/entrypoints/pxe_creation_options.js +3 -1
- package/dest/entrypoints/server/index.d.ts +2 -3
- package/dest/entrypoints/server/index.d.ts.map +1 -1
- package/dest/entrypoints/server/index.js +1 -2
- package/dest/entrypoints/server/utils.d.ts +2 -2
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +2 -2
- package/dest/events/event_service.d.ts +3 -2
- package/dest/events/event_service.d.ts.map +1 -1
- package/dest/events/event_service.js +16 -4
- package/dest/logs/log_service.d.ts +5 -8
- package/dest/logs/log_service.d.ts.map +1 -1
- package/dest/logs/log_service.js +24 -37
- package/dest/messages/message_context_service.d.ts +17 -0
- package/dest/messages/message_context_service.d.ts.map +1 -0
- package/dest/messages/message_context_service.js +36 -0
- package/dest/notes/note_service.d.ts +4 -5
- package/dest/notes/note_service.d.ts.map +1 -1
- package/dest/notes/note_service.js +14 -5
- package/dest/notes_filter.d.ts +2 -3
- package/dest/notes_filter.d.ts.map +1 -1
- package/dest/oracle_version.d.ts +4 -3
- package/dest/oracle_version.d.ts.map +1 -1
- package/dest/oracle_version.js +20 -10
- package/dest/pxe.d.ts +11 -8
- package/dest/pxe.d.ts.map +1 -1
- package/dest/pxe.js +45 -26
- package/dest/storage/capsule_store/capsule_service.d.ts +21 -0
- package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -0
- package/dest/storage/capsule_store/capsule_service.js +50 -0
- package/dest/storage/capsule_store/capsule_store.d.ts +9 -9
- package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
- package/dest/storage/capsule_store/capsule_store.js +33 -28
- package/dest/storage/capsule_store/index.d.ts +2 -1
- package/dest/storage/capsule_store/index.d.ts.map +1 -1
- package/dest/storage/capsule_store/index.js +1 -0
- package/dest/storage/metadata.d.ts +1 -1
- package/dest/storage/metadata.js +1 -1
- package/dest/storage/note_store/note_store.d.ts +1 -1
- package/dest/storage/note_store/note_store.d.ts.map +1 -1
- package/dest/storage/note_store/note_store.js +2 -2
- package/dest/storage/tagging_store/sender_tagging_store.d.ts +26 -25
- package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
- package/dest/storage/tagging_store/sender_tagging_store.js +141 -115
- package/dest/tagging/index.d.ts +2 -2
- package/dest/tagging/index.d.ts.map +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
- package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +10 -1
- package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +4 -3
- 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 +20 -10
- package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +2 -1
- 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 +24 -11
- package/package.json +16 -16
- package/src/bin/check_oracle_version.ts +4 -4
- package/src/block_synchronizer/block_synchronizer.ts +6 -0
- package/src/config/index.ts +1 -1
- package/src/contract_function_simulator/contract_function_simulator.ts +44 -12
- package/src/contract_function_simulator/ephemeral_array_service.ts +110 -0
- package/src/contract_function_simulator/execution_tagging_index_cache.ts +16 -11
- package/src/contract_function_simulator/index.ts +1 -0
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +9 -9
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +2 -5
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +4 -10
- package/src/contract_function_simulator/oracle/interfaces.ts +82 -54
- package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +104 -0
- package/src/contract_function_simulator/oracle/oracle.ts +363 -139
- package/src/contract_function_simulator/oracle/private_execution.ts +4 -4
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +45 -84
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +444 -143
- package/src/contract_function_simulator/pick_notes.ts +9 -2
- package/src/contract_function_simulator/proxied_contract_data_source.ts +8 -1
- package/src/contract_logging.ts +18 -5
- package/src/contract_sync/contract_sync_service.ts +77 -59
- package/src/contract_sync/helpers.ts +4 -4
- package/src/debug/pxe_debug_utils.ts +3 -3
- package/src/entrypoints/client/bundle/index.ts +0 -1
- package/src/entrypoints/client/bundle/utils.ts +2 -3
- package/src/entrypoints/client/lazy/index.ts +0 -1
- package/src/entrypoints/client/lazy/utils.ts +2 -3
- package/src/entrypoints/pxe_creation_options.ts +7 -0
- package/src/entrypoints/server/index.ts +1 -2
- package/src/entrypoints/server/utils.ts +2 -3
- package/src/events/event_service.ts +17 -4
- package/src/logs/log_service.ts +52 -78
- package/src/messages/message_context_service.ts +44 -0
- package/src/notes/note_service.ts +18 -8
- package/src/notes_filter.ts +1 -3
- package/src/oracle_version.ts +20 -10
- package/src/pxe.ts +68 -31
- package/src/storage/capsule_store/capsule_service.ts +90 -0
- package/src/storage/capsule_store/capsule_store.ts +34 -26
- package/src/storage/capsule_store/index.ts +1 -0
- package/src/storage/metadata.ts +1 -1
- package/src/storage/note_store/note_store.ts +2 -5
- package/src/storage/tagging_store/sender_tagging_store.ts +182 -135
- package/src/tagging/index.ts +1 -1
- package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +19 -1
- package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +26 -11
- package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +19 -9
- package/dest/access_scopes.d.ts +0 -9
- package/dest/access_scopes.d.ts.map +0 -1
- package/dest/access_scopes.js +0 -6
- package/src/access_scopes.ts +0 -9
|
@@ -3,12 +3,10 @@ import { type CircuitSimulator } from '@aztec/simulator/client';
|
|
|
3
3
|
import { type FunctionAbi, type FunctionCall, FunctionSelector, type NoteSelector } from '@aztec/stdlib/abi';
|
|
4
4
|
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
5
5
|
import { PrivateContextInputs } from '@aztec/stdlib/kernel';
|
|
6
|
-
import { type ContractClassLog, type
|
|
6
|
+
import { type ContractClassLog, type TaggingIndexRange } from '@aztec/stdlib/logs';
|
|
7
7
|
import { Tag } from '@aztec/stdlib/logs';
|
|
8
8
|
import { type NoteStatus } from '@aztec/stdlib/note';
|
|
9
9
|
import { CallContext, CountedContractClassLog, NoteAndSlot, PrivateCallExecutionResult, type TxContext } from '@aztec/stdlib/tx';
|
|
10
|
-
import type { AccessScopes } from '../../access_scopes.js';
|
|
11
|
-
import type { ContractSyncService } from '../../contract_sync/contract_sync_service.js';
|
|
12
10
|
import type { SenderTaggingStore } from '../../storage/tagging_store/sender_tagging_store.js';
|
|
13
11
|
import type { ExecutionNoteCache } from '../execution_note_cache.js';
|
|
14
12
|
import { ExecutionTaggingIndexCache } from '../execution_tagging_index_cache.js';
|
|
@@ -21,12 +19,11 @@ export type PrivateExecutionOracleArgs = Omit<UtilityExecutionOracleArgs, 'contr
|
|
|
21
19
|
txContext: TxContext;
|
|
22
20
|
callContext: CallContext;
|
|
23
21
|
/** Needed to trigger contract synchronization before nested calls */
|
|
24
|
-
utilityExecutor: (call: FunctionCall, scopes:
|
|
22
|
+
utilityExecutor: (call: FunctionCall, scopes: AztecAddress[]) => Promise<void>;
|
|
25
23
|
executionCache: HashedValuesCache;
|
|
26
24
|
noteCache: ExecutionNoteCache;
|
|
27
25
|
taggingIndexCache: ExecutionTaggingIndexCache;
|
|
28
26
|
senderTaggingStore: SenderTaggingStore;
|
|
29
|
-
contractSyncService: ContractSyncService;
|
|
30
27
|
totalPublicCalldataCount?: number;
|
|
31
28
|
sideEffectCounter?: number;
|
|
32
29
|
senderForTags?: AztecAddress;
|
|
@@ -49,7 +46,6 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
49
46
|
private newNotes;
|
|
50
47
|
private noteHashNullifierCounterMap;
|
|
51
48
|
private contractClassLogs;
|
|
52
|
-
private offchainEffects;
|
|
53
49
|
private nestedExecutionResults;
|
|
54
50
|
private readonly argsHash;
|
|
55
51
|
private readonly txContext;
|
|
@@ -59,7 +55,6 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
59
55
|
private readonly noteCache;
|
|
60
56
|
private readonly taggingIndexCache;
|
|
61
57
|
private readonly senderTaggingStore;
|
|
62
|
-
private readonly contractSyncService;
|
|
63
58
|
private totalPublicCalldataCount;
|
|
64
59
|
protected sideEffectCounter: number;
|
|
65
60
|
private senderForTags?;
|
|
@@ -82,15 +77,9 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
82
77
|
*/
|
|
83
78
|
getContractClassLogs(): CountedContractClassLog[];
|
|
84
79
|
/**
|
|
85
|
-
*
|
|
80
|
+
* Returns the tagging index ranges that were used in this execution (and that need to be stored in the db).
|
|
86
81
|
*/
|
|
87
|
-
|
|
88
|
-
data: Fr[];
|
|
89
|
-
}[];
|
|
90
|
-
/**
|
|
91
|
-
* Returns the pre-tags that were used in this execution (and that need to be stored in the db).
|
|
92
|
-
*/
|
|
93
|
-
getUsedPreTags(): PreTag[];
|
|
82
|
+
getUsedTaggingIndexRanges(): TaggingIndexRange[];
|
|
94
83
|
/**
|
|
95
84
|
* Return the nested execution results during this execution.
|
|
96
85
|
*/
|
|
@@ -105,7 +94,7 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
105
94
|
* The value persists through nested calls, meaning all calls down the stack will use the same
|
|
106
95
|
* 'senderForTags' value (unless it is replaced).
|
|
107
96
|
*/
|
|
108
|
-
|
|
97
|
+
getSenderForTags(): Promise<AztecAddress | undefined>;
|
|
109
98
|
/**
|
|
110
99
|
* Set the sender for tags.
|
|
111
100
|
*
|
|
@@ -117,27 +106,27 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
117
106
|
* through nested calls, meaning all calls down the stack will use the same 'senderForTags'
|
|
118
107
|
* value (unless it is replaced by another call to this setter).
|
|
119
108
|
*/
|
|
120
|
-
|
|
109
|
+
setSenderForTags(senderForTags: AztecAddress): Promise<void>;
|
|
121
110
|
/**
|
|
122
111
|
* Returns the next app tag for a given sender and recipient pair.
|
|
123
112
|
* @param sender - The address sending the log
|
|
124
113
|
* @param recipient - The address receiving the log
|
|
125
114
|
* @returns An app tag to be used in a log.
|
|
126
115
|
*/
|
|
127
|
-
|
|
116
|
+
getNextAppTagAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<Tag>;
|
|
128
117
|
/**
|
|
129
118
|
* Store values in the execution cache.
|
|
130
119
|
* @param values - Values to store.
|
|
131
120
|
* @returns The hash of the values.
|
|
132
121
|
*/
|
|
133
|
-
|
|
122
|
+
setHashPreimage(values: Fr[], hash: Fr): void;
|
|
134
123
|
/**
|
|
135
124
|
* Gets values from the execution cache.
|
|
136
125
|
* @param hash - Hash of the values.
|
|
137
126
|
* @returns The values.
|
|
138
127
|
*/
|
|
139
|
-
|
|
140
|
-
|
|
128
|
+
getHashPreimage(hash: Fr): Promise<Fr[]>;
|
|
129
|
+
doesNullifierExist(innerNullifier: Fr): Promise<boolean>;
|
|
141
130
|
/**
|
|
142
131
|
* Gets some notes for a storage slot.
|
|
143
132
|
*
|
|
@@ -159,7 +148,7 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
159
148
|
* @param status - The status of notes to fetch.
|
|
160
149
|
* @returns Array of note data.
|
|
161
150
|
*/
|
|
162
|
-
|
|
151
|
+
getNotes(owner: AztecAddress | undefined, storageSlot: Fr, numSelects: number, selectByIndexes: number[], selectByOffsets: number[], selectByLengths: number[], selectValues: Fr[], selectComparators: number[], sortByIndexes: number[], sortByOffsets: number[], sortByLengths: number[], sortOrder: number[], limit: number, offset: number, status: NoteStatus): Promise<NoteData[]>;
|
|
163
152
|
/**
|
|
164
153
|
* Keep track of the new note created during execution.
|
|
165
154
|
* It can be used in subsequent calls (or transactions when chaining txs is possible).
|
|
@@ -171,29 +160,29 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
171
160
|
* @param noteHash - A hash of the new note.
|
|
172
161
|
* @returns
|
|
173
162
|
*/
|
|
174
|
-
|
|
163
|
+
notifyCreatedNote(owner: AztecAddress, storageSlot: Fr, randomness: Fr, noteTypeId: NoteSelector, noteItems: Fr[], noteHash: Fr, counter: number): void;
|
|
175
164
|
/**
|
|
176
165
|
* Adding a siloed nullifier into the current set of all pending nullifiers created
|
|
177
166
|
* within the current transaction/execution.
|
|
178
167
|
* @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
|
|
179
168
|
* @param noteHash - A hash of the new note.
|
|
180
169
|
*/
|
|
181
|
-
|
|
170
|
+
notifyNullifiedNote(innerNullifier: Fr, noteHash: Fr, counter: number): Promise<void>;
|
|
182
171
|
/**
|
|
183
172
|
* Adding a siloed nullifier into the current set of all pending nullifiers created
|
|
184
173
|
* within the current transaction/execution.
|
|
185
174
|
* @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
|
|
186
175
|
* @param noteHash - A hash of the new note.
|
|
187
176
|
*/
|
|
188
|
-
|
|
177
|
+
notifyCreatedNullifier(innerNullifier: Fr): Promise<void>;
|
|
189
178
|
/**
|
|
190
|
-
* Check if a nullifier has been emitted in the same transaction, i.e. if
|
|
179
|
+
* Check if a nullifier has been emitted in the same transaction, i.e. if notifyCreatedNullifier has been
|
|
191
180
|
* called for this inner nullifier from the contract with the specified address.
|
|
192
181
|
* @param innerNullifier - The inner nullifier to check.
|
|
193
182
|
* @param contractAddress - Address of the contract that emitted the nullifier.
|
|
194
183
|
* @returns A boolean indicating whether the nullifier is pending or not.
|
|
195
184
|
*/
|
|
196
|
-
|
|
185
|
+
isNullifierPending(innerNullifier: Fr, contractAddress: AztecAddress): Promise<boolean>;
|
|
197
186
|
/**
|
|
198
187
|
* Emit a contract class log.
|
|
199
188
|
* This fn exists because we only carry a poseidon hash through the kernels, and need to
|
|
@@ -201,7 +190,7 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
201
190
|
* @param log - The contract class log to be emitted.
|
|
202
191
|
* @param counter - The contract class log's counter.
|
|
203
192
|
*/
|
|
204
|
-
|
|
193
|
+
notifyCreatedContractClassLog(log: ContractClassLog, counter: number): void;
|
|
205
194
|
/**
|
|
206
195
|
* Calls a private function as a nested execution.
|
|
207
196
|
* @param targetContractAddress - The address of the contract to call.
|
|
@@ -211,30 +200,15 @@ export declare class PrivateExecutionOracle extends UtilityExecutionOracle imple
|
|
|
211
200
|
* @param isStaticCall - Whether the call is a static call.
|
|
212
201
|
* @returns The execution result.
|
|
213
202
|
*/
|
|
214
|
-
|
|
203
|
+
callPrivateFunction(targetContractAddress: AztecAddress, functionSelector: FunctionSelector, argsHash: Fr, sideEffectCounter: number, isStaticCall: boolean): Promise<{
|
|
215
204
|
endSideEffectCounter: Fr;
|
|
216
205
|
returnsHash: Fr;
|
|
217
206
|
}>;
|
|
218
|
-
/**
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
222
|
-
* @param sideEffectCounter - The side effect counter at the start of the call.
|
|
223
|
-
* @param isStaticCall - Whether the call is a static call.
|
|
224
|
-
*/
|
|
225
|
-
privateNotifyEnqueuedPublicFunctionCall(_targetContractAddress: AztecAddress, calldataHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<void>;
|
|
226
|
-
/**
|
|
227
|
-
* Verify relevant information when a public teardown function is set.
|
|
228
|
-
* @param targetContractAddress - The address of the contract to call.
|
|
229
|
-
* @param argsHash - The arguments hash to pass to the function.
|
|
230
|
-
* @param sideEffectCounter - The side effect counter at the start of the call.
|
|
231
|
-
* @param isStaticCall - Whether the call is a static call.
|
|
232
|
-
*/
|
|
233
|
-
privateNotifySetPublicTeardownFunctionCall(_targetContractAddress: AztecAddress, calldataHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<void>;
|
|
234
|
-
privateNotifySetMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter: number): Promise<void>;
|
|
235
|
-
privateIsSideEffectCounterRevertible(sideEffectCounter: number): Promise<boolean>;
|
|
207
|
+
/** Validates the calldata preimage exists in the cache and checks cumulative calldata size is within limits. */
|
|
208
|
+
assertValidPublicCalldata(calldataHash: Fr): Promise<void>;
|
|
209
|
+
notifyRevertiblePhaseStart(minRevertibleSideEffectCounter: number): Promise<void>;
|
|
210
|
+
isExecutionInRevertiblePhase(sideEffectCounter: number): Promise<boolean>;
|
|
236
211
|
private deriveCallContext;
|
|
237
212
|
getDebugFunctionName(): Promise<string>;
|
|
238
|
-
utilityEmitOffchainEffect(data: Fr[]): Promise<void>;
|
|
239
213
|
}
|
|
240
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
214
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9leGVjdXRpb25fb3JhY2xlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL29yYWNsZS9wcml2YXRlX2V4ZWN1dGlvbl9vcmFjbGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBR3BELE9BQU8sRUFBRSxLQUFLLGdCQUFnQixFQUFpQixNQUFNLHlCQUF5QixDQUFDO0FBQy9FLE9BQU8sRUFDTCxLQUFLLFdBQVcsRUFFaEIsS0FBSyxZQUFZLEVBQ2pCLGdCQUFnQixFQUNoQixLQUFLLFlBQVksRUFFbEIsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFM0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDNUQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQXVDLEtBQUssaUJBQWlCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUN4SCxPQUFPLEVBQUUsR0FBRyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDekMsT0FBTyxFQUFRLEtBQUssVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDM0QsT0FBTyxFQUNMLFdBQVcsRUFDWCx1QkFBdUIsRUFDdkIsV0FBVyxFQUNYLDBCQUEwQixFQUMxQixLQUFLLFNBQVMsRUFDZixNQUFNLGtCQUFrQixDQUFDO0FBRzFCLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0scURBQXFELENBQUM7QUFFOUYsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBRW5FLE9BQU8sS0FBSyxFQUFFLHVCQUF1QixFQUFFLFFBQVEsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBRXpFLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxLQUFLLDBCQUEwQixFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFFeEcsbURBQW1EO0FBQ25ELE1BQU0sTUFBTSwwQkFBMEIsR0FBRyxJQUFJLENBQUMsMEJBQTBCLEVBQUUsaUJBQWlCLENBQUMsR0FBRztJQUM3RixRQUFRLEVBQUUsRUFBRSxDQUFDO0lBQ2IsU0FBUyxFQUFFLFNBQVMsQ0FBQztJQUNyQixXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLHFFQUFxRTtJQUNyRSxlQUFlLEVBQUUsQ0FBQyxJQUFJLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxZQUFZLEVBQUUsS0FBSyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDL0UsY0FBYyxFQUFFLGlCQUFpQixDQUFDO0lBQ2xDLFNBQVMsRUFBRSxrQkFBa0IsQ0FBQztJQUM5QixpQkFBaUIsRUFBRSwwQkFBMEIsQ0FBQztJQUM5QyxrQkFBa0IsRUFBRSxrQkFBa0IsQ0FBQztJQUN2Qyx3QkFBd0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNsQyxpQkFBaUIsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUMzQixhQUFhLENBQUMsRUFBRSxZQUFZLENBQUM7SUFDN0IsU0FBUyxDQUFDLEVBQUUsZ0JBQWdCLENBQUM7Q0FDOUIsQ0FBQztBQUVGOztHQUVHO0FBQ0gscUJBQWEsc0JBQXVCLFNBQVEsc0JBQXVCLFlBQVcsdUJBQXVCOztJQUNuRyxTQUFTLE9BQWlCO0lBRTFCOzs7Ozs7O09BT0c7SUFDSCxPQUFPLENBQUMsUUFBUSxDQUFxQjtJQUNyQyxPQUFPLENBQUMsMkJBQTJCLENBQWtDO0lBQ3JFLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBaUM7SUFDMUQsT0FBTyxDQUFDLHNCQUFzQixDQUFvQztJQUVsRSxPQUFPLENBQUMsUUFBUSxDQUFDLFFBQVEsQ0FBSztJQUM5QixPQUFPLENBQUMsUUFBUSxDQUFDLFNBQVMsQ0FBWTtJQUN0QyxPQUFPLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBYztJQUMxQyxPQUFPLENBQUMsUUFBUSxDQUFDLGVBQWUsQ0FBZ0U7SUFDaEcsT0FBTyxDQUFDLFFBQVEsQ0FBQyxjQUFjLENBQW9CO0lBQ25ELE9BQU8sQ0FBQyxRQUFRLENBQUMsU0FBUyxDQUFxQjtJQUMvQyxPQUFPLENBQUMsUUFBUSxDQUFDLGlCQUFpQixDQUE2QjtJQUMvRCxPQUFPLENBQUMsUUFBUSxDQUFDLGtCQUFrQixDQUFxQjtJQUN4RCxPQUFPLENBQUMsd0JBQXdCLENBQVM7SUFDekMsU0FBUyxDQUFDLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUNwQyxPQUFPLENBQUMsYUFBYSxDQUFDLENBQWU7SUFDckMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxTQUFTLENBQUMsQ0FBbUI7SUFFOUMsWUFBWSxJQUFJLEVBQUUsMEJBQTBCLEVBa0IzQztJQUVNLHVCQUF1QixJQUFJLG9CQUFvQixDQUVyRDtJQUlEOzs7O09BSUc7SUFDSSxpQkFBaUIsQ0FBQyxHQUFHLEVBQUUsV0FBVyx1QkFnQnhDO0lBRUQ7O09BRUc7SUFDSSxXQUFXLElBQUksV0FBVyxFQUFFLENBRWxDO0lBRU0sOEJBQThCLHdCQUVwQztJQUVEOztPQUVHO0lBQ0ksb0JBQW9CLDhCQUUxQjtJQUVEOztPQUVHO0lBQ0kseUJBQXlCLElBQUksaUJBQWlCLEVBQUUsQ0FFdEQ7SUFFRDs7T0FFRztJQUNJLHlCQUF5QixpQ0FFL0I7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDSSxnQkFBZ0IsSUFBSSxPQUFPLENBQUMsWUFBWSxHQUFHLFNBQVMsQ0FBQyxDQUUzRDtJQUVEOzs7Ozs7Ozs7O09BVUc7SUFDSSxnQkFBZ0IsQ0FBQyxhQUFhLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FHbEU7SUFFRDs7Ozs7T0FLRztJQUNVLHFCQUFxQixDQUFDLE1BQU0sRUFBRSxZQUFZLEVBQUUsU0FBUyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLENBd0I5RjtJQTJDRDs7OztPQUlHO0lBQ0ksZUFBZSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsRUFBRSxJQUFJLEVBQUUsRUFBRSxRQUU1QztJQUVEOzs7O09BSUc7SUFDSSxlQUFlLENBQUMsSUFBSSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FNOUM7SUFFYyxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FldEU7SUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FvQkc7SUFDbUIsUUFBUSxDQUM1QixLQUFLLEVBQUUsWUFBWSxHQUFHLFNBQVMsRUFDL0IsV0FBVyxFQUFFLEVBQUUsRUFDZixVQUFVLEVBQUUsTUFBTSxFQUNsQixlQUFlLEVBQUUsTUFBTSxFQUFFLEVBQ3pCLGVBQWUsRUFBRSxNQUFNLEVBQUUsRUFDekIsZUFBZSxFQUFFLE1BQU0sRUFBRSxFQUN6QixZQUFZLEVBQUUsRUFBRSxFQUFFLEVBQ2xCLGlCQUFpQixFQUFFLE1BQU0sRUFBRSxFQUMzQixhQUFhLEVBQUUsTUFBTSxFQUFFLEVBQ3ZCLGFBQWEsRUFBRSxNQUFNLEVBQUUsRUFDdkIsYUFBYSxFQUFFLE1BQU0sRUFBRSxFQUN2QixTQUFTLEVBQUUsTUFBTSxFQUFFLEVBQ25CLEtBQUssRUFBRSxNQUFNLEVBQ2IsTUFBTSxFQUFFLE1BQU0sRUFDZCxNQUFNLEVBQUUsVUFBVSxHQUNqQixPQUFPLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FxQ3JCO0lBRUQ7Ozs7Ozs7Ozs7T0FVRztJQUNJLGlCQUFpQixDQUN0QixLQUFLLEVBQUUsWUFBWSxFQUNuQixXQUFXLEVBQUUsRUFBRSxFQUNmLFVBQVUsRUFBRSxFQUFFLEVBQ2QsVUFBVSxFQUFFLFlBQVksRUFDeEIsU0FBUyxFQUFFLEVBQUUsRUFBRSxFQUNmLFFBQVEsRUFBRSxFQUFFLEVBQ1osT0FBTyxFQUFFLE1BQU0sUUEwQmhCO0lBRUQ7Ozs7O09BS0c7SUFDVSxtQkFBbUIsQ0FBQyxjQUFjLEVBQUUsRUFBRSxFQUFFLFFBQVEsRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLE1BQU0saUJBU2pGO0lBRUQ7Ozs7O09BS0c7SUFDSSxzQkFBc0IsQ0FBQyxjQUFjLEVBQUUsRUFBRSxpQkFHL0M7SUFFRDs7Ozs7O09BTUc7SUFDVSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsRUFBRSxFQUFFLGVBQWUsRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUluRztJQUVEOzs7Ozs7T0FNRztJQUNJLDZCQUE2QixDQUFDLEdBQUcsRUFBRSxnQkFBZ0IsRUFBRSxPQUFPLEVBQUUsTUFBTSxRQU0xRTtJQWNEOzs7Ozs7OztPQVFHO0lBQ0csbUJBQW1CLENBQ3ZCLHFCQUFxQixFQUFFLFlBQVksRUFDbkMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEVBQ2xDLFFBQVEsRUFBRSxFQUFFLEVBQ1osaUJBQWlCLEVBQUUsTUFBTSxFQUN6QixZQUFZLEVBQUUsT0FBTzs7O09BNEZ0QjtJQUVELGdIQUFnSDtJQUN6Ryx5QkFBeUIsQ0FBQyxZQUFZLEVBQUUsRUFBRSxpQkFXaEQ7SUFFTSwwQkFBMEIsQ0FBQyw4QkFBOEIsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUV2RjtJQUVNLDRCQUE0QixDQUFDLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBRS9FO1lBU2EsaUJBQWlCO0lBYXhCLG9CQUFvQixvQkFFMUI7Q0FDRiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/private_execution_oracle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,YAAY,EACjB,gBAAgB,EAChB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,KAAK,gBAAgB,EAAuC,KAAK,
|
|
1
|
+
{"version":3,"file":"private_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/private_execution_oracle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,KAAK,gBAAgB,EAAiB,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,YAAY,EACjB,gBAAgB,EAChB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,KAAK,gBAAgB,EAAuC,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACxH,OAAO,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACzC,OAAO,EAAQ,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EACL,WAAW,EACX,uBAAuB,EACvB,WAAW,EACX,0BAA0B,EAC1B,KAAK,SAAS,EACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qDAAqD,CAAC;AAE9F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAEnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEzE,OAAO,EAAE,sBAAsB,EAAE,KAAK,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAExG,mDAAmD;AACnD,MAAM,MAAM,0BAA0B,GAAG,IAAI,CAAC,0BAA0B,EAAE,iBAAiB,CAAC,GAAG;IAC7F,QAAQ,EAAE,EAAE,CAAC;IACb,SAAS,EAAE,SAAS,CAAC;IACrB,WAAW,EAAE,WAAW,CAAC;IACzB,qEAAqE;IACrE,eAAe,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/E,cAAc,EAAE,iBAAiB,CAAC;IAClC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,iBAAiB,EAAE,0BAA0B,CAAC;IAC9C,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,aAAa,CAAC,EAAE,YAAY,CAAC;IAC7B,SAAS,CAAC,EAAE,gBAAgB,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,sBAAuB,YAAW,uBAAuB;;IACnG,SAAS,OAAiB;IAE1B;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,2BAA2B,CAAkC;IACrE,OAAO,CAAC,iBAAiB,CAAiC;IAC1D,OAAO,CAAC,sBAAsB,CAAoC;IAElE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAK;IAC9B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAY;IACtC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAgE;IAChG,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAoB;IACnD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAA6B;IAC/D,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,wBAAwB,CAAS;IACzC,SAAS,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACpC,OAAO,CAAC,aAAa,CAAC,CAAe;IACrC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAmB;IAE9C,YAAY,IAAI,EAAE,0BAA0B,EAkB3C;IAEM,uBAAuB,IAAI,oBAAoB,CAErD;IAID;;;;OAIG;IACI,iBAAiB,CAAC,GAAG,EAAE,WAAW,uBAgBxC;IAED;;OAEG;IACI,WAAW,IAAI,WAAW,EAAE,CAElC;IAEM,8BAA8B,wBAEpC;IAED;;OAEG;IACI,oBAAoB,8BAE1B;IAED;;OAEG;IACI,yBAAyB,IAAI,iBAAiB,EAAE,CAEtD;IAED;;OAEG;IACI,yBAAyB,iCAE/B;IAED;;;;;;;;;OASG;IACI,gBAAgB,IAAI,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAE3D;IAED;;;;;;;;;;OAUG;IACI,gBAAgB,CAAC,aAAa,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAGlE;IAED;;;;;OAKG;IACU,qBAAqB,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAwB9F;IA2CD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,QAE5C;IAED;;;;OAIG;IACI,eAAe,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAM9C;IAEc,kBAAkB,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAetE;IAED;;;;;;;;;;;;;;;;;;;;OAoBG;IACmB,QAAQ,CAC5B,KAAK,EAAE,YAAY,GAAG,SAAS,EAC/B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC,CAqCrB;IAED;;;;;;;;;;OAUG;IACI,iBAAiB,CACtB,KAAK,EAAE,YAAY,EACnB,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,EAAE,EACd,UAAU,EAAE,YAAY,EACxB,SAAS,EAAE,EAAE,EAAE,EACf,QAAQ,EAAE,EAAE,EACZ,OAAO,EAAE,MAAM,QA0BhB;IAED;;;;;OAKG;IACU,mBAAmB,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,iBASjF;IAED;;;;;OAKG;IACI,sBAAsB,CAAC,cAAc,EAAE,EAAE,iBAG/C;IAED;;;;;;OAMG;IACU,kBAAkB,CAAC,cAAc,EAAE,EAAE,EAAE,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAInG;IAED;;;;;;OAMG;IACI,6BAA6B,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,QAM1E;IAcD;;;;;;;;OAQG;IACG,mBAAmB,CACvB,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO;;;OA4FtB;IAED,gHAAgH;IACzG,yBAAyB,CAAC,YAAY,EAAE,EAAE,iBAWhD;IAEM,0BAA0B,CAAC,8BAA8B,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEvF;IAEM,4BAA4B,CAAC,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAE/E;YASa,iBAAiB;IAaxB,oBAAoB,oBAE1B;CACF"}
|
|
@@ -29,7 +29,6 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
29
29
|
*/ newNotes = [];
|
|
30
30
|
noteHashNullifierCounterMap = new Map();
|
|
31
31
|
contractClassLogs = [];
|
|
32
|
-
offchainEffects = [];
|
|
33
32
|
nestedExecutionResults = [];
|
|
34
33
|
argsHash;
|
|
35
34
|
txContext;
|
|
@@ -39,7 +38,6 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
39
38
|
noteCache;
|
|
40
39
|
taggingIndexCache;
|
|
41
40
|
senderTaggingStore;
|
|
42
|
-
contractSyncService;
|
|
43
41
|
totalPublicCalldataCount;
|
|
44
42
|
sideEffectCounter;
|
|
45
43
|
senderForTags;
|
|
@@ -58,7 +56,6 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
58
56
|
this.noteCache = args.noteCache;
|
|
59
57
|
this.taggingIndexCache = args.taggingIndexCache;
|
|
60
58
|
this.senderTaggingStore = args.senderTaggingStore;
|
|
61
|
-
this.contractSyncService = args.contractSyncService;
|
|
62
59
|
this.totalPublicCalldataCount = args.totalPublicCalldataCount ?? 0;
|
|
63
60
|
this.sideEffectCounter = args.sideEffectCounter ?? 0;
|
|
64
61
|
this.senderForTags = args.senderForTags;
|
|
@@ -103,14 +100,9 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
103
100
|
return this.contractClassLogs;
|
|
104
101
|
}
|
|
105
102
|
/**
|
|
106
|
-
*
|
|
107
|
-
*/
|
|
108
|
-
return this.
|
|
109
|
-
}
|
|
110
|
-
/**
|
|
111
|
-
* Returns the pre-tags that were used in this execution (and that need to be stored in the db).
|
|
112
|
-
*/ getUsedPreTags() {
|
|
113
|
-
return this.taggingIndexCache.getUsedPreTags();
|
|
103
|
+
* Returns the tagging index ranges that were used in this execution (and that need to be stored in the db).
|
|
104
|
+
*/ getUsedTaggingIndexRanges() {
|
|
105
|
+
return this.taggingIndexCache.getUsedTaggingIndexRanges();
|
|
114
106
|
}
|
|
115
107
|
/**
|
|
116
108
|
* Return the nested execution results during this execution.
|
|
@@ -126,7 +118,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
126
118
|
*
|
|
127
119
|
* The value persists through nested calls, meaning all calls down the stack will use the same
|
|
128
120
|
* 'senderForTags' value (unless it is replaced).
|
|
129
|
-
*/
|
|
121
|
+
*/ getSenderForTags() {
|
|
130
122
|
return Promise.resolve(this.senderForTags);
|
|
131
123
|
}
|
|
132
124
|
/**
|
|
@@ -139,7 +131,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
139
131
|
* Account contracts typically set this value before calling other contracts. The value persists
|
|
140
132
|
* through nested calls, meaning all calls down the stack will use the same 'senderForTags'
|
|
141
133
|
* value (unless it is replaced by another call to this setter).
|
|
142
|
-
*/
|
|
134
|
+
*/ setSenderForTags(senderForTags) {
|
|
143
135
|
this.senderForTags = senderForTags;
|
|
144
136
|
return Promise.resolve();
|
|
145
137
|
}
|
|
@@ -148,10 +140,19 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
148
140
|
* @param sender - The address sending the log
|
|
149
141
|
* @param recipient - The address receiving the log
|
|
150
142
|
* @returns An app tag to be used in a log.
|
|
151
|
-
*/ async
|
|
143
|
+
*/ async getNextAppTagAsSender(sender, recipient) {
|
|
152
144
|
const extendedSecret = await this.#calculateExtendedDirectionalAppTaggingSecret(this.contractAddress, sender, recipient);
|
|
145
|
+
if (!extendedSecret) {
|
|
146
|
+
// We'd only fail to compute an extended secret if the recipient is an invalid address. To prevent
|
|
147
|
+
// king-of-the-hill attacks, instead of failing we use a random tag. By including a correct-looking tag in the
|
|
148
|
+
// log, the transaction shape is preserved and no privacy is leaked, even if the tag is bogus.
|
|
149
|
+
this.logger.warn(`Computing a tag for invalid recipient ${recipient} - returning a random tag instead`, {
|
|
150
|
+
contractAddress: this.contractAddress
|
|
151
|
+
});
|
|
152
|
+
return new Tag(Fr.random());
|
|
153
|
+
}
|
|
153
154
|
const index = await this.#getIndexToUseForSecret(extendedSecret);
|
|
154
|
-
this.
|
|
155
|
+
this.logger.debug(`Incrementing tagging index for sender: ${sender}, recipient: ${recipient}, contract: ${this.contractAddress} to ${index}`);
|
|
155
156
|
this.taggingIndexCache.setLastUsedIndex(extendedSecret, index);
|
|
156
157
|
return Tag.compute({
|
|
157
158
|
extendedSecret,
|
|
@@ -183,29 +184,29 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
183
184
|
* Store values in the execution cache.
|
|
184
185
|
* @param values - Values to store.
|
|
185
186
|
* @returns The hash of the values.
|
|
186
|
-
*/
|
|
187
|
+
*/ setHashPreimage(values, hash) {
|
|
187
188
|
return this.executionCache.store(values, hash);
|
|
188
189
|
}
|
|
189
190
|
/**
|
|
190
191
|
* Gets values from the execution cache.
|
|
191
192
|
* @param hash - Hash of the values.
|
|
192
193
|
* @returns The values.
|
|
193
|
-
*/
|
|
194
|
+
*/ getHashPreimage(hash) {
|
|
194
195
|
const preimage = this.executionCache.getPreimage(hash);
|
|
195
196
|
if (!preimage) {
|
|
196
197
|
throw new Error(`Preimage for hash ${hash.toString()} not found in cache`);
|
|
197
198
|
}
|
|
198
199
|
return Promise.resolve(preimage);
|
|
199
200
|
}
|
|
200
|
-
async
|
|
201
|
+
async doesNullifierExist(innerNullifier) {
|
|
201
202
|
// This oracle must be overridden because while utility execution can only meaningfully check if a nullifier exists
|
|
202
203
|
// in the synched block, during private execution there's also the possibility of it being pending, i.e. created
|
|
203
204
|
// in the current transaction.
|
|
204
|
-
this.
|
|
205
|
+
this.logger.debug(`Checking existence of inner nullifier ${innerNullifier}`, {
|
|
205
206
|
contractAddress: this.contractAddress
|
|
206
207
|
});
|
|
207
208
|
const nullifier = (await siloNullifier(this.contractAddress, innerNullifier)).toBigInt();
|
|
208
|
-
return this.noteCache.getNullifiers(this.contractAddress).has(nullifier) || await super.
|
|
209
|
+
return this.noteCache.getNullifiers(this.contractAddress).has(nullifier) || await super.doesNullifierExist(innerNullifier);
|
|
209
210
|
}
|
|
210
211
|
/**
|
|
211
212
|
* Gets some notes for a storage slot.
|
|
@@ -227,7 +228,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
227
228
|
* @param offset - The starting index for pagination.
|
|
228
229
|
* @param status - The status of notes to fetch.
|
|
229
230
|
* @returns Array of note data.
|
|
230
|
-
*/ async
|
|
231
|
+
*/ async getNotes(owner, storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
|
|
231
232
|
// Nullified pending notes are already removed from the list.
|
|
232
233
|
const pendingNotes = this.noteCache.getNotes(this.callContext.contractAddress, owner, storageSlot);
|
|
233
234
|
const pendingNullifiers = this.noteCache.getNullifiers(this.callContext.contractAddress);
|
|
@@ -258,7 +259,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
258
259
|
limit,
|
|
259
260
|
offset
|
|
260
261
|
});
|
|
261
|
-
this.
|
|
262
|
+
this.logger.debug(`Returning ${notes.length} notes for ${this.callContext.contractAddress} at ${storageSlot}: ${notes.map((n)=>`${n.noteNonce.toString()}:[${n.note.items.map((i)=>i.toString()).join(',')}]`).join(', ')}`);
|
|
262
263
|
return notes;
|
|
263
264
|
}
|
|
264
265
|
/**
|
|
@@ -271,8 +272,8 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
271
272
|
* @param noteItems - The items to be included in a Note.
|
|
272
273
|
* @param noteHash - A hash of the new note.
|
|
273
274
|
* @returns
|
|
274
|
-
*/
|
|
275
|
-
this.
|
|
275
|
+
*/ notifyCreatedNote(owner, storageSlot, randomness, noteTypeId, noteItems, noteHash, counter) {
|
|
276
|
+
this.logger.debug(`Notified of new note with inner hash ${noteHash}`, {
|
|
276
277
|
contractAddress: this.callContext.contractAddress,
|
|
277
278
|
storageSlot,
|
|
278
279
|
randomness,
|
|
@@ -303,7 +304,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
303
304
|
* within the current transaction/execution.
|
|
304
305
|
* @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
|
|
305
306
|
* @param noteHash - A hash of the new note.
|
|
306
|
-
*/ async
|
|
307
|
+
*/ async notifyNullifiedNote(innerNullifier, noteHash, counter) {
|
|
307
308
|
const nullifiedNoteHashCounter = await this.noteCache.nullifyNote(this.callContext.contractAddress, innerNullifier, noteHash);
|
|
308
309
|
if (nullifiedNoteHashCounter !== undefined) {
|
|
309
310
|
this.noteHashNullifierCounterMap.set(nullifiedNoteHashCounter, counter);
|
|
@@ -314,19 +315,19 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
314
315
|
* within the current transaction/execution.
|
|
315
316
|
* @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
|
|
316
317
|
* @param noteHash - A hash of the new note.
|
|
317
|
-
*/
|
|
318
|
-
this.
|
|
318
|
+
*/ notifyCreatedNullifier(innerNullifier) {
|
|
319
|
+
this.logger.debug(`Notified of new inner nullifier ${innerNullifier}`, {
|
|
319
320
|
contractAddress: this.contractAddress
|
|
320
321
|
});
|
|
321
322
|
return this.noteCache.nullifierCreated(this.callContext.contractAddress, innerNullifier);
|
|
322
323
|
}
|
|
323
324
|
/**
|
|
324
|
-
* Check if a nullifier has been emitted in the same transaction, i.e. if
|
|
325
|
+
* Check if a nullifier has been emitted in the same transaction, i.e. if notifyCreatedNullifier has been
|
|
325
326
|
* called for this inner nullifier from the contract with the specified address.
|
|
326
327
|
* @param innerNullifier - The inner nullifier to check.
|
|
327
328
|
* @param contractAddress - Address of the contract that emitted the nullifier.
|
|
328
329
|
* @returns A boolean indicating whether the nullifier is pending or not.
|
|
329
|
-
*/ async
|
|
330
|
+
*/ async isNullifierPending(innerNullifier, contractAddress) {
|
|
330
331
|
const siloedNullifier = await siloNullifier(contractAddress, innerNullifier);
|
|
331
332
|
const isNullifierPending = this.noteCache.getNullifiers(contractAddress).has(siloedNullifier.toBigInt());
|
|
332
333
|
return Promise.resolve(isNullifierPending);
|
|
@@ -337,10 +338,10 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
337
338
|
* keep the preimage in ts for later.
|
|
338
339
|
* @param log - The contract class log to be emitted.
|
|
339
340
|
* @param counter - The contract class log's counter.
|
|
340
|
-
*/
|
|
341
|
+
*/ notifyCreatedContractClassLog(log, counter) {
|
|
341
342
|
this.contractClassLogs.push(new CountedContractClassLog(log, counter));
|
|
342
343
|
const text = log.toBuffer().toString('hex');
|
|
343
|
-
this.
|
|
344
|
+
this.logger.verbose(`Emitted log from ContractClassRegistry: "${text.length > 100 ? text.slice(0, 100) + '...' : text}"`);
|
|
344
345
|
}
|
|
345
346
|
#checkValidStaticCall(childExecutionResult) {
|
|
346
347
|
if (childExecutionResult.publicInputs.noteHashes.claimedLength > 0 || childExecutionResult.publicInputs.nullifiers.claimedLength > 0 || childExecutionResult.publicInputs.l2ToL1Msgs.claimedLength > 0 || childExecutionResult.publicInputs.privateLogs.claimedLength > 0 || childExecutionResult.publicInputs.contractClassLogsHashes.claimedLength > 0) {
|
|
@@ -355,14 +356,14 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
355
356
|
* @param sideEffectCounter - The side effect counter at the start of the call.
|
|
356
357
|
* @param isStaticCall - Whether the call is a static call.
|
|
357
358
|
* @returns The execution result.
|
|
358
|
-
*/ async
|
|
359
|
+
*/ async callPrivateFunction(targetContractAddress, functionSelector, argsHash, sideEffectCounter, isStaticCall) {
|
|
359
360
|
if (!this.simulator) {
|
|
360
361
|
// In practice it is only when creating inline private contexts in a Noir test using TXE that we create an
|
|
361
362
|
// instance of this class without a simulator.
|
|
362
363
|
throw new Error('No simulator provided, cannot perform a nested private call');
|
|
363
364
|
}
|
|
364
365
|
const simulatorSetupTimer = new Timer();
|
|
365
|
-
this.
|
|
366
|
+
this.logger.debug(`Calling private function ${targetContractAddress}:${functionSelector} from ${this.callContext.contractAddress}`);
|
|
366
367
|
isStaticCall = isStaticCall || this.callContext.isStaticCall;
|
|
367
368
|
await this.contractSyncService.ensureContractSynced(targetContractAddress, functionSelector, this.utilityExecutor, this.anchorBlockHeader, this.jobId, this.scopes);
|
|
368
369
|
const targetArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(targetContractAddress, functionSelector);
|
|
@@ -387,13 +388,14 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
387
388
|
senderTaggingStore: this.senderTaggingStore,
|
|
388
389
|
recipientTaggingStore: this.recipientTaggingStore,
|
|
389
390
|
senderAddressBookStore: this.senderAddressBookStore,
|
|
390
|
-
|
|
391
|
+
capsuleService: this.capsuleService,
|
|
391
392
|
privateEventStore: this.privateEventStore,
|
|
393
|
+
messageContextService: this.messageContextService,
|
|
392
394
|
contractSyncService: this.contractSyncService,
|
|
393
395
|
jobId: this.jobId,
|
|
394
396
|
totalPublicCalldataCount: this.totalPublicCalldataCount,
|
|
395
397
|
sideEffectCounter,
|
|
396
|
-
log: this.
|
|
398
|
+
log: this.logger,
|
|
397
399
|
scopes: this.scopes,
|
|
398
400
|
senderForTags: this.senderForTags,
|
|
399
401
|
simulator: this.simulator
|
|
@@ -414,7 +416,7 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
414
416
|
returnsHash: publicInputs.returnsHash
|
|
415
417
|
};
|
|
416
418
|
}
|
|
417
|
-
|
|
419
|
+
/** Validates the calldata preimage exists in the cache and checks cumulative calldata size is within limits. */ assertValidPublicCalldata(calldataHash) {
|
|
418
420
|
const calldata = this.executionCache.getPreimage(calldataHash);
|
|
419
421
|
if (!calldata) {
|
|
420
422
|
throw new Error('Calldata for public call not found in cache');
|
|
@@ -423,31 +425,12 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
423
425
|
if (this.totalPublicCalldataCount > MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS) {
|
|
424
426
|
throw new Error(`Too many total args to all enqueued public calls! (> ${MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS})`);
|
|
425
427
|
}
|
|
426
|
-
}
|
|
427
|
-
/**
|
|
428
|
-
* Verify relevant information when a public function is enqueued.
|
|
429
|
-
* @param targetContractAddress - The address of the contract to call.
|
|
430
|
-
* @param calldataHash - The hash of the function selector and arguments.
|
|
431
|
-
* @param sideEffectCounter - The side effect counter at the start of the call.
|
|
432
|
-
* @param isStaticCall - Whether the call is a static call.
|
|
433
|
-
*/ privateNotifyEnqueuedPublicFunctionCall(_targetContractAddress, calldataHash, _sideEffectCounter, _isStaticCall) {
|
|
434
|
-
this.#onNewPublicFunctionCall(calldataHash);
|
|
435
|
-
return Promise.resolve();
|
|
436
|
-
}
|
|
437
|
-
/**
|
|
438
|
-
* Verify relevant information when a public teardown function is set.
|
|
439
|
-
* @param targetContractAddress - The address of the contract to call.
|
|
440
|
-
* @param argsHash - The arguments hash to pass to the function.
|
|
441
|
-
* @param sideEffectCounter - The side effect counter at the start of the call.
|
|
442
|
-
* @param isStaticCall - Whether the call is a static call.
|
|
443
|
-
*/ privateNotifySetPublicTeardownFunctionCall(_targetContractAddress, calldataHash, _sideEffectCounter, _isStaticCall) {
|
|
444
|
-
this.#onNewPublicFunctionCall(calldataHash);
|
|
445
428
|
return Promise.resolve();
|
|
446
429
|
}
|
|
447
|
-
|
|
430
|
+
notifyRevertiblePhaseStart(minRevertibleSideEffectCounter) {
|
|
448
431
|
return this.noteCache.setMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter);
|
|
449
432
|
}
|
|
450
|
-
|
|
433
|
+
isExecutionInRevertiblePhase(sideEffectCounter) {
|
|
451
434
|
return Promise.resolve(this.noteCache.isSideEffectCounterRevertible(sideEffectCounter));
|
|
452
435
|
}
|
|
453
436
|
/**
|
|
@@ -462,10 +445,4 @@ import { UtilityExecutionOracle } from './utility_execution_oracle.js';
|
|
|
462
445
|
getDebugFunctionName() {
|
|
463
446
|
return this.contractStore.getDebugFunctionName(this.contractAddress, this.callContext.functionSelector);
|
|
464
447
|
}
|
|
465
|
-
utilityEmitOffchainEffect(data) {
|
|
466
|
-
this.offchainEffects.push({
|
|
467
|
-
data
|
|
468
|
-
});
|
|
469
|
-
return Promise.resolve();
|
|
470
|
-
}
|
|
471
448
|
}
|