@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.17

package/dest/{acvm → private/acvm}/oracle/oracle.d.ts

@@ -1,5 +1,5 @@
-import { type ACVMField } from '../acvm_types.js';
-import { type TypedOracle } from './typed_oracle.js';
+import type { ACVMField } from '../acvm_types.js';
+import type { TypedOracle } from './typed_oracle.js';
 /**
  * A data source that has all the apis required by Aztec.nr.
  */
@@ -30,7 +30,7 @@ export declare class Oracle {
     getL1ToL2MembershipWitness([contractAddress]: ACVMField[], [messageHash]: ACVMField[], [secret]: ACVMField[]): Promise<ACVMField[]>;
     storageRead([contractAddress]: ACVMField[], [startStorageSlot]: ACVMField[], [blockNumber]: ACVMField[], [numberOfElements]: ACVMField[]): Promise<ACVMField[]>;
     storageWrite([startStorageSlot]: ACVMField[], values: ACVMField[]): Promise<ACVMField[]>;
-    emitContractClassLog([contractAddress]: ACVMField[], message: ACVMField[], [counter]: ACVMField[]): ACVMField;
+    emitContractClassLog([contractAddress]: ACVMField[], message: ACVMField[], [counter]: ACVMField[]): void;
     debugLog(message: ACVMField[], _ignoredFieldsSize: ACVMField[], fields: ACVMField[]): void;
     callPrivateFunction([contractAddress]: ACVMField[], [functionSelector]: ACVMField[], [argsHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[]>;
     enqueuePublicFunctionCall([contractAddress]: ACVMField[], [functionSelector]: ACVMField[], [argsHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField>;
@@ -40,6 +40,7 @@ export declare class Oracle {
     incrementAppTaggingSecretIndexAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<void>;
     syncNotes(): Promise<void>;
     deliverNote([contractAddress]: ACVMField[], [storageSlot]: ACVMField[], [nonce]: ACVMField[], content: ACVMField[], [contentLength]: ACVMField[], [noteHash]: ACVMField[], [nullifier]: ACVMField[], [txHash]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField>;
+    getLogByTag([tag]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
     storeCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], capsule: ACVMField[]): Promise<void>;
     loadCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], [tSize]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
     deleteCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[]): Promise<void>;

package/dest/private/acvm/oracle/oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["../../../../src/private/acvm/oracle/oracle.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAGlD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;GAEG;AACH,qBAAa,MAAM;IACL,OAAO,CAAC,WAAW;gBAAX,WAAW,EAAE,WAAW;IAE5C,cAAc,IAAI,SAAS;IAMrB,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAKpF,sBAAsB,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKxE,cAAc,IAAI,OAAO,CAAC,SAAS,CAAC;IAIpC,kBAAkB,IAAI,OAAO,CAAC,SAAS,CAAC;IAIxC,UAAU,IAAI,OAAO,CAAC,SAAS,CAAC;IAIhC,UAAU,IAAI,OAAO,CAAC,SAAS,CAAC;IAIhC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAMrE,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE;IAY1C,oBAAoB,CACxB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,EAAE,CAAC;IAcjB,6BAA6B,CACjC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,EAAE,CAAC;IAWjB,gCAAgC,CACpC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,EAAE,CAAC;IAajB,wBAAwB,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAWnG,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAUhE,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAShE,8BAA8B,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAO5E,QAAQ,CACZ,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,YAAY,EAAE,SAAS,EAAE,EACzB,iBAAiB,EAAE,SAAS,EAAE,EAC9B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,SAAS,EAAE,SAAS,EAAE,EACtB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,GACxB,OAAO,CAAC,SAAS,EAAE,CAAC;IA8CvB,iBAAiB,CACf,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,IAAI,EAAE,SAAS,EAAE,EACjB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,SAAS;IAWN,mBAAmB,CACvB,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,EAC7B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,CAAC;IAKf,sBAAsB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAKzE,oBAAoB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC;IAKvE,0BAA0B,CAC9B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC;IASjB,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,GAC9B,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,YAAY,CAAC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAK9F,oBAAoB,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,IAAI;IAOxG,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,kBAAkB,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,IAAI;IAMpF,mBAAmB,CACvB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,CAAC;IAWjB,yBAAyB,CAC7B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,CAAC;IAWf,6BAA6B,CACjC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,CAAC;IAWrB,uCAAuC,CAAC,CAAC,8BAA8B,CAAC,EAAE,SAAS,EAAE;IAI/E,+BAA+B,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAQtG,sCAAsC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE;IAOtF,SAAS;IAIT,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,OAAO,EAAE,SAAS,EAAE,EACpB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAC5B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EACxB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,CAAC;IAkBf,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAUrE,YAAY,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;IAQtF,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EACnB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GACnB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAiBjC,aAAa,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE;IAIjE,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE;CAS5B"}

package/dest/private/acvm/oracle/oracle.js

@@ -0,0 +1,263 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { ContractClassLog, LogWithTxData } from '@aztec/stdlib/logs';
+import { MerkleTreeId } from '@aztec/stdlib/trees';
+import { frToBoolean, frToNumber, fromACVMField, fromBoundedVec } from '../deserialize.js';
+import { toACVMField, toACVMFieldSingleOrArray } from '../serialize.js';
+/**
+ * A data source that has all the apis required by Aztec.nr.
+ */ export class Oracle {
+    typedOracle;
+    constructor(typedOracle){
+        this.typedOracle = typedOracle;
+    }
+    getRandomField() {
+        const val = this.typedOracle.getRandomField();
+        return toACVMField(val);
+    }
+    // Since the argument is a slice, noir automatically adds a length field to oracle call.
+    async storeInExecutionCache(_length, values) {
+        const hash = await this.typedOracle.storeInExecutionCache(values.map(fromACVMField));
+        return toACVMField(hash);
+    }
+    async loadFromExecutionCache([returnsHash]) {
+        const values = await this.typedOracle.loadFromExecutionCache(fromACVMField(returnsHash));
+        return values.map(toACVMField);
+    }
+    async getBlockNumber() {
+        return toACVMField(await this.typedOracle.getBlockNumber());
+    }
+    async getContractAddress() {
+        return toACVMField(await this.typedOracle.getContractAddress());
+    }
+    async getVersion() {
+        return toACVMField(await this.typedOracle.getVersion());
+    }
+    async getChainId() {
+        return toACVMField(await this.typedOracle.getChainId());
+    }
+    async getKeyValidationRequest([pkMHash]) {
+        const { pkM, skApp } = await this.typedOracle.getKeyValidationRequest(fromACVMField(pkMHash));
+        return [
+            toACVMField(pkM.x),
+            toACVMField(pkM.y),
+            toACVMField(pkM.isInfinite),
+            toACVMField(skApp)
+        ];
+    }
+    async getContractInstance([address]) {
+        const instance = await this.typedOracle.getContractInstance(AztecAddress.fromField(fromACVMField(address)));
+        return [
+            instance.salt,
+            instance.deployer,
+            instance.currentContractClassId,
+            instance.initializationHash,
+            ...instance.publicKeys.toFields()
+        ].map(toACVMField);
+    }
+    async getMembershipWitness([blockNumber], [treeId], [leafValue]) {
+        const parsedBlockNumber = frToNumber(fromACVMField(blockNumber));
+        const parsedTreeId = frToNumber(fromACVMField(treeId));
+        const parsedLeafValue = fromACVMField(leafValue);
+        const witness = await this.typedOracle.getMembershipWitness(parsedBlockNumber, parsedTreeId, parsedLeafValue);
+        if (!witness) {
+            throw new Error(`Leaf ${leafValue} not found in the tree ${MerkleTreeId[parsedTreeId]} at block ${parsedBlockNumber}.`);
+        }
+        return witness.map(toACVMField);
+    }
+    async getNullifierMembershipWitness([blockNumber], [nullifier]) {
+        const parsedBlockNumber = frToNumber(fromACVMField(blockNumber));
+        const parsedNullifier = fromACVMField(nullifier);
+        const witness = await this.typedOracle.getNullifierMembershipWitness(parsedBlockNumber, parsedNullifier);
+        if (!witness) {
+            throw new Error(`Nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`);
+        }
+        return witness.toFields().map(toACVMField);
+    }
+    async getLowNullifierMembershipWitness([blockNumber], [nullifier]) {
+        const parsedBlockNumber = frToNumber(fromACVMField(blockNumber));
+        const parsedNullifier = fromACVMField(nullifier);
+        const witness = await this.typedOracle.getLowNullifierMembershipWitness(parsedBlockNumber, parsedNullifier);
+        if (!witness) {
+            throw new Error(`Low nullifier witness not found for nullifier ${parsedNullifier} at block ${parsedBlockNumber}.`);
+        }
+        return witness.toFields().map(toACVMField);
+    }
+    async getPublicDataTreeWitness([blockNumber], [leafSlot]) {
+        const parsedBlockNumber = frToNumber(fromACVMField(blockNumber));
+        const parsedLeafSlot = fromACVMField(leafSlot);
+        const witness = await this.typedOracle.getPublicDataTreeWitness(parsedBlockNumber, parsedLeafSlot);
+        if (!witness) {
+            throw new Error(`Public data witness not found for slot ${parsedLeafSlot} at block ${parsedBlockNumber}.`);
+        }
+        return witness.toFields().map(toACVMField);
+    }
+    async getBlockHeader([blockNumber]) {
+        const parsedBlockNumber = frToNumber(fromACVMField(blockNumber));
+        const header = await this.typedOracle.getBlockHeader(parsedBlockNumber);
+        if (!header) {
+            throw new Error(`Block header not found for block ${parsedBlockNumber}.`);
+        }
+        return header.toFields().map(toACVMField);
+    }
+    async getAuthWitness([messageHash]) {
+        const messageHashField = fromACVMField(messageHash);
+        const witness = await this.typedOracle.getAuthWitness(messageHashField);
+        if (!witness) {
+            throw new Error(`Authorization not found for message hash ${messageHashField}`);
+        }
+        return witness.map(toACVMField);
+    }
+    async getPublicKeysAndPartialAddress([address]) {
+        const parsedAddress = AztecAddress.fromField(fromACVMField(address));
+        const { publicKeys, partialAddress } = await this.typedOracle.getCompleteAddress(parsedAddress);
+        return [
+            ...publicKeys.toFields(),
+            partialAddress
+        ].map(toACVMField);
+    }
+    async getNotes([storageSlot], [numSelects], selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, [limit], [offset], [status], [returnSize]) {
+        const noteDatas = await this.typedOracle.getNotes(fromACVMField(storageSlot), +numSelects, selectByIndexes.map((s)=>+s), selectByOffsets.map((s)=>+s), selectByLengths.map((s)=>+s), selectValues.map(fromACVMField), selectComparators.map((s)=>+s), sortByIndexes.map((s)=>+s), sortByOffsets.map((s)=>+s), sortByLengths.map((s)=>+s), sortOrder.map((s)=>+s), +limit, +offset, +status);
+        const noteLength = noteDatas?.[0]?.note.items.length ?? 0;
+        if (!noteDatas.every(({ note })=>noteLength === note.items.length)) {
+            throw new Error('Notes should all be the same length.');
+        }
+        const contractAddress = noteDatas[0]?.contractAddress ?? Fr.ZERO;
+        // Values indicates whether the note is settled or transient.
+        const noteTypes = {
+            isSettled: new Fr(0),
+            isTransient: new Fr(1)
+        };
+        const flattenData = noteDatas.flatMap(({ nonce, note, index })=>[
+                nonce,
+                index === undefined ? noteTypes.isTransient : noteTypes.isSettled,
+                ...note.items
+            ]);
+        const returnFieldSize = +returnSize;
+        const returnData = [
+            noteDatas.length,
+            contractAddress,
+            ...flattenData
+        ].map((v)=>toACVMField(v));
+        if (returnData.length > returnFieldSize) {
+            throw new Error(`Return data size too big. Maximum ${returnFieldSize} fields. Got ${flattenData.length}.`);
+        }
+        const paddedZeros = Array(returnFieldSize - returnData.length).fill(toACVMField(0));
+        return returnData.concat(paddedZeros);
+    }
+    notifyCreatedNote([storageSlot], [noteTypeId], note, [noteHash], [counter]) {
+        this.typedOracle.notifyCreatedNote(fromACVMField(storageSlot), NoteSelector.fromField(fromACVMField(noteTypeId)), note.map(fromACVMField), fromACVMField(noteHash), +counter);
+        return toACVMField(0);
+    }
+    async notifyNullifiedNote([innerNullifier], [noteHash], [counter]) {
+        await this.typedOracle.notifyNullifiedNote(fromACVMField(innerNullifier), fromACVMField(noteHash), +counter);
+        return toACVMField(0);
+    }
+    async notifyCreatedNullifier([innerNullifier]) {
+        await this.typedOracle.notifyCreatedNullifier(fromACVMField(innerNullifier));
+        return toACVMField(0);
+    }
+    async checkNullifierExists([innerNullifier]) {
+        const exists = await this.typedOracle.checkNullifierExists(fromACVMField(innerNullifier));
+        return toACVMField(exists);
+    }
+    async getL1ToL2MembershipWitness([contractAddress], [messageHash], [secret]) {
+        const message = await this.typedOracle.getL1ToL2MembershipWitness(AztecAddress.fromString(contractAddress), fromACVMField(messageHash), fromACVMField(secret));
+        return message.toFields().map(toACVMField);
+    }
+    async storageRead([contractAddress], [startStorageSlot], [blockNumber], [numberOfElements]) {
+        const values = await this.typedOracle.storageRead(new AztecAddress(fromACVMField(contractAddress)), fromACVMField(startStorageSlot), +blockNumber, +numberOfElements);
+        return values.map(toACVMField);
+    }
+    async storageWrite([startStorageSlot], values) {
+        const newValues = await this.typedOracle.storageWrite(fromACVMField(startStorageSlot), values.map(fromACVMField));
+        return newValues.map(toACVMField);
+    }
+    emitContractClassLog([contractAddress], message, [counter]) {
+        const logPayload = message.map(fromACVMField);
+        const log = new ContractClassLog(new AztecAddress(fromACVMField(contractAddress)), logPayload);
+        this.typedOracle.emitContractClassLog(log, +counter);
+    }
+    debugLog(message, _ignoredFieldsSize, fields) {
+        const messageStr = message.map((acvmField)=>String.fromCharCode(fromACVMField(acvmField).toNumber())).join('');
+        const fieldsFr = fields.map(fromACVMField);
+        this.typedOracle.debugLog(messageStr, fieldsFr);
+    }
+    async callPrivateFunction([contractAddress], [functionSelector], [argsHash], [sideEffectCounter], [isStaticCall]) {
+        const { endSideEffectCounter, returnsHash } = await this.typedOracle.callPrivateFunction(AztecAddress.fromField(fromACVMField(contractAddress)), FunctionSelector.fromField(fromACVMField(functionSelector)), fromACVMField(argsHash), frToNumber(fromACVMField(sideEffectCounter)), frToBoolean(fromACVMField(isStaticCall)));
+        return [
+            endSideEffectCounter,
+            returnsHash
+        ].map(toACVMField);
+    }
+    async enqueuePublicFunctionCall([contractAddress], [functionSelector], [argsHash], [sideEffectCounter], [isStaticCall]) {
+        const newArgsHash = await this.typedOracle.enqueuePublicFunctionCall(AztecAddress.fromString(contractAddress), FunctionSelector.fromField(fromACVMField(functionSelector)), fromACVMField(argsHash), frToNumber(fromACVMField(sideEffectCounter)), frToBoolean(fromACVMField(isStaticCall)));
+        return toACVMField(newArgsHash);
+    }
+    async setPublicTeardownFunctionCall([contractAddress], [functionSelector], [argsHash], [sideEffectCounter], [isStaticCall]) {
+        const newArgsHash = await this.typedOracle.setPublicTeardownFunctionCall(AztecAddress.fromString(contractAddress), FunctionSelector.fromField(fromACVMField(functionSelector)), fromACVMField(argsHash), frToNumber(fromACVMField(sideEffectCounter)), frToBoolean(fromACVMField(isStaticCall)));
+        return toACVMField(newArgsHash);
+    }
+    notifySetMinRevertibleSideEffectCounter([minRevertibleSideEffectCounter]) {
+        this.typedOracle.notifySetMinRevertibleSideEffectCounter(frToNumber(fromACVMField(minRevertibleSideEffectCounter)));
+    }
+    async getIndexedTaggingSecretAsSender([sender], [recipient]) {
+        const taggingSecret = await this.typedOracle.getIndexedTaggingSecretAsSender(AztecAddress.fromString(sender), AztecAddress.fromString(recipient));
+        return taggingSecret.toFields().map(toACVMField);
+    }
+    async incrementAppTaggingSecretIndexAsSender([sender], [recipient]) {
+        await this.typedOracle.incrementAppTaggingSecretIndexAsSender(AztecAddress.fromString(sender), AztecAddress.fromString(recipient));
+    }
+    async syncNotes() {
+        await this.typedOracle.syncNotes();
+    }
+    async deliverNote([contractAddress], [storageSlot], [nonce], content, [contentLength], [noteHash], [nullifier], [txHash], [recipient]) {
+        // TODO(#10728): try-catch this block and return false if we get an exception so that the contract can decide what
+        // to do if a note fails delivery (e.g. not increment the tagging index, or add it to some pending work list).
+        // Delivery might fail due to temporary issues, such as poor node connectivity.
+        await this.typedOracle.deliverNote(AztecAddress.fromString(contractAddress), fromACVMField(storageSlot), fromACVMField(nonce), fromBoundedVec(content, contentLength), fromACVMField(noteHash), fromACVMField(nullifier), fromACVMField(txHash), AztecAddress.fromString(recipient));
+        return toACVMField(true);
+    }
+    async getLogByTag([tag]) {
+        const log = await this.typedOracle.getLogByTag(fromACVMField(tag));
+        if (log == null) {
+            return [
+                toACVMField(0),
+                ...LogWithTxData.noirSerializationOfEmpty().map(toACVMFieldSingleOrArray)
+            ];
+        } else {
+            return [
+                toACVMField(1),
+                ...log.toNoirSerialization().map(toACVMFieldSingleOrArray)
+            ];
+        }
+    }
+    async storeCapsule([contractAddress], [slot], capsule) {
+        await this.typedOracle.storeCapsule(AztecAddress.fromField(fromACVMField(contractAddress)), fromACVMField(slot), capsule.map(fromACVMField));
+    }
+    async loadCapsule([contractAddress], [slot], [tSize]) {
+        const values = await this.typedOracle.loadCapsule(AztecAddress.fromField(fromACVMField(contractAddress)), fromACVMField(slot));
+        // We are going to return a Noir Option struct to represent the possibility of null values. Options are a struct
+        // with two fields: `some` (a boolean) and `value` (a field array in this case).
+        if (values === null) {
+            // No data was found so we set `some` to 0 and pad `value` with zeros get the correct return size.
+            return [
+                toACVMField(0),
+                Array(frToNumber(fromACVMField(tSize))).fill(toACVMField(0))
+            ];
+        } else {
+            // Data was found so we set `some` to 1 and return it along with `value`.
+            return [
+                toACVMField(1),
+                values.map(toACVMField)
+            ];
+        }
+    }
+    async deleteCapsule([contractAddress], [slot]) {
+        await this.typedOracle.deleteCapsule(AztecAddress.fromField(fromACVMField(contractAddress)), fromACVMField(slot));
+    }
+    async copyCapsule([contractAddress], [srcSlot], [dstSlot], [numEntries]) {
+        await this.typedOracle.copyCapsule(AztecAddress.fromField(fromACVMField(contractAddress)), fromACVMField(srcSlot), fromACVMField(dstSlot), frToNumber(fromACVMField(numEntries)));
+    }
+}

package/dest/{acvm → private/acvm}/oracle/typed_oracle.d.ts

@@ -1,11 +1,16 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
-import { type CompleteAddress, type MerkleTreeId, type Note, type NoteStatus, type NullifierMembershipWitness, type PublicDataWitness, type UnencryptedL2Log } from '@aztec/circuit-types';
-import { type BlockHeader, type ContractInstance, type IndexedTaggingSecret, type KeyValidationRequest, type L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/circuits.js';
-import { type FunctionSelector, type NoteSelector } from '@aztec/foundation/abi';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
+import type { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
-import { type MessageLoadOracleInputs } from '../../common/message_load_oracle_inputs.js';
+import type { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
+import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
+import type { ContractClassLog, IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
+import type { Note, NoteStatus } from '@aztec/stdlib/note';
+import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+import type { BlockHeader } from '@aztec/stdlib/tx';
+import type { MessageLoadOracleInputs } from '../../../common/message_load_oracle_inputs.js';
 /**
  * Information about a note needed during execution.
  */
@@ -55,7 +60,7 @@ export declare abstract class TypedOracle {
     getL1ToL2MembershipWitness(_contractAddress: AztecAddress, _messageHash: Fr, _secret: Fr): Promise<MessageLoadOracleInputs<typeof L1_TO_L2_MSG_TREE_HEIGHT>>;
     storageRead(_contractAddress: AztecAddress, _startStorageSlot: Fr, _blockNumber: number, _numberOfElements: number): Promise<Fr[]>;
     storageWrite(_startStorageSlot: Fr, _values: Fr[]): Promise<Fr[]>;
-    emitContractClassLog(_log: UnencryptedL2Log, _counter: number): Fr;
+    emitContractClassLog(_log: ContractClassLog, _counter: number): void;
     callPrivateFunction(_targetContractAddress: AztecAddress, _functionSelector: FunctionSelector, _argsHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<{
         endSideEffectCounter: Fr;
         returnsHash: Fr;
@@ -68,6 +73,7 @@ export declare abstract class TypedOracle {
     incrementAppTaggingSecretIndexAsSender(_sender: AztecAddress, _recipient: AztecAddress): Promise<void>;
     syncNotes(): Promise<void>;
     deliverNote(_contractAddress: AztecAddress, _storageSlot: Fr, _nonce: Fr, _content: Fr[], _noteHash: Fr, _nullifier: Fr, _txHash: Fr, _recipient: AztecAddress): Promise<void>;
+    getLogByTag(_tag: Fr): Promise<LogWithTxData | null>;
     storeCapsule(_contractAddress: AztecAddress, _key: Fr, _capsule: Fr[]): Promise<void>;
     loadCapsule(_contractAddress: AztecAddress, _key: Fr): Promise<Fr[] | null>;
     deleteCapsule(_contractAddress: AztecAddress, _key: Fr): Promise<void>;

package/dest/private/acvm/oracle/typed_oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed_oracle.d.ts","sourceRoot":"","sources":["../../../../src/private/acvm/oracle/typed_oracle.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAChF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC5G,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AAE7F;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,gBAAgB;IAChB,IAAI,EAAE,IAAI,CAAC;IACX,wCAAwC;IACxC,eAAe,EAAE,YAAY,CAAC;IAC9B,oCAAoC;IACpC,WAAW,EAAE,EAAE,CAAC;IAChB,6BAA6B;IAC7B,KAAK,EAAE,EAAE,CAAC;IACV,0BAA0B;IAC1B,QAAQ,EAAE,EAAE,CAAC;IACb,4EAA4E;IAC5E,eAAe,CAAC,EAAE,EAAE,CAAC;IACrB,gFAAgF;IAChF,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAQD;;;;GAIG;AACH,8BAAsB,WAAW;IAC/B,cAAc,IAAI,EAAE;IAIpB,qBAAqB,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAIjD,sBAAsB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAIhD,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,kBAAkB,IAAI,OAAO,CAAC,YAAY,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzB,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC;IAIzB,uBAAuB,CAAC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAIpE,mBAAmB,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAItE,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAI5G,6BAA6B,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIpH,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAIrG,gCAAgC,CAC9B,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,EAAE,GACb,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAItE,kBAAkB,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IAIpE,cAAc,CAAC,YAAY,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAI3D,QAAQ,CACN,YAAY,EAAE,EAAE,EAChB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM,EAAE,EAC1B,gBAAgB,EAAE,MAAM,EAAE,EAC1B,gBAAgB,EAAE,MAAM,EAAE,EAC1B,aAAa,EAAE,EAAE,EAAE,EACnB,kBAAkB,EAAE,MAAM,EAAE,EAC5B,cAAc,EAAE,MAAM,EAAE,EACxB,cAAc,EAAE,MAAM,EAAE,EACxB,cAAc,EAAE,MAAM,EAAE,EACxB,UAAU,EAAE,MAAM,EAAE,EACpB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAItB,iBAAiB,CAAC,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAIlH,mBAAmB,CAAC,eAAe,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxF,sBAAsB,CAAC,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI1D,oBAAoB,CAAC,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAI3D,0BAA0B,CACxB,gBAAgB,EAAE,YAAY,EAC9B,YAAY,EAAE,EAAE,EAChB,OAAO,EAAE,EAAE,GACV,OAAO,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAAC;IAIpE,WAAW,CACT,gBAAgB,EAAE,YAAY,EAC9B,iBAAiB,EAAE,EAAE,EACrB,YAAY,EAAE,MAAM,EACpB,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,EAAE,EAAE,CAAC;IAIhB,YAAY,CAAC,iBAAiB,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAIjE,oBAAoB,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAIpE,mBAAmB,CACjB,sBAAsB,EAAE,YAAY,EACpC,iBAAiB,EAAE,gBAAgB,EACnC,SAAS,EAAE,EAAE,EACb,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC;QAAE,oBAAoB,EAAE,EAAE,CAAC;QAAC,WAAW,EAAE,EAAE,CAAA;KAAE,CAAC;IAIzD,yBAAyB,CACvB,sBAAsB,EAAE,YAAY,EACpC,iBAAiB,EAAE,gBAAgB,EACnC,SAAS,EAAE,EAAE,EACb,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,EAAE,CAAC;IAId,6BAA6B,CAC3B,sBAAsB,EAAE,YAAY,EACpC,iBAAiB,EAAE,gBAAgB,EACnC,SAAS,EAAE,EAAE,EACb,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,EAAE,CAAC;IAId,uCAAuC,CAAC,+BAA+B,EAAE,MAAM,GAAG,IAAI;IAItF,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,IAAI;IAI/C,+BAA+B,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAI/G,sCAAsC,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAItG,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;IAI1B,WAAW,CACT,gBAAgB,EAAE,YAAY,EAC9B,YAAY,EAAE,EAAE,EAChB,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EAAE,EACd,SAAS,EAAE,EAAE,EACb,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,YAAY,GACvB,OAAO,CAAC,IAAI,CAAC;IAIhB,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAIpD,YAAY,CAAC,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAIrF,WAAW,CAAC,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAI3E,aAAa,CAAC,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAItE,WAAW,CAAC,gBAAgB,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIzG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;CAGlF"}

package/dest/private/acvm/oracle/typed_oracle.js

@@ -0,0 +1,132 @@
+import { Fr } from '@aztec/foundation/fields';
+class OracleMethodNotAvailableError extends Error {
+    constructor(methodName){
+        super(`Oracle method ${methodName} is not available.`);
+    }
+}
+/**
+ * Oracle with typed parameters and typed return values.
+ * Methods that require read and/or write will have to be implemented based on the context (public, private, or view)
+ * and are unavailable by default.
+ */ export class TypedOracle {
+    getRandomField() {
+        return Fr.random();
+    }
+    storeInExecutionCache(_values) {
+        return Promise.reject(new OracleMethodNotAvailableError('storeInExecutionCache'));
+    }
+    loadFromExecutionCache(_hash) {
+        return Promise.reject(new OracleMethodNotAvailableError('loadFromExecutionCache'));
+    }
+    getBlockNumber() {
+        return Promise.reject(new OracleMethodNotAvailableError('getBlockNumber'));
+    }
+    getContractAddress() {
+        return Promise.reject(new OracleMethodNotAvailableError('getContractAddress'));
+    }
+    getChainId() {
+        return Promise.reject(new OracleMethodNotAvailableError('getChainId'));
+    }
+    getVersion() {
+        return Promise.reject(new OracleMethodNotAvailableError('getVersion'));
+    }
+    getKeyValidationRequest(_pkMHash) {
+        return Promise.reject(new OracleMethodNotAvailableError('getKeyValidationRequest'));
+    }
+    getContractInstance(_address) {
+        return Promise.reject(new OracleMethodNotAvailableError('getContractInstance'));
+    }
+    getMembershipWitness(_blockNumber, _treeId, _leafValue) {
+        return Promise.reject(new OracleMethodNotAvailableError('getMembershipWitness'));
+    }
+    getNullifierMembershipWitness(_blockNumber, _nullifier) {
+        return Promise.reject(new OracleMethodNotAvailableError('getNullifierMembershipWitness'));
+    }
+    getPublicDataTreeWitness(_blockNumber, _leafSlot) {
+        return Promise.reject(new OracleMethodNotAvailableError('getPublicDataTreeWitness'));
+    }
+    getLowNullifierMembershipWitness(_blockNumber, _nullifier) {
+        return Promise.reject(new OracleMethodNotAvailableError('getLowNullifierMembershipWitness'));
+    }
+    getBlockHeader(_blockNumber) {
+        return Promise.reject(new OracleMethodNotAvailableError('getBlockHeader'));
+    }
+    getCompleteAddress(_account) {
+        return Promise.reject(new OracleMethodNotAvailableError('getCompleteAddress'));
+    }
+    getAuthWitness(_messageHash) {
+        return Promise.reject(new OracleMethodNotAvailableError('getAuthWitness'));
+    }
+    getNotes(_storageSlot, _numSelects, _selectByIndexes, _selectByOffsets, _selectByLengths, _selectValues, _selectComparators, _sortByIndexes, _sortByOffsets, _sortByLengths, _sortOrder, _limit, _offset, _status) {
+        return Promise.reject(new OracleMethodNotAvailableError('getNotes'));
+    }
+    notifyCreatedNote(_storageSlot, _noteTypeId, _note, _noteHash, _counter) {
+        throw new OracleMethodNotAvailableError('notifyCreatedNote');
+    }
+    notifyNullifiedNote(_innerNullifier, _noteHash, _counter) {
+        return Promise.reject(new OracleMethodNotAvailableError('notifyNullifiedNote'));
+    }
+    notifyCreatedNullifier(_innerNullifier) {
+        return Promise.reject(new OracleMethodNotAvailableError('notifyCreatedNullifier'));
+    }
+    checkNullifierExists(_innerNullifier) {
+        return Promise.reject(new OracleMethodNotAvailableError('checkNullifierExists'));
+    }
+    getL1ToL2MembershipWitness(_contractAddress, _messageHash, _secret) {
+        return Promise.reject(new OracleMethodNotAvailableError('getL1ToL2MembershipWitness'));
+    }
+    storageRead(_contractAddress, _startStorageSlot, _blockNumber, _numberOfElements) {
+        return Promise.reject(new OracleMethodNotAvailableError('storageRead'));
+    }
+    storageWrite(_startStorageSlot, _values) {
+        return Promise.reject(new OracleMethodNotAvailableError('storageWrite'));
+    }
+    emitContractClassLog(_log, _counter) {
+        throw new OracleMethodNotAvailableError('emitContractClassLog');
+    }
+    callPrivateFunction(_targetContractAddress, _functionSelector, _argsHash, _sideEffectCounter, _isStaticCall) {
+        return Promise.reject(new OracleMethodNotAvailableError('callPrivateFunction'));
+    }
+    enqueuePublicFunctionCall(_targetContractAddress, _functionSelector, _argsHash, _sideEffectCounter, _isStaticCall) {
+        return Promise.reject(new OracleMethodNotAvailableError('enqueuePublicFunctionCall'));
+    }
+    setPublicTeardownFunctionCall(_targetContractAddress, _functionSelector, _argsHash, _sideEffectCounter, _isStaticCall) {
+        return Promise.reject(new OracleMethodNotAvailableError('setPublicTeardownFunctionCall'));
+    }
+    notifySetMinRevertibleSideEffectCounter(_minRevertibleSideEffectCounter) {
+        throw new OracleMethodNotAvailableError('notifySetMinRevertibleSideEffectCounter');
+    }
+    debugLog(_message, _fields) {
+        throw new OracleMethodNotAvailableError('debugLog');
+    }
+    getIndexedTaggingSecretAsSender(_sender, _recipient) {
+        return Promise.reject(new OracleMethodNotAvailableError('getIndexedTaggingSecretAsSender'));
+    }
+    incrementAppTaggingSecretIndexAsSender(_sender, _recipient) {
+        return Promise.reject(new OracleMethodNotAvailableError('incrementAppTaggingSecretIndexAsSender'));
+    }
+    syncNotes() {
+        return Promise.reject(new OracleMethodNotAvailableError('syncNotes'));
+    }
+    deliverNote(_contractAddress, _storageSlot, _nonce, _content, _noteHash, _nullifier, _txHash, _recipient) {
+        return Promise.reject(new OracleMethodNotAvailableError('deliverNote'));
+    }
+    getLogByTag(_tag) {
+        throw new OracleMethodNotAvailableError('getLogByTag');
+    }
+    storeCapsule(_contractAddress, _key, _capsule) {
+        return Promise.reject(new OracleMethodNotAvailableError('storeCapsule'));
+    }
+    loadCapsule(_contractAddress, _key) {
+        return Promise.reject(new OracleMethodNotAvailableError('loadCapsule'));
+    }
+    deleteCapsule(_contractAddress, _key) {
+        return Promise.reject(new OracleMethodNotAvailableError('deleteCapsule'));
+    }
+    copyCapsule(_contractAddress, _srcKey, _dstKey, _numEntries) {
+        return Promise.reject(new OracleMethodNotAvailableError('copyCapsule'));
+    }
+    aes128Decrypt(_ciphertext, _iv, _symKey) {
+        return Promise.reject(new OracleMethodNotAvailableError('aes128Decrypt'));
+    }
+}

package/dest/{acvm → private/acvm}/serialize.d.ts

@@ -1,15 +1,19 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
-import { type EthAddress } from '@aztec/foundation/eth-address';
+import type { EthAddress } from '@aztec/foundation/eth-address';
 import { Fr } from '@aztec/foundation/fields';
-import { type ACVMField } from './acvm_types.js';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { ACVMField } from './acvm_types.js';
 /**
  * Converts a value to an ACVM field.
  * @param value - The value to convert.
  * @returns The ACVM field.
  */
 export declare function toACVMField(value: AztecAddress | EthAddress | Fr | Buffer | boolean | number | bigint | ACVMField): ACVMField;
+/**
+ * Converts a single value or an array of single values into the equivalent ACVM field representation.
+ */
+export declare function toACVMFieldSingleOrArray(value: Fr | Fr[]): string | string[];
 /**
  * Inserts a list of ACVM fields to a witness.
  * @param witnessStartIndex - The index where to start inserting the fields.

package/dest/private/acvm/serialize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/serialize.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAgBjD;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,YAAY,GAAG,UAAU,GAAG,EAAE,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GACrF,SAAS,CAYX;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,qBAExD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,uBAKnG"}

package/dest/private/acvm/serialize.js

@@ -0,0 +1,46 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Adapts the buffer to the field size.
+ * @param originalBuf - The buffer to adapt.
+ * @returns The adapted buffer.
+ */ function adaptBufferSize(originalBuf) {
+    const buffer = Buffer.alloc(Fr.SIZE_IN_BYTES);
+    if (originalBuf.length > buffer.length) {
+        throw new Error('Buffer does not fit in field');
+    }
+    originalBuf.copy(buffer, buffer.length - originalBuf.length);
+    return buffer;
+}
+/**
+ * Converts a value to an ACVM field.
+ * @param value - The value to convert.
+ * @returns The ACVM field.
+ */ export function toACVMField(value) {
+    let buffer;
+    if (Buffer.isBuffer(value)) {
+        buffer = value;
+    } else if (typeof value === 'boolean' || typeof value === 'number' || typeof value === 'bigint') {
+        buffer = new Fr(value).toBuffer();
+    } else if (typeof value === 'string') {
+        buffer = Fr.fromHexString(value).toBuffer();
+    } else {
+        buffer = value.toBuffer();
+    }
+    return `0x${adaptBufferSize(buffer).toString('hex')}`;
+}
+/**
+ * Converts a single value or an array of single values into the equivalent ACVM field representation.
+ */ export function toACVMFieldSingleOrArray(value) {
+    return Array.isArray(value) ? value.map(toACVMField) : toACVMField(value);
+}
+/**
+ * Inserts a list of ACVM fields to a witness.
+ * @param witnessStartIndex - The index where to start inserting the fields.
+ * @param fields - The fields to insert.
+ * @returns The witness.
+ */ export function toACVMWitness(witnessStartIndex, fields) {
+    return fields.reduce((witness, field, index)=>{
+        witness.set(index + witnessStartIndex, toACVMField(field));
+        return witness;
+    }, new Map());
+}

package/dest/{client → private}/client_execution_context.d.ts

@@ -1,13 +1,16 @@
-import { type AuthWitness, type AztecNode, CountedContractClassLog, CountedPublicExecutionRequest, NoteAndSlot, type NoteStatus, type PrivateCallExecutionResult, PublicExecutionRequest, type UnencryptedL2Log } from '@aztec/circuit-types';
-import { type BlockHeader, CallContext, FunctionSelector, type TxContext } from '@aztec/circuits.js';
-import { type FunctionAbi, type NoteSelector } from '@aztec/foundation/abi';
-import { AztecAddress } from '@aztec/foundation/aztec-address';
 import { Fr } from '@aztec/foundation/fields';
-import { type NoteData } from '../acvm/index.js';
-import { type HashedValuesCache } from '../common/hashed_values_cache.js';
-import { type SimulationProvider } from '../server.js';
-import { type DBOracle } from './db_oracle.js';
-import { type ExecutionNoteCache } from './execution_note_cache.js';
+import { type FunctionAbi, FunctionSelector, type NoteSelector } from '@aztec/stdlib/abi';
+import type { AuthWitness } from '@aztec/stdlib/auth-witness';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { AztecNode } from '@aztec/stdlib/interfaces/client';
+import type { ContractClassLog } from '@aztec/stdlib/logs';
+import { type NoteStatus } from '@aztec/stdlib/note';
+import { type BlockHeader, CallContext, Capsule, CountedContractClassLog, CountedPublicExecutionRequest, NoteAndSlot, PrivateCallExecutionResult, PublicExecutionRequest, type TxContext } from '@aztec/stdlib/tx';
+import { type NoteData } from './acvm/index.js';
+import type { DBOracle } from './db_oracle.js';
+import type { ExecutionNoteCache } from './execution_note_cache.js';
+import type { HashedValuesCache } from './hashed_values_cache.js';
+import type { SimulationProvider } from './providers/simulation_provider.js';
 import { ViewDataOracle } from './view_data_oracle.js';
 /**
  * The execution context for a client tx simulation.
@@ -51,7 +54,7 @@ export declare class ClientExecutionContext extends ViewDataOracle {
     /** Header of a block whose state is used during private execution (not the block the transaction is included in). */
     historicalHeader: BlockHeader, 
     /** List of transient auth witnesses to be used during this simulation */
-    authWitnesses: AuthWitness[], executionCache: HashedValuesCache, noteCache: ExecutionNoteCache, db: DBOracle, node: AztecNode, provider: SimulationProvider, sideEffectCounter?: number, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[]);
+    authWitnesses: AuthWitness[], capsules: Capsule[], executionCache: HashedValuesCache, noteCache: ExecutionNoteCache, db: DBOracle, node: AztecNode, provider: SimulationProvider, sideEffectCounter?: number, log?: import("@aztec/foundation/log").Logger, scopes?: AztecAddress[]);
     /**
      * Writes the function inputs to the initial witness.
      * @param abi - The function ABI.
@@ -143,14 +146,14 @@ export declare class ClientExecutionContext extends ViewDataOracle {
      */
     notifyCreatedNullifier(innerNullifier: Fr): Promise<void>;
     /**
-     * Emit a contract class unencrypted log.
-     * This fn exists because sha hashing the preimage
-     * is too large to compile (16,200 fields, 518,400 bytes) => the oracle hashes it.
-     * See private_context.nr
-     * TODO(#8945): Contract class logs are currently sha hashes. When these are fields, delete this.
-     * @param log - The unencrypted log to be emitted.
+     * Emit a contract class log.
+     * This fn exists because we only carry a poseidon hash through the kernels, and need to
+     * keep the preimage in ts for later.
+     * We could also return the hash here if we must save extra gates.
+     * @param log - The contract class log to be emitted.
+     * @param counter - The contract class log's counter.
      */
-    emitContractClassLog(log: UnencryptedL2Log, counter: number): Fr;
+    emitContractClassLog(log: ContractClassLog, counter: number): void;
     /**
      * Calls a private function as a nested execution.
      * @param targetContractAddress - The address of the contract to call.

package/dest/private/client_execution_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client_execution_context.d.ts","sourceRoot":"","sources":["../../src/private/client_execution_context.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,KAAK,WAAW,EAEhB,gBAAgB,EAChB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAQ,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EACL,KAAK,WAAW,EAChB,WAAW,EACX,OAAO,EACP,uBAAuB,EACvB,6BAA6B,EAC7B,WAAW,EACX,0BAA0B,EAC1B,sBAAsB,EACtB,KAAK,SAAS,EACf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,KAAK,QAAQ,EAAiB,MAAM,iBAAiB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGlE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,cAAc;;IA0BtD,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,qHAAqH;IACrH,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,WAAW;IAIhD,OAAO,CAAC,QAAQ,CAAC,cAAc;IAC/B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAE1B,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,QAAQ;IAChB,SAAS,CAAC,iBAAiB,EAAE,MAAM;IAtCrC;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAqB;IACrC;;;;;;;;OAQG;IACH,OAAO,CAAC,oBAAoB,CAAkC;IAC9D,OAAO,CAAC,2BAA2B,CAAkC;IACrE,OAAO,CAAC,iBAAiB,CAAiC;IAC1D,OAAO,CAAC,gBAAgB,CAAoC;IAC5D,OAAO,CAAC,2BAA2B,CAAuC;IAC1E,OAAO,CAAC,0BAA0B,CAA0D;gBAGzE,QAAQ,EAAE,EAAE,EACZ,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,WAAW;IACzC,qHAAqH;IAClG,gBAAgB,EAAE,WAAW;IAChD,yEAAyE;IACzE,aAAa,EAAE,WAAW,EAAE,EAC5B,QAAQ,EAAE,OAAO,EAAE,EACF,cAAc,EAAE,iBAAiB,EACjC,SAAS,EAAE,kBAAkB,EAC9C,EAAE,EAAE,QAAQ,EACJ,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,kBAAkB,EAC1B,iBAAiB,GAAE,MAAU,EACvC,GAAG,yCAAqD,EACxD,MAAM,CAAC,EAAE,YAAY,EAAE;IAOzB;;;;OAIG;IACI,iBAAiB,CAAC,GAAG,EAAE,WAAW;IAwBzC;;;OAGG;IACI,uBAAuB;IAI9B;;OAEG;IACI,WAAW,IAAI,WAAW,EAAE;IAI5B,8BAA8B;IAIrC;;OAEG;IACI,oBAAoB;IAI3B;;OAEG;IACI,mBAAmB;IAI1B;;OAEG;IACI,8BAA8B;IAIrC;;OAEG;IACI,6BAA6B;IAIpC;;;;OAIG;IACa,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAIhE;;;;OAIG;IACa,sBAAsB,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAI/D;;;;;;;;;;;;;;;;;;;OAmBG;IACmB,QAAQ,CAC5B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,QAAQ,EAAE,CAAC;IAgDtB;;;;;;;;;OASG;IACa,iBAAiB,CAC/B,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,YAAY,EACxB,SAAS,EAAE,EAAE,EAAE,EACf,QAAQ,EAAE,EAAE,EACZ,OAAO,EAAE,MAAM;IAwBjB;;;;;OAKG;IACmB,mBAAmB,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM;IAW3F;;;;;OAKG;IACa,sBAAsB,CAAC,cAAc,EAAE,EAAE;IAIzD;;;;;;;OAOG;IACa,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM;IAoB3E;;;;;;;;OAQG;IACY,mBAAmB,CAChC,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO;;;;IA2DvB;;;;;;;;OAQG;cACa,4BAA4B,CAC1C,QAAQ,EAAE,UAAU,GAAG,UAAU,EACjC,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO;IA6BvB;;;;;;;;;;OAUG;IACmB,yBAAyB,CAC7C,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC,EAAE,CAAC;IAsBd;;;;;;;;;;OAUG;IACmB,6BAA6B,CACjD,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE,EACZ,iBAAiB,EAAE,MAAM,EACzB,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC,EAAE,CAAC;IAsBE,uCAAuC,CAAC,8BAA8B,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAI9G;;;;;;OAMG;YACW,iBAAiB;IAaxB,oBAAoB;IAIL,sCAAsC,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY;IAIpF,SAAS;CAYhC"}