@aztec/pxe 0.0.1-commit.cbf2c2d5d → 0.0.1-commit.ce4f8c4f2
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/contract_function_simulator/oracle/utility_execution_oracle.d.ts +7 -7
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
- package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +37 -17
- package/package.json +16 -16
- package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +58 -22
|
@@ -91,24 +91,24 @@ export declare class UtilityExecutionOracle implements IMiscOracle, IUtilityExec
|
|
|
91
91
|
getKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
|
|
92
92
|
/**
|
|
93
93
|
* Fetches the index and sibling path of a leaf at a given block from the note hash tree.
|
|
94
|
-
* @param
|
|
95
|
-
* witness.
|
|
94
|
+
* @param blockHash - The hash of a block that contains the note hash tree root in which to find the
|
|
95
|
+
* membership witness.
|
|
96
96
|
* @param noteHash - The note hash to find in the note hash tree.
|
|
97
97
|
* @returns The membership witness containing the leaf index and sibling path
|
|
98
98
|
*/
|
|
99
|
-
getNoteHashMembershipWitness(
|
|
99
|
+
getNoteHashMembershipWitness(blockHash: BlockHash, noteHash: Fr): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT> | undefined>;
|
|
100
100
|
/**
|
|
101
101
|
* Fetches the index and sibling path of a block hash in the archive tree.
|
|
102
102
|
*
|
|
103
103
|
* Block hashes are the leaves of the archive tree. Each time a new block is added to the chain,
|
|
104
104
|
* its block hash is appended as a new leaf to the archive tree.
|
|
105
105
|
*
|
|
106
|
-
* @param
|
|
106
|
+
* @param referenceBlockHash - The hash of a block that contains the archive tree root in which to find the membership
|
|
107
107
|
* witness.
|
|
108
108
|
* @param blockHash - The block hash to find in the archive tree.
|
|
109
109
|
* @returns The membership witness containing the leaf index and sibling path
|
|
110
110
|
*/
|
|
111
|
-
getBlockHashMembershipWitness(
|
|
111
|
+
getBlockHashMembershipWitness(referenceBlockHash: BlockHash, blockHash: BlockHash): Promise<MembershipWitness<typeof ARCHIVE_HEIGHT> | undefined>;
|
|
112
112
|
/**
|
|
113
113
|
* Returns a nullifier membership witness for a given nullifier at a given block.
|
|
114
114
|
* @param blockHash - The block hash at which to get the index.
|
|
@@ -192,7 +192,7 @@ export declare class UtilityExecutionOracle implements IMiscOracle, IUtilityExec
|
|
|
192
192
|
*/
|
|
193
193
|
checkNullifierExists(innerNullifier: Fr): Promise<boolean>;
|
|
194
194
|
/**
|
|
195
|
-
*
|
|
195
|
+
* Returns the membership witness of an un-nullified L1 to L2 message.
|
|
196
196
|
* @param contractAddress - Address of a contract by which the message was emitted.
|
|
197
197
|
* @param messageHash - Hash of the message.
|
|
198
198
|
* @param secret - Secret used to compute a nullifier.
|
|
@@ -244,4 +244,4 @@ export declare class UtilityExecutionOracle implements IMiscOracle, IUtilityExec
|
|
|
244
244
|
/** Returns offchain effects collected during execution. */
|
|
245
245
|
getOffchainEffects(): OffchainEffect[];
|
|
246
246
|
}
|
|
247
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
247
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbGl0eV9leGVjdXRpb25fb3JhY2xlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL29yYWNsZS91dGlsaXR5X2V4ZWN1dGlvbl9vcmFjbGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFbkUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUMxRCxPQUFPLEVBQTBCLFlBQVksRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzdFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFakQsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDOUQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNoRCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsZ0JBQWdCLEVBQUUsY0FBYyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFaEcsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNqRSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQXdCLE1BQU0sb0JBQW9CLENBQUM7QUFHM0UsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxFQUFnQixLQUFLLDBCQUEwQixFQUFFLGlCQUFpQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDdkcsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUU3RSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUUzRCxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDhDQUE4QyxDQUFDO0FBR3hGLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLDJDQUEyQyxDQUFDO0FBR2xGLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDhDQUE4QyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDhDQUE4QyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLGdEQUFnRCxDQUFDO0FBQ3BGLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdDQUF3QyxDQUFDO0FBQ3hFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMERBQTBELENBQUM7QUFDbEcsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsTUFBTSx3REFBd0QsQ0FBQztBQUNwRyxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLDBEQUEwRCxDQUFDO0FBTXZHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVwRSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsdUJBQXVCLEVBQUUsUUFBUSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFDdEYsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFMUUsbURBQW1EO0FBQ25ELE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxlQUFlLEVBQUUsWUFBWSxDQUFDO0lBQzlCLHlFQUF5RTtJQUN6RSxhQUFhLEVBQUUsV0FBVyxFQUFFLENBQUM7SUFDN0IsUUFBUSxFQUFFLE9BQU8sRUFBRSxDQUFDO0lBQ3BCLGlCQUFpQixFQUFFLFdBQVcsQ0FBQztJQUMvQixhQUFhLEVBQUUsYUFBYSxDQUFDO0lBQzdCLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFDckIsUUFBUSxFQUFFLFFBQVEsQ0FBQztJQUNuQixZQUFZLEVBQUUsWUFBWSxDQUFDO0lBQzNCLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFDckIscUJBQXFCLEVBQUUscUJBQXFCLENBQUM7SUFDN0Msc0JBQXNCLEVBQUUsc0JBQXNCLENBQUM7SUFDL0MsWUFBWSxFQUFFLFlBQVksQ0FBQztJQUMzQixpQkFBaUIsRUFBRSxpQkFBaUIsQ0FBQztJQUNyQyxxQkFBcUIsRUFBRSxxQkFBcUIsQ0FBQztJQUM3QyxtQkFBbUIsRUFBRSxtQkFBbUIsQ0FBQztJQUN6QyxLQUFLLEVBQUUsTUFBTSxDQUFDO0lBQ2QsR0FBRyxDQUFDLEVBQUUsVUFBVSxDQUFDLE9BQU8sWUFBWSxDQUFDLENBQUM7SUFDdEMsTUFBTSxFQUFFLFlBQVksQ0FBQztDQUN0QixDQUFDO0FBRUY7O0dBRUc7QUFDSCxxQkFBYSxzQkFBdUIsWUFBVyxXQUFXLEVBQUUsdUJBQXVCOztJQUNqRixNQUFNLE9BQWlCO0lBQ3ZCLFNBQVMsT0FBaUI7SUFFMUIsT0FBTyxDQUFDLGNBQWMsQ0FBcUI7SUFDM0MsT0FBTyxDQUFDLGVBQWUsQ0FBd0I7SUFFL0MsU0FBUyxDQUFDLFFBQVEsQ0FBQyxlQUFlLEVBQUUsWUFBWSxDQUFDO0lBQ2pELFNBQVMsQ0FBQyxRQUFRLENBQUMsYUFBYSxFQUFFLFdBQVcsRUFBRSxDQUFDO0lBQ2hELFNBQVMsQ0FBQyxRQUFRLENBQUMsUUFBUSxFQUFFLE9BQU8sRUFBRSxDQUFDO0lBQ3ZDLFNBQVMsQ0FBQyxRQUFRLENBQUMsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO0lBQ2xELFNBQVMsQ0FBQyxRQUFRLENBQUMsYUFBYSxFQUFFLGFBQWEsQ0FBQztJQUNoRCxTQUFTLENBQUMsUUFBUSxDQUFDLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFDeEMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDO0lBQ3RDLFNBQVMsQ0FBQyxRQUFRLENBQUMsWUFBWSxFQUFFLFlBQVksQ0FBQztJQUM5QyxTQUFTLENBQUMsUUFBUSxDQUFDLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFDeEMsU0FBUyxDQUFDLFFBQVEsQ0FBQyxxQkFBcUIsRUFBRSxxQkFBcUIsQ0FBQztJQUNoRSxTQUFTLENBQUMsUUFBUSxDQUFDLHNCQUFzQixFQUFFLHNCQUFzQixDQUFDO0lBQ2xFLFNBQVMsQ0FBQyxRQUFRLENBQUMsWUFBWSxFQUFFLFlBQVksQ0FBQztJQUM5QyxTQUFTLENBQUMsUUFBUSxDQUFDLGlCQUFpQixFQUFFLGlCQUFpQixDQUFDO0lBQ3hELFNBQVMsQ0FBQyxRQUFRLENBQUMscUJBQXFCLEVBQUUscUJBQXFCLENBQUM7SUFDaEUsU0FBUyxDQUFDLFFBQVEsQ0FBQyxtQkFBbUIsRUFBRSxtQkFBbUIsQ0FBQztJQUM1RCxTQUFTLENBQUMsUUFBUSxDQUFDLEtBQUssRUFBRSxNQUFNLENBQUM7SUFDakMsU0FBUyxDQUFDLE1BQU0sRUFBRSxVQUFVLENBQUMsT0FBTyxZQUFZLENBQUMsQ0FBQztJQUNsRCxTQUFTLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxZQUFZLENBQUM7SUFFeEMsWUFBWSxJQUFJLEVBQUUsMEJBQTBCLEVBbUIzQztJQUVNLDZCQUE2QixDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsSUFBSSxDQW1CMUQ7SUFFTSxjQUFjLElBQUksRUFBRSxDQUUxQjtJQUVNLGlCQUFpQixJQUFJLGNBQWMsQ0FFekM7SUFFRDs7Ozs7O09BTUc7SUFDVSx1QkFBdUIsQ0FBQyxPQUFPLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxvQkFBb0IsQ0FBQyxDQWMvRTtJQUVEOzs7Ozs7T0FNRztJQUNJLDRCQUE0QixDQUNqQyxTQUFTLEVBQUUsU0FBUyxFQUNwQixRQUFRLEVBQUUsRUFBRSxHQUNYLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLEdBQUcsU0FBUyxDQUFDLENBSXRFO0lBRUQ7Ozs7Ozs7Ozs7T0FVRztJQUNJLDZCQUE2QixDQUNsQyxrQkFBa0IsRUFBRSxTQUFTLEVBQzdCLFNBQVMsRUFBRSxTQUFTLEdBQ25CLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLGNBQWMsQ0FBQyxHQUFHLFNBQVMsQ0FBQyxDQU8vRDtJQUVEOzs7OztPQUtHO0lBQ0ksNkJBQTZCLENBQ2xDLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFNBQVMsRUFBRSxFQUFFLEdBQ1osT0FBTyxDQUFDLDBCQUEwQixHQUFHLFNBQVMsQ0FBQyxDQUlqRDtJQUVEOzs7Ozs7OztPQVFHO0lBQ0ksZ0NBQWdDLENBQ3JDLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFNBQVMsRUFBRSxFQUFFLEdBQ1osT0FBTyxDQUFDLDBCQUEwQixHQUFHLFNBQVMsQ0FBQyxDQUlqRDtJQUVEOzs7OztPQUtHO0lBQ0ksb0JBQW9CLENBQUMsU0FBUyxFQUFFLFNBQVMsRUFBRSxRQUFRLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsR0FBRyxTQUFTLENBQUMsQ0FJdEc7SUFFRDs7OztPQUlHO0lBQ1UsY0FBYyxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLFdBQVcsR0FBRyxTQUFTLENBQUMsQ0FRdEY7SUFFRDs7OztPQUlHO0lBQ1UsaUNBQWlDLENBQzVDLE9BQU8sRUFBRSxZQUFZLEdBQ3BCLE9BQU8sQ0FBQztRQUFFLFVBQVUsRUFBRSxVQUFVLENBQUM7UUFBQyxjQUFjLEVBQUUsY0FBYyxDQUFBO0tBQUUsR0FBRyxTQUFTLENBQUMsQ0FNakY7SUFFRCxVQUFnQix3QkFBd0IsQ0FBQyxPQUFPLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FTeEY7SUFFRDs7OztPQUlHO0lBQ1UsbUJBQW1CLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FNakY7SUFFRDs7Ozs7T0FLRztJQUNJLGNBQWMsQ0FBQyxXQUFXLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEVBQUUsR0FBRyxTQUFTLENBQUMsQ0FFaEU7SUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O09BcUJHO0lBQ1UsUUFBUSxDQUNuQixLQUFLLEVBQUUsWUFBWSxHQUFHLFNBQVMsRUFDL0IsV0FBVyxFQUFFLEVBQUUsRUFDZixVQUFVLEVBQUUsTUFBTSxFQUNsQixlQUFlLEVBQUUsTUFBTSxFQUFFLEVBQ3pCLGVBQWUsRUFBRSxNQUFNLEVBQUUsRUFDekIsZUFBZSxFQUFFLE1BQU0sRUFBRSxFQUN6QixZQUFZLEVBQUUsRUFBRSxFQUFFLEVBQ2xCLGlCQUFpQixFQUFFLE1BQU0sRUFBRSxFQUMzQixhQUFhLEVBQUUsTUFBTSxFQUFFLEVBQ3ZCLGFBQWEsRUFBRSxNQUFNLEVBQUUsRUFDdkIsYUFBYSxFQUFFLE1BQU0sRUFBRSxFQUN2QixTQUFTLEVBQUUsTUFBTSxFQUFFLEVBQ25CLEtBQUssRUFBRSxNQUFNLEVBQ2IsTUFBTSxFQUFFLE1BQU0sRUFDZCxNQUFNLEVBQUUsVUFBVSxHQUNqQixPQUFPLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FpQnJCO0lBRUQ7Ozs7T0FJRztJQUNVLG9CQUFvQixDQUFDLGNBQWMsRUFBRSxFQUFFLG9CQVNuRDtJQUVEOzs7Ozs7O09BT0c7SUFDVSwwQkFBMEIsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQUUsTUFBTSxFQUFFLEVBQUUsd0NBVWpHO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksV0FBVyxDQUNoQixTQUFTLEVBQUUsU0FBUyxFQUNwQixlQUFlLEVBQUUsWUFBWSxFQUM3QixnQkFBZ0IsRUFBRSxFQUFFLEVBQ3BCLGdCQUFnQixFQUFFLE1BQU0saUJBaUJ6QjtJQWtCWSxHQUFHLENBQUMsS0FBSyxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTTVFO0lBRVksZUFBZSxDQUFDLDZCQUE2QixFQUFFLEVBQUUsaUJBYzdEO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ1Usc0NBQXNDLENBQ2pELGVBQWUsRUFBRSxZQUFZLEVBQzdCLG1DQUFtQyxFQUFFLEVBQUUsRUFDdkMsb0NBQW9DLEVBQUUsRUFBRSxFQUN4QyxnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLHFCQUFxQixFQUFFLE1BQU0saUJBbUQ5QjtJQUVZLGdCQUFnQixDQUMzQixlQUFlLEVBQUUsWUFBWSxFQUM3QixpQ0FBaUMsRUFBRSxFQUFFLEVBQ3JDLGtDQUFrQyxFQUFFLEVBQUUsaUJBcUN2QztJQUVZLDZCQUE2QixDQUN4QyxlQUFlLEVBQUUsWUFBWSxFQUM3QixtQ0FBbUMsRUFBRSxFQUFFLEVBQ3ZDLG9DQUFvQyxFQUFFLEVBQUUsaUJBb0N6QztJQUVNLFlBQVksQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLElBQUksRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FPekY7SUFFWSxXQUFXLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxJQUFJLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEVBQUUsR0FBRyxJQUFJLENBQUMsQ0FVdEY7SUFFTSxhQUFhLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxJQUFJLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FPM0U7SUFFTSxXQUFXLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxPQUFPLEVBQUUsRUFBRSxFQUFFLE9BQU8sRUFBRSxFQUFFLEVBQUUsVUFBVSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTTdHO0lBRUQ7OztPQUdHO0lBQ0ksMkJBQTJCLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxNQUFNLEVBQUUsWUFBWSxFQUFFLEdBQUcsSUFBSSxDQUs5RjtJQUdNLGFBQWEsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLEVBQUUsRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLENBR3BGO0lBRUQ7Ozs7O09BS0c7SUFDVSxlQUFlLENBQUMsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FBQyxLQUFLLENBQUMsQ0FRaEY7SUFFTSxrQkFBa0IsQ0FBQyxJQUFJLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUduRDtJQUVELDJEQUEyRDtJQUNwRCxrQkFBa0IsSUFBSSxjQUFjLEVBQUUsQ0FFNUM7Q0FxQkYifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"utility_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/utility_execution_oracle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC1D,OAAO,EAA0B,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEhG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,KAAK,UAAU,EAAwB,MAAM,oBAAoB,CAAC;AAG3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAgB,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvG,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AAGxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAGlF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AACjF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gDAAgD,CAAC;AACpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0DAA0D,CAAC;AAClG,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wDAAwD,CAAC;AACpG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0DAA0D,CAAC;AAMvG,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAEpE,OAAO,KAAK,EAAE,WAAW,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,mDAAmD;AACnD,MAAM,MAAM,0BAA0B,GAAG;IACvC,eAAe,EAAE,YAAY,CAAC;IAC9B,yEAAyE;IACzE,aAAa,EAAE,WAAW,EAAE,CAAC;IAC7B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,iBAAiB,EAAE,WAAW,CAAC;IAC/B,aAAa,EAAE,aAAa,CAAC;IAC7B,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,YAAY,EAAE,YAAY,CAAC;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,qBAAa,sBAAuB,YAAW,WAAW,EAAE,uBAAuB;;IACjF,MAAM,OAAiB;IACvB,SAAS,OAAiB;IAE1B,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,eAAe,CAAwB;IAE/C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC;IACjD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE,CAAC;IAChD,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACvC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IAChD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IACxC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACtC,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAC9C,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IACxC,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IAChE,SAAS,CAAC,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;IAClE,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAC9C,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IACxD,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IAChE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAC5D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAExC,YAAY,IAAI,EAAE,0BAA0B,EAmB3C;IAEM,6BAA6B,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAmB1D;IAEM,cAAc,IAAI,EAAE,CAE1B;IAEM,iBAAiB,IAAI,cAAc,CAEzC;IAED;;;;;;OAMG;IACU,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAc/E;IAED;;;;;;OAMG;IACI,4BAA4B,CACjC,
|
|
1
|
+
{"version":3,"file":"utility_execution_oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/utility_execution_oracle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC1D,OAAO,EAA0B,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEhG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,KAAK,UAAU,EAAwB,MAAM,oBAAoB,CAAC;AAG3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAgB,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACvG,OAAO,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE3D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AAGxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAGlF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AACjF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gDAAgD,CAAC;AACpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0DAA0D,CAAC;AAClG,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wDAAwD,CAAC;AACpG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0DAA0D,CAAC;AAMvG,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAEpE,OAAO,KAAK,EAAE,WAAW,EAAE,uBAAuB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,mDAAmD;AACnD,MAAM,MAAM,0BAA0B,GAAG;IACvC,eAAe,EAAE,YAAY,CAAC;IAC9B,yEAAyE;IACzE,aAAa,EAAE,WAAW,EAAE,CAAC;IAC7B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,iBAAiB,EAAE,WAAW,CAAC;IAC/B,aAAa,EAAE,aAAa,CAAC;IAC7B,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,YAAY,EAAE,YAAY,CAAC;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,qBAAqB,EAAE,qBAAqB,CAAC;IAC7C,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC;IACtC,MAAM,EAAE,YAAY,CAAC;CACtB,CAAC;AAEF;;GAEG;AACH,qBAAa,sBAAuB,YAAW,WAAW,EAAE,uBAAuB;;IACjF,MAAM,OAAiB;IACvB,SAAS,OAAiB;IAE1B,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,eAAe,CAAwB;IAE/C,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY,CAAC;IACjD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,EAAE,CAAC;IAChD,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACvC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IAChD,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IACxC,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACtC,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAC9C,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IACxC,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IAChE,SAAS,CAAC,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;IAClE,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAC9C,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IACxD,SAAS,CAAC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IAChE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAC5D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACjC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAExC,YAAY,IAAI,EAAE,0BAA0B,EAmB3C;IAEM,6BAA6B,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAmB1D;IAEM,cAAc,IAAI,EAAE,CAE1B;IAEM,iBAAiB,IAAI,cAAc,CAEzC;IAED;;;;;;OAMG;IACU,uBAAuB,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAc/E;IAED;;;;;;OAMG;IACI,4BAA4B,CACjC,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,EAAE,GACX,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,GAAG,SAAS,CAAC,CAItE;IAED;;;;;;;;;;OAUG;IACI,6BAA6B,CAClC,kBAAkB,EAAE,SAAS,EAC7B,SAAS,EAAE,SAAS,GACnB,OAAO,CAAC,iBAAiB,CAAC,OAAO,cAAc,CAAC,GAAG,SAAS,CAAC,CAO/D;IAED;;;;;OAKG;IACI,6BAA6B,CAClC,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAIjD;IAED;;;;;;;;OAQG;IACI,gCAAgC,CACrC,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAIjD;IAED;;;;;OAKG;IACI,oBAAoB,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAItG;IAED;;;;OAIG;IACU,cAAc,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAQtF;IAED;;;;OAIG;IACU,iCAAiC,CAC5C,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,cAAc,EAAE,cAAc,CAAA;KAAE,GAAG,SAAS,CAAC,CAMjF;IAED,UAAgB,wBAAwB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC,CASxF;IAED;;;;OAIG;IACU,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAMjF;IAED;;;;;OAKG;IACI,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAEhE;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACU,QAAQ,CACnB,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,CAiBrB;IAED;;;;OAIG;IACU,oBAAoB,CAAC,cAAc,EAAE,EAAE,oBASnD;IAED;;;;;;;OAOG;IACU,0BAA0B,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,wCAUjG;IAED;;;;;;OAMG;IACI,WAAW,CAChB,SAAS,EAAE,SAAS,EACpB,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,gBAAgB,EAAE,MAAM,iBAiBzB;IAkBY,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAM5E;IAEY,eAAe,CAAC,6BAA6B,EAAE,EAAE,iBAc7D;IAED;;;;;;;;;OASG;IACU,sCAAsC,CACjD,eAAe,EAAE,YAAY,EAC7B,mCAAmC,EAAE,EAAE,EACvC,oCAAoC,EAAE,EAAE,EACxC,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,iBAmD9B;IAEY,gBAAgB,CAC3B,eAAe,EAAE,YAAY,EAC7B,iCAAiC,EAAE,EAAE,EACrC,kCAAkC,EAAE,EAAE,iBAqCvC;IAEY,6BAA6B,CACxC,eAAe,EAAE,YAAY,EAC7B,mCAAmC,EAAE,EAAE,EACvC,oCAAoC,EAAE,EAAE,iBAoCzC;IAEM,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAOzF;IAEY,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAUtF;IAEM,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAO3E;IAEM,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAM7G;IAED;;;OAGG;IACI,2BAA2B,CAAC,eAAe,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,CAK9F;IAGM,aAAa,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAGpF;IAED;;;;;OAKG;IACU,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAQhF;IAEM,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAGnD;IAED,2DAA2D;IACpD,kBAAkB,IAAI,cAAc,EAAE,CAE5C;CAqBF"}
|
|
@@ -111,12 +111,12 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
111
111
|
}
|
|
112
112
|
/**
|
|
113
113
|
* Fetches the index and sibling path of a leaf at a given block from the note hash tree.
|
|
114
|
-
* @param
|
|
115
|
-
* witness.
|
|
114
|
+
* @param blockHash - The hash of a block that contains the note hash tree root in which to find the
|
|
115
|
+
* membership witness.
|
|
116
116
|
* @param noteHash - The note hash to find in the note hash tree.
|
|
117
117
|
* @returns The membership witness containing the leaf index and sibling path
|
|
118
|
-
*/ getNoteHashMembershipWitness(
|
|
119
|
-
return this.aztecNode.getNoteHashMembershipWitness(
|
|
118
|
+
*/ getNoteHashMembershipWitness(blockHash, noteHash) {
|
|
119
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getNoteHashMembershipWitness(blockHash, noteHash));
|
|
120
120
|
}
|
|
121
121
|
/**
|
|
122
122
|
* Fetches the index and sibling path of a block hash in the archive tree.
|
|
@@ -124,12 +124,15 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
124
124
|
* Block hashes are the leaves of the archive tree. Each time a new block is added to the chain,
|
|
125
125
|
* its block hash is appended as a new leaf to the archive tree.
|
|
126
126
|
*
|
|
127
|
-
* @param
|
|
127
|
+
* @param referenceBlockHash - The hash of a block that contains the archive tree root in which to find the membership
|
|
128
128
|
* witness.
|
|
129
129
|
* @param blockHash - The block hash to find in the archive tree.
|
|
130
130
|
* @returns The membership witness containing the leaf index and sibling path
|
|
131
|
-
*/ getBlockHashMembershipWitness(
|
|
132
|
-
|
|
131
|
+
*/ getBlockHashMembershipWitness(referenceBlockHash, blockHash) {
|
|
132
|
+
// Note that we validate that the reference block hash is at or before the anchor block - we don't test the block
|
|
133
|
+
// hash at all. If the block hash did not exist by the reference block hash, then the node will not return the
|
|
134
|
+
// membership witness as there is none.
|
|
135
|
+
return this.#queryWithBlockHashNotAfterAnchor(referenceBlockHash, ()=>this.aztecNode.getBlockHashMembershipWitness(referenceBlockHash, blockHash));
|
|
133
136
|
}
|
|
134
137
|
/**
|
|
135
138
|
* Returns a nullifier membership witness for a given nullifier at a given block.
|
|
@@ -137,7 +140,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
137
140
|
* @param nullifier - Nullifier we try to find witness for.
|
|
138
141
|
* @returns The nullifier membership witness (if found).
|
|
139
142
|
*/ getNullifierMembershipWitness(blockHash, nullifier) {
|
|
140
|
-
return this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier);
|
|
143
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier));
|
|
141
144
|
}
|
|
142
145
|
/**
|
|
143
146
|
* Returns a low nullifier membership witness for a given nullifier at a given block.
|
|
@@ -148,7 +151,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
148
151
|
* list structure" of leaves and proving that a lower nullifier is pointing to a bigger next value than the nullifier
|
|
149
152
|
* we are trying to prove non-inclusion for.
|
|
150
153
|
*/ getLowNullifierMembershipWitness(blockHash, nullifier) {
|
|
151
|
-
return this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier);
|
|
154
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier));
|
|
152
155
|
}
|
|
153
156
|
/**
|
|
154
157
|
* Returns a public data tree witness for a given leaf slot at a given block.
|
|
@@ -156,7 +159,7 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
156
159
|
* @param leafSlot - The slot of the public data tree to get the witness for.
|
|
157
160
|
* @returns - The witness
|
|
158
161
|
*/ getPublicDataWitness(blockHash, leafSlot) {
|
|
159
|
-
return this.aztecNode.getPublicDataWitness(blockHash, leafSlot);
|
|
162
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, ()=>this.aztecNode.getPublicDataWitness(blockHash, leafSlot));
|
|
160
163
|
}
|
|
161
164
|
/**
|
|
162
165
|
* Fetches a block header of a given block.
|
|
@@ -272,14 +275,14 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
272
275
|
return leafIndex?.data !== undefined;
|
|
273
276
|
}
|
|
274
277
|
/**
|
|
275
|
-
*
|
|
278
|
+
* Returns the membership witness of an un-nullified L1 to L2 message.
|
|
276
279
|
* @param contractAddress - Address of a contract by which the message was emitted.
|
|
277
280
|
* @param messageHash - Hash of the message.
|
|
278
281
|
* @param secret - Secret used to compute a nullifier.
|
|
279
282
|
* @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
|
|
280
283
|
* @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
|
|
281
284
|
*/ async getL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
|
|
282
|
-
const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret);
|
|
285
|
+
const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret, await this.anchorBlockHeader.hash());
|
|
283
286
|
return new MessageLoadOracleInputs(messageIndex, siblingPath);
|
|
284
287
|
}
|
|
285
288
|
/**
|
|
@@ -288,11 +291,13 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
288
291
|
* @param contractAddress - The address to read storage from.
|
|
289
292
|
* @param startStorageSlot - The starting storage slot.
|
|
290
293
|
* @param numberOfElements - Number of elements to read from the starting storage slot.
|
|
291
|
-
*/
|
|
292
|
-
|
|
293
|
-
|
|
294
|
-
|
|
295
|
-
|
|
294
|
+
*/ storageRead(blockHash, contractAddress, startStorageSlot, numberOfElements) {
|
|
295
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, async ()=>{
|
|
296
|
+
const slots = Array(numberOfElements).fill(0).map((_, i)=>new Fr(startStorageSlot.value + BigInt(i)));
|
|
297
|
+
const values = await Promise.all(slots.map((storageSlot)=>this.aztecNode.getPublicStorageAt(blockHash, contractAddress, storageSlot)));
|
|
298
|
+
this.logger.debug(`Oracle storage read: slots=[${slots.map((slot)=>slot.toString()).join(', ')}] address=${contractAddress.toString()} values=[${values.join(', ')}]`);
|
|
299
|
+
return values;
|
|
300
|
+
});
|
|
296
301
|
}
|
|
297
302
|
/**
|
|
298
303
|
* Returns a per-contract logger whose output is prefixed with `contract_log::<name>(<addrAbbrev>)`.
|
|
@@ -448,4 +453,19 @@ import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
|
|
|
448
453
|
/** Returns offchain effects collected during execution. */ getOffchainEffects() {
|
|
449
454
|
return this.offchainEffects;
|
|
450
455
|
}
|
|
456
|
+
/** Runs a query concurrently with a validation that the block hash is not ahead of the anchor block. */ async #queryWithBlockHashNotAfterAnchor(blockHash, query) {
|
|
457
|
+
const [response] = await Promise.all([
|
|
458
|
+
query(),
|
|
459
|
+
(async ()=>{
|
|
460
|
+
const header = await this.aztecNode.getBlockHeader(blockHash);
|
|
461
|
+
if (!header) {
|
|
462
|
+
throw new Error(`Could not find block header for block hash ${blockHash}`);
|
|
463
|
+
}
|
|
464
|
+
if (header.getBlockNumber() > this.anchorBlockHeader.getBlockNumber()) {
|
|
465
|
+
throw new Error(`Made a node query with a reference block hash ${blockHash} with block number ${header.getBlockNumber()}, which is ahead of the anchor block number ${this.anchorBlockHeader.getBlockNumber()} (from anchor block hash ${await this.anchorBlockHeader.hash()}).`);
|
|
466
|
+
}
|
|
467
|
+
})()
|
|
468
|
+
]);
|
|
469
|
+
return response;
|
|
470
|
+
}
|
|
451
471
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/pxe",
|
|
3
|
-
"version": "0.0.1-commit.
|
|
3
|
+
"version": "0.0.1-commit.ce4f8c4f2",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"typedocOptions": {
|
|
6
6
|
"entryPoints": [
|
|
@@ -70,19 +70,19 @@
|
|
|
70
70
|
]
|
|
71
71
|
},
|
|
72
72
|
"dependencies": {
|
|
73
|
-
"@aztec/bb-prover": "0.0.1-commit.
|
|
74
|
-
"@aztec/bb.js": "0.0.1-commit.
|
|
75
|
-
"@aztec/builder": "0.0.1-commit.
|
|
76
|
-
"@aztec/constants": "0.0.1-commit.
|
|
77
|
-
"@aztec/ethereum": "0.0.1-commit.
|
|
78
|
-
"@aztec/foundation": "0.0.1-commit.
|
|
79
|
-
"@aztec/key-store": "0.0.1-commit.
|
|
80
|
-
"@aztec/kv-store": "0.0.1-commit.
|
|
81
|
-
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.
|
|
82
|
-
"@aztec/noir-types": "0.0.1-commit.
|
|
83
|
-
"@aztec/protocol-contracts": "0.0.1-commit.
|
|
84
|
-
"@aztec/simulator": "0.0.1-commit.
|
|
85
|
-
"@aztec/stdlib": "0.0.1-commit.
|
|
73
|
+
"@aztec/bb-prover": "0.0.1-commit.ce4f8c4f2",
|
|
74
|
+
"@aztec/bb.js": "0.0.1-commit.ce4f8c4f2",
|
|
75
|
+
"@aztec/builder": "0.0.1-commit.ce4f8c4f2",
|
|
76
|
+
"@aztec/constants": "0.0.1-commit.ce4f8c4f2",
|
|
77
|
+
"@aztec/ethereum": "0.0.1-commit.ce4f8c4f2",
|
|
78
|
+
"@aztec/foundation": "0.0.1-commit.ce4f8c4f2",
|
|
79
|
+
"@aztec/key-store": "0.0.1-commit.ce4f8c4f2",
|
|
80
|
+
"@aztec/kv-store": "0.0.1-commit.ce4f8c4f2",
|
|
81
|
+
"@aztec/noir-protocol-circuits-types": "0.0.1-commit.ce4f8c4f2",
|
|
82
|
+
"@aztec/noir-types": "0.0.1-commit.ce4f8c4f2",
|
|
83
|
+
"@aztec/protocol-contracts": "0.0.1-commit.ce4f8c4f2",
|
|
84
|
+
"@aztec/simulator": "0.0.1-commit.ce4f8c4f2",
|
|
85
|
+
"@aztec/stdlib": "0.0.1-commit.ce4f8c4f2",
|
|
86
86
|
"koa": "^2.16.1",
|
|
87
87
|
"koa-router": "^13.1.1",
|
|
88
88
|
"lodash.omit": "^4.5.0",
|
|
@@ -91,8 +91,8 @@
|
|
|
91
91
|
"viem": "npm:@aztec/viem@2.38.2"
|
|
92
92
|
},
|
|
93
93
|
"devDependencies": {
|
|
94
|
-
"@aztec/noir-test-contracts.js": "0.0.1-commit.
|
|
95
|
-
"@aztec/world-state": "0.0.1-commit.
|
|
94
|
+
"@aztec/noir-test-contracts.js": "0.0.1-commit.ce4f8c4f2",
|
|
95
|
+
"@aztec/world-state": "0.0.1-commit.ce4f8c4f2",
|
|
96
96
|
"@jest/globals": "^30.0.0",
|
|
97
97
|
"@types/jest": "^30.0.0",
|
|
98
98
|
"@types/lodash.omit": "^4.5.7",
|
|
@@ -173,16 +173,18 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
173
173
|
|
|
174
174
|
/**
|
|
175
175
|
* Fetches the index and sibling path of a leaf at a given block from the note hash tree.
|
|
176
|
-
* @param
|
|
177
|
-
* witness.
|
|
176
|
+
* @param blockHash - The hash of a block that contains the note hash tree root in which to find the
|
|
177
|
+
* membership witness.
|
|
178
178
|
* @param noteHash - The note hash to find in the note hash tree.
|
|
179
179
|
* @returns The membership witness containing the leaf index and sibling path
|
|
180
180
|
*/
|
|
181
181
|
public getNoteHashMembershipWitness(
|
|
182
|
-
|
|
182
|
+
blockHash: BlockHash,
|
|
183
183
|
noteHash: Fr,
|
|
184
184
|
): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT> | undefined> {
|
|
185
|
-
return this
|
|
185
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, () =>
|
|
186
|
+
this.aztecNode.getNoteHashMembershipWitness(blockHash, noteHash),
|
|
187
|
+
);
|
|
186
188
|
}
|
|
187
189
|
|
|
188
190
|
/**
|
|
@@ -191,16 +193,21 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
191
193
|
* Block hashes are the leaves of the archive tree. Each time a new block is added to the chain,
|
|
192
194
|
* its block hash is appended as a new leaf to the archive tree.
|
|
193
195
|
*
|
|
194
|
-
* @param
|
|
196
|
+
* @param referenceBlockHash - The hash of a block that contains the archive tree root in which to find the membership
|
|
195
197
|
* witness.
|
|
196
198
|
* @param blockHash - The block hash to find in the archive tree.
|
|
197
199
|
* @returns The membership witness containing the leaf index and sibling path
|
|
198
200
|
*/
|
|
199
201
|
public getBlockHashMembershipWitness(
|
|
200
|
-
|
|
202
|
+
referenceBlockHash: BlockHash,
|
|
201
203
|
blockHash: BlockHash,
|
|
202
204
|
): Promise<MembershipWitness<typeof ARCHIVE_HEIGHT> | undefined> {
|
|
203
|
-
|
|
205
|
+
// Note that we validate that the reference block hash is at or before the anchor block - we don't test the block
|
|
206
|
+
// hash at all. If the block hash did not exist by the reference block hash, then the node will not return the
|
|
207
|
+
// membership witness as there is none.
|
|
208
|
+
return this.#queryWithBlockHashNotAfterAnchor(referenceBlockHash, () =>
|
|
209
|
+
this.aztecNode.getBlockHashMembershipWitness(referenceBlockHash, blockHash),
|
|
210
|
+
);
|
|
204
211
|
}
|
|
205
212
|
|
|
206
213
|
/**
|
|
@@ -213,7 +220,9 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
213
220
|
blockHash: BlockHash,
|
|
214
221
|
nullifier: Fr,
|
|
215
222
|
): Promise<NullifierMembershipWitness | undefined> {
|
|
216
|
-
return this
|
|
223
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, () =>
|
|
224
|
+
this.aztecNode.getNullifierMembershipWitness(blockHash, nullifier),
|
|
225
|
+
);
|
|
217
226
|
}
|
|
218
227
|
|
|
219
228
|
/**
|
|
@@ -229,7 +238,9 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
229
238
|
blockHash: BlockHash,
|
|
230
239
|
nullifier: Fr,
|
|
231
240
|
): Promise<NullifierMembershipWitness | undefined> {
|
|
232
|
-
return this
|
|
241
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, () =>
|
|
242
|
+
this.aztecNode.getLowNullifierMembershipWitness(blockHash, nullifier),
|
|
243
|
+
);
|
|
233
244
|
}
|
|
234
245
|
|
|
235
246
|
/**
|
|
@@ -239,7 +250,9 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
239
250
|
* @returns - The witness
|
|
240
251
|
*/
|
|
241
252
|
public getPublicDataWitness(blockHash: BlockHash, leafSlot: Fr): Promise<PublicDataWitness | undefined> {
|
|
242
|
-
return this
|
|
253
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, () =>
|
|
254
|
+
this.aztecNode.getPublicDataWitness(blockHash, leafSlot),
|
|
255
|
+
);
|
|
243
256
|
}
|
|
244
257
|
|
|
245
258
|
/**
|
|
@@ -380,7 +393,7 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
380
393
|
}
|
|
381
394
|
|
|
382
395
|
/**
|
|
383
|
-
*
|
|
396
|
+
* Returns the membership witness of an un-nullified L1 to L2 message.
|
|
384
397
|
* @param contractAddress - Address of a contract by which the message was emitted.
|
|
385
398
|
* @param messageHash - Hash of the message.
|
|
386
399
|
* @param secret - Secret used to compute a nullifier.
|
|
@@ -393,6 +406,7 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
393
406
|
contractAddress,
|
|
394
407
|
messageHash,
|
|
395
408
|
secret,
|
|
409
|
+
await this.anchorBlockHeader.hash(),
|
|
396
410
|
);
|
|
397
411
|
|
|
398
412
|
return new MessageLoadOracleInputs(messageIndex, siblingPath);
|
|
@@ -405,25 +419,27 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
405
419
|
* @param startStorageSlot - The starting storage slot.
|
|
406
420
|
* @param numberOfElements - Number of elements to read from the starting storage slot.
|
|
407
421
|
*/
|
|
408
|
-
public
|
|
422
|
+
public storageRead(
|
|
409
423
|
blockHash: BlockHash,
|
|
410
424
|
contractAddress: AztecAddress,
|
|
411
425
|
startStorageSlot: Fr,
|
|
412
426
|
numberOfElements: number,
|
|
413
427
|
) {
|
|
414
|
-
|
|
415
|
-
|
|
416
|
-
|
|
428
|
+
return this.#queryWithBlockHashNotAfterAnchor(blockHash, async () => {
|
|
429
|
+
const slots = Array(numberOfElements)
|
|
430
|
+
.fill(0)
|
|
431
|
+
.map((_, i) => new Fr(startStorageSlot.value + BigInt(i)));
|
|
417
432
|
|
|
418
|
-
|
|
419
|
-
|
|
420
|
-
|
|
433
|
+
const values = await Promise.all(
|
|
434
|
+
slots.map(storageSlot => this.aztecNode.getPublicStorageAt(blockHash, contractAddress, storageSlot)),
|
|
435
|
+
);
|
|
421
436
|
|
|
422
|
-
|
|
423
|
-
|
|
424
|
-
|
|
437
|
+
this.logger.debug(
|
|
438
|
+
`Oracle storage read: slots=[${slots.map(slot => slot.toString()).join(', ')}] address=${contractAddress.toString()} values=[${values.join(', ')}]`,
|
|
439
|
+
);
|
|
425
440
|
|
|
426
|
-
|
|
441
|
+
return values;
|
|
442
|
+
});
|
|
427
443
|
}
|
|
428
444
|
|
|
429
445
|
/**
|
|
@@ -697,4 +713,24 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
|
|
|
697
713
|
public getOffchainEffects(): OffchainEffect[] {
|
|
698
714
|
return this.offchainEffects;
|
|
699
715
|
}
|
|
716
|
+
|
|
717
|
+
/** Runs a query concurrently with a validation that the block hash is not ahead of the anchor block. */
|
|
718
|
+
async #queryWithBlockHashNotAfterAnchor<T>(blockHash: BlockHash, query: () => Promise<T>): Promise<T> {
|
|
719
|
+
const [response] = await Promise.all([
|
|
720
|
+
query(),
|
|
721
|
+
(async () => {
|
|
722
|
+
const header = await this.aztecNode.getBlockHeader(blockHash);
|
|
723
|
+
if (!header) {
|
|
724
|
+
throw new Error(`Could not find block header for block hash ${blockHash}`);
|
|
725
|
+
}
|
|
726
|
+
|
|
727
|
+
if (header.getBlockNumber() > this.anchorBlockHeader.getBlockNumber()) {
|
|
728
|
+
throw new Error(
|
|
729
|
+
`Made a node query with a reference block hash ${blockHash} with block number ${header.getBlockNumber()}, which is ahead of the anchor block number ${this.anchorBlockHeader.getBlockNumber()} (from anchor block hash ${await this.anchorBlockHeader.hash()}).`,
|
|
730
|
+
);
|
|
731
|
+
}
|
|
732
|
+
})(),
|
|
733
|
+
]);
|
|
734
|
+
return response;
|
|
735
|
+
}
|
|
700
736
|
}
|