init

Author: sklppy88

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,10 @@ 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

@@ -1,4 +1,5 @@
 import { MerkleTreeId, UnencryptedL2Log } from '@aztec/circuit-types';
+import { IndexedTaggingSecret } from '@aztec/circuits.js';
 import { FunctionSelector, NoteSelector } from '@aztec/foundation/abi';
 import { AztecAddress } from '@aztec/foundation/aztec-address';
 import { Fr } from '@aztec/foundation/fields';
@@ -417,6 +418,12 @@ 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 override async incrementAppTaggingSecret(indexedTaggingSecret: IndexedTaggingSecret) {
+    await this.db.incrementAppTaggingSecret(indexedTaggingSecret);
+  }
 }

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

@@ -209,6 +209,8 @@ 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

yarn-project/txe/src/oracle/txe_oracle.ts

@@ -752,6 +752,10 @@ export class TXE implements TypedOracle {
     return;
   }
 
+  async incrementAppTaggingSecret(indexedSecret: IndexedTaggingSecret): Promise<void> {
+    await this.txeDatabase.incrementTaggingSecretsIndexes([indexedSecret.secret]);
+  }
+
   async getAppTaggingSecret(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret> {
     const senderCompleteAddress = await this.getCompleteAddress(sender);
     const senderIvsk = await this.keyStore.getMasterIncomingViewingSecretKey(sender);