@aztec/simulator 0.55.1 → 0.56.0

package/src/public/public_processor.ts

@@ -3,9 +3,6 @@ import {
   NestedProcessReturnValues,
   type ProcessedTx,
   type ProcessedTxHandler,
-  PublicKernelType,
-  type PublicProvingRequest,
-  type SimulationError,
   Tx,
   type TxValidator,
   makeProcessedTx,
@@ -17,7 +14,6 @@ import {
   FEE_JUICE_ADDRESS,
   type GlobalVariables,
   type Header,
-  type KernelCircuitPublicInputs,
   MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
   PROTOCOL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
   PublicDataUpdateRequest,
@@ -25,22 +21,16 @@ import {
 import { times } from '@aztec/foundation/collection';
 import { createDebugLogger } from '@aztec/foundation/log';
 import { Timer } from '@aztec/foundation/timer';
-import { type ProtocolArtifact } from '@aztec/noir-protocol-circuits-types';
 import { ClassRegistererAddress } from '@aztec/protocol-contracts/class-registerer';
-import {
-  PublicExecutor,
-  type PublicStateDB,
-  type SimulationProvider,
-  computeFeePayerBalanceLeafSlot,
-  computeFeePayerBalanceStorageSlot,
-} from '@aztec/simulator';
 import { Attributes, type TelemetryClient, type Tracer, trackSpan } from '@aztec/telemetry-client';
 import { type ContractDataSource } from '@aztec/types/contracts';
 import { type MerkleTreeOperations } from '@aztec/world-state';
 
-import { type AbstractPhaseManager } from './abstract_phase_manager.js';
-import { PhaseManagerFactory } from './phase_manager_factory.js';
-import { ContractsDataSourcePublicDB, WorldStateDB, WorldStatePublicDB } from './public_db_sources.js';
+import { type SimulationProvider } from '../providers/index.js';
+import { EnqueuedCallsProcessor } from './enqueued_calls_processor.js';
+import { PublicExecutor } from './executor.js';
+import { computeFeePayerBalanceLeafSlot, computeFeePayerBalanceStorageSlot } from './fee_payment.js';
+import { WorldStateDB } from './public_db_sources.js';
 import { RealPublicKernelCircuitSimulator } from './public_kernel.js';
 import { type PublicKernelCircuitSimulator } from './public_kernel_circuit_simulator.js';
 import { PublicProcessorMetrics } from './public_processor_metrics.js';
@@ -65,25 +55,18 @@ export class PublicProcessorFactory {
   public create(maybeHistoricalHeader: Header | undefined, globalVariables: GlobalVariables): PublicProcessor {
     const { merkleTree, telemetryClient } = this;
     const historicalHeader = maybeHistoricalHeader ?? merkleTree.getInitialHeader();
-    const publicContractsDB = new ContractsDataSourcePublicDB(this.contractDataSource);
 
-    const worldStatePublicDB = new WorldStatePublicDB(merkleTree);
-    const worldStateDB = new WorldStateDB(merkleTree);
-    const publicExecutor = new PublicExecutor(
-      worldStatePublicDB,
-      publicContractsDB,
-      worldStateDB,
-      historicalHeader,
-      telemetryClient,
-    );
-    return new PublicProcessor(
+    const worldStateDB = new WorldStateDB(merkleTree, this.contractDataSource);
+    const publicExecutor = new PublicExecutor(worldStateDB, historicalHeader, telemetryClient);
+    const publicKernelSimulator = new RealPublicKernelCircuitSimulator(this.simulator);
+
+    return PublicProcessor.create(
       merkleTree,
       publicExecutor,
-      new RealPublicKernelCircuitSimulator(this.simulator),
+      publicKernelSimulator,
       globalVariables,
       historicalHeader,
-      publicContractsDB,
-      worldStatePublicDB,
+      worldStateDB,
       this.telemetryClient,
     );
   }
@@ -101,14 +84,44 @@ export class PublicProcessor {
     protected publicKernel: PublicKernelCircuitSimulator,
     protected globalVariables: GlobalVariables,
     protected historicalHeader: Header,
-    protected publicContractsDB: ContractsDataSourcePublicDB,
-    protected publicStateDB: PublicStateDB,
+    protected worldStateDB: WorldStateDB,
+    protected enqueuedCallsProcessor: EnqueuedCallsProcessor,
     telemetryClient: TelemetryClient,
     private log = createDebugLogger('aztec:sequencer:public-processor'),
   ) {
     this.metrics = new PublicProcessorMetrics(telemetryClient, 'PublicProcessor');
   }
 
+  static create(
+    db: MerkleTreeOperations,
+    publicExecutor: PublicExecutor,
+    publicKernelSimulator: PublicKernelCircuitSimulator,
+    globalVariables: GlobalVariables,
+    historicalHeader: Header,
+    worldStateDB: WorldStateDB,
+    telemetryClient: TelemetryClient,
+  ) {
+    const enqueuedCallsProcessor = EnqueuedCallsProcessor.create(
+      db,
+      publicExecutor,
+      publicKernelSimulator,
+      globalVariables,
+      historicalHeader,
+      worldStateDB,
+    );
+
+    return new PublicProcessor(
+      db,
+      publicExecutor,
+      publicKernelSimulator,
+      globalVariables,
+      historicalHeader,
+      worldStateDB,
+      enqueuedCallsProcessor,
+      telemetryClient,
+    );
+  }
+
   get tracer(): Tracer {
     return this.metrics.tracer;
   }
@@ -151,7 +164,7 @@ export class PublicProcessor {
         processedTx.finalPublicDataUpdateRequests = await this.createFinalDataUpdateRequests(processedTx);
 
         // Commit the state updates from this transaction
-        await this.publicStateDB.commit();
+        await this.worldStateDB.commit();
         validateProcessedTx(processedTx);
 
         // Re-validate the transaction
@@ -217,14 +230,14 @@ export class PublicProcessor {
     const balance =
       existingBalanceWriteIndex > -1
         ? finalPublicDataUpdateRequests[existingBalanceWriteIndex].newValue
-        : await this.publicStateDB.storageRead(feeJuiceAddress, balanceSlot);
+        : await this.worldStateDB.storageRead(feeJuiceAddress, balanceSlot);
 
     if (balance.lt(txFee)) {
       throw new Error(`Not enough balance for fee payer to pay for transaction (got ${balance} needs ${txFee})`);
     }
 
     const updatedBalance = balance.sub(txFee);
-    await this.publicStateDB.storageWrite(feeJuiceAddress, balanceSlot, updatedBalance);
+    await this.worldStateDB.storageWrite(feeJuiceAddress, balanceSlot, updatedBalance);
 
     finalPublicDataUpdateRequests[
       existingBalanceWriteIndex > -1 ? existingBalanceWriteIndex : MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX
@@ -238,69 +251,31 @@ export class PublicProcessor {
   }))
   private async processTxWithPublicCalls(tx: Tx): Promise<[ProcessedTx, NestedProcessReturnValues[]]> {
     const timer = new Timer();
-    let returnValues: NestedProcessReturnValues[] = [];
-    const publicProvingRequests: PublicProvingRequest[] = [];
-    let phase: AbstractPhaseManager | undefined = PhaseManagerFactory.phaseFromTx(
-      tx,
-      this.db,
-      this.publicExecutor,
-      this.publicKernel,
-      this.globalVariables,
-      this.historicalHeader,
-      this.publicContractsDB,
-      this.publicStateDB,
-    );
-    this.log.debug(`Beginning processing in phase ${phase?.phase} for tx ${tx.getTxHash()}`);
-    let publicKernelPublicInput = tx.data.toPublicKernelCircuitPublicInputs();
-    let lastKernelArtifact: ProtocolArtifact = 'PrivateKernelTailToPublicArtifact'; // All txs with public calls must carry tail to public proofs
-    let finalKernelOutput: KernelCircuitPublicInputs | undefined;
-    let revertReason: SimulationError | undefined;
-    const gasUsed: ProcessedTx['gasUsed'] = {};
-    let phaseCount = 0;
-    while (phase) {
-      phaseCount++;
-      const phaseTimer = new Timer();
-      const output = await phase.handle(tx, publicKernelPublicInput, lastKernelArtifact);
-
-      if (output.revertReason) {
-        this.metrics.recordRevertedPhase(phase.phase);
-      } else {
-        this.metrics.recordPhaseDuration(phase.phase, phaseTimer.ms());
-      }
 
-      gasUsed[phase.phase] = output.gasUsed;
-      if (phase.phase === PublicKernelType.APP_LOGIC) {
-        returnValues = output.returnValues;
-      }
-      publicProvingRequests.push(...output.publicProvingRequests);
-      publicKernelPublicInput = output.publicKernelOutput;
-      lastKernelArtifact = output.lastKernelArtifact;
-      finalKernelOutput = output.finalKernelOutput;
-      revertReason ??= output.revertReason;
-      phase = PhaseManagerFactory.phaseFromOutput(
-        publicKernelPublicInput,
-        phase,
-        this.db,
-        this.publicExecutor,
-        this.publicKernel,
-        this.globalVariables,
-        this.historicalHeader,
-        this.publicContractsDB,
-        this.publicStateDB,
-      );
-    }
+    const { tailKernelOutput, returnValues, revertReason, provingRequests, gasUsed, processedPhases } =
+      await this.enqueuedCallsProcessor.process(tx);
 
-    if (!finalKernelOutput) {
+    if (!tailKernelOutput) {
       this.metrics.recordFailedTx();
       throw new Error('Final public kernel was not executed.');
     }
 
+    processedPhases.forEach(phase => {
+      if (phase.revertReason) {
+        this.metrics.recordRevertedPhase(phase.phase);
+      } else {
+        this.metrics.recordPhaseDuration(phase.phase, phase.durationMs);
+      }
+    });
+
     this.metrics.recordClassRegistration(
       ...ContractClassRegisteredEvent.fromLogs(tx.unencryptedLogs.unrollLogs(), ClassRegistererAddress),
     );
 
+    const phaseCount = processedPhases.length;
     this.metrics.recordTx(phaseCount, timer.ms());
-    const processedTx = makeProcessedTx(tx, finalKernelOutput, publicProvingRequests, revertReason, gasUsed);
+
+    const processedTx = makeProcessedTx(tx, tailKernelOutput, provingRequests, revertReason, gasUsed);
     return [processedTx, returnValues];
   }
 }

package/src/public/public_processor_metrics.ts

@@ -1,4 +1,4 @@
-import { type PublicKernelType } from '@aztec/circuit-types';
+import { type PublicKernelPhase } from '@aztec/circuit-types';
 import { type ContractClassRegisteredEvent } from '@aztec/circuits.js';
 import {
   Attributes,
@@ -56,7 +56,7 @@ export class PublicProcessorMetrics {
     });
   }
 
-  recordPhaseDuration(phaseName: PublicKernelType, durationMs: number) {
+  recordPhaseDuration(phaseName: PublicKernelPhase, durationMs: number) {
     this.phaseCount.add(1, { [Attributes.TX_PHASE_NAME]: phaseName, [Attributes.OK]: true });
     this.phaseDuration.record(Math.ceil(durationMs), { [Attributes.TX_PHASE_NAME]: phaseName });
   }
@@ -75,7 +75,7 @@ export class PublicProcessorMetrics {
     });
   }
 
-  recordRevertedPhase(phaseName: PublicKernelType) {
+  recordRevertedPhase(phaseName: PublicKernelPhase) {
     this.phaseCount.add(1, { [Attributes.TX_PHASE_NAME]: phaseName, [Attributes.OK]: false });
   }
 

package/src/public/side_effect_trace.ts

@@ -14,7 +14,7 @@ import {
   LogHash,
   NoteHash,
   Nullifier,
-  type PublicCallRequest,
+  type PublicInnerCallRequest,
   ReadRequest,
   TreeLeafReadRequest,
 } from '@aztec/circuits.js';
@@ -53,7 +53,7 @@ export class PublicSideEffectTrace implements PublicSideEffectTraceInterface {
   private allUnencryptedLogs: UnencryptedL2Log[] = [];
   private unencryptedLogsHashes: LogHash[] = [];
 
-  private publicCallRequests: PublicCallRequest[] = [];
+  private publicCallRequests: PublicInnerCallRequest[] = [];
 
   private gotContractInstances: ContractInstanceWithAddress[] = [];
 
@@ -183,10 +183,8 @@ export class PublicSideEffectTrace implements PublicSideEffectTraceInterface {
     const basicLogHash = Fr.fromBuffer(ulog.hash());
     this.unencryptedLogs.push(ulog);
     this.allUnencryptedLogs.push(ulog);
-    // We want the length of the buffer output from function_l2_logs -> toBuffer to equal the stored log length in the kernels.
-    // The kernels store the length of the processed log as 4 bytes; thus for this length value to match the log length stored in the kernels,
-    // we need to add four to the length here.
-    // https://github.com/AztecProtocol/aztec-packages/issues/6578#issuecomment-2125003435
+    // This length is for charging DA and is checked on-chain - has to be length of log preimage + 4 bytes.
+    // The .length call also has a +4 but that is unrelated
     this.unencryptedLogsHashes.push(new LogHash(basicLogHash, this.sideEffectCounter, new Fr(ulog.length + 4)));
     this.logger.debug(`NEW_UNENCRYPTED_LOG cnt: ${this.sideEffectCounter}`);
     this.incrementSideEffectCounter();
@@ -331,10 +329,5 @@ function createPublicExecutionRequest(avmEnvironment: AvmExecutionEnvironment):
     isDelegateCall: avmEnvironment.isDelegateCall,
     isStaticCall: avmEnvironment.isStaticCall,
   });
-  return new PublicExecutionRequest(
-    avmEnvironment.address,
-    callContext,
-    // execution request does not contain AvmContextInputs prefix
-    avmEnvironment.getCalldataWithoutPrefix(),
-  );
+  return new PublicExecutionRequest(avmEnvironment.address, callContext, avmEnvironment.calldata);
 }

package/dest/avm/journal/host_storage.d.ts

@@ -1,13 +0,0 @@
-import { type CommitmentsDB, type PublicContractsDB, type PublicStateDB } from '../../public/db_interfaces.js';
-/**
- * Host storage
- *
- * A wrapper around the node dbs
- */
-export declare class HostStorage {
-    readonly publicStateDb: PublicStateDB;
-    readonly contractsDb: PublicContractsDB;
-    readonly commitmentsDb: CommitmentsDB;
-    constructor(publicStateDb: PublicStateDB, contractsDb: PublicContractsDB, commitmentsDb: CommitmentsDB);
-}
-//# sourceMappingURL=host_storage.d.ts.map

package/dest/avm/journal/host_storage.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"host_storage.d.ts","sourceRoot":"","sources":["../../../src/avm/journal/host_storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,iBAAiB,EAAE,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE/G;;;;GAIG;AACH,qBAAa,WAAW;aAEJ,aAAa,EAAE,aAAa;aAC5B,WAAW,EAAE,iBAAiB;aAC9B,aAAa,EAAE,aAAa;gBAF5B,aAAa,EAAE,aAAa,EAC5B,WAAW,EAAE,iBAAiB,EAC9B,aAAa,EAAE,aAAa;CAE/C"}

package/dest/avm/journal/host_storage.js

@@ -1,13 +0,0 @@
-/**
- * Host storage
- *
- * A wrapper around the node dbs
- */
-export class HostStorage {
-    constructor(publicStateDb, contractsDb, commitmentsDb) {
-        this.publicStateDb = publicStateDb;
-        this.contractsDb = contractsDb;
-        this.commitmentsDb = commitmentsDb;
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaG9zdF9zdG9yYWdlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2F2bS9qb3VybmFsL2hvc3Rfc3RvcmFnZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQTs7OztHQUlHO0FBQ0gsTUFBTSxPQUFPLFdBQVc7SUFDdEIsWUFDa0IsYUFBNEIsRUFDNUIsV0FBOEIsRUFDOUIsYUFBNEI7UUFGNUIsa0JBQWEsR0FBYixhQUFhLENBQWU7UUFDNUIsZ0JBQVcsR0FBWCxXQUFXLENBQW1CO1FBQzlCLGtCQUFhLEdBQWIsYUFBYSxDQUFlO0lBQzNDLENBQUM7Q0FDTCJ9

package/dest/avm/opcodes/context_getters.d.ts

@@ -1,15 +0,0 @@
-import type { AvmContext } from '../avm_context.js';
-import { type MemoryValue } from '../avm_memory_types.js';
-import { Opcode } from '../serialization/instruction_serialization.js';
-import { GetterInstruction } from './instruction_impl.js';
-export declare class L2GasLeft extends GetterInstruction {
-    static type: string;
-    static readonly opcode: Opcode;
-    protected getValue(context: AvmContext): MemoryValue;
-}
-export declare class DAGasLeft extends GetterInstruction {
-    static type: string;
-    static readonly opcode: Opcode;
-    protected getValue(context: AvmContext): MemoryValue;
-}
-//# sourceMappingURL=context_getters.d.ts.map

package/dest/avm/opcodes/context_getters.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"context_getters.d.ts","sourceRoot":"","sources":["../../../src/avm/opcodes/context_getters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAS,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,qBAAa,SAAU,SAAQ,iBAAiB;IAC9C,MAAM,CAAC,IAAI,EAAE,MAAM,CAAe;IAClC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAoB;IAGlD,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,WAAW;CAGrD;AAED,qBAAa,SAAU,SAAQ,iBAAiB;IAC9C,MAAM,CAAC,IAAI,EAAE,MAAM,CAAe;IAClC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAoB;IAElD,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,WAAW;CAGrD"}

package/dest/avm/opcodes/context_getters.js

@@ -1,19 +0,0 @@
-import { Field } from '../avm_memory_types.js';
-import { Opcode } from '../serialization/instruction_serialization.js';
-import { GetterInstruction } from './instruction_impl.js';
-export class L2GasLeft extends GetterInstruction {
-    // TODO(@spalladino) Protocol specs specifies that the value should be an Uint32, not a Field.
-    getValue(context) {
-        return new Field(context.machineState.l2GasLeft);
-    }
-}
-L2GasLeft.type = 'L2GASLEFT';
-L2GasLeft.opcode = Opcode.L2GASLEFT;
-export class DAGasLeft extends GetterInstruction {
-    getValue(context) {
-        return new Field(context.machineState.daGasLeft);
-    }
-}
-DAGasLeft.type = 'DAGASLEFT';
-DAGasLeft.opcode = Opcode.DAGASLEFT;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udGV4dF9nZXR0ZXJzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2F2bS9vcGNvZGVzL2NvbnRleHRfZ2V0dGVycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxFQUFvQixNQUFNLHdCQUF3QixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSwrQ0FBK0MsQ0FBQztBQUN2RSxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUUxRCxNQUFNLE9BQU8sU0FBVSxTQUFRLGlCQUFpQjtJQUk5Qyw4RkFBOEY7SUFDcEYsUUFBUSxDQUFDLE9BQW1CO1FBQ3BDLE9BQU8sSUFBSSxLQUFLLENBQUMsT0FBTyxDQUFDLFlBQVksQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNuRCxDQUFDOztBQU5NLGNBQUksR0FBVyxXQUFXLENBQUM7QUFDbEIsZ0JBQU0sR0FBVyxNQUFNLENBQUMsU0FBUyxDQUFDO0FBUXBELE1BQU0sT0FBTyxTQUFVLFNBQVEsaUJBQWlCO0lBSXBDLFFBQVEsQ0FBQyxPQUFtQjtRQUNwQyxPQUFPLElBQUksS0FBSyxDQUFDLE9BQU8sQ0FBQyxZQUFZLENBQUMsU0FBUyxDQUFDLENBQUM7SUFDbkQsQ0FBQzs7QUFMTSxjQUFJLEdBQVcsV0FBVyxDQUFDO0FBQ2xCLGdCQUFNLEdBQVcsTUFBTSxDQUFDLFNBQVMsQ0FBQyJ9

package/dest/public/abstract_phase_manager.d.ts

@@ -1,93 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-import { type AvmProvingRequest, type NestedProcessReturnValues, type PublicExecutionRequest, type PublicKernelNonTailRequest, PublicKernelType, type PublicProvingRequest, type SimulationError, type Tx, type UnencryptedFunctionL2Logs } from '@aztec/circuit-types';
-import { type AvmExecutionHints, Fr, Gas, type GlobalVariables, type Header, type KernelCircuitPublicInputs, PublicCallData, PublicCallStackItem, PublicKernelCircuitPrivateInputs, type PublicKernelCircuitPublicInputs, PublicKernelData } from '@aztec/circuits.js';
-import { type DebugLogger } from '@aztec/foundation/log';
-import { type ProtocolArtifact } from '@aztec/noir-protocol-circuits-types';
-import { type PublicExecutionResult, type PublicExecutor } from '@aztec/simulator';
-import { type MerkleTreeOperations } from '@aztec/world-state';
-import { HintsBuilder } from './hints_builder.js';
-import { type PublicKernelCircuitSimulator } from './public_kernel_circuit_simulator.js';
-export declare const PhaseIsRevertible: Record<PublicKernelType, boolean>;
-export type PublicProvingInformation = {
-    functionName: string;
-    calldata: Fr[];
-    bytecode: Buffer;
-    inputs: PublicKernelCircuitPrivateInputs;
-    avmHints: AvmExecutionHints;
-};
-export declare function makeAvmProvingRequest(info: PublicProvingInformation, kernelType: PublicKernelNonTailRequest['type']): AvmProvingRequest;
-export type TxPublicCallsResult = {
-    /** Inputs to be used for proving */
-    publicProvingInformation: PublicProvingInformation[];
-    /** The public kernel output at the end of the Tx */
-    kernelOutput: PublicKernelCircuitPublicInputs;
-    /** The last circuit ran by this phase */
-    lastKernelArtifact: ProtocolArtifact;
-    /** Unencrypted logs generated during the execution of this Tx */
-    newUnencryptedLogs: UnencryptedFunctionL2Logs[];
-    /** Revert reason, if any */
-    revertReason?: SimulationError;
-    /** Return values of simulating complete callstack */
-    returnValues: NestedProcessReturnValues[];
-    /** Gas used during the execution this Tx */
-    gasUsed?: Gas;
-};
-export type PhaseResult = {
-    /** The collection of public proving requests */
-    publicProvingRequests: PublicProvingRequest[];
-    /** The output of the public kernel circuit simulation for this phase */
-    publicKernelOutput: PublicKernelCircuitPublicInputs;
-    /** The last circuit ran by this phase */
-    lastKernelArtifact: ProtocolArtifact;
-    /** The final output of the public kernel circuit for this phase */
-    finalKernelOutput?: KernelCircuitPublicInputs;
-    /** Revert reason, if any */
-    revertReason?: SimulationError;
-    /** Return values of simulating complete callstack */
-    returnValues: NestedProcessReturnValues[];
-    /** Gas used during the execution this phase */
-    gasUsed?: Gas;
-};
-export declare abstract class AbstractPhaseManager {
-    protected db: MerkleTreeOperations;
-    protected publicExecutor: PublicExecutor;
-    protected publicKernel: PublicKernelCircuitSimulator;
-    protected globalVariables: GlobalVariables;
-    protected historicalHeader: Header;
-    phase: PublicKernelType;
-    protected hintsBuilder: HintsBuilder;
-    protected log: DebugLogger;
-    constructor(db: MerkleTreeOperations, publicExecutor: PublicExecutor, publicKernel: PublicKernelCircuitSimulator, globalVariables: GlobalVariables, historicalHeader: Header, phase: PublicKernelType);
-    /**
-     * @param tx - the tx to be processed
-     * @param publicKernelPublicInputs - the output of the public kernel circuit for the previous phase
-     */
-    abstract handle(tx: Tx, publicKernelPublicInputs: PublicKernelCircuitPublicInputs, previousKernelArtifact: ProtocolArtifact): Promise<PhaseResult>;
-    static extractEnqueuedPublicCallsByPhase(tx: Tx): Record<PublicKernelType, PublicExecutionRequest[]>;
-    protected extractEnqueuedPublicCalls(tx: Tx): PublicExecutionRequest[];
-    protected processEnqueuedPublicCalls(tx: Tx, previousPublicKernelOutput: PublicKernelCircuitPublicInputs, previousKernelArtifact: ProtocolArtifact): Promise<TxPublicCallsResult>;
-    /** Returns all pending private and public nullifiers. */
-    private getSiloedPendingNullifiers;
-    protected getAvailableGas(tx: Tx, previousPublicKernelOutput: PublicKernelCircuitPublicInputs): Gas;
-    protected getTransactionFee(_tx: Tx, _previousPublicKernelOutput: PublicKernelCircuitPublicInputs): Fr;
-    private runKernelCircuit;
-    protected getPreviousKernelData(previousOutput: PublicKernelCircuitPublicInputs, previousCircuit: ProtocolArtifact): PublicKernelData;
-    protected getPublicCallStackItem(result: PublicExecutionResult, isExecutionRequest?: boolean): Promise<PublicCallStackItem>;
-    /**
-     * Looks at the side effects of a transaction and returns the highest counter
-     * @param tx - A transaction
-     * @returns The highest side effect counter in the transaction so far
-     */
-    static getMaxSideEffectCounter(inputs: PublicKernelCircuitPublicInputs): number;
-    protected getBytecodeHash(_result: PublicExecutionResult): Promise<Fr>;
-    /**
-     * Calculates the PublicCircuitOutput for this execution result along with its proof,
-     * and assembles a PublicCallData object from it.
-     * @param result - The execution result.
-     * @param preimages - The preimages of the callstack items.
-     * @param isExecutionRequest - Whether the current callstack item should be considered a public fn execution request.
-     * @returns A corresponding PublicCallData object.
-     */
-    protected getPublicCallData(result: PublicExecutionResult, isExecutionRequest?: boolean): Promise<PublicCallData>;
-}
-//# sourceMappingURL=abstract_phase_manager.d.ts.map

package/dest/public/abstract_phase_manager.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"abstract_phase_manager.d.ts","sourceRoot":"","sources":["../../src/public/abstract_phase_manager.ts"],"names":[],"mappings":";AAAA,OAAO,EAEL,KAAK,iBAAiB,EAEtB,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,EAC/B,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,KAAK,EAAE,EACP,KAAK,yBAAyB,EAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,iBAAiB,EAItB,EAAE,EAEF,GAAG,EACH,KAAK,eAAe,EACpB,KAAK,MAAM,EACX,KAAK,yBAAyB,EAiB9B,cAAc,EAEd,mBAAmB,EAEnB,gCAAgC,EAChC,KAAK,+BAA+B,EACpC,gBAAgB,EAMjB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EACL,KAAK,gBAAgB,EAKtB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EAGpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE/D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,KAAK,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEzF,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAM/D,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,EAAE,EAAE,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,gCAAgC,CAAC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;CAC7B,CAAC;AAEF,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,wBAAwB,EAC9B,UAAU,EAAE,0BAA0B,CAAC,MAAM,CAAC,GAC7C,iBAAiB,CAYnB;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,oCAAoC;IACpC,wBAAwB,EAAE,wBAAwB,EAAE,CAAC;IACrD,oDAAoD;IACpD,YAAY,EAAE,+BAA+B,CAAC;IAC9C,yCAAyC;IACzC,kBAAkB,EAAE,gBAAgB,CAAC;IACrC,iEAAiE;IACjE,kBAAkB,EAAE,yBAAyB,EAAE,CAAC;IAChD,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;IAC/B,qDAAqD;IACrD,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,4CAA4C;IAC5C,OAAO,CAAC,EAAE,GAAG,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,gDAAgD;IAChD,qBAAqB,EAAE,oBAAoB,EAAE,CAAC;IAC9C,wEAAwE;IACxE,kBAAkB,EAAE,+BAA+B,CAAC;IACpD,yCAAyC;IACzC,kBAAkB,EAAE,gBAAgB,CAAC;IACrC,mEAAmE;IACnE,iBAAiB,CAAC,EAAE,yBAAyB,CAAC;IAC9C,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;IAC/B,qDAAqD;IACrD,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,+CAA+C;IAC/C,OAAO,CAAC,EAAE,GAAG,CAAC;CACf,CAAC;AAEF,8BAAsB,oBAAoB;IAItC,SAAS,CAAC,EAAE,EAAE,oBAAoB;IAClC,SAAS,CAAC,cAAc,EAAE,cAAc;IACxC,SAAS,CAAC,YAAY,EAAE,4BAA4B;IACpD,SAAS,CAAC,eAAe,EAAE,eAAe;IAC1C,SAAS,CAAC,gBAAgB,EAAE,MAAM;IAC3B,KAAK,EAAE,gBAAgB;IARhC,SAAS,CAAC,YAAY,EAAE,YAAY,CAAC;IACrC,SAAS,CAAC,GAAG,EAAE,WAAW,CAAC;gBAEf,EAAE,EAAE,oBAAoB,EACxB,cAAc,EAAE,cAAc,EAC9B,YAAY,EAAE,4BAA4B,EAC1C,eAAe,EAAE,eAAe,EAChC,gBAAgB,EAAE,MAAM,EAC3B,KAAK,EAAE,gBAAgB;IAMhC;;;OAGG;IACH,QAAQ,CAAC,MAAM,CACb,EAAE,EAAE,EAAE,EACN,wBAAwB,EAAE,+BAA+B,EACzD,sBAAsB,EAAE,gBAAgB,GACvC,OAAO,CAAC,WAAW,CAAC;WAET,iCAAiC,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,EAAE,CAAC;IAW3G,SAAS,CAAC,0BAA0B,CAAC,EAAE,EAAE,EAAE,GAAG,sBAAsB,EAAE;cAMtD,0BAA0B,CACxC,EAAE,EAAE,EAAE,EACN,0BAA0B,EAAE,+BAA+B,EAC3D,sBAAsB,EAAE,gBAAgB,GACvC,OAAO,CAAC,mBAAmB,CAAC;IAwJ/B,yDAAyD;IACzD,OAAO,CAAC,0BAA0B;IAIlC,SAAS,CAAC,eAAe,CAAC,EAAE,EAAE,EAAE,EAAE,0BAA0B,EAAE,+BAA+B;IAO7F,SAAS,CAAC,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE,2BAA2B,EAAE,+BAA+B;YAInF,gBAAgB;IA6B9B,SAAS,CAAC,qBAAqB,CAC7B,cAAc,EAAE,+BAA+B,EAC/C,eAAe,EAAE,gBAAgB,GAChC,gBAAgB;cAYH,sBAAsB,CAAC,MAAM,EAAE,qBAAqB,EAAE,kBAAkB,UAAQ;IAmEhG;;;;OAIG;IACH,MAAM,CAAC,uBAAuB,CAAC,MAAM,EAAE,+BAA+B,GAAG,MAAM;IA8B/E,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,qBAAqB;IAOxD;;;;;;;OAOG;cACa,iBAAiB,CAAC,MAAM,EAAE,qBAAqB,EAAE,kBAAkB,UAAQ;CAK5F"}