@aztec/p2p 0.0.1-commit.f295ac2 → 0.0.1-commit.fc805bf

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 (263) hide show
  1. package/dest/bootstrap/bootstrap.d.ts +4 -3
  2. package/dest/bootstrap/bootstrap.d.ts.map +1 -1
  3. package/dest/bootstrap/bootstrap.js +4 -4
  4. package/dest/client/factory.d.ts +1 -1
  5. package/dest/client/factory.d.ts.map +1 -1
  6. package/dest/client/factory.js +6 -5
  7. package/dest/client/p2p_client.d.ts +1 -1
  8. package/dest/client/p2p_client.d.ts.map +1 -1
  9. package/dest/client/p2p_client.js +9 -2
  10. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker.d.ts +2 -0
  11. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker.d.ts.map +1 -0
  12. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker.js +305 -0
  13. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker_protocol.d.ts +73 -0
  14. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker_protocol.d.ts.map +1 -0
  15. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker_protocol.js +8 -0
  16. package/dest/config.d.ts +8 -2
  17. package/dest/config.d.ts.map +1 -1
  18. package/dest/config.js +2 -0
  19. package/dest/mem_pools/instrumentation.d.ts +1 -1
  20. package/dest/mem_pools/instrumentation.d.ts.map +1 -1
  21. package/dest/mem_pools/instrumentation.js +2 -2
  22. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts +3 -3
  23. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts.map +1 -1
  24. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts +3 -2
  25. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts.map +1 -1
  26. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts +3 -2
  27. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts.map +1 -1
  28. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts +3 -3
  29. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts.map +1 -1
  30. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.js +8 -1
  31. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts +3 -3
  32. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts.map +1 -1
  33. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.js +2 -0
  34. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts +3 -3
  35. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts.map +1 -1
  36. package/dest/msg_validators/attestation_validator/attestation_validator.js +41 -10
  37. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.d.ts +3 -3
  38. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.d.ts.map +1 -1
  39. package/dest/msg_validators/attestation_validator/fisherman_attestation_validator.js +18 -6
  40. package/dest/msg_validators/clock_tolerance.d.ts +21 -0
  41. package/dest/msg_validators/clock_tolerance.d.ts.map +1 -0
  42. package/dest/msg_validators/clock_tolerance.js +37 -0
  43. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts +3 -3
  44. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts.map +1 -1
  45. package/dest/msg_validators/proposal_validator/proposal_validator.js +55 -31
  46. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts +3 -3
  47. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts.map +1 -1
  48. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.js +93 -64
  49. package/dest/msg_validators/tx_validator/archive_cache.d.ts +3 -3
  50. package/dest/msg_validators/tx_validator/archive_cache.d.ts.map +1 -1
  51. package/dest/msg_validators/tx_validator/archive_cache.js +1 -1
  52. package/dest/msg_validators/tx_validator/block_header_validator.d.ts +5 -4
  53. package/dest/msg_validators/tx_validator/block_header_validator.d.ts.map +1 -1
  54. package/dest/msg_validators/tx_validator/block_header_validator.js +3 -2
  55. package/dest/msg_validators/tx_validator/data_validator.d.ts +3 -1
  56. package/dest/msg_validators/tx_validator/data_validator.d.ts.map +1 -1
  57. package/dest/msg_validators/tx_validator/data_validator.js +4 -1
  58. package/dest/msg_validators/tx_validator/double_spend_validator.d.ts +3 -2
  59. package/dest/msg_validators/tx_validator/double_spend_validator.d.ts.map +1 -1
  60. package/dest/msg_validators/tx_validator/double_spend_validator.js +3 -2
  61. package/dest/msg_validators/tx_validator/factory.d.ts +8 -3
  62. package/dest/msg_validators/tx_validator/factory.d.ts.map +1 -1
  63. package/dest/msg_validators/tx_validator/factory.js +21 -11
  64. package/dest/msg_validators/tx_validator/gas_validator.d.ts +3 -2
  65. package/dest/msg_validators/tx_validator/gas_validator.d.ts.map +1 -1
  66. package/dest/msg_validators/tx_validator/gas_validator.js +3 -2
  67. package/dest/msg_validators/tx_validator/index.d.ts +2 -1
  68. package/dest/msg_validators/tx_validator/index.d.ts.map +1 -1
  69. package/dest/msg_validators/tx_validator/index.js +1 -0
  70. package/dest/msg_validators/tx_validator/metadata_validator.d.ts +3 -2
  71. package/dest/msg_validators/tx_validator/metadata_validator.d.ts.map +1 -1
  72. package/dest/msg_validators/tx_validator/metadata_validator.js +2 -2
  73. package/dest/msg_validators/tx_validator/phases_validator.d.ts +3 -2
  74. package/dest/msg_validators/tx_validator/phases_validator.d.ts.map +1 -1
  75. package/dest/msg_validators/tx_validator/phases_validator.js +3 -3
  76. package/dest/msg_validators/tx_validator/size_validator.d.ts +8 -0
  77. package/dest/msg_validators/tx_validator/size_validator.d.ts.map +1 -0
  78. package/dest/msg_validators/tx_validator/size_validator.js +23 -0
  79. package/dest/msg_validators/tx_validator/timestamp_validator.d.ts +3 -2
  80. package/dest/msg_validators/tx_validator/timestamp_validator.d.ts.map +1 -1
  81. package/dest/msg_validators/tx_validator/timestamp_validator.js +2 -2
  82. package/dest/msg_validators/tx_validator/tx_permitted_validator.d.ts +3 -2
  83. package/dest/msg_validators/tx_validator/tx_permitted_validator.d.ts.map +1 -1
  84. package/dest/msg_validators/tx_validator/tx_permitted_validator.js +2 -2
  85. package/dest/msg_validators/tx_validator/tx_proof_validator.d.ts +3 -2
  86. package/dest/msg_validators/tx_validator/tx_proof_validator.d.ts.map +1 -1
  87. package/dest/msg_validators/tx_validator/tx_proof_validator.js +2 -2
  88. package/dest/services/data_store.d.ts +1 -1
  89. package/dest/services/data_store.d.ts.map +1 -1
  90. package/dest/services/data_store.js +10 -6
  91. package/dest/services/discv5/discV5_service.js +1 -1
  92. package/dest/services/dummy_service.d.ts +13 -1
  93. package/dest/services/dummy_service.d.ts.map +1 -1
  94. package/dest/services/dummy_service.js +39 -0
  95. package/dest/services/encoding.d.ts +1 -1
  96. package/dest/services/encoding.d.ts.map +1 -1
  97. package/dest/services/encoding.js +2 -3
  98. package/dest/services/libp2p/instrumentation.d.ts +1 -1
  99. package/dest/services/libp2p/instrumentation.d.ts.map +1 -1
  100. package/dest/services/libp2p/instrumentation.js +14 -3
  101. package/dest/services/libp2p/libp2p_service.d.ts +13 -7
  102. package/dest/services/libp2p/libp2p_service.d.ts.map +1 -1
  103. package/dest/services/libp2p/libp2p_service.js +60 -51
  104. package/dest/services/peer-manager/metrics.d.ts +2 -2
  105. package/dest/services/peer-manager/metrics.d.ts.map +1 -1
  106. package/dest/services/peer-manager/metrics.js +20 -5
  107. package/dest/services/peer-manager/peer_scoring.d.ts +1 -1
  108. package/dest/services/peer-manager/peer_scoring.d.ts.map +1 -1
  109. package/dest/services/peer-manager/peer_scoring.js +8 -2
  110. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.d.ts +47 -0
  111. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.d.ts.map +1 -0
  112. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.js +566 -0
  113. package/dest/services/reqresp/batch-tx-requester/config.d.ts +17 -0
  114. package/dest/services/reqresp/batch-tx-requester/config.d.ts.map +1 -0
  115. package/dest/services/reqresp/batch-tx-requester/config.js +27 -0
  116. package/dest/services/reqresp/batch-tx-requester/interface.d.ts +50 -0
  117. package/dest/services/reqresp/batch-tx-requester/interface.d.ts.map +1 -0
  118. package/dest/services/reqresp/batch-tx-requester/interface.js +1 -0
  119. package/dest/services/reqresp/batch-tx-requester/missing_txs.d.ts +37 -0
  120. package/dest/services/reqresp/batch-tx-requester/missing_txs.d.ts.map +1 -0
  121. package/dest/services/reqresp/batch-tx-requester/missing_txs.js +151 -0
  122. package/dest/services/reqresp/batch-tx-requester/peer_collection.d.ts +54 -0
  123. package/dest/services/reqresp/batch-tx-requester/peer_collection.d.ts.map +1 -0
  124. package/dest/services/reqresp/batch-tx-requester/peer_collection.js +139 -0
  125. package/dest/services/reqresp/batch-tx-requester/tx_validator.d.ts +20 -0
  126. package/dest/services/reqresp/batch-tx-requester/tx_validator.d.ts.map +1 -0
  127. package/dest/services/reqresp/batch-tx-requester/tx_validator.js +21 -0
  128. package/dest/services/reqresp/connection-sampler/batch_connection_sampler.d.ts +22 -3
  129. package/dest/services/reqresp/connection-sampler/batch_connection_sampler.d.ts.map +1 -1
  130. package/dest/services/reqresp/connection-sampler/batch_connection_sampler.js +63 -4
  131. package/dest/services/reqresp/connection-sampler/connection_sampler.d.ts +2 -1
  132. package/dest/services/reqresp/connection-sampler/connection_sampler.d.ts.map +1 -1
  133. package/dest/services/reqresp/connection-sampler/connection_sampler.js +12 -0
  134. package/dest/services/reqresp/interface.d.ts +5 -3
  135. package/dest/services/reqresp/interface.d.ts.map +1 -1
  136. package/dest/services/reqresp/interface.js +2 -2
  137. package/dest/services/reqresp/metrics.d.ts +6 -5
  138. package/dest/services/reqresp/metrics.d.ts.map +1 -1
  139. package/dest/services/reqresp/metrics.js +17 -5
  140. package/dest/services/reqresp/protocols/block_txs/bitvector.d.ts +5 -1
  141. package/dest/services/reqresp/protocols/block_txs/bitvector.d.ts.map +1 -1
  142. package/dest/services/reqresp/protocols/block_txs/bitvector.js +5 -0
  143. package/dest/services/reqresp/protocols/block_txs/block_txs_handler.d.ts +1 -1
  144. package/dest/services/reqresp/protocols/block_txs/block_txs_handler.d.ts.map +1 -1
  145. package/dest/services/reqresp/protocols/block_txs/block_txs_handler.js +16 -3
  146. package/dest/services/reqresp/protocols/block_txs/block_txs_reqresp.d.ts +18 -6
  147. package/dest/services/reqresp/protocols/block_txs/block_txs_reqresp.d.ts.map +1 -1
  148. package/dest/services/reqresp/protocols/block_txs/block_txs_reqresp.js +43 -13
  149. package/dest/services/reqresp/reqresp.d.ts +6 -1
  150. package/dest/services/reqresp/reqresp.d.ts.map +1 -1
  151. package/dest/services/reqresp/reqresp.js +58 -22
  152. package/dest/services/service.d.ts +4 -1
  153. package/dest/services/service.d.ts.map +1 -1
  154. package/dest/services/tx_collection/config.d.ts +4 -1
  155. package/dest/services/tx_collection/config.d.ts.map +1 -1
  156. package/dest/services/tx_collection/config.js +9 -1
  157. package/dest/services/tx_collection/fast_tx_collection.d.ts +6 -4
  158. package/dest/services/tx_collection/fast_tx_collection.d.ts.map +1 -1
  159. package/dest/services/tx_collection/fast_tx_collection.js +16 -5
  160. package/dest/services/tx_collection/index.d.ts +2 -1
  161. package/dest/services/tx_collection/index.d.ts.map +1 -1
  162. package/dest/services/tx_collection/index.js +1 -0
  163. package/dest/services/tx_collection/instrumentation.d.ts +1 -1
  164. package/dest/services/tx_collection/instrumentation.d.ts.map +1 -1
  165. package/dest/services/tx_collection/instrumentation.js +9 -2
  166. package/dest/services/tx_collection/proposal_tx_collector.d.ts +48 -0
  167. package/dest/services/tx_collection/proposal_tx_collector.d.ts.map +1 -0
  168. package/dest/services/tx_collection/proposal_tx_collector.js +50 -0
  169. package/dest/services/tx_collection/slow_tx_collection.d.ts +3 -3
  170. package/dest/services/tx_collection/slow_tx_collection.d.ts.map +1 -1
  171. package/dest/services/tx_collection/tx_collection.d.ts +8 -8
  172. package/dest/services/tx_collection/tx_collection.d.ts.map +1 -1
  173. package/dest/services/tx_collection/tx_collection.js +5 -5
  174. package/dest/services/tx_provider.d.ts +3 -3
  175. package/dest/services/tx_provider.d.ts.map +1 -1
  176. package/dest/services/tx_provider_instrumentation.d.ts +1 -1
  177. package/dest/services/tx_provider_instrumentation.d.ts.map +1 -1
  178. package/dest/services/tx_provider_instrumentation.js +5 -5
  179. package/dest/test-helpers/index.d.ts +3 -1
  180. package/dest/test-helpers/index.d.ts.map +1 -1
  181. package/dest/test-helpers/index.js +2 -0
  182. package/dest/test-helpers/test_tx_provider.d.ts +40 -0
  183. package/dest/test-helpers/test_tx_provider.d.ts.map +1 -0
  184. package/dest/test-helpers/test_tx_provider.js +41 -0
  185. package/dest/test-helpers/testbench-utils.d.ts +158 -0
  186. package/dest/test-helpers/testbench-utils.d.ts.map +1 -0
  187. package/dest/test-helpers/testbench-utils.js +297 -0
  188. package/dest/testbench/p2p_client_testbench_worker.d.ts +28 -2
  189. package/dest/testbench/p2p_client_testbench_worker.d.ts.map +1 -1
  190. package/dest/testbench/p2p_client_testbench_worker.js +212 -133
  191. package/dest/testbench/worker_client_manager.d.ts +51 -6
  192. package/dest/testbench/worker_client_manager.d.ts.map +1 -1
  193. package/dest/testbench/worker_client_manager.js +226 -44
  194. package/package.json +14 -14
  195. package/src/bootstrap/bootstrap.ts +7 -4
  196. package/src/client/factory.ts +6 -10
  197. package/src/client/p2p_client.ts +14 -7
  198. package/src/client/test/tx_proposal_collector/README.md +227 -0
  199. package/src/client/test/tx_proposal_collector/proposal_tx_collector_worker.ts +336 -0
  200. package/src/client/test/tx_proposal_collector/proposal_tx_collector_worker_protocol.ts +43 -0
  201. package/src/config.ts +6 -1
  202. package/src/mem_pools/instrumentation.ts +2 -1
  203. package/src/mem_pools/tx_pool/aztec_kv_tx_pool.ts +2 -2
  204. package/src/mem_pools/tx_pool/eviction/eviction_manager.ts +2 -1
  205. package/src/mem_pools/tx_pool/eviction/eviction_strategy.ts +2 -1
  206. package/src/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.ts +10 -7
  207. package/src/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.ts +4 -2
  208. package/src/msg_validators/attestation_validator/attestation_validator.ts +26 -14
  209. package/src/msg_validators/attestation_validator/fisherman_attestation_validator.ts +14 -8
  210. package/src/msg_validators/clock_tolerance.ts +51 -0
  211. package/src/msg_validators/proposal_validator/proposal_validator.ts +31 -31
  212. package/src/msg_validators/proposal_validator/proposal_validator_test_suite.ts +91 -67
  213. package/src/msg_validators/tx_validator/archive_cache.ts +3 -3
  214. package/src/msg_validators/tx_validator/block_header_validator.ts +6 -5
  215. package/src/msg_validators/tx_validator/data_validator.ts +6 -2
  216. package/src/msg_validators/tx_validator/double_spend_validator.ts +4 -3
  217. package/src/msg_validators/tx_validator/factory.ts +64 -23
  218. package/src/msg_validators/tx_validator/gas_validator.ts +9 -3
  219. package/src/msg_validators/tx_validator/index.ts +1 -0
  220. package/src/msg_validators/tx_validator/metadata_validator.ts +6 -3
  221. package/src/msg_validators/tx_validator/phases_validator.ts +5 -3
  222. package/src/msg_validators/tx_validator/size_validator.ts +22 -0
  223. package/src/msg_validators/tx_validator/timestamp_validator.ts +6 -3
  224. package/src/msg_validators/tx_validator/tx_permitted_validator.ts +8 -3
  225. package/src/msg_validators/tx_validator/tx_proof_validator.ts +8 -3
  226. package/src/services/data_store.ts +10 -7
  227. package/src/services/discv5/discV5_service.ts +1 -1
  228. package/src/services/dummy_service.ts +45 -0
  229. package/src/services/encoding.ts +2 -3
  230. package/src/services/libp2p/instrumentation.ts +15 -2
  231. package/src/services/libp2p/libp2p_service.ts +99 -73
  232. package/src/services/peer-manager/metrics.ts +21 -4
  233. package/src/services/peer-manager/peer_scoring.ts +4 -1
  234. package/src/services/reqresp/batch-tx-requester/README.md +305 -0
  235. package/src/services/reqresp/batch-tx-requester/batch_tx_requester.ts +706 -0
  236. package/src/services/reqresp/batch-tx-requester/config.ts +40 -0
  237. package/src/services/reqresp/batch-tx-requester/interface.ts +57 -0
  238. package/src/services/reqresp/batch-tx-requester/missing_txs.ts +209 -0
  239. package/src/services/reqresp/batch-tx-requester/peer_collection.ts +205 -0
  240. package/src/services/reqresp/batch-tx-requester/tx_validator.ts +37 -0
  241. package/src/services/reqresp/connection-sampler/batch_connection_sampler.ts +65 -4
  242. package/src/services/reqresp/connection-sampler/connection_sampler.ts +16 -0
  243. package/src/services/reqresp/interface.ts +5 -2
  244. package/src/services/reqresp/metrics.ts +34 -9
  245. package/src/services/reqresp/protocols/block_txs/bitvector.ts +7 -0
  246. package/src/services/reqresp/protocols/block_txs/block_txs_handler.ts +18 -4
  247. package/src/services/reqresp/protocols/block_txs/block_txs_reqresp.ts +51 -9
  248. package/src/services/reqresp/reqresp.ts +66 -19
  249. package/src/services/service.ts +4 -0
  250. package/src/services/tx_collection/config.ts +15 -1
  251. package/src/services/tx_collection/fast_tx_collection.ts +36 -13
  252. package/src/services/tx_collection/index.ts +5 -0
  253. package/src/services/tx_collection/instrumentation.ts +11 -2
  254. package/src/services/tx_collection/proposal_tx_collector.ts +114 -0
  255. package/src/services/tx_collection/slow_tx_collection.ts +2 -2
  256. package/src/services/tx_collection/tx_collection.ts +8 -8
  257. package/src/services/tx_provider.ts +2 -2
  258. package/src/services/tx_provider_instrumentation.ts +11 -5
  259. package/src/test-helpers/index.ts +2 -0
  260. package/src/test-helpers/test_tx_provider.ts +64 -0
  261. package/src/test-helpers/testbench-utils.ts +374 -0
  262. package/src/testbench/p2p_client_testbench_worker.ts +321 -126
  263. package/src/testbench/worker_client_manager.ts +304 -47
@@ -0,0 +1,21 @@
1
+ import type { EpochCacheInterface } from '@aztec/epoch-cache';
2
+ import { SlotNumber } from '@aztec/foundation/branded-types';
3
+ /**
4
+ * Maximum clock disparity tolerance for P2P message validation (in milliseconds).
5
+ * Messages for the previous slot are accepted if we're within this many milliseconds
6
+ * of the current slot start. This prevents penalizing peers for messages that
7
+ * were valid when sent but arrived slightly late due to network latency.
8
+ *
9
+ * This follows Ethereum's MAXIMUM_GOSSIP_CLOCK_DISPARITY approach.
10
+ */
11
+ export declare const MAXIMUM_GOSSIP_CLOCK_DISPARITY_MS = 500;
12
+ /**
13
+ * Checks if a message for the previous slot should be accepted due to clock tolerance.
14
+ *
15
+ * @param messageSlot - The slot number from the received message
16
+ * @param currentSlot - The current slot number
17
+ * @param epochCache - EpochCache to get timing information
18
+ * @returns true if the message is for the previous slot AND we're within the clock tolerance window
19
+ */
20
+ export declare function isWithinClockTolerance(messageSlot: SlotNumber, currentSlot: SlotNumber, epochCache: EpochCacheInterface): boolean;
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2xvY2tfdG9sZXJhbmNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbXNnX3ZhbGlkYXRvcnMvY2xvY2tfdG9sZXJhbmNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDOUQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTdEOzs7Ozs7O0dBT0c7QUFDSCxlQUFPLE1BQU0saUNBQWlDLE1BQU0sQ0FBQztBQUVyRDs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHNCQUFzQixDQUNwQyxXQUFXLEVBQUUsVUFBVSxFQUN2QixXQUFXLEVBQUUsVUFBVSxFQUN2QixVQUFVLEVBQUUsbUJBQW1CLEdBQzlCLE9BQU8sQ0F5QlQifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"clock_tolerance.d.ts","sourceRoot":"","sources":["../../src/msg_validators/clock_tolerance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D;;;;;;;GAOG;AACH,eAAO,MAAM,iCAAiC,MAAM,CAAC;AAErD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,UAAU,EACvB,WAAW,EAAE,UAAU,EACvB,UAAU,EAAE,mBAAmB,GAC9B,OAAO,CAyBT"}
@@ -0,0 +1,37 @@
1
+ import { SlotNumber } from '@aztec/foundation/branded-types';
2
+ /**
3
+ * Maximum clock disparity tolerance for P2P message validation (in milliseconds).
4
+ * Messages for the previous slot are accepted if we're within this many milliseconds
5
+ * of the current slot start. This prevents penalizing peers for messages that
6
+ * were valid when sent but arrived slightly late due to network latency.
7
+ *
8
+ * This follows Ethereum's MAXIMUM_GOSSIP_CLOCK_DISPARITY approach.
9
+ */ export const MAXIMUM_GOSSIP_CLOCK_DISPARITY_MS = 500;
10
+ /**
11
+ * Checks if a message for the previous slot should be accepted due to clock tolerance.
12
+ *
13
+ * @param messageSlot - The slot number from the received message
14
+ * @param currentSlot - The current slot number
15
+ * @param epochCache - EpochCache to get timing information
16
+ * @returns true if the message is for the previous slot AND we're within the clock tolerance window
17
+ */ export function isWithinClockTolerance(messageSlot, currentSlot, epochCache) {
18
+ // Guard against slot 0 edge case (genesis)
19
+ if (currentSlot === SlotNumber.ZERO) {
20
+ return false;
21
+ }
22
+ // Only apply tolerance to messages for the previous slot
23
+ const previousSlot = SlotNumber(currentSlot - 1);
24
+ if (messageSlot !== previousSlot) {
25
+ return false;
26
+ }
27
+ // Check how far we are into the current slot (in milliseconds)
28
+ const { ts: slotStartTs, nowMs, slot } = epochCache.getEpochAndSlotNow();
29
+ // Sanity check: ensure the epoch cache's current slot matches the expected current slot
30
+ if (slot !== currentSlot) {
31
+ return false;
32
+ }
33
+ // ts is in seconds, convert to ms; nowMs is already in milliseconds
34
+ const slotStartMs = slotStartTs * 1000n;
35
+ const elapsedMs = Number(nowMs - slotStartMs);
36
+ return elapsedMs < MAXIMUM_GOSSIP_CLOCK_DISPARITY_MS;
37
+ }
@@ -1,6 +1,6 @@
1
1
  import type { EpochCacheInterface } from '@aztec/epoch-cache';
2
2
  import { type Logger } from '@aztec/foundation/log';
3
- import { BlockProposal, CheckpointProposal, PeerErrorSeverity } from '@aztec/stdlib/p2p';
3
+ import { BlockProposal, CheckpointProposal, type ValidationResult } from '@aztec/stdlib/p2p';
4
4
  export declare abstract class ProposalValidator<TProposal extends BlockProposal | CheckpointProposal> {
5
5
  protected epochCache: EpochCacheInterface;
6
6
  protected logger: Logger;
@@ -8,6 +8,6 @@ export declare abstract class ProposalValidator<TProposal extends BlockProposal
8
8
  constructor(epochCache: EpochCacheInterface, opts: {
9
9
  txsPermitted: boolean;
10
10
  }, loggerName: string);
11
- validate(proposal: TProposal): Promise<PeerErrorSeverity | undefined>;
11
+ validate(proposal: TProposal): Promise<ValidationResult>;
12
12
  }
13
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zYWxfdmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvbXNnX3ZhbGlkYXRvcnMvcHJvcG9zYWxfdmFsaWRhdG9yL3Byb3Bvc2FsX3ZhbGlkYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRTlELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUNsRSxPQUFPLEVBQUUsYUFBYSxFQUFFLGtCQUFrQixFQUFFLGlCQUFpQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFekYsOEJBQXNCLGlCQUFpQixDQUFDLFNBQVMsU0FBUyxhQUFhLEdBQUcsa0JBQWtCO0lBQzFGLFNBQVMsQ0FBQyxVQUFVLEVBQUUsbUJBQW1CLENBQUM7SUFDMUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDekIsU0FBUyxDQUFDLFlBQVksRUFBRSxPQUFPLENBQUM7SUFFaEMsWUFBWSxVQUFVLEVBQUUsbUJBQW1CLEVBQUUsSUFBSSxFQUFFO1FBQUUsWUFBWSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEVBQUUsVUFBVSxFQUFFLE1BQU0sRUFJL0Y7SUFFWSxRQUFRLENBQUMsUUFBUSxFQUFFLFNBQVMsR0FBRyxPQUFPLENBQUMsaUJBQWlCLEdBQUcsU0FBUyxDQUFDLENBMEVqRjtDQUNGIn0=
13
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zYWxfdmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvbXNnX3ZhbGlkYXRvcnMvcHJvcG9zYWxfdmFsaWRhdG9yL3Byb3Bvc2FsX3ZhbGlkYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRTlELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUNsRSxPQUFPLEVBQUUsYUFBYSxFQUFFLGtCQUFrQixFQUFxQixLQUFLLGdCQUFnQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFJaEgsOEJBQXNCLGlCQUFpQixDQUFDLFNBQVMsU0FBUyxhQUFhLEdBQUcsa0JBQWtCO0lBQzFGLFNBQVMsQ0FBQyxVQUFVLEVBQUUsbUJBQW1CLENBQUM7SUFDMUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDekIsU0FBUyxDQUFDLFlBQVksRUFBRSxPQUFPLENBQUM7SUFFaEMsWUFBWSxVQUFVLEVBQUUsbUJBQW1CLEVBQUUsSUFBSSxFQUFFO1FBQUUsWUFBWSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEVBQUUsVUFBVSxFQUFFLE1BQU0sRUFJL0Y7SUFFWSxRQUFRLENBQUMsUUFBUSxFQUFFLFNBQVMsR0FBRyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0F3RXBFO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"proposal_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/proposal_validator/proposal_validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEzF,8BAAsB,iBAAiB,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB;IAC1F,SAAS,CAAC,UAAU,EAAE,mBAAmB,CAAC;IAC1C,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC;IAEhC,YAAY,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAA;KAAE,EAAE,UAAU,EAAE,MAAM,EAI/F;IAEY,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CA0EjF;CACF"}
1
+ {"version":3,"file":"proposal_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/proposal_validator/proposal_validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAqB,KAAK,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAIhH,8BAAsB,iBAAiB,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB;IAC1F,SAAS,CAAC,UAAU,EAAE,mBAAmB,CAAC;IAC1C,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC;IACzB,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC;IAEhC,YAAY,UAAU,EAAE,mBAAmB,EAAE,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAA;KAAE,EAAE,UAAU,EAAE,MAAM,EAI/F;IAEY,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAwEpE;CACF"}
@@ -1,6 +1,7 @@
1
1
  import { NoCommitteeError } from '@aztec/ethereum/contracts';
2
2
  import { createLogger } from '@aztec/foundation/log';
3
3
  import { PeerErrorSeverity } from '@aztec/stdlib/p2p';
4
+ import { isWithinClockTolerance } from '../clock_tolerance.js';
4
5
  export class ProposalValidator {
5
6
  epochCache;
6
7
  logger;
@@ -12,17 +13,43 @@ export class ProposalValidator {
12
13
  }
13
14
  async validate(proposal) {
14
15
  try {
16
+ // Slot check
17
+ const { currentSlot, nextSlot } = this.epochCache.getCurrentAndNextSlot();
18
+ const slotNumber = proposal.slotNumber;
19
+ if (slotNumber !== currentSlot && slotNumber !== nextSlot) {
20
+ // Check if message is for previous slot and within clock tolerance
21
+ if (!isWithinClockTolerance(slotNumber, currentSlot, this.epochCache)) {
22
+ this.logger.warn(`Penalizing peer for invalid slot number ${slotNumber}`, {
23
+ currentSlot,
24
+ nextSlot
25
+ });
26
+ return {
27
+ result: 'reject',
28
+ severity: PeerErrorSeverity.HighToleranceError
29
+ };
30
+ }
31
+ this.logger.verbose(`Ignoring proposal for previous slot ${slotNumber} within clock tolerance`);
32
+ return {
33
+ result: 'ignore'
34
+ };
35
+ }
15
36
  // Signature validity
16
37
  const proposer = proposal.getSender();
17
38
  if (!proposer) {
18
- this.logger.debug(`Penalizing peer for proposal with invalid signature`);
19
- return PeerErrorSeverity.MidToleranceError;
39
+ this.logger.warn(`Penalizing peer for proposal with invalid signature`);
40
+ return {
41
+ result: 'reject',
42
+ severity: PeerErrorSeverity.MidToleranceError
43
+ };
20
44
  }
21
45
  // Transactions permitted check
22
46
  const embeddedTxCount = proposal.txs?.length ?? 0;
23
47
  if (!this.txsPermitted && (proposal.txHashes.length > 0 || embeddedTxCount > 0)) {
24
- this.logger.debug(`Penalizing peer for proposal with ${proposal.txHashes.length} transaction(s) when transactions are not permitted`);
25
- return PeerErrorSeverity.MidToleranceError;
48
+ this.logger.warn(`Penalizing peer for proposal with ${proposal.txHashes.length} transaction(s) when transactions are not permitted`);
49
+ return {
50
+ result: 'reject',
51
+ severity: PeerErrorSeverity.MidToleranceError
52
+ };
26
53
  }
27
54
  // Embedded txs must be listed in txHashes
28
55
  const hashSet = new Set(proposal.txHashes.map((h)=>h.toString()));
@@ -33,33 +60,22 @@ export class ProposalValidator {
33
60
  txHashesLength: proposal.txHashes.length,
34
61
  missingTxHashes
35
62
  });
36
- return PeerErrorSeverity.MidToleranceError;
37
- }
38
- // Slot and proposer checks
39
- const { currentProposer, nextProposer, currentSlot, nextSlot } = await this.epochCache.getProposerAttesterAddressInCurrentOrNextSlot();
40
- const slotNumber = proposal.slotNumber;
41
- if (slotNumber !== currentSlot && slotNumber !== nextSlot) {
42
- this.logger.debug(`Penalizing peer for invalid slot number ${slotNumber}`, {
43
- currentSlot,
44
- nextSlot
45
- });
46
- return PeerErrorSeverity.HighToleranceError;
47
- }
48
- if (slotNumber === currentSlot && currentProposer !== undefined && !proposer.equals(currentProposer)) {
49
- this.logger.debug(`Penalizing peer for invalid proposer for current slot ${slotNumber}`, {
50
- currentProposer,
51
- nextProposer,
52
- proposer: proposer.toString()
53
- });
54
- return PeerErrorSeverity.MidToleranceError;
63
+ return {
64
+ result: 'reject',
65
+ severity: PeerErrorSeverity.MidToleranceError
66
+ };
55
67
  }
56
- if (slotNumber === nextSlot && nextProposer !== undefined && !proposer.equals(nextProposer)) {
57
- this.logger.debug(`Penalizing peer for invalid proposer for next slot ${slotNumber}`, {
58
- currentProposer,
59
- nextProposer,
68
+ // Proposer check
69
+ const expectedProposer = await this.epochCache.getProposerAttesterAddressInSlot(slotNumber);
70
+ if (expectedProposer !== undefined && !proposer.equals(expectedProposer)) {
71
+ this.logger.warn(`Penalizing peer for invalid proposer for current slot ${slotNumber}`, {
72
+ expectedProposer,
60
73
  proposer: proposer.toString()
61
74
  });
62
- return PeerErrorSeverity.MidToleranceError;
75
+ return {
76
+ result: 'reject',
77
+ severity: PeerErrorSeverity.MidToleranceError
78
+ };
63
79
  }
64
80
  // Validate tx hashes for all txs embedded in the proposal
65
81
  if (!(await Promise.all(proposal.txs?.map((tx)=>tx.validateTxHash()) ?? [])).every((v)=>v)) {
@@ -67,12 +83,20 @@ export class ProposalValidator {
67
83
  proposer,
68
84
  slotNumber
69
85
  });
70
- return PeerErrorSeverity.LowToleranceError;
86
+ return {
87
+ result: 'reject',
88
+ severity: PeerErrorSeverity.LowToleranceError
89
+ };
71
90
  }
72
- return undefined;
91
+ return {
92
+ result: 'accept'
93
+ };
73
94
  } catch (e) {
74
95
  if (e instanceof NoCommitteeError) {
75
- return PeerErrorSeverity.LowToleranceError;
96
+ return {
97
+ result: 'reject',
98
+ severity: PeerErrorSeverity.LowToleranceError
99
+ };
76
100
  }
77
101
  throw e;
78
102
  }
@@ -1,14 +1,14 @@
1
1
  import type { EpochCacheInterface } from '@aztec/epoch-cache';
2
2
  import type { Secp256k1Signer } from '@aztec/foundation/crypto/secp256k1-signer';
3
3
  import type { EthAddress } from '@aztec/foundation/eth-address';
4
- import { type BlockProposal, type CheckpointProposal, PeerErrorSeverity } from '@aztec/stdlib/p2p';
4
+ import { type BlockProposal, type CheckpointProposal, type ValidationResult } from '@aztec/stdlib/p2p';
5
5
  import type { TxHash } from '@aztec/stdlib/tx';
6
6
  import type { MockProxy } from 'jest-mock-extended';
7
7
  export interface ProposalValidatorTestParams<TProposal extends BlockProposal | CheckpointProposal> {
8
8
  validatorFactory: (epochCache: EpochCacheInterface, opts: {
9
9
  txsPermitted: boolean;
10
10
  }) => {
11
- validate: (proposal: TProposal) => Promise<PeerErrorSeverity | undefined>;
11
+ validate: (proposal: TProposal) => Promise<ValidationResult>;
12
12
  };
13
13
  makeProposal: (options?: any) => Promise<TProposal>;
14
14
  makeHeader: (epochNumber: number | bigint, slotNumber: number | bigint, blockNumber: number | bigint) => any;
@@ -20,4 +20,4 @@ export interface ProposalValidatorTestParams<TProposal extends BlockProposal | C
20
20
  epochCacheMock: () => MockProxy<EpochCacheInterface>;
21
21
  }
22
22
  export declare function sharedProposalValidatorTests<TProposal extends BlockProposal | CheckpointProposal>(params: ProposalValidatorTestParams<TProposal>): void;
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tc2dfdmFsaWRhdG9ycy9wcm9wb3NhbF92YWxpZGF0b3IvcHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQUUsS0FBSyxhQUFhLEVBQUUsS0FBSyxrQkFBa0IsRUFBRSxpQkFBaUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ25HLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRS9DLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXBELE1BQU0sV0FBVywyQkFBMkIsQ0FBQyxTQUFTLFNBQVMsYUFBYSxHQUFHLGtCQUFrQjtJQUMvRixnQkFBZ0IsRUFBRSxDQUNoQixVQUFVLEVBQUUsbUJBQW1CLEVBQy9CLElBQUksRUFBRTtRQUFFLFlBQVksRUFBRSxPQUFPLENBQUE7S0FBRSxLQUM1QjtRQUFFLFFBQVEsRUFBRSxDQUFDLFFBQVEsRUFBRSxTQUFTLEtBQUssT0FBTyxDQUFDLGlCQUFpQixHQUFHLFNBQVMsQ0FBQyxDQUFBO0tBQUUsQ0FBQztJQUNuRixZQUFZLEVBQUUsQ0FBQyxPQUFPLENBQUMsRUFBRSxHQUFHLEtBQUssT0FBTyxDQUFDLFNBQVMsQ0FBQyxDQUFDO0lBQ3BELFVBQVUsRUFBRSxDQUFDLFdBQVcsRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLFVBQVUsRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLFdBQVcsRUFBRSxNQUFNLEdBQUcsTUFBTSxLQUFLLEdBQUcsQ0FBQztJQUM3RyxTQUFTLEVBQUUsTUFBTSxlQUFlLENBQUM7SUFDakMsVUFBVSxFQUFFLENBQUMsTUFBTSxDQUFDLEVBQUUsZUFBZSxLQUFLLFVBQVUsQ0FBQztJQUNyRCxPQUFPLEVBQUUsQ0FBQyxJQUFJLEVBQUUsTUFBTSxHQUFHLE1BQU0sS0FBSyxHQUFHLENBQUM7SUFDeEMsV0FBVyxFQUFFLENBQUMsQ0FBQyxFQUFFLE1BQU0sS0FBSyxNQUFNLEVBQUUsQ0FBQztJQUNyQyxNQUFNLEVBQUUsTUFBTSxHQUFHLEVBQUUsQ0FBQztJQUNwQixjQUFjLEVBQUUsTUFBTSxTQUFTLENBQUMsbUJBQW1CLENBQUMsQ0FBQztDQUN0RDtBQUVELHdCQUFnQiw0QkFBNEIsQ0FBQyxTQUFTLFNBQVMsYUFBYSxHQUFHLGtCQUFrQixFQUMvRixNQUFNLEVBQUUsMkJBQTJCLENBQUMsU0FBUyxDQUFDLFFBcUwvQyJ9
23
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tc2dfdmFsaWRhdG9ycy9wcm9wb3NhbF92YWxpZGF0b3IvcHJvcG9zYWxfdmFsaWRhdG9yX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEVBQ0wsS0FBSyxhQUFhLEVBQ2xCLEtBQUssa0JBQWtCLEVBRXZCLEtBQUssZ0JBQWdCLEVBQ3RCLE1BQU0sbUJBQW1CLENBQUM7QUFDM0IsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFL0MsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFcEQsTUFBTSxXQUFXLDJCQUEyQixDQUFDLFNBQVMsU0FBUyxhQUFhLEdBQUcsa0JBQWtCO0lBQy9GLGdCQUFnQixFQUFFLENBQ2hCLFVBQVUsRUFBRSxtQkFBbUIsRUFDL0IsSUFBSSxFQUFFO1FBQUUsWUFBWSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEtBQzVCO1FBQUUsUUFBUSxFQUFFLENBQUMsUUFBUSxFQUFFLFNBQVMsS0FBSyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FBQTtLQUFFLENBQUM7SUFDdEUsWUFBWSxFQUFFLENBQUMsT0FBTyxDQUFDLEVBQUUsR0FBRyxLQUFLLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNwRCxVQUFVLEVBQUUsQ0FBQyxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLE1BQU0sRUFBRSxXQUFXLEVBQUUsTUFBTSxHQUFHLE1BQU0sS0FBSyxHQUFHLENBQUM7SUFDN0csU0FBUyxFQUFFLE1BQU0sZUFBZSxDQUFDO0lBQ2pDLFVBQVUsRUFBRSxDQUFDLE1BQU0sQ0FBQyxFQUFFLGVBQWUsS0FBSyxVQUFVLENBQUM7SUFDckQsT0FBTyxFQUFFLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyxNQUFNLEtBQUssR0FBRyxDQUFDO0lBQ3hDLFdBQVcsRUFBRSxDQUFDLENBQUMsRUFBRSxNQUFNLEtBQUssTUFBTSxFQUFFLENBQUM7SUFDckMsTUFBTSxFQUFFLE1BQU0sR0FBRyxFQUFFLENBQUM7SUFDcEIsY0FBYyxFQUFFLE1BQU0sU0FBUyxDQUFDLG1CQUFtQixDQUFDLENBQUM7Q0FDdEQ7QUFFRCx3QkFBZ0IsNEJBQTRCLENBQUMsU0FBUyxTQUFTLGFBQWEsR0FBRyxrQkFBa0IsRUFDL0YsTUFBTSxFQUFFLDJCQUEyQixDQUFDLFNBQVMsQ0FBQyxRQXdNL0MifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"proposal_validator_test_suite.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/proposal_validator/proposal_validator_test_suite.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACnG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,WAAW,2BAA2B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB;IAC/F,gBAAgB,EAAE,CAChB,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAA;KAAE,KAC5B;QAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAAA;KAAE,CAAC;IACnF,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IAC7G,SAAS,EAAE,MAAM,eAAe,CAAC;IACjC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,KAAK,UAAU,CAAC;IACrD,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACrC,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC;IACpB,cAAc,EAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAC;CACtD;AAED,wBAAgB,4BAA4B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB,EAC/F,MAAM,EAAE,2BAA2B,CAAC,SAAS,CAAC,QAqL/C"}
1
+ {"version":3,"file":"proposal_validator_test_suite.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/proposal_validator/proposal_validator_test_suite.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,kBAAkB,EAEvB,KAAK,gBAAgB,EACtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,WAAW,2BAA2B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB;IAC/F,gBAAgB,EAAE,CAChB,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE;QAAE,YAAY,EAAE,OAAO,CAAA;KAAE,KAC5B;QAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAA;KAAE,CAAC;IACtE,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IAC7G,SAAS,EAAE,MAAM,eAAe,CAAC;IACjC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,KAAK,UAAU,CAAC;IACrD,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,KAAK,GAAG,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACrC,MAAM,EAAE,MAAM,GAAG,EAAE,CAAC;IACpB,cAAc,EAAE,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAC;CACtD;AAED,wBAAgB,4BAA4B,CAAC,SAAS,SAAS,aAAa,GAAG,kBAAkB,EAC/F,MAAM,EAAE,2BAA2B,CAAC,SAAS,CAAC,QAwM/C"}
@@ -4,26 +4,75 @@ export function sharedProposalValidatorTests(params) {
4
4
  describe('shared proposal validation logic', ()=>{
5
5
  let epochCache;
6
6
  let validator;
7
+ const previousSlot = getSlot(99);
8
+ const currentSlot = getSlot(100);
9
+ const nextSlot = getSlot(101);
10
+ function mockGetProposer(currentProposer, nextProposer, previousProposer) {
11
+ epochCache.getProposerAttesterAddressInSlot.mockImplementation((slot)=>{
12
+ if (slot === currentSlot) {
13
+ return Promise.resolve(currentProposer);
14
+ }
15
+ if (slot === nextSlot) {
16
+ return Promise.resolve(nextProposer);
17
+ }
18
+ if (slot === previousSlot && previousProposer) {
19
+ return Promise.resolve(previousProposer);
20
+ }
21
+ throw new Error('Unexpected argument');
22
+ });
23
+ }
7
24
  beforeEach(()=>{
8
25
  epochCache = epochCacheMock();
9
26
  validator = validatorFactory(epochCache, {
10
27
  txsPermitted: true
11
28
  });
29
+ epochCache.getCurrentAndNextSlot.mockReturnValue({
30
+ currentSlot: currentSlot,
31
+ nextSlot: nextSlot
32
+ });
12
33
  });
13
- it('returns high tolerance error if slot number is not current or next slot', async ()=>{
14
- const header = makeHeader(1, 97, 97);
34
+ it('returns high tolerance error if slot number is not current or next slot (outside clock tolerance)', async ()=>{
35
+ const header = makeHeader(1, 99, 99);
15
36
  const mockProposal = await makeProposal({
16
37
  blockHeader: header,
17
38
  lastBlockHeader: header
18
39
  });
19
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
20
- currentSlot: getSlot(98),
21
- nextSlot: getSlot(99),
22
- currentProposer: getAddress(),
23
- nextProposer: getAddress()
40
+ // Mock getEpochAndSlotNow to return time OUTSIDE clock tolerance (1000ms elapsed)
41
+ epochCache.getEpochAndSlotNow.mockReturnValue({
42
+ epoch: 1,
43
+ slot: currentSlot,
44
+ ts: 1000n,
45
+ nowMs: 1001000n
24
46
  });
47
+ epochCache.getProposerAttesterAddressInSlot.mockResolvedValue(getAddress());
25
48
  const result = await validator.validate(mockProposal);
26
- expect(result).toBe(PeerErrorSeverity.HighToleranceError);
49
+ expect(result).toEqual({
50
+ result: 'reject',
51
+ severity: PeerErrorSeverity.HighToleranceError
52
+ });
53
+ // Should not try to resolve proposers if base validation fails
54
+ expect(epochCache.getProposerAttesterAddressInSlot).not.toHaveBeenCalled();
55
+ });
56
+ it('returns ignore if previous slot proposal is within clock tolerance', async ()=>{
57
+ const previousProposer = getSigner();
58
+ const header = makeHeader(1, 99, 99);
59
+ const mockProposal = await makeProposal({
60
+ blockHeader: header,
61
+ lastBlockHeader: header,
62
+ signer: previousProposer
63
+ });
64
+ // Mock getEpochAndSlotNow to return time WITHIN clock tolerance (100ms elapsed)
65
+ epochCache.getEpochAndSlotNow.mockReturnValue({
66
+ epoch: 1,
67
+ slot: currentSlot,
68
+ ts: 1000n,
69
+ nowMs: 1000100n
70
+ });
71
+ mockGetProposer(getAddress(), getAddress(), getAddress(previousProposer));
72
+ const result = await validator.validate(mockProposal);
73
+ expect(result).toEqual({
74
+ result: 'ignore'
75
+ });
27
76
  });
28
77
  it('returns mid tolerance error if proposer is not current proposer for current slot', async ()=>{
29
78
  const currentProposer = getSigner();
@@ -35,14 +84,12 @@ export function sharedProposalValidatorTests(params) {
35
84
  lastBlockHeader: header,
36
85
  signer: invalidProposer
37
86
  });
38
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
39
- currentSlot: getSlot(100),
40
- nextSlot: getSlot(101),
41
- currentProposer: getAddress(currentProposer),
42
- nextProposer: getAddress(nextProposer)
43
- });
87
+ mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
44
88
  const result = await validator.validate(mockProposal);
45
- expect(result).toBe(PeerErrorSeverity.MidToleranceError);
89
+ expect(result).toEqual({
90
+ result: 'reject',
91
+ severity: PeerErrorSeverity.MidToleranceError
92
+ });
46
93
  });
47
94
  it('returns mid tolerance error if proposer is not next proposer for next slot', async ()=>{
48
95
  const currentProposer = getSigner();
@@ -54,14 +101,12 @@ export function sharedProposalValidatorTests(params) {
54
101
  lastBlockHeader: header,
55
102
  signer: invalidProposer
56
103
  });
57
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
58
- currentSlot: getSlot(100),
59
- nextSlot: getSlot(101),
60
- currentProposer: getAddress(currentProposer),
61
- nextProposer: getAddress(nextProposer)
62
- });
104
+ mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
63
105
  const result = await validator.validate(mockProposal);
64
- expect(result).toBe(PeerErrorSeverity.MidToleranceError);
106
+ expect(result).toEqual({
107
+ result: 'reject',
108
+ severity: PeerErrorSeverity.MidToleranceError
109
+ });
65
110
  });
66
111
  it('returns mid tolerance error if proposer is current proposer but proposal is for next slot', async ()=>{
67
112
  const currentProposer = getSigner();
@@ -72,14 +117,12 @@ export function sharedProposalValidatorTests(params) {
72
117
  lastBlockHeader: header,
73
118
  signer: currentProposer
74
119
  });
75
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
76
- currentSlot: getSlot(100),
77
- nextSlot: getSlot(101),
78
- currentProposer: getAddress(currentProposer),
79
- nextProposer: getAddress(nextProposer)
80
- });
120
+ mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
81
121
  const result = await validator.validate(mockProposal);
82
- expect(result).toBe(PeerErrorSeverity.MidToleranceError);
122
+ expect(result).toEqual({
123
+ result: 'reject',
124
+ severity: PeerErrorSeverity.MidToleranceError
125
+ });
83
126
  });
84
127
  it('returns undefined if proposal is valid for current slot and proposer', async ()=>{
85
128
  const currentProposer = getSigner();
@@ -90,14 +133,11 @@ export function sharedProposalValidatorTests(params) {
90
133
  lastBlockHeader: header,
91
134
  signer: currentProposer
92
135
  });
93
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
94
- currentSlot: getSlot(100),
95
- nextSlot: getSlot(101),
96
- currentProposer: getAddress(currentProposer),
97
- nextProposer: getAddress(nextProposer)
98
- });
136
+ mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
99
137
  const result = await validator.validate(mockProposal);
100
- expect(result).toBeUndefined();
138
+ expect(result).toEqual({
139
+ result: 'accept'
140
+ });
101
141
  });
102
142
  it('returns undefined if proposal is valid for next slot and proposer', async ()=>{
103
143
  const currentProposer = getSigner();
@@ -108,14 +148,11 @@ export function sharedProposalValidatorTests(params) {
108
148
  lastBlockHeader: header,
109
149
  signer: nextProposer
110
150
  });
111
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
112
- currentSlot: getSlot(100),
113
- nextSlot: getSlot(101),
114
- currentProposer: getAddress(currentProposer),
115
- nextProposer: getAddress(nextProposer)
116
- });
151
+ mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
117
152
  const result = await validator.validate(mockProposal);
118
- expect(result).toBeUndefined();
153
+ expect(result).toEqual({
154
+ result: 'accept'
155
+ });
119
156
  });
120
157
  describe('transaction permission validation', ()=>{
121
158
  it('returns mid tolerance error if txs not permitted and proposal contains txHashes', async ()=>{
@@ -130,14 +167,12 @@ export function sharedProposalValidatorTests(params) {
130
167
  signer: currentProposer,
131
168
  txHashes: getTxHashes(2)
132
169
  });
133
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
134
- currentSlot: getSlot(100),
135
- nextSlot: getSlot(101),
136
- currentProposer: getAddress(currentProposer),
137
- nextProposer: getAddress()
138
- });
170
+ mockGetProposer(getAddress(currentProposer), getAddress());
139
171
  const result = await validatorWithTxsDisabled.validate(mockProposal);
140
- expect(result).toBe(PeerErrorSeverity.MidToleranceError);
172
+ expect(result).toEqual({
173
+ result: 'reject',
174
+ severity: PeerErrorSeverity.MidToleranceError
175
+ });
141
176
  });
142
177
  it('returns undefined if txs not permitted but proposal has no txHashes', async ()=>{
143
178
  const currentProposer = getSigner();
@@ -151,14 +186,11 @@ export function sharedProposalValidatorTests(params) {
151
186
  signer: currentProposer,
152
187
  txHashes: getTxHashes(0)
153
188
  });
154
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
155
- currentSlot: getSlot(100),
156
- nextSlot: getSlot(101),
157
- currentProposer: getAddress(currentProposer),
158
- nextProposer: getAddress()
159
- });
189
+ mockGetProposer(getAddress(currentProposer), getAddress());
160
190
  const result = await validatorWithTxsDisabled.validate(mockProposal);
161
- expect(result).toBeUndefined();
191
+ expect(result).toEqual({
192
+ result: 'accept'
193
+ });
162
194
  });
163
195
  it('returns undefined if txs permitted and proposal contains txHashes', async ()=>{
164
196
  const currentProposer = getSigner();
@@ -169,14 +201,11 @@ export function sharedProposalValidatorTests(params) {
169
201
  signer: currentProposer,
170
202
  txHashes: getTxHashes(2)
171
203
  });
172
- epochCache.getProposerAttesterAddressInCurrentOrNextSlot.mockResolvedValue({
173
- currentSlot: getSlot(100),
174
- nextSlot: getSlot(101),
175
- currentProposer: getAddress(currentProposer),
176
- nextProposer: getAddress()
177
- });
204
+ mockGetProposer(getAddress(currentProposer), getAddress());
178
205
  const result = await validator.validate(mockProposal);
179
- expect(result).toBeUndefined();
206
+ expect(result).toEqual({
207
+ result: 'accept'
208
+ });
180
209
  });
181
210
  });
182
211
  });
@@ -1,5 +1,5 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
2
1
  import type { ArchiveSource } from '@aztec/p2p';
2
+ import type { BlockHash } from '@aztec/stdlib/block';
3
3
  import type { MerkleTreeReadOperations } from '@aztec/stdlib/interfaces/server';
4
4
  /**
5
5
  * Implements an archive source by checking a DB and an in-memory collection.
@@ -9,6 +9,6 @@ export declare class ArchiveCache implements ArchiveSource {
9
9
  private db;
10
10
  archives: Map<string, bigint>;
11
11
  constructor(db: MerkleTreeReadOperations);
12
- getArchiveIndices(archives: Fr[]): Promise<(bigint | undefined)[]>;
12
+ getArchiveIndices(archives: BlockHash[]): Promise<(bigint | undefined)[]>;
13
13
  }
14
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJjaGl2ZV9jYWNoZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9hcmNoaXZlX2NhY2hlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUNoRCxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBR2hGOzs7R0FHRztBQUNILHFCQUFhLFlBQWEsWUFBVyxhQUFhO0lBR3BDLE9BQU8sQ0FBQyxFQUFFO0lBRnRCLFFBQVEsRUFBRSxHQUFHLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQyxDQUFDO0lBRTlCLFlBQW9CLEVBQUUsRUFBRSx3QkFBd0IsRUFFL0M7SUFFWSxpQkFBaUIsQ0FBQyxRQUFRLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxFQUFFLENBQUMsQ0FVOUU7Q0FDRiJ9
14
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXJjaGl2ZV9jYWNoZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9hcmNoaXZlX2NhY2hlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLFlBQVksQ0FBQztBQUNoRCxPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRCxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBR2hGOzs7R0FHRztBQUNILHFCQUFhLFlBQWEsWUFBVyxhQUFhO0lBR3BDLE9BQU8sQ0FBQyxFQUFFO0lBRnRCLFFBQVEsRUFBRSxHQUFHLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQyxDQUFDO0lBRTlCLFlBQW9CLEVBQUUsRUFBRSx3QkFBd0IsRUFFL0M7SUFFWSxpQkFBaUIsQ0FBQyxRQUFRLEVBQUUsU0FBUyxFQUFFLEdBQUcsT0FBTyxDQUFDLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxFQUFFLENBQUMsQ0FVckY7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"archive_cache.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/archive_cache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAGhF;;;GAGG;AACH,qBAAa,YAAa,YAAW,aAAa;IAGpC,OAAO,CAAC,EAAE;IAFtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE9B,YAAoB,EAAE,EAAE,wBAAwB,EAE/C;IAEY,iBAAiB,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAU9E;CACF"}
1
+ {"version":3,"file":"archive_cache.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/archive_cache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAGhF;;;GAGG;AACH,qBAAa,YAAa,YAAW,aAAa;IAGpC,OAAO,CAAC,EAAE;IAFtB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE9B,YAAoB,EAAE,EAAE,wBAAwB,EAE/C;IAEY,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAUrF;CACF"}
@@ -10,7 +10,7 @@ import { MerkleTreeId } from '@aztec/stdlib/trees';
10
10
  this.archives = new Map();
11
11
  }
12
12
  async getArchiveIndices(archives) {
13
- const toCheckDb = archives.filter((n)=>!this.archives.has(n.toString()));
13
+ const toCheckDb = archives.filter((n)=>!this.archives.has(n.toString())).map((n)=>n.toFr());
14
14
  const dbHits = await this.db.findLeafIndices(MerkleTreeId.ARCHIVE, toCheckDb);
15
15
  dbHits.forEach((x, index)=>{
16
16
  if (x !== undefined) {
@@ -1,11 +1,12 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
1
+ import { type LoggerBindings } from '@aztec/foundation/log';
2
+ import type { BlockHash } from '@aztec/stdlib/block';
2
3
  import { type AnyTx, type TxValidationResult, type TxValidator } from '@aztec/stdlib/tx';
3
4
  export interface ArchiveSource {
4
- getArchiveIndices: (archives: Fr[]) => Promise<(bigint | undefined)[]>;
5
+ getArchiveIndices: (archives: BlockHash[]) => Promise<(bigint | undefined)[]>;
5
6
  }
6
7
  export declare class BlockHeaderTxValidator<T extends AnyTx> implements TxValidator<T> {
7
8
  #private;
8
- constructor(archiveSource: ArchiveSource);
9
+ constructor(archiveSource: ArchiveSource, bindings?: LoggerBindings);
9
10
  validateTx(tx: T): Promise<TxValidationResult>;
10
11
  }
11
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfaGVhZGVyX3ZhbGlkYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9ibG9ja19oZWFkZXJfdmFsaWRhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXpELE9BQU8sRUFBRSxLQUFLLEtBQUssRUFBeUIsS0FBSyxrQkFBa0IsRUFBRSxLQUFLLFdBQVcsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRWhILE1BQU0sV0FBVyxhQUFhO0lBQzVCLGlCQUFpQixFQUFFLENBQUMsUUFBUSxFQUFFLEVBQUUsRUFBRSxLQUFLLE9BQU8sQ0FBQyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsRUFBRSxDQUFDLENBQUM7Q0FDeEU7QUFFRCxxQkFBYSxzQkFBc0IsQ0FBQyxDQUFDLFNBQVMsS0FBSyxDQUFFLFlBQVcsV0FBVyxDQUFDLENBQUMsQ0FBQzs7SUFJNUUsWUFBWSxhQUFhLEVBQUUsYUFBYSxFQUV2QztJQUVLLFVBQVUsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQU9uRDtDQUNGIn0=
12
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfaGVhZGVyX3ZhbGlkYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9ibG9ja19oZWFkZXJfdmFsaWRhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBZSxLQUFLLGNBQWMsRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RixPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsS0FBSyxLQUFLLEVBQXlCLEtBQUssa0JBQWtCLEVBQUUsS0FBSyxXQUFXLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVoSCxNQUFNLFdBQVcsYUFBYTtJQUM1QixpQkFBaUIsRUFBRSxDQUFDLFFBQVEsRUFBRSxTQUFTLEVBQUUsS0FBSyxPQUFPLENBQUMsQ0FBQyxNQUFNLEdBQUcsU0FBUyxDQUFDLEVBQUUsQ0FBQyxDQUFDO0NBQy9FO0FBRUQscUJBQWEsc0JBQXNCLENBQUMsQ0FBQyxTQUFTLEtBQUssQ0FBRSxZQUFXLFdBQVcsQ0FBQyxDQUFDLENBQUM7O0lBSTVFLFlBQVksYUFBYSxFQUFFLGFBQWEsRUFBRSxRQUFRLENBQUMsRUFBRSxjQUFjLEVBR2xFO0lBRUssVUFBVSxDQUFDLEVBQUUsRUFBRSxDQUFDLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBT25EO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"block_header_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/block_header_validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,EAAE,KAAK,KAAK,EAAyB,KAAK,kBAAkB,EAAE,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEhH,MAAM,WAAW,aAAa;IAC5B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;CACxE;AAED,qBAAa,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;;IAI5E,YAAY,aAAa,EAAE,aAAa,EAEvC;IAEK,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAOnD;CACF"}
1
+ {"version":3,"file":"block_header_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/block_header_validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AACvF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,KAAK,KAAK,EAAyB,KAAK,kBAAkB,EAAE,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEhH,MAAM,WAAW,aAAa;IAC5B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;CAC/E;AAED,qBAAa,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;;IAI5E,YAAY,aAAa,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE,cAAc,EAGlE;IAEK,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAOnD;CACF"}
@@ -1,10 +1,11 @@
1
1
  import { createLogger } from '@aztec/foundation/log';
2
2
  import { TX_ERROR_BLOCK_HEADER } from '@aztec/stdlib/tx';
3
3
  export class BlockHeaderTxValidator {
4
- #log = createLogger('p2p:tx_validator:tx_block_header');
4
+ #log;
5
5
  #archiveSource;
6
- constructor(archiveSource){
6
+ constructor(archiveSource, bindings){
7
7
  this.#archiveSource = archiveSource;
8
+ this.#log = createLogger('p2p:tx_validator:tx_block_header', bindings);
8
9
  }
9
10
  async validateTx(tx) {
10
11
  const [index] = await this.#archiveSource.getArchiveIndices([
@@ -1,6 +1,8 @@
1
+ import { type LoggerBindings } from '@aztec/foundation/log';
1
2
  import { Tx, type TxValidationResult, type TxValidator } from '@aztec/stdlib/tx';
2
3
  export declare class DataTxValidator implements TxValidator<Tx> {
3
4
  #private;
5
+ constructor(bindings?: LoggerBindings);
4
6
  validateTx(tx: Tx): Promise<TxValidationResult>;
5
7
  }
6
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGF0YV92YWxpZGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tc2dfdmFsaWRhdG9ycy90eF92YWxpZGF0b3IvZGF0YV92YWxpZGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQVNMLEVBQUUsRUFDRixLQUFLLGtCQUFrQixFQUN2QixLQUFLLFdBQVcsRUFDakIsTUFBTSxrQkFBa0IsQ0FBQztBQUUxQixxQkFBYSxlQUFnQixZQUFXLFdBQVcsQ0FBQyxFQUFFLENBQUM7O0lBRy9DLFVBQVUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQU1wRDtDQW1HRiJ9
8
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGF0YV92YWxpZGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9tc2dfdmFsaWRhdG9ycy90eF92YWxpZGF0b3IvZGF0YV92YWxpZGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFlLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBRXZGLE9BQU8sRUFTTCxFQUFFLEVBQ0YsS0FBSyxrQkFBa0IsRUFDdkIsS0FBSyxXQUFXLEVBQ2pCLE1BQU0sa0JBQWtCLENBQUM7QUFFMUIscUJBQWEsZUFBZ0IsWUFBVyxXQUFXLENBQUMsRUFBRSxDQUFDOztJQUdyRCxZQUFZLFFBQVEsQ0FBQyxFQUFFLGNBQWMsRUFFcEM7SUFFSyxVQUFVLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FNcEQ7Q0FtR0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"data_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/data_validator.ts"],"names":[],"mappings":"AAGA,OAAO,EASL,EAAE,EACF,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,kBAAkB,CAAC;AAE1B,qBAAa,eAAgB,YAAW,WAAW,CAAC,EAAE,CAAC;;IAG/C,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAMpD;CAmGF"}
1
+ {"version":3,"file":"data_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/data_validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,EASL,EAAE,EACF,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,kBAAkB,CAAC;AAE1B,qBAAa,eAAgB,YAAW,WAAW,CAAC,EAAE,CAAC;;IAGrD,YAAY,QAAQ,CAAC,EAAE,cAAc,EAEpC;IAEK,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAMpD;CAmGF"}
@@ -3,7 +3,10 @@ import { createLogger } from '@aztec/foundation/log';
3
3
  import { computeCalldataHash } from '@aztec/stdlib/hash';
4
4
  import { TX_ERROR_CALLDATA_COUNT_MISMATCH, TX_ERROR_CALLDATA_COUNT_TOO_LARGE, TX_ERROR_CONTRACT_CLASS_LOGS, TX_ERROR_CONTRACT_CLASS_LOG_COUNT, TX_ERROR_CONTRACT_CLASS_LOG_LENGTH, TX_ERROR_CONTRACT_CLASS_LOG_SORTING, TX_ERROR_INCORRECT_CALLDATA, TX_ERROR_INCORRECT_HASH, Tx } from '@aztec/stdlib/tx';
5
5
  export class DataTxValidator {
6
- #log = createLogger('p2p:tx_validator:tx_data');
6
+ #log;
7
+ constructor(bindings){
8
+ this.#log = createLogger('p2p:tx_validator:tx_data', bindings);
9
+ }
7
10
  async validateTx(tx) {
8
11
  const reason = await this.#hasCorrectHash(tx) ?? await this.#hasCorrectCalldata(tx) ?? await this.#hasCorrectContractClassLogs(tx);
9
12
  return reason ? {
@@ -1,10 +1,11 @@
1
+ import { type LoggerBindings } from '@aztec/foundation/log';
1
2
  import { type AnyTx, type TxValidationResult, type TxValidator } from '@aztec/stdlib/tx';
2
3
  export interface NullifierSource {
3
4
  nullifiersExist: (nullifiers: Buffer[]) => Promise<boolean[]>;
4
5
  }
5
6
  export declare class DoubleSpendTxValidator<T extends AnyTx> implements TxValidator<T> {
6
7
  #private;
7
- constructor(nullifierSource: NullifierSource);
8
+ constructor(nullifierSource: NullifierSource, bindings?: LoggerBindings);
8
9
  validateTx(tx: T): Promise<TxValidationResult>;
9
10
  }
10
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZG91YmxlX3NwZW5kX3ZhbGlkYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9kb3VibGVfc3BlbmRfdmFsaWRhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFDTCxLQUFLLEtBQUssRUFJVixLQUFLLGtCQUFrQixFQUN2QixLQUFLLFdBQVcsRUFDakIsTUFBTSxrQkFBa0IsQ0FBQztBQUUxQixNQUFNLFdBQVcsZUFBZTtJQUM5QixlQUFlLEVBQUUsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLEtBQUssT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUM7Q0FDL0Q7QUFFRCxxQkFBYSxzQkFBc0IsQ0FBQyxDQUFDLFNBQVMsS0FBSyxDQUFFLFlBQVcsV0FBVyxDQUFDLENBQUMsQ0FBQzs7SUFJNUUsWUFBWSxlQUFlLEVBQUUsZUFBZSxFQUUzQztJQUVLLFVBQVUsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQWdCbkQ7Q0FDRiJ9
11
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZG91YmxlX3NwZW5kX3ZhbGlkYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL21zZ192YWxpZGF0b3JzL3R4X3ZhbGlkYXRvci9kb3VibGVfc3BlbmRfdmFsaWRhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBZSxLQUFLLGNBQWMsRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RixPQUFPLEVBQ0wsS0FBSyxLQUFLLEVBSVYsS0FBSyxrQkFBa0IsRUFDdkIsS0FBSyxXQUFXLEVBQ2pCLE1BQU0sa0JBQWtCLENBQUM7QUFFMUIsTUFBTSxXQUFXLGVBQWU7SUFDOUIsZUFBZSxFQUFFLENBQUMsVUFBVSxFQUFFLE1BQU0sRUFBRSxLQUFLLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQUFDO0NBQy9EO0FBRUQscUJBQWEsc0JBQXNCLENBQUMsQ0FBQyxTQUFTLEtBQUssQ0FBRSxZQUFXLFdBQVcsQ0FBQyxDQUFDLENBQUM7O0lBSTVFLFlBQVksZUFBZSxFQUFFLGVBQWUsRUFBRSxRQUFRLENBQUMsRUFBRSxjQUFjLEVBR3RFO0lBRUssVUFBVSxDQUFDLEVBQUUsRUFBRSxDQUFDLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBZ0JuRDtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"double_spend_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/double_spend_validator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,KAAK,EAIV,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;CAC/D;AAED,qBAAa,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;;IAI5E,YAAY,eAAe,EAAE,eAAe,EAE3C;IAEK,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgBnD;CACF"}
1
+ {"version":3,"file":"double_spend_validator.d.ts","sourceRoot":"","sources":["../../../src/msg_validators/tx_validator/double_spend_validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AACvF,OAAO,EACL,KAAK,KAAK,EAIV,KAAK,kBAAkB,EACvB,KAAK,WAAW,EACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;CAC/D;AAED,qBAAa,sBAAsB,CAAC,CAAC,SAAS,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;;IAI5E,YAAY,eAAe,EAAE,eAAe,EAAE,QAAQ,CAAC,EAAE,cAAc,EAGtE;IAEK,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgBnD;CACF"}