@aztec/p2p 0.0.1-commit.f504929 → 0.0.1-commit.f5d02921e

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 (283) hide show
  1. package/README.md +129 -3
  2. package/dest/client/factory.d.ts +2 -2
  3. package/dest/client/factory.d.ts.map +1 -1
  4. package/dest/client/factory.js +25 -11
  5. package/dest/client/interface.d.ts +9 -2
  6. package/dest/client/interface.d.ts.map +1 -1
  7. package/dest/client/p2p_client.d.ts +3 -2
  8. package/dest/client/p2p_client.d.ts.map +1 -1
  9. package/dest/client/p2p_client.js +37 -36
  10. package/dest/client/test/tx_proposal_collector/proposal_tx_collector_worker.js +17 -6
  11. package/dest/config.d.ts +24 -2
  12. package/dest/config.d.ts.map +1 -1
  13. package/dest/config.js +66 -7
  14. package/dest/errors/p2p-service.error.d.ts +9 -0
  15. package/dest/errors/p2p-service.error.d.ts.map +1 -0
  16. package/dest/errors/p2p-service.error.js +10 -0
  17. package/dest/index.d.ts +1 -2
  18. package/dest/index.d.ts.map +1 -1
  19. package/dest/index.js +0 -1
  20. package/dest/mem_pools/attestation_pool/attestation_pool.d.ts +4 -4
  21. package/dest/mem_pools/attestation_pool/attestation_pool.d.ts.map +1 -1
  22. package/dest/mem_pools/attestation_pool/attestation_pool.js +6 -5
  23. package/dest/mem_pools/attestation_pool/attestation_pool_test_suite.js +6 -6
  24. package/dest/mem_pools/index.d.ts +1 -2
  25. package/dest/mem_pools/index.d.ts.map +1 -1
  26. package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.d.ts +1 -1
  27. package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.d.ts.map +1 -1
  28. package/dest/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.js +2 -1
  29. package/dest/mem_pools/tx_pool_v2/eviction/interfaces.d.ts +7 -1
  30. package/dest/mem_pools/tx_pool_v2/eviction/interfaces.d.ts.map +1 -1
  31. package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.d.ts +1 -1
  32. package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.d.ts.map +1 -1
  33. package/dest/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.js +8 -6
  34. package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.d.ts +2 -2
  35. package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.d.ts.map +1 -1
  36. package/dest/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.js +2 -2
  37. package/dest/mem_pools/tx_pool_v2/interfaces.d.ts +9 -5
  38. package/dest/mem_pools/tx_pool_v2/interfaces.d.ts.map +1 -1
  39. package/dest/mem_pools/tx_pool_v2/interfaces.js +2 -1
  40. package/dest/mem_pools/tx_pool_v2/tx_metadata.d.ts +25 -10
  41. package/dest/mem_pools/tx_pool_v2/tx_metadata.d.ts.map +1 -1
  42. package/dest/mem_pools/tx_pool_v2/tx_metadata.js +38 -11
  43. package/dest/mem_pools/tx_pool_v2/tx_pool_indices.d.ts +1 -1
  44. package/dest/mem_pools/tx_pool_v2/tx_pool_indices.d.ts.map +1 -1
  45. package/dest/mem_pools/tx_pool_v2/tx_pool_indices.js +26 -43
  46. package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts +4 -2
  47. package/dest/mem_pools/tx_pool_v2/tx_pool_v2.d.ts.map +1 -1
  48. package/dest/mem_pools/tx_pool_v2/tx_pool_v2.js +3 -0
  49. package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts +1 -1
  50. package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.d.ts.map +1 -1
  51. package/dest/mem_pools/tx_pool_v2/tx_pool_v2_impl.js +21 -6
  52. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts +1 -1
  53. package/dest/msg_validators/attestation_validator/attestation_validator.d.ts.map +1 -1
  54. package/dest/msg_validators/attestation_validator/attestation_validator.js +5 -4
  55. package/dest/msg_validators/clock_tolerance.d.ts +1 -1
  56. package/dest/msg_validators/clock_tolerance.d.ts.map +1 -1
  57. package/dest/msg_validators/clock_tolerance.js +4 -3
  58. package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts +5 -4
  59. package/dest/msg_validators/proposal_validator/block_proposal_validator.d.ts.map +1 -1
  60. package/dest/msg_validators/proposal_validator/block_proposal_validator.js +10 -2
  61. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts +5 -4
  62. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.d.ts.map +1 -1
  63. package/dest/msg_validators/proposal_validator/checkpoint_proposal_validator.js +16 -2
  64. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts +12 -9
  65. package/dest/msg_validators/proposal_validator/proposal_validator.d.ts.map +1 -1
  66. package/dest/msg_validators/proposal_validator/proposal_validator.js +51 -49
  67. package/dest/msg_validators/tx_validator/allowed_public_setup.d.ts +1 -1
  68. package/dest/msg_validators/tx_validator/allowed_public_setup.d.ts.map +1 -1
  69. package/dest/msg_validators/tx_validator/allowed_public_setup.js +21 -32
  70. package/dest/msg_validators/tx_validator/allowed_setup_helpers.d.ts +17 -0
  71. package/dest/msg_validators/tx_validator/allowed_setup_helpers.d.ts.map +1 -0
  72. package/dest/msg_validators/tx_validator/allowed_setup_helpers.js +24 -0
  73. package/dest/msg_validators/tx_validator/contract_instance_validator.d.ts +9 -0
  74. package/dest/msg_validators/tx_validator/contract_instance_validator.d.ts.map +1 -0
  75. package/dest/msg_validators/tx_validator/contract_instance_validator.js +48 -0
  76. package/dest/msg_validators/tx_validator/data_validator.d.ts +1 -1
  77. package/dest/msg_validators/tx_validator/data_validator.d.ts.map +1 -1
  78. package/dest/msg_validators/tx_validator/data_validator.js +35 -2
  79. package/dest/msg_validators/tx_validator/factory.d.ts +23 -4
  80. package/dest/msg_validators/tx_validator/factory.d.ts.map +1 -1
  81. package/dest/msg_validators/tx_validator/factory.js +36 -10
  82. package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts +1 -1
  83. package/dest/msg_validators/tx_validator/fee_payer_balance.d.ts.map +1 -1
  84. package/dest/msg_validators/tx_validator/fee_payer_balance.js +6 -2
  85. package/dest/msg_validators/tx_validator/gas_validator.d.ts +13 -4
  86. package/dest/msg_validators/tx_validator/gas_validator.d.ts.map +1 -1
  87. package/dest/msg_validators/tx_validator/gas_validator.js +39 -9
  88. package/dest/msg_validators/tx_validator/index.d.ts +2 -1
  89. package/dest/msg_validators/tx_validator/index.d.ts.map +1 -1
  90. package/dest/msg_validators/tx_validator/index.js +1 -0
  91. package/dest/msg_validators/tx_validator/metadata_validator.d.ts +1 -1
  92. package/dest/msg_validators/tx_validator/metadata_validator.d.ts.map +1 -1
  93. package/dest/msg_validators/tx_validator/metadata_validator.js +4 -4
  94. package/dest/msg_validators/tx_validator/phases_validator.d.ts +21 -1
  95. package/dest/msg_validators/tx_validator/phases_validator.d.ts.map +1 -1
  96. package/dest/msg_validators/tx_validator/phases_validator.js +49 -2
  97. package/dest/services/dummy_service.d.ts +5 -3
  98. package/dest/services/dummy_service.d.ts.map +1 -1
  99. package/dest/services/dummy_service.js +5 -1
  100. package/dest/services/encoding.d.ts +5 -1
  101. package/dest/services/encoding.d.ts.map +1 -1
  102. package/dest/services/encoding.js +7 -1
  103. package/dest/services/libp2p/libp2p_service.d.ts +14 -11
  104. package/dest/services/libp2p/libp2p_service.d.ts.map +1 -1
  105. package/dest/services/libp2p/libp2p_service.js +146 -74
  106. package/dest/services/peer-manager/peer_manager.d.ts +6 -2
  107. package/dest/services/peer-manager/peer_manager.d.ts.map +1 -1
  108. package/dest/services/peer-manager/peer_manager.js +22 -8
  109. package/dest/services/peer-manager/peer_scoring.d.ts +5 -2
  110. package/dest/services/peer-manager/peer_scoring.d.ts.map +1 -1
  111. package/dest/services/peer-manager/peer_scoring.js +28 -10
  112. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.d.ts +11 -8
  113. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.d.ts.map +1 -1
  114. package/dest/services/reqresp/batch-tx-requester/batch_tx_requester.js +69 -65
  115. package/dest/services/reqresp/batch-tx-requester/interface.d.ts +3 -2
  116. package/dest/services/reqresp/batch-tx-requester/interface.d.ts.map +1 -1
  117. package/dest/services/reqresp/batch-tx-requester/missing_txs.d.ts +5 -4
  118. package/dest/services/reqresp/batch-tx-requester/missing_txs.d.ts.map +1 -1
  119. package/dest/services/reqresp/batch-tx-requester/missing_txs.js +13 -7
  120. package/dest/services/reqresp/batch-tx-requester/peer_collection.d.ts +3 -1
  121. package/dest/services/reqresp/batch-tx-requester/peer_collection.d.ts.map +1 -1
  122. package/dest/services/reqresp/batch-tx-requester/peer_collection.js +3 -0
  123. package/dest/services/reqresp/rate-limiter/rate_limiter.d.ts +5 -4
  124. package/dest/services/reqresp/rate-limiter/rate_limiter.d.ts.map +1 -1
  125. package/dest/services/reqresp/rate-limiter/rate_limiter.js +10 -8
  126. package/dest/services/reqresp/reqresp.d.ts +1 -1
  127. package/dest/services/reqresp/reqresp.d.ts.map +1 -1
  128. package/dest/services/reqresp/reqresp.js +17 -9
  129. package/dest/services/service.d.ts +5 -2
  130. package/dest/services/service.d.ts.map +1 -1
  131. package/dest/services/tx_collection/fast_tx_collection.d.ts +1 -4
  132. package/dest/services/tx_collection/fast_tx_collection.d.ts.map +1 -1
  133. package/dest/services/tx_collection/fast_tx_collection.js +57 -73
  134. package/dest/services/tx_collection/file_store_tx_source.d.ts +5 -4
  135. package/dest/services/tx_collection/file_store_tx_source.d.ts.map +1 -1
  136. package/dest/services/tx_collection/file_store_tx_source.js +39 -29
  137. package/dest/services/tx_collection/proposal_tx_collector.d.ts +6 -7
  138. package/dest/services/tx_collection/proposal_tx_collector.d.ts.map +1 -1
  139. package/dest/services/tx_collection/proposal_tx_collector.js +4 -4
  140. package/dest/services/tx_collection/request_tracker.d.ts +53 -0
  141. package/dest/services/tx_collection/request_tracker.d.ts.map +1 -0
  142. package/dest/services/tx_collection/request_tracker.js +84 -0
  143. package/dest/services/tx_collection/slow_tx_collection.js +1 -1
  144. package/dest/services/tx_collection/tx_collection.d.ts +3 -6
  145. package/dest/services/tx_collection/tx_collection.d.ts.map +1 -1
  146. package/dest/services/tx_collection/tx_source.d.ts +6 -5
  147. package/dest/services/tx_collection/tx_source.d.ts.map +1 -1
  148. package/dest/services/tx_collection/tx_source.js +9 -7
  149. package/dest/test-helpers/make-test-p2p-clients.d.ts +1 -1
  150. package/dest/test-helpers/make-test-p2p-clients.d.ts.map +1 -1
  151. package/dest/test-helpers/reqresp-nodes.d.ts +1 -1
  152. package/dest/test-helpers/reqresp-nodes.d.ts.map +1 -1
  153. package/dest/test-helpers/testbench-utils.d.ts +1 -1
  154. package/dest/test-helpers/testbench-utils.d.ts.map +1 -1
  155. package/dest/test-helpers/testbench-utils.js +22 -3
  156. package/dest/testbench/p2p_client_testbench_worker.js +46 -16
  157. package/dest/testbench/worker_client_manager.d.ts +3 -1
  158. package/dest/testbench/worker_client_manager.d.ts.map +1 -1
  159. package/dest/testbench/worker_client_manager.js +6 -3
  160. package/dest/util.d.ts +1 -1
  161. package/package.json +14 -14
  162. package/src/client/factory.ts +43 -14
  163. package/src/client/interface.ts +9 -1
  164. package/src/client/p2p_client.ts +39 -36
  165. package/src/client/test/tx_proposal_collector/proposal_tx_collector_worker.ts +19 -9
  166. package/src/config.ts +92 -4
  167. package/src/errors/p2p-service.error.ts +11 -0
  168. package/src/index.ts +0 -1
  169. package/src/mem_pools/attestation_pool/attestation_pool.ts +7 -5
  170. package/src/mem_pools/attestation_pool/attestation_pool_test_suite.ts +6 -6
  171. package/src/mem_pools/index.ts +0 -3
  172. package/src/mem_pools/tx_pool_v2/README.md +9 -1
  173. package/src/mem_pools/tx_pool_v2/eviction/fee_payer_balance_eviction_rule.ts +2 -1
  174. package/src/mem_pools/tx_pool_v2/eviction/interfaces.ts +11 -1
  175. package/src/mem_pools/tx_pool_v2/eviction/low_priority_pre_add_rule.ts +15 -6
  176. package/src/mem_pools/tx_pool_v2/eviction/nullifier_conflict_rule.ts +2 -1
  177. package/src/mem_pools/tx_pool_v2/interfaces.ts +9 -4
  178. package/src/mem_pools/tx_pool_v2/tx_metadata.ts +59 -13
  179. package/src/mem_pools/tx_pool_v2/tx_pool_indices.ts +29 -43
  180. package/src/mem_pools/tx_pool_v2/tx_pool_v2.ts +13 -1
  181. package/src/mem_pools/tx_pool_v2/tx_pool_v2_impl.ts +23 -6
  182. package/src/msg_validators/attestation_validator/README.md +49 -0
  183. package/src/msg_validators/attestation_validator/attestation_validator.ts +5 -4
  184. package/src/msg_validators/clock_tolerance.ts +4 -3
  185. package/src/msg_validators/proposal_validator/README.md +123 -0
  186. package/src/msg_validators/proposal_validator/block_proposal_validator.ts +13 -3
  187. package/src/msg_validators/proposal_validator/checkpoint_proposal_validator.ts +19 -6
  188. package/src/msg_validators/proposal_validator/proposal_validator.ts +63 -53
  189. package/src/msg_validators/tx_validator/README.md +5 -1
  190. package/src/msg_validators/tx_validator/allowed_public_setup.ts +16 -35
  191. package/src/msg_validators/tx_validator/allowed_setup_helpers.ts +31 -0
  192. package/src/msg_validators/tx_validator/contract_instance_validator.ts +56 -0
  193. package/src/msg_validators/tx_validator/data_validator.ts +42 -1
  194. package/src/msg_validators/tx_validator/factory.ts +43 -3
  195. package/src/msg_validators/tx_validator/fee_payer_balance.ts +6 -2
  196. package/src/msg_validators/tx_validator/gas_validator.ts +41 -8
  197. package/src/msg_validators/tx_validator/index.ts +1 -0
  198. package/src/msg_validators/tx_validator/metadata_validator.ts +12 -4
  199. package/src/msg_validators/tx_validator/phases_validator.ts +60 -1
  200. package/src/services/dummy_service.ts +7 -2
  201. package/src/services/encoding.ts +9 -1
  202. package/src/services/libp2p/libp2p_service.ts +147 -87
  203. package/src/services/peer-manager/peer_manager.ts +26 -8
  204. package/src/services/peer-manager/peer_scoring.ts +21 -5
  205. package/src/services/reqresp/README.md +229 -0
  206. package/src/services/reqresp/batch-tx-requester/README.md +46 -7
  207. package/src/services/reqresp/batch-tx-requester/batch_tx_requester.ts +64 -69
  208. package/src/services/reqresp/batch-tx-requester/interface.ts +2 -1
  209. package/src/services/reqresp/batch-tx-requester/missing_txs.ts +13 -6
  210. package/src/services/reqresp/batch-tx-requester/peer_collection.ts +5 -0
  211. package/src/services/reqresp/rate-limiter/rate_limiter.ts +13 -9
  212. package/src/services/reqresp/reqresp.ts +19 -11
  213. package/src/services/service.ts +6 -1
  214. package/src/services/tx_collection/fast_tx_collection.ts +57 -83
  215. package/src/services/tx_collection/file_store_tx_source.ts +43 -31
  216. package/src/services/tx_collection/proposal_tx_collector.ts +8 -13
  217. package/src/services/tx_collection/request_tracker.ts +127 -0
  218. package/src/services/tx_collection/slow_tx_collection.ts +1 -1
  219. package/src/services/tx_collection/tx_collection.ts +3 -5
  220. package/src/services/tx_collection/tx_source.ts +8 -7
  221. package/src/test-helpers/make-test-p2p-clients.ts +1 -1
  222. package/src/test-helpers/reqresp-nodes.ts +1 -1
  223. package/src/test-helpers/testbench-utils.ts +29 -3
  224. package/src/testbench/p2p_client_testbench_worker.ts +45 -15
  225. package/src/testbench/worker_client_manager.ts +13 -6
  226. package/src/util.ts +1 -1
  227. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts +0 -125
  228. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.d.ts.map +0 -1
  229. package/dest/mem_pools/tx_pool/aztec_kv_tx_pool.js +0 -596
  230. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts +0 -32
  231. package/dest/mem_pools/tx_pool/eviction/eviction_manager.d.ts.map +0 -1
  232. package/dest/mem_pools/tx_pool/eviction/eviction_manager.js +0 -112
  233. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts +0 -157
  234. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.d.ts.map +0 -1
  235. package/dest/mem_pools/tx_pool/eviction/eviction_strategy.js +0 -52
  236. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts +0 -16
  237. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.d.ts.map +0 -1
  238. package/dest/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.js +0 -122
  239. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.d.ts +0 -17
  240. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.d.ts.map +0 -1
  241. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.js +0 -84
  242. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts +0 -19
  243. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.d.ts.map +0 -1
  244. package/dest/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.js +0 -78
  245. package/dest/mem_pools/tx_pool/eviction/low_priority_eviction_rule.d.ts +0 -26
  246. package/dest/mem_pools/tx_pool/eviction/low_priority_eviction_rule.d.ts.map +0 -1
  247. package/dest/mem_pools/tx_pool/eviction/low_priority_eviction_rule.js +0 -84
  248. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.d.ts +0 -25
  249. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.d.ts.map +0 -1
  250. package/dest/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.js +0 -57
  251. package/dest/mem_pools/tx_pool/index.d.ts +0 -3
  252. package/dest/mem_pools/tx_pool/index.d.ts.map +0 -1
  253. package/dest/mem_pools/tx_pool/index.js +0 -2
  254. package/dest/mem_pools/tx_pool/priority.d.ts +0 -12
  255. package/dest/mem_pools/tx_pool/priority.d.ts.map +0 -1
  256. package/dest/mem_pools/tx_pool/priority.js +0 -15
  257. package/dest/mem_pools/tx_pool/tx_pool.d.ts +0 -127
  258. package/dest/mem_pools/tx_pool/tx_pool.d.ts.map +0 -1
  259. package/dest/mem_pools/tx_pool/tx_pool.js +0 -3
  260. package/dest/mem_pools/tx_pool/tx_pool_test_suite.d.ts +0 -7
  261. package/dest/mem_pools/tx_pool/tx_pool_test_suite.d.ts.map +0 -1
  262. package/dest/mem_pools/tx_pool/tx_pool_test_suite.js +0 -400
  263. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts +0 -24
  264. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.d.ts.map +0 -1
  265. package/dest/msg_validators/proposal_validator/proposal_validator_test_suite.js +0 -378
  266. package/dest/services/tx_collection/missing_txs_tracker.d.ts +0 -32
  267. package/dest/services/tx_collection/missing_txs_tracker.d.ts.map +0 -1
  268. package/dest/services/tx_collection/missing_txs_tracker.js +0 -27
  269. package/src/mem_pools/tx_pool/README.md +0 -270
  270. package/src/mem_pools/tx_pool/aztec_kv_tx_pool.ts +0 -746
  271. package/src/mem_pools/tx_pool/eviction/eviction_manager.ts +0 -132
  272. package/src/mem_pools/tx_pool/eviction/eviction_strategy.ts +0 -208
  273. package/src/mem_pools/tx_pool/eviction/fee_payer_balance_eviction_rule.ts +0 -162
  274. package/src/mem_pools/tx_pool/eviction/invalid_txs_after_mining_rule.ts +0 -104
  275. package/src/mem_pools/tx_pool/eviction/invalid_txs_after_reorg_rule.ts +0 -93
  276. package/src/mem_pools/tx_pool/eviction/low_priority_eviction_rule.ts +0 -106
  277. package/src/mem_pools/tx_pool/eviction/nullifier_conflict_pre_add_rule.ts +0 -75
  278. package/src/mem_pools/tx_pool/index.ts +0 -2
  279. package/src/mem_pools/tx_pool/priority.ts +0 -20
  280. package/src/mem_pools/tx_pool/tx_pool.ts +0 -141
  281. package/src/mem_pools/tx_pool/tx_pool_test_suite.ts +0 -319
  282. package/src/msg_validators/proposal_validator/proposal_validator_test_suite.ts +0 -373
  283. package/src/services/tx_collection/missing_txs_tracker.ts +0 -52
@@ -1,373 +0,0 @@
1
- import type { EpochCacheInterface } from '@aztec/epoch-cache';
2
- import { NoCommitteeError } from '@aztec/ethereum/contracts';
3
- import type { Secp256k1Signer } from '@aztec/foundation/crypto/secp256k1-signer';
4
- import type { EthAddress } from '@aztec/foundation/eth-address';
5
- import {
6
- type BlockProposal,
7
- type CheckpointProposal,
8
- PeerErrorSeverity,
9
- type ValidationResult,
10
- } from '@aztec/stdlib/p2p';
11
- import type { TxHash } from '@aztec/stdlib/tx';
12
-
13
- import { jest } from '@jest/globals';
14
- import type { MockProxy } from 'jest-mock-extended';
15
-
16
- export interface ProposalValidatorTestParams<TProposal extends BlockProposal | CheckpointProposal> {
17
- validatorFactory: (
18
- epochCache: EpochCacheInterface,
19
- opts: { txsPermitted: boolean; maxTxsPerBlock?: number },
20
- ) => { validate: (proposal: TProposal) => Promise<ValidationResult> };
21
- makeProposal: (options?: any) => Promise<TProposal>;
22
- makeHeader: (epochNumber: number | bigint, slotNumber: number | bigint, blockNumber: number | bigint) => any;
23
- getSigner: () => Secp256k1Signer;
24
- getAddress: (signer?: Secp256k1Signer) => EthAddress;
25
- getSlot: (slot: number | bigint) => any;
26
- getTxHashes: (n: number) => TxHash[];
27
- getTxs: () => any[];
28
- epochCacheMock: () => MockProxy<EpochCacheInterface>;
29
- }
30
-
31
- export function sharedProposalValidatorTests<TProposal extends BlockProposal | CheckpointProposal>(
32
- params: ProposalValidatorTestParams<TProposal>,
33
- ) {
34
- const { validatorFactory, makeProposal, makeHeader, getSigner, getAddress, getSlot, getTxHashes, epochCacheMock } =
35
- params;
36
-
37
- describe('shared proposal validation logic', () => {
38
- let epochCache: MockProxy<EpochCacheInterface>;
39
- let validator: { validate: (proposal: TProposal) => Promise<ValidationResult> };
40
- const previousSlot = getSlot(99);
41
- const currentSlot = getSlot(100);
42
- const nextSlot = getSlot(101);
43
-
44
- function mockGetProposer(currentProposer: EthAddress, nextProposer: EthAddress, previousProposer?: EthAddress) {
45
- epochCache.getProposerAttesterAddressInSlot.mockImplementation(slot => {
46
- if (slot === currentSlot) {
47
- return Promise.resolve(currentProposer);
48
- }
49
- if (slot === nextSlot) {
50
- return Promise.resolve(nextProposer);
51
- }
52
- if (slot === previousSlot && previousProposer) {
53
- return Promise.resolve(previousProposer);
54
- }
55
- throw new Error('Unexpected argument');
56
- });
57
- }
58
-
59
- beforeEach(() => {
60
- epochCache = epochCacheMock();
61
- validator = validatorFactory(epochCache, { txsPermitted: true });
62
- epochCache.getCurrentAndNextSlot.mockReturnValue({
63
- currentSlot: currentSlot,
64
- nextSlot: nextSlot,
65
- });
66
- });
67
-
68
- it('returns high tolerance error if slot number is not current or next slot (outside clock tolerance)', async () => {
69
- const header = makeHeader(1, 99, 99);
70
- const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header });
71
-
72
- // Mock getEpochAndSlotNow to return time OUTSIDE clock tolerance (1000ms elapsed)
73
- epochCache.getEpochAndSlotNow.mockReturnValue({
74
- epoch: 1 as any,
75
- slot: currentSlot,
76
- ts: 1000n, // slot started at 1000 seconds
77
- nowMs: 1001000n, // 1000ms elapsed, outside 500ms tolerance
78
- });
79
-
80
- epochCache.getProposerAttesterAddressInSlot.mockResolvedValue(getAddress());
81
- const result = await validator.validate(mockProposal);
82
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.HighToleranceError });
83
-
84
- // Should not try to resolve proposers if base validation fails
85
- expect(epochCache.getProposerAttesterAddressInSlot).not.toHaveBeenCalled();
86
- });
87
-
88
- it('returns ignore if previous slot proposal is within clock tolerance', async () => {
89
- const previousProposer = getSigner();
90
- const header = makeHeader(1, 99, 99);
91
- const mockProposal = await makeProposal({
92
- blockHeader: header,
93
- lastBlockHeader: header,
94
- signer: previousProposer,
95
- });
96
-
97
- // Mock getEpochAndSlotNow to return time WITHIN clock tolerance (100ms elapsed)
98
- epochCache.getEpochAndSlotNow.mockReturnValue({
99
- epoch: 1 as any,
100
- slot: currentSlot,
101
- ts: 1000n, // slot started at 1000 seconds
102
- nowMs: 1000100n, // 100ms elapsed, within 500ms tolerance
103
- });
104
-
105
- mockGetProposer(getAddress(), getAddress(), getAddress(previousProposer));
106
- const result = await validator.validate(mockProposal);
107
- expect(result).toEqual({ result: 'ignore' });
108
- });
109
-
110
- it('returns mid tolerance error if proposal has invalid signature', async () => {
111
- const currentProposer = getSigner();
112
- const header = makeHeader(1, 100, 100);
113
- const mockProposal = await makeProposal({
114
- blockHeader: header,
115
- lastBlockHeader: header,
116
- signer: currentProposer,
117
- });
118
-
119
- // Override getSender to return undefined (invalid signature)
120
- jest.spyOn(mockProposal as any, 'getSender').mockReturnValue(undefined);
121
-
122
- mockGetProposer(getAddress(currentProposer), getAddress());
123
- const result = await validator.validate(mockProposal);
124
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
125
-
126
- // Should not try to resolve proposer if signature is invalid
127
- expect(epochCache.getProposerAttesterAddressInSlot).not.toHaveBeenCalled();
128
- });
129
-
130
- it('returns mid tolerance error if proposer is not current proposer for current slot', async () => {
131
- const currentProposer = getSigner();
132
- const nextProposer = getSigner();
133
- const invalidProposer = getSigner();
134
- const header = makeHeader(1, 100, 100);
135
- const mockProposal = await makeProposal({
136
- blockHeader: header,
137
- lastBlockHeader: header,
138
- signer: invalidProposer,
139
- });
140
-
141
- mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
142
- const result = await validator.validate(mockProposal);
143
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
144
- });
145
-
146
- it('returns mid tolerance error if proposer is not next proposer for next slot', async () => {
147
- const currentProposer = getSigner();
148
- const nextProposer = getSigner();
149
- const invalidProposer = getSigner();
150
- const header = makeHeader(1, 101, 101);
151
- const mockProposal = await makeProposal({
152
- blockHeader: header,
153
- lastBlockHeader: header,
154
- signer: invalidProposer,
155
- });
156
-
157
- mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
158
- const result = await validator.validate(mockProposal);
159
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
160
- });
161
-
162
- it('returns mid tolerance error if proposer is current proposer but proposal is for next slot', async () => {
163
- const currentProposer = getSigner();
164
- const nextProposer = getSigner();
165
- const header = makeHeader(1, 101, 101);
166
- const mockProposal = await makeProposal({
167
- blockHeader: header,
168
- lastBlockHeader: header,
169
- signer: currentProposer,
170
- });
171
-
172
- mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
173
- const result = await validator.validate(mockProposal);
174
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
175
- });
176
-
177
- it('accepts proposal when proposer is undefined (open committee)', async () => {
178
- const currentProposer = getSigner();
179
- const header = makeHeader(1, 100, 100);
180
- const mockProposal = await makeProposal({
181
- blockHeader: header,
182
- lastBlockHeader: header,
183
- signer: currentProposer,
184
- });
185
-
186
- epochCache.getProposerAttesterAddressInSlot.mockResolvedValue(undefined);
187
- const result = await validator.validate(mockProposal);
188
- expect(result).toEqual({ result: 'accept' });
189
- });
190
-
191
- it('returns low tolerance error when getProposerAttesterAddressInSlot throws NoCommitteeError', async () => {
192
- const currentProposer = getSigner();
193
- const header = makeHeader(1, 100, 100);
194
- const mockProposal = await makeProposal({
195
- blockHeader: header,
196
- lastBlockHeader: header,
197
- signer: currentProposer,
198
- });
199
-
200
- epochCache.getProposerAttesterAddressInSlot.mockRejectedValue(new NoCommitteeError());
201
- const result = await validator.validate(mockProposal);
202
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.LowToleranceError });
203
- });
204
-
205
- it('returns undefined if proposal is valid for current slot and proposer', async () => {
206
- const currentProposer = getSigner();
207
- const nextProposer = getSigner();
208
- const header = makeHeader(1, 100, 100);
209
- const mockProposal = await makeProposal({
210
- blockHeader: header,
211
- lastBlockHeader: header,
212
- signer: currentProposer,
213
- });
214
-
215
- mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
216
- const result = await validator.validate(mockProposal);
217
- expect(result).toEqual({ result: 'accept' });
218
- });
219
-
220
- it('returns undefined if proposal is valid for next slot and proposer', async () => {
221
- const currentProposer = getSigner();
222
- const nextProposer = getSigner();
223
- const header = makeHeader(1, 101, 101);
224
- const mockProposal = await makeProposal({ blockHeader: header, lastBlockHeader: header, signer: nextProposer });
225
-
226
- mockGetProposer(getAddress(currentProposer), getAddress(nextProposer));
227
- const result = await validator.validate(mockProposal);
228
- expect(result).toEqual({ result: 'accept' });
229
- });
230
-
231
- describe('transaction permission validation', () => {
232
- it('returns mid tolerance error if txs not permitted and proposal contains txHashes', async () => {
233
- const currentProposer = getSigner();
234
- const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
235
- const header = makeHeader(1, 100, 100);
236
- const mockProposal = await makeProposal({
237
- blockHeader: header,
238
- lastBlockHeader: header,
239
- signer: currentProposer,
240
- txHashes: getTxHashes(2),
241
- });
242
-
243
- mockGetProposer(getAddress(currentProposer), getAddress());
244
- const result = await validatorWithTxsDisabled.validate(mockProposal);
245
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
246
- });
247
-
248
- it('returns undefined if txs not permitted but proposal has no txHashes', async () => {
249
- const currentProposer = getSigner();
250
- const validatorWithTxsDisabled = validatorFactory(epochCache, { txsPermitted: false });
251
- const header = makeHeader(1, 100, 100);
252
- const mockProposal = await makeProposal({
253
- blockHeader: header,
254
- lastBlockHeader: header,
255
- signer: currentProposer,
256
- txHashes: getTxHashes(0),
257
- });
258
-
259
- mockGetProposer(getAddress(currentProposer), getAddress());
260
- const result = await validatorWithTxsDisabled.validate(mockProposal);
261
- expect(result).toEqual({ result: 'accept' });
262
- });
263
-
264
- it('returns undefined if txs permitted and proposal contains txHashes', async () => {
265
- const currentProposer = getSigner();
266
- const header = makeHeader(1, 100, 100);
267
- const mockProposal = await makeProposal({
268
- blockHeader: header,
269
- lastBlockHeader: header,
270
- signer: currentProposer,
271
- txHashes: getTxHashes(2),
272
- });
273
-
274
- mockGetProposer(getAddress(currentProposer), getAddress());
275
- const result = await validator.validate(mockProposal);
276
- expect(result).toEqual({ result: 'accept' });
277
- });
278
- });
279
-
280
- describe('embedded tx validation', () => {
281
- it('returns mid tolerance error if embedded txs are not listed in txHashes', async () => {
282
- const currentProposer = getSigner();
283
- const txHashes = getTxHashes(2);
284
- const header = makeHeader(1, 100, 100);
285
- const mockProposal = await makeProposal({
286
- blockHeader: header,
287
- lastBlockHeader: header,
288
- signer: currentProposer,
289
- txHashes,
290
- });
291
-
292
- // Create a fake tx whose hash is NOT in txHashes
293
- const fakeTxHash = getTxHashes(1)[0];
294
- const fakeTx = { getTxHash: () => fakeTxHash, validateTxHash: () => Promise.resolve(true) };
295
- Object.defineProperty(mockProposal, 'txs', { get: () => [fakeTx], configurable: true });
296
-
297
- mockGetProposer(getAddress(currentProposer), getAddress());
298
- const result = await validator.validate(mockProposal);
299
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
300
- });
301
-
302
- it('returns low tolerance error if embedded tx has invalid tx hash', async () => {
303
- const currentProposer = getSigner();
304
- const txHashes = getTxHashes(2);
305
- const header = makeHeader(1, 100, 100);
306
- const mockProposal = await makeProposal({
307
- blockHeader: header,
308
- lastBlockHeader: header,
309
- signer: currentProposer,
310
- txHashes,
311
- });
312
-
313
- // Create a fake tx whose hash IS in txHashes but validateTxHash returns false
314
- const fakeTx = { getTxHash: () => txHashes[0], validateTxHash: () => Promise.resolve(false) };
315
- Object.defineProperty(mockProposal, 'txs', { get: () => [fakeTx], configurable: true });
316
-
317
- mockGetProposer(getAddress(currentProposer), getAddress());
318
- const result = await validator.validate(mockProposal);
319
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.LowToleranceError });
320
- });
321
- });
322
-
323
- describe('maxTxsPerBlock validation', () => {
324
- it('rejects proposal when txHashes exceed maxTxsPerBlock', async () => {
325
- const validatorWithMaxTxs = validatorFactory(epochCache, { txsPermitted: true, maxTxsPerBlock: 2 });
326
- const currentProposer = getSigner();
327
- const header = makeHeader(1, 100, 100);
328
- const mockProposal = await makeProposal({
329
- blockHeader: header,
330
- lastBlockHeader: header,
331
- signer: currentProposer,
332
- txHashes: getTxHashes(3),
333
- });
334
-
335
- mockGetProposer(getAddress(currentProposer), getAddress());
336
- const result = await validatorWithMaxTxs.validate(mockProposal);
337
- expect(result).toEqual({ result: 'reject', severity: PeerErrorSeverity.MidToleranceError });
338
- });
339
-
340
- it('accepts proposal when txHashes count equals maxTxsPerBlock', async () => {
341
- const validatorWithMaxTxs = validatorFactory(epochCache, { txsPermitted: true, maxTxsPerBlock: 2 });
342
- const currentProposer = getSigner();
343
- const header = makeHeader(1, 100, 100);
344
- const mockProposal = await makeProposal({
345
- blockHeader: header,
346
- lastBlockHeader: header,
347
- signer: currentProposer,
348
- txHashes: getTxHashes(2),
349
- });
350
-
351
- mockGetProposer(getAddress(currentProposer), getAddress());
352
- const result = await validatorWithMaxTxs.validate(mockProposal);
353
- expect(result).toEqual({ result: 'accept' });
354
- });
355
-
356
- it('accepts proposal when maxTxsPerBlock is not set (unlimited)', async () => {
357
- // Default validator has no maxTxsPerBlock
358
- const currentProposer = getSigner();
359
- const header = makeHeader(1, 100, 100);
360
- const mockProposal = await makeProposal({
361
- blockHeader: header,
362
- lastBlockHeader: header,
363
- signer: currentProposer,
364
- txHashes: getTxHashes(10),
365
- });
366
-
367
- mockGetProposer(getAddress(currentProposer), getAddress());
368
- const result = await validator.validate(mockProposal);
369
- expect(result).toEqual({ result: 'accept' });
370
- });
371
- });
372
- });
373
- }
@@ -1,52 +0,0 @@
1
- import { TxHash } from '@aztec/stdlib/tx';
2
- import type { Tx } from '@aztec/stdlib/tx';
3
-
4
- /**
5
- * Tracks which transactions are still missing and need to be fetched.
6
- * Allows external code to mark transactions as fetched, enabling coordination
7
- * between multiple fetching mechanisms (e.g., BatchTxRequester and Rpc Node requests).
8
- */
9
- export interface IMissingTxsTracker {
10
- /** Returns the set of transaction hashes that are still missing. */
11
- get missingTxHashes(): Set<string>;
12
- /** Size of this.missingTxHashes */
13
- get numberOfMissingTxs(): number;
14
- /** Are all requested txs are fetched */
15
- allFetched(): boolean;
16
- /** Checks that transaction is still missing */
17
- isMissing(txHash: string): boolean;
18
- /** Marks a transaction as fetched. Returns true if it was previously missing. */
19
- markFetched(tx: Tx): boolean;
20
- /** Get list of collected txs */
21
- get collectedTxs(): Tx[];
22
- }
23
-
24
- export class MissingTxsTracker implements IMissingTxsTracker {
25
- public readonly collectedTxs: Tx[] = [];
26
-
27
- private constructor(public readonly missingTxHashes: Set<string>) {}
28
-
29
- public static fromArray(hashes: TxHash[] | string[]) {
30
- return new MissingTxsTracker(new Set(hashes.map(hash => hash.toString())));
31
- }
32
-
33
- markFetched(tx: Tx): boolean {
34
- if (this.missingTxHashes.delete(tx.txHash.toString())) {
35
- this.collectedTxs.push(tx);
36
- return true;
37
- }
38
- return false;
39
- }
40
-
41
- get numberOfMissingTxs(): number {
42
- return this.missingTxHashes.size;
43
- }
44
-
45
- allFetched(): boolean {
46
- return this.numberOfMissingTxs === 0;
47
- }
48
-
49
- isMissing(txHash: string): boolean {
50
- return this.missingTxHashes.has(txHash.toString());
51
- }
52
- }