@aztec/simulator 0.85.0 → 0.86.0

package/dest/public/avm/opcodes/instruction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"instruction.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/instruction.ts"],"names":[],"mappings":";;AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,KAAK,GAAG,EAAqD,MAAM,eAAe,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4CAA4C,CAAC;AAC/E,OAAO,EAAE,MAAM,EAAE,KAAK,WAAW,EAA4B,MAAM,+CAA+C,CAAC;AAEnH,KAAK,sBAAsB,GAAG;IAC5B,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,WAAW,CAAC;CACnC,CAAC;AAEF;;;GAGG;AACH,8BAAsB,WAAW;IAC/B;;;;OAIG;aACa,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAE3D;;OAEG;IACI,SAAS,IAAI,OAAO;IAI3B;;;;OAIG;IACI,QAAQ,IAAI,MAAM;WAUX,WAAW,CACvB,IAAI,EAAE,sBAAsB,GAAG;QAAE,UAAU,EAAE,WAAW,EAAE,CAAC;QAAC,EAAE,EAAE,GAAG,CAAA;KAAE,EACrE,GAAG,EAAE,YAAY,GAAG,MAAM,GACzB,WAAW;IAKP,SAAS,IAAI,MAAM;IAO1B;;;;;OAKG;IACI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,WAAW,GAAG,YAAY;IAShF;;;;;OAKG;WACW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAAE;2BAEjD,YAAY,GAAG,MAAM,KAAG,WAAW;;IAQ1D;;;OAGG;IACH,SAAS,CAAC,OAAO,CAAC,aAAa,GAAE,MAAU,GAAG,GAAG;IAMjD;;;OAGG;IACH,IAAW,IAAI,IAAI,MAAM,CAMxB;IAED;;;OAGG;IACH,IAAW,MAAM,IAAI,MAAM,CAM1B;CACF"}
+{"version":3,"file":"instruction.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/instruction.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAI9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,KAAK,GAAG,EAAqD,MAAM,eAAe,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,MAAM,EAAE,KAAK,WAAW,EAA4B,MAAM,+CAA+C,CAAC;AAEnH,KAAK,sBAAsB,GAAG;IAC5B,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,WAAW,CAAC;CACnC,CAAC;AAEF;;;GAGG;AACH,8BAAsB,WAAW;IAC/B;;;;OAIG;aACa,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAE3D;;OAEG;IACI,SAAS,IAAI,OAAO;IAI3B;;;;OAIG;IACI,QAAQ,IAAI,MAAM;WAUX,UAAU,CACtB,IAAI,EAAE,sBAAsB,GAAG;QAAE,UAAU,EAAE,WAAW,EAAE,CAAC;QAAC,EAAE,EAAE,GAAG,CAAA;KAAE,EACrE,GAAG,EAAE,YAAY,GAAG,MAAM,GACzB,WAAW;IAKP,QAAQ,IAAI,MAAM;IAOzB;;;;;OAKG;IACI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,WAAW,GAAG,UAAU;IAS9E;;;;;OAKG;WACW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAAE;0BAElD,YAAY,GAAG,MAAM,KAAG,WAAW;;IAQzD;;;OAGG;IACH,SAAS,CAAC,OAAO,CAAC,aAAa,GAAE,MAAU,GAAG,GAAG;IAMjD;;;OAGG;IACH,IAAW,IAAI,IAAI,MAAM,CAMxB;IAED;;;OAGG;IACH,IAAW,MAAM,IAAI,MAAM,CAM1B;CACF"}

package/dest/public/avm/opcodes/instruction.js

@@ -23,15 +23,15 @@ import { Opcode, deserialize, serializeAs } from '../serialization/instruction_s
         return instructionStr;
     }
     // Default deserialization which uses Class.opcode and Class.wireFormat.
-    static deserialize(buf) {
-        return this.as(this.wireFormat).deserialize(buf);
+    static fromBuffer(buf) {
+        return this.as(this.wireFormat).fromBuffer(buf);
     }
     // Default serialization which uses Class.opcode and Class.wireFormat.
-    serialize() {
+    toBuffer() {
         const klass = this.constructor;
         assert(klass.opcode !== undefined && klass.opcode !== null);
         assert(klass.wireFormat !== undefined && klass.wireFormat !== null);
-        return this.as(klass.opcode, klass.wireFormat).serialize();
+        return this.as(klass.opcode, klass.wireFormat).toBuffer();
     }
     /**
    * Returns a new instruction instance that can be serialized with the given opcode and wire format.
@@ -39,7 +39,7 @@ import { Opcode, deserialize, serializeAs } from '../serialization/instruction_s
    * @param wireFormat The wire format of the instruction.
    * @returns The new instruction instance.
    */ as(opcode, wireFormat) {
-        return Object.defineProperty(this, 'serialize', {
+        return Object.defineProperty(this, 'toBuffer', {
             value: ()=>{
                 return serializeAs(wireFormat, opcode, this);
             },
@@ -53,7 +53,7 @@ import { Opcode, deserialize, serializeAs } from '../serialization/instruction_s
    * @returns The new instruction class.
    */ static as(wireFormat) {
         return Object.assign(this, {
-            deserialize: (buf)=>{
+            fromBuffer: (buf)=>{
                 const res = deserialize(buf, wireFormat);
                 const args = res.slice(1); // Remove opcode.
                 return new this(...args);

package/dest/public/avm/revert_reason.d.ts

@@ -0,0 +1,18 @@
+import type { Fr } from '@aztec/foundation/fields';
+import type { AvmContext } from './avm_context.js';
+import { type AvmExecutionError, AvmRevertReason } from './errors.js';
+/**
+ * Create a "revert reason" error for an exceptional halt.
+ *
+ * @param haltingError - the lower-level error causing the exceptional halt
+ * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
+ */
+export declare function revertReasonFromExceptionalHalt(haltingError: AvmExecutionError, context: AvmContext): Promise<AvmRevertReason>;
+/**
+ * Create a "revert reason" error for an explicit revert (a root cause).
+ *
+ * @param revertData - output data of the explicit REVERT instruction
+ * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
+ */
+export declare function revertReasonFromExplicitRevert(revertData: Fr[], context: AvmContext): Promise<AvmRevertReason>;
+//# sourceMappingURL=revert_reason.d.ts.map

package/dest/public/avm/revert_reason.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revert_reason.d.ts","sourceRoot":"","sources":["../../../src/public/avm/revert_reason.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,KAAK,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA8BtE;;;;;GAKG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,iBAAiB,EAC/B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,eAAe,CAAC,CAE1B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,CAEpH"}

package/dest/public/avm/revert_reason.js

@@ -0,0 +1,38 @@
+import { AvmRevertReason } from './errors.js';
+async function createRevertReason(message, revertData, context) {
+    // We drop the returnPc information.
+    const internalCallStack = context.machineState.internalCallStack.map((entry)=>entry.callPc);
+    // If we are reverting due to the same error that we have been tracking, we use the nested error as the cause.
+    let nestedError = undefined;
+    const revertDataEquals = (a, b)=>a.length === b.length && a.every((v, i)=>v.equals(b[i]));
+    if (context.machineState.collectedRevertInfo && revertDataEquals(context.machineState.collectedRevertInfo.revertDataRepresentative, revertData)) {
+        nestedError = context.machineState.collectedRevertInfo.recursiveRevertReason;
+        message = context.machineState.collectedRevertInfo.recursiveRevertReason.message;
+    }
+    const fnName = await context.persistableState.getPublicFunctionDebugName(context.environment);
+    return new AvmRevertReason(message, /*failingFunction=*/ {
+        contractAddress: context.environment.address,
+        functionName: fnName
+    }, /*noirCallStack=*/ [
+        ...internalCallStack,
+        context.machineState.pc
+    ].map((pc)=>`0.${pc}`), /*options=*/ {
+        cause: nestedError
+    });
+}
+/**
+ * Create a "revert reason" error for an exceptional halt.
+ *
+ * @param haltingError - the lower-level error causing the exceptional halt
+ * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
+ */ export async function revertReasonFromExceptionalHalt(haltingError, context) {
+    return await createRevertReason(haltingError.message, [], context);
+}
+/**
+ * Create a "revert reason" error for an explicit revert (a root cause).
+ *
+ * @param revertData - output data of the explicit REVERT instruction
+ * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
+ */ export async function revertReasonFromExplicitRevert(revertData, context) {
+    return await createRevertReason('Assertion failed: ', revertData, context);
+}

package/dest/public/avm/serialization/bytecode_serialization.d.ts

@@ -1,12 +1,10 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
+import { type Bufferable } from '@aztec/foundation/serialize';
 import { Instruction } from '../opcodes/index.js';
 import { BufferCursor } from './buffer_cursor.js';
 import { Opcode } from './instruction_serialization.js';
 export type InstructionDeserializer = (buf: BufferCursor | Buffer) => Instruction;
-export interface Serializable {
-    serialize(): Buffer;
-}
 export interface Deserializable {
     deserialize: InstructionDeserializer;
 }
@@ -15,7 +13,7 @@ export declare const INSTRUCTION_SET: Map<Opcode, InstructionDeserializer>;
 /**
  * Serializes an array of instructions to bytecode.
  */
-export declare function encodeToBytecode(instructions: Serializable[]): Buffer;
+export declare function encodeToBytecode(instructions: Bufferable[]): Buffer;
 export declare function decodeFromBytecode(bytecode: Buffer, instructionSet?: InstructionSet): Instruction[];
 export declare function decodeInstructionFromBytecode(bytecode: Buffer, pc: number, instructionSet?: InstructionSet): [Instruction, number];
 //# sourceMappingURL=bytecode_serialization.d.ts.map

package/dest/public/avm/serialization/bytecode_serialization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bytecode_serialization.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/bytecode_serialization.ts"],"names":[],"mappings":";;AACA,OAAO,EAgBL,WAAW,EAgCZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAoB,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,KAAK,WAAW,CAAC;AAElF,MAAM,WAAW,YAAY;IAC3B,SAAS,IAAI,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,uBAAuB,CAAC;CACtC;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAClE,eAAO,MAAM,eAAe,sCAoF1B,CAAC;AAEH;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,YAAY,EAAE,GAAG,MAAM,CAErE;AAGD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,GAAE,cAAgC,GAAG,WAAW,EAAE,CASpH;AAGD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,EACV,cAAc,GAAE,cAAgC,GAC/C,CAAC,WAAW,EAAE,MAAM,CAAC,CA+BvB"}
+{"version":3,"file":"bytecode_serialization.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/bytecode_serialization.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAGjF,OAAO,EAgBL,WAAW,EAgCZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAoB,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,KAAK,WAAW,CAAC;AAElF,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,uBAAuB,CAAC;CACtC;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAClE,eAAO,MAAM,eAAe,sCAoF1B,CAAC;AAEH;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,MAAM,CAEnE;AAGD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,GAAE,cAAgC,GAAG,WAAW,EAAE,CASpH;AAGD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,EACV,cAAc,GAAE,cAAgC,GAC/C,CAAC,WAAW,EAAE,MAAM,CAAC,CA+BvB"}

package/dest/public/avm/serialization/bytecode_serialization.js

@@ -1,3 +1,4 @@
+import { serializeToBuffer } from '@aztec/foundation/serialize';
 import { AvmExecutionError, AvmParsingError, InvalidOpcodeError, InvalidProgramCounterError } from '../errors.js';
 import { Add, And, Call, CalldataCopy, Cast, DebugLog, Div, EcAdd, EmitNoteHash, EmitNullifier, EmitUnencryptedLog, Eq, FieldDiv, GetContractInstance, GetEnvVar, Instruction, InternalCall, InternalReturn, Jump, JumpI, KeccakF1600, L1ToL2MessageExists, Lt, Lte, Mov, Mul, Not, NoteHashExists, NullifierExists, Or, Poseidon2, Return, ReturndataCopy, ReturndataSize, Revert, SLoad, SStore, SendL2ToL1Message, Set, Sha256Compression, Shl, Shr, StaticCall, Sub, SuccessCopy, ToRadixBE, Xor } from '../opcodes/index.js';
 import { BufferCursor } from './buffer_cursor.js';
@@ -5,289 +6,289 @@ import { MAX_OPCODE_VALUE, Opcode } from './instruction_serialization.js';
 export const INSTRUCTION_SET = new Map([
     [
         Opcode.ADD_8,
-        Add.as(Add.wireFormat8).deserialize
+        Add.as(Add.wireFormat8).fromBuffer
     ],
     [
         Opcode.ADD_16,
-        Add.as(Add.wireFormat16).deserialize
+        Add.as(Add.wireFormat16).fromBuffer
     ],
     [
         Opcode.SUB_8,
-        Sub.as(Sub.wireFormat8).deserialize
+        Sub.as(Sub.wireFormat8).fromBuffer
     ],
     [
         Opcode.SUB_16,
-        Sub.as(Sub.wireFormat16).deserialize
+        Sub.as(Sub.wireFormat16).fromBuffer
     ],
     [
         Opcode.MUL_8,
-        Mul.as(Mul.wireFormat8).deserialize
+        Mul.as(Mul.wireFormat8).fromBuffer
     ],
     [
         Opcode.MUL_16,
-        Mul.as(Mul.wireFormat16).deserialize
+        Mul.as(Mul.wireFormat16).fromBuffer
     ],
     [
         Opcode.DIV_8,
-        Div.as(Div.wireFormat8).deserialize
+        Div.as(Div.wireFormat8).fromBuffer
     ],
     [
         Opcode.DIV_16,
-        Div.as(Div.wireFormat16).deserialize
+        Div.as(Div.wireFormat16).fromBuffer
     ],
     [
         Opcode.FDIV_8,
-        FieldDiv.as(FieldDiv.wireFormat8).deserialize
+        FieldDiv.as(FieldDiv.wireFormat8).fromBuffer
     ],
     [
         Opcode.FDIV_16,
-        FieldDiv.as(FieldDiv.wireFormat16).deserialize
+        FieldDiv.as(FieldDiv.wireFormat16).fromBuffer
     ],
     [
         Opcode.EQ_8,
-        Eq.as(Eq.wireFormat8).deserialize
+        Eq.as(Eq.wireFormat8).fromBuffer
     ],
     [
         Opcode.EQ_16,
-        Eq.as(Eq.wireFormat16).deserialize
+        Eq.as(Eq.wireFormat16).fromBuffer
     ],
     [
         Opcode.LT_8,
-        Lt.as(Lt.wireFormat8).deserialize
+        Lt.as(Lt.wireFormat8).fromBuffer
     ],
     [
         Opcode.LT_16,
-        Lt.as(Lt.wireFormat16).deserialize
+        Lt.as(Lt.wireFormat16).fromBuffer
     ],
     [
         Opcode.LTE_8,
-        Lte.as(Lte.wireFormat8).deserialize
+        Lte.as(Lte.wireFormat8).fromBuffer
     ],
     [
         Opcode.LTE_16,
-        Lte.as(Lte.wireFormat16).deserialize
+        Lte.as(Lte.wireFormat16).fromBuffer
     ],
     [
         Opcode.AND_8,
-        And.as(And.wireFormat8).deserialize
+        And.as(And.wireFormat8).fromBuffer
     ],
     [
         Opcode.AND_16,
-        And.as(And.wireFormat16).deserialize
+        And.as(And.wireFormat16).fromBuffer
     ],
     [
         Opcode.OR_8,
-        Or.as(Or.wireFormat8).deserialize
+        Or.as(Or.wireFormat8).fromBuffer
     ],
     [
         Opcode.OR_16,
-        Or.as(Or.wireFormat16).deserialize
+        Or.as(Or.wireFormat16).fromBuffer
     ],
     [
         Opcode.XOR_8,
-        Xor.as(Xor.wireFormat8).deserialize
+        Xor.as(Xor.wireFormat8).fromBuffer
     ],
     [
         Opcode.XOR_16,
-        Xor.as(Xor.wireFormat16).deserialize
+        Xor.as(Xor.wireFormat16).fromBuffer
     ],
     [
         Opcode.NOT_8,
-        Not.as(Not.wireFormat8).deserialize
+        Not.as(Not.wireFormat8).fromBuffer
     ],
     [
         Opcode.NOT_16,
-        Not.as(Not.wireFormat16).deserialize
+        Not.as(Not.wireFormat16).fromBuffer
     ],
     [
         Opcode.SHL_8,
-        Shl.as(Shl.wireFormat8).deserialize
+        Shl.as(Shl.wireFormat8).fromBuffer
     ],
     [
         Opcode.SHL_16,
-        Shl.as(Shl.wireFormat16).deserialize
+        Shl.as(Shl.wireFormat16).fromBuffer
     ],
     [
         Opcode.SHR_8,
-        Shr.as(Shr.wireFormat8).deserialize
+        Shr.as(Shr.wireFormat8).fromBuffer
     ],
     [
         Opcode.SHR_16,
-        Shr.as(Shr.wireFormat16).deserialize
+        Shr.as(Shr.wireFormat16).fromBuffer
     ],
     [
         Opcode.CAST_8,
-        Cast.as(Cast.wireFormat8).deserialize
+        Cast.as(Cast.wireFormat8).fromBuffer
     ],
     [
         Opcode.CAST_16,
-        Cast.as(Cast.wireFormat16).deserialize
+        Cast.as(Cast.wireFormat16).fromBuffer
     ],
     // Execution Environment
     [
         Opcode.GETENVVAR_16,
-        GetEnvVar.as(GetEnvVar.wireFormat16).deserialize
+        GetEnvVar.as(GetEnvVar.wireFormat16).fromBuffer
     ],
     [
         CalldataCopy.opcode,
-        Instruction.deserialize.bind(CalldataCopy)
+        Instruction.fromBuffer.bind(CalldataCopy)
     ],
     [
         SuccessCopy.opcode,
-        Instruction.deserialize.bind(SuccessCopy)
+        Instruction.fromBuffer.bind(SuccessCopy)
     ],
     [
         Opcode.RETURNDATASIZE,
-        Instruction.deserialize.bind(ReturndataSize)
+        Instruction.fromBuffer.bind(ReturndataSize)
     ],
     [
         Opcode.RETURNDATACOPY,
-        Instruction.deserialize.bind(ReturndataCopy)
+        Instruction.fromBuffer.bind(ReturndataCopy)
     ],
     // Machine State - Internal Control Flow
     [
         Jump.opcode,
-        Instruction.deserialize.bind(Jump)
+        Instruction.fromBuffer.bind(Jump)
     ],
     [
         JumpI.opcode,
-        Instruction.deserialize.bind(JumpI)
+        Instruction.fromBuffer.bind(JumpI)
     ],
     [
         InternalCall.opcode,
-        Instruction.deserialize.bind(InternalCall)
+        Instruction.fromBuffer.bind(InternalCall)
     ],
     [
         InternalReturn.opcode,
-        Instruction.deserialize.bind(InternalReturn)
+        Instruction.fromBuffer.bind(InternalReturn)
     ],
     [
         Opcode.SET_8,
-        Set.as(Set.wireFormat8).deserialize
+        Set.as(Set.wireFormat8).fromBuffer
     ],
     [
         Opcode.SET_16,
-        Set.as(Set.wireFormat16).deserialize
+        Set.as(Set.wireFormat16).fromBuffer
     ],
     [
         Opcode.SET_32,
-        Set.as(Set.wireFormat32).deserialize
+        Set.as(Set.wireFormat32).fromBuffer
     ],
     [
         Opcode.SET_64,
-        Set.as(Set.wireFormat64).deserialize
+        Set.as(Set.wireFormat64).fromBuffer
     ],
     [
         Opcode.SET_128,
-        Set.as(Set.wireFormat128).deserialize
+        Set.as(Set.wireFormat128).fromBuffer
     ],
     [
         Opcode.SET_FF,
-        Set.as(Set.wireFormatFF).deserialize
+        Set.as(Set.wireFormatFF).fromBuffer
     ],
     [
         Opcode.MOV_8,
-        Mov.as(Mov.wireFormat8).deserialize
+        Mov.as(Mov.wireFormat8).fromBuffer
     ],
     [
         Opcode.MOV_16,
-        Mov.as(Mov.wireFormat16).deserialize
+        Mov.as(Mov.wireFormat16).fromBuffer
     ],
     // World State
     [
         SLoad.opcode,
-        Instruction.deserialize.bind(SLoad)
+        Instruction.fromBuffer.bind(SLoad)
     ],
     [
         SStore.opcode,
-        Instruction.deserialize.bind(SStore)
+        Instruction.fromBuffer.bind(SStore)
     ],
     [
         NoteHashExists.opcode,
-        Instruction.deserialize.bind(NoteHashExists)
+        Instruction.fromBuffer.bind(NoteHashExists)
     ],
     [
         EmitNoteHash.opcode,
-        Instruction.deserialize.bind(EmitNoteHash)
+        Instruction.fromBuffer.bind(EmitNoteHash)
     ],
     [
         NullifierExists.opcode,
-        Instruction.deserialize.bind(NullifierExists)
+        Instruction.fromBuffer.bind(NullifierExists)
     ],
     [
         EmitNullifier.opcode,
-        Instruction.deserialize.bind(EmitNullifier)
+        Instruction.fromBuffer.bind(EmitNullifier)
     ],
     [
         L1ToL2MessageExists.opcode,
-        Instruction.deserialize.bind(L1ToL2MessageExists)
+        Instruction.fromBuffer.bind(L1ToL2MessageExists)
     ],
     // Accrued Substate
     [
         EmitUnencryptedLog.opcode,
-        Instruction.deserialize.bind(EmitUnencryptedLog)
+        Instruction.fromBuffer.bind(EmitUnencryptedLog)
     ],
     [
         SendL2ToL1Message.opcode,
-        Instruction.deserialize.bind(SendL2ToL1Message)
+        Instruction.fromBuffer.bind(SendL2ToL1Message)
     ],
     [
         GetContractInstance.opcode,
-        Instruction.deserialize.bind(GetContractInstance)
+        Instruction.fromBuffer.bind(GetContractInstance)
     ],
     // Control Flow - Contract Calls
     [
         Call.opcode,
-        Instruction.deserialize.bind(Call)
+        Instruction.fromBuffer.bind(Call)
     ],
     [
         StaticCall.opcode,
-        Instruction.deserialize.bind(StaticCall)
+        Instruction.fromBuffer.bind(StaticCall)
     ],
     [
         Return.opcode,
-        Instruction.deserialize.bind(Return)
+        Instruction.fromBuffer.bind(Return)
     ],
     [
         Opcode.REVERT_8,
-        Revert.as(Revert.wireFormat8).deserialize
+        Revert.as(Revert.wireFormat8).fromBuffer
     ],
     [
         Opcode.REVERT_16,
-        Revert.as(Revert.wireFormat16).deserialize
+        Revert.as(Revert.wireFormat16).fromBuffer
     ],
     // Misc
     [
         DebugLog.opcode,
-        Instruction.deserialize.bind(DebugLog)
+        Instruction.fromBuffer.bind(DebugLog)
     ],
     // Gadgets
     [
         EcAdd.opcode,
-        Instruction.deserialize.bind(EcAdd)
+        Instruction.fromBuffer.bind(EcAdd)
     ],
     [
         Poseidon2.opcode,
-        Instruction.deserialize.bind(Poseidon2)
+        Instruction.fromBuffer.bind(Poseidon2)
     ],
     [
         Sha256Compression.opcode,
-        Instruction.deserialize.bind(Sha256Compression)
+        Instruction.fromBuffer.bind(Sha256Compression)
     ],
     [
         KeccakF1600.opcode,
-        Instruction.deserialize.bind(KeccakF1600)
+        Instruction.fromBuffer.bind(KeccakF1600)
     ],
     // Conversions
     [
         ToRadixBE.opcode,
-        Instruction.deserialize.bind(ToRadixBE)
+        Instruction.fromBuffer.bind(ToRadixBE)
     ]
 ]);
 /**
  * Serializes an array of instructions to bytecode.
  */ export function encodeToBytecode(instructions) {
-    return Buffer.concat(instructions.map((i)=>i.serialize()));
+    return serializeToBuffer(instructions);
 }
 // For testing only
 export function decodeFromBytecode(bytecode, instructionSet = INSTRUCTION_SET) {

package/dest/{common → public}/debug_fn_name.d.ts

@@ -1,5 +1,5 @@
 import type { Fr } from '@aztec/foundation/fields';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { PublicContractsDBInterface } from '../public/db_interfaces.js';
+import type { PublicContractsDBInterface } from './db_interfaces.js';
 export declare function getPublicFunctionDebugName(db: PublicContractsDBInterface, contractAddress: AztecAddress, calldata: Fr[]): Promise<string>;
 //# sourceMappingURL=debug_fn_name.d.ts.map

package/dest/{common → public}/debug_fn_name.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/common/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAE7E,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,0BAA0B,EAC9B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}
+{"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/public/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAErE,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,0BAA0B,EAC9B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}

package/dest/public/fixtures/index.d.ts

@@ -1,3 +1,4 @@
 export * from './public_tx_simulation_tester.js';
 export * from './utils.js';
+export * from './simple_contract_data_source.js';
 //# sourceMappingURL=index.d.ts.map

package/dest/public/fixtures/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/index.ts"],"names":[],"mappings":"AAAA,cAAc,kCAAkC,CAAC;AACjD,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/index.ts"],"names":[],"mappings":"AAAA,cAAc,kCAAkC,CAAC;AACjD,cAAc,YAAY,CAAC;AAC3B,cAAc,kCAAkC,CAAC"}

package/dest/public/fixtures/index.js

@@ -1,2 +1,3 @@
 export * from './public_tx_simulation_tester.js';
 export * from './utils.js';
+export * from './simple_contract_data_source.js';

package/dest/public/fixtures/public_tx_simulation_tester.d.ts

@@ -4,9 +4,9 @@ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
 import { GlobalVariables, type Tx } from '@aztec/stdlib/tx';
 import { BaseAvmSimulationTester } from '../avm/fixtures/base_avm_simulation_tester.js';
-import { SimpleContractDataSource } from '../avm/fixtures/simple_contract_data_source.js';
 import type { PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
 import { TestExecutorMetrics } from '../test_executor_metrics.js';
+import { SimpleContractDataSource } from './simple_contract_data_source.js';
 export type TestEnqueuedCall = {
     sender?: AztecAddress;
     address: AztecAddress;

package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public_tx_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/public_tx_simulation_tester.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAiC,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AAExF,OAAO,EAAE,wBAAwB,EAAE,MAAM,gDAAgD,CAAC;AAG1F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAMlE,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;;IASjE,OAAO,CAAC,OAAO;IARjB,OAAO,CAAC,OAAO,CAAK;IACpB,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,aAAa,CAAC,CAAS;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,GAAE,eAAkC,EACnC,OAAO,GAAE,mBAA+C;WAiB9C,MAAM,CACxB,OAAO,GAAE,eAAkC,EAC3C,OAAO,GAAE,mBAA+C,GACvD,OAAO,CAAC,wBAAwB,CAAC;IAM7B,gBAAgB,CAAC,MAAM,EAAE,MAAM;IAIzB,QAAQ,CACnB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,cAAc,KAAkC,GAC/C,OAAO,CAAC,EAAE,CAAC;IAcD,UAAU,CACrB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,cAAc,KAAkC,EAChD,OAAO,GAAE,MAAsB,GAC9B,OAAO,CAAC,cAAc,CAAC;IAyBb,mBAAmB,CAC9B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,cAAc,CAAC,EAAE,EAAE,GAClB,OAAO,CAAC,cAAc,CAAC;IAInB,kBAAkB;CAuB1B;AAED,wBAAgB,cAAc,oBAM7B"}
+{"version":3,"file":"public_tx_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/public_tx_simulation_tester.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAiC,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AAIxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAM5E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;;IASjE,OAAO,CAAC,OAAO;IARjB,OAAO,CAAC,OAAO,CAAK;IACpB,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,aAAa,CAAC,CAAS;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,GAAE,eAAkC,EACnC,OAAO,GAAE,mBAA+C;WAe9C,MAAM,CACxB,OAAO,GAAE,eAAkC,EAC3C,OAAO,GAAE,mBAA+C,GACvD,OAAO,CAAC,wBAAwB,CAAC;IAM7B,gBAAgB,CAAC,MAAM,EAAE,MAAM;IAIzB,QAAQ,CACnB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,cAAc,KAAkC,GAC/C,OAAO,CAAC,EAAE,CAAC;IAcD,UAAU,CACrB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,cAAc,KAAkC,EAChD,OAAO,GAAE,MAAsB,GAC9B,OAAO,CAAC,cAAc,CAAC;IAyBb,mBAAmB,CAC9B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,cAAc,CAAC,EAAE,EAAE,GAClB,OAAO,CAAC,cAAc,CAAC;IAInB,kBAAkB;CAuB1B;AAED,wBAAgB,cAAc,oBAM7B"}

package/dest/public/fixtures/public_tx_simulation_tester.js

@@ -7,10 +7,10 @@ import { GlobalVariables, PublicCallRequestWithCalldata } from '@aztec/stdlib/tx
 import { NativeWorldStateService } from '@aztec/world-state';
 import { BaseAvmSimulationTester } from '../avm/fixtures/base_avm_simulation_tester.js';
 import { DEFAULT_BLOCK_NUMBER, getContractFunctionAbi, getFunctionSelector } from '../avm/fixtures/index.js';
-import { SimpleContractDataSource } from '../avm/fixtures/simple_contract_data_source.js';
-import { PublicContractsDB, PublicTreesDB } from '../public_db_sources.js';
+import { PublicContractsDB } from '../public_db_sources.js';
 import { MeasuredPublicTxSimulator } from '../public_tx_simulator/measured_public_tx_simulator.js';
 import { TestExecutorMetrics } from '../test_executor_metrics.js';
+import { SimpleContractDataSource } from './simple_contract_data_source.js';
 import { createTxForPublicCalls } from './utils.js';
 const TIMESTAMP = new Fr(99833);
 const DEFAULT_GAS_FEES = new GasFees(2, 3);
@@ -25,9 +25,8 @@ const DEFAULT_GAS_FEES = new GasFees(2, 3);
     metricsPrefix;
     constructor(merkleTree, contractDataSource, globals = defaultGlobals(), metrics = new TestExecutorMetrics()){
         super(contractDataSource, merkleTree), this.metrics = metrics, this.txCount = 0;
-        const treesDB = new PublicTreesDB(merkleTree);
         const contractsDB = new PublicContractsDB(contractDataSource);
-        this.simulator = new MeasuredPublicTxSimulator(treesDB, contractsDB, globals, /*doMerkleOperations=*/ true, /*skipFeeEnforcement=*/ false, this.metrics);
+        this.simulator = new MeasuredPublicTxSimulator(merkleTree, contractsDB, globals, /*doMerkleOperations=*/ true, /*skipFeeEnforcement=*/ false, this.metrics);
     }
     static async create(globals = defaultGlobals(), metrics = new TestExecutorMetrics()) {
         const contractDataSource = new SimpleContractDataSource();

package/dest/public/fixtures/simple_contract_data_source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"simple_contract_data_source.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/simple_contract_data_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAInH;;;;;;GAMG;AACH,qBAAa,wBAAyB,YAAW,kBAAkB;IAC1D,MAAM,yCAA+C;IAG5D,OAAO,CAAC,eAAe,CAA+C;IAEtE,OAAO,CAAC,iBAAiB,CAAuD;IAEhF,OAAO,CAAC,iBAAiB,CAA4C;IAErE,OAAO,CAAC,iBAAiB,CAAkC;IAI3D;;;OAGG;IACG,cAAc,CAClB,gBAAgB,EAAE,gBAAgB,EAClC,aAAa,EAAE,mBAAmB,EAClC,gBAAgB,EAAE,2BAA2B;IAOzC,mBAAmB,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,gBAAgB;IAkBjE,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IAIjC,gBAAgB,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,mBAAmB,GAAG,SAAS,CAAC;IAIlE,qBAAqB,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC;IAIvD,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC;IAIpF,mBAAmB,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;IAI9B,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC;IAWjF,oBAAoB,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC;IAiB9F,kCAAkC,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhG,gBAAgB,CAAC,aAAa,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;IAKnE,mBAAmB,CAAC,gBAAgB,EAAE,2BAA2B,GAAG,OAAO,CAAC,IAAI,CAAC;CAIlF"}

package/dest/public/{avm/fixtures → fixtures}/simple_contract_data_source.js

@@ -1,5 +1,5 @@
 import { createLogger } from '@aztec/foundation/log';
-import { getFunctionSelector } from './index.js';
+import { getFunctionSelector } from '../avm/fixtures/index.js';
 /**
  * This class is used during public/avm testing to function as a database of
  * contract contract classes and instances. Tests can populate it with classes

package/dest/public/hinting_db_sources.d.ts

@@ -6,9 +6,8 @@ import type { FunctionSelector } from '@aztec/stdlib/abi';
 import { type AvmExecutionHints } from '@aztec/stdlib/avm';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-import { type IndexedTreeId, MerkleTreeId, type MerkleTreeLeafType, type SequentialInsertionResult } from '@aztec/stdlib/trees';
+import { type BatchInsertionResult, type IndexedTreeId, MerkleTreeId, type MerkleTreeLeafType, type MerkleTreeWriteOperations, type SequentialInsertionResult } from '@aztec/stdlib/trees';
 import type { PublicContractsDBInterface } from './db_interfaces.js';
-import { PublicTreesDB } from './public_db_sources.js';
 /**
  * A public contracts database that forwards requests and collects AVM hints.
  */
@@ -22,15 +21,17 @@ export declare class HintingPublicContractsDB implements PublicContractsDBInterf
     getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector): Promise<string | undefined>;
 }
 /**
- * A public trees database that forwards requests and collects AVM hints.
+ * A low-level merkle DB that collects hints.
  */
-export declare class HintingPublicTreesDB extends PublicTreesDB {
+export declare class HintingMerkleWriteOperations implements MerkleTreeWriteOperations {
+    private db;
     private hints;
     private static readonly log;
     private checkpointStack;
     private nextCheckpointId;
     private checkpointActionCounter;
-    constructor(db: PublicTreesDB, hints: AvmExecutionHints);
+    static create(db: MerkleTreeWriteOperations, hints: AvmExecutionHints): Promise<HintingMerkleWriteOperations>;
+    private constructor();
     getSiblingPath<N extends number>(treeId: MerkleTreeId, index: bigint): Promise<SiblingPath<N>>;
     getPreviousValueIndex<ID extends IndexedTreeId>(treeId: ID, value: bigint): Promise<{
         index: bigint;
@@ -48,5 +49,14 @@ export declare class HintingPublicTreesDB extends PublicTreesDB {
     private getTreesStateHash;
     private static logTreeChange;
     private appendLeafInternal;
+    getTreeInfo(treeId: MerkleTreeId): Promise<import("@aztec/stdlib/trees").TreeInfo>;
+    getStateReference(): Promise<import("@aztec/stdlib/tx").StateReference>;
+    getInitialHeader(): import("@aztec/stdlib/tx").BlockHeader;
+    updateArchive(header: any): Promise<void>;
+    batchInsert<TreeHeight extends number, SubtreeSiblingPathHeight extends number, ID extends IndexedTreeId>(treeId: ID, leaves: Buffer[], subtreeHeight: number): Promise<BatchInsertionResult<TreeHeight, SubtreeSiblingPathHeight>>;
+    close(): Promise<void>;
+    findLeafIndices<ID extends MerkleTreeId>(treeId: ID, values: MerkleTreeLeafType<ID>[]): Promise<(bigint | undefined)[]>;
+    findLeafIndicesAfter<ID extends MerkleTreeId>(treeId: ID, values: MerkleTreeLeafType<ID>[], startIndex: bigint): Promise<(bigint | undefined)[]>;
+    getBlockNumbersForLeafIndices<ID extends MerkleTreeId>(treeId: ID, leafIndices: bigint[]): Promise<(bigint | undefined)[]>;
 }
 //# sourceMappingURL=hinting_db_sources.d.ts.map