@aztec/pxe 0.0.1-commit.5476d83 → 0.0.1-commit.6230efd

package/src/private_kernel/hints/compute_side_effect_uniqueness_hints.ts

@@ -1,173 +0,0 @@
-import {
-  GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET,
-  GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET,
-  GLOBAL_INDEX_NOTE_HASH_OFFSET,
-  GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET,
-  GLOBAL_INDEX_NULLIFIER_OFFSET,
-  GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET,
-  GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET,
-  GLOBAL_INDEX_PRIVATE_LOG_OFFSET,
-  GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET,
-  MAX_CONTRACT_CLASS_LOGS_PER_CALL,
-  MAX_ENQUEUED_CALLS_PER_CALL,
-  MAX_L2_TO_L1_MSGS_PER_CALL,
-  MAX_NOTE_HASHES_PER_CALL,
-  MAX_NOTE_HASH_READ_REQUESTS_PER_CALL,
-  MAX_NULLIFIERS_PER_CALL,
-  MAX_NULLIFIER_READ_REQUESTS_PER_CALL,
-  MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL,
-  MAX_PRIVATE_LOGS_PER_CALL,
-  TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL,
-} from '@aztec/constants';
-import { makeTuple } from '@aztec/foundation/array';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import type { Serializable } from '@aztec/foundation/serialize';
-import {
-  ClaimedLengthArray,
-  PrivateCallRequest,
-  type PrivateCircuitPublicInputs,
-  SideEffectCounterRange,
-  SideEffectUniquenessHints,
-} from '@aztec/stdlib/kernel';
-
-export function computeSideEffectUniquenessHints(publicInputs: PrivateCircuitPublicInputs): SideEffectUniquenessHints {
-  let sideEffectRanges: SideEffectCounterRange[] = [];
-
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.noteHashReadRequests,
-      GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.nullifierReadRequests,
-      GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.noteHashes,
-      GLOBAL_INDEX_NOTE_HASH_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.nullifiers,
-      GLOBAL_INDEX_NULLIFIER_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.privateCallRequests,
-      GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET,
-      createRangeFromPrivateCallRequest,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.publicCallRequests,
-      GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.l2ToL1Msgs,
-      GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.privateLogs,
-      GLOBAL_INDEX_PRIVATE_LOG_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-  sideEffectRanges = sideEffectRanges.concat(
-    createRangesFromClaimedLengthArray(
-      publicInputs.contractClassLogsHashes,
-      GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET,
-      createRangeFromCountedItem,
-    ),
-  );
-
-  sideEffectRanges.sort((a, b) => a.start - b.start);
-
-  const sideEffectRangeIndices = makeTuple(TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL, () => 0);
-  for (let i = 0; i < sideEffectRanges.length; i++) {
-    const range = sideEffectRanges[i];
-    sideEffectRangeIndices[range.sideEffectGlobalIndex] = i;
-  }
-
-  const hints = SideEffectUniquenessHints.from({
-    sideEffectRanges: padArrayEnd(
-      sideEffectRanges,
-      SideEffectCounterRange.empty(),
-      TOTAL_COUNTED_SIDE_EFFECTS_PER_CALL,
-    ),
-    noteHashReadRequestIndices: makeTuple(
-      MAX_NOTE_HASH_READ_REQUESTS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NOTE_HASH_READ_REQUEST_OFFSET],
-    ),
-    nullifierReadRequestIndices: makeTuple(
-      MAX_NULLIFIER_READ_REQUESTS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NULLIFIER_READ_REQUEST_OFFSET],
-    ),
-    noteHashesIndices: makeTuple(
-      MAX_NOTE_HASHES_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NOTE_HASH_OFFSET],
-    ),
-    nullifiersIndices: makeTuple(
-      MAX_NULLIFIERS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_NULLIFIER_OFFSET],
-    ),
-    privateCallRequestsIndices: makeTuple(
-      MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PRIVATE_CALL_REQUEST_OFFSET],
-    ),
-    publicCallRequestsIndices: makeTuple(
-      MAX_ENQUEUED_CALLS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PUBLIC_CALL_REQUEST_OFFSET],
-    ),
-    l2ToL1MsgsIndices: makeTuple(
-      MAX_L2_TO_L1_MSGS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_L2_TO_L1_MSG_OFFSET],
-    ),
-    privateLogsIndices: makeTuple(
-      MAX_PRIVATE_LOGS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_PRIVATE_LOG_OFFSET],
-    ),
-    contractClassLogsHashesIndices: makeTuple(
-      MAX_CONTRACT_CLASS_LOGS_PER_CALL,
-      i => sideEffectRangeIndices[i + GLOBAL_INDEX_CONTRACT_CLASS_LOG_HASH_OFFSET],
-    ),
-  });
-
-  return hints;
-}
-
-function createRangesFromClaimedLengthArray<T extends Serializable, N extends number>(
-  array: ClaimedLengthArray<T, N>,
-  globalIndexOffset: number,
-  rangeConstructor: (item: T, globalIndex: number) => SideEffectCounterRange,
-): SideEffectCounterRange[] {
-  const ranges = [];
-  for (let i = 0; i < array.claimedLength; i++) {
-    ranges.push(rangeConstructor(array.array[i], globalIndexOffset + i));
-  }
-  return ranges;
-}
-
-function createRangeFromCountedItem(item: { counter: number }, globalIndex: number): SideEffectCounterRange {
-  return new SideEffectCounterRange(item.counter, item.counter, globalIndex);
-}
-
-function createRangeFromPrivateCallRequest(item: PrivateCallRequest, globalIndex: number): SideEffectCounterRange {
-  return new SideEffectCounterRange(item.startSideEffectCounter, item.endSideEffectCounter, globalIndex);
-}

package/src/storage/address_data_provider/index.ts

@@ -1 +0,0 @@
-export { AddressDataProvider } from './address_data_provider.js';

package/src/storage/capsule_data_provider/index.ts

@@ -1 +0,0 @@
-export { CapsuleDataProvider } from './capsule_data_provider.js';

package/src/storage/contract_data_provider/index.ts

@@ -1 +0,0 @@
-export { ContractDataProvider } from './contract_data_provider.js';

package/src/storage/note_data_provider/index.ts

@@ -1,2 +0,0 @@
-export { NoteDao } from '@aztec/stdlib/note';
-export { NoteDataProvider } from './note_data_provider.js';

package/src/storage/sync_data_provider/index.ts

@@ -1 +0,0 @@
-export { SyncDataProvider } from './sync_data_provider.js';

package/src/storage/tagging_data_provider/index.ts

@@ -1 +0,0 @@
-export { TaggingDataProvider } from './tagging_data_provider.js';

package/src/storage/tagging_data_provider/tagging_data_provider.ts

@@ -1,120 +0,0 @@
-import { toArray } from '@aztec/foundation/iterable';
-import type { AztecAsyncKVStore, AztecAsyncMap } from '@aztec/kv-store';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { DirectionalAppTaggingSecret, PreTag } from '@aztec/stdlib/logs';
-
-export class TaggingDataProvider {
-  #store: AztecAsyncKVStore;
-  #addressBook: AztecAsyncMap<string, true>;
-
-  // Stores the last used index for each directional app tagging secret. Taking into account whether we are
-  // requesting the index as a sender or as a recipient because the sender and recipient can be in the same PXE.
-  #lastUsedIndexesAsSenders: AztecAsyncMap<string, number>;
-  #lastUsedIndexesAsRecipients: AztecAsyncMap<string, number>;
-
-  constructor(store: AztecAsyncKVStore) {
-    this.#store = store;
-
-    this.#addressBook = this.#store.openMap('address_book');
-
-    this.#lastUsedIndexesAsSenders = this.#store.openMap('last_used_indexes_as_senders');
-    this.#lastUsedIndexesAsRecipients = this.#store.openMap('last_used_indexes_as_recipients');
-  }
-
-  /**
-   * Sets the last used indexes when sending a log.
-   * @param preTags - The pre tags containing the directional app tagging secrets and the indexes that are to be
-   * updated in the db.
-   * @throws If any two pre tags contain the same directional app tagging secret
-   */
-  setLastUsedIndexesAsSender(preTags: PreTag[]) {
-    this.#assertUniqueSecrets(preTags, 'sender');
-
-    return Promise.all(
-      preTags.map(({ secret, index }) => this.#lastUsedIndexesAsSenders.set(secret.toString(), index)),
-    );
-  }
-
-  /**
-   * Sets the last used indexes when looking for logs.
-   * @param preTags - The pre tags containing the directional app tagging secrets and the indexes that are to be
-   * updated in the db.
-   * @throws If any two pre tags contain the same directional app tagging secret
-   */
-  setLastUsedIndexesAsRecipient(preTags: PreTag[]) {
-    this.#assertUniqueSecrets(preTags, 'recipient');
-
-    return Promise.all(
-      preTags.map(({ secret, index }) => this.#lastUsedIndexesAsRecipients.set(secret.toString(), index)),
-    );
-  }
-
-  // It should never happen that we would receive any two pre tags on the input containing the same directional app
-  // tagging secret as everywhere we always just apply the largest index. Hence this check is a good way to catch
-  // bugs.
-  #assertUniqueSecrets(preTags: PreTag[], role: 'sender' | 'recipient'): void {
-    const secretStrings = preTags.map(({ secret }) => secret.toString());
-    const uniqueSecrets = new Set(secretStrings);
-    if (uniqueSecrets.size !== secretStrings.length) {
-      throw new Error(`Duplicate secrets found when setting last used indexes as ${role}`);
-    }
-  }
-
-  /**
-   * Returns the last used index when sending a log with a given secret.
-   * @param secret - The directional app tagging secret.
-   * @returns The last used index for the given directional app tagging secret, or undefined if not found.
-   */
-  async getLastUsedIndexesAsSender(secret: DirectionalAppTaggingSecret): Promise<number | undefined> {
-    return await this.#lastUsedIndexesAsSenders.getAsync(secret.toString());
-  }
-
-  /**
-   * Returns the last used indexes when looking for logs as a recipient.
-   * @param secrets - The directional app tagging secrets to obtain the indexes for.
-   * @returns The last used indexes for the given directional app tagging secrets, or undefined if have never yet found
-   * a log for a given secret.
-   */
-  getLastUsedIndexesAsRecipient(secrets: DirectionalAppTaggingSecret[]): Promise<(number | undefined)[]> {
-    return Promise.all(secrets.map(secret => this.#lastUsedIndexesAsRecipients.getAsync(secret.toString())));
-  }
-
-  resetNoteSyncData(): Promise<void> {
-    return this.#store.transactionAsync(async () => {
-      const keysForSenders = await toArray(this.#lastUsedIndexesAsSenders.keysAsync());
-      await Promise.all(keysForSenders.map(secret => this.#lastUsedIndexesAsSenders.delete(secret)));
-      const keysForRecipients = await toArray(this.#lastUsedIndexesAsRecipients.keysAsync());
-      await Promise.all(keysForRecipients.map(secret => this.#lastUsedIndexesAsRecipients.delete(secret)));
-    });
-  }
-
-  async addSenderAddress(address: AztecAddress): Promise<boolean> {
-    if (await this.#addressBook.hasAsync(address.toString())) {
-      return false;
-    }
-
-    await this.#addressBook.set(address.toString(), true);
-
-    return true;
-  }
-
-  async getSenderAddresses(): Promise<AztecAddress[]> {
-    return (await toArray(this.#addressBook.keysAsync())).map(AztecAddress.fromString);
-  }
-
-  async removeSenderAddress(address: AztecAddress): Promise<boolean> {
-    if (!(await this.#addressBook.hasAsync(address.toString()))) {
-      return false;
-    }
-
-    await this.#addressBook.delete(address.toString());
-
-    return true;
-  }
-
-  async getSize() {
-    const addressesCount = (await toArray(this.#addressBook.keysAsync())).length;
-    // All keys are addresses
-    return 3 * addressesCount * AztecAddress.SIZE_IN_BYTES;
-  }
-}

package/src/synchronizer/index.ts

@@ -1 +0,0 @@
-export * from './synchronizer.js';

package/src/tagging/constants.ts

@@ -1,2 +0,0 @@
-// Half the size of the window we slide over the tagging indexes.
-export const WINDOW_HALF_SIZE = 10;

package/src/tagging/siloed_tag.ts

@@ -1,22 +0,0 @@
-import { poseidon2Hash } from '@aztec/foundation/crypto';
-import type { Fr } from '@aztec/foundation/fields';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-
-import type { Tag } from './tag.js';
-
-/**
- * Represents a tag used in private log as it "appears on the chain" - that is the tag is siloed with a contract
- * address that emitted the log.
- */
-export class SiloedTag {
-  private constructor(public readonly value: Fr) {}
-
-  static async compute(tag: Tag, app: AztecAddress): Promise<SiloedTag> {
-    const siloedTag = await poseidon2Hash([app, tag.value]);
-    return new SiloedTag(siloedTag);
-  }
-
-  toString(): string {
-    return this.value.toString();
-  }
-}

package/src/tagging/tag.ts

@@ -1,16 +0,0 @@
-import { poseidon2Hash } from '@aztec/foundation/crypto';
-import type { Fr } from '@aztec/foundation/fields';
-import type { PreTag } from '@aztec/stdlib/logs';
-
-/**
- * Represents a tag of a private log. This is not the tag that "appears" on the chain as this tag is first siloed
- * with a contract address by kernels before being included in the final log.
- */
-export class Tag {
-  private constructor(public readonly value: Fr) {}
-
-  static async compute(preTag: PreTag): Promise<Tag> {
-    const tag = await poseidon2Hash([preTag.secret.value, preTag.index]);
-    return new Tag(tag);
-  }
-}

package/src/tagging/utils.ts

@@ -1,31 +0,0 @@
-import type { DirectionalAppTaggingSecret, PreTag } from '@aztec/stdlib/logs';
-
-// TODO(benesjan): Make this return tags instead - this will moves some complexity from syncTaggedLogs
-export function getPreTagsForTheWindow(
-  secretsAndWindows: { secret: DirectionalAppTaggingSecret; leftMostIndex: number; rightMostIndex: number }[],
-): PreTag[] {
-  const secrets = [];
-  for (const secretAndWindow of secretsAndWindows) {
-    for (let i = secretAndWindow.leftMostIndex; i <= secretAndWindow.rightMostIndex; i++) {
-      secrets.push({ secret: secretAndWindow.secret, index: i });
-    }
-  }
-  return secrets;
-}
-
-/**
- * Creates a map from directional app tagging secret to initial index.
- * @param preTags - The pre tags to get the initial indexes map from.
- * @returns The map from directional app tagging secret to initial index.
- */
-export function getInitialIndexesMap(preTags: { secret: DirectionalAppTaggingSecret; index: number | undefined }[]): {
-  [k: string]: number;
-} {
-  const initialIndexes: { [k: string]: number } = {};
-
-  for (const preTag of preTags) {
-    initialIndexes[preTag.secret.toString()] = preTag.index ?? 0;
-  }
-
-  return initialIndexes;
-}