@aztec/foundation 0.0.1-commit.3469e52 → 0.0.1-commit.35158ae7e

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 (164) hide show
  1. package/dest/array/sorted_array.d.ts +6 -1
  2. package/dest/array/sorted_array.d.ts.map +1 -1
  3. package/dest/array/sorted_array.js +18 -15
  4. package/dest/branded-types/slot.d.ts +4 -1
  5. package/dest/branded-types/slot.d.ts.map +1 -1
  6. package/dest/branded-types/slot.js +3 -0
  7. package/dest/buffer/index.d.ts +2 -1
  8. package/dest/buffer/index.d.ts.map +1 -1
  9. package/dest/buffer/index.js +1 -0
  10. package/dest/buffer/utils.d.ts +3 -0
  11. package/dest/buffer/utils.d.ts.map +1 -0
  12. package/dest/buffer/utils.js +7 -0
  13. package/dest/collection/array.d.ts +12 -1
  14. package/dest/collection/array.d.ts.map +1 -1
  15. package/dest/collection/array.js +51 -0
  16. package/dest/config/env_var.d.ts +2 -2
  17. package/dest/config/env_var.d.ts.map +1 -1
  18. package/dest/config/index.d.ts +1 -1
  19. package/dest/config/index.d.ts.map +1 -1
  20. package/dest/config/index.js +15 -0
  21. package/dest/config/network_config.d.ts +19 -1
  22. package/dest/config/network_config.d.ts.map +1 -1
  23. package/dest/config/network_config.js +4 -1
  24. package/dest/config/network_name.d.ts +2 -2
  25. package/dest/config/network_name.d.ts.map +1 -1
  26. package/dest/config/network_name.js +2 -0
  27. package/dest/crypto/poseidon/index.d.ts +1 -2
  28. package/dest/crypto/poseidon/index.d.ts.map +1 -1
  29. package/dest/crypto/poseidon/index.js +40 -42
  30. package/dest/crypto/random/randomness_singleton.d.ts +4 -3
  31. package/dest/crypto/random/randomness_singleton.d.ts.map +1 -1
  32. package/dest/crypto/random/randomness_singleton.js +4 -4
  33. package/dest/crypto/secp256k1-signer/utils.d.ts +12 -1
  34. package/dest/crypto/secp256k1-signer/utils.d.ts.map +1 -1
  35. package/dest/crypto/secp256k1-signer/utils.js +26 -0
  36. package/dest/crypto/sync/poseidon/index.d.ts +1 -2
  37. package/dest/crypto/sync/poseidon/index.d.ts.map +1 -1
  38. package/dest/crypto/sync/poseidon/index.js +0 -8
  39. package/dest/curves/bn254/field.d.ts +2 -1
  40. package/dest/curves/bn254/field.d.ts.map +1 -1
  41. package/dest/curves/bn254/field.js +5 -2
  42. package/dest/eth-signature/eth_signature.d.ts +2 -1
  43. package/dest/eth-signature/eth_signature.d.ts.map +1 -1
  44. package/dest/eth-signature/eth_signature.js +7 -2
  45. package/dest/fifo/fifo_frame_reader.d.ts +41 -0
  46. package/dest/fifo/fifo_frame_reader.d.ts.map +1 -0
  47. package/dest/fifo/fifo_frame_reader.js +74 -0
  48. package/dest/fifo/index.d.ts +2 -0
  49. package/dest/fifo/index.d.ts.map +1 -0
  50. package/dest/fifo/index.js +1 -0
  51. package/dest/jest/setup.js +28 -1
  52. package/dest/json-rpc/client/safe_json_rpc_client.d.ts +2 -1
  53. package/dest/json-rpc/client/safe_json_rpc_client.d.ts.map +1 -1
  54. package/dest/json-rpc/client/safe_json_rpc_client.js +1 -1
  55. package/dest/json-rpc/client/undici.d.ts +1 -1
  56. package/dest/json-rpc/client/undici.d.ts.map +1 -1
  57. package/dest/json-rpc/client/undici.js +21 -4
  58. package/dest/json-rpc/server/api_key_auth.d.ts +19 -0
  59. package/dest/json-rpc/server/api_key_auth.d.ts.map +1 -0
  60. package/dest/json-rpc/server/api_key_auth.js +57 -0
  61. package/dest/json-rpc/server/index.d.ts +2 -1
  62. package/dest/json-rpc/server/index.d.ts.map +1 -1
  63. package/dest/json-rpc/server/index.js +1 -0
  64. package/dest/json-rpc/server/safe_json_rpc_server.js +1 -1
  65. package/dest/log/bigint-utils.d.ts +5 -0
  66. package/dest/log/bigint-utils.d.ts.map +1 -0
  67. package/dest/log/bigint-utils.js +21 -0
  68. package/dest/log/gcloud-logger-config.d.ts +1 -1
  69. package/dest/log/gcloud-logger-config.d.ts.map +1 -1
  70. package/dest/log/gcloud-logger-config.js +3 -0
  71. package/dest/log/libp2p_logger.d.ts +5 -2
  72. package/dest/log/libp2p_logger.d.ts.map +1 -1
  73. package/dest/log/libp2p_logger.js +14 -4
  74. package/dest/log/log-filters.d.ts +17 -4
  75. package/dest/log/log-filters.d.ts.map +1 -1
  76. package/dest/log/log-filters.js +26 -12
  77. package/dest/log/pino-logger-server.d.ts +9 -0
  78. package/dest/log/pino-logger-server.d.ts.map +1 -0
  79. package/dest/log/pino-logger-server.js +18 -0
  80. package/dest/log/pino-logger.d.ts +37 -8
  81. package/dest/log/pino-logger.d.ts.map +1 -1
  82. package/dest/log/pino-logger.js +121 -28
  83. package/dest/queue/base_memory_queue.d.ts +2 -2
  84. package/dest/queue/base_memory_queue.d.ts.map +1 -1
  85. package/dest/queue/semaphore.d.ts +5 -1
  86. package/dest/queue/semaphore.d.ts.map +1 -1
  87. package/dest/serialize/buffer_reader.d.ts +8 -1
  88. package/dest/serialize/buffer_reader.d.ts.map +1 -1
  89. package/dest/serialize/buffer_reader.js +13 -0
  90. package/dest/serialize/serialize.d.ts +19 -1
  91. package/dest/serialize/serialize.d.ts.map +1 -1
  92. package/dest/serialize/serialize.js +31 -0
  93. package/dest/sleep/index.d.ts +2 -1
  94. package/dest/sleep/index.d.ts.map +1 -1
  95. package/dest/sleep/index.js +10 -1
  96. package/dest/timer/date.d.ts +25 -1
  97. package/dest/timer/date.d.ts.map +1 -1
  98. package/dest/timer/date.js +33 -0
  99. package/dest/transport/transport_client.js +2 -2
  100. package/dest/trees/balanced_merkle_tree_root.d.ts +2 -3
  101. package/dest/trees/balanced_merkle_tree_root.d.ts.map +1 -1
  102. package/dest/trees/balanced_merkle_tree_root.js +2 -3
  103. package/dest/trees/hasher.d.ts +1 -2
  104. package/dest/trees/hasher.d.ts.map +1 -1
  105. package/dest/trees/hasher.js +0 -5
  106. package/dest/trees/indexed_merkle_tree_calculator.d.ts +1 -1
  107. package/dest/trees/indexed_merkle_tree_calculator.d.ts.map +1 -1
  108. package/dest/trees/indexed_merkle_tree_calculator.js +5 -1
  109. package/dest/trees/membership_witness.d.ts +5 -1
  110. package/dest/trees/membership_witness.d.ts.map +1 -1
  111. package/dest/trees/membership_witness.js +9 -0
  112. package/dest/trees/merkle_tree_calculator.d.ts +1 -1
  113. package/dest/trees/merkle_tree_calculator.d.ts.map +1 -1
  114. package/dest/trees/merkle_tree_calculator.js +2 -2
  115. package/dest/trees/sibling_path.d.ts +1 -1
  116. package/dest/trees/sibling_path.d.ts.map +1 -1
  117. package/dest/trees/sibling_path.js +2 -2
  118. package/dest/types/index.d.ts +3 -1
  119. package/dest/types/index.d.ts.map +1 -1
  120. package/dest/types/index.js +3 -0
  121. package/package.json +24 -2
  122. package/src/array/sorted_array.ts +22 -17
  123. package/src/branded-types/slot.ts +5 -0
  124. package/src/buffer/index.ts +1 -0
  125. package/src/buffer/utils.ts +8 -0
  126. package/src/collection/array.ts +52 -0
  127. package/src/config/env_var.ts +60 -6
  128. package/src/config/index.ts +15 -0
  129. package/src/config/network_config.ts +3 -0
  130. package/src/config/network_name.ts +4 -1
  131. package/src/crypto/poseidon/index.ts +42 -44
  132. package/src/crypto/random/randomness_singleton.ts +9 -5
  133. package/src/crypto/secp256k1-signer/utils.ts +32 -0
  134. package/src/crypto/sync/poseidon/index.ts +0 -9
  135. package/src/curves/bn254/field.ts +6 -2
  136. package/src/eth-signature/eth_signature.ts +7 -1
  137. package/src/fifo/fifo_frame_reader.ts +98 -0
  138. package/src/fifo/index.ts +1 -0
  139. package/src/jest/setup.mjs +31 -1
  140. package/src/json-rpc/client/safe_json_rpc_client.ts +2 -0
  141. package/src/json-rpc/client/undici.ts +21 -3
  142. package/src/json-rpc/server/api_key_auth.ts +63 -0
  143. package/src/json-rpc/server/index.ts +1 -0
  144. package/src/json-rpc/server/safe_json_rpc_server.ts +1 -1
  145. package/src/log/bigint-utils.ts +25 -0
  146. package/src/log/gcloud-logger-config.ts +5 -0
  147. package/src/log/libp2p_logger.ts +12 -5
  148. package/src/log/log-filters.ts +29 -11
  149. package/src/log/pino-logger-server.ts +25 -0
  150. package/src/log/pino-logger.ts +142 -38
  151. package/src/queue/base_memory_queue.ts +1 -1
  152. package/src/queue/semaphore.ts +5 -0
  153. package/src/serialize/buffer_reader.ts +15 -0
  154. package/src/serialize/serialize.ts +32 -0
  155. package/src/sleep/index.ts +10 -1
  156. package/src/timer/date.ts +48 -0
  157. package/src/transport/transport_client.ts +2 -2
  158. package/src/trees/balanced_merkle_tree_root.ts +2 -5
  159. package/src/trees/hasher.ts +0 -4
  160. package/src/trees/indexed_merkle_tree_calculator.ts +5 -1
  161. package/src/trees/membership_witness.ts +8 -0
  162. package/src/trees/merkle_tree_calculator.ts +2 -2
  163. package/src/trees/sibling_path.ts +2 -2
  164. package/src/types/index.ts +5 -0
@@ -269,6 +269,22 @@ export function serializeBigInt(n: bigint, width = 32) {
269
269
  return toBufferBE(n, width);
270
270
  }
271
271
 
272
+ /**
273
+ * Serialize a signed BigInt value into a Buffer of specified width using two's complement.
274
+ * @param n - The signed BigInt value to be serialized.
275
+ * @param width - The width (in bytes) of the output Buffer, optional with default value 32.
276
+ * @returns A Buffer containing the serialized signed BigInt value in big-endian format.
277
+ */
278
+ export function serializeSignedBigInt(n: bigint, width = 32) {
279
+ const widthBits = BigInt(width * 8);
280
+ const max = 1n << (widthBits - 1n);
281
+ if (n < -max || n >= max) {
282
+ throw new Error(`Signed BigInt ${n.toString()} does not fit into ${width} bytes`);
283
+ }
284
+ const unsigned = n < 0n ? (1n << widthBits) + n : n;
285
+ return toBufferBE(unsigned, width);
286
+ }
287
+
272
288
  /**
273
289
  * Deserialize a big integer from a buffer, given an offset and width.
274
290
  * Reads the specified number of bytes from the buffer starting at the offset, converts it to a big integer, and returns the deserialized result along with the number of bytes read (advanced).
@@ -282,6 +298,22 @@ export function deserializeBigInt(buf: Buffer, offset = 0, width = 32) {
282
298
  return { elem: toBigIntBE(buf.subarray(offset, offset + width)), adv: width };
283
299
  }
284
300
 
301
+ /**
302
+ * Deserialize a signed BigInt from a buffer (two's complement).
303
+ * @param buf - The buffer containing the signed big integer to be deserialized.
304
+ * @param offset - The position in the buffer where the integer starts. Defaults to 0.
305
+ * @param width - The number of bytes to read from the buffer for the integer. Defaults to 32.
306
+ * @returns An object containing the deserialized signed bigint value ('elem') and bytes advanced ('adv').
307
+ */
308
+ export function deserializeSignedBigInt(buf: Buffer, offset = 0, width = 32) {
309
+ const { elem, adv } = deserializeBigInt(buf, offset, width);
310
+ const widthBits = BigInt(width * 8);
311
+ const signBit = 1n << (widthBits - 1n);
312
+ const fullRange = 1n << widthBits;
313
+ const signed = elem >= signBit ? elem - fullRange : elem;
314
+ return { elem: signed, adv };
315
+ }
316
+
285
317
  /**
286
318
  * Serializes a Date object into a Buffer containing its timestamp as a big integer value.
287
319
  * The resulting Buffer has a fixed width of 8 bytes, representing a 64-bit big-endian integer.
@@ -22,6 +22,7 @@ import { InterruptError } from '../error/index.js';
22
22
  */
23
23
  export class InterruptibleSleep {
24
24
  private interrupts: Array<(shouldThrow: boolean) => void> = [];
25
+ private timeoutIds: NodeJS.Timeout[] = [];
25
26
 
26
27
  /**
27
28
  * Sleep for a specified amount of time in milliseconds.
@@ -38,9 +39,15 @@ export class InterruptibleSleep {
38
39
  this.interrupts.push(resolve);
39
40
  });
40
41
 
41
- const timeoutPromise = new Promise<boolean>(resolve => setTimeout(() => resolve(false), ms));
42
+ let timeoutId: NodeJS.Timeout;
43
+ const timeoutPromise = new Promise<boolean>(resolve => {
44
+ timeoutId = setTimeout(() => resolve(false), ms);
45
+ this.timeoutIds.push(timeoutId);
46
+ });
42
47
  const shouldThrow = await Promise.race([interruptPromise, timeoutPromise]);
43
48
 
49
+ clearTimeout(timeoutId!);
50
+ this.timeoutIds = this.timeoutIds.filter(id => id !== timeoutId);
44
51
  this.interrupts = this.interrupts.filter(res => res !== interruptResolve);
45
52
 
46
53
  if (shouldThrow) {
@@ -58,6 +65,8 @@ export class InterruptibleSleep {
58
65
  public interrupt(sleepShouldThrow = false): void {
59
66
  this.interrupts.forEach(resolve => resolve(sleepShouldThrow));
60
67
  this.interrupts = [];
68
+ this.timeoutIds.forEach(id => clearTimeout(id));
69
+ this.timeoutIds = [];
61
70
  }
62
71
  }
63
72
 
package/src/timer/date.ts CHANGED
@@ -31,4 +31,52 @@ export class TestDateProvider extends DateProvider {
31
31
  this.offset = timeMs - Date.now();
32
32
  this.logger.warn(`Time set to ${new Date(timeMs).toISOString()}`, { offset: this.offset, timeMs });
33
33
  }
34
+
35
+ /** Resets the time back to real time (offset = 0). */
36
+ public reset() {
37
+ this.offset = 0;
38
+ this.logger.warn('Time reset to real time');
39
+ }
40
+
41
+ /** Advances the time by the given number of seconds. */
42
+ public advanceTime(seconds: number) {
43
+ this.offset += seconds * 1000;
44
+ }
45
+ }
46
+
47
+ /**
48
+ * A date provider for tests that only advances time via explicit advanceTime() calls.
49
+ * Unlike TestDateProvider, this does NOT track real time progression - time is completely
50
+ * frozen until explicitly advanced. This eliminates flakiness from tests taking
51
+ * varying amounts of real time to execute.
52
+ */
53
+ export class ManualDateProvider extends DateProvider {
54
+ private currentTimeMs: number;
55
+
56
+ /**
57
+ * @param initialTimeMs - Initial time in milliseconds. Defaults to a round timestamp for easy visualization.
58
+ */
59
+ constructor(initialTimeMs: number = Date.UTC(2025, 0, 1, 0, 0, 0)) {
60
+ super();
61
+ this.currentTimeMs = initialTimeMs;
62
+ }
63
+
64
+ public override now(): number {
65
+ return this.currentTimeMs;
66
+ }
67
+
68
+ /** Sets the current time to the given timestamp in milliseconds. */
69
+ public setTime(timeMs: number) {
70
+ this.currentTimeMs = timeMs;
71
+ }
72
+
73
+ /** Advances the time by the given number of seconds. */
74
+ public advanceTime(seconds: number) {
75
+ this.currentTimeMs += seconds * 1000;
76
+ }
77
+
78
+ /** Advances the time by the given number of milliseconds. */
79
+ public advanceTimeMs(ms: number) {
80
+ this.currentTimeMs += ms;
81
+ }
34
82
  }
@@ -91,7 +91,7 @@ export class TransportClient<Payload> extends EventEmitter {
91
91
  }
92
92
  const msgId = this.msgId++;
93
93
  const msg = { msgId, payload };
94
- log.debug(format(`->`, msg));
94
+ log.trace(format(`->`, msg));
95
95
  return new Promise<any>((resolve, reject) => {
96
96
  this.pendingRequests.push({ resolve, reject, msgId });
97
97
  this.socket!.send(msg, transfer).catch(reject);
@@ -111,7 +111,7 @@ export class TransportClient<Payload> extends EventEmitter {
111
111
  this.close();
112
112
  return;
113
113
  }
114
- log.debug(format(`<-`, msg));
114
+ log.trace(format(`<-`, msg));
115
115
  if (isEventMessage(msg)) {
116
116
  this.emit('event_msg', msg.payload);
117
117
  return;
@@ -1,10 +1,7 @@
1
- import { pedersenMerkleHash, poseidonMerkleHash, shaMerkleHash } from './hasher.js';
1
+ import { poseidonMerkleHash, shaMerkleHash } from './hasher.js';
2
2
 
3
3
  export const computeBalancedShaRoot = (leaves: Buffer[]) => computeBalancedMerkleTreeRoot(leaves);
4
4
 
5
- export const computeBalancedPedersenRoot = async (leaves: Buffer[]) =>
6
- await computeBalancedMerkleTreeRootAsync(leaves, pedersenMerkleHash);
7
-
8
5
  export const computeBalancedPoseidonRoot = async (leaves: Buffer[]) =>
9
6
  await computeBalancedMerkleTreeRootAsync(leaves, poseidonMerkleHash);
10
7
 
@@ -33,7 +30,7 @@ export function computeBalancedMerkleTreeRoot(leaves: Buffer[], hasher = shaMerk
33
30
 
34
31
  /**
35
32
  * Computes the Merkle root with the provided leaves **asynchronously**.
36
- * This method uses an asynchronous hash function (defaults to `pedersenHash`).
33
+ * This method uses an asynchronous hash function (defaults to `poseidon2Hash`).
37
34
  *
38
35
  * @throws If the number of leaves is not a power of two.
39
36
  */
@@ -1,4 +1,3 @@
1
- import { pedersenHash as pedersenHashArray } from '../crypto/pedersen/index.js';
2
1
  import { poseidon2Hash } from '../crypto/poseidon/index.js';
3
2
  import { sha256Trunc } from '../crypto/sha256/index.js';
4
3
 
@@ -45,8 +44,5 @@ export interface AsyncHasher {
45
44
  export const shaMerkleHash: Hasher['hash'] = (left: Buffer, right: Buffer) =>
46
45
  sha256Trunc(Buffer.concat([left, right])) as Buffer<ArrayBuffer>;
47
46
 
48
- export const pedersenMerkleHash: AsyncHasher['hash'] = async (left: Buffer, right: Buffer) =>
49
- (await pedersenHashArray([left, right])).toBuffer() as Buffer<ArrayBuffer>;
50
-
51
47
  export const poseidonMerkleHash: AsyncHasher['hash'] = async (left: Buffer, right: Buffer) =>
52
48
  (await poseidon2Hash([left, right])).toBuffer() as Buffer<ArrayBuffer>;
@@ -40,7 +40,11 @@ export class IndexedMerkleTreeCalculator<T extends IndexedTreeLeafPreimage, N ex
40
40
  }
41
41
  const sorted = values
42
42
  .map((v, i) => ({ value: v, index: i }))
43
- .sort((a, b) => Number(toBigIntBE(b.value) - toBigIntBE(a.value)));
43
+ .sort((a, b): -1 | 0 | 1 => {
44
+ const aBigInt = toBigIntBE(a.value);
45
+ const bBigInt = toBigIntBE(b.value);
46
+ return aBigInt < bBigInt ? 1 : aBigInt > bBigInt ? -1 : 0;
47
+ });
44
48
  const indexedLeaves = sorted.map((item, i) => ({
45
49
  leaf: this.factory.fromBuffer(
46
50
  Buffer.concat([
@@ -38,6 +38,14 @@ export class MembershipWitness<N extends number> {
38
38
  return [new Fr(this.leafIndex), ...this.siblingPath];
39
39
  }
40
40
 
41
+ /**
42
+ * Returns a representation of the membership witness as expected by intrinsic Noir deserialization.
43
+ */
44
+ public toNoirRepresentation(): (string | string[])[] {
45
+ // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
46
+ return [new Fr(this.leafIndex).toString() as string, this.siblingPath.map(fr => fr.toString()) as string[]];
47
+ }
48
+
41
49
  static schemaFor<N extends number>(size: N) {
42
50
  return schemas.Buffer.transform(b => MembershipWitness.fromBuffer(b, size));
43
51
  }
@@ -1,4 +1,4 @@
1
- import { pedersenHash } from '@aztec/foundation/crypto/pedersen';
1
+ import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
2
2
 
3
3
  import type { AsyncHasher } from './hasher.js';
4
4
  import { MerkleTree } from './merkle_tree.js';
@@ -19,7 +19,7 @@ export class MerkleTreeCalculator {
19
19
  height: number,
20
20
  zeroLeaf: Buffer = Buffer.alloc(32),
21
21
  hasher = async (left: Buffer, right: Buffer) =>
22
- (await pedersenHash([left, right])).toBuffer() as Buffer<ArrayBuffer>,
22
+ (await poseidon2Hash([left, right])).toBuffer() as Buffer<ArrayBuffer>,
23
23
  ) {
24
24
  const zeroHashes = [zeroLeaf];
25
25
  for (let i = 0; i < height; i++) {
@@ -1,5 +1,5 @@
1
1
  import { makeTuple } from '../array/array.js';
2
- import { pedersenHash } from '../crypto/pedersen/index.js';
2
+ import { poseidon2Hash } from '../crypto/poseidon/index.js';
3
3
  import { Fr } from '../curves/bn254/index.js';
4
4
  import { schemas } from '../schemas/index.js';
5
5
  import {
@@ -172,7 +172,7 @@ export async function computeRootFromSiblingPath(
172
172
  leaf: Buffer,
173
173
  siblingPath: Buffer[],
174
174
  index: number,
175
- hasher = async (left: Buffer, right: Buffer) => (await pedersenHash([left, right])).toBuffer(),
175
+ hasher = async (left: Buffer, right: Buffer) => (await poseidon2Hash([left, right])).toBuffer(),
176
176
  ) {
177
177
  let result = leaf;
178
178
  for (const sibling of siblingPath) {
@@ -24,6 +24,11 @@ export function isDefined<T>(value: T | undefined): value is T {
24
24
  return value !== undefined;
25
25
  }
26
26
 
27
+ /** Type guard for error classes */
28
+ export function isErrorClass<T extends Error>(value: unknown, errorClass: new (...args: any[]) => T): value is T {
29
+ return value instanceof errorClass || (value instanceof Error && value.name === errorClass.name);
30
+ }
31
+
27
32
  /** Resolves a record-like type. Lifted from viem. */
28
33
  export type Prettify<T> = {
29
34
  [K in keyof T]: T[K];