@aztec/stdlib 0.0.1-commit.8f9871590 → 0.0.1-commit.9117c5f5a

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 (235) hide show
  1. package/dest/abi/decoder.d.ts +1 -1
  2. package/dest/abi/decoder.d.ts.map +1 -1
  3. package/dest/abi/decoder.js +1 -4
  4. package/dest/abi/encoder.d.ts +1 -1
  5. package/dest/abi/encoder.d.ts.map +1 -1
  6. package/dest/abi/encoder.js +9 -5
  7. package/dest/auth_witness/auth_witness.js +3 -3
  8. package/dest/avm/avm.d.ts +300 -300
  9. package/dest/avm/avm_proving_request.d.ts +166 -166
  10. package/dest/avm/revert_code.d.ts +16 -1
  11. package/dest/avm/revert_code.d.ts.map +1 -1
  12. package/dest/avm/revert_code.js +15 -5
  13. package/dest/block/block_data.d.ts +52 -0
  14. package/dest/block/block_data.d.ts.map +1 -0
  15. package/dest/block/block_data.js +12 -0
  16. package/dest/block/index.d.ts +2 -1
  17. package/dest/block/index.d.ts.map +1 -1
  18. package/dest/block/index.js +1 -0
  19. package/dest/block/l2_block_source.d.ts +20 -1
  20. package/dest/block/l2_block_source.d.ts.map +1 -1
  21. package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
  22. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
  23. package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
  24. package/dest/checkpoint/checkpoint.d.ts +6 -1
  25. package/dest/checkpoint/checkpoint.d.ts.map +1 -1
  26. package/dest/checkpoint/checkpoint.js +5 -4
  27. package/dest/checkpoint/checkpoint_data.d.ts +120 -0
  28. package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
  29. package/dest/checkpoint/checkpoint_data.js +26 -0
  30. package/dest/checkpoint/index.d.ts +2 -1
  31. package/dest/checkpoint/index.d.ts.map +1 -1
  32. package/dest/checkpoint/index.js +1 -0
  33. package/dest/checkpoint/published_checkpoint.d.ts +11 -2
  34. package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
  35. package/dest/checkpoint/published_checkpoint.js +1 -2
  36. package/dest/config/sequencer-config.d.ts +2 -2
  37. package/dest/config/sequencer-config.d.ts.map +1 -1
  38. package/dest/config/sequencer-config.js +6 -0
  39. package/dest/contract/contract_address.js +4 -4
  40. package/dest/contract/contract_class.d.ts +2 -3
  41. package/dest/contract/contract_class.d.ts.map +1 -1
  42. package/dest/contract/contract_class_id.js +3 -3
  43. package/dest/contract/private_function.js +2 -2
  44. package/dest/file-store/local.d.ts +3 -3
  45. package/dest/file-store/local.d.ts.map +1 -1
  46. package/dest/file-store/local.js +13 -4
  47. package/dest/file-store/s3.d.ts +1 -1
  48. package/dest/file-store/s3.d.ts.map +1 -1
  49. package/dest/file-store/s3.js +11 -3
  50. package/dest/ha-signing/config.d.ts +101 -0
  51. package/dest/ha-signing/config.d.ts.map +1 -0
  52. package/dest/ha-signing/config.js +92 -0
  53. package/dest/ha-signing/index.d.ts +3 -0
  54. package/dest/ha-signing/index.d.ts.map +1 -0
  55. package/dest/ha-signing/index.js +2 -0
  56. package/dest/ha-signing/types.d.ts +85 -0
  57. package/dest/ha-signing/types.d.ts.map +1 -0
  58. package/dest/ha-signing/types.js +32 -0
  59. package/dest/hash/hash.js +11 -11
  60. package/dest/hash/map_slot.js +2 -2
  61. package/dest/interfaces/archiver.d.ts +1 -1
  62. package/dest/interfaces/archiver.d.ts.map +1 -1
  63. package/dest/interfaces/archiver.js +5 -0
  64. package/dest/interfaces/aztec-node-admin.d.ts +30 -2
  65. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  66. package/dest/interfaces/aztec-node-admin.js +9 -3
  67. package/dest/interfaces/configs.d.ts +17 -2
  68. package/dest/interfaces/configs.d.ts.map +1 -1
  69. package/dest/interfaces/configs.js +4 -1
  70. package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
  71. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  72. package/dest/interfaces/p2p.d.ts +3 -8
  73. package/dest/interfaces/p2p.d.ts.map +1 -1
  74. package/dest/interfaces/validator.d.ts +2 -2
  75. package/dest/interfaces/validator.d.ts.map +1 -1
  76. package/dest/interfaces/validator.js +1 -1
  77. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
  78. package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
  79. package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
  80. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
  81. package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
  82. package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
  83. package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
  84. package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
  85. package/dest/kernel/hints/build_transient_data_hints.js +9 -3
  86. package/dest/kernel/hints/index.d.ts +2 -2
  87. package/dest/kernel/hints/index.js +2 -2
  88. package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
  89. package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
  90. package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
  91. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
  92. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
  93. package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
  94. package/dest/kernel/private_circuit_public_inputs.d.ts +6 -6
  95. package/dest/kernel/private_circuit_public_inputs.js +11 -11
  96. package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +2 -2
  97. package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +2 -2
  98. package/dest/kernel/private_validation_requests.d.ts +3 -3
  99. package/dest/kernel/private_validation_requests.js +9 -9
  100. package/dest/keys/derivation.js +8 -8
  101. package/dest/keys/key_types.d.ts +3 -3
  102. package/dest/keys/key_types.d.ts.map +1 -1
  103. package/dest/keys/public_keys.js +2 -2
  104. package/dest/keys/utils.js +5 -5
  105. package/dest/logs/debug_log_store.d.ts +30 -0
  106. package/dest/logs/debug_log_store.d.ts.map +1 -0
  107. package/dest/logs/debug_log_store.js +30 -0
  108. package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
  109. package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
  110. package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +23 -15
  111. package/dest/logs/index.d.ts +3 -2
  112. package/dest/logs/index.d.ts.map +1 -1
  113. package/dest/logs/index.js +2 -1
  114. package/dest/logs/pre_tag.d.ts +16 -11
  115. package/dest/logs/pre_tag.d.ts.map +1 -1
  116. package/dest/logs/pre_tag.js +2 -2
  117. package/dest/logs/private_log.d.ts +2 -2
  118. package/dest/logs/private_log.d.ts.map +1 -1
  119. package/dest/logs/siloed_tag.d.ts +5 -3
  120. package/dest/logs/siloed_tag.d.ts.map +1 -1
  121. package/dest/logs/siloed_tag.js +6 -1
  122. package/dest/logs/tag.js +1 -1
  123. package/dest/p2p/attestation_utils.d.ts +11 -1
  124. package/dest/p2p/attestation_utils.d.ts.map +1 -1
  125. package/dest/p2p/attestation_utils.js +45 -0
  126. package/dest/p2p/block_proposal.d.ts +2 -2
  127. package/dest/p2p/block_proposal.d.ts.map +1 -1
  128. package/dest/p2p/block_proposal.js +2 -4
  129. package/dest/p2p/checkpoint_proposal.d.ts +2 -2
  130. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  131. package/dest/p2p/checkpoint_proposal.js +1 -1
  132. package/dest/p2p/client_type.d.ts +2 -5
  133. package/dest/p2p/client_type.d.ts.map +1 -1
  134. package/dest/p2p/client_type.js +0 -7
  135. package/dest/p2p/index.d.ts +1 -2
  136. package/dest/p2p/index.d.ts.map +1 -1
  137. package/dest/p2p/index.js +0 -1
  138. package/dest/p2p/topic_type.d.ts +3 -4
  139. package/dest/p2p/topic_type.d.ts.map +1 -1
  140. package/dest/p2p/topic_type.js +7 -24
  141. package/dest/rollup/checkpoint_header.d.ts +2 -2
  142. package/dest/rollup/checkpoint_header.js +2 -2
  143. package/dest/tests/factories.d.ts +3 -1
  144. package/dest/tests/factories.d.ts.map +1 -1
  145. package/dest/tests/factories.js +18 -10
  146. package/dest/tests/mocks.d.ts +2 -2
  147. package/dest/tests/mocks.d.ts.map +1 -1
  148. package/dest/tests/mocks.js +5 -5
  149. package/dest/tx/block_header.js +2 -2
  150. package/dest/tx/global_variables.d.ts +4 -4
  151. package/dest/tx/global_variables.d.ts.map +1 -1
  152. package/dest/tx/profiling.d.ts +4 -4
  153. package/dest/tx/profiling.d.ts.map +1 -1
  154. package/dest/tx/profiling.js +3 -3
  155. package/dest/tx/protocol_contracts.d.ts +1 -1
  156. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  157. package/dest/tx/protocol_contracts.js +2 -2
  158. package/dest/tx/public_simulation_output.d.ts +4 -2
  159. package/dest/tx/public_simulation_output.d.ts.map +1 -1
  160. package/dest/tx/public_simulation_output.js +7 -3
  161. package/dest/tx/tx_receipt.d.ts +16 -2
  162. package/dest/tx/tx_receipt.d.ts.map +1 -1
  163. package/dest/tx/tx_receipt.js +11 -3
  164. package/dest/tx/tx_request.js +2 -2
  165. package/package.json +10 -10
  166. package/src/abi/decoder.ts +1 -4
  167. package/src/abi/encoder.ts +8 -5
  168. package/src/auth_witness/auth_witness.ts +3 -3
  169. package/src/avm/revert_code.ts +15 -0
  170. package/src/block/block_data.ts +26 -0
  171. package/src/block/index.ts +1 -0
  172. package/src/block/l2_block_source.ts +22 -0
  173. package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
  174. package/src/checkpoint/checkpoint.ts +5 -3
  175. package/src/checkpoint/checkpoint_data.ts +51 -0
  176. package/src/checkpoint/index.ts +1 -0
  177. package/src/checkpoint/published_checkpoint.ts +3 -1
  178. package/src/config/sequencer-config.ts +11 -1
  179. package/src/contract/contract_address.ts +4 -4
  180. package/src/contract/contract_class.ts +3 -3
  181. package/src/contract/contract_class_id.ts +3 -3
  182. package/src/contract/private_function.ts +2 -2
  183. package/src/file-store/local.ts +15 -5
  184. package/src/file-store/s3.ts +12 -3
  185. package/src/ha-signing/config.ts +149 -0
  186. package/src/ha-signing/index.ts +18 -0
  187. package/src/ha-signing/types.ts +112 -0
  188. package/src/hash/hash.ts +11 -11
  189. package/src/hash/map_slot.ts +2 -2
  190. package/src/interfaces/archiver.ts +5 -0
  191. package/src/interfaces/aztec-node-admin.ts +23 -0
  192. package/src/interfaces/configs.ts +12 -1
  193. package/src/interfaces/merkle_tree_operations.ts +1 -1
  194. package/src/interfaces/p2p.ts +2 -13
  195. package/src/interfaces/validator.ts +1 -1
  196. package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
  197. package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
  198. package/src/kernel/hints/build_transient_data_hints.ts +17 -2
  199. package/src/kernel/hints/index.ts +2 -2
  200. package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
  201. package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
  202. package/src/kernel/private_circuit_public_inputs.ts +10 -10
  203. package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +2 -2
  204. package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +2 -2
  205. package/src/kernel/private_validation_requests.ts +8 -8
  206. package/src/keys/derivation.ts +8 -8
  207. package/src/keys/key_types.ts +6 -2
  208. package/src/keys/public_keys.ts +2 -2
  209. package/src/keys/utils.ts +5 -5
  210. package/src/logs/debug_log_store.ts +54 -0
  211. package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +24 -16
  212. package/src/logs/index.ts +2 -1
  213. package/src/logs/pre_tag.ts +5 -5
  214. package/src/logs/siloed_tag.ts +8 -2
  215. package/src/logs/tag.ts +1 -1
  216. package/src/p2p/attestation_utils.ts +56 -0
  217. package/src/p2p/block_proposal.ts +1 -3
  218. package/src/p2p/checkpoint_proposal.ts +1 -1
  219. package/src/p2p/client_type.ts +0 -6
  220. package/src/p2p/index.ts +0 -1
  221. package/src/p2p/topic_type.ts +8 -15
  222. package/src/rollup/checkpoint_header.ts +2 -2
  223. package/src/tests/factories.ts +20 -11
  224. package/src/tests/mocks.ts +7 -3
  225. package/src/tx/block_header.ts +2 -2
  226. package/src/tx/global_variables.ts +3 -3
  227. package/src/tx/profiling.ts +5 -5
  228. package/src/tx/protocol_contracts.ts +2 -2
  229. package/src/tx/public_simulation_output.ts +4 -0
  230. package/src/tx/tx_receipt.ts +10 -0
  231. package/src/tx/tx_request.ts +2 -2
  232. package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -30
  233. package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
  234. package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
  235. package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
@@ -9,7 +9,7 @@ import {
9
9
  AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED,
10
10
  CHONK_PROOF_LENGTH,
11
11
  CONTRACT_CLASS_LOG_SIZE_IN_FIELDS,
12
- GeneratorIndex,
12
+ DomainSeparator,
13
13
  L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
14
14
  MAX_CHECKPOINTS_PER_EPOCH,
15
15
  MAX_CONTRACT_CLASS_LOGS_PER_TX,
@@ -102,7 +102,7 @@ import {
102
102
  import { Gas, GasFees, GasSettings } from '../gas/index.js';
103
103
  import { computeCalldataHash } from '../hash/hash.js';
104
104
  import { KeyValidationRequest } from '../kernel/hints/key_validation_request.js';
105
- import { KeyValidationRequestAndGenerator } from '../kernel/hints/key_validation_request_and_generator.js';
105
+ import { KeyValidationRequestAndSeparator } from '../kernel/hints/key_validation_request_and_separator.js';
106
106
  import { ReadRequest, ScopedReadRequest } from '../kernel/hints/read_request.js';
107
107
  import {
108
108
  ClaimedLengthArray,
@@ -128,6 +128,7 @@ import {
128
128
  PublicCallRequestArrayLengths,
129
129
  } from '../kernel/public_call_request.js';
130
130
  import { PublicKeys, computeAddress } from '../keys/index.js';
131
+ import { ExtendedDirectionalAppTaggingSecret } from '../logs/extended_directional_app_tagging_secret.js';
131
132
  import { ContractClassLog, ContractClassLogFields } from '../logs/index.js';
132
133
  import { PrivateLog } from '../logs/private_log.js';
133
134
  import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
@@ -259,12 +260,12 @@ function makeKeyValidationRequests(seed: number): KeyValidationRequest {
259
260
  }
260
261
 
261
262
  /**
262
- * Creates arbitrary KeyValidationRequestAndGenerator from the given seed.
263
- * @param seed - The seed to use for generating the KeyValidationRequestAndGenerator.
264
- * @returns A KeyValidationRequestAndGenerator.
263
+ * Creates arbitrary KeyValidationRequestAndSeparator from the given seed.
264
+ * @param seed - The seed to use for generating the KeyValidationRequestAndSeparator.
265
+ * @returns A KeyValidationRequestAndSeparator.
265
266
  */
266
- function makeKeyValidationRequestAndGenerators(seed: number): KeyValidationRequestAndGenerator {
267
- return new KeyValidationRequestAndGenerator(makeKeyValidationRequests(seed), fr(seed + 4));
267
+ function makeKeyValidationRequestAndSeparators(seed: number): KeyValidationRequestAndSeparator {
268
+ return new KeyValidationRequestAndSeparator(makeKeyValidationRequests(seed), fr(seed + 4));
268
269
  }
269
270
 
270
271
  export function makePublicDataWrite(seed = 1) {
@@ -671,9 +672,9 @@ export function makePrivateCircuitPublicInputs(seed = 0): PrivateCircuitPublicIn
671
672
  makeScopedReadRequest,
672
673
  seed + 0x310,
673
674
  ),
674
- keyValidationRequestsAndGenerators: makeClaimedLengthArray(
675
+ keyValidationRequestsAndSeparators: makeClaimedLengthArray(
675
676
  MAX_KEY_VALIDATION_REQUESTS_PER_CALL,
676
- makeKeyValidationRequestAndGenerators,
677
+ makeKeyValidationRequestAndSeparators,
677
678
  seed + 0x320,
678
679
  ),
679
680
  noteHashes: makeClaimedLengthArray(MAX_NOTE_HASHES_PER_CALL, makeNoteHash, seed + 0x400),
@@ -1287,11 +1288,11 @@ export async function makeContractInstanceFromClassId(
1287
1288
 
1288
1289
  const saltedInitializationHash = await poseidon2HashWithSeparator(
1289
1290
  [salt, initializationHash, deployer],
1290
- GeneratorIndex.PARTIAL_ADDRESS,
1291
+ DomainSeparator.PARTIAL_ADDRESS,
1291
1292
  );
1292
1293
  const partialAddress = await poseidon2HashWithSeparator(
1293
1294
  [classId, saltedInitializationHash],
1294
- GeneratorIndex.PARTIAL_ADDRESS,
1295
+ DomainSeparator.PARTIAL_ADDRESS,
1295
1296
  );
1296
1297
  const address = await computeAddress(publicKeys, partialAddress);
1297
1298
  return new SerializableContractInstance({
@@ -1757,3 +1758,11 @@ export function makeL2Tips(
1757
1758
  },
1758
1759
  };
1759
1760
  }
1761
+
1762
+ export async function randomExtendedDirectionalAppTaggingSecret(): Promise<ExtendedDirectionalAppTaggingSecret> {
1763
+ const resolvedApp = await AztecAddress.random();
1764
+ // Using the fromString method like this is messy as it leaks the underlying serialization format but I don't want to
1765
+ // expose the type's constructor just for tests since in prod the secret is always constructed via compute. Also this
1766
+ // method is tested in extended_directional_app_tagging_secret.test.ts hence all should be fine.
1767
+ return ExtendedDirectionalAppTaggingSecret.fromString(`${Fr.random().toString()}:${resolvedApp.toString()}`);
1768
+ }
@@ -1,10 +1,11 @@
1
1
  import {
2
- FIXED_DA_GAS,
3
- FIXED_L2_GAS,
4
2
  MAX_ENQUEUED_CALLS_PER_TX,
5
3
  MAX_NULLIFIERS_PER_TX,
6
4
  MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
7
5
  MAX_TX_LIFETIME,
6
+ PRIVATE_TX_L2_GAS_OVERHEAD,
7
+ PUBLIC_TX_L2_GAS_OVERHEAD,
8
+ TX_DA_GAS_OVERHEAD,
8
9
  } from '@aztec/constants';
9
10
  import { type FieldsOf, makeTuple } from '@aztec/foundation/array';
10
11
  import { BlockNumber, CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
@@ -205,8 +206,11 @@ export async function mockProcessedTx({
205
206
  feePayer,
206
207
  feePaymentPublicDataWrite,
207
208
  // The default gasUsed is the tx overhead.
208
- gasUsed = Gas.from({ daGas: FIXED_DA_GAS, l2Gas: FIXED_L2_GAS }),
209
209
  privateOnly = false,
210
+ gasUsed = Gas.from({
211
+ daGas: TX_DA_GAS_OVERHEAD,
212
+ l2Gas: privateOnly ? PRIVATE_TX_L2_GAS_OVERHEAD : PUBLIC_TX_L2_GAS_OVERHEAD,
213
+ }),
210
214
  avmAccumulatedData,
211
215
  ...mockTxOpts
212
216
  }: {
@@ -1,4 +1,4 @@
1
- import { BLOCK_HEADER_LENGTH, GeneratorIndex } from '@aztec/constants';
1
+ import { BLOCK_HEADER_LENGTH, DomainSeparator } from '@aztec/constants';
2
2
  import { BlockNumber, SlotNumber } from '@aztec/foundation/branded-types';
3
3
  import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
4
4
  import { randomInt } from '@aztec/foundation/crypto/random';
@@ -164,7 +164,7 @@ export class BlockHeader {
164
164
 
165
165
  hash(): Promise<BlockHash> {
166
166
  if (!this._cachedHash) {
167
- this._cachedHash = poseidon2HashWithSeparator(this.toFields(), GeneratorIndex.BLOCK_HEADER_HASH).then(
167
+ this._cachedHash = poseidon2HashWithSeparator(this.toFields(), DomainSeparator.BLOCK_HEADER_HASH).then(
168
168
  fr => new BlockHash(fr),
169
169
  );
170
170
  }
@@ -22,10 +22,10 @@ import { schemas } from '../schemas/index.js';
22
22
  import type { UInt64 } from '../types/index.js';
23
23
 
24
24
  /**
25
- * Global variables that are constant across the entire slot.
26
- * TODO(palla/mbps): Should timestamp be included here as well?
25
+ * Global variables that are constant across the entire checkpoint (slot).
26
+ * Excludes blockNumber since that varies per block within a checkpoint.
27
27
  */
28
- export type CheckpointGlobalVariables = Omit<FieldsOf<GlobalVariables>, 'blockNumber' | 'timestamp'>;
28
+ export type CheckpointGlobalVariables = Omit<FieldsOf<GlobalVariables>, 'blockNumber'>;
29
29
 
30
30
  /**
31
31
  * Global variables of the L2 block.
@@ -157,23 +157,23 @@ export class TxProfileResult {
157
157
  }
158
158
  }
159
159
 
160
- export class UtilitySimulationResult {
160
+ export class UtilityExecutionResult {
161
161
  constructor(
162
162
  public result: Fr[],
163
163
  public stats?: SimulationStats,
164
164
  ) {}
165
165
 
166
- static get schema(): ZodFor<UtilitySimulationResult> {
166
+ static get schema(): ZodFor<UtilityExecutionResult> {
167
167
  return z
168
168
  .object({
169
169
  result: z.array(schemas.Fr),
170
170
  stats: optional(SimulationStatsSchema),
171
171
  })
172
- .transform(({ result, stats }) => new UtilitySimulationResult(result, stats));
172
+ .transform(({ result, stats }) => new UtilityExecutionResult(result, stats));
173
173
  }
174
174
 
175
- static random(): UtilitySimulationResult {
176
- return new UtilitySimulationResult([Fr.random()], {
175
+ static random(): UtilityExecutionResult {
176
+ return new UtilityExecutionResult([Fr.random()], {
177
177
  nodeRPCCalls: {
178
178
  perMethod: { getBlockHeader: { times: [1] } },
179
179
  roundTrips: {
@@ -1,4 +1,4 @@
1
- import { GeneratorIndex, MAX_PROTOCOL_CONTRACTS } from '@aztec/constants';
1
+ import { DomainSeparator, MAX_PROTOCOL_CONTRACTS } from '@aztec/constants';
2
2
  import { makeTuple } from '@aztec/foundation/array';
3
3
  import { arraySerializedSizeOfNonEmpty } from '@aztec/foundation/collection';
4
4
  import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
@@ -71,7 +71,7 @@ export class ProtocolContracts {
71
71
  }
72
72
 
73
73
  hash() {
74
- return poseidon2HashWithSeparator(this.derivedAddresses, GeneratorIndex.PROTOCOL_CONTRACTS);
74
+ return poseidon2HashWithSeparator(this.derivedAddresses, DomainSeparator.PROTOCOL_CONTRACTS);
75
75
  }
76
76
 
77
77
  static get schema() {
@@ -7,6 +7,7 @@ import { z } from 'zod';
7
7
  import { SimulationError } from '../errors/simulation_error.js';
8
8
  import { Gas } from '../gas/gas.js';
9
9
  import type { GasUsed } from '../gas/gas_used.js';
10
+ import { DebugLog } from '../logs/debug_log.js';
10
11
  import { NullishToUndefined } from '../schemas/schemas.js';
11
12
  import { TxEffect } from '../tx/tx_effect.js';
12
13
  import { GlobalVariables } from './global_variables.js';
@@ -71,6 +72,7 @@ export class PublicSimulationOutput {
71
72
  public txEffect: TxEffect,
72
73
  public publicReturnValues: NestedProcessReturnValues[],
73
74
  public gasUsed: GasUsed,
75
+ public debugLogs: DebugLog[] = [],
74
76
  ) {}
75
77
 
76
78
  static get schema(): ZodFor<PublicSimulationOutput> {
@@ -86,6 +88,7 @@ export class PublicSimulationOutput {
86
88
  publicGas: Gas.schema,
87
89
  billedGas: Gas.schema,
88
90
  }),
91
+ debugLogs: z.array(DebugLog.schema).default([]),
89
92
  })
90
93
  .transform(
91
94
  fields =>
@@ -95,6 +98,7 @@ export class PublicSimulationOutput {
95
98
  fields.txEffect,
96
99
  fields.publicReturnValues,
97
100
  fields.gasUsed,
101
+ fields.debugLogs,
98
102
  ),
99
103
  );
100
104
  }
@@ -4,6 +4,7 @@ import { z } from 'zod';
4
4
 
5
5
  import { RevertCode } from '../avm/revert_code.js';
6
6
  import { BlockHash } from '../block/block_hash.js';
7
+ import { DebugLog } from '../logs/debug_log.js';
7
8
  import { type ZodFor, schemas } from '../schemas/schemas.js';
8
9
  import { TxHash } from './tx_hash.js';
9
10
 
@@ -57,6 +58,12 @@ export class TxReceipt {
57
58
  public blockHash?: BlockHash,
58
59
  /** The block number in which the transaction was included. */
59
60
  public blockNumber?: BlockNumber,
61
+ /**
62
+ * Debug logs collected during public function execution. Served only when the node is in test mode and placed on
63
+ * the receipt only because it's a convenient place for it (the logs are printed out by the wallet when a mined
64
+ * tx receipt is obtained).
65
+ */
66
+ public debugLogs?: DebugLog[],
60
67
  ) {}
61
68
 
62
69
  /** Returns true if the transaction was executed successfully. */
@@ -103,6 +110,7 @@ export class TxReceipt {
103
110
  blockHash: BlockHash.schema.optional(),
104
111
  blockNumber: BlockNumberSchema.optional(),
105
112
  transactionFee: schemas.BigInt.optional(),
113
+ debugLogs: z.array(DebugLog.schema).optional(),
106
114
  })
107
115
  .transform(fields => TxReceipt.from(fields));
108
116
  }
@@ -115,6 +123,7 @@ export class TxReceipt {
115
123
  transactionFee?: bigint;
116
124
  blockHash?: BlockHash;
117
125
  blockNumber?: BlockNumber;
126
+ debugLogs?: DebugLog[];
118
127
  }) {
119
128
  return new TxReceipt(
120
129
  fields.txHash,
@@ -124,6 +133,7 @@ export class TxReceipt {
124
133
  fields.transactionFee,
125
134
  fields.blockHash,
126
135
  fields.blockNumber,
136
+ fields.debugLogs,
127
137
  );
128
138
  }
129
139
 
@@ -1,4 +1,4 @@
1
- import { GeneratorIndex, TX_REQUEST_LENGTH } from '@aztec/constants';
1
+ import { DomainSeparator, TX_REQUEST_LENGTH } from '@aztec/constants';
2
2
  import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
@@ -68,7 +68,7 @@ export class TxRequest {
68
68
  }
69
69
 
70
70
  hash() {
71
- return poseidon2HashWithSeparator(this.toFields(), GeneratorIndex.TX_REQUEST);
71
+ return poseidon2HashWithSeparator(this.toFields(), DomainSeparator.TX_REQUEST);
72
72
  }
73
73
 
74
74
  static empty() {
@@ -1,30 +0,0 @@
1
- import { Fr } from '@aztec/foundation/curves/bn254';
2
- import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
3
- import { KeyValidationRequest } from './key_validation_request.js';
4
- /**
5
- * Request for validating keys used in the app and a generator.
6
- */
7
- export declare class KeyValidationRequestAndGenerator {
8
- /** The key validation request. */
9
- readonly request: KeyValidationRequest;
10
- /**
11
- * The generator index which can be used along with sk_m to derive the sk_app stored in the request.
12
- * Note: This generator constrains that a correct key type gets validated in the kernel.
13
- */
14
- readonly skAppGenerator: Fr;
15
- constructor(
16
- /** The key validation request. */
17
- request: KeyValidationRequest,
18
- /**
19
- * The generator index which can be used along with sk_m to derive the sk_app stored in the request.
20
- * Note: This generator constrains that a correct key type gets validated in the kernel.
21
- */
22
- skAppGenerator: Fr);
23
- toBuffer(): Buffer<ArrayBufferLike>;
24
- static fromBuffer(buffer: Buffer | BufferReader): KeyValidationRequestAndGenerator;
25
- toFields(): Fr[];
26
- static fromFields(fields: Fr[] | FieldReader): KeyValidationRequestAndGenerator;
27
- isEmpty(): boolean;
28
- static empty(): KeyValidationRequestAndGenerator;
29
- }
30
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5X3ZhbGlkYXRpb25fcmVxdWVzdF9hbmRfZ2VuZXJhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL2tleV92YWxpZGF0aW9uX3JlcXVlc3RfYW5kX2dlbmVyYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFM0YsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFbkU7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekMsa0NBQWtDO2FBQ2xCLE9BQU8sRUFBRSxvQkFBb0I7SUFDN0M7OztPQUdHO2FBQ2EsY0FBYyxFQUFFLEVBQUU7SUFQcEM7SUFDRSxrQ0FBa0M7SUFDbEIsT0FBTyxFQUFFLG9CQUFvQjtJQUM3Qzs7O09BR0c7SUFDYSxjQUFjLEVBQUUsRUFBRSxFQUNoQztJQUVKLFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxvQ0FHOUM7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsZ0NBQWdDLENBRzlFO0lBRUQsT0FBTyxZQUVOO0lBRUQsTUFBTSxDQUFDLEtBQUsscUNBRVg7Q0FDRiJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"key_validation_request_and_generator.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_request_and_generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE;;GAEG;AACH,qBAAa,gCAAgC;IAEzC,kCAAkC;aAClB,OAAO,EAAE,oBAAoB;IAC7C;;;OAGG;aACa,cAAc,EAAE,EAAE;IAPpC;IACE,kCAAkC;IAClB,OAAO,EAAE,oBAAoB;IAC7C;;;OAGG;IACa,cAAc,EAAE,EAAE,EAChC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oCAG9C;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,gCAAgC,CAG9E;IAED,OAAO,YAEN;IAED,MAAM,CAAC,KAAK,qCAEX;CACF"}
@@ -1,40 +0,0 @@
1
- import { type Fq, Fr } from '@aztec/foundation/curves/bn254';
2
- import { z } from 'zod';
3
- import type { AztecAddress } from '../aztec-address/index.js';
4
- import type { CompleteAddress } from '../contract/complete_address.js';
5
- /**
6
- * Directional application tagging secret used for log tagging.
7
- *
8
- * "Directional" because the derived secret is bound to the recipient
9
- * address: A→B differs from B→A even with the same participants and app.
10
- *
11
- * Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
12
- * in `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types
13
- * in stdlib hence there doesn't seem to be a good way around this.
14
- */
15
- export declare class DirectionalAppTaggingSecret {
16
- readonly value: Fr;
17
- private constructor();
18
- /**
19
- * Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
20
- * secret.
21
- *
22
- * @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
23
- * @param localIvsk - The incoming viewing secret key of entity A
24
- * @param externalAddress - The address of entity B in the shared tagging secret derivation scheme
25
- * @param app - Contract address to silo the secret to
26
- * @param recipient - Recipient of the log. Defines the "direction of the secret".
27
- * @returns The secret that can be used along with an index to compute a tag to be included in a log.
28
- */
29
- static compute(localAddress: CompleteAddress, localIvsk: Fq, externalAddress: AztecAddress, app: AztecAddress, recipient: AztecAddress): Promise<DirectionalAppTaggingSecret>;
30
- toString(): string;
31
- static fromString(str: string): DirectionalAppTaggingSecret;
32
- }
33
- export declare const DirectionalAppTaggingSecretSchema: z.ZodObject<{
34
- value: z.ZodType<Fr, any, string>;
35
- }, "strip", z.ZodTypeAny, {
36
- value: Fr;
37
- }, {
38
- value: string;
39
- }>;
40
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGlyZWN0aW9uYWxfYXBwX3RhZ2dpbmdfc2VjcmV0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9kaXJlY3Rpb25hbF9hcHBfdGFnZ2luZ19zZWNyZXQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRzdELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFHdkU7Ozs7Ozs7OztHQVNHO0FBQ0gscUJBQWEsMkJBQTJCO2FBQ0YsS0FBSyxFQUFFLEVBQUU7SUFBN0MsT0FBTyxlQUEwQztJQUVqRDs7Ozs7Ozs7OztPQVVHO0lBQ0gsT0FBYSxPQUFPLENBQ2xCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFNBQVMsRUFBRSxFQUFFLEVBQ2IsZUFBZSxFQUFFLFlBQVksRUFDN0IsR0FBRyxFQUFFLFlBQVksRUFDakIsU0FBUyxFQUFFLFlBQVksR0FDdEIsT0FBTyxDQUFDLDJCQUEyQixDQUFDLENBTXRDO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsMkJBQTJCLENBRTFEO0NBQ0Y7QUFvQkQsZUFBTyxNQUFNLGlDQUFpQzs7Ozs7O0VBRTVDLENBQUMifQ==
@@ -1 +0,0 @@
1
- {"version":3,"file":"directional_app_tagging_secret.d.ts","sourceRoot":"","sources":["../../src/logs/directional_app_tagging_secret.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAG7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGvE;;;;;;;;;GASG;AACH,qBAAa,2BAA2B;aACF,KAAK,EAAE,EAAE;IAA7C,OAAO,eAA0C;IAEjD;;;;;;;;;;OAUG;IACH,OAAa,OAAO,CAClB,YAAY,EAAE,eAAe,EAC7B,SAAS,EAAE,EAAE,EACb,eAAe,EAAE,YAAY,EAC7B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,2BAA2B,CAAC,CAMtC;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,2BAA2B,CAE1D;CACF;AAoBD,eAAO,MAAM,iCAAiC;;;;;;EAE5C,CAAC"}