@aztec/stdlib 0.0.1-commit.f5d02921e → 0.0.1-commit.f7ea82942

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 (267) hide show
  1. package/dest/abi/authorization_selector.d.ts +3 -6
  2. package/dest/abi/authorization_selector.d.ts.map +1 -1
  3. package/dest/abi/encoder.d.ts +1 -1
  4. package/dest/abi/encoder.d.ts.map +1 -1
  5. package/dest/abi/encoder.js +32 -6
  6. package/dest/abi/event_selector.d.ts +3 -6
  7. package/dest/abi/event_selector.d.ts.map +1 -1
  8. package/dest/abi/function_selector.d.ts +3 -6
  9. package/dest/abi/function_selector.d.ts.map +1 -1
  10. package/dest/abi/function_selector.js +1 -3
  11. package/dest/abi/note_selector.d.ts +3 -6
  12. package/dest/abi/note_selector.d.ts.map +1 -1
  13. package/dest/abi/note_selector.js +1 -3
  14. package/dest/abi/selector.d.ts +2 -2
  15. package/dest/abi/selector.d.ts.map +1 -1
  16. package/dest/abi/selector.js +1 -1
  17. package/dest/avm/avm.d.ts +300 -300
  18. package/dest/avm/revert_code.d.ts +8 -18
  19. package/dest/avm/revert_code.d.ts.map +1 -1
  20. package/dest/avm/revert_code.js +15 -30
  21. package/dest/aztec-address/index.d.ts +3 -6
  22. package/dest/aztec-address/index.d.ts.map +1 -1
  23. package/dest/aztec-address/index.js +2 -4
  24. package/dest/block/block_data.d.ts +8 -8
  25. package/dest/block/block_data.d.ts.map +1 -1
  26. package/dest/block/block_data.js +2 -2
  27. package/dest/block/block_hash.d.ts +11 -10
  28. package/dest/block/block_hash.d.ts.map +1 -1
  29. package/dest/block/block_hash.js +10 -9
  30. package/dest/block/l2_block_info.d.ts +6 -5
  31. package/dest/block/l2_block_info.d.ts.map +1 -1
  32. package/dest/block/l2_block_info.js +6 -5
  33. package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
  34. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -1
  35. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts +1 -1
  36. package/dest/block/l2_block_stream/l2_tips_store_base.d.ts.map +1 -1
  37. package/dest/block/l2_block_stream/l2_tips_store_base.js +1 -1
  38. package/dest/block/test/l2_tips_store_test_suite.js +1 -1
  39. package/dest/config/chain-config.d.ts +1 -1
  40. package/dest/config/chain-config.d.ts.map +1 -1
  41. package/dest/config/chain-config.js +7 -1
  42. package/dest/config/sequencer-config.d.ts +2 -2
  43. package/dest/config/sequencer-config.d.ts.map +1 -1
  44. package/dest/config/sequencer-config.js +10 -3
  45. package/dest/contract/private_function.d.ts +1 -1
  46. package/dest/contract/private_function.d.ts.map +1 -1
  47. package/dest/contract/private_function.js +2 -4
  48. package/dest/gas/fee_math.d.ts +49 -0
  49. package/dest/gas/fee_math.d.ts.map +1 -0
  50. package/dest/gas/fee_math.js +80 -0
  51. package/dest/gas/gas_fees.d.ts +5 -1
  52. package/dest/gas/gas_fees.d.ts.map +1 -1
  53. package/dest/gas/gas_fees.js +10 -1
  54. package/dest/gas/gas_settings.d.ts +40 -3
  55. package/dest/gas/gas_settings.d.ts.map +1 -1
  56. package/dest/gas/gas_settings.js +50 -6
  57. package/dest/gas/index.d.ts +2 -1
  58. package/dest/gas/index.d.ts.map +1 -1
  59. package/dest/gas/index.js +1 -0
  60. package/dest/ha-signing/config.d.ts +6 -6
  61. package/dest/ha-signing/config.d.ts.map +1 -1
  62. package/dest/ha-signing/config.js +4 -3
  63. package/dest/ha-signing/index.d.ts +2 -2
  64. package/dest/ha-signing/index.d.ts.map +1 -1
  65. package/dest/ha-signing/index.js +1 -1
  66. package/dest/ha-signing/local_config.js +1 -1
  67. package/dest/ha-signing/types.d.ts +37 -32
  68. package/dest/ha-signing/types.d.ts.map +1 -1
  69. package/dest/ha-signing/types.js +13 -6
  70. package/dest/hash/hash.d.ts +16 -1
  71. package/dest/hash/hash.d.ts.map +1 -1
  72. package/dest/hash/hash.js +32 -0
  73. package/dest/interfaces/archiver.d.ts +11 -1
  74. package/dest/interfaces/archiver.d.ts.map +1 -1
  75. package/dest/interfaces/archiver.js +3 -1
  76. package/dest/interfaces/aztec-node-admin.d.ts +9 -14
  77. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  78. package/dest/interfaces/aztec-node-admin.js +3 -3
  79. package/dest/interfaces/aztec-node-debug.d.ts +21 -0
  80. package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
  81. package/dest/interfaces/aztec-node-debug.js +18 -0
  82. package/dest/interfaces/aztec-node.d.ts +10 -1
  83. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  84. package/dest/interfaces/aztec-node.js +2 -0
  85. package/dest/interfaces/client.d.ts +2 -1
  86. package/dest/interfaces/client.d.ts.map +1 -1
  87. package/dest/interfaces/client.js +1 -0
  88. package/dest/interfaces/merkle_tree_operations.d.ts +4 -3
  89. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  90. package/dest/interfaces/prover-client.d.ts +1 -1
  91. package/dest/interfaces/prover-client.d.ts.map +1 -1
  92. package/dest/interfaces/prover-client.js +0 -3
  93. package/dest/interfaces/slasher.d.ts +1 -10
  94. package/dest/interfaces/slasher.d.ts.map +1 -1
  95. package/dest/interfaces/slasher.js +0 -2
  96. package/dest/interfaces/validator.d.ts +14 -17
  97. package/dest/interfaces/validator.d.ts.map +1 -1
  98. package/dest/l1-contracts/index.d.ts +2 -2
  99. package/dest/l1-contracts/index.d.ts.map +1 -1
  100. package/dest/l1-contracts/index.js +1 -1
  101. package/dest/logs/extended_directional_app_tagging_secret.d.ts +4 -4
  102. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -1
  103. package/dest/logs/extended_directional_app_tagging_secret.js +12 -5
  104. package/dest/logs/log_id.d.ts +1 -1
  105. package/dest/logs/log_id.d.ts.map +1 -1
  106. package/dest/logs/log_id.js +1 -2
  107. package/dest/logs/siloed_tag.d.ts +5 -7
  108. package/dest/logs/siloed_tag.d.ts.map +1 -1
  109. package/dest/logs/siloed_tag.js +4 -0
  110. package/dest/logs/tag.d.ts +5 -6
  111. package/dest/logs/tag.d.ts.map +1 -1
  112. package/dest/logs/tag.js +4 -0
  113. package/dest/p2p/block_proposal.d.ts +6 -8
  114. package/dest/p2p/block_proposal.d.ts.map +1 -1
  115. package/dest/p2p/block_proposal.js +4 -9
  116. package/dest/p2p/checkpoint_attestation.d.ts +4 -6
  117. package/dest/p2p/checkpoint_attestation.d.ts.map +1 -1
  118. package/dest/p2p/checkpoint_attestation.js +2 -7
  119. package/dest/p2p/checkpoint_proposal.d.ts +8 -10
  120. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  121. package/dest/p2p/checkpoint_proposal.js +5 -24
  122. package/dest/p2p/gossipable.d.ts +4 -4
  123. package/dest/p2p/gossipable.d.ts.map +1 -1
  124. package/dest/rollup/block_headers_hash.d.ts +1 -1
  125. package/dest/rollup/block_headers_hash.d.ts.map +1 -1
  126. package/dest/rollup/block_headers_hash.js +8 -2
  127. package/dest/slashing/index.d.ts +2 -3
  128. package/dest/slashing/index.d.ts.map +1 -1
  129. package/dest/slashing/index.js +1 -2
  130. package/dest/slashing/serialization.d.ts +2 -6
  131. package/dest/slashing/serialization.d.ts.map +1 -1
  132. package/dest/slashing/serialization.js +0 -60
  133. package/dest/slashing/types.d.ts +4 -90
  134. package/dest/slashing/types.d.ts.map +1 -1
  135. package/dest/slashing/types.js +0 -14
  136. package/dest/slashing/{tally.d.ts → votes.d.ts} +1 -1
  137. package/dest/slashing/{tally.d.ts.map → votes.d.ts.map} +1 -1
  138. package/dest/slashing/{tally.js → votes.js} +1 -1
  139. package/dest/tests/factories.d.ts +2 -7
  140. package/dest/tests/factories.d.ts.map +1 -1
  141. package/dest/tests/factories.js +2 -8
  142. package/dest/tests/mocks.d.ts +1 -1
  143. package/dest/tests/mocks.d.ts.map +1 -1
  144. package/dest/tests/mocks.js +14 -19
  145. package/dest/timetable/index.d.ts +51 -1
  146. package/dest/timetable/index.d.ts.map +1 -1
  147. package/dest/timetable/index.js +204 -14
  148. package/dest/trees/nullifier_leaf.d.ts +2 -1
  149. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  150. package/dest/trees/nullifier_leaf.js +3 -0
  151. package/dest/tx/block_header.d.ts +2 -2
  152. package/dest/tx/block_header.d.ts.map +1 -1
  153. package/dest/tx/block_header.js +1 -1
  154. package/dest/tx/fee_provider.d.ts +10 -0
  155. package/dest/tx/fee_provider.d.ts.map +1 -0
  156. package/dest/tx/fee_provider.js +1 -0
  157. package/dest/tx/global_variable_builder.d.ts +3 -16
  158. package/dest/tx/global_variable_builder.d.ts.map +1 -1
  159. package/dest/tx/index.d.ts +2 -1
  160. package/dest/tx/index.d.ts.map +1 -1
  161. package/dest/tx/index.js +1 -0
  162. package/dest/tx/indexed_tx_effect.d.ts +1 -1
  163. package/dest/tx/indexed_tx_effect.d.ts.map +1 -1
  164. package/dest/tx/indexed_tx_effect.js +1 -2
  165. package/dest/tx/simulated_tx.d.ts +4 -4
  166. package/dest/tx/simulated_tx.d.ts.map +1 -1
  167. package/dest/tx/simulated_tx.js +3 -3
  168. package/dest/tx/tx.d.ts +3 -3
  169. package/dest/tx/tx.d.ts.map +1 -1
  170. package/dest/tx/tx_receipt.d.ts +8 -4
  171. package/dest/tx/tx_receipt.d.ts.map +1 -1
  172. package/dest/tx/tx_receipt.js +8 -15
  173. package/dest/types/shared.d.ts +1 -10
  174. package/dest/types/shared.d.ts.map +1 -1
  175. package/dest/types/shared.js +0 -9
  176. package/dest/vks/verification_key.d.ts +2 -137
  177. package/dest/vks/verification_key.d.ts.map +1 -1
  178. package/dest/vks/verification_key.js +5 -126
  179. package/dest/world-state/genesis_data.d.ts +11 -0
  180. package/dest/world-state/genesis_data.d.ts.map +1 -0
  181. package/dest/world-state/genesis_data.js +4 -0
  182. package/dest/world-state/index.d.ts +2 -1
  183. package/dest/world-state/index.d.ts.map +1 -1
  184. package/dest/world-state/index.js +1 -0
  185. package/dest/world-state/world_state_revision.d.ts +8 -1
  186. package/dest/world-state/world_state_revision.d.ts.map +1 -1
  187. package/dest/world-state/world_state_revision.js +7 -1
  188. package/package.json +8 -8
  189. package/src/abi/authorization_selector.ts +2 -8
  190. package/src/abi/encoder.ts +42 -6
  191. package/src/abi/event_selector.ts +2 -8
  192. package/src/abi/function_selector.ts +3 -12
  193. package/src/abi/note_selector.ts +3 -12
  194. package/src/abi/selector.ts +1 -1
  195. package/src/avm/revert_code.ts +25 -39
  196. package/src/aztec-address/index.ts +4 -10
  197. package/src/block/block_data.ts +3 -4
  198. package/src/block/block_hash.ts +21 -14
  199. package/src/block/l2_block_info.ts +8 -6
  200. package/src/block/l2_block_stream/interfaces.ts +6 -2
  201. package/src/block/l2_block_stream/l2_tips_store_base.ts +1 -1
  202. package/src/block/test/l2_tips_store_test_suite.ts +1 -1
  203. package/src/config/chain-config.ts +7 -1
  204. package/src/config/sequencer-config.ts +14 -4
  205. package/src/contract/private_function.ts +3 -1
  206. package/src/gas/README.md +31 -0
  207. package/src/gas/fee_math.ts +120 -0
  208. package/src/gas/gas_fees.ts +17 -4
  209. package/src/gas/gas_settings.ts +65 -12
  210. package/src/gas/index.ts +1 -0
  211. package/src/ha-signing/config.ts +5 -2
  212. package/src/ha-signing/index.ts +3 -1
  213. package/src/ha-signing/local_config.ts +1 -1
  214. package/src/ha-signing/types.ts +48 -34
  215. package/src/hash/hash.ts +27 -0
  216. package/src/interfaces/archiver.ts +8 -0
  217. package/src/interfaces/aztec-node-admin.ts +5 -7
  218. package/src/interfaces/aztec-node-debug.ts +40 -0
  219. package/src/interfaces/aztec-node.ts +15 -0
  220. package/src/interfaces/client.ts +1 -0
  221. package/src/interfaces/merkle_tree_operations.ts +3 -2
  222. package/src/interfaces/prover-client.ts +2 -5
  223. package/src/interfaces/slasher.ts +0 -6
  224. package/src/interfaces/validator.ts +15 -8
  225. package/src/l1-contracts/index.ts +1 -1
  226. package/src/logs/extended_directional_app_tagging_secret.ts +19 -8
  227. package/src/logs/log_id.ts +1 -2
  228. package/src/logs/siloed_tag.ts +8 -9
  229. package/src/logs/tag.ts +8 -8
  230. package/src/p2p/block_proposal.ts +13 -9
  231. package/src/p2p/checkpoint_attestation.ts +5 -9
  232. package/src/p2p/checkpoint_proposal.ts +21 -36
  233. package/src/p2p/gossipable.ts +4 -4
  234. package/src/rollup/block_headers_hash.ts +11 -2
  235. package/src/slashing/index.ts +1 -2
  236. package/src/slashing/serialization.ts +1 -81
  237. package/src/slashing/types.ts +3 -35
  238. package/src/slashing/{tally.ts → votes.ts} +1 -1
  239. package/src/tests/factories.ts +2 -10
  240. package/src/tests/mocks.ts +16 -12
  241. package/src/timetable/index.ts +293 -13
  242. package/src/trees/nullifier_leaf.ts +4 -0
  243. package/src/tx/block_header.ts +2 -2
  244. package/src/tx/fee_provider.ts +10 -0
  245. package/src/tx/global_variable_builder.ts +2 -18
  246. package/src/tx/index.ts +1 -0
  247. package/src/tx/indexed_tx_effect.ts +1 -2
  248. package/src/tx/simulated_tx.ts +6 -2
  249. package/src/tx/tx.ts +2 -2
  250. package/src/tx/tx_receipt.ts +11 -14
  251. package/src/types/shared.ts +0 -10
  252. package/src/vks/verification_key.ts +5 -184
  253. package/src/world-state/genesis_data.ts +15 -0
  254. package/src/world-state/index.ts +1 -0
  255. package/src/world-state/world_state_revision.ts +9 -1
  256. package/dest/abi/mocked_keys.d.ts +0 -2
  257. package/dest/abi/mocked_keys.d.ts.map +0 -1
  258. package/dest/abi/mocked_keys.js +0 -1
  259. package/dest/l1-contracts/slash_factory.d.ts +0 -45
  260. package/dest/l1-contracts/slash_factory.d.ts.map +0 -1
  261. package/dest/l1-contracts/slash_factory.js +0 -158
  262. package/dest/slashing/empire.d.ts +0 -31
  263. package/dest/slashing/empire.d.ts.map +0 -1
  264. package/dest/slashing/empire.js +0 -87
  265. package/src/abi/mocked_keys.ts +0 -2
  266. package/src/l1-contracts/slash_factory.ts +0 -180
  267. package/src/slashing/empire.ts +0 -104
@@ -18,9 +18,13 @@ export declare const SortedTxStatuses: TxStatus[];
18
18
  /** Execution result - only set when tx is in a block. */
19
19
  export declare enum TxExecutionResult {
20
20
  SUCCESS = "success",
21
- APP_LOGIC_REVERTED = "app_logic_reverted",
22
- TEARDOWN_REVERTED = "teardown_reverted",
23
- BOTH_REVERTED = "both_reverted"
21
+ REVERTED = "reverted",
22
+ /** @deprecated Use REVERTED instead. */
23
+ APP_LOGIC_REVERTED = "reverted",
24
+ /** @deprecated Use REVERTED instead. */
25
+ TEARDOWN_REVERTED = "reverted",
26
+ /** @deprecated Use REVERTED instead. */
27
+ BOTH_REVERTED = "reverted"
24
28
  }
25
29
  /**
26
30
  * Represents a transaction receipt in the Aztec network.
@@ -99,4 +103,4 @@ export declare class TxReceipt {
99
103
  }): TxReceipt;
100
104
  static executionResultFromRevertCode(revertCode: RevertCode): TxExecutionResult;
101
105
  }
102
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBcUIsV0FBVyxFQUFxQixNQUFNLGlDQUFpQyxDQUFDO0FBSWpILE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNuRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFdEMsMkNBQTJDO0FBQzNDLG9CQUFZLFFBQVE7SUFDbEIsT0FBTyxZQUFZO0lBQ25CLE9BQU8sWUFBWTtJQUNuQixRQUFRLGFBQWE7SUFDckIsWUFBWSxpQkFBaUI7SUFDN0IsTUFBTSxXQUFXO0lBQ2pCLFNBQVMsY0FBYztDQUN4QjtBQUVELGlEQUFpRDtBQUNqRCxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsUUFBUSxFQU90QyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsa0JBQWtCLHVCQUF1QjtJQUN6QyxpQkFBaUIsc0JBQXNCO0lBQ3ZDLGFBQWEsa0JBQWtCO0NBQ2hDO0FBRUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSxTQUFTO0lBRWxCLDZDQUE2QztJQUN0QyxNQUFNLEVBQUUsTUFBTTtJQUNyQixtREFBbUQ7SUFDNUMsTUFBTSxFQUFFLFFBQVE7SUFDdkIsK0VBQStFO0lBQ3hFLGVBQWUsRUFBRSxpQkFBaUIsR0FBRyxTQUFTO0lBQ3JELGdEQUFnRDtJQUN6QyxLQUFLLEVBQUUsTUFBTSxHQUFHLFNBQVM7SUFDaEMsb0RBQW9EO0lBQzdDLGNBQWMsQ0FBQztJQUN0Qix3REFBd0Q7SUFDakQsU0FBUyxDQUFDO0lBQ2pCLDhEQUE4RDtJQUN2RCxXQUFXLENBQUM7SUFDbkIsOERBQThEO0lBQ3ZELFdBQVcsQ0FBQztJQUNuQjs7OztPQUlHO0lBQ0ksU0FBUyxDQUFDO0lBdEJuQjtJQUNFLDZDQUE2QztJQUN0QyxNQUFNLEVBQUUsTUFBTTtJQUNyQixtREFBbUQ7SUFDNUMsTUFBTSxFQUFFLFFBQVE7SUFDdkIsK0VBQStFO0lBQ3hFLGVBQWUsRUFBRSxpQkFBaUIsR0FBRyxTQUFTO0lBQ3JELGdEQUFnRDtJQUN6QyxLQUFLLEVBQUUsTUFBTSxHQUFHLFNBQVM7SUFDaEMsb0RBQW9EO0lBQzdDLGNBQWMsQ0FBQyxvQkFBUTtJQUM5Qix3REFBd0Q7SUFDakQsU0FBUyxDQUFDLHVCQUFXO0lBQzVCLDhEQUE4RDtJQUN2RCxXQUFXLENBQUMseUJBQWE7SUFDaEMsOERBQThEO0lBQ3ZELFdBQVcsQ0FBQyx5QkFBYTtJQUNoQzs7OztPQUlHO0lBQ0ksU0FBUyxDQUFDLHdCQUFZLEVBQzNCO0lBRUosaUVBQWlFO0lBQ2pFLHFCQUFxQixJQUFJLE9BQU8sQ0FFL0I7SUFFRCwwREFBMEQ7SUFDMUQsb0JBQW9CLElBQUksT0FBTyxDQUU5QjtJQUVELG1IQUFtSDtJQUNuSCxPQUFPLElBQUksT0FBTyxDQU9qQjtJQUVELGtEQUFrRDtJQUNsRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELG1EQUFtRDtJQUNuRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELE1BQU0sQ0FBQyxLQUFLLGNBRVg7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxTQUFTLENBQUMsQ0FjckM7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRTtRQUNsQixNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQ2YsTUFBTSxFQUFFLFFBQVEsQ0FBQztRQUNqQixlQUFlLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztRQUNwQyxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDZixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDeEIsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO1FBQ3RCLFdBQVcsQ0FBQyxFQUFFLFdBQVcsQ0FBQztRQUMxQixXQUFXLENBQUMsRUFBRSxXQUFXLENBQUM7UUFDMUIsU0FBUyxDQUFDLEVBQUUsUUFBUSxFQUFFLENBQUM7S0FDeEIsYUFZQTtJQUVELE9BQWMsNkJBQTZCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxpQkFBaUIsQ0FZckY7Q0FDRiJ9
106
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBcUIsV0FBVyxFQUFxQixNQUFNLGlDQUFpQyxDQUFDO0FBSWpILE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNuRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFdEMsMkNBQTJDO0FBQzNDLG9CQUFZLFFBQVE7SUFDbEIsT0FBTyxZQUFZO0lBQ25CLE9BQU8sWUFBWTtJQUNuQixRQUFRLGFBQWE7SUFDckIsWUFBWSxpQkFBaUI7SUFDN0IsTUFBTSxXQUFXO0lBQ2pCLFNBQVMsY0FBYztDQUN4QjtBQUVELGlEQUFpRDtBQUNqRCxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsUUFBUSxFQU90QyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsUUFBUSxhQUFhO0lBQ3JCLHdDQUF3QztJQUV4QyxrQkFBa0IsYUFBYTtJQUMvQix3Q0FBd0M7SUFFeEMsaUJBQWlCLGFBQWE7SUFDOUIsd0NBQXdDO0lBRXhDLGFBQWEsYUFBYTtDQUMzQjtBQUVEOzs7OztHQUtHO0FBQ0gscUJBQWEsU0FBUztJQUVsQiw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUM7SUFDdEIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQztJQUNqQiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDO0lBQ25CLDhEQUE4RDtJQUN2RCxXQUFXLENBQUM7SUFDbkI7Ozs7T0FJRztJQUNJLFNBQVMsQ0FBQztJQXRCbkI7SUFDRSw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUMsb0JBQVE7SUFDOUIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQyx1QkFBVztJQUM1Qiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDLHlCQUFhO0lBQ2hDLDhEQUE4RDtJQUN2RCxXQUFXLENBQUMseUJBQWE7SUFDaEM7Ozs7T0FJRztJQUNJLFNBQVMsQ0FBQyx3QkFBWSxFQUMzQjtJQUVKLGlFQUFpRTtJQUNqRSxxQkFBcUIsSUFBSSxPQUFPLENBRS9CO0lBRUQsMERBQTBEO0lBQzFELG9CQUFvQixJQUFJLE9BQU8sQ0FFOUI7SUFFRCxtSEFBbUg7SUFDbkgsT0FBTyxJQUFJLE9BQU8sQ0FPakI7SUFFRCxrREFBa0Q7SUFDbEQsU0FBUyxJQUFJLE9BQU8sQ0FFbkI7SUFFRCxtREFBbUQ7SUFDbkQsU0FBUyxJQUFJLE9BQU8sQ0FFbkI7SUFFRCxNQUFNLENBQUMsS0FBSyxjQUVYO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsU0FBUyxDQUFDLENBY3JDO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUU7UUFDbEIsTUFBTSxFQUFFLE1BQU0sQ0FBQztRQUNmLE1BQU0sRUFBRSxRQUFRLENBQUM7UUFDakIsZUFBZSxDQUFDLEVBQUUsaUJBQWlCLENBQUM7UUFDcEMsS0FBSyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ2YsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO1FBQ3hCLFNBQVMsQ0FBQyxFQUFFLFNBQVMsQ0FBQztRQUN0QixXQUFXLENBQUMsRUFBRSxXQUFXLENBQUM7UUFDMUIsV0FBVyxDQUFDLEVBQUUsV0FBVyxDQUFDO1FBQzFCLFNBQVMsQ0FBQyxFQUFFLFFBQVEsRUFBRSxDQUFDO0tBQ3hCLGFBWUE7SUFFRCxPQUFjLDZCQUE2QixDQUFDLFVBQVUsRUFBRSxVQUFVLEdBQUcsaUJBQWlCLENBRXJGO0NBQ0YifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;IACnB,8DAA8D;IACvD,WAAW,CAAC;IACnB;;;;OAIG;IACI,SAAS,CAAC;IAtBnB;IACE,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,uBAAW;IAC5B,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC;;;;OAIG;IACI,SAAS,CAAC,wBAAY,EAC3B;IAEJ,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAE/B;IAED,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAE9B;IAED,mHAAmH;IACnH,OAAO,IAAI,OAAO,CAOjB;IAED,kDAAkD;IAClD,SAAS,IAAI,OAAO,CAEnB;IAED,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAEnB;IAED,MAAM,CAAC,KAAK,cAEX;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAcrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC;QACjB,eAAe,CAAC,EAAE,iBAAiB,CAAC;QACpC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;KACxB,aAYA;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAYrF;CACF"}
1
+ {"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,wCAAwC;IAExC,kBAAkB,aAAa;IAC/B,wCAAwC;IAExC,iBAAiB,aAAa;IAC9B,wCAAwC;IAExC,aAAa,aAAa;CAC3B;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;IACnB,8DAA8D;IACvD,WAAW,CAAC;IACnB;;;;OAIG;IACI,SAAS,CAAC;IAtBnB;IACE,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,uBAAW;IAC5B,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC,8DAA8D;IACvD,WAAW,CAAC,yBAAa;IAChC;;;;OAIG;IACI,SAAS,CAAC,wBAAY,EAC3B;IAEJ,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAE/B;IAED,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAE9B;IAED,mHAAmH;IACnH,OAAO,IAAI,OAAO,CAOjB;IAED,kDAAkD;IAClD,SAAS,IAAI,OAAO,CAEnB;IAED,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAEnB;IAED,MAAM,CAAC,KAAK,cAEX;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAcrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC;QACjB,eAAe,CAAC,EAAE,iBAAiB,CAAC;QACpC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,WAAW,CAAC,EAAE,WAAW,CAAC;QAC1B,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;KACxB,aAYA;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAErF;CACF"}
@@ -1,6 +1,5 @@
1
1
  import { BlockNumberSchema, EpochNumberSchema } from '@aztec/foundation/branded-types';
2
2
  import { z } from 'zod';
3
- import { RevertCode } from '../avm/revert_code.js';
4
3
  import { BlockHash } from '../block/block_hash.js';
5
4
  import { DebugLog } from '../logs/debug_log.js';
6
5
  import { schemas } from '../schemas/schemas.js';
@@ -24,9 +23,13 @@ import { TxHash } from './tx_hash.js';
24
23
  ];
25
24
  /** Execution result - only set when tx is in a block. */ export var TxExecutionResult = /*#__PURE__*/ function(TxExecutionResult) {
26
25
  TxExecutionResult["SUCCESS"] = "success";
27
- TxExecutionResult["APP_LOGIC_REVERTED"] = "app_logic_reverted";
28
- TxExecutionResult["TEARDOWN_REVERTED"] = "teardown_reverted";
29
- TxExecutionResult["BOTH_REVERTED"] = "both_reverted";
26
+ TxExecutionResult["REVERTED"] = "reverted";
27
+ /** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
28
+ TxExecutionResult["APP_LOGIC_REVERTED"] = "reverted";
29
+ /** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
30
+ TxExecutionResult["TEARDOWN_REVERTED"] = "reverted";
31
+ /** @deprecated Use REVERTED instead. */ // eslint-disable-next-line @typescript-eslint/no-duplicate-enum-values
32
+ TxExecutionResult["BOTH_REVERTED"] = "reverted";
30
33
  return TxExecutionResult;
31
34
  }({});
32
35
  /**
@@ -94,16 +97,6 @@ import { TxHash } from './tx_hash.js';
94
97
  return new TxReceipt(fields.txHash, fields.status, fields.executionResult, fields.error, fields.transactionFee, fields.blockHash, fields.blockNumber, fields.epochNumber, fields.debugLogs);
95
98
  }
96
99
  static executionResultFromRevertCode(revertCode) {
97
- if (revertCode.equals(RevertCode.OK)) {
98
- return "success";
99
- } else if (revertCode.equals(RevertCode.APP_LOGIC_REVERTED)) {
100
- return "app_logic_reverted";
101
- } else if (revertCode.equals(RevertCode.TEARDOWN_REVERTED)) {
102
- return "teardown_reverted";
103
- } else if (revertCode.equals(RevertCode.BOTH_REVERTED)) {
104
- return "both_reverted";
105
- } else {
106
- throw new Error(`Unknown revert code: ${revertCode.getCode()}`);
107
- }
100
+ return revertCode.isOK() ? "success" : "reverted";
108
101
  }
109
102
  }
@@ -27,13 +27,4 @@ export type UInt64 = bigint;
27
27
  * A type alias for a 128-bit unsigned integer.
28
28
  */
29
29
  export type UInt128 = bigint;
30
- /**
31
- * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
32
- * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
33
- * Plonk vs Honk; zk-SNARK or just SNARK; etc).
34
- */
35
- export declare enum CircuitType {
36
- STANDARD = 0,
37
- ULTRA = 1
38
- }
39
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDO0FBRTdCOzs7O0dBSUc7QUFDSCxvQkFBWSxXQUFXO0lBQ3JCLFFBQVEsSUFBSTtJQUNaLEtBQUssSUFBSTtDQUNWIn0=
30
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hhcmVkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHlwZXMvc2hhcmVkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUVqRjs7R0FFRztBQUNILHFCQUFhLE1BQU0sQ0FBQyxDQUFDLFNBQVMsVUFBVTtJQUVwQzs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUU7SUFKbkI7SUFDRTs7T0FFRztJQUNJLEtBQUssRUFBRSxDQUFDLEVBQUUsRUFDZjtJQUVKLFFBQVEsNEJBRVA7SUFFRCxjQUFjLFFBRWI7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUM7QUFFNUI7O0dBRUc7QUFDSCxNQUFNLE1BQU0sTUFBTSxHQUFHLE1BQU0sQ0FBQztBQUU1Qjs7R0FFRztBQUNILE1BQU0sTUFBTSxPQUFPLEdBQUcsTUFBTSxDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV"}
1
+ {"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAJnB;IACE;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE,EACf;IAEJ,QAAQ,4BAEP;IAED,cAAc,QAEb;CACF;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC"}
@@ -15,12 +15,3 @@ import { serializeToBuffer } from '@aztec/foundation/serialize';
15
15
  return this.items;
16
16
  }
17
17
  }
18
- /**
19
- * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
20
- * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are constructed;
21
- * Plonk vs Honk; zk-SNARK or just SNARK; etc).
22
- */ export var CircuitType = /*#__PURE__*/ function(CircuitType) {
23
- CircuitType[CircuitType["STANDARD"] = 0] = "STANDARD";
24
- CircuitType[CircuitType["ULTRA"] = 1] = "ULTRA";
25
- return CircuitType;
26
- }({});
@@ -1,61 +1,5 @@
1
- import { Fq, Fr } from '@aztec/foundation/curves/bn254';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { BufferReader } from '@aztec/foundation/serialize';
3
- import { CircuitType } from '../types/shared.js';
4
- /**
5
- * Curve data.
6
- */
7
- export declare class G1AffineElement {
8
- /**
9
- * Element's x coordinate.
10
- */
11
- x: Fq;
12
- /**
13
- * Element's y coordinate.
14
- */
15
- y: Fq;
16
- constructor(x: Fq | bigint, y: Fq | bigint);
17
- /**
18
- * Serialize as a buffer.
19
- * @returns The buffer.
20
- */
21
- toBuffer(): Buffer<ArrayBufferLike>;
22
- /**
23
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
24
- * @param buffer - Buffer or BufferReader to read from.
25
- * @returns The G1AffineElement.
26
- */
27
- static fromBuffer(buffer: Buffer | BufferReader): G1AffineElement;
28
- }
29
- /**
30
- * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
31
- * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
32
- */
33
- export declare class CommitmentMap {
34
- /**
35
- * An object used to store the commitments.
36
- */
37
- record: {
38
- [name: string]: G1AffineElement;
39
- };
40
- constructor(
41
- /**
42
- * An object used to store the commitments.
43
- */
44
- record: {
45
- [name: string]: G1AffineElement;
46
- });
47
- /**
48
- * Serialize as a buffer.
49
- * @returns The buffer.
50
- */
51
- toBuffer(): Buffer<ArrayBufferLike>;
52
- /**
53
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
54
- * @param buffer - Buffer or BufferReader to read from.
55
- * @returns The CommitmentMap.
56
- */
57
- static fromBuffer(buffer: Buffer | BufferReader): CommitmentMap;
58
- }
59
3
  export declare const CIRCUIT_SIZE_INDEX = 0;
60
4
  export declare const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
61
5
  /**
@@ -96,84 +40,6 @@ export declare class VerificationKeyAsFields {
96
40
  */
97
41
  static makeEmpty(size: number): VerificationKeyAsFields;
98
42
  }
99
- export declare class VerificationKey {
100
- /**
101
- * For Plonk, this is equivalent to the proving system used to prove and verify.
102
- */
103
- circuitType: CircuitType;
104
- /**
105
- * The number of gates in this circuit.
106
- */
107
- circuitSize: number;
108
- /**
109
- * The number of public inputs in this circuit.
110
- */
111
- numPublicInputs: number;
112
- /**
113
- * The commitments for this circuit.
114
- */
115
- commitments: Record<string, G1AffineElement>;
116
- /**
117
- * Contains a recursive proof?
118
- */
119
- containsRecursiveProof: boolean;
120
- /**
121
- * Recursion stack.
122
- */
123
- recursiveProofPublicInputIndices: number[];
124
- constructor(
125
- /**
126
- * For Plonk, this is equivalent to the proving system used to prove and verify.
127
- */
128
- circuitType: CircuitType,
129
- /**
130
- * The number of gates in this circuit.
131
- */
132
- circuitSize: number,
133
- /**
134
- * The number of public inputs in this circuit.
135
- */
136
- numPublicInputs: number,
137
- /**
138
- * The commitments for this circuit.
139
- */
140
- commitments: Record<string, G1AffineElement>,
141
- /**
142
- * Contains a recursive proof?
143
- */
144
- containsRecursiveProof: boolean,
145
- /**
146
- * Recursion stack.
147
- */
148
- recursiveProofPublicInputIndices: number[]);
149
- /**
150
- * Serialize as a buffer.
151
- * @returns The buffer.
152
- */
153
- toBuffer(): Buffer<ArrayBufferLike>;
154
- /**
155
- * Deserializes class from a buffer.
156
- * @returns A VerificationKey instance.
157
- */
158
- static fromBuffer(buffer: Buffer | BufferReader): VerificationKey;
159
- /**
160
- * Builds a fake Rollup Honk verification key that should be accepted by circuits.
161
- * @returns A fake verification key.
162
- */
163
- static makeRollupFake(): VerificationKey;
164
- /**
165
- * Builds a fake verification key that should be accepted by circuits.
166
- * @returns A fake verification key.
167
- */
168
- static makeFake(): VerificationKey;
169
- /**
170
- * Builds a fake MegaHonk verification key buffer for testing.
171
- * Uses a real VK from a compiled contract to ensure proper format.
172
- *
173
- * @returns A valid MegaHonk VK buffer (4064 bytes)
174
- */
175
- static makeFakeMegaHonk(): Buffer;
176
- }
177
43
  export declare class VerificationKeyData {
178
44
  readonly keyAsFields: VerificationKeyAsFields;
179
45
  readonly keyAsBytes: Buffer;
@@ -183,7 +49,6 @@ export declare class VerificationKeyData {
183
49
  static empty(): VerificationKeyData;
184
50
  static makeFakeHonk(): VerificationKeyData;
185
51
  static makeFakeRollupHonk(): VerificationKeyData;
186
- static makeFake(len?: number): VerificationKeyData;
187
52
  /**
188
53
  * Serialize as a buffer.
189
54
  * @returns The buffer.
@@ -199,4 +64,4 @@ export declare class VerificationKeyData {
199
64
  /** Creates an instance from a hex string. */
200
65
  static get schema(): import("zod").ZodType<VerificationKeyData, any, string>;
201
66
  }
202
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLE9BQU8sRUFBRSxFQUFFLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFeEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUk5RSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFFakQ7O0dBRUc7QUFDSCxxQkFBYSxlQUFlO0lBQzFCOztPQUVHO0lBQ0ksQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNiOztPQUVHO0lBQ0ksQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUViLFlBQVksQ0FBQyxFQUFFLEVBQUUsR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsR0FBRyxNQUFNLEVBR3pDO0lBQ0Q7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGVBQWUsQ0FHaEU7Q0FDRjtBQUVEOzs7R0FHRztBQUNILHFCQUFhLGFBQWE7SUFFdEI7O09BRUc7SUFDSSxNQUFNLEVBQUU7UUFBRSxDQUFDLElBQUksRUFBRSxNQUFNLEdBQUcsZUFBZSxDQUFBO0tBQUU7SUFKcEQ7SUFDRTs7T0FFRztJQUNJLE1BQU0sRUFBRTtRQUFFLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyxlQUFlLENBQUE7S0FBRSxFQUNoRDtJQUVKOzs7T0FHRztJQUNILFFBQVEsNEJBR1A7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxhQUFhLENBRzlEO0NBQ0Y7QUFHRCxlQUFPLE1BQU0sa0JBQWtCLElBQUksQ0FBQztBQUNwQyxlQUFPLE1BQU0sMkJBQTJCLElBQUksQ0FBQztBQUU3Qzs7R0FFRztBQUNILHFCQUFhLHVCQUF1QjtJQUV6QixHQUFHLEVBQUUsRUFBRSxFQUFFO0lBQ1QsSUFBSSxFQUFFLEVBQUU7SUFGakIsWUFDUyxHQUFHLEVBQUUsRUFBRSxFQUFFLEVBQ1QsSUFBSSxFQUFFLEVBQUUsRUFDYjtJQUVKLE9BQWEsT0FBTyxDQUFDLEdBQUcsRUFBRSxFQUFFLEVBQUUsb0NBRzdCO0lBRUQsSUFBVyxlQUFlLFdBRXpCO0lBRUQsSUFBVyxXQUFXLFdBRXJCO0lBRUQsTUFBTSxLQUFLLE1BQU0sZ0VBR2hCO0lBRUQsTUFBTSw0QkFFTDtJQUVEOzs7T0FHRztJQUNILFFBQVEsNEJBRVA7SUFFRCxRQUFRLG9CQUVQO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsdUJBQXVCLENBR3hFO0lBRUQsTUFBTSxDQUFDLFlBQVksQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyx1QkFBdUIsQ0FBQyxDQUtyRTtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLE1BQU0sRUFBRSxJQUFJLFNBQUksR0FBRyx1QkFBdUIsQ0FFL0Q7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUVyRDtJQUVELE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxJQUFJLFNBQUksR0FBRyx1QkFBdUIsQ0FLM0Q7SUFFRDs7O09BR0c7SUFDSCxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksRUFBRSxNQUFNLEdBQUcsdUJBQXVCLENBRXREO0NBQ0Y7QUFFRCxxQkFBYSxlQUFlO0lBRXhCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLFdBQVc7SUFDL0I7O09BRUc7SUFDSSxXQUFXLEVBQUUsTUFBTTtJQUMxQjs7T0FFRztJQUNJLGVBQWUsRUFBRSxNQUFNO0lBQzlCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsZUFBZSxDQUFDO0lBQ25EOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsT0FBTztJQUN0Qzs7T0FFRztJQUNJLGdDQUFnQyxFQUFFLE1BQU0sRUFBRTtJQXhCbkQ7SUFDRTs7T0FFRztJQUNJLFdBQVcsRUFBRSxXQUFXO0lBQy9COztPQUVHO0lBQ0ksV0FBVyxFQUFFLE1BQU07SUFDMUI7O09BRUc7SUFDSSxlQUFlLEVBQUUsTUFBTTtJQUM5Qjs7T0FFRztJQUNJLFdBQVcsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFLGVBQWUsQ0FBQztJQUNuRDs7T0FFRztJQUNJLHNCQUFzQixFQUFFLE9BQU87SUFDdEM7O09BRUc7SUFDSSxnQ0FBZ0MsRUFBRSxNQUFNLEVBQUUsRUFDL0M7SUFFSjs7O09BR0c7SUFDSCxRQUFRLDRCQVNQO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxlQUFlLENBVWhFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLGNBQWMsSUFBSSxlQUFlLENBU3ZDO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsSUFBSSxlQUFlLENBU2pDO0lBRUQ7Ozs7O09BS0c7SUFDSCxNQUFNLENBQUMsZ0JBQWdCLElBQUksTUFBTSxDQU1oQztDQUNGO0FBRUQscUJBQWEsbUJBQW1CO2FBRVosV0FBVyxFQUFFLHVCQUF1QjthQUNwQyxVQUFVLEVBQUUsTUFBTTtJQUZwQyxZQUNrQixXQUFXLEVBQUUsdUJBQXVCLEVBQ3BDLFVBQVUsRUFBRSxNQUFNLEVBQ2hDO0lBRUosSUFBVyxlQUFlLFdBRXpCO0lBRUQsSUFBVyxXQUFXLFdBRXJCO0lBRUQsTUFBTSxDQUFDLEtBQUssd0JBRVg7SUFFRCxNQUFNLENBQUMsWUFBWSxJQUFJLG1CQUFtQixDQUV6QztJQUVELE1BQU0sQ0FBQyxrQkFBa0IsSUFBSSxtQkFBbUIsQ0FLL0M7SUFFRCxNQUFNLENBQUMsUUFBUSxDQUFDLEdBQUcsU0FBNEIsR0FBRyxtQkFBbUIsQ0FFcEU7SUFFRDs7O09BR0c7SUFDSCxRQUFRLDRCQUVQO0lBRUQsUUFBUSxrQkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBTXBFO0lBRUQsT0FBYSxZQUFZLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FFdkU7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsbUJBQW1CLENBRWxEO0lBRU0sS0FBSyx3QkFFWDtJQUVELDJEQUEyRDtJQUMzRCxNQUFNLDRCQUVMO0lBRUQsNkNBQTZDO0lBQzdDLE1BQU0sS0FBSyxNQUFNLDREQUVoQjtDQUNGIn0=
67
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBTTlFLGVBQU8sTUFBTSxrQkFBa0IsSUFBSSxDQUFDO0FBQ3BDLGVBQU8sTUFBTSwyQkFBMkIsSUFBSSxDQUFDO0FBRTdDOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBRXpCLEdBQUcsRUFBRSxFQUFFLEVBQUU7SUFDVCxJQUFJLEVBQUUsRUFBRTtJQUZqQixZQUNTLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFDVCxJQUFJLEVBQUUsRUFBRSxFQUNiO0lBRUosT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxvQ0FHN0I7SUFFRCxJQUFXLGVBQWUsV0FFekI7SUFFRCxJQUFXLFdBQVcsV0FFckI7SUFFRCxNQUFNLEtBQUssTUFBTSxnRUFHaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsb0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyx1QkFBdUIsQ0FHeEU7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixDQUFDLENBS3JFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUUvRDtJQUVELE1BQU0sQ0FBQyxZQUFZLENBQUMsSUFBSSxTQUFJLEdBQUcsdUJBQXVCLENBRXJEO0lBRUQsTUFBTSxDQUFDLGtCQUFrQixDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUszRDtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyx1QkFBdUIsQ0FFdEQ7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjthQUVaLFdBQVcsRUFBRSx1QkFBdUI7YUFDcEMsVUFBVSxFQUFFLE1BQU07SUFGcEMsWUFDa0IsV0FBVyxFQUFFLHVCQUF1QixFQUNwQyxVQUFVLEVBQUUsTUFBTSxFQUNoQztJQUVKLElBQVcsZUFBZSxXQUV6QjtJQUVELElBQVcsV0FBVyxXQUVyQjtJQUVELE1BQU0sQ0FBQyxLQUFLLHdCQUVYO0lBRUQsTUFBTSxDQUFDLFlBQVksSUFBSSxtQkFBbUIsQ0FHekM7SUFFRCxNQUFNLENBQUMsa0JBQWtCLElBQUksbUJBQW1CLENBRy9DO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQU1wRTtJQUVELE9BQWEsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBRXZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLG1CQUFtQixDQUVsRDtJQUVNLEtBQUssd0JBRVg7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELDZDQUE2QztJQUM3QyxNQUFNLEtBQUssTUFBTSw0REFFaEI7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAExD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IAEb,YAAY,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,EAGzC;IACD;;;OAGG;IACH,QAAQ,4BAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAGhE;CACF;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAJpD;IACE;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE,EAChD;IAEJ;;;OAGG;IACH,QAAQ,4BAGP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,CAG9D;CACF;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAxBnD;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE,EAC/C;IAEJ;;;OAGG;IACH,QAAQ,4BASP;IAED;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAUhE;IAED;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe,CASvC;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe,CASjC;IAED;;;;;OAKG;IACH,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAMhC;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAEzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAK/C;IAED,MAAM,CAAC,QAAQ,CAAC,GAAG,SAA4B,GAAG,mBAAmB,CAEpE;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
1
+ {"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAM9E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAGzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAG/C;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}
@@ -1,66 +1,10 @@
1
1
  import { ULTRA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
2
2
  import { makeTuple } from '@aztec/foundation/array';
3
- import { times } from '@aztec/foundation/collection';
4
- import { Fq, Fr } from '@aztec/foundation/curves/bn254';
3
+ import { Fr } from '@aztec/foundation/curves/bn254';
5
4
  import { bufferSchemaFor } from '@aztec/foundation/schemas';
6
5
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
7
6
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
8
7
  import { hashVK } from '../hash/index.js';
9
- import { CircuitType } from '../types/shared.js';
10
- /**
11
- * Curve data.
12
- */ export class G1AffineElement {
13
- /**
14
- * Element's x coordinate.
15
- */ x;
16
- /**
17
- * Element's y coordinate.
18
- */ y;
19
- constructor(x, y){
20
- this.x = typeof x === 'bigint' ? new Fq(x) : x;
21
- this.y = typeof y === 'bigint' ? new Fq(y) : y;
22
- }
23
- /**
24
- * Serialize as a buffer.
25
- * @returns The buffer.
26
- */ toBuffer() {
27
- return serializeToBuffer(this.x, this.y);
28
- }
29
- /**
30
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
31
- * @param buffer - Buffer or BufferReader to read from.
32
- * @returns The G1AffineElement.
33
- */ static fromBuffer(buffer) {
34
- const reader = BufferReader.asReader(buffer);
35
- return new G1AffineElement(Fq.fromBuffer(reader), Fq.fromBuffer(reader));
36
- }
37
- }
38
- /**
39
- * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
40
- * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
41
- */ export class CommitmentMap {
42
- record;
43
- constructor(/**
44
- * An object used to store the commitments.
45
- */ record){
46
- this.record = record;
47
- }
48
- /**
49
- * Serialize as a buffer.
50
- * @returns The buffer.
51
- */ toBuffer() {
52
- const values = Object.entries(this.record);
53
- return serializeToBuffer(values.length, ...values.flat());
54
- }
55
- /**
56
- * Deserializes from a buffer or reader, corresponding to a write in cpp.
57
- * @param buffer - Buffer or BufferReader to read from.
58
- * @returns The CommitmentMap.
59
- */ static fromBuffer(buffer) {
60
- const reader = BufferReader.asReader(buffer);
61
- return new CommitmentMap(reader.readMap(G1AffineElement));
62
- }
63
- }
64
8
  // TODO: find better home for these constants
65
9
  export const CIRCUIT_SIZE_INDEX = 0;
66
10
  export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
@@ -136,70 +80,6 @@ export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
136
80
  return new VerificationKeyAsFields(makeTuple(size, Fr.zero), Fr.zero());
137
81
  }
138
82
  }
139
- export class VerificationKey {
140
- circuitType;
141
- circuitSize;
142
- numPublicInputs;
143
- commitments;
144
- containsRecursiveProof;
145
- recursiveProofPublicInputIndices;
146
- constructor(/**
147
- * For Plonk, this is equivalent to the proving system used to prove and verify.
148
- */ circuitType, /**
149
- * The number of gates in this circuit.
150
- */ circuitSize, /**
151
- * The number of public inputs in this circuit.
152
- */ numPublicInputs, /**
153
- * The commitments for this circuit.
154
- */ commitments, /**
155
- * Contains a recursive proof?
156
- */ containsRecursiveProof, /**
157
- * Recursion stack.
158
- */ recursiveProofPublicInputIndices){
159
- this.circuitType = circuitType;
160
- this.circuitSize = circuitSize;
161
- this.numPublicInputs = numPublicInputs;
162
- this.commitments = commitments;
163
- this.containsRecursiveProof = containsRecursiveProof;
164
- this.recursiveProofPublicInputIndices = recursiveProofPublicInputIndices;
165
- }
166
- /**
167
- * Serialize as a buffer.
168
- * @returns The buffer.
169
- */ toBuffer() {
170
- return serializeToBuffer(this.circuitType, this.circuitSize, this.numPublicInputs, new CommitmentMap(this.commitments), this.containsRecursiveProof, serializeToBuffer(this.recursiveProofPublicInputIndices.length, this.recursiveProofPublicInputIndices));
171
- }
172
- /**
173
- * Deserializes class from a buffer.
174
- * @returns A VerificationKey instance.
175
- */ static fromBuffer(buffer) {
176
- const reader = BufferReader.asReader(buffer);
177
- return new VerificationKey(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readObject(CommitmentMap).record, reader.readBoolean(), reader.readNumberVector());
178
- }
179
- /**
180
- * Builds a fake Rollup Honk verification key that should be accepted by circuits.
181
- * @returns A fake verification key.
182
- */ static makeRollupFake() {
183
- return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
184
- }
185
- /**
186
- * Builds a fake verification key that should be accepted by circuits.
187
- * @returns A fake verification key.
188
- */ static makeFake() {
189
- return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
190
- }
191
- /**
192
- * Builds a fake MegaHonk verification key buffer for testing.
193
- * Uses a real VK from a compiled contract to ensure proper format.
194
- *
195
- * @returns A valid MegaHonk VK buffer (4064 bytes)
196
- */ static makeFakeMegaHonk() {
197
- // This is a real MegaFlavor VK from token_contract, base64-encoded
198
- // Size: 4064 bytes (127 fields × 32 bytes)
199
- const vk = 'AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANuAAAAAAAAAAAAAAAAAAAAP/2mLzBM1pS5uiSckb1BVHkAAAAAAAAAAAAAAAAAAAAAAAj416UaEYnPzn49IUFSXgAAAAAAAAAAAAAAAAAAAIXdwCJK3KYAoGKX4p6GfmryAAAAAAAAAAAAAAAAAAAAAAAokraNwSgFcpF48hQxNGkAAAAAAAAAAAAAAAAAAAC7oxlMkGNLFkB2hf+YZ3ZxbgAAAAAAAAAAAAAAAAAAAAAAJxTarsiWssfiDyt71jURAAAAAAAAAAAAAAAAAAAAXrNqIIwSwfoH9ohkDg7vOVkAAAAAAAAAAAAAAAAAAAAAAAmoSGxP3U/r3hzEvHateQAAAAAAAAAAAAAAAAAAABsMbbs6st4J8g1rt+BsNQ/tAAAAAAAAAAAAAAAAAAAAAAAG1jgBz1oWwF9cgJAcbokAAAAAAAAAAAAAAAAAAAAiSGg7Y4g8BZRm7Y263TfzBQAAAAAAAAAAAAAAAAAAAAAABAifGWuruwdNirdcMLaZAAAAAAAAAAAAAAAAAAAAvnjsQ6y/R+pkGIZG+8VaSmoAAAAAAAAAAAAAAAAAAAAAACZ132MJqewzJSlpMIlLrwAAAAAAAAAAAAAAAAAAAGLurX4BKthJm1qWxgHy6poVAAAAAAAAAAAAAAAAAAAAAAATyCVmUda23MUKev5O7H8AAAAAAAAAAAAAAAAAAAAHgBXlGsmyGwFKCc8ECZMtygAAAAAAAAAAAAAAAAAAAAAAA5NUCZBujE33vAepEGQDAAAAAAAAAAAAAAAAAAAAezL+gT6bMTInwgAVVNNDXRkAAAAAAAAAAAAAAAAAAAAAABCAWIHhkvWaCS2ZnKPvSwAAAAAAAAAAAAAAAAAAANPQvFAiWRA8ERg5yGvr88ALAAAAAAAAAAAAAAAAAAAAAAApoSMoGsXzQJaFneSv1KgAAAAAAAAAAAAAAAAAAAB340oDJmM304cJnC9ueo+O5AAAAAAAAAAAAAAAAAAAAAAAHZK4hjDrXvy49q13vwGAAAAAAAAAAAAAAAAAAAAAtQi6GtLBaVOlbS6XGA9eqnwAAAAAAAAAAAAAAAAAAAAAABfiIWL6/lPx838UMvXv4wAAAAAAAAAAAAAAAAAAADr/3SHoETrf6uZZ1rp+WIZQAAAAAAAAAAAAAAAAAAAAAAAqvpwOG8VS0GsAo7Jkj0UAAAAAAAAAAAAAAAAAAABUJxHlFbLDzcMOKg2f7hCicAAAAAAAAAAAAAAAAAAAAAAAEWBEq9cQJCgbdAYavBP5AAAAAAAAAAAAAAAAAAAAdrkZueUT2Ets4CFAG+vXcr4AAAAAAAAAAAAAAAAAAAAAAB6B5XXXSu46eOAFWZAkrwAAAAAAAAAAAAAAAAAAANmWqVvVT2mZ7QrYWIirAquXAAAAAAAAAAAAAAAAAAAAAAACF9hD8+IrMaRi+lqRkAMAAAAAAAAAAAAAAAAAAAAD5Z0isCORGRBnbAxmzTrctgAAAAAAAAAAAAAAAAAAAAAAMAWa6kNzndYcZpD/z9psAAAAAAAAAAAAAAAAAAAA+bz6NGciDYP69hwbHlOFemYAAAAAAAAAAAAAAAAAAAAAACxtqvyR362MHKUfRa1atAAAAAAAAAAAAAAAAAAAABHmXRvQcsHNHFVezkzmPcbGAAAAAAAAAAAAAAAAAAAAAAAgnfqubAIcahOIvmgu5kEAAAAAAAAAAAAAAAAAAACzkNYUnJ/7869CHmpqFcvY7gAAAAAAAAAAAAAAAAAAAAAAByZU2ZsU3OZBBKhDaro4AAAAAAAAAAAAAAAAAAAA5WKKgNFBqO30Fqe8nWMZOfkAAAAAAAAAAAAAAAAAAAAAABeI+NTdPf/53PNok25fhwAAAAAAAAAAAAAAAAAAANTx1sizxFU9c4qiWkoCg1G9AAAAAAAAAAAAAAAAAAAAAAAKK321DuTcjXFo351Z7fAAAAAAAAAAAAAAAAAAAADOP1b+njU8sem9GjVjXe1qTAAAAAAAAAAAAAAAAAAAAAAADLPaoo1d53oBsUXMc0GIAAAAAAAAAAAAAAAAAAAAcW4ObhQI/r76cmLEMHA6iHsAAAAAAAAAAAAAAAAAAAAAAAxzcj9JsZ+WcmGtvE3NSAAAAAAAAAAAAAAAAAAAAPqjE1vBe0DhRJfyQPZj8eamAAAAAAAAAAAAAAAAAAAAAAAOXS9sKDjHSU17NYl3NWcAAAAAAAAAAAAAAAAAAACMJCYI98PRZEMXCwrwNffRggAAAAAAAAAAAAAAAAAAAAAAF7iR11vxzfrikwSlMSOwAAAAAAAAAAAAAAAAAAAAjYxSswL26VlnQdfkOYS9MuYAAAAAAAAAAAAAAAAAAAAAAC6jqRgX46I790Y9ebEJ9gAAAAAAAAAAAAAAAAAAAJq7Vw3WpNxo+vzjpCxfVu0rAAAAAAAAAAAAAAAAAAAAAAAPd0DnQkVFd7Rhjlk7k0wAAAAAAAAAAAAAAAAAAAA/SdmtkYZfq+d1bkNp2l0IdQAAAAAAAAAAAAAAAAAAAAAAEGEmscJv8D/jR09GElDyAAAAAAAAAAAAAAAAAAAAgY2ip4PPEb5BgXBJV0bUHpsAAAAAAAAAAAAAAAAAAAAAABiRsTgHAURQXmqPKFtBggAAAAAAAAAAAAAAAAAAAKWWQ0j6nz6pIx27umcNoUk1AAAAAAAAAAAAAAAAAAAAAAABk5iNZXp0vuxhWmZ0F0YAAAAAAAAAAAAAAAAAAADkU74RRH4d3TDyCXGUcQdG6wAAAAAAAAAAAAAAAAAAAAAALi6nWpWc4hq35DuQOxCdAAAAAAAAAAAAAAAAAAAAjBnq8cvZwI0dqFiGgI3kP/sAAAAAAAAAAAAAAAAAAAAAAAZDjNqd6UXeD/Xbw2vT3wAAAAAAAAAAAAAAAAAAAAey7c2Kz+U0azWgd9i/FoI7AAAAAAAAAAAAAAAAAAAAAAAO4lm5hFdU3KY1MMVooKoAAAAAAAAAAAAAAAAAAAA11ut5lZwgPDn0A1cwtLCjDAAAAAAAAAAAAAAAAAAAAAAADhG7sXUMPuGPPEEkGD/MAAAAAAAAAAAAAAAAAAAAkFC/P2UgsVTxrLhFyeRcTqUAAAAAAAAAAAAAAAAAAAAAAAXZUHR9pRmVh2U5hXP8UgAAAAAAAAAAAAAAAAAAAM9CK5rTZMf33eqMsQVDsdUbAAAAAAAAAAAAAAAAAAAAAAAKfdl2Itg9xMw19PoJjw4AAAAAAAAAAAAAAAAAAACh6Wbif3ZcchD1B7vZ8b5DHwAAAAAAAAAAAAAAAAAAAAAAHGRY+P8dj2Szvs/BINaZAAAAAAAAAAAAAAAAAAAA57z5vC986jfHkCdbvBGY9UEAAAAAAAAAAAAAAAAAAAAAABuC5Ph+YUMEdCTygzTQLgAAAAAAAAAAAAAAAAAAAMdxf6hfQQBnhI5uc4PPJkiwAAAAAAAAAAAAAAAAAAAAAAApr+0qBIeZZf5wFnDZGNcAAAAAAAAAAAAAAAAAAADqhA6wE2ALsS/9BFYP32waPAAAAAAAAAAAAAAAAAAAAAAAKN90iROZj56eOgBuC4DlAAAAAAAAAAAAAAAAAAAAUItiITw6coKXGWZYVGs6EvMAAAAAAAAAAAAAAAAAAAAAAB/gFpTMjB81T6kjfu9v5AAAAAAAAAAAAAAAAAAAAGQG2CBHDqOoGrVyJFkVxqotAAAAAAAAAAAAAAAAAAAAAAAf6yUuTb9Uwg1tZ4id9jcAAAAAAAAAAAAAAAAAAADlkZ2DA7pZH9wO11w4cy+s/gAAAAAAAAAAAAAAAAAAAAAAAt5B32eTTs4csyhddidyAAAAAAAAAAAAAAAAAAAA2aKmCGyHs9jOnHNSufEdfO4AAAAAAAAAAAAAAAAAAAAAAC/vRXfEwTCgPImIiqOUswAAAAAAAAAAAAAAAAAAAFGkxws8pjGFPFrAxEiNiKZvAAAAAAAAAAAAAAAAAAAAAAAaPDkex9QFa+M1+cKv3uYAAAAAAAAAAAAAAAAAAACBxRbxgX6dH/bX8+18EZFW0AAAAAAAAAAAAAAAAAAAAAAAFvOBcJpsuXdvthvuKTZLAAAAAAAAAAAAAAAAAAAAT1jrSA1EinKmegreBOM17oQAAAAAAAAAAAAAAAAAAAAAACpP5938XueYK9lRsqQx8AAAAAAAAAAAAAAAAAAAAD7gDhTe1BwxuEHsc2agJEc/AAAAAAAAAAAAAAAAAAAAAAAhj3icxTsLkBO1+Nwz5bkAAAAAAAAAAAAAAAAAAADUotDXrDmLTxZKvbT011rGRgAAAAAAAAAAAAAAAAAAAAAAAm2Vy0XXc5bPTwYiCnozAAAAAAAAAAAAAAAAAAAA4m//D/oaIEkcbfvcsY8m3yEAAAAAAAAAAAAAAAAAAAAAAAUtiBCqfomCGC6GywfTDQAAAAAAAAAAAAAAAAAAANedPq+IpIRxcYWtqKNbMcFBAAAAAAAAAAAAAAAAAAAAAAAYqcAnwnFfdxcE/rO/iEMAAAAAAAAAAAAAAAAAAADOpZm7rhU1EjBVJa6+CsG3SwAAAAAAAAAAAAAAAAAAAAAADE3UV3HYY4to5MdMoyhzAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADR5j3OosE3DcjqfYFSVRVvhQAAAAAAAAAAAAAAAAAAAAAAIkOVicHIGw8ySdK6LLsSAAAAAAAAAAAAAAAAAAAAiUo00o971hiazvZDn4Ir9CsAAAAAAAAAAAAAAAAAAAAAADA8czfrc4+po12HYzzeswAAAAAAAAAAAAAAAAAAAGvMegX/lalrKJQkxfczZw2WAAAAAAAAAAAAAAAAAAAAAAAAxDcm91tv2g3iLODg36sAAAAAAAAAAAAAAAAAAAAdCgnXF47JO614WPluZPC0jQAAAAAAAAAAAAAAAAAAAAAAL5tuC04sAZaN5cMkgqp9AAAAAAAAAAAAAAAAAAAAjKmgRRlkp7urvZ42nbdVYlMAAAAAAAAAAAAAAAAAAAAAABRWfiw+hPwePmnYH2zlgAAAAAAAAAAAAAAAAAAAANYJxZ/uz4mfK5Wv9Rm78/s8AAAAAAAAAAAAAAAAAAAAAAADeJJvFQwwx2CWXfRprm4=';
200
- return Buffer.from(vk, 'base64');
201
- }
202
- }
203
83
  export class VerificationKeyData {
204
84
  keyAsFields;
205
85
  keyAsBytes;
@@ -217,13 +97,12 @@ export class VerificationKeyData {
217
97
  return new VerificationKeyData(VerificationKeyAsFields.makeEmpty(0), Buffer.alloc(0));
218
98
  }
219
99
  static makeFakeHonk() {
220
- return new VerificationKeyData(VerificationKeyAsFields.makeFakeHonk(), VerificationKey.makeFake().toBuffer());
100
+ const keyAsFields = VerificationKeyAsFields.makeFakeHonk();
101
+ return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
221
102
  }
222
103
  static makeFakeRollupHonk() {
223
- return new VerificationKeyData(VerificationKeyAsFields.makeFakeRollupHonk(), VerificationKey.makeRollupFake().toBuffer());
224
- }
225
- static makeFake(len = ULTRA_VK_LENGTH_IN_FIELDS) {
226
- return new VerificationKeyData(VerificationKeyAsFields.makeFake(len), VerificationKey.makeFake().toBuffer());
104
+ const keyAsFields = VerificationKeyAsFields.makeFakeRollupHonk();
105
+ return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
227
106
  }
228
107
  /**
229
108
  * Serialize as a buffer.
@@ -0,0 +1,11 @@
1
+ import type { PublicDataTreeLeaf } from '../trees/index.js';
2
+ /** Data used to initialize the genesis block, including prefilled public state and an optional timestamp. */
3
+ export type GenesisData = {
4
+ /** Public data tree leaves to pre-populate in the genesis state (e.g. fee juice balances). */
5
+ prefilledPublicData: PublicDataTreeLeaf[];
6
+ /** Timestamp for the genesis block header. Defaults to 0 (canonical empty genesis) in production. */
7
+ genesisTimestamp: bigint;
8
+ };
9
+ /** An empty genesis data with no prefilled state and a zero timestamp. */
10
+ export declare const EMPTY_GENESIS_DATA: GenesisData;
11
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUMscUdBQXFHO0lBQ3JHLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztDQUMxQixDQUFDO0FBRUYsMEVBQTBFO0FBQzFFLGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUdoQyxDQUFDIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAGhC,CAAC"}
@@ -0,0 +1,4 @@
1
+ /** An empty genesis data with no prefilled state and a zero timestamp. */ export const EMPTY_GENESIS_DATA = {
2
+ prefilledPublicData: [],
3
+ genesisTimestamp: 0n
4
+ };
@@ -1,2 +1,3 @@
1
+ export * from './genesis_data.js';
1
2
  export * from './world_state_revision.js';
2
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLDJCQUEyQixDQUFDIn0=
3
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsMkJBQTJCLENBQUMifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC"}
@@ -1 +1,2 @@
1
+ export * from './genesis_data.js';
1
2
  export * from './world_state_revision.js';
@@ -3,6 +3,13 @@ export declare class WorldStateRevision {
3
3
  readonly forkId: number;
4
4
  readonly blockNumber: number;
5
5
  readonly includeUncommitted: boolean;
6
+ /**
7
+ * Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
8
+ * state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
9
+ * side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
10
+ * which pins to the initial / genesis state.
11
+ */
12
+ static readonly LATEST = 4294967295;
6
13
  constructor(forkId: number, blockNumber: number, includeUncommitted: boolean);
7
14
  toString(): string;
8
15
  static empty(): WorldStateRevision;
@@ -51,4 +58,4 @@ export declare class WorldStateRevisionWithHandle extends WorldStateRevision {
51
58
  handle?: any;
52
59
  }>;
53
60
  }
54
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGVfcmV2aXNpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS93b3JsZF9zdGF0ZV9yZXZpc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLHFCQUFhLGtCQUFrQjthQUVYLE1BQU0sRUFBRSxNQUFNO2FBQ2QsV0FBVyxFQUFFLE1BQU07YUFDbkIsa0JBQWtCLEVBQUUsT0FBTztJQUg3QyxZQUNrQixNQUFNLEVBQUUsTUFBTSxFQUNkLFdBQVcsRUFBRSxNQUFNLEVBQ25CLGtCQUFrQixFQUFFLE9BQU8sRUFDekM7SUFFRyxRQUFRLFdBRWQ7SUFFRCxNQUFNLENBQUMsS0FBSyx1QkFFWDtJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7O09BV2hCO0NBQ0Y7QUFFRCxxQkFBYSw0QkFBNkIsU0FBUSxrQkFBa0I7YUFLaEQsTUFBTSxFQUFFLEdBQUc7SUFKN0IsWUFDRSxNQUFNLEVBQUUsTUFBTSxFQUNkLFdBQVcsRUFBRSxNQUFNLEVBQ25CLGtCQUFrQixFQUFFLE9BQU8sRUFDWCxNQUFNLEVBQUUsR0FBRyxFQUc1QjtJQUVNLG9CQUFvQix1QkFFMUI7SUFFRCxNQUFNLENBQUMsc0JBQXNCLENBQUMsUUFBUSxFQUFFLGtCQUFrQixFQUFFLE1BQU0sRUFBRSxHQUFHLGdDQUV0RTtJQUVELFdBQW9CLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O09BWXpCO0NBQ0YifQ==
61
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGVfcmV2aXNpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS93b3JsZF9zdGF0ZV9yZXZpc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLHFCQUFhLGtCQUFrQjthQVVYLE1BQU0sRUFBRSxNQUFNO2FBQ2QsV0FBVyxFQUFFLE1BQU07YUFDbkIsa0JBQWtCLEVBQUUsT0FBTztJQVg3Qzs7Ozs7T0FLRztJQUNILGdCQUF1QixNQUFNLGNBQWM7SUFFM0MsWUFDa0IsTUFBTSxFQUFFLE1BQU0sRUFDZCxXQUFXLEVBQUUsTUFBTSxFQUNuQixrQkFBa0IsRUFBRSxPQUFPLEVBQ3pDO0lBRUcsUUFBUSxXQUVkO0lBRUQsTUFBTSxDQUFDLEtBQUssdUJBRVg7SUFFRCxNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7OztPQVdoQjtDQUNGO0FBRUQscUJBQWEsNEJBQTZCLFNBQVEsa0JBQWtCO2FBS2hELE1BQU0sRUFBRSxHQUFHO0lBSjdCLFlBQ0UsTUFBTSxFQUFFLE1BQU0sRUFDZCxXQUFXLEVBQUUsTUFBTSxFQUNuQixrQkFBa0IsRUFBRSxPQUFPLEVBQ1gsTUFBTSxFQUFFLEdBQUcsRUFHNUI7SUFFTSxvQkFBb0IsdUJBRTFCO0lBRUQsTUFBTSxDQUFDLHNCQUFzQixDQUFDLFFBQVEsRUFBRSxrQkFBa0IsRUFBRSxNQUFNLEVBQUUsR0FBRyxnQ0FFdEU7SUFFRCxXQUFvQixNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztPQVl6QjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"world_state_revision.d.ts","sourceRoot":"","sources":["../../src/world-state/world_state_revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,kBAAkB;aAEX,MAAM,EAAE,MAAM;aACd,WAAW,EAAE,MAAM;aACnB,kBAAkB,EAAE,OAAO;IAH7C,YACkB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACzC;IAEG,QAAQ,WAEd;IAED,MAAM,CAAC,KAAK,uBAEX;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,4BAA6B,SAAQ,kBAAkB;aAKhD,MAAM,EAAE,GAAG;IAJ7B,YACE,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACX,MAAM,EAAE,GAAG,EAG5B;IAEM,oBAAoB,uBAE1B;IAED,MAAM,CAAC,sBAAsB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,gCAEtE;IAED,WAAoB,MAAM;;;;;;;;;;;;;;;;;;;;OAYzB;CACF"}
1
+ {"version":3,"file":"world_state_revision.d.ts","sourceRoot":"","sources":["../../src/world-state/world_state_revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,kBAAkB;aAUX,MAAM,EAAE,MAAM;aACd,WAAW,EAAE,MAAM;aACnB,kBAAkB,EAAE,OAAO;IAX7C;;;;;OAKG;IACH,gBAAuB,MAAM,cAAc;IAE3C,YACkB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACzC;IAEG,QAAQ,WAEd;IAED,MAAM,CAAC,KAAK,uBAEX;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,4BAA6B,SAAQ,kBAAkB;aAKhD,MAAM,EAAE,GAAG;IAJ7B,YACE,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACX,MAAM,EAAE,GAAG,EAG5B;IAEM,oBAAoB,uBAE1B;IAED,MAAM,CAAC,sBAAsB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,GAAG,gCAEtE;IAED,WAAoB,MAAM;;;;;;;;;;;;;;;;;;;;OAYzB;CACF"}
@@ -3,6 +3,12 @@ export class WorldStateRevision {
3
3
  forkId;
4
4
  blockNumber;
5
5
  includeUncommitted;
6
+ /**
7
+ * Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
8
+ * state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
9
+ * side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
10
+ * which pins to the initial / genesis state.
11
+ */ static LATEST = 0xffffffff;
6
12
  constructor(forkId, blockNumber, includeUncommitted){
7
13
  this.forkId = forkId;
8
14
  this.blockNumber = blockNumber;
@@ -12,7 +18,7 @@ export class WorldStateRevision {
12
18
  return `WorldStateRevision(forkId: ${this.forkId}, blockNumber: ${this.blockNumber}, includeUncommitted: ${this.includeUncommitted})`;
13
19
  }
14
20
  static empty() {
15
- return new WorldStateRevision(0, 0, false);
21
+ return new WorldStateRevision(0, WorldStateRevision.LATEST, false);
16
22
  }
17
23
  static get schema() {
18
24
  return z.object({
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/stdlib",
3
- "version": "0.0.1-commit.f5d02921e",
3
+ "version": "0.0.1-commit.f7ea82942",
4
4
  "type": "module",
5
5
  "inherits": [
6
6
  "../package.common.json",
@@ -92,13 +92,13 @@
92
92
  },
93
93
  "dependencies": {
94
94
  "@aws-sdk/client-s3": "^3.892.0",
95
- "@aztec/bb.js": "0.0.1-commit.f5d02921e",
96
- "@aztec/blob-lib": "0.0.1-commit.f5d02921e",
97
- "@aztec/constants": "0.0.1-commit.f5d02921e",
98
- "@aztec/ethereum": "0.0.1-commit.f5d02921e",
99
- "@aztec/foundation": "0.0.1-commit.f5d02921e",
100
- "@aztec/l1-artifacts": "0.0.1-commit.f5d02921e",
101
- "@aztec/noir-noirc_abi": "0.0.1-commit.f5d02921e",
95
+ "@aztec/bb.js": "0.0.1-commit.f7ea82942",
96
+ "@aztec/blob-lib": "0.0.1-commit.f7ea82942",
97
+ "@aztec/constants": "0.0.1-commit.f7ea82942",
98
+ "@aztec/ethereum": "0.0.1-commit.f7ea82942",
99
+ "@aztec/foundation": "0.0.1-commit.f7ea82942",
100
+ "@aztec/l1-artifacts": "0.0.1-commit.f7ea82942",
101
+ "@aztec/noir-noirc_abi": "0.0.1-commit.f7ea82942",
102
102
  "@google-cloud/storage": "^7.15.0",
103
103
  "axios": "^1.13.5",
104
104
  "json-stringify-deterministic": "1.0.12",
@@ -7,18 +7,12 @@ import { BufferReader } from '@aztec/foundation/serialize';
7
7
 
8
8
  import { Selector } from './selector.js';
9
9
 
10
- /* eslint-disable @typescript-eslint/no-unsafe-declaration-merging */
11
-
12
- /** Authorization selector branding */
13
- export interface AuthorizationSelector {
14
- /** Brand. */
15
- _branding: 'AuthorizationSelector';
16
- }
17
-
18
10
  /**
19
11
  * An authorization selector is the first 4 bytes of the hash of an authorization struct signature.
20
12
  */
21
13
  export class AuthorizationSelector extends Selector {
14
+ /** Branding for nominal typing. */
15
+ declare private readonly _branding: 'AuthorizationSelector';
22
16
  /**
23
17
  * Deserializes from a buffer or reader, corresponding to a write in cpp.
24
18
  * @param buffer - Buffer or BufferReader to read from.