@aztec/pxe 0.0.1-commit.29c6b1a3 → 0.0.1-commit.2d9cb6034

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.
Files changed (237) hide show
  1. package/dest/block_synchronizer/block_synchronizer.d.ts +5 -3
  2. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  3. package/dest/block_synchronizer/block_synchronizer.js +15 -3
  4. package/dest/config/index.d.ts +2 -2
  5. package/dest/config/index.d.ts.map +1 -1
  6. package/dest/config/index.js +1 -1
  7. package/dest/config/package_info.js +1 -1
  8. package/dest/contract_function_simulator/contract_function_simulator.d.ts +60 -31
  9. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  10. package/dest/contract_function_simulator/contract_function_simulator.js +201 -74
  11. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +7 -7
  12. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
  13. package/dest/contract_function_simulator/execution_tagging_index_cache.js +19 -11
  14. package/dest/contract_function_simulator/index.d.ts +2 -1
  15. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  16. package/dest/contract_function_simulator/index.js +1 -0
  17. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +3 -5
  18. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  19. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +7 -9
  20. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +1 -1
  21. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  22. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +1 -3
  23. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +3 -6
  24. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  25. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +5 -10
  26. package/dest/contract_function_simulator/oracle/interfaces.d.ts +50 -45
  27. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +9 -0
  29. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +1 -0
  30. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +38 -0
  31. package/dest/contract_function_simulator/oracle/oracle.d.ts +64 -44
  32. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/oracle/oracle.js +211 -109
  34. package/dest/contract_function_simulator/oracle/private_execution.js +5 -3
  35. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +53 -79
  36. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  37. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +109 -87
  38. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +100 -57
  39. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  40. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +243 -128
  41. package/dest/contract_logging.d.ts +27 -0
  42. package/dest/contract_logging.d.ts.map +1 -0
  43. package/dest/contract_logging.js +38 -0
  44. package/dest/contract_sync/contract_sync_service.d.ts +44 -0
  45. package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
  46. package/dest/contract_sync/contract_sync_service.js +104 -0
  47. package/dest/contract_sync/helpers.d.ts +28 -0
  48. package/dest/contract_sync/helpers.d.ts.map +1 -0
  49. package/dest/contract_sync/{index.js → helpers.js} +19 -13
  50. package/dest/debug/pxe_debug_utils.d.ts +14 -10
  51. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  52. package/dest/debug/pxe_debug_utils.js +16 -15
  53. package/dest/entrypoints/client/bundle/index.d.ts +3 -1
  54. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  55. package/dest/entrypoints/client/bundle/index.js +2 -0
  56. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  57. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  58. package/dest/entrypoints/client/bundle/utils.js +21 -7
  59. package/dest/entrypoints/client/lazy/index.d.ts +3 -1
  60. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  61. package/dest/entrypoints/client/lazy/index.js +2 -0
  62. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  63. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  64. package/dest/entrypoints/client/lazy/utils.js +22 -8
  65. package/dest/entrypoints/pxe_creation_options.d.ts +3 -2
  66. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  67. package/dest/entrypoints/server/index.d.ts +3 -2
  68. package/dest/entrypoints/server/index.d.ts.map +1 -1
  69. package/dest/entrypoints/server/index.js +2 -1
  70. package/dest/entrypoints/server/utils.d.ts +1 -1
  71. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  72. package/dest/entrypoints/server/utils.js +28 -9
  73. package/dest/events/event_service.d.ts +5 -5
  74. package/dest/events/event_service.d.ts.map +1 -1
  75. package/dest/events/event_service.js +20 -9
  76. package/dest/job_coordinator/job_coordinator.d.ts +3 -2
  77. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -1
  78. package/dest/job_coordinator/job_coordinator.js +3 -2
  79. package/dest/logs/log_service.d.ts +9 -8
  80. package/dest/logs/log_service.d.ts.map +1 -1
  81. package/dest/logs/log_service.js +46 -54
  82. package/dest/messages/message_context_service.d.ts +17 -0
  83. package/dest/messages/message_context_service.d.ts.map +1 -0
  84. package/dest/messages/message_context_service.js +36 -0
  85. package/dest/notes/note_service.d.ts +7 -8
  86. package/dest/notes/note_service.d.ts.map +1 -1
  87. package/dest/notes/note_service.js +23 -14
  88. package/dest/notes_filter.d.ts +24 -0
  89. package/dest/notes_filter.d.ts.map +1 -0
  90. package/dest/notes_filter.js +4 -0
  91. package/dest/oracle_version.d.ts +3 -3
  92. package/dest/oracle_version.d.ts.map +1 -1
  93. package/dest/oracle_version.js +3 -3
  94. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts +4 -0
  95. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts.map +1 -0
  96. package/dest/private_kernel/hints/{compute_tx_include_by_timestamp.js → compute_tx_expiration_timestamp.js} +12 -12
  97. package/dest/private_kernel/hints/index.d.ts +1 -1
  98. package/dest/private_kernel/hints/index.js +1 -1
  99. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +4 -3
  100. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -1
  101. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.js +129 -68
  102. package/dest/private_kernel/hints/test_utils.d.ts +122 -0
  103. package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
  104. package/dest/private_kernel/hints/test_utils.js +203 -0
  105. package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
  106. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  107. package/dest/private_kernel/private_kernel_execution_prover.js +21 -13
  108. package/dest/private_kernel/private_kernel_oracle.d.ts +6 -2
  109. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  110. package/dest/private_kernel/private_kernel_oracle.js +7 -3
  111. package/dest/pxe.d.ts +73 -24
  112. package/dest/pxe.d.ts.map +1 -1
  113. package/dest/pxe.js +130 -76
  114. package/dest/storage/address_store/address_store.d.ts +1 -1
  115. package/dest/storage/address_store/address_store.d.ts.map +1 -1
  116. package/dest/storage/address_store/address_store.js +12 -11
  117. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -1
  118. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -1
  119. package/dest/storage/anchor_block_store/anchor_block_store.js +8 -1
  120. package/dest/storage/capsule_store/capsule_service.d.ts +21 -0
  121. package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -0
  122. package/dest/storage/capsule_store/capsule_service.js +50 -0
  123. package/dest/storage/capsule_store/capsule_store.d.ts +9 -9
  124. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  125. package/dest/storage/capsule_store/capsule_store.js +39 -36
  126. package/dest/storage/capsule_store/index.d.ts +2 -1
  127. package/dest/storage/capsule_store/index.d.ts.map +1 -1
  128. package/dest/storage/capsule_store/index.js +1 -0
  129. package/dest/storage/contract_store/contract_store.d.ts +42 -15
  130. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  131. package/dest/storage/contract_store/contract_store.js +157 -72
  132. package/dest/storage/metadata.d.ts +1 -1
  133. package/dest/storage/metadata.js +1 -1
  134. package/dest/storage/note_store/note_store.d.ts +13 -3
  135. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  136. package/dest/storage/note_store/note_store.js +147 -107
  137. package/dest/storage/private_event_store/private_event_store.d.ts +1 -1
  138. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  139. package/dest/storage/private_event_store/private_event_store.js +84 -61
  140. package/dest/storage/private_event_store/stored_private_event.js +1 -1
  141. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +6 -6
  142. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  143. package/dest/storage/tagging_store/recipient_tagging_store.js +31 -19
  144. package/dest/storage/tagging_store/sender_address_book_store.d.ts +1 -1
  145. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -1
  146. package/dest/storage/tagging_store/sender_address_book_store.js +20 -14
  147. package/dest/storage/tagging_store/sender_tagging_store.d.ts +29 -28
  148. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  149. package/dest/storage/tagging_store/sender_tagging_store.js +233 -137
  150. package/dest/tagging/get_all_logs_by_tags.d.ts +1 -1
  151. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -1
  152. package/dest/tagging/get_all_logs_by_tags.js +17 -3
  153. package/dest/tagging/index.d.ts +3 -3
  154. package/dest/tagging/index.d.ts.map +1 -1
  155. package/dest/tagging/index.js +1 -1
  156. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +4 -5
  157. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -1
  158. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +7 -7
  159. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +2 -2
  160. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +6 -7
  161. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -1
  162. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +12 -11
  163. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +4 -8
  164. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  165. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +13 -7
  166. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +4 -3
  167. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  168. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +20 -10
  169. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +5 -7
  170. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  171. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +36 -24
  172. package/package.json +25 -16
  173. package/src/block_synchronizer/block_synchronizer.ts +27 -12
  174. package/src/config/index.ts +1 -1
  175. package/src/config/package_info.ts +1 -1
  176. package/src/contract_function_simulator/contract_function_simulator.ts +360 -133
  177. package/src/contract_function_simulator/execution_tagging_index_cache.ts +19 -14
  178. package/src/contract_function_simulator/index.ts +1 -0
  179. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +8 -8
  180. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +1 -4
  181. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +3 -9
  182. package/src/contract_function_simulator/oracle/interfaces.ts +69 -60
  183. package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +98 -0
  184. package/src/contract_function_simulator/oracle/oracle.ts +245 -144
  185. package/src/contract_function_simulator/oracle/private_execution.ts +4 -4
  186. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +135 -184
  187. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +410 -145
  188. package/src/contract_logging.ts +52 -0
  189. package/src/contract_sync/contract_sync_service.ts +170 -0
  190. package/src/contract_sync/{index.ts → helpers.ts} +22 -22
  191. package/src/debug/pxe_debug_utils.ts +48 -18
  192. package/src/entrypoints/client/bundle/index.ts +2 -0
  193. package/src/entrypoints/client/bundle/utils.ts +16 -15
  194. package/src/entrypoints/client/lazy/index.ts +2 -0
  195. package/src/entrypoints/client/lazy/utils.ts +17 -15
  196. package/src/entrypoints/pxe_creation_options.ts +2 -1
  197. package/src/entrypoints/server/index.ts +2 -1
  198. package/src/entrypoints/server/utils.ts +22 -26
  199. package/src/events/event_service.ts +21 -10
  200. package/src/job_coordinator/job_coordinator.ts +4 -3
  201. package/src/logs/log_service.ts +87 -79
  202. package/src/messages/message_context_service.ts +44 -0
  203. package/src/notes/note_service.ts +24 -15
  204. package/src/notes_filter.ts +24 -0
  205. package/src/oracle_version.ts +3 -3
  206. package/src/private_kernel/hints/{compute_tx_include_by_timestamp.ts → compute_tx_expiration_timestamp.ts} +13 -13
  207. package/src/private_kernel/hints/index.ts +1 -1
  208. package/src/private_kernel/hints/private_kernel_reset_private_inputs_builder.ts +164 -117
  209. package/src/private_kernel/hints/test_utils.ts +325 -0
  210. package/src/private_kernel/private_kernel_execution_prover.ts +25 -15
  211. package/src/private_kernel/private_kernel_oracle.ts +7 -7
  212. package/src/pxe.ts +242 -129
  213. package/src/storage/address_store/address_store.ts +15 -15
  214. package/src/storage/anchor_block_store/anchor_block_store.ts +8 -0
  215. package/src/storage/capsule_store/capsule_service.ts +90 -0
  216. package/src/storage/capsule_store/capsule_store.ts +42 -34
  217. package/src/storage/capsule_store/index.ts +1 -0
  218. package/src/storage/contract_store/contract_store.ts +186 -76
  219. package/src/storage/metadata.ts +1 -1
  220. package/src/storage/note_store/note_store.ts +166 -132
  221. package/src/storage/private_event_store/private_event_store.ts +102 -81
  222. package/src/storage/private_event_store/stored_private_event.ts +1 -1
  223. package/src/storage/tagging_store/recipient_tagging_store.ts +38 -24
  224. package/src/storage/tagging_store/sender_address_book_store.ts +20 -14
  225. package/src/storage/tagging_store/sender_tagging_store.ts +287 -156
  226. package/src/tagging/get_all_logs_by_tags.ts +28 -4
  227. package/src/tagging/index.ts +2 -2
  228. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +7 -10
  229. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +2 -2
  230. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +10 -15
  231. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +23 -10
  232. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +26 -11
  233. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +27 -26
  234. package/dest/contract_sync/index.d.ts +0 -23
  235. package/dest/contract_sync/index.d.ts.map +0 -1
  236. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +0 -4
  237. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +0 -1
@@ -1,19 +1,20 @@
1
1
  import type { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { createLogger } from '@aztec/foundation/log';
2
3
  import type { EventSelector } from '@aztec/stdlib/abi';
3
4
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
5
  import { siloNullifier } from '@aztec/stdlib/hash';
5
6
  import type { AztecNode } from '@aztec/stdlib/interfaces/server';
6
- import type { TxHash } from '@aztec/stdlib/tx';
7
+ import type { BlockHeader, TxHash } from '@aztec/stdlib/tx';
7
8
 
8
- import { AnchorBlockStore } from '../storage/anchor_block_store/anchor_block_store.js';
9
9
  import { PrivateEventStore } from '../storage/private_event_store/private_event_store.js';
10
10
 
11
11
  export class EventService {
12
12
  constructor(
13
- private readonly anchorBlockStore: AnchorBlockStore,
13
+ private readonly anchorBlockHeader: BlockHeader,
14
14
  private readonly aztecNode: AztecNode,
15
15
  private readonly privateEventStore: PrivateEventStore,
16
16
  private readonly jobId: string,
17
+ private readonly log = createLogger('pxe:event_service'),
17
18
  ) {}
18
19
 
19
20
  public async validateAndStoreEvent(
@@ -29,28 +30,38 @@ export class EventService {
29
30
  // (and thus we're less concerned about being ahead of the synced block), we use the synced block number to
30
31
  // maintain consistent behavior in the PXE. Additionally, events should never be ahead of the synced block here
31
32
  // since `fetchTaggedLogs` only processes logs up to the synced block.
32
- const [anchorBlockHeader, siloedEventCommitment, txEffect] = await Promise.all([
33
- this.anchorBlockStore.getBlockHeader(),
33
+ const [siloedEventCommitment, txEffect] = await Promise.all([
34
34
  siloNullifier(contractAddress, eventCommitment),
35
35
  this.aztecNode.getTxEffect(txHash),
36
36
  ]);
37
37
 
38
- const anchorBlockNumber = anchorBlockHeader.getBlockNumber();
38
+ const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
39
39
 
40
40
  if (!txEffect) {
41
- throw new Error(`Could not find tx effect for tx hash ${txHash}`);
41
+ // We error out instead of just logging a warning and skipping the event because this would indicate a bug. This
42
+ // is because the node has already served info about this tx either when obtaining the log (TxScopedL2Log contain
43
+ // tx info) or when getting metadata for the offchain message (before the message got passed to `process_log`).
44
+ throw new Error(`Could not find tx effect for tx hash ${txHash} when processing an event.`);
42
45
  }
43
46
 
44
47
  if (txEffect.l2BlockNumber > anchorBlockNumber) {
45
- throw new Error(`Could not find tx effect for tx hash ${txHash} as of block number ${anchorBlockNumber}`);
48
+ // We should never process a message from a tx past the anchor block. If we got here, a preprocessing step made
49
+ // a mistake.
50
+ throw new Error(
51
+ `Obtained a newer tx effect for ${txHash} for an event validation request than the anchor block ${anchorBlockNumber}. This is a bug as smart contracts should not issue event validation requests for events from blocks newer than the anchor block.`,
52
+ );
46
53
  }
47
54
 
48
55
  // Find the index of the event commitment in the nullifiers array to determine event ordering within the tx
49
56
  const eventIndexInTx = txEffect.data.nullifiers.findIndex(n => n.equals(siloedEventCommitment));
50
57
  if (eventIndexInTx === -1) {
51
- throw new Error(
52
- `Event commitment ${eventCommitment} (siloed as ${siloedEventCommitment}) is not present in tx ${txHash}`,
58
+ // Unlike in NoteService, this might not be a bug since the commitment hasn't been verified yet in the message
59
+ // processing pipeline. A malformed or malicious message could trigger this condition. Because of this we don't
60
+ // error out and we just show a warning.
61
+ this.log.warn(
62
+ `Skipping event whose commitment is not present in its tx. siloedEventCommitment=${siloedEventCommitment}, contract=${contractAddress}, selector=${selector}, eventCommitment=${eventCommitment}, txHash=${txHash}`,
53
63
  );
64
+ return;
54
65
  }
55
66
 
56
67
  return this.privateEventStore.storePrivateEventLog(
@@ -1,5 +1,5 @@
1
1
  import { randomBytes } from '@aztec/foundation/crypto/random';
2
- import { createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
3
3
  import type { AztecAsyncKVStore } from '@aztec/kv-store';
4
4
 
5
5
  /**
@@ -40,7 +40,7 @@ export interface StagedStore {
40
40
  * using a job queue with concurrency=1.
41
41
  */
42
42
  export class JobCoordinator {
43
- private readonly log = createLogger('pxe:job_coordinator');
43
+ private readonly log: Logger;
44
44
 
45
45
  /** The underlying KV store */
46
46
  kvStore: AztecAsyncKVStore;
@@ -48,8 +48,9 @@ export class JobCoordinator {
48
48
  #currentJobId: string | undefined;
49
49
  #stores: Map<string, StagedStore> = new Map();
50
50
 
51
- constructor(kvStore: AztecAsyncKVStore) {
51
+ constructor(kvStore: AztecAsyncKVStore, bindings?: LoggerBindings) {
52
52
  this.kvStore = kvStore;
53
+ this.log = createLogger('pxe:job_coordinator', bindings);
53
54
  }
54
55
 
55
56
  /**
@@ -1,16 +1,21 @@
1
1
  import type { Fr } from '@aztec/foundation/curves/bn254';
2
- import { createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
3
3
  import type { KeyStore } from '@aztec/key-store';
4
4
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
- import type { CompleteAddress } from '@aztec/stdlib/contract';
6
5
  import type { AztecNode } from '@aztec/stdlib/interfaces/server';
7
- import { DirectionalAppTaggingSecret, PendingTaggedLog, SiloedTag, Tag, TxScopedL2Log } from '@aztec/stdlib/logs';
6
+ import {
7
+ ExtendedDirectionalAppTaggingSecret,
8
+ PendingTaggedLog,
9
+ SiloedTag,
10
+ Tag,
11
+ TxScopedL2Log,
12
+ } from '@aztec/stdlib/logs';
13
+ import type { BlockHeader } from '@aztec/stdlib/tx';
8
14
 
9
15
  import type { LogRetrievalRequest } from '../contract_function_simulator/noir-structs/log_retrieval_request.js';
10
16
  import { LogRetrievalResponse } from '../contract_function_simulator/noir-structs/log_retrieval_response.js';
11
17
  import { AddressStore } from '../storage/address_store/address_store.js';
12
- import { AnchorBlockStore } from '../storage/anchor_block_store/anchor_block_store.js';
13
- import { CapsuleStore } from '../storage/capsule_store/capsule_store.js';
18
+ import type { CapsuleService } from '../storage/capsule_store/capsule_service.js';
14
19
  import type { RecipientTaggingStore } from '../storage/tagging_store/recipient_tagging_store.js';
15
20
  import type { SenderAddressBookStore } from '../storage/tagging_store/sender_address_book_store.js';
16
21
  import {
@@ -20,30 +25,42 @@ import {
20
25
  } from '../tagging/index.js';
21
26
 
22
27
  export class LogService {
23
- private log = createLogger('log_service');
28
+ private log: Logger;
24
29
 
25
30
  constructor(
26
31
  private readonly aztecNode: AztecNode,
27
- private readonly anchorBlockStore: AnchorBlockStore,
32
+ private readonly anchorBlockHeader: BlockHeader,
28
33
  private readonly keyStore: KeyStore,
29
- private readonly capsuleStore: CapsuleStore,
34
+ private readonly capsuleService: CapsuleService,
30
35
  private readonly recipientTaggingStore: RecipientTaggingStore,
31
36
  private readonly senderAddressBookStore: SenderAddressBookStore,
32
37
  private readonly addressStore: AddressStore,
33
38
  private readonly jobId: string,
34
- ) {}
39
+ bindings?: LoggerBindings,
40
+ ) {
41
+ this.log = createLogger('pxe:log_service', bindings);
42
+ }
43
+
44
+ public async fetchLogsByTag(
45
+ contractAddress: AztecAddress,
46
+ logRetrievalRequests: LogRetrievalRequest[],
47
+ ): Promise<(LogRetrievalResponse | null)[]> {
48
+ for (const request of logRetrievalRequests) {
49
+ if (!contractAddress.equals(request.contractAddress)) {
50
+ throw new Error(`Got a log retrieval request from ${request.contractAddress}, expected ${contractAddress}`);
51
+ }
52
+ }
35
53
 
36
- public async bulkRetrieveLogs(logRetrievalRequests: LogRetrievalRequest[]): Promise<(LogRetrievalResponse | null)[]> {
37
54
  return await Promise.all(
38
55
  logRetrievalRequests.map(async request => {
39
56
  const [publicLog, privateLog] = await Promise.all([
40
57
  this.#getPublicLogByTag(request.tag, request.contractAddress),
41
- this.#getPrivateLogByTag(await SiloedTag.compute(request.tag, request.contractAddress)),
58
+ this.#getPrivateLogByTag(await SiloedTag.computeFromTagAndApp(request.tag, request.contractAddress)),
42
59
  ]);
43
60
 
44
61
  if (publicLog !== null && privateLog !== null) {
45
- throw new Error(
46
- `Found both a public and private log when searching for tag ${request.tag} from contract ${request.contractAddress}`,
62
+ this.log.warn(
63
+ `Found both a public and private log for tag ${request.tag} from contract ${request.contractAddress}. This may indicate a contract bug. Returning the public log.`,
47
64
  );
48
65
  }
49
66
 
@@ -53,8 +70,7 @@ export class LogService {
53
70
  }
54
71
 
55
72
  async #getPublicLogByTag(tag: Tag, contractAddress: AztecAddress): Promise<LogRetrievalResponse | null> {
56
- const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
57
- const anchorBlockHash = await anchorBlockHeader.hash();
73
+ const anchorBlockHash = await this.anchorBlockHeader.hash();
58
74
  const allLogsPerTag = await getAllPublicLogsByTagsFromContract(
59
75
  this.aztecNode,
60
76
  contractAddress,
@@ -66,9 +82,8 @@ export class LogService {
66
82
  if (logsForTag.length === 0) {
67
83
  return null;
68
84
  } else if (logsForTag.length > 1) {
69
- // TODO(#11627): handle this case
70
- throw new Error(
71
- `Got ${logsForTag.length} logs for tag ${tag} and contract ${contractAddress.toString()}. getPublicLogByTag currently only supports a single log per tag`,
85
+ this.log.warn(
86
+ `Expected at most 1 public log for tag ${tag} and contract ${contractAddress.toString()}, got ${logsForTag.length}. This may indicate a contract bug. Returning the first log.`,
72
87
  );
73
88
  }
74
89
 
@@ -83,17 +98,15 @@ export class LogService {
83
98
  }
84
99
 
85
100
  async #getPrivateLogByTag(siloedTag: SiloedTag): Promise<LogRetrievalResponse | null> {
86
- const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
87
- const anchorBlockHash = await anchorBlockHeader.hash();
101
+ const anchorBlockHash = await this.anchorBlockHeader.hash();
88
102
  const allLogsPerTag = await getAllPrivateLogsByTags(this.aztecNode, [siloedTag], anchorBlockHash);
89
103
  const logsForTag = allLogsPerTag[0];
90
104
 
91
105
  if (logsForTag.length === 0) {
92
106
  return null;
93
107
  } else if (logsForTag.length > 1) {
94
- // TODO(#11627): handle this case
95
- throw new Error(
96
- `Got ${logsForTag.length} logs for tag ${siloedTag}. getPrivateLogByTag currently only supports a single log per tag`,
108
+ this.log.warn(
109
+ `Expected at most 1 private log for tag ${siloedTag}, got ${logsForTag.length}. This may indicate a contract bug. Returning the first log.`,
97
110
  );
98
111
  }
99
112
 
@@ -107,59 +120,50 @@ export class LogService {
107
120
  );
108
121
  }
109
122
 
110
- public async syncTaggedLogs(
123
+ public async fetchTaggedLogs(
111
124
  contractAddress: AztecAddress,
112
125
  pendingTaggedLogArrayBaseSlot: Fr,
113
- scopes?: AztecAddress[],
126
+ recipient: AztecAddress,
114
127
  ) {
115
- this.log.verbose('Searching for tagged logs', { contract: contractAddress });
128
+ this.log.verbose(`Fetching tagged logs for ${contractAddress.toString()}`);
116
129
 
117
130
  // We only load logs from block up to and including the anchor block number
118
- const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
119
- const anchorBlockNumber = anchorBlockHeader.getBlockNumber();
120
- const anchorBlockHash = await anchorBlockHeader.hash();
121
-
122
- // Determine recipients: use scopes if provided, otherwise get all accounts
123
- const recipients = scopes && scopes.length > 0 ? scopes : await this.keyStore.getAccounts();
124
-
125
- // For each recipient, fetch secrets, load logs, and store them.
126
- // We run these per-recipient tasks in parallel so that logs are loaded for all recipients concurrently.
127
- await Promise.all(
128
- recipients.map(async recipient => {
129
- // Get all secrets for this recipient (one per sender)
130
- const secrets = await this.#getSecretsForSenders(contractAddress, recipient);
131
-
132
- // Load logs for all sender-recipient pairs in parallel
133
- const logArrays = await Promise.all(
134
- secrets.map(secret =>
135
- loadPrivateLogsForSenderRecipientPair(
136
- secret,
137
- contractAddress,
138
- this.aztecNode,
139
- this.recipientTaggingStore,
140
- anchorBlockNumber,
141
- anchorBlockHash,
142
- this.jobId,
143
- ),
144
- ),
145
- );
131
+ const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
132
+ const anchorBlockHash = await this.anchorBlockHeader.hash();
133
+
134
+ // Get all secrets for this recipient (one per sender)
135
+ const secrets = await this.#getSecretsForSenders(contractAddress, recipient);
136
+
137
+ // Load logs for all sender-recipient pairs in parallel
138
+ const logArrays = await Promise.all(
139
+ secrets.map(secret =>
140
+ loadPrivateLogsForSenderRecipientPair(
141
+ secret,
142
+ this.aztecNode,
143
+ this.recipientTaggingStore,
144
+ anchorBlockNumber,
145
+ anchorBlockHash,
146
+ this.jobId,
147
+ ),
148
+ ),
149
+ );
146
150
 
147
- // Flatten all logs from all secrets
148
- const allLogs = logArrays.flat();
151
+ // Flatten all logs from all secrets
152
+ const allLogs = logArrays.flat();
149
153
 
150
- // Store the logs for this recipient
151
- if (allLogs.length > 0) {
152
- await this.#storePendingTaggedLogs(contractAddress, pendingTaggedLogArrayBaseSlot, recipient, allLogs);
153
- }
154
- }),
155
- );
154
+ if (allLogs.length > 0) {
155
+ await this.#storePendingTaggedLogs(contractAddress, pendingTaggedLogArrayBaseSlot, recipient, allLogs);
156
+ }
156
157
  }
157
158
 
158
159
  async #getSecretsForSenders(
159
160
  contractAddress: AztecAddress,
160
161
  recipient: AztecAddress,
161
- ): Promise<DirectionalAppTaggingSecret[]> {
162
- const recipientCompleteAddress = await this.#getCompleteAddress(recipient);
162
+ ): Promise<ExtendedDirectionalAppTaggingSecret[]> {
163
+ const recipientCompleteAddress = await this.addressStore.getCompleteAddress(recipient);
164
+ if (!recipientCompleteAddress) {
165
+ return [];
166
+ }
163
167
  const recipientIvsk = await this.keyStore.getMasterIncomingViewingSecretKey(recipient);
164
168
 
165
169
  // We implicitly add all PXE accounts as senders, this helps us decrypt tags on notes that we send to ourselves
@@ -172,14 +176,24 @@ export class LogService {
172
176
  );
173
177
 
174
178
  return Promise.all(
175
- deduplicatedSenders.map(sender => {
176
- return DirectionalAppTaggingSecret.compute(
179
+ deduplicatedSenders.map(async sender => {
180
+ const secret = await ExtendedDirectionalAppTaggingSecret.compute(
177
181
  recipientCompleteAddress,
178
182
  recipientIvsk,
179
183
  sender,
180
184
  contractAddress,
181
185
  recipient,
182
186
  );
187
+
188
+ if (!secret) {
189
+ // Note that all senders originate from either the SenderAddressBookStore or the KeyStore.
190
+ // TODO(F-512): make sure we actually prevent registering invalid senders.
191
+ throw new Error(
192
+ `Failed to compute a tagging secret for sender ${sender} - this implies this is an invalid address, which should not happen as they have been previously registered in PXE.`,
193
+ );
194
+ }
195
+
196
+ return secret;
183
197
  }),
184
198
  );
185
199
  }
@@ -197,24 +211,18 @@ export class LogService {
197
211
  scopedLog.txHash,
198
212
  scopedLog.noteHashes,
199
213
  scopedLog.firstNullifier,
200
- recipient,
201
214
  );
202
215
 
203
216
  return pendingTaggedLog.toFields();
204
217
  });
205
218
 
206
219
  // TODO: This looks like it could belong more at the oracle interface level
207
- return this.capsuleStore.appendToCapsuleArray(contractAddress, capsuleArrayBaseSlot, pendingTaggedLogs, this.jobId);
208
- }
209
-
210
- async #getCompleteAddress(account: AztecAddress): Promise<CompleteAddress> {
211
- const completeAddress = await this.addressStore.getCompleteAddress(account);
212
- if (!completeAddress) {
213
- throw new Error(
214
- `No public key registered for address ${account}.
215
- Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`,
216
- );
217
- }
218
- return completeAddress;
220
+ return this.capsuleService.appendToCapsuleArray(
221
+ contractAddress,
222
+ capsuleArrayBaseSlot,
223
+ pendingTaggedLogs,
224
+ this.jobId,
225
+ recipient,
226
+ );
219
227
  }
220
228
  }
@@ -0,0 +1,44 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import type { AztecNode } from '@aztec/stdlib/interfaces/server';
3
+ import { MessageContext } from '@aztec/stdlib/logs';
4
+ import { TxHash } from '@aztec/stdlib/tx';
5
+
6
+ /** Resolves transaction hashes into the context needed to process messages. */
7
+ export class MessageContextService {
8
+ constructor(private readonly aztecNode: AztecNode) {}
9
+
10
+ /**
11
+ * Resolves a list of tx hashes into their message contexts.
12
+ *
13
+ * For each tx hash, looks up the corresponding tx effect and extracts the note hashes and first nullifier needed to
14
+ * process messages that originated from that transaction. Returns `null` for tx hashes that are zero, not yet
15
+ * available, or in blocks beyond the anchor block.
16
+ */
17
+ getMessageContextsByTxHash(txHashes: Fr[], anchorBlockNumber: number): Promise<(MessageContext | null)[]> {
18
+ // TODO: optimize, we might be hitting the node to get the same txHash repeatedly
19
+ return Promise.all(
20
+ txHashes.map(async txHashField => {
21
+ // A zero tx hash indicates a tx-less offchain message (e.g. one not tied to any onchain transaction).
22
+ // These messages don't have a transaction context to resolve, so we return null.
23
+ if (txHashField.isZero()) {
24
+ return null;
25
+ }
26
+
27
+ const txHash = TxHash.fromField(txHashField);
28
+ const txEffect = await this.aztecNode.getTxEffect(txHash);
29
+ if (!txEffect || txEffect.l2BlockNumber > anchorBlockNumber) {
30
+ return null;
31
+ }
32
+
33
+ // Every tx has at least one nullifier (the first nullifier derived from the tx hash). Hitting this condition
34
+ // would mean a buggy node, but since we need to access data.nullifiers[0], the defensive check does no harm.
35
+ const data = txEffect.data;
36
+ if (data.nullifiers.length === 0) {
37
+ throw new Error(`Tx effect for ${txHash} has no nullifiers`);
38
+ }
39
+
40
+ return new MessageContext(data.txHash, data.noteHashes, data.nullifiers[0]);
41
+ }),
42
+ );
43
+ }
44
+ }
@@ -5,16 +5,15 @@ import { computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdli
5
5
  import { type AztecNode, MAX_RPC_LEN } from '@aztec/stdlib/interfaces/client';
6
6
  import { Note, NoteDao, NoteStatus } from '@aztec/stdlib/note';
7
7
  import { MerkleTreeId } from '@aztec/stdlib/trees';
8
- import type { TxHash } from '@aztec/stdlib/tx';
8
+ import type { BlockHeader, TxHash } from '@aztec/stdlib/tx';
9
9
 
10
- import type { AnchorBlockStore } from '../storage/anchor_block_store/anchor_block_store.js';
11
10
  import type { NoteStore } from '../storage/note_store/note_store.js';
12
11
 
13
12
  export class NoteService {
14
13
  constructor(
15
14
  private readonly noteStore: NoteStore,
16
15
  private readonly aztecNode: AztecNode,
17
- private readonly anchorBlockStore: AnchorBlockStore,
16
+ private readonly anchorBlockHeader: BlockHeader,
18
17
  private readonly jobId: string,
19
18
  ) {}
20
19
 
@@ -32,7 +31,7 @@ export class NoteService {
32
31
  owner: AztecAddress | undefined,
33
32
  storageSlot: Fr,
34
33
  status: NoteStatus,
35
- scopes?: AztecAddress[],
34
+ scopes: AztecAddress[],
36
35
  ) {
37
36
  const noteDaos = await this.noteStore.getNotes(
38
37
  {
@@ -71,10 +70,10 @@ export class NoteService {
71
70
  *
72
71
  * @param contractAddress - The contract whose notes should be checked and nullified.
73
72
  */
74
- public async syncNoteNullifiers(contractAddress: AztecAddress): Promise<void> {
75
- const anchorBlockHash = await (await this.anchorBlockStore.getBlockHeader()).hash();
73
+ public async syncNoteNullifiers(contractAddress: AztecAddress, scopes: AztecAddress[]): Promise<void> {
74
+ const anchorBlockHash = await this.anchorBlockHeader.hash();
76
75
 
77
- const contractNotes = await this.noteStore.getNotes({ contractAddress }, this.jobId);
76
+ const contractNotes = await this.noteStore.getNotes({ contractAddress, scopes }, this.jobId);
78
77
 
79
78
  if (contractNotes.length === 0) {
80
79
  return;
@@ -121,7 +120,7 @@ export class NoteService {
121
120
  noteHash: Fr,
122
121
  nullifier: Fr,
123
122
  txHash: TxHash,
124
- recipient: AztecAddress,
123
+ scope: AztecAddress,
125
124
  ): Promise<void> {
126
125
  // We are going to store the new note in the NoteStore, which will let us later return it via `getNotes`.
127
126
  // There's two things we need to check before we do this however:
@@ -142,9 +141,8 @@ export class NoteService {
142
141
  // number which *should* be recent enough to be available, even for non-archive nodes.
143
142
  // Also note that the note should never be ahead of the synced block here since `fetchTaggedLogs` only processes
144
143
  // logs up to the synced block making this only an additional safety check.
145
- const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
146
- const anchorBlockNumber = anchorBlockHeader.getBlockNumber();
147
- const anchorBlockHash = await anchorBlockHeader.hash();
144
+ const anchorBlockNumber = this.anchorBlockHeader.getBlockNumber();
145
+ const anchorBlockHash = await this.anchorBlockHeader.hash();
148
146
 
149
147
  // By computing siloed and unique note hashes ourselves we prevent contracts from interfering with the note storage
150
148
  // of other contracts, which would constitute a security breach.
@@ -156,16 +154,28 @@ export class NoteService {
156
154
  this.aztecNode.findLeavesIndexes(anchorBlockHash, MerkleTreeId.NULLIFIER_TREE, [siloedNullifier]),
157
155
  ]);
158
156
  if (!txEffect) {
159
- throw new Error(`Could not find tx effect for tx hash ${txHash}`);
157
+ // We error out instead of just logging a warning and skipping the note because this would indicate a bug. This
158
+ // is because the node has already served info about this tx either when obtaining the log (TxScopedL2Log contain
159
+ // tx info) or when getting metadata for the offchain message (before the message got passed to `process_log`).
160
+ throw new Error(`Could not find tx effect for tx hash ${txHash} when processing a note.`);
160
161
  }
161
162
 
162
163
  if (txEffect.l2BlockNumber > anchorBlockNumber) {
163
- throw new Error(`Could not find tx effect for tx hash ${txHash} as of block number ${anchorBlockNumber}`);
164
+ // If the message was delivered onchain, this would indicate a bug: log sync should never load logs from blocks
165
+ // newer than the anchor block. If the note came via an offchain message, it would likely also be a bug, since we
166
+ // sync a new anchor block before calling `process_message`. For this not to be a bug, the message would need to
167
+ // come from a newer block than the anchor served by the node, implying the node isn't properly synced.
168
+ // We therefore error out here rather than assuming the offchain message was constructed by a malicious
169
+ // sender with the intention of bricking recipient's PXE (if we assumed that we would just ignore the message).
170
+ throw new Error(
171
+ `Obtained a newer tx effect for ${txHash} for a note validation request than the anchor block ${anchorBlockNumber}. This is a bug as we should not ever be processing a note from a newer block than the anchor block.`,
172
+ );
164
173
  }
165
174
 
166
175
  // Find the index of the note hash in the noteHashes array to determine note ordering within the tx
167
176
  const noteIndexInTx = txEffect.data.noteHashes.findIndex(nh => nh.equals(uniqueNoteHash));
168
177
  if (noteIndexInTx === -1) {
178
+ // Similar to the comment above - we error out as this would indicate a bug in nonce discovery.
169
179
  throw new Error(`Note hash ${noteHash} (uniqued as ${uniqueNoteHash}) is not present in tx ${txHash}`);
170
180
  }
171
181
 
@@ -185,8 +195,7 @@ export class NoteService {
185
195
  noteIndexInTx,
186
196
  );
187
197
 
188
- // The note was found by `recipient`, so we use that as the scope when storing the note.
189
- await this.noteStore.addNotes([noteDao], recipient, this.jobId);
198
+ await this.noteStore.addNotes([noteDao], scope, this.jobId);
190
199
 
191
200
  if (nullifierIndex !== undefined) {
192
201
  // We found nullifier index which implies that the note has already been nullified.
@@ -0,0 +1,24 @@
1
+ import type { Fr } from '@aztec/foundation/curves/bn254';
2
+ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
+ import type { NoteStatus } from '@aztec/stdlib/note';
4
+
5
+ /**
6
+ * A filter used to fetch notes.
7
+ * @remarks This filter is applied as an intersection of all its params.
8
+ */
9
+ export type NotesFilter = {
10
+ /**
11
+ * The contract address the note belongs to.
12
+ * @remarks Providing a contract address is required as we need that information to trigger private state sync.
13
+ */
14
+ contractAddress: AztecAddress;
15
+ /** The owner of the note. */
16
+ owner?: AztecAddress;
17
+ /** The specific storage location of the note on the contract. */
18
+ storageSlot?: Fr;
19
+ /** The status of the note. Defaults to 'ACTIVE'. */
20
+ status?: NoteStatus;
21
+ /** The siloed nullifier for the note. */
22
+ siloedNullifier?: Fr;
23
+ scopes: AztecAddress[];
24
+ };
@@ -2,11 +2,11 @@
2
2
  /// to version the oracle interface to ensure that developers get a reasonable error message if they use incompatible
3
3
  /// versions of Aztec.nr and PXE. The Noir counterpart is in `noir-projects/aztec-nr/aztec/src/oracle/version.nr`.
4
4
  ///
5
- /// @dev Whenever a contract function or Noir test is run, the `utilityAssertCompatibleOracleVersion` oracle is called
5
+ /// @dev Whenever a contract function or Noir test is run, the `aztec_utl_assertCompatibleOracleVersion` oracle is called
6
6
  /// and if the oracle version is incompatible an error is thrown.
7
- export const ORACLE_VERSION = 9;
7
+ export const ORACLE_VERSION = 22;
8
8
 
9
9
  /// This hash is computed as by hashing the Oracle interface and it is used to detect when the Oracle interface changes,
10
10
  /// which in turn implies that you need to update the ORACLE_VERSION constant in this file and in
11
11
  /// `noir-projects/aztec-nr/aztec/src/oracle/version.nr`.
12
- export const ORACLE_INTERFACE_HASH = '9866cc52510acaef75a3d47a0ed501fd9ff92b9d53b2c8a88c8a3ffd04ced81f';
12
+ export const ORACLE_INTERFACE_HASH = '83f1de1a9741a34916fd58cf12b857d0bac90f74bf00751b20304301a3f5c8eb';
@@ -1,4 +1,4 @@
1
- import { MAX_INCLUDE_BY_TIMESTAMP_DURATION } from '@aztec/constants';
1
+ import { MAX_TX_LIFETIME } from '@aztec/constants';
2
2
  import type { PrivateKernelCircuitPublicInputs } from '@aztec/stdlib/kernel';
3
3
  import type { UInt64 } from '@aztec/stdlib/types';
4
4
 
@@ -8,12 +8,12 @@ const ROUNDED_DURATIONS = [
8
8
  1, // 1 second
9
9
  ];
10
10
 
11
- function roundTimestamp(blockTimestamp: bigint, includeByTimestamp: bigint): UInt64 {
11
+ function roundTimestamp(blockTimestamp: bigint, expirationTimestamp: bigint): UInt64 {
12
12
  return ROUNDED_DURATIONS.reduce((timestamp, duration) => {
13
13
  if (timestamp <= blockTimestamp) {
14
14
  // The timestamp must be greater than the block timestamp.
15
15
  // If it is too small, round it down again using a smaller duration.
16
- const totalDuration = includeByTimestamp - blockTimestamp;
16
+ const totalDuration = expirationTimestamp - blockTimestamp;
17
17
  const roundedDuration = totalDuration - (totalDuration % BigInt(duration));
18
18
  return blockTimestamp + roundedDuration;
19
19
  }
@@ -21,36 +21,36 @@ function roundTimestamp(blockTimestamp: bigint, includeByTimestamp: bigint): UIn
21
21
  }, 0n);
22
22
  }
23
23
 
24
- export function computeTxIncludeByTimestamp(
24
+ export function computeTxExpirationTimestamp(
25
25
  previousKernel: PrivateKernelCircuitPublicInputs,
26
- maxDuration = MAX_INCLUDE_BY_TIMESTAMP_DURATION,
26
+ txLifetime = MAX_TX_LIFETIME,
27
27
  ): UInt64 {
28
- if (maxDuration > MAX_INCLUDE_BY_TIMESTAMP_DURATION) {
28
+ if (txLifetime > MAX_TX_LIFETIME) {
29
29
  throw new Error(
30
- `Custom max duration cannot be greater than the max allowed. Max allowed: ${MAX_INCLUDE_BY_TIMESTAMP_DURATION}. Custom value: ${maxDuration}.`,
30
+ `Custom tx lifetime cannot be greater than the max allowed. Max allowed: ${MAX_TX_LIFETIME}. Custom value: ${txLifetime}.`,
31
31
  );
32
32
  }
33
33
 
34
34
  const anchorBlockTimestamp = previousKernel.constants.anchorBlockHeader.globalVariables.timestamp;
35
- const maxTimestamp = anchorBlockTimestamp + BigInt(maxDuration);
36
- const includeByTimestamp = previousKernel.includeByTimestamp;
35
+ const maxTimestamp = anchorBlockTimestamp + BigInt(txLifetime);
36
+ const expirationTimestamp = previousKernel.expirationTimestamp;
37
37
 
38
- // If the includeByTimestamp set during the tx execution is greater than or equal to the max allowed duration,
38
+ // If the expirationTimestamp set during the tx execution is greater than or equal to the max allowed duration,
39
39
  // use the maximum allowed timestamp.
40
40
  // Note: It shouldn't be larger than the max allowed duration, but we check for it anyway.
41
- if (includeByTimestamp >= maxTimestamp) {
41
+ if (expirationTimestamp >= maxTimestamp) {
42
42
  return maxTimestamp;
43
43
  }
44
44
 
45
45
  // Round it down to the nearest hour/min/second to reduce precision and avoid revealing the exact value.
46
46
  // This makes it harder for others to infer what function calls may have been used to produce a specific timestamp.
47
- const roundedTimestamp = roundTimestamp(anchorBlockTimestamp, includeByTimestamp);
47
+ const roundedTimestamp = roundTimestamp(anchorBlockTimestamp, expirationTimestamp);
48
48
 
49
49
  // The tx can't be published if the timestamp is the same or less than the anchor block's timestamp.
50
50
  // Future blocks will have a greater timestamp, so the tx would never be included.
51
51
  if (roundedTimestamp <= anchorBlockTimestamp) {
52
52
  throw new Error(
53
- `Include-by timestamp must be greater than the anchor block timestamp. Anchor block timestamp: ${anchorBlockTimestamp}. Include-by timestamp: ${includeByTimestamp}.`,
53
+ `Include-by timestamp must be greater than the anchor block timestamp. Anchor block timestamp: ${anchorBlockTimestamp}. Include-by timestamp: ${expirationTimestamp}.`,
54
54
  );
55
55
  }
56
56
 
@@ -1,2 +1,2 @@
1
1
  export * from './private_kernel_reset_private_inputs_builder.js';
2
- export * from './compute_tx_include_by_timestamp.js';
2
+ export * from './compute_tx_expiration_timestamp.js';