@aztec/pxe 1.2.1 → 2.0.0-nightly.20250813
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/config/package_info.js +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.d.ts +5 -2
- package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
- package/dest/contract_function_simulator/contract_function_simulator.js +48 -29
- package/dest/contract_function_simulator/index.d.ts +1 -0
- 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 +1 -1
- package/dest/contract_function_simulator/noir-structs/event_validation_request.js +1 -1
- 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 +1 -1
- package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +1 -1
- package/dest/contract_function_simulator/noir-structs/note_validation_request.js +1 -1
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +22 -0
- package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -0
- package/dest/contract_function_simulator/oracle/note_packing_utils.js +49 -0
- package/dest/contract_function_simulator/oracle/oracle.d.ts +44 -43
- package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/oracle.js +127 -106
- package/dest/contract_function_simulator/oracle/private_execution.d.ts +7 -2
- package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution.js +16 -11
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +41 -17
- package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/private_execution_oracle.js +51 -23
- package/dest/contract_function_simulator/oracle/typed_oracle.d.ts +48 -47
- package/dest/contract_function_simulator/oracle/typed_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/typed_oracle.js +89 -87
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +31 -30
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +33 -30
- package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +1 -1
- package/dest/contract_function_simulator/pxe_oracle_interface.js +6 -7
- package/dest/entrypoints/server/utils.d.ts +4 -2
- package/dest/entrypoints/server/utils.d.ts.map +1 -1
- package/dest/entrypoints/server/utils.js +4 -2
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +4 -4
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +1 -1
- package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.js +58 -59
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +4 -0
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +1 -0
- package/dest/private_kernel/hints/compute_tx_include_by_timestamp.js +41 -0
- package/dest/private_kernel/hints/index.d.ts +1 -0
- package/dest/private_kernel/hints/index.d.ts.map +1 -1
- package/dest/private_kernel/hints/index.js +1 -0
- 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 +13 -4
- package/dest/private_kernel/private_kernel_oracle.d.ts +1 -1
- package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +1 -1
- package/dest/private_kernel/private_kernel_oracle_impl.js +6 -6
- package/dest/pxe_service/error_enriching.d.ts.map +1 -1
- package/dest/pxe_service/error_enriching.js +1 -0
- package/dest/pxe_service/pxe_service.d.ts +3 -2
- package/dest/pxe_service/pxe_service.d.ts.map +1 -1
- package/dest/pxe_service/pxe_service.js +28 -19
- package/dest/storage/capsule_data_provider/capsule_data_provider.js +1 -1
- package/dest/storage/note_data_provider/note_data_provider.d.ts.map +1 -1
- package/dest/storage/note_data_provider/note_data_provider.js +16 -4
- package/package.json +16 -16
- package/src/config/package_info.ts +1 -1
- package/src/contract_function_simulator/contract_function_simulator.ts +67 -37
- package/src/contract_function_simulator/index.ts +1 -0
- package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +1 -1
- package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +1 -1
- package/src/contract_function_simulator/noir-structs/note_validation_request.ts +1 -1
- package/src/contract_function_simulator/oracle/note_packing_utils.ts +52 -0
- package/src/contract_function_simulator/oracle/oracle.ts +149 -111
- package/src/contract_function_simulator/oracle/private_execution.ts +17 -12
- package/src/contract_function_simulator/oracle/private_execution_oracle.ts +60 -24
- package/src/contract_function_simulator/oracle/typed_oracle.ts +108 -92
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +34 -30
- package/src/contract_function_simulator/pxe_oracle_interface.ts +6 -8
- package/src/entrypoints/server/utils.ts +17 -6
- package/src/private_kernel/hints/build_private_kernel_reset_private_inputs.ts +106 -104
- package/src/private_kernel/hints/compute_tx_include_by_timestamp.ts +58 -0
- package/src/private_kernel/hints/index.ts +1 -0
- package/src/private_kernel/private_kernel_execution_prover.ts +21 -4
- package/src/private_kernel/private_kernel_oracle.ts +1 -1
- package/src/private_kernel/private_kernel_oracle_impl.ts +12 -9
- package/src/pxe_service/error_enriching.ts +1 -0
- package/src/pxe_service/pxe_service.ts +30 -32
- package/src/storage/capsule_data_provider/capsule_data_provider.ts +1 -1
- package/src/storage/note_data_provider/note_data_provider.ts +27 -16
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
2
1
|
class OracleMethodNotAvailableError extends Error {
|
|
3
2
|
constructor(methodName){
|
|
4
3
|
super(`Oracle method ${methodName} is not available.`);
|
|
@@ -9,133 +8,136 @@ class OracleMethodNotAvailableError extends Error {
|
|
|
9
8
|
* Methods that require read and/or write will have to be implemented based on the context (public, private, or view)
|
|
10
9
|
* and are unavailable by default.
|
|
11
10
|
*/ export class TypedOracle {
|
|
12
|
-
|
|
13
|
-
|
|
11
|
+
utilityGetRandomField() {
|
|
12
|
+
throw new OracleMethodNotAvailableError('utilityGetRandomField');
|
|
14
13
|
}
|
|
15
|
-
|
|
16
|
-
throw new OracleMethodNotAvailableError('
|
|
14
|
+
privateStoreInExecutionCache(_values, _hash) {
|
|
15
|
+
throw new OracleMethodNotAvailableError('privateStoreInExecutionCache');
|
|
17
16
|
}
|
|
18
|
-
|
|
19
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
17
|
+
privateLoadFromExecutionCache(_hash) {
|
|
18
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateLoadFromExecutionCache'));
|
|
20
19
|
}
|
|
21
|
-
|
|
22
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
20
|
+
utilityGetBlockNumber() {
|
|
21
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetBlockNumber'));
|
|
23
22
|
}
|
|
24
|
-
|
|
25
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
23
|
+
utilityGetTimestamp() {
|
|
24
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetTimestamp'));
|
|
26
25
|
}
|
|
27
|
-
|
|
28
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
26
|
+
utilityGetContractAddress() {
|
|
27
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetContractAddress'));
|
|
29
28
|
}
|
|
30
|
-
|
|
31
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
29
|
+
utilityGetChainId() {
|
|
30
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetChainId'));
|
|
32
31
|
}
|
|
33
|
-
|
|
34
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
32
|
+
utilityGetVersion() {
|
|
33
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetVersion'));
|
|
35
34
|
}
|
|
36
|
-
|
|
37
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
35
|
+
utilityGetKeyValidationRequest(_pkMHash) {
|
|
36
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetKeyValidationRequest'));
|
|
38
37
|
}
|
|
39
|
-
|
|
40
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
38
|
+
utilityGetContractInstance(_address) {
|
|
39
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetContractInstance'));
|
|
41
40
|
}
|
|
42
|
-
|
|
43
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
41
|
+
utilityGetMembershipWitness(_blockNumber, _treeId, _leafValue) {
|
|
42
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetMembershipWitness'));
|
|
44
43
|
}
|
|
45
|
-
|
|
46
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
44
|
+
utilityGetNullifierMembershipWitness(_blockNumber, _nullifier) {
|
|
45
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetNullifierMembershipWitness'));
|
|
47
46
|
}
|
|
48
|
-
|
|
49
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
47
|
+
utilityGetPublicDataWitness(_blockNumber, _leafSlot) {
|
|
48
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetPublicDataWitness'));
|
|
50
49
|
}
|
|
51
|
-
|
|
52
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
50
|
+
utilityGetLowNullifierMembershipWitness(_blockNumber, _nullifier) {
|
|
51
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetLowNullifierMembershipWitness'));
|
|
53
52
|
}
|
|
54
|
-
|
|
55
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
53
|
+
utilityGetBlockHeader(_blockNumber) {
|
|
54
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetBlockHeader'));
|
|
56
55
|
}
|
|
57
|
-
|
|
58
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
56
|
+
utilityGetCompleteAddress(_account) {
|
|
57
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetCompleteAddress'));
|
|
59
58
|
}
|
|
60
|
-
|
|
61
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
59
|
+
utilityGetAuthWitness(_messageHash) {
|
|
60
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetAuthWitness'));
|
|
62
61
|
}
|
|
63
|
-
|
|
64
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
62
|
+
utilityGetNotes(_storageSlot, _numSelects, _selectByIndexes, _selectByOffsets, _selectByLengths, _selectValues, _selectComparators, _sortByIndexes, _sortByOffsets, _sortByLengths, _sortOrder, _limit, _offset, _status) {
|
|
63
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetNotes'));
|
|
65
64
|
}
|
|
66
|
-
|
|
67
|
-
throw new OracleMethodNotAvailableError('
|
|
65
|
+
privateNotifyCreatedNote(_storageSlot, _noteTypeId, _note, _noteHash, _counter) {
|
|
66
|
+
throw new OracleMethodNotAvailableError('privateNotifyCreatedNote');
|
|
68
67
|
}
|
|
69
|
-
|
|
70
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
68
|
+
privateNotifyNullifiedNote(_innerNullifier, _noteHash, _counter) {
|
|
69
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateNotifyNullifiedNote'));
|
|
71
70
|
}
|
|
72
|
-
|
|
73
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
71
|
+
privateNotifyCreatedNullifier(_innerNullifier) {
|
|
72
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateNotifyCreatedNullifier'));
|
|
74
73
|
}
|
|
75
|
-
|
|
76
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
74
|
+
utilityCheckNullifierExists(_innerNullifier) {
|
|
75
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityCheckNullifierExists'));
|
|
77
76
|
}
|
|
78
|
-
|
|
79
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
77
|
+
utilityGetL1ToL2MembershipWitness(_contractAddress, _messageHash, _secret) {
|
|
78
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetL1ToL2MembershipWitness'));
|
|
80
79
|
}
|
|
81
|
-
|
|
82
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
80
|
+
utilityStorageRead(_contractAddress, _startStorageSlot, _blockNumber, _numberOfElements) {
|
|
81
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityStorageRead'));
|
|
83
82
|
}
|
|
84
|
-
|
|
85
|
-
|
|
83
|
+
privateNotifyCreatedContractClassLog(_log, _counter) {
|
|
84
|
+
throw new OracleMethodNotAvailableError('privateNotifyCreatedContractClassLog');
|
|
86
85
|
}
|
|
87
|
-
|
|
88
|
-
|
|
86
|
+
privateCallPrivateFunction(_targetContractAddress, _functionSelector, _argsHash, _sideEffectCounter, _isStaticCall) {
|
|
87
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateCallPrivateFunction'));
|
|
89
88
|
}
|
|
90
|
-
|
|
91
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
89
|
+
privateNotifyEnqueuedPublicFunctionCall(_targetContractAddress, _calldataHash, _sideEffectCounter, _isStaticCall) {
|
|
90
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateNotifyEnqueuedPublicFunctionCall'));
|
|
92
91
|
}
|
|
93
|
-
|
|
94
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
92
|
+
privateNotifySetPublicTeardownFunctionCall(_targetContractAddress, _calldataHash, _sideEffectCounter, _isStaticCall) {
|
|
93
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateNotifySetPublicTeardownFunctionCall'));
|
|
95
94
|
}
|
|
96
|
-
|
|
97
|
-
|
|
95
|
+
privateNotifySetMinRevertibleSideEffectCounter(_minRevertibleSideEffectCounter) {
|
|
96
|
+
throw new OracleMethodNotAvailableError('privateNotifySetMinRevertibleSideEffectCounter');
|
|
98
97
|
}
|
|
99
|
-
|
|
100
|
-
throw new OracleMethodNotAvailableError('
|
|
98
|
+
utilityDebugLog(_message, _fields) {
|
|
99
|
+
throw new OracleMethodNotAvailableError('utilityDebugLog');
|
|
101
100
|
}
|
|
102
|
-
|
|
103
|
-
|
|
101
|
+
utilityGetIndexedTaggingSecretAsSender(_sender, _recipient) {
|
|
102
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetIndexedTaggingSecretAsSender'));
|
|
104
103
|
}
|
|
105
|
-
|
|
106
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
104
|
+
privateIncrementAppTaggingSecretIndexAsSender(_sender, _recipient) {
|
|
105
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateIncrementAppTaggingSecretIndexAsSender'));
|
|
107
106
|
}
|
|
108
|
-
|
|
109
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
107
|
+
utilityFetchTaggedLogs(_pendingTaggedLogArrayBaseSlot) {
|
|
108
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityFetchTaggedLogs'));
|
|
110
109
|
}
|
|
111
|
-
|
|
112
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
110
|
+
utilityValidateEnqueuedNotesAndEvents(_contractAddress, _noteValidationRequestsArrayBaseSlot, _eventValidationRequestsArrayBaseSlot) {
|
|
111
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityValidateEnqueuedNotesAndEvents'));
|
|
113
112
|
}
|
|
114
|
-
|
|
115
|
-
|
|
113
|
+
utilityBulkRetrieveLogs(_contractAddress, _logRetrievalRequestsArrayBaseSlot, _logRetrievalResponsesArrayBaseSlot) {
|
|
114
|
+
throw new OracleMethodNotAvailableError('utilityBulkRetrieveLogs');
|
|
116
115
|
}
|
|
117
|
-
|
|
118
|
-
|
|
116
|
+
utilityStoreCapsule(_contractAddress, _key, _capsule) {
|
|
117
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityStoreCapsule'));
|
|
119
118
|
}
|
|
120
|
-
|
|
121
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
119
|
+
utilityLoadCapsule(_contractAddress, _key) {
|
|
120
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityLoadCapsule'));
|
|
122
121
|
}
|
|
123
|
-
|
|
124
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
122
|
+
utilityDeleteCapsule(_contractAddress, _key) {
|
|
123
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityDeleteCapsule'));
|
|
125
124
|
}
|
|
126
|
-
|
|
127
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
125
|
+
utilityCopyCapsule(_contractAddress, _srcKey, _dstKey, _numEntries) {
|
|
126
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityCopyCapsule'));
|
|
128
127
|
}
|
|
129
|
-
|
|
130
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
128
|
+
utilityAes128Decrypt(_ciphertext, _iv, _symKey) {
|
|
129
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityAes128Decrypt'));
|
|
131
130
|
}
|
|
132
|
-
|
|
133
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
131
|
+
utilityGetSharedSecret(_address, _ephPk) {
|
|
132
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityGetSharedSecret'));
|
|
134
133
|
}
|
|
135
|
-
|
|
136
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
134
|
+
utilityEmitOffchainEffect(_data) {
|
|
135
|
+
return Promise.reject(new OracleMethodNotAvailableError('utilityEmitOffchainEffect'));
|
|
137
136
|
}
|
|
138
|
-
|
|
139
|
-
return Promise.reject(new OracleMethodNotAvailableError('
|
|
137
|
+
privateGetSenderForTags() {
|
|
138
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateGetSenderForTags'));
|
|
139
|
+
}
|
|
140
|
+
privateSetSenderForTags(_senderForTags) {
|
|
141
|
+
return Promise.reject(new OracleMethodNotAvailableError('privateSetSenderForTags'));
|
|
140
142
|
}
|
|
141
143
|
}
|
|
@@ -25,18 +25,19 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
25
25
|
/** List of transient auth witnesses to be used during this simulation */
|
|
26
26
|
authWitnesses: AuthWitness[], capsules: Capsule[], // TODO(#12425): Rename to transientCapsules
|
|
27
27
|
executionDataProvider: ExecutionDataProvider, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[] | undefined);
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
28
|
+
utilityGetRandomField(): Fr;
|
|
29
|
+
utilityGetBlockNumber(): Promise<number>;
|
|
30
|
+
utilityGetTimestamp(): Promise<UInt64>;
|
|
31
|
+
utilityGetContractAddress(): Promise<AztecAddress>;
|
|
32
|
+
utilityGetChainId(): Promise<Fr>;
|
|
33
|
+
utilityGetVersion(): Promise<Fr>;
|
|
33
34
|
/**
|
|
34
35
|
* Retrieve keys associated with a specific master public key and app address.
|
|
35
36
|
* @param pkMHash - The master public key hash.
|
|
36
37
|
* @returns A Promise that resolves to nullifier keys.
|
|
37
38
|
* @throws If the keys are not registered in the key store.
|
|
38
39
|
*/
|
|
39
|
-
|
|
40
|
+
utilityGetKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
|
|
40
41
|
/**
|
|
41
42
|
* Fetches the index and sibling path of a leaf at a given block from a given tree.
|
|
42
43
|
* @param blockNumber - The block number at which to get the membership witness.
|
|
@@ -44,14 +45,14 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
44
45
|
* @param leafValue - The leaf value
|
|
45
46
|
* @returns The index and sibling path concatenated [index, sibling_path]
|
|
46
47
|
*/
|
|
47
|
-
|
|
48
|
+
utilityGetMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[]>;
|
|
48
49
|
/**
|
|
49
50
|
* Returns a nullifier membership witness for a given nullifier at a given block.
|
|
50
51
|
* @param blockNumber - The block number at which to get the index.
|
|
51
52
|
* @param nullifier - Nullifier we try to find witness for.
|
|
52
53
|
* @returns The nullifier membership witness (if found).
|
|
53
54
|
*/
|
|
54
|
-
|
|
55
|
+
utilityGetNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
|
|
55
56
|
/**
|
|
56
57
|
* Returns a low nullifier membership witness for a given nullifier at a given block.
|
|
57
58
|
* @param blockNumber - The block number at which to get the index.
|
|
@@ -61,40 +62,40 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
61
62
|
* list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
|
|
62
63
|
* we are trying to prove non-inclusion for.
|
|
63
64
|
*/
|
|
64
|
-
|
|
65
|
+
utilityGetLowNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
|
|
65
66
|
/**
|
|
66
67
|
* Returns a public data tree witness for a given leaf slot at a given block.
|
|
67
68
|
* @param blockNumber - The block number at which to get the index.
|
|
68
69
|
* @param leafSlot - The slot of the public data tree to get the witness for.
|
|
69
70
|
* @returns - The witness
|
|
70
71
|
*/
|
|
71
|
-
|
|
72
|
+
utilityGetPublicDataWitness(blockNumber: number, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
|
|
72
73
|
/**
|
|
73
74
|
* Fetches a block header of a given block.
|
|
74
75
|
* @param blockNumber - The number of a block of which to get the block header.
|
|
75
76
|
* @returns Block extracted from a block with block number `blockNumber`.
|
|
76
77
|
*/
|
|
77
|
-
|
|
78
|
+
utilityGetBlockHeader(blockNumber: number): Promise<BlockHeader | undefined>;
|
|
78
79
|
/**
|
|
79
80
|
* Retrieve the complete address associated to a given address.
|
|
80
81
|
* @param account - The account address.
|
|
81
82
|
* @returns A complete address associated with the input address.
|
|
82
83
|
* @throws An error if the account is not registered in the database.
|
|
83
84
|
*/
|
|
84
|
-
|
|
85
|
+
utilityGetCompleteAddress(account: AztecAddress): Promise<CompleteAddress>;
|
|
85
86
|
/**
|
|
86
87
|
* Returns a contract instance associated with an address or throws if not found.
|
|
87
88
|
* @param address - Address.
|
|
88
89
|
* @returns A contract instance.
|
|
89
90
|
*/
|
|
90
|
-
|
|
91
|
+
utilityGetContractInstance(address: AztecAddress): Promise<ContractInstance>;
|
|
91
92
|
/**
|
|
92
93
|
* Returns an auth witness for the given message hash. Checks on the list of transient witnesses
|
|
93
94
|
* for this transaction first, and falls back to the local database if not found.
|
|
94
95
|
* @param messageHash - Hash of the message to authenticate.
|
|
95
96
|
* @returns Authentication witness for the requested message hash.
|
|
96
97
|
*/
|
|
97
|
-
|
|
98
|
+
utilityGetAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
|
|
98
99
|
/**
|
|
99
100
|
* Gets some notes for a contract address and storage slot.
|
|
100
101
|
* Returns a flattened array containing filtered notes.
|
|
@@ -116,13 +117,13 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
116
117
|
* @param status - The status of notes to fetch.
|
|
117
118
|
* @returns Array of note data.
|
|
118
119
|
*/
|
|
119
|
-
|
|
120
|
+
utilityGetNotes(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[]>;
|
|
120
121
|
/**
|
|
121
122
|
* Check if a nullifier exists in the nullifier tree.
|
|
122
123
|
* @param innerNullifier - The inner nullifier.
|
|
123
124
|
* @returns A boolean indicating whether the nullifier exists in the tree or not.
|
|
124
125
|
*/
|
|
125
|
-
|
|
126
|
+
utilityCheckNullifierExists(innerNullifier: Fr): Promise<boolean>;
|
|
126
127
|
/**
|
|
127
128
|
* Fetches a message from the executionDataProvider, given its key.
|
|
128
129
|
* @param contractAddress - Address of a contract by which the message was emitted.
|
|
@@ -131,7 +132,7 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
131
132
|
* @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
|
|
132
133
|
* @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
|
|
133
134
|
*/
|
|
134
|
-
|
|
135
|
+
utilityGetL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<import("./message_load_oracle_inputs.js").MessageLoadOracleInputs<39>>;
|
|
135
136
|
/**
|
|
136
137
|
* Read the public storage data.
|
|
137
138
|
* @param contractAddress - The address to read storage from.
|
|
@@ -139,8 +140,8 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
139
140
|
* @param blockNumber - The block number to read storage at.
|
|
140
141
|
* @param numberOfElements - Number of elements to read from the starting storage slot.
|
|
141
142
|
*/
|
|
142
|
-
|
|
143
|
-
|
|
143
|
+
utilityStorageRead(contractAddress: AztecAddress, startStorageSlot: Fr, blockNumber: number, numberOfElements: number): Promise<Fr[]>;
|
|
144
|
+
utilityDebugLog(message: string, fields: Fr[]): void;
|
|
144
145
|
/**
|
|
145
146
|
* Returns the tagging secret for a given sender and recipient pair, siloed to the current contract address.
|
|
146
147
|
* Includes the next index to be used used for tagging with this secret.
|
|
@@ -149,16 +150,16 @@ export declare class UtilityExecutionOracle extends TypedOracle {
|
|
|
149
150
|
* @param recipient - The address receiving the note
|
|
150
151
|
* @returns A tagging secret that can be used to tag notes.
|
|
151
152
|
*/
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
153
|
+
utilityGetIndexedTaggingSecretAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret>;
|
|
154
|
+
utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot: Fr): Promise<void>;
|
|
155
|
+
utilityValidateEnqueuedNotesAndEvents(contractAddress: AztecAddress, noteValidationRequestsArrayBaseSlot: Fr, eventValidationRequestsArrayBaseSlot: Fr): Promise<void>;
|
|
156
|
+
utilityBulkRetrieveLogs(contractAddress: AztecAddress, logRetrievalRequestsArrayBaseSlot: Fr, logRetrievalResponsesArrayBaseSlot: Fr): Promise<void>;
|
|
157
|
+
utilityStoreCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void>;
|
|
158
|
+
utilityLoadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null>;
|
|
159
|
+
utilityDeleteCapsule(contractAddress: AztecAddress, slot: Fr): Promise<void>;
|
|
160
|
+
utilityCopyCapsule(contractAddress: AztecAddress, srcSlot: Fr, dstSlot: Fr, numEntries: number): Promise<void>;
|
|
161
|
+
utilityAes128Decrypt(ciphertext: Buffer, iv: Buffer, symKey: Buffer): Promise<Buffer>;
|
|
162
|
+
utilityGetSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point>;
|
|
163
|
+
utilityEmitOffchainEffect(_data: Fr[]): Promise<void>;
|
|
163
164
|
}
|
|
164
165
|
//# sourceMappingURL=utility_execution_oracle.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"utility_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/utility_execution_oracle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAEhF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,WAAW;IAEnD,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE;IACtC,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB;IAC/D,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE;gBANvB,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EAAE,4CAA4C;IACjE,qBAAqB,EAAE,qBAAqB,EACrD,GAAG,yCAAgD,EAC1C,MAAM,CAAC,EAAE,YAAY,EAAE,YAAA;IAK5B,
|
|
1
|
+
{"version":3,"file":"utility_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/utility_execution_oracle.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAErD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAEhF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,WAAW;IAEnD,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACzE,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE;IAC/C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE;IACtC,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB;IAC/D,SAAS,CAAC,GAAG;IACb,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE;gBANvB,eAAe,EAAE,YAAY;IAChD,yEAAyE;IACtD,aAAa,EAAE,WAAW,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EAAE,4CAA4C;IACjE,qBAAqB,EAAE,qBAAqB,EACrD,GAAG,yCAAgD,EAC1C,MAAM,CAAC,EAAE,YAAY,EAAE,YAAA;IAK5B,qBAAqB,IAAI,EAAE;IAI3B,qBAAqB,IAAI,OAAO,CAAC,MAAM,CAAC;IAIxC,mBAAmB,IAAI,OAAO,CAAC,MAAM,CAAC;IAItC,yBAAyB,IAAI,OAAO,CAAC,YAAY,CAAC;IAIlD,iBAAiB,IAAI,OAAO,CAAC,EAAE,CAAC;IAIhC,iBAAiB,IAAI,OAAO,CAAC,EAAE,CAAC;IAIhD;;;;;OAKG;IACa,8BAA8B,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAI1F;;;;;;OAMG;IACa,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAIpH;;;;;OAKG;IACmB,oCAAoC,CACxD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;;;;OAQG;IACmB,uCAAuC,CAC3D,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD;;;;;OAKG;IACmB,2BAA2B,CAC/C,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIzC;;;;OAIG;IACmB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAQlG;;;;;OAKG;IACa,yBAAyB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAI1F;;;;OAIG;IACa,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAI5F;;;;;OAKG;IACa,qBAAqB,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAIjF;;;;;;;;;;;;;;;;;;;;OAoBG;IACmB,eAAe,CACnC,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;IAiBtB;;;;OAIG;IACmB,2BAA2B,CAAC,cAAc,EAAE,EAAE;IAMpE;;;;;;;OAOG;IACmB,iCAAiC,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IAIlH;;;;;;OAMG;IACmB,kBAAkB,CACtC,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM;IAeV,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI;IAIpE;;;;;;;OAOG;IACmB,sCAAsC,CAC1D,MAAM,EAAE,YAAY,EACpB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,oBAAoB,CAAC;IAIV,sBAAsB,CAAC,6BAA6B,EAAE,EAAE;IAMxD,qCAAqC,CACzD,eAAe,EAAE,YAAY,EAC7B,mCAAmC,EAAE,EAAE,EACvC,oCAAoC,EAAE,EAAE;IAcpB,uBAAuB,CAC3C,eAAe,EAAE,YAAY,EAC7B,iCAAiC,EAAE,EAAE,EACrC,kCAAkC,EAAE,EAAE;IAcxB,mBAAmB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQpF,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAYvF,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ5E,kBAAkB,CAChC,eAAe,EAAE,YAAY,EAC7B,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC;IASA,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAKrF,sBAAsB,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAI3E,yBAAyB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;CAGtE"}
|