@aztec/simulator 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

package/src/public/debug_fn_name.ts

@@ -1,18 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import { FunctionSelector } from '@aztec/stdlib/abi';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-
-import type { PublicContractsDBInterface } from './db_interfaces.js';
-
-export async function getPublicFunctionDebugName(
-  db: PublicContractsDBInterface,
-  contractAddress: AztecAddress,
-  calldata: Fr[],
-): Promise<string> {
-  // Public function is dispatched and therefore the target function is passed in the first argument.
-  if (!calldata[0]) {
-    return `<calldata[0] undefined> (Contract Address: ${contractAddress})`;
-  }
-  const selector = FunctionSelector.fromField(calldata[0]);
-  return (await db.getDebugFunctionName(contractAddress, selector)) ?? selector.toString();
-}

package/src/public/fixtures/custom_bytecode_tests.ts

@@ -1,135 +0,0 @@
-import { strict as assert } from 'assert';
-
-import { TypeTag } from '../avm/avm_memory_types.js';
-import { Addressing, AddressingMode } from '../avm/opcodes/addressing_mode.js';
-import { CalldataCopy, Jump, Return, Set } from '../avm/opcodes/index.js';
-import { encodeToBytecode } from '../avm/serialization/bytecode_serialization.js';
-import {
-  MAX_OPCODE_VALUE,
-  Opcode,
-  OperandType,
-  getOperandSize,
-} from '../avm/serialization/instruction_serialization.js';
-import { testCustomBytecode } from './custom_bytecode_tester.js';
-import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
-
-// First instruction resolved a base address (offset 0) which is uninitialized and therefore
-// of invalid tag (FF). This will trigger an exceptional halt.
-export async function addressingWithBaseTagIssueTest(isIndirect: boolean, tester: PublicTxSimulationTester) {
-  const addressingMode = Addressing.fromModes([
-    isIndirect ? AddressingMode.INDIRECT_RELATIVE : AddressingMode.RELATIVE,
-    AddressingMode.DIRECT,
-    AddressingMode.DIRECT,
-  ]);
-
-  const bytecode = encodeToBytecode([
-    new CalldataCopy(/*indirect=*/ addressingMode.toWire(), /*copySize=*/ 1, /*cdOffset=*/ 0, /*dstOffset=*/ 0),
-    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
-  ]);
-
-  const txLabel = isIndirect ? 'AddressingWithBaseTagInvalidIndirect' : 'AddressingWithBaseTagInvalidDirect';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-export async function pcOutOfRangeTest(tester: PublicTxSimulationTester) {
-  const bytecode = encodeToBytecode([
-    new Jump(/*jumpOffset=*/ 123), // Jump to out-of-range pc offset.
-    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
-  ]);
-
-  const txLabel = 'PcOutOfRange';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-export async function invalidOpcodeTest(tester: PublicTxSimulationTester) {
-  let bytecode = encodeToBytecode([
-    new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
-  ]);
-
-  const offsetReturnOpcodeByte = bytecode.length;
-
-  bytecode = Buffer.concat([
-    bytecode,
-    encodeToBytecode([new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)]),
-  ]);
-
-  // Manipulate the Return opcode to make the opcode invalid (out of range).
-  bytecode[offsetReturnOpcodeByte] = MAX_OPCODE_VALUE + 1; // opcode is invalid.
-
-  const txLabel = 'InvalidOpcode';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-// Single invalid byte in the bytecode.
-export async function invalidByteTest(tester: PublicTxSimulationTester) {
-  const invalidOpcode = MAX_OPCODE_VALUE + 7;
-  assert(invalidOpcode < 256, 'Invalid opcode must fit in a single byte');
-  const bytecode = Buffer.from([invalidOpcode]);
-
-  const txLabel = 'InvalidByte';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-// Truncate the last instruction in the bytecode.
-export async function instructionTruncatedTest(tester: PublicTxSimulationTester) {
-  let bytecode = encodeToBytecode([
-    new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
-  ]);
-
-  // Truncate the bytecode.
-  bytecode = bytecode.subarray(0, -1);
-
-  const txLabel = 'InstructionTruncated';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-// Invalid tag value byte in an instruction.
-export async function invalidTagValueTest(tester: PublicTxSimulationTester) {
-  const bytecode = encodeToBytecode([
-    new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
-    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
-  ]);
-
-  const tagOffset = getTagOffsetInInstruction(Set.wireFormat8);
-  assert(bytecode[tagOffset].valueOf() == TypeTag.UINT32.valueOf(), 'Set instruction tag should be UINT32 in test');
-  bytecode[tagOffset] = TypeTag.INVALID;
-
-  const txLabel = 'InvalidTagValue';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-// Combine an invalid tag in the last instruction that is truncated.
-export async function invalidTagValueAndInstructionTruncatedTest(tester: PublicTxSimulationTester) {
-  let bytecode = encodeToBytecode([
-    // Important: value argument must be a bigint otherwise a type error will be thrown.
-    new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT128, /*value=*/ 0n).as(Opcode.SET_128, Set.wireFormat128),
-  ]);
-
-  // Truncate the bytecode.
-  bytecode = bytecode.subarray(0, -5);
-  const tagOffset = getTagOffsetInInstruction(Set.wireFormat128);
-  assert(bytecode[tagOffset].valueOf() == TypeTag.UINT128.valueOf(), 'Set instruction tag should be UINT128 in test');
-  bytecode[tagOffset] = 0x6f; // Invalid tag value.
-
-  const txLabel = 'InvalidTagValueAndInstructionTruncated';
-  return await testCustomBytecode(bytecode, tester, txLabel);
-}
-
-/**
- * Returns the offset of the tag in an instruction.
- * @details Loops over the wire format operand type entries until it finds the tag.
- * Returns the byte offset of the tag based on each operand size that is passed.
- *
- * @param wireFormat array of operand types
- * @returns byte offset of the tag
- */
-function getTagOffsetInInstruction(wireFormat: OperandType[]): number {
-  let offset = 0;
-  for (const operand of wireFormat) {
-    if (operand === OperandType.TAG) {
-      break;
-    }
-    offset += getOperandSize(operand);
-  }
-  return offset;
-}

package/src/public/fixtures/minimal_public_tx.ts

@@ -1,36 +0,0 @@
-import { AvmCircuitInputs } from '@aztec/stdlib/avm';
-import { ProtocolContracts } from '@aztec/stdlib/tx';
-
-import avmMinimalCircuitInputsJson from '../../../artifacts/avm_minimal_inputs.json' with { type: 'json' };
-import { TypeTag } from '../avm/avm_memory_types.js';
-import { Add, Return, Set } from '../avm/opcodes/index.js';
-import { encodeToBytecode } from '../avm/serialization/bytecode_serialization.js';
-import { Opcode } from '../avm/serialization/instruction_serialization.js';
-import type { PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
-import { testCustomBytecode } from './custom_bytecode_tester.js';
-import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
-
-export async function executeAvmMinimalPublicTx(tester: PublicTxSimulationTester): Promise<PublicTxResult> {
-  const minimalBytecode = encodeToBytecode([
-    new Set(/*indirect*/ 0, /*dstOffset*/ 0, TypeTag.UINT32, /*value*/ 1).as(Opcode.SET_8, Set.wireFormat8),
-    new Set(/*indirect*/ 0, /*dstOffset*/ 1, TypeTag.UINT32, /*value*/ 2).as(Opcode.SET_8, Set.wireFormat8),
-    new Add(/*indirect=*/ 0, /*aOffset=*/ 0, /*bOffset=*/ 1, /*dstOffset=*/ 2).as(Opcode.ADD_8, Add.wireFormat8),
-    new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 2),
-  ]);
-
-  const result = await testCustomBytecode(minimalBytecode, tester, 'MinimalTx', 'AvmMinimalContract');
-
-  // Modify the protocol contracts to be all zeros
-  result.avmProvingRequest.inputs.hints.protocolContracts = ProtocolContracts.empty();
-  result.avmProvingRequest.inputs.publicInputs.protocolContracts = ProtocolContracts.empty();
-
-  return result;
-}
-
-/**
- * Reads the AVM circuit inputs for the minimal public tx from a pre-generated JSON file.
- * @returns The AvmCircuitInputs for the minimal public tx.
- */
-export function readAvmMinimalPublicTxInputsFromFile(): AvmCircuitInputs {
-  return AvmCircuitInputs.schema.parse(avmMinimalCircuitInputsJson);
-}

package/src/public/hinting_db_sources.ts

@@ -1,505 +0,0 @@
-import { sha256Trunc } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { type Logger, createLogger } from '@aztec/foundation/log';
-import type { IndexedTreeLeafPreimage, SiblingPath } from '@aztec/foundation/trees';
-import type { FunctionSelector } from '@aztec/stdlib/abi';
-import {
-  AvmAppendLeavesHint,
-  AvmBytecodeCommitmentHint,
-  AvmCommitCheckpointHint,
-  AvmContractClassHint,
-  AvmContractInstanceHint,
-  AvmCreateCheckpointHint,
-  type AvmExecutionHints,
-  AvmGetLeafPreimageHintNullifierTree,
-  AvmGetLeafPreimageHintPublicDataTree,
-  AvmGetLeafValueHint,
-  AvmGetPreviousValueIndexHint,
-  AvmGetSiblingPathHint,
-  AvmRevertCheckpointHint,
-  AvmSequentialInsertHintNullifierTree,
-  AvmSequentialInsertHintPublicDataTree,
-} from '@aztec/stdlib/avm';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-import {
-  AppendOnlyTreeSnapshot,
-  type BatchInsertionResult,
-  type IndexedTreeId,
-  MerkleTreeId,
-  type MerkleTreeLeafType,
-  type MerkleTreeWriteOperations,
-  NullifierLeaf,
-  NullifierLeafPreimage,
-  PublicDataTreeLeaf,
-  PublicDataTreeLeafPreimage,
-  type SequentialInsertionResult,
-  type TreeHeights,
-  getTreeName,
-  merkleTreeIds,
-} from '@aztec/stdlib/trees';
-import { TreeSnapshots } from '@aztec/stdlib/tx';
-import type { UInt64 } from '@aztec/stdlib/types';
-import type { WorldStateRevision } from '@aztec/stdlib/world-state';
-
-import { strict as assert } from 'assert';
-
-import type { PublicContractsDBInterface } from './db_interfaces.js';
-
-/**
- * A public contracts database that forwards requests and collects AVM hints.
- */
-export class HintingPublicContractsDB implements PublicContractsDBInterface {
-  // We deduplicate contract classes because they include the whole bytecode.
-  private contractClassIds: Set<bigint> = new Set();
-
-  constructor(
-    private readonly db: PublicContractsDBInterface,
-    private hints: AvmExecutionHints,
-  ) {}
-
-  public async getContractInstance(
-    address: AztecAddress,
-    timestamp: UInt64,
-  ): Promise<ContractInstanceWithAddress | undefined> {
-    const instance = await this.db.getContractInstance(address, timestamp);
-    if (instance) {
-      // We don't need to hint the block number because it doesn't change.
-      this.hints.contractInstances.push(
-        new AvmContractInstanceHint(
-          instance.address,
-          instance.salt,
-          instance.deployer,
-          instance.currentContractClassId,
-          instance.originalContractClassId,
-          instance.initializationHash,
-          instance.publicKeys,
-        ),
-      );
-    }
-    return instance;
-  }
-
-  public async getContractClass(contractClassId: Fr): Promise<ContractClassPublic | undefined> {
-    const contractClass = await this.db.getContractClass(contractClassId);
-    if (contractClass && !this.contractClassIds.has(contractClassId.toBigInt())) {
-      this.contractClassIds.add(contractClassId.toBigInt());
-      this.hints.contractClasses.push(
-        new AvmContractClassHint(
-          contractClass.id,
-          contractClass.artifactHash,
-          contractClass.privateFunctionsRoot,
-          contractClass.packedBytecode,
-        ),
-      );
-    }
-    return contractClass;
-  }
-
-  public async getBytecodeCommitment(contractClassId: Fr): Promise<Fr | undefined> {
-    const commitment = await this.db.getBytecodeCommitment(contractClassId);
-    if (commitment) {
-      this.hints.bytecodeCommitments.push(new AvmBytecodeCommitmentHint(contractClassId, commitment));
-    }
-    return commitment;
-  }
-
-  public async getDebugFunctionName(
-    contractAddress: AztecAddress,
-    selector: FunctionSelector,
-  ): Promise<string | undefined> {
-    return await this.db.getDebugFunctionName(contractAddress, selector);
-  }
-}
-
-/**
- * A low-level merkle DB that collects hints.
- */
-export class HintingMerkleWriteOperations implements MerkleTreeWriteOperations {
-  private static readonly log: Logger = createLogger('simulator:hinting-merkle-db');
-  // This stack is only for debugging purposes.
-  // The top of the stack is the current checkpoint id.
-  // We need the stack to be non-empty and use 0 as an arbitrary initial checkpoint id.
-  // This is not necessarily a checkpoint that happened, but whatever tree state we start with.
-  private checkpointStack: number[] = [0];
-  private nextCheckpointId: number = 1;
-  private checkpointActionCounter: number = 0; // yes, a side-effect counter.
-
-  public static async create(db: MerkleTreeWriteOperations, hints: AvmExecutionHints) {
-    const hintingTreesDB = new HintingMerkleWriteOperations(db, hints);
-    const startStateReference = await db.getStateReference();
-    hints.startingTreeRoots = new TreeSnapshots(
-      startStateReference.l1ToL2MessageTree,
-      startStateReference.partial.noteHashTree,
-      startStateReference.partial.nullifierTree,
-      startStateReference.partial.publicDataTree,
-    );
-
-    return hintingTreesDB;
-  }
-
-  // Use create() to instantiate.
-  private constructor(
-    private db: MerkleTreeWriteOperations,
-    private hints: AvmExecutionHints,
-  ) {}
-
-  // Getters.
-  public async getSiblingPath<ID extends MerkleTreeId>(
-    treeId: ID,
-    index: bigint,
-  ): Promise<SiblingPath<TreeHeights[ID]>> {
-    const path = await this.db.getSiblingPath(treeId, index);
-    const key = await this.getHintKey(treeId);
-    this.hints.getSiblingPathHints.push(new AvmGetSiblingPathHint(key, treeId, index, path.toFields()));
-    return Promise.resolve(path);
-  }
-
-  public async getPreviousValueIndex<ID extends IndexedTreeId>(
-    treeId: ID,
-    value: bigint,
-  ): Promise<
-    | {
-        index: bigint;
-        alreadyPresent: boolean;
-      }
-    | undefined
-  > {
-    const result = await this.db.getPreviousValueIndex(treeId, value);
-    if (result === undefined) {
-      throw new Error(
-        `getPreviousValueIndex(${getTreeName(
-          treeId,
-        )}, ${value}}) returned undefined. Possible wrong tree setup or corrupted state.`,
-      );
-    }
-    const key = await this.getHintKey(treeId);
-    this.hints.getPreviousValueIndexHints.push(
-      new AvmGetPreviousValueIndexHint(key, treeId, new Fr(value), result.index, result.alreadyPresent),
-    );
-    return result;
-  }
-
-  public async getLeafPreimage<ID extends IndexedTreeId>(
-    treeId: ID,
-    index: bigint,
-  ): Promise<IndexedTreeLeafPreimage | undefined> {
-    const preimage = await this.db.getLeafPreimage<ID>(treeId, index);
-    if (preimage) {
-      const key = await this.getHintKey(treeId);
-
-      switch (treeId) {
-        case MerkleTreeId.PUBLIC_DATA_TREE:
-          this.hints.getLeafPreimageHintsPublicDataTree.push(
-            new AvmGetLeafPreimageHintPublicDataTree(key, index, preimage as PublicDataTreeLeafPreimage),
-          );
-          break;
-        case MerkleTreeId.NULLIFIER_TREE:
-          this.hints.getLeafPreimageHintsNullifierTree.push(
-            new AvmGetLeafPreimageHintNullifierTree(key, index, preimage as NullifierLeafPreimage),
-          );
-          break;
-        default:
-          // Use getLeafValue for the other trees.
-          throw new Error('getLeafPreimage only supported for PublicDataTree and NullifierTree!');
-          break;
-      }
-    }
-
-    return preimage;
-  }
-
-  public async getLeafValue<ID extends MerkleTreeId>(
-    treeId: ID,
-    index: bigint,
-  ): Promise<MerkleTreeLeafType<typeof treeId> | undefined> {
-    // Use getLeafPreimage for PublicDataTree and NullifierTree.
-    assert(treeId == MerkleTreeId.NOTE_HASH_TREE || treeId == MerkleTreeId.L1_TO_L2_MESSAGE_TREE);
-
-    const value = await this.db.getLeafValue<ID>(treeId, index);
-    if (value) {
-      const key = await this.getHintKey(treeId);
-      // We can cast to Fr because we know the type of the tree.
-      this.hints.getLeafValueHints.push(new AvmGetLeafValueHint(key, treeId, index, value as Fr));
-    }
-
-    return value;
-  }
-
-  // State modification.
-  // FIXME(fcarreiro): This is a horrible interface (in the merkle ops). It's receiving the leaves as buffers,
-  // from a leaf class that is NOT the one that will be used to write. Make this type safe.
-  public async sequentialInsert<TreeHeight extends number, ID extends IndexedTreeId>(
-    treeId: ID,
-    leaves: Buffer[],
-  ): Promise<SequentialInsertionResult<TreeHeight>> {
-    // Use appendLeaf for NoteHashTree and L1ToL2MessageTree.
-    assert(treeId == MerkleTreeId.PUBLIC_DATA_TREE || treeId == MerkleTreeId.NULLIFIER_TREE);
-    // We only support 1 leaf at a time for now. Can easily be extended.
-    assert(leaves.length === 1, 'sequentialInsert supports only one leaf at a time!');
-
-    const beforeState = await this.getHintKey(treeId);
-
-    const result = await this.db.sequentialInsert<TreeHeight, ID>(treeId, leaves);
-
-    const afterState = await this.getHintKey(treeId);
-    HintingMerkleWriteOperations.logTreeChange('sequentialInsert', beforeState, afterState, treeId);
-
-    switch (treeId) {
-      case MerkleTreeId.PUBLIC_DATA_TREE:
-        this.hints.sequentialInsertHintsPublicDataTree.push(
-          new AvmSequentialInsertHintPublicDataTree(
-            beforeState,
-            afterState,
-            treeId,
-            PublicDataTreeLeaf.fromBuffer(leaves[0]),
-            {
-              leaf: result.lowLeavesWitnessData[0].leafPreimage as PublicDataTreeLeafPreimage,
-              index: result.lowLeavesWitnessData[0].index,
-              path: result.lowLeavesWitnessData[0].siblingPath.toFields(),
-            },
-            {
-              leaf: result.insertionWitnessData[0].leafPreimage as PublicDataTreeLeafPreimage,
-              index: result.insertionWitnessData[0].index,
-              path: result.insertionWitnessData[0].siblingPath.toFields(),
-            },
-          ),
-        );
-        break;
-      case MerkleTreeId.NULLIFIER_TREE:
-        this.hints.sequentialInsertHintsNullifierTree.push(
-          new AvmSequentialInsertHintNullifierTree(
-            beforeState,
-            afterState,
-            treeId,
-            NullifierLeaf.fromBuffer(leaves[0]),
-            {
-              leaf: result.lowLeavesWitnessData[0].leafPreimage as NullifierLeafPreimage,
-              index: result.lowLeavesWitnessData[0].index,
-              path: result.lowLeavesWitnessData[0].siblingPath.toFields(),
-            },
-            {
-              leaf: result.insertionWitnessData[0].leafPreimage as NullifierLeafPreimage,
-              index: result.insertionWitnessData[0].index,
-              path: result.insertionWitnessData[0].siblingPath.toFields(),
-            },
-          ),
-        );
-        break;
-      default:
-        throw new Error('sequentialInsert only supported for PublicDataTree and NullifierTree!');
-        break;
-    }
-
-    return result;
-  }
-
-  public async appendLeaves<ID extends MerkleTreeId>(treeId: ID, leaves: MerkleTreeLeafType<ID>[]): Promise<void> {
-    // Use sequentialInsert for PublicDataTree and NullifierTree.
-    assert(treeId == MerkleTreeId.NOTE_HASH_TREE || treeId == MerkleTreeId.L1_TO_L2_MESSAGE_TREE);
-
-    // We need to process each leaf individually because we need the sibling path after insertion, to be able to constraint the insertion.
-    // TODO(https://github.com/AztecProtocol/aztec-packages/issues/13380): This can be changed if the world state appendLeaves returns the sibling paths.
-    if (leaves.length === 1) {
-      await this.appendLeafInternal(treeId, leaves[0]);
-      return;
-    } else {
-      // TODO(dbanks12): NON-HINTING! We skip hinting here for now because:
-      // 1. We only ever append multiple leaves (for now) when padding (all empty leaves).
-      // 2. We don't need hints per-item when padding.
-      // 3. In order to get per-item hints today, you need to append one-at-a-time (mentioned above), which is VERY slow.
-      await this.db.appendLeaves<ID>(treeId, leaves);
-    }
-  }
-
-  public async createCheckpoint(): Promise<void> {
-    const actionCounter = this.checkpointActionCounter++;
-    const oldCheckpointId = this.getCurrentCheckpointId();
-    const treesStateHash = await this.getTreesStateHash();
-
-    await this.db.createCheckpoint();
-    this.checkpointStack.push(this.nextCheckpointId++);
-    const newCheckpointId = this.getCurrentCheckpointId();
-
-    this.hints.createCheckpointHints.push(new AvmCreateCheckpointHint(actionCounter, oldCheckpointId, newCheckpointId));
-
-    HintingMerkleWriteOperations.log.trace(
-      `[createCheckpoint:${actionCounter}] Checkpoint evolved ${oldCheckpointId} -> ${newCheckpointId} at trees state ${treesStateHash}.`,
-    );
-  }
-
-  public commitAllCheckpoints(): Promise<void> {
-    throw new Error('commitAllCheckpoints is not supported in HintingMerkleWriteOperations.');
-  }
-
-  public revertAllCheckpoints(): Promise<void> {
-    throw new Error('revertAllCheckpoints is not supported in HintingMerkleWriteOperations.');
-  }
-
-  public async commitCheckpoint(): Promise<void> {
-    const actionCounter = this.checkpointActionCounter++;
-    const oldCheckpointId = this.getCurrentCheckpointId();
-    const treesStateHash = await this.getTreesStateHash();
-
-    await this.db.commitCheckpoint();
-    this.checkpointStack.pop();
-    const newCheckpointId = this.getCurrentCheckpointId();
-
-    this.hints.commitCheckpointHints.push(new AvmCommitCheckpointHint(actionCounter, oldCheckpointId, newCheckpointId));
-
-    HintingMerkleWriteOperations.log.trace(
-      `[commitCheckpoint:${actionCounter}] Checkpoint evolved ${oldCheckpointId} -> ${newCheckpointId} at trees state ${treesStateHash}.`,
-    );
-  }
-
-  public async revertCheckpoint(): Promise<void> {
-    const actionCounter = this.checkpointActionCounter++;
-    const oldCheckpointId = this.getCurrentCheckpointId();
-    const treesStateHash = await this.getTreesStateHash();
-
-    const beforeState: Record<MerkleTreeId, AppendOnlyTreeSnapshot> = {
-      [MerkleTreeId.PUBLIC_DATA_TREE]: await this.getHintKey(MerkleTreeId.PUBLIC_DATA_TREE),
-      [MerkleTreeId.NULLIFIER_TREE]: await this.getHintKey(MerkleTreeId.NULLIFIER_TREE),
-      [MerkleTreeId.NOTE_HASH_TREE]: await this.getHintKey(MerkleTreeId.NOTE_HASH_TREE),
-      [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: await this.getHintKey(MerkleTreeId.L1_TO_L2_MESSAGE_TREE),
-      [MerkleTreeId.ARCHIVE]: await this.getHintKey(MerkleTreeId.ARCHIVE),
-    };
-
-    await this.db.revertCheckpoint();
-    this.checkpointStack.pop();
-    const newCheckpointId = this.getCurrentCheckpointId();
-
-    const afterState: Record<MerkleTreeId, AppendOnlyTreeSnapshot> = {
-      [MerkleTreeId.PUBLIC_DATA_TREE]: await this.getHintKey(MerkleTreeId.PUBLIC_DATA_TREE),
-      [MerkleTreeId.NULLIFIER_TREE]: await this.getHintKey(MerkleTreeId.NULLIFIER_TREE),
-      [MerkleTreeId.NOTE_HASH_TREE]: await this.getHintKey(MerkleTreeId.NOTE_HASH_TREE),
-      [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: await this.getHintKey(MerkleTreeId.L1_TO_L2_MESSAGE_TREE),
-      [MerkleTreeId.ARCHIVE]: await this.getHintKey(MerkleTreeId.ARCHIVE),
-    };
-
-    this.hints.revertCheckpointHints.push(
-      AvmRevertCheckpointHint.create(actionCounter, oldCheckpointId, newCheckpointId, beforeState, afterState),
-    );
-
-    HintingMerkleWriteOperations.log.trace(
-      `[revertCheckpoint:${actionCounter}] Checkpoint evolved ${oldCheckpointId} -> ${newCheckpointId} at trees state ${treesStateHash}.`,
-    );
-    for (const treeId of merkleTreeIds()) {
-      HintingMerkleWriteOperations.logTreeChange('revertCheckpoint', beforeState[treeId], afterState[treeId], treeId);
-    }
-  }
-
-  // Private methods.
-  private async getHintKey(treeId: MerkleTreeId): Promise<AppendOnlyTreeSnapshot> {
-    const treeInfo = await this.db.getTreeInfo(treeId);
-    return new AppendOnlyTreeSnapshot(Fr.fromBuffer(treeInfo.root), Number(treeInfo.size));
-  }
-
-  private getCurrentCheckpointId(): number {
-    return this.checkpointStack[this.checkpointStack.length - 1];
-  }
-
-  // For logging/debugging purposes.
-  private async getTreesStateHash(): Promise<Fr> {
-    const stateReferenceFields = (await this.db.getStateReference()).toFields();
-    return Fr.fromBuffer(sha256Trunc(Buffer.concat(stateReferenceFields.map(field => field.toBuffer()))));
-  }
-
-  private static logTreeChange(
-    action: string,
-    beforeState: AppendOnlyTreeSnapshot,
-    afterState: AppendOnlyTreeSnapshot,
-    treeId: MerkleTreeId,
-  ) {
-    const treeName = getTreeName(treeId);
-    HintingMerkleWriteOperations.log.trace(
-      `[${action}] ${treeName} tree state: ${beforeState.root}, ${beforeState.nextAvailableLeafIndex} -> ${afterState.root}, ${afterState.nextAvailableLeafIndex}.`,
-    );
-  }
-
-  private async appendLeafInternal<ID extends MerkleTreeId>(
-    treeId: ID,
-    leaf: MerkleTreeLeafType<ID>,
-  ): Promise<SiblingPath<TreeHeights[ID]>> {
-    // Use sequentialInsert for PublicDataTree and NullifierTree.
-    assert(treeId == MerkleTreeId.NOTE_HASH_TREE || treeId == MerkleTreeId.L1_TO_L2_MESSAGE_TREE);
-
-    const beforeState = await this.getHintKey(treeId);
-
-    await this.db.appendLeaves<ID>(treeId, [leaf]);
-
-    const afterState = await this.getHintKey(treeId);
-
-    HintingMerkleWriteOperations.logTreeChange('appendLeaves', beforeState, afterState, treeId);
-
-    this.hints.appendLeavesHints.push(new AvmAppendLeavesHint(beforeState, afterState, treeId, [leaf as Fr]));
-
-    return await this.getSiblingPath(treeId, BigInt(beforeState.nextAvailableLeafIndex));
-  }
-
-  // Non-hinted required methods from MerkleTreeWriteOperations interface
-  public async getTreeInfo(treeId: MerkleTreeId) {
-    return await this.db.getTreeInfo(treeId);
-  }
-
-  public async getStateReference() {
-    return await this.db.getStateReference();
-  }
-
-  public getInitialHeader() {
-    return this.db.getInitialHeader();
-  }
-
-  public getRevision(): WorldStateRevision {
-    return this.db.getRevision();
-  }
-
-  public async updateArchive(header: any): Promise<void> {
-    return await this.db.updateArchive(header);
-  }
-
-  public async batchInsert<
-    TreeHeight extends number,
-    SubtreeSiblingPathHeight extends number,
-    ID extends IndexedTreeId,
-  >(
-    treeId: ID,
-    leaves: Buffer[],
-    subtreeHeight: number,
-  ): Promise<BatchInsertionResult<TreeHeight, SubtreeSiblingPathHeight>> {
-    return await this.db.batchInsert<TreeHeight, SubtreeSiblingPathHeight, ID>(treeId, leaves, subtreeHeight);
-  }
-
-  public async close(): Promise<void> {
-    return await this.db.close();
-  }
-
-  public async findLeafIndices<ID extends MerkleTreeId>(
-    treeId: ID,
-    values: MerkleTreeLeafType<ID>[],
-  ): Promise<(bigint | undefined)[]> {
-    return await this.db.findLeafIndices(treeId, values);
-  }
-
-  public findSiblingPaths<ID extends MerkleTreeId>(
-    treeId: ID,
-    values: MerkleTreeLeafType<ID>[],
-  ): Promise<({ path: SiblingPath<TreeHeights[ID]>; index: bigint } | undefined)[]> {
-    return this.db.findSiblingPaths(treeId, values);
-  }
-
-  public async findLeafIndicesAfter<ID extends MerkleTreeId>(
-    treeId: ID,
-    values: MerkleTreeLeafType<ID>[],
-    startIndex: bigint,
-  ): Promise<(bigint | undefined)[]> {
-    return await this.db.findLeafIndicesAfter(treeId, values, startIndex);
-  }
-
-  public async getBlockNumbersForLeafIndices<ID extends MerkleTreeId>(
-    treeId: ID,
-    leafIndices: bigint[],
-  ): Promise<(bigint | undefined)[]> {
-    return await this.db.getBlockNumbersForLeafIndices(treeId, leafIndices);
-  }
-}