@aztec/stdlib 0.87.6 → 1.0.0-nightly.20250604

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 (220) hide show
  1. package/dest/abi/abi.d.ts +3 -0
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +38 -0
  4. package/dest/avm/avm.d.ts +1188 -25
  5. package/dest/avm/avm.d.ts.map +1 -1
  6. package/dest/avm/avm.js +31 -14
  7. package/dest/avm/avm_accumulated_data.d.ts +77 -0
  8. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  9. package/dest/avm/avm_accumulated_data.js +67 -0
  10. package/dest/avm/avm_circuit_public_inputs.d.ts +73 -3
  11. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  12. package/dest/avm/avm_circuit_public_inputs.js +19 -9
  13. package/dest/avm/avm_proving_request.d.ts +572 -0
  14. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  15. package/dest/avm/gas.d.ts +7 -0
  16. package/dest/avm/gas.d.ts.map +1 -0
  17. package/dest/avm/gas.js +13 -0
  18. package/dest/avm/index.d.ts +1 -0
  19. package/dest/avm/index.d.ts.map +1 -1
  20. package/dest/avm/index.js +1 -0
  21. package/dest/block/body.d.ts +1 -1
  22. package/dest/block/body.d.ts.map +1 -1
  23. package/dest/block/body.js +2 -2
  24. package/dest/block/index.d.ts +1 -0
  25. package/dest/block/index.d.ts.map +1 -1
  26. package/dest/block/index.js +1 -0
  27. package/dest/block/l2_block.d.ts +3 -2
  28. package/dest/block/l2_block.d.ts.map +1 -1
  29. package/dest/block/l2_block.js +10 -5
  30. package/dest/block/l2_block_source.d.ts +9 -4
  31. package/dest/block/l2_block_source.d.ts.map +1 -1
  32. package/dest/block/l2_block_source.js +1 -0
  33. package/dest/block/proposal/committee_attestation.d.ts +34 -0
  34. package/dest/block/proposal/committee_attestation.d.ts.map +1 -0
  35. package/dest/block/proposal/committee_attestation.js +59 -0
  36. package/dest/block/proposal/index.d.ts +2 -0
  37. package/dest/block/proposal/index.d.ts.map +1 -0
  38. package/dest/block/proposal/index.js +1 -0
  39. package/dest/block/published_l2_block.d.ts +99 -69
  40. package/dest/block/published_l2_block.d.ts.map +1 -1
  41. package/dest/block/published_l2_block.js +38 -12
  42. package/dest/block/test/l2_tips_store_test_suite.js +1 -1
  43. package/dest/interfaces/archiver.js +2 -2
  44. package/dest/interfaces/aztec-node.d.ts +3 -8
  45. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  46. package/dest/interfaces/aztec-node.js +3 -6
  47. package/dest/interfaces/block-builder.d.ts +41 -2
  48. package/dest/interfaces/block-builder.d.ts.map +1 -1
  49. package/dest/interfaces/block-builder.js +1 -1
  50. package/dest/interfaces/epoch-prover.d.ts +2 -2
  51. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  52. package/dest/interfaces/merkle_tree_operations.d.ts +14 -0
  53. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  54. package/dest/interfaces/p2p.d.ts +6 -3
  55. package/dest/interfaces/p2p.d.ts.map +1 -1
  56. package/dest/interfaces/p2p.js +1 -2
  57. package/dest/interfaces/proving-job.d.ts +576 -4
  58. package/dest/interfaces/proving-job.d.ts.map +1 -1
  59. package/dest/interfaces/proving-job.js +2 -2
  60. package/dest/interfaces/server_circuit_prover.d.ts +3 -2
  61. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  62. package/dest/kernel/hints/find_private_kernel_reset_dimensions.js +1 -1
  63. package/dest/kernel/hints/key_validation_hint.d.ts +2 -6
  64. package/dest/kernel/hints/key_validation_hint.d.ts.map +1 -1
  65. package/dest/kernel/hints/key_validation_hint.js +5 -7
  66. package/dest/kernel/hints/private_kernel_reset_hints.d.ts +7 -7
  67. package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
  68. package/dest/kernel/hints/private_kernel_reset_hints.js +8 -4
  69. package/dest/kernel/hints/read_request_hints.d.ts +8 -8
  70. package/dest/kernel/hints/read_request_hints.d.ts.map +1 -1
  71. package/dest/kernel/index.d.ts +1 -0
  72. package/dest/kernel/index.d.ts.map +1 -1
  73. package/dest/kernel/index.js +1 -0
  74. package/dest/kernel/padded_side_effects.d.ts +26 -0
  75. package/dest/kernel/padded_side_effects.d.ts.map +1 -0
  76. package/dest/kernel/padded_side_effects.js +51 -0
  77. package/dest/kernel/private_kernel_data.d.ts +6 -25
  78. package/dest/kernel/private_kernel_data.d.ts.map +1 -1
  79. package/dest/kernel/private_kernel_data.js +8 -19
  80. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts +7 -4
  81. package/dest/kernel/private_kernel_reset_circuit_private_inputs.d.ts.map +1 -1
  82. package/dest/kernel/private_kernel_reset_circuit_private_inputs.js +10 -6
  83. package/dest/kernel/private_kernel_reset_dimensions.d.ts +10 -10
  84. package/dest/kernel/private_kernel_reset_dimensions.d.ts.map +1 -1
  85. package/dest/kernel/private_kernel_reset_dimensions.js +29 -29
  86. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts +10 -1
  87. package/dest/kernel/private_kernel_tail_circuit_private_inputs.d.ts.map +1 -1
  88. package/dest/kernel/private_kernel_tail_circuit_private_inputs.js +8 -3
  89. package/dest/kernel/private_to_avm_accumulated_data.d.ts +1 -0
  90. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  91. package/dest/kernel/private_to_avm_accumulated_data.js +4 -0
  92. package/dest/kernel/public_call_request.d.ts +54 -0
  93. package/dest/kernel/public_call_request.d.ts.map +1 -1
  94. package/dest/kernel/public_call_request.js +58 -0
  95. package/dest/logs/contract_class_log.d.ts +0 -4
  96. package/dest/logs/contract_class_log.d.ts.map +1 -1
  97. package/dest/logs/contract_class_log.js +0 -33
  98. package/dest/logs/log_with_tx_data.d.ts +13 -3
  99. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  100. package/dest/logs/log_with_tx_data.js +26 -14
  101. package/dest/logs/private_log.d.ts +1 -0
  102. package/dest/logs/private_log.d.ts.map +1 -1
  103. package/dest/logs/private_log.js +3 -0
  104. package/dest/logs/public_log.d.ts +1 -0
  105. package/dest/logs/public_log.d.ts.map +1 -1
  106. package/dest/logs/public_log.js +3 -0
  107. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  108. package/dest/logs/tx_scoped_l2_log.js +1 -0
  109. package/dest/messaging/index.d.ts +1 -0
  110. package/dest/messaging/index.d.ts.map +1 -1
  111. package/dest/messaging/index.js +1 -0
  112. package/dest/messaging/l2_to_l1_membership.d.ts +11 -0
  113. package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -0
  114. package/dest/messaging/l2_to_l1_membership.js +70 -0
  115. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  116. package/dest/rollup/avm_proof_data.d.ts +7 -5
  117. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  118. package/dest/rollup/avm_proof_data.js +12 -4
  119. package/dest/rollup/base_rollup_hints.d.ts +4 -4
  120. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  121. package/dest/rollup/base_rollup_hints.js +8 -8
  122. package/dest/rollup/previous_rollup_block_data.d.ts +6 -15
  123. package/dest/rollup/previous_rollup_block_data.d.ts.map +1 -1
  124. package/dest/rollup/previous_rollup_block_data.js +8 -13
  125. package/dest/rollup/previous_rollup_data.d.ts +6 -15
  126. package/dest/rollup/previous_rollup_data.d.ts.map +1 -1
  127. package/dest/rollup/previous_rollup_data.js +8 -13
  128. package/dest/rollup/private_tube_data.d.ts +3 -3
  129. package/dest/rollup/private_tube_data.d.ts.map +1 -1
  130. package/dest/rollup/private_tube_data.js +3 -3
  131. package/dest/rollup/public_tube_data.d.ts +3 -3
  132. package/dest/rollup/public_tube_data.d.ts.map +1 -1
  133. package/dest/rollup/public_tube_data.js +3 -3
  134. package/dest/rollup/root_rollup.d.ts +9 -10
  135. package/dest/rollup/root_rollup.d.ts.map +1 -1
  136. package/dest/rollup/root_rollup.js +9 -20
  137. package/dest/tests/factories.d.ts +2 -1
  138. package/dest/tests/factories.d.ts.map +1 -1
  139. package/dest/tests/factories.js +53 -28
  140. package/dest/tests/mocks.d.ts.map +1 -1
  141. package/dest/tests/mocks.js +4 -3
  142. package/dest/tx/processed_tx.d.ts.map +1 -1
  143. package/dest/tx/processed_tx.js +2 -5
  144. package/dest/tx/tx.d.ts +10 -25
  145. package/dest/tx/tx.d.ts.map +1 -1
  146. package/dest/tx/tx.js +25 -50
  147. package/dest/tx/tx_effect.d.ts +1 -1
  148. package/dest/tx/tx_effect.d.ts.map +1 -1
  149. package/dest/tx/tx_effect.js +2 -2
  150. package/dest/tx/tx_hash.d.ts +1 -0
  151. package/dest/tx/tx_hash.d.ts.map +1 -1
  152. package/dest/tx/tx_hash.js +3 -0
  153. package/dest/validators/types.d.ts +4 -0
  154. package/dest/validators/types.d.ts.map +1 -1
  155. package/dest/vks/index.d.ts +1 -1
  156. package/dest/vks/index.d.ts.map +1 -1
  157. package/dest/vks/index.js +1 -1
  158. package/dest/vks/{vk_witness_data.d.ts → vk_data.d.ts} +8 -8
  159. package/dest/vks/vk_data.d.ts.map +1 -0
  160. package/dest/vks/{vk_witness_data.js → vk_data.js} +10 -10
  161. package/package.json +7 -7
  162. package/src/abi/abi.ts +37 -0
  163. package/src/avm/avm.ts +25 -4
  164. package/src/avm/avm_accumulated_data.ts +93 -0
  165. package/src/avm/avm_circuit_public_inputs.ts +22 -2
  166. package/src/avm/gas.ts +26 -0
  167. package/src/avm/index.ts +1 -0
  168. package/src/block/body.ts +7 -2
  169. package/src/block/index.ts +1 -0
  170. package/src/block/l2_block.ts +8 -3
  171. package/src/block/l2_block_source.ts +9 -3
  172. package/src/block/proposal/committee_attestation.ts +70 -0
  173. package/src/block/proposal/index.ts +1 -0
  174. package/src/block/published_l2_block.ts +38 -24
  175. package/src/block/test/l2_tips_store_test_suite.ts +1 -1
  176. package/src/interfaces/archiver.ts +2 -2
  177. package/src/interfaces/aztec-node.ts +8 -16
  178. package/src/interfaces/block-builder.ts +49 -2
  179. package/src/interfaces/epoch-prover.ts +2 -2
  180. package/src/interfaces/merkle_tree_operations.ts +20 -0
  181. package/src/interfaces/p2p.ts +9 -4
  182. package/src/interfaces/proving-job.ts +3 -3
  183. package/src/interfaces/server_circuit_prover.ts +3 -2
  184. package/src/kernel/hints/find_private_kernel_reset_dimensions.ts +3 -3
  185. package/src/kernel/hints/key_validation_hint.ts +4 -6
  186. package/src/kernel/hints/private_kernel_reset_hints.ts +34 -43
  187. package/src/kernel/hints/read_request_hints.ts +27 -15
  188. package/src/kernel/index.ts +1 -0
  189. package/src/kernel/padded_side_effects.ts +73 -0
  190. package/src/kernel/private_kernel_data.ts +7 -29
  191. package/src/kernel/private_kernel_reset_circuit_private_inputs.ts +16 -13
  192. package/src/kernel/private_kernel_reset_dimensions.ts +27 -27
  193. package/src/kernel/private_kernel_tail_circuit_private_inputs.ts +10 -2
  194. package/src/kernel/private_to_avm_accumulated_data.ts +9 -0
  195. package/src/kernel/public_call_request.ts +66 -0
  196. package/src/logs/contract_class_log.ts +0 -36
  197. package/src/logs/log_with_tx_data.ts +26 -12
  198. package/src/logs/private_log.ts +4 -0
  199. package/src/logs/public_log.ts +4 -0
  200. package/src/logs/tx_scoped_l2_log.ts +1 -0
  201. package/src/messaging/index.ts +1 -0
  202. package/src/messaging/l2_to_l1_membership.ts +113 -0
  203. package/src/p2p/consensus_payload.ts +3 -1
  204. package/src/rollup/avm_proof_data.ts +14 -7
  205. package/src/rollup/base_rollup_hints.ts +4 -4
  206. package/src/rollup/previous_rollup_block_data.ts +6 -12
  207. package/src/rollup/previous_rollup_data.ts +6 -12
  208. package/src/rollup/private_tube_data.ts +4 -4
  209. package/src/rollup/public_tube_data.ts +4 -4
  210. package/src/rollup/root_rollup.ts +6 -19
  211. package/src/tests/factories.ts +80 -43
  212. package/src/tests/mocks.ts +6 -3
  213. package/src/tx/processed_tx.ts +4 -5
  214. package/src/tx/tx.ts +28 -54
  215. package/src/tx/tx_effect.ts +23 -5
  216. package/src/tx/tx_hash.ts +4 -0
  217. package/src/validators/types.ts +2 -0
  218. package/src/vks/index.ts +1 -1
  219. package/src/vks/{vk_witness_data.ts → vk_data.ts} +6 -6
  220. package/dest/vks/vk_witness_data.d.ts.map +0 -1
@@ -1,25 +1,29 @@
1
1
  import { serializeToBuffer } from '@aztec/foundation/serialize';
2
2
  export class PrivateKernelResetCircuitPrivateInputsVariants {
3
3
  previousKernel;
4
+ paddedSideEffects;
4
5
  hints;
5
- constructor(previousKernel, hints){
6
+ constructor(previousKernel, paddedSideEffects, hints){
6
7
  this.previousKernel = previousKernel;
8
+ this.paddedSideEffects = paddedSideEffects;
7
9
  this.hints = hints;
8
10
  }
9
11
  toBuffer() {
10
- return serializeToBuffer(this.previousKernel, this.hints);
12
+ return serializeToBuffer(this.previousKernel, this.paddedSideEffects, this.hints);
11
13
  }
12
14
  }
13
15
  /**
14
16
  * Input to the private kernel circuit - reset call.
15
17
  */ export class PrivateKernelResetCircuitPrivateInputs {
16
18
  previousKernel;
19
+ paddedSideEffects;
17
20
  hints;
18
21
  dimensions;
19
22
  constructor(/**
20
23
  * The previous kernel data
21
- */ previousKernel, hints, dimensions){
24
+ */ previousKernel, paddedSideEffects, hints, dimensions){
22
25
  this.previousKernel = previousKernel;
26
+ this.paddedSideEffects = paddedSideEffects;
23
27
  this.hints = hints;
24
28
  this.dimensions = dimensions;
25
29
  }
@@ -27,10 +31,10 @@ export class PrivateKernelResetCircuitPrivateInputsVariants {
27
31
  * Serialize this as a buffer.
28
32
  * @returns The buffer.
29
33
  */ toBuffer() {
30
- return serializeToBuffer(this.previousKernel, this.hints, this.dimensions);
34
+ return serializeToBuffer(this.previousKernel, this.paddedSideEffects, this.hints, this.dimensions);
31
35
  }
32
36
  trimToSizes() {
33
- const hints = this.hints.trimToSizes(this.dimensions.NOTE_HASH_PENDING_AMOUNT, this.dimensions.NOTE_HASH_SETTLED_AMOUNT, this.dimensions.NULLIFIER_PENDING_AMOUNT, this.dimensions.NULLIFIER_SETTLED_AMOUNT, this.dimensions.NULLIFIER_KEYS, this.dimensions.TRANSIENT_DATA_AMOUNT);
34
- return new PrivateKernelResetCircuitPrivateInputsVariants(this.previousKernel, hints);
37
+ const hints = this.hints.trimToSizes(this.dimensions.NOTE_HASH_PENDING_READ, this.dimensions.NOTE_HASH_SETTLED_READ, this.dimensions.NULLIFIER_PENDING_READ, this.dimensions.NULLIFIER_SETTLED_READ, this.dimensions.KEY_VALIDATION, this.dimensions.TRANSIENT_DATA_SQUASHING);
38
+ return new PrivateKernelResetCircuitPrivateInputsVariants(this.previousKernel, this.paddedSideEffects, hints);
35
39
  }
36
40
  }
@@ -1,15 +1,15 @@
1
1
  import type { FieldsOf } from '@aztec/foundation/types';
2
2
  export declare class PrivateKernelResetDimensions {
3
- NOTE_HASH_PENDING_AMOUNT: number;
4
- NOTE_HASH_SETTLED_AMOUNT: number;
5
- NULLIFIER_PENDING_AMOUNT: number;
6
- NULLIFIER_SETTLED_AMOUNT: number;
7
- NULLIFIER_KEYS: number;
8
- TRANSIENT_DATA_AMOUNT: number;
9
- NOTE_HASH_SILOING_AMOUNT: number;
10
- NULLIFIER_SILOING_AMOUNT: number;
11
- PRIVATE_LOG_SILOING_AMOUNT: number;
12
- constructor(NOTE_HASH_PENDING_AMOUNT: number, NOTE_HASH_SETTLED_AMOUNT: number, NULLIFIER_PENDING_AMOUNT: number, NULLIFIER_SETTLED_AMOUNT: number, NULLIFIER_KEYS: number, TRANSIENT_DATA_AMOUNT: number, NOTE_HASH_SILOING_AMOUNT: number, NULLIFIER_SILOING_AMOUNT: number, PRIVATE_LOG_SILOING_AMOUNT: number);
3
+ NOTE_HASH_PENDING_READ: number;
4
+ NOTE_HASH_SETTLED_READ: number;
5
+ NULLIFIER_PENDING_READ: number;
6
+ NULLIFIER_SETTLED_READ: number;
7
+ KEY_VALIDATION: number;
8
+ TRANSIENT_DATA_SQUASHING: number;
9
+ NOTE_HASH_SILOING: number;
10
+ NULLIFIER_SILOING: number;
11
+ PRIVATE_LOG_SILOING: number;
12
+ constructor(NOTE_HASH_PENDING_READ: number, NOTE_HASH_SETTLED_READ: number, NULLIFIER_PENDING_READ: number, NULLIFIER_SETTLED_READ: number, KEY_VALIDATION: number, TRANSIENT_DATA_SQUASHING: number, NOTE_HASH_SILOING: number, NULLIFIER_SILOING: number, PRIVATE_LOG_SILOING: number);
13
13
  toBuffer(): Buffer<ArrayBufferLike>;
14
14
  static empty(): PrivateKernelResetDimensions;
15
15
  static from(fields: Partial<FieldsOf<PrivateKernelResetDimensions>>): PrivateKernelResetDimensions;
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_reset_dimensions.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_dimensions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,qBAAa,4BAA4B;IAE9B,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,cAAc,EAAE,MAAM;IACtB,qBAAqB,EAAE,MAAM;IAC7B,wBAAwB,EAAE,MAAM;IAChC,wBAAwB,EAAE,MAAM;IAChC,0BAA0B,EAAE,MAAM;gBARlC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,cAAc,EAAE,MAAM,EACtB,qBAAqB,EAAE,MAAM,EAC7B,wBAAwB,EAAE,MAAM,EAChC,wBAAwB,EAAE,MAAM,EAChC,0BAA0B,EAAE,MAAM;IAG3C,QAAQ;IAcR,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IAMnE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE;IAWlC,QAAQ;CAGT;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,4BAA4B,CAAC,CAAC;AAEzE,eAAO,MAAM,gCAAgC,EAAE,aAAa,EAU3D,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE;SAAG,CAAC,IAAI,aAAa,GAAG,eAAe;KAAE,CAAC;IACtD,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B"}
1
+ {"version":3,"file":"private_kernel_reset_dimensions.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_reset_dimensions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,qBAAa,4BAA4B;IAE9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,sBAAsB,EAAE,MAAM;IAC9B,cAAc,EAAE,MAAM;IACtB,wBAAwB,EAAE,MAAM;IAChC,iBAAiB,EAAE,MAAM;IACzB,iBAAiB,EAAE,MAAM;IACzB,mBAAmB,EAAE,MAAM;gBAR3B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,sBAAsB,EAAE,MAAM,EAC9B,cAAc,EAAE,MAAM,EACtB,wBAAwB,EAAE,MAAM,EAChC,iBAAiB,EAAE,MAAM,EACzB,iBAAiB,EAAE,MAAM,EACzB,mBAAmB,EAAE,MAAM;IAGpC,QAAQ;IAcR,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IAMnE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE;IAWlC,QAAQ;CAGT;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,QAAQ,CAAC,4BAA4B,CAAC,CAAC;AAEzE,eAAO,MAAM,gCAAgC,EAAE,aAAa,EAU3D,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE;SAAG,CAAC,IAAI,aAAa,GAAG,eAAe;KAAE,CAAC;IACtD,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC;CAC1B"}
@@ -1,27 +1,27 @@
1
1
  import { serializeToBuffer } from '@aztec/foundation/serialize';
2
2
  export class PrivateKernelResetDimensions {
3
- NOTE_HASH_PENDING_AMOUNT;
4
- NOTE_HASH_SETTLED_AMOUNT;
5
- NULLIFIER_PENDING_AMOUNT;
6
- NULLIFIER_SETTLED_AMOUNT;
7
- NULLIFIER_KEYS;
8
- TRANSIENT_DATA_AMOUNT;
9
- NOTE_HASH_SILOING_AMOUNT;
10
- NULLIFIER_SILOING_AMOUNT;
11
- PRIVATE_LOG_SILOING_AMOUNT;
12
- constructor(NOTE_HASH_PENDING_AMOUNT, NOTE_HASH_SETTLED_AMOUNT, NULLIFIER_PENDING_AMOUNT, NULLIFIER_SETTLED_AMOUNT, NULLIFIER_KEYS, TRANSIENT_DATA_AMOUNT, NOTE_HASH_SILOING_AMOUNT, NULLIFIER_SILOING_AMOUNT, PRIVATE_LOG_SILOING_AMOUNT){
13
- this.NOTE_HASH_PENDING_AMOUNT = NOTE_HASH_PENDING_AMOUNT;
14
- this.NOTE_HASH_SETTLED_AMOUNT = NOTE_HASH_SETTLED_AMOUNT;
15
- this.NULLIFIER_PENDING_AMOUNT = NULLIFIER_PENDING_AMOUNT;
16
- this.NULLIFIER_SETTLED_AMOUNT = NULLIFIER_SETTLED_AMOUNT;
17
- this.NULLIFIER_KEYS = NULLIFIER_KEYS;
18
- this.TRANSIENT_DATA_AMOUNT = TRANSIENT_DATA_AMOUNT;
19
- this.NOTE_HASH_SILOING_AMOUNT = NOTE_HASH_SILOING_AMOUNT;
20
- this.NULLIFIER_SILOING_AMOUNT = NULLIFIER_SILOING_AMOUNT;
21
- this.PRIVATE_LOG_SILOING_AMOUNT = PRIVATE_LOG_SILOING_AMOUNT;
3
+ NOTE_HASH_PENDING_READ;
4
+ NOTE_HASH_SETTLED_READ;
5
+ NULLIFIER_PENDING_READ;
6
+ NULLIFIER_SETTLED_READ;
7
+ KEY_VALIDATION;
8
+ TRANSIENT_DATA_SQUASHING;
9
+ NOTE_HASH_SILOING;
10
+ NULLIFIER_SILOING;
11
+ PRIVATE_LOG_SILOING;
12
+ constructor(NOTE_HASH_PENDING_READ, NOTE_HASH_SETTLED_READ, NULLIFIER_PENDING_READ, NULLIFIER_SETTLED_READ, KEY_VALIDATION, TRANSIENT_DATA_SQUASHING, NOTE_HASH_SILOING, NULLIFIER_SILOING, PRIVATE_LOG_SILOING){
13
+ this.NOTE_HASH_PENDING_READ = NOTE_HASH_PENDING_READ;
14
+ this.NOTE_HASH_SETTLED_READ = NOTE_HASH_SETTLED_READ;
15
+ this.NULLIFIER_PENDING_READ = NULLIFIER_PENDING_READ;
16
+ this.NULLIFIER_SETTLED_READ = NULLIFIER_SETTLED_READ;
17
+ this.KEY_VALIDATION = KEY_VALIDATION;
18
+ this.TRANSIENT_DATA_SQUASHING = TRANSIENT_DATA_SQUASHING;
19
+ this.NOTE_HASH_SILOING = NOTE_HASH_SILOING;
20
+ this.NULLIFIER_SILOING = NULLIFIER_SILOING;
21
+ this.PRIVATE_LOG_SILOING = PRIVATE_LOG_SILOING;
22
22
  }
23
23
  toBuffer() {
24
- return serializeToBuffer(this.NOTE_HASH_PENDING_AMOUNT, this.NOTE_HASH_SETTLED_AMOUNT, this.NULLIFIER_PENDING_AMOUNT, this.NULLIFIER_SETTLED_AMOUNT, this.NULLIFIER_KEYS, this.TRANSIENT_DATA_AMOUNT, this.NOTE_HASH_SILOING_AMOUNT, this.NULLIFIER_SILOING_AMOUNT, this.PRIVATE_LOG_SILOING_AMOUNT);
24
+ return serializeToBuffer(this.NOTE_HASH_PENDING_READ, this.NOTE_HASH_SETTLED_READ, this.NULLIFIER_PENDING_READ, this.NULLIFIER_SETTLED_READ, this.KEY_VALIDATION, this.TRANSIENT_DATA_SQUASHING, this.NOTE_HASH_SILOING, this.NULLIFIER_SILOING, this.PRIVATE_LOG_SILOING);
25
25
  }
26
26
  static empty() {
27
27
  return new PrivateKernelResetDimensions(0, 0, 0, 0, 0, 0, 0, 0, 0);
@@ -44,13 +44,13 @@ export class PrivateKernelResetDimensions {
44
44
  }
45
45
  }
46
46
  export const privateKernelResetDimensionNames = [
47
- 'NOTE_HASH_PENDING_AMOUNT',
48
- 'NOTE_HASH_SETTLED_AMOUNT',
49
- 'NULLIFIER_PENDING_AMOUNT',
50
- 'NULLIFIER_SETTLED_AMOUNT',
51
- 'NULLIFIER_KEYS',
52
- 'TRANSIENT_DATA_AMOUNT',
53
- 'NOTE_HASH_SILOING_AMOUNT',
54
- 'NULLIFIER_SILOING_AMOUNT',
55
- 'PRIVATE_LOG_SILOING_AMOUNT'
47
+ 'NOTE_HASH_PENDING_READ',
48
+ 'NOTE_HASH_SETTLED_READ',
49
+ 'NULLIFIER_PENDING_READ',
50
+ 'NULLIFIER_SETTLED_READ',
51
+ 'KEY_VALIDATION',
52
+ 'TRANSIENT_DATA_SQUASHING',
53
+ 'NOTE_HASH_SILOING',
54
+ 'NULLIFIER_SILOING',
55
+ 'PRIVATE_LOG_SILOING'
56
56
  ];
@@ -1,4 +1,5 @@
1
1
  import { BufferReader } from '@aztec/foundation/serialize';
2
+ import { PaddedSideEffectAmounts } from './padded_side_effects.js';
2
3
  import { PrivateKernelData } from './private_kernel_data.js';
3
4
  /**
4
5
  * Input to the private kernel circuit - tail call.
@@ -8,11 +9,19 @@ export declare class PrivateKernelTailCircuitPrivateInputs {
8
9
  * The previous kernel data
9
10
  */
10
11
  previousKernel: PrivateKernelData;
12
+ /**
13
+ * The number of the padded side effects.
14
+ */
15
+ paddedSideEffectAmounts: PaddedSideEffectAmounts;
11
16
  constructor(
12
17
  /**
13
18
  * The previous kernel data
14
19
  */
15
- previousKernel: PrivateKernelData);
20
+ previousKernel: PrivateKernelData,
21
+ /**
22
+ * The number of the padded side effects.
23
+ */
24
+ paddedSideEffectAmounts: PaddedSideEffectAmounts);
16
25
  isForPublic(): boolean;
17
26
  /**
18
27
  * Serialize this as a buffer.
@@ -1 +1 @@
1
- {"version":3,"file":"private_kernel_tail_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,cAAc,EAAE,iBAAiB;;IAHxC;;OAEG;IACI,cAAc,EAAE,iBAAiB;IAG1C,WAAW;IAOX;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAIxF"}
1
+ {"version":3,"file":"private_kernel_tail_circuit_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;GAEG;AACH,qBAAa,qCAAqC;IAE9C;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;;IAPvD;;OAEG;IACI,cAAc,EAAE,iBAAiB;IACxC;;OAEG;IACI,uBAAuB,EAAE,uBAAuB;IAGzD,WAAW;IAOX;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qCAAqC;CAOxF"}
@@ -1,14 +1,19 @@
1
1
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
2
+ import { PaddedSideEffectAmounts } from './padded_side_effects.js';
2
3
  import { PrivateKernelData } from './private_kernel_data.js';
3
4
  import { countAccumulatedItems } from './utils/order_and_comparison.js';
4
5
  /**
5
6
  * Input to the private kernel circuit - tail call.
6
7
  */ export class PrivateKernelTailCircuitPrivateInputs {
7
8
  previousKernel;
9
+ paddedSideEffectAmounts;
8
10
  constructor(/**
9
11
  * The previous kernel data
10
- */ previousKernel){
12
+ */ previousKernel, /**
13
+ * The number of the padded side effects.
14
+ */ paddedSideEffectAmounts){
11
15
  this.previousKernel = previousKernel;
16
+ this.paddedSideEffectAmounts = paddedSideEffectAmounts;
12
17
  }
13
18
  isForPublic() {
14
19
  return countAccumulatedItems(this.previousKernel.publicInputs.end.publicCallRequests) > 0 || !this.previousKernel.publicInputs.publicTeardownCallRequest.isEmpty();
@@ -17,7 +22,7 @@ import { countAccumulatedItems } from './utils/order_and_comparison.js';
17
22
  * Serialize this as a buffer.
18
23
  * @returns The buffer.
19
24
  */ toBuffer() {
20
- return serializeToBuffer(this.previousKernel);
25
+ return serializeToBuffer(this.previousKernel, this.paddedSideEffectAmounts);
21
26
  }
22
27
  /**
23
28
  * Deserializes from a buffer or reader.
@@ -25,6 +30,6 @@ import { countAccumulatedItems } from './utils/order_and_comparison.js';
25
30
  * @returns The deserialized instance.
26
31
  */ static fromBuffer(buffer) {
27
32
  const reader = BufferReader.asReader(buffer);
28
- return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData));
33
+ return new PrivateKernelTailCircuitPrivateInputs(reader.readObject(PrivateKernelData), reader.readObject(PaddedSideEffectAmounts));
29
34
  }
30
35
  }
@@ -79,6 +79,7 @@ export declare class PrivateToAvmAccumulatedData {
79
79
  }[];
80
80
  }>;
81
81
  getSize(): number;
82
+ getArrayLengths(): PrivateToAvmAccumulatedDataArrayLengths;
82
83
  static getFields(fields: FieldsOf<PrivateToAvmAccumulatedData>): readonly [[Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message, ScopedL2ToL1Message]];
83
84
  static fromFields(fields: Fr[] | FieldReader): PrivateToAvmAccumulatedData;
84
85
  toFields(): Fr[];
@@ -1 +1 @@
1
- {"version":3,"file":"private_to_avm_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_avm_accumulated_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EAEtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAIX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,2BAA2B;IAE7B,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IACnD,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;gBAFvE,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC,EACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC,EACnD,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAGhF,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAehB;IAED,OAAO;IAQP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAI9D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAQZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAgBjB;AAED,qBAAa,uCAAuC;IAEzC,UAAU,EAAE,MAAM;IAClB,UAAU,EAAE,MAAM;IAClB,UAAU,EAAE,MAAM;gBAFlB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM;IAG3B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uCAAuC,CAAC;IAI1E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uCAAuC,CAAC;IAIrE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAOjB"}
1
+ {"version":3,"file":"private_to_avm_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/kernel/private_to_avm_accumulated_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EAEtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAIX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAGjD,qBAAa,2BAA2B;IAE7B,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IACnD,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;gBAFvE,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC,EACpD,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC,EACnD,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAGhF,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAehB;IAED,OAAO;IAQP,eAAe;IAQf,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAI9D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAQZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAgBjB;AAED,qBAAa,uCAAuC;IAEzC,UAAU,EAAE,MAAM;IAClB,UAAU,EAAE,MAAM;IAClB,UAAU,EAAE,MAAM;gBAFlB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM;IAG3B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uCAAuC,CAAC;IAI1E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uCAAuC,CAAC;IAIrE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAOjB"}
@@ -7,6 +7,7 @@ import { BufferReader, FieldReader, assertLength, serializeToBuffer, serializeTo
7
7
  import { inspect } from 'util';
8
8
  import { z } from 'zod';
9
9
  import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
10
+ import { countAccumulatedItems } from './utils/index.js';
10
11
  export class PrivateToAvmAccumulatedData {
11
12
  noteHashes;
12
13
  nullifiers;
@@ -26,6 +27,9 @@ export class PrivateToAvmAccumulatedData {
26
27
  getSize() {
27
28
  return arraySerializedSizeOfNonEmpty(this.noteHashes) + arraySerializedSizeOfNonEmpty(this.nullifiers) + arraySerializedSizeOfNonEmpty(this.l2ToL1Msgs);
28
29
  }
30
+ getArrayLengths() {
31
+ return new PrivateToAvmAccumulatedDataArrayLengths(countAccumulatedItems(this.noteHashes), countAccumulatedItems(this.nullifiers), countAccumulatedItems(this.l2ToL1Msgs));
32
+ }
29
33
  static getFields(fields) {
30
34
  return [
31
35
  fields.noteHashes,
@@ -75,6 +75,60 @@ export declare class PublicCallRequest {
75
75
  [inspect.custom](): string;
76
76
  static fromCalldata(msgSender: AztecAddress, contractAddress: AztecAddress, isStaticCall: boolean, calldata: Fr[]): Promise<PublicCallRequest>;
77
77
  }
78
+ /**
79
+ * Represents lengths of arrays of public call requests.
80
+ */
81
+ export declare class PublicCallRequestArrayLengths {
82
+ /**
83
+ * Number of setup call requests
84
+ */
85
+ setupCalls: number;
86
+ /**
87
+ * Number of app logic call requests
88
+ */
89
+ appLogicCalls: number;
90
+ /**
91
+ * Whether there is a teardown call request
92
+ */
93
+ teardownCall: boolean;
94
+ constructor(
95
+ /**
96
+ * Number of setup call requests
97
+ */
98
+ setupCalls: number,
99
+ /**
100
+ * Number of app logic call requests
101
+ */
102
+ appLogicCalls: number,
103
+ /**
104
+ * Whether there is a teardown call request
105
+ */
106
+ teardownCall: boolean);
107
+ static get schema(): z.ZodEffects<z.ZodObject<{
108
+ setupCalls: z.ZodNumber;
109
+ appLogicCalls: z.ZodNumber;
110
+ teardownCall: z.ZodBoolean;
111
+ }, "strip", z.ZodTypeAny, {
112
+ setupCalls: number;
113
+ appLogicCalls: number;
114
+ teardownCall: boolean;
115
+ }, {
116
+ setupCalls: number;
117
+ appLogicCalls: number;
118
+ teardownCall: boolean;
119
+ }>, PublicCallRequestArrayLengths, {
120
+ setupCalls: number;
121
+ appLogicCalls: number;
122
+ teardownCall: boolean;
123
+ }>;
124
+ static getFields(fields: FieldsOf<PublicCallRequestArrayLengths>): readonly [number, number, boolean];
125
+ static fromFields(fields: Fr[] | FieldReader): PublicCallRequestArrayLengths;
126
+ toFields(): Fr[];
127
+ static fromBuffer(buffer: Buffer | BufferReader): PublicCallRequestArrayLengths;
128
+ toBuffer(): Buffer<ArrayBufferLike>;
129
+ static empty(): PublicCallRequestArrayLengths;
130
+ [inspect.custom](): string;
131
+ }
78
132
  export declare class CountedPublicCallRequest {
79
133
  inner: PublicCallRequest;
80
134
  counter: UInt32;
@@ -1 +1 @@
1
- {"version":3,"file":"public_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/public_call_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;;IAfvB;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IAGzB,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAIpD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,iBAAiB;IAUhE,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAMlB,CAAC,OAAO,CAAC,MAAM,CAAC;WASH,YAAY,CACvB,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE;CAKjB;AAED,qBAAa,wBAAwB;IAE1B,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,MAAM;gBADf,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,MAAM;IAGxB,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC;IAI3D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}
1
+ {"version":3,"file":"public_call_request.d.ts","sourceRoot":"","sources":["../../src/kernel/public_call_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;;IAfvB;;OAEG;IACI,SAAS,EAAE,YAAY;IAC9B;;OAEG;IACI,eAAe,EAAE,YAAY;IACpC;;OAEG;IACI,YAAY,EAAE,OAAO;IAC5B;;OAEG;IACI,YAAY,EAAE,EAAE;IAGzB,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAWhB;IAED,OAAO;IAIP,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAIpD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,iBAAiB;IAUhE,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAMlB,CAAC,OAAO,CAAC,MAAM,CAAC;WASH,YAAY,CACvB,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE;CAKjB;AAED;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO;;IAX5B;;OAEG;IACI,UAAU,EAAE,MAAM;IACzB;;OAEG;IACI,aAAa,EAAE,MAAM;IAC5B;;OAEG;IACI,YAAY,EAAE,OAAO;IAG9B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAUhB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAIhE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,6BAA6B;IAK5E,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,CAAC,OAAO,CAAC,MAAM,CAAC;CAOjB;AAED,qBAAa,wBAAwB;IAE1B,KAAK,EAAE,iBAAiB;IACxB,OAAO,EAAE,MAAM;gBADf,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,MAAM;IAGxB,OAAO;IAIP,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC;IAI3D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,QAAQ,IAAI,EAAE,EAAE;IAUhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}
@@ -88,6 +88,64 @@ import { computeCalldataHash } from '../hash/index.js';
88
88
  return new PublicCallRequest(msgSender, contractAddress, isStaticCall, calldataHash);
89
89
  }
90
90
  }
91
+ /**
92
+ * Represents lengths of arrays of public call requests.
93
+ */ export class PublicCallRequestArrayLengths {
94
+ setupCalls;
95
+ appLogicCalls;
96
+ teardownCall;
97
+ constructor(/**
98
+ * Number of setup call requests
99
+ */ setupCalls, /**
100
+ * Number of app logic call requests
101
+ */ appLogicCalls, /**
102
+ * Whether there is a teardown call request
103
+ */ teardownCall){
104
+ this.setupCalls = setupCalls;
105
+ this.appLogicCalls = appLogicCalls;
106
+ this.teardownCall = teardownCall;
107
+ }
108
+ static get schema() {
109
+ return z.object({
110
+ setupCalls: z.number(),
111
+ appLogicCalls: z.number(),
112
+ teardownCall: z.boolean()
113
+ }).transform(({ setupCalls, appLogicCalls, teardownCall })=>{
114
+ return new PublicCallRequestArrayLengths(setupCalls, appLogicCalls, teardownCall);
115
+ });
116
+ }
117
+ static getFields(fields) {
118
+ return [
119
+ fields.setupCalls,
120
+ fields.appLogicCalls,
121
+ fields.teardownCall
122
+ ];
123
+ }
124
+ static fromFields(fields) {
125
+ const reader = FieldReader.asReader(fields);
126
+ return new PublicCallRequestArrayLengths(reader.readU32(), reader.readU32(), reader.readBoolean());
127
+ }
128
+ toFields() {
129
+ return serializeToFields(...PublicCallRequestArrayLengths.getFields(this));
130
+ }
131
+ static fromBuffer(buffer) {
132
+ const reader = BufferReader.asReader(buffer);
133
+ return new PublicCallRequestArrayLengths(reader.readNumber(), reader.readNumber(), reader.readBoolean());
134
+ }
135
+ toBuffer() {
136
+ return serializeToBuffer(...PublicCallRequestArrayLengths.getFields(this));
137
+ }
138
+ static empty() {
139
+ return new PublicCallRequestArrayLengths(0, 0, false);
140
+ }
141
+ [inspect.custom]() {
142
+ return `PublicCallRequestArrayLengths {
143
+ setupCalls: ${this.setupCalls}
144
+ appLogicCalls: ${this.appLogicCalls}
145
+ teardownCall: ${this.teardownCall}
146
+ }`;
147
+ }
148
+ }
91
149
  export class CountedPublicCallRequest {
92
150
  inner;
93
151
  counter;
@@ -34,7 +34,6 @@ export declare class ContractClassLog {
34
34
  fields: ContractClassLogFields;
35
35
  emittedLength: number;
36
36
  static SIZE_IN_BYTES: number;
37
- unsiloedFirstField?: Fr | undefined;
38
37
  constructor(contractAddress: AztecAddress, fields: ContractClassLogFields, emittedLength: number);
39
38
  static from(fields: FieldsOf<ContractClassLog>): ContractClassLog;
40
39
  toFields(): Fr[];
@@ -48,9 +47,6 @@ export declare class ContractClassLog {
48
47
  toBuffer(): Buffer;
49
48
  static fromBuffer(buffer: Buffer | BufferReader): ContractClassLog;
50
49
  static random(): Promise<ContractClassLog>;
51
- setUnsiloedFirstField(field: Fr): void;
52
- toUnsiloed(): ContractClassLog;
53
- silo(): Promise<ContractClassLog>;
54
50
  hash(): Promise<Fr>;
55
51
  static get schema(): z.ZodEffects<z.ZodObject<{
56
52
  contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
@@ -1 +1 @@
1
- {"version":3,"file":"contract_class_log.d.ts","sourceRoot":"","sources":["../../src/logs/contract_class_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,sBAAsB;IAGd,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAQ/B,MAAM,KAAK,MAAM;;;;;;;;OAMhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK,EAAE,sBAAsB;IAIpC,gBAAgB,CAAC,aAAa,EAAE,MAAM;IAItC,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,EAAE,EAAE;IAM5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,aAAa,SAAoC;IAQzD,IAAI;IAIV,KAAK;CAGN;AAED,qBAAa,gBAAgB;IAMlB,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,sBAAsB;IAC9B,aAAa,EAAE,MAAM;IAP9B,MAAM,CAAC,aAAa,SAAgD;IAE7D,kBAAkB,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;gBAGlC,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,sBAAsB,EAC9B,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAI9C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,KAAK,EAAE,gBAAgB;IAQ9B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WAQlC,MAAM;IAUnB,qBAAqB,CAAC,KAAK,EAAE,EAAE;IAI/B,UAAU;IAgBJ,IAAI;IAcJ,IAAI;IAIV,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}
1
+ {"version":3,"file":"contract_class_log.d.ts","sourceRoot":"","sources":["../../src/logs/contract_class_log.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,sBAAsB;IAGd,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAQ/B,MAAM,KAAK,MAAM;;;;;;;;OAMhB;IAED,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,MAAM,CAAC,KAAK,EAAE,sBAAsB;IAIpC,gBAAgB,CAAC,aAAa,EAAE,MAAM;IAItC,MAAM,CAAC,iBAAiB,CAAC,aAAa,EAAE,EAAE,EAAE;IAM5C,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,aAAa,SAAoC;IAQzD,IAAI;IAIV,KAAK;CAGN;AAED,qBAAa,gBAAgB;IAIlB,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,sBAAsB;IAC9B,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAgD;gBAG3D,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,sBAAsB,EAC9B,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAI9C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,KAAK,EAAE,gBAAgB;IAQ9B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WAQlC,MAAM;IAUb,IAAI;IAIV,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}
@@ -75,8 +75,6 @@ export class ContractClassLog {
75
75
  fields;
76
76
  emittedLength;
77
77
  static SIZE_IN_BYTES = Fr.SIZE_IN_BYTES * CONTRACT_CLASS_LOG_LENGTH;
78
- // Keeps original first field pre-siloing. Only set by silo().
79
- unsiloedFirstField;
80
78
  constructor(contractAddress, fields, emittedLength){
81
79
  this.contractAddress = contractAddress;
82
80
  this.fields = fields;
@@ -140,37 +138,6 @@ export class ContractClassLog {
140
138
  const emittedLength = Math.ceil(CONTRACT_CLASS_LOG_SIZE_IN_FIELDS / 2);
141
139
  return new ContractClassLog(await AztecAddress.random(), ContractClassLogFields.random(emittedLength), emittedLength);
142
140
  }
143
- setUnsiloedFirstField(field) {
144
- this.unsiloedFirstField = field;
145
- }
146
- toUnsiloed() {
147
- if (this.contractAddress.isZero()) {
148
- return this;
149
- }
150
- if (this.unsiloedFirstField) {
151
- return new ContractClassLog(this.contractAddress, new ContractClassLogFields([
152
- this.unsiloedFirstField
153
- ].concat(this.fields.fields.slice(1))), this.emittedLength);
154
- } else {
155
- return this;
156
- }
157
- }
158
- // TODO(#13914): Don't need to silo the contract class logs.
159
- async silo() {
160
- if (this.contractAddress.isZero()) {
161
- return this;
162
- }
163
- const fields = this.fields.clone();
164
- const unsiloedField = fields.fields[0];
165
- const siloedField = await poseidon2Hash([
166
- this.contractAddress,
167
- unsiloedField
168
- ]);
169
- fields.fields[0] = siloedField;
170
- const cloned = new ContractClassLog(this.contractAddress, fields, this.emittedLength);
171
- cloned.setUnsiloedFirstField(unsiloedField);
172
- return cloned;
173
- }
174
141
  async hash() {
175
142
  return await this.fields.hash();
176
143
  }
@@ -1,12 +1,22 @@
1
+ import { PRIVATE_LOG_CIPHERTEXT_LEN, PUBLIC_LOG_PLAINTEXT_LEN } from '@aztec/constants';
1
2
  import { Fr } from '@aztec/foundation/fields';
2
3
  import { TxHash } from '@aztec/stdlib/tx';
3
- export declare class LogWithTxData {
4
- logContent: Fr[];
4
+ declare class LogWithTxData<N extends number> {
5
+ logPayload: Fr[];
5
6
  txHash: TxHash;
6
7
  uniqueNoteHashesInTx: Fr[];
7
8
  firstNullifierInTx: Fr;
8
- constructor(logContent: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
9
+ private maxLogContentLength;
10
+ constructor(logPayload: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr, maxLogContentLength: N);
9
11
  toNoirSerialization(): (Fr | Fr[])[];
12
+ }
13
+ export declare class PublicLogWithTxData extends LogWithTxData<typeof PUBLIC_LOG_PLAINTEXT_LEN> {
14
+ constructor(logContent: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
15
+ static noirSerializationOfEmpty(): (Fr | Fr[])[];
16
+ }
17
+ export declare class PrivateLogWithTxData extends LogWithTxData<typeof PRIVATE_LOG_CIPHERTEXT_LEN> {
18
+ constructor(logContent: Fr[], txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
10
19
  static noirSerializationOfEmpty(): (Fr | Fr[])[];
11
20
  }
21
+ export {};
12
22
  //# sourceMappingURL=log_with_tx_data.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI1C,qBAAa,aAAa;IAIf,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;gBAHtB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE;IAG/B,mBAAmB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;IAYpC,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD"}
1
+ {"version":3,"file":"log_with_tx_data.d.ts","sourceRoot":"","sources":["../../src/logs/log_with_tx_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,0BAA0B,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAChH,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI1C,cAAM,aAAa,CAAC,CAAC,SAAS,MAAM;IAEzB,UAAU,EAAE,EAAE,EAAE;IAChB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;IAC7B,OAAO,CAAC,mBAAmB;gBAJpB,UAAU,EAAE,EAAE,EAAE,EAChB,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE,EACrB,mBAAmB,EAAE,CAAC;IAGhC,mBAAmB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAQrC;AAGD,qBAAa,mBAAoB,SAAQ,aAAa,CAAC,OAAO,wBAAwB,CAAC;gBACzE,UAAU,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE;IAIhG,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD;AAGD,qBAAa,oBAAqB,SAAQ,aAAa,CAAC,OAAO,0BAA0B,CAAC;gBAC5E,UAAU,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE;IAIhG,MAAM,CAAC,wBAAwB,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE;CAGjD"}
@@ -1,34 +1,46 @@
1
- import { MAX_NOTE_HASHES_PER_TX, PUBLIC_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
1
+ import { MAX_NOTE_HASHES_PER_TX, PRIVATE_LOG_CIPHERTEXT_LEN, PUBLIC_LOG_PLAINTEXT_LEN } from '@aztec/constants';
2
2
  import { Fr } from '@aztec/foundation/fields';
3
3
  import { TxHash } from '@aztec/stdlib/tx';
4
- // TypeScript representation of the Noir aztec::oracle::message_discovery::LogWithTxData struct. This is used as a
5
- // response for PXE's custom getLogByTag oracle.
6
- export class LogWithTxData {
7
- logContent;
4
+ // TypeScript representation of the Noir aztec::oracle::message_processing::LogWithTxData<N> struct. This is used as a
5
+ // response for PXE's custom getPublicLogByTag and getPrivateLogByTag oracles.
6
+ class LogWithTxData {
7
+ logPayload;
8
8
  txHash;
9
9
  uniqueNoteHashesInTx;
10
10
  firstNullifierInTx;
11
- constructor(// The emitted fields of a log.
12
- // For public logs, the contract address is prepended to the content.
13
- logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
14
- this.logContent = logContent;
11
+ maxLogContentLength;
12
+ constructor(logPayload, txHash, uniqueNoteHashesInTx, firstNullifierInTx, maxLogContentLength){
13
+ this.logPayload = logPayload;
15
14
  this.txHash = txHash;
16
15
  this.uniqueNoteHashesInTx = uniqueNoteHashesInTx;
17
16
  this.firstNullifierInTx = firstNullifierInTx;
17
+ this.maxLogContentLength = maxLogContentLength;
18
18
  }
19
19
  toNoirSerialization() {
20
20
  return [
21
- // The log fields length is PUBLIC_LOG_SIZE_IN_FIELDS. + 1 because the contract address is prepended to the content.
22
- // This is only used for public logs currently, so the maxLength is PUBLIC_LOG_SIZE_IN_FIELDS + 1.
23
- // TODO(#11639): this could also be used for private logs.
24
- ...toBoundedVecSerialization(this.logContent, PUBLIC_LOG_SIZE_IN_FIELDS + 1),
21
+ ...toBoundedVecSerialization(this.logPayload, this.maxLogContentLength),
25
22
  this.txHash.hash,
26
23
  ...toBoundedVecSerialization(this.uniqueNoteHashesInTx, MAX_NOTE_HASHES_PER_TX),
27
24
  this.firstNullifierInTx
28
25
  ];
29
26
  }
27
+ }
28
+ // This is used as a response for PXE's custom getPublicLogByTag oracle.
29
+ export class PublicLogWithTxData extends LogWithTxData {
30
+ constructor(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
31
+ super(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx, PUBLIC_LOG_PLAINTEXT_LEN);
32
+ }
33
+ static noirSerializationOfEmpty() {
34
+ return new PublicLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
35
+ }
36
+ }
37
+ // This is used as a response for PXE's custom getPrivateLogByTag oracle.
38
+ export class PrivateLogWithTxData extends LogWithTxData {
39
+ constructor(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx){
40
+ super(logContent, txHash, uniqueNoteHashesInTx, firstNullifierInTx, PRIVATE_LOG_CIPHERTEXT_LEN);
41
+ }
30
42
  static noirSerializationOfEmpty() {
31
- return new LogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
43
+ return new PrivateLogWithTxData([], TxHash.zero(), [], new Fr(0)).toNoirSerialization();
32
44
  }
33
45
  }
34
46
  function toBoundedVecSerialization(array, maxLength) {
@@ -14,6 +14,7 @@ export declare class PrivateLog {
14
14
  toFields(): Fr[];
15
15
  static fromFields(fields: Fr[] | FieldReader): PrivateLog;
16
16
  getEmittedFields(): Fr[];
17
+ getEmittedFieldsWithoutTag(): Fr[];
17
18
  toBlobFields(): Fr[];
18
19
  static fromBlobFields(fields: Fr[] | FieldReader): PrivateLog;
19
20
  isEmpty(): boolean;
@@ -1 +1 @@
1
- {"version":3,"file":"private_log.d.ts","sourceRoot":"","sources":["../../src/logs/private_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,UAAU;IAIZ,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC;IAEpD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAyC;gBAGpD,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC,EAEpD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAIxC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAOhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,MAAM,CAAC,GAAG,KAAc;IAM/B,MAAM,KAAK,MAAM;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,KAAK,EAAE,UAAU;IAIxB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAM3B"}
1
+ {"version":3,"file":"private_log.d.ts","sourceRoot":"","sources":["../../src/logs/private_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,UAAU;IAIZ,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC;IAEpD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAyC;gBAGpD,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,0BAA0B,CAAC,EAEpD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAIxC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAK5C,gBAAgB;IAIhB,0BAA0B;IAI1B,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAOhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,MAAM,CAAC,GAAG,KAAc;IAM/B,MAAM,KAAK,MAAM;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,KAAK,EAAE,UAAU;IAIxB,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAM3B"}
@@ -34,6 +34,9 @@ export class PrivateLog {
34
34
  getEmittedFields() {
35
35
  return this.fields.slice(0, this.emittedLength);
36
36
  }
37
+ getEmittedFieldsWithoutTag() {
38
+ return this.fields.slice(1, this.emittedLength);
39
+ }
37
40
  toBlobFields() {
38
41
  return [
39
42
  new Fr(this.emittedLength)
@@ -16,6 +16,7 @@ export declare class PublicLog {
16
16
  toFields(): Fr[];
17
17
  static fromFields(fields: Fr[] | FieldReader): PublicLog;
18
18
  getEmittedFields(): Fr[];
19
+ getEmittedFieldsWithoutTag(): Fr[];
19
20
  toBlobFields(): Fr[];
20
21
  static fromBlobFields(fields: Fr[] | FieldReader): PublicLog;
21
22
  isEmpty(): boolean;
@@ -1 +1 @@
1
- {"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,SAAS;IAIX,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IACnD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAwC;gBAGnD,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC,EACnD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAIvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WASlC,MAAM;IAQnB,MAAM,CAAC,KAAK,EAAE,IAAI;IAQlB,eAAe,IAAI,MAAM;IAIzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAUrC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}
1
+ {"version":3,"file":"public_log.d.ts","sourceRoot":"","sources":["../../src/logs/public_log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,qBAAa,SAAS;IAIX,eAAe,EAAE,YAAY;IAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC;IACnD,aAAa,EAAE,MAAM;IAL9B,MAAM,CAAC,aAAa,SAAwC;gBAGnD,eAAe,EAAE,YAAY,EAC7B,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,yBAAyB,CAAC,EACnD,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAIvC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAS5C,gBAAgB;IAIhB,0BAA0B;IAI1B,YAAY,IAAI,EAAE,EAAE;IAIpB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAYhD,OAAO;IAIP,MAAM,CAAC,KAAK;IAIZ,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;WASlC,MAAM;IAQnB,MAAM,CAAC,KAAK,EAAE,IAAI;IAQlB,eAAe,IAAI,MAAM;IAIzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAUrC;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;CAO3B"}