init

noir-projects/aztec-nr/aztec/src/oracle/notes.nr

@@ -221,6 +221,18 @@ unconstrained fn get_app_tagging_secret_oracle(
     _recipient: AztecAddress,
 ) -> [Field; INDEXED_TAGGING_SECRET_LENGTH] {}
 
+
+pub unconstrained fn increment_app_tagging_secret(
+    to_increment: IndexedTaggingSecret,
+) {
+    increment_app_tagging_secret_oracle(to_increment);
+}
+
+#[oracle(incrementAppTaggingSecret)]
+unconstrained fn increment_app_tagging_secret_oracle(
+    to_increment: IndexedTaggingSecret,
+) {}
+
 /// Returns the tagging secrets for a given recipient and all the senders in PXE's address book,
 // siloed for the current contract address.
 /// Includes the last known index used for tagging with this secret.

yarn-project/circuits.js/src/structs/indexed_tagging_secret.ts

@@ -6,4 +6,8 @@ export class IndexedTaggingSecret {
   toFields(): Fr[] {
     return [this.secret, new Fr(this.index)];
   }
+
+  static fromFields(fields: Fr[]): IndexedTaggingSecret {
+    return new this(fields[0], fields[1].toNumber())
+  }
 }

yarn-project/pxe/src/simulator_oracle/index.ts

@@ -252,6 +252,12 @@ export class SimulatorOracle implements DBOracle {
     return new IndexedTaggingSecret(secret, index);
   }
 
+  public async incrementAppTaggingSecret(
+    indexedSecret: IndexedTaggingSecret,
+  ): Promise<void> {
+    await this.db.incrementTaggingSecretsIndexes([indexedSecret.secret]);
+  }
+
   /**
    * Returns the siloed tagging secrets for a given recipient and all the senders in the address book
    * @param contractAddress - The contract address to silo the secret for

yarn-project/simulator/src/acvm/oracle/oracle.ts

@@ -7,6 +7,7 @@ import { type ACVMField } from '../acvm_types.js';
 import { frToBoolean, frToNumber, fromACVMField } from '../deserialize.js';
 import { toACVMField } from '../serialize.js';
 import { type TypedOracle } from './typed_oracle.js';
+import { IndexedTaggingSecret } from '@aztec/circuits.js';
 
 /**
  * A data source that has all the apis required by Aztec.nr.
@@ -417,6 +418,10 @@ export class Oracle {
     return taggingSecret.toFields().map(toACVMField);
   }
 
+  async incrementAppTaggingSecret(indexedTaggingSecret: ACVMField[]) {
+    await this.typedOracle.incrementAppTaggingSecret(IndexedTaggingSecret.fromFields(indexedTaggingSecret.map(fromACVMField)));
+  }
+
   async getAppTaggingSecretsForSenders([recipient]: ACVMField[]): Promise<ACVMField[]> {
     const taggingSecrets = await this.typedOracle.getAppTaggingSecretsForSenders(AztecAddress.fromString(recipient));
     return taggingSecrets.flatMap(taggingSecret => taggingSecret.toFields().map(toACVMField));

yarn-project/simulator/src/acvm/oracle/typed_oracle.ts

@@ -258,6 +258,10 @@ export abstract class TypedOracle {
     throw new OracleMethodNotAvailableError('getAppTaggingSecret');
   }
 
+  incrementAppTaggingSecret(_indexedTaggingSecret: IndexedTaggingSecret): Promise<void> {
+    throw new OracleMethodNotAvailableError('incrementAppTaggingSecret');
+  }
+
   getAppTaggingSecretsForSenders(_recipient: AztecAddress): Promise<IndexedTaggingSecret[]> {
     throw new OracleMethodNotAvailableError('getAppTaggingSecretsForSenders');
   }

yarn-project/simulator/src/client/client_execution_context.ts

@@ -17,6 +17,7 @@ import {
   CallContext,
   FunctionSelector,
   type Header,
+  IndexedTaggingSecret,
   PRIVATE_CONTEXT_INPUTS_LENGTH,
   PUBLIC_DISPATCH_SELECTOR,
   PrivateContextInputs,
@@ -609,4 +610,8 @@ export class ClientExecutionContext extends ViewDataOracle {
   public getDebugFunctionName() {
     return this.db.getDebugFunctionName(this.contractAddress, this.callContext.functionSelector);
   }
+
+  public async incrementAppTaggingSecret(indexedTaggingSecret: IndexedTaggingSecret) {
+    await this.db.incrementTaggingSecret(indexedTaggingSecret);
+  }
 }

yarn-project/simulator/src/client/db_oracle.ts

@@ -209,6 +209,10 @@ export interface DBOracle extends CommitmentsDB {
     recipient: AztecAddress,
   ): Promise<IndexedTaggingSecret>;
 
+  incrementAppTaggingSecret(
+    indexedSecret: IndexedTaggingSecret,
+  ): Promise<void>;
+
   /**
    * Returns the siloed tagging secrets for a given recipient and all the senders in the address book
    * @param contractAddress - The contract address to silo the secret for