@aztec/simulator 0.61.0 → 0.63.0

package/src/public/transitional_adapters.ts

@@ -0,0 +1,347 @@
+import { type AvmProvingRequest, ProvingRequestType, type PublicExecutionRequest } from '@aztec/circuit-types';
+import {
+  AvmCircuitInputs,
+  AvmCircuitPublicInputs,
+  AztecAddress,
+  ContractStorageRead,
+  ContractStorageUpdateRequest,
+  Fr,
+  Gas,
+  type GasSettings,
+  type GlobalVariables,
+  type Header,
+  L2ToL1Message,
+  LogHash,
+  MAX_ENQUEUED_CALLS_PER_CALL,
+  MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL,
+  MAX_L2_TO_L1_MSGS_PER_CALL,
+  MAX_L2_TO_L1_MSGS_PER_TX,
+  MAX_NOTE_HASHES_PER_CALL,
+  MAX_NOTE_HASHES_PER_TX,
+  MAX_NOTE_HASH_READ_REQUESTS_PER_CALL,
+  MAX_NULLIFIERS_PER_CALL,
+  MAX_NULLIFIERS_PER_TX,
+  MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL,
+  MAX_NULLIFIER_READ_REQUESTS_PER_CALL,
+  MAX_PUBLIC_DATA_READS_PER_CALL,
+  MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL,
+  MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
+  MAX_UNENCRYPTED_LOGS_PER_CALL,
+  NoteHash,
+  Nullifier,
+  PrivateToAvmAccumulatedData,
+  PrivateToAvmAccumulatedDataArrayLengths,
+  type PrivateToPublicAccumulatedData,
+  PublicCallRequest,
+  PublicCircuitPublicInputs,
+  PublicDataWrite,
+  PublicInnerCallRequest,
+  ReadRequest,
+  RevertCode,
+  type StateReference,
+  TreeLeafReadRequest,
+  TreeSnapshots,
+  countAccumulatedItems,
+  mergeAccumulatedData,
+} from '@aztec/circuits.js';
+import { computeNoteHashNonce, computeUniqueNoteHash, computeVarArgsHash, siloNoteHash } from '@aztec/circuits.js/hash';
+import { padArrayEnd } from '@aztec/foundation/collection';
+import { assertLength } from '@aztec/foundation/serialize';
+
+import { AvmContractCallResult } from '../avm/avm_contract_call_result.js';
+import { type AvmPersistableStateManager } from '../avm/journal/journal.js';
+import { getPublicFunctionDebugName } from '../common/debug_fn_name.js';
+import { type PublicEnqueuedCallSideEffectTrace } from './enqueued_call_side_effect_trace.js';
+import { type EnqueuedPublicCallExecutionResult, type PublicFunctionCallResult } from './execution.js';
+import { createAvmExecutionEnvironment } from './executor.js';
+import { type WorldStateDB } from './public_db_sources.js';
+
+export function generateAvmCircuitPublicInputs(
+  trace: PublicEnqueuedCallSideEffectTrace,
+  globalVariables: GlobalVariables,
+  startStateReference: StateReference,
+  startGasUsed: Gas,
+  gasSettings: GasSettings,
+  setupCallRequests: PublicCallRequest[],
+  appLogicCallRequests: PublicCallRequest[],
+  teardownCallRequests: PublicCallRequest[],
+  nonRevertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData,
+  revertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData,
+  endStateReference: StateReference,
+  endGasUsed: Gas,
+  transactionFee: Fr,
+  revertCode: RevertCode,
+): AvmCircuitPublicInputs {
+  const startTreeSnapshots = new TreeSnapshots(
+    startStateReference.l1ToL2MessageTree,
+    startStateReference.partial.noteHashTree,
+    startStateReference.partial.nullifierTree,
+    startStateReference.partial.publicDataTree,
+  );
+  const endTreeSnapshots = new TreeSnapshots(
+    endStateReference.l1ToL2MessageTree,
+    endStateReference.partial.noteHashTree,
+    endStateReference.partial.nullifierTree,
+    endStateReference.partial.publicDataTree,
+  );
+
+  const avmCircuitPublicInputs = trace.toAvmCircuitPublicInputs(
+    globalVariables,
+    startTreeSnapshots,
+    startGasUsed,
+    gasSettings,
+    setupCallRequests,
+    appLogicCallRequests,
+    teardownCallRequests.length ? teardownCallRequests[0] : PublicCallRequest.empty(),
+    endTreeSnapshots,
+    endGasUsed,
+    transactionFee,
+    !revertCode.isOK(),
+  );
+
+  const getArrayLengths = (from: PrivateToPublicAccumulatedData) =>
+    new PrivateToAvmAccumulatedDataArrayLengths(
+      countAccumulatedItems(from.noteHashes),
+      countAccumulatedItems(from.nullifiers),
+      countAccumulatedItems(from.l2ToL1Msgs),
+    );
+  const convertAccumulatedData = (from: PrivateToPublicAccumulatedData) =>
+    new PrivateToAvmAccumulatedData(from.noteHashes, from.nullifiers, from.l2ToL1Msgs);
+  // Temporary overrides as these entries aren't yet populated in trace
+  avmCircuitPublicInputs.previousNonRevertibleAccumulatedDataArrayLengths = getArrayLengths(
+    nonRevertibleAccumulatedDataFromPrivate,
+  );
+  avmCircuitPublicInputs.previousRevertibleAccumulatedDataArrayLengths = getArrayLengths(
+    revertibleAccumulatedDataFromPrivate,
+  );
+  avmCircuitPublicInputs.previousNonRevertibleAccumulatedData = convertAccumulatedData(
+    nonRevertibleAccumulatedDataFromPrivate,
+  );
+  avmCircuitPublicInputs.previousRevertibleAccumulatedData = convertAccumulatedData(
+    revertibleAccumulatedDataFromPrivate,
+  );
+
+  // merge all revertible & non-revertible side effects into output accumulated data
+  const noteHashesFromPrivate = revertCode.isOK()
+    ? mergeAccumulatedData(
+        avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.noteHashes,
+        avmCircuitPublicInputs.previousRevertibleAccumulatedData.noteHashes,
+      )
+    : avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.noteHashes;
+  avmCircuitPublicInputs.accumulatedData.noteHashes = assertLength(
+    mergeAccumulatedData(noteHashesFromPrivate, avmCircuitPublicInputs.accumulatedData.noteHashes),
+    MAX_NOTE_HASHES_PER_TX,
+  );
+
+  const txHash = avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.nullifiers[0];
+
+  const scopedNoteHashesFromPublic = trace.getSideEffects().noteHashes;
+  for (let i = 0; i < scopedNoteHashesFromPublic.length; i++) {
+    const scopedNoteHash = scopedNoteHashesFromPublic[i];
+    const noteHash = scopedNoteHash.value;
+    if (!noteHash.isZero()) {
+      const noteHashIndexInTx = i + countAccumulatedItems(noteHashesFromPrivate);
+      const nonce = computeNoteHashNonce(txHash, noteHashIndexInTx);
+      const uniqueNoteHash = computeUniqueNoteHash(nonce, noteHash);
+      const siloedNoteHash = siloNoteHash(scopedNoteHash.contractAddress, uniqueNoteHash);
+      avmCircuitPublicInputs.accumulatedData.noteHashes[noteHashIndexInTx] = siloedNoteHash;
+    }
+  }
+
+  const nullifiersFromPrivate = revertCode.isOK()
+    ? mergeAccumulatedData(
+        avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.nullifiers,
+        avmCircuitPublicInputs.previousRevertibleAccumulatedData.nullifiers,
+      )
+    : avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.nullifiers;
+  avmCircuitPublicInputs.accumulatedData.nullifiers = assertLength(
+    mergeAccumulatedData(nullifiersFromPrivate, avmCircuitPublicInputs.accumulatedData.nullifiers),
+    MAX_NULLIFIERS_PER_TX,
+  );
+  const msgsFromPrivate = revertCode.isOK()
+    ? mergeAccumulatedData(
+        avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.l2ToL1Msgs,
+        avmCircuitPublicInputs.previousRevertibleAccumulatedData.l2ToL1Msgs,
+      )
+    : avmCircuitPublicInputs.previousNonRevertibleAccumulatedData.l2ToL1Msgs;
+  avmCircuitPublicInputs.accumulatedData.l2ToL1Msgs = assertLength(
+    mergeAccumulatedData(msgsFromPrivate, avmCircuitPublicInputs.accumulatedData.l2ToL1Msgs),
+    MAX_L2_TO_L1_MSGS_PER_TX,
+  );
+
+  const dedupedPublicDataWrites: Array<PublicDataWrite> = [];
+  const leafSlotOccurences: Map<bigint, number> = new Map();
+  for (const publicDataWrite of avmCircuitPublicInputs.accumulatedData.publicDataWrites) {
+    const slot = publicDataWrite.leafSlot.toBigInt();
+    const prevOccurrences = leafSlotOccurences.get(slot) || 0;
+    leafSlotOccurences.set(slot, prevOccurrences + 1);
+  }
+
+  for (const publicDataWrite of avmCircuitPublicInputs.accumulatedData.publicDataWrites) {
+    const slot = publicDataWrite.leafSlot.toBigInt();
+    const prevOccurrences = leafSlotOccurences.get(slot) || 0;
+    if (prevOccurrences === 1) {
+      dedupedPublicDataWrites.push(publicDataWrite);
+    } else {
+      leafSlotOccurences.set(slot, prevOccurrences - 1);
+    }
+  }
+
+  avmCircuitPublicInputs.accumulatedData.publicDataWrites = padArrayEnd(
+    dedupedPublicDataWrites,
+    PublicDataWrite.empty(),
+    MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
+  );
+  //console.log(`AvmCircuitPublicInputs:\n${inspect(avmCircuitPublicInputs)}`);
+  return avmCircuitPublicInputs;
+}
+
+export async function generateAvmProvingRequest(
+  real: boolean,
+  worldStateDB: WorldStateDB,
+  stateManager: AvmPersistableStateManager,
+  historicalHeader: Header,
+  globalVariables: GlobalVariables,
+  executionRequest: PublicExecutionRequest,
+  result: EnqueuedPublicCallExecutionResult,
+  allocatedGas: Gas,
+  transactionFee: Fr,
+): Promise<AvmProvingRequest> {
+  const fnName = await getPublicFunctionDebugName(
+    worldStateDB,
+    executionRequest.callContext.contractAddress,
+    executionRequest.callContext.functionSelector,
+    executionRequest.args,
+  );
+
+  const avmExecutionEnv = createAvmExecutionEnvironment(executionRequest, globalVariables, transactionFee);
+  const avmCallResult = new AvmContractCallResult(result.reverted, result.returnValues);
+
+  // Generate an AVM proving request
+  let avmProvingRequest: AvmProvingRequest;
+  if (real) {
+    const deprecatedFunctionCallResult = stateManager.trace.toPublicFunctionCallResult(
+      avmExecutionEnv,
+      /*startGasLeft=*/ allocatedGas,
+      /*endGasLeft=*/ Gas.from(result.endGasLeft),
+      Buffer.alloc(0),
+      avmCallResult,
+      fnName,
+    );
+    const publicInputs = getPublicCircuitPublicInputs(historicalHeader, globalVariables, deprecatedFunctionCallResult);
+    avmProvingRequest = makeAvmProvingRequest(publicInputs, deprecatedFunctionCallResult);
+  } else {
+    avmProvingRequest = emptyAvmProvingRequest();
+  }
+  return avmProvingRequest;
+}
+
+function emptyAvmProvingRequest(): AvmProvingRequest {
+  return {
+    type: ProvingRequestType.PUBLIC_VM,
+    inputs: AvmCircuitInputs.empty(),
+  };
+}
+function makeAvmProvingRequest(inputs: PublicCircuitPublicInputs, result: PublicFunctionCallResult): AvmProvingRequest {
+  return {
+    type: ProvingRequestType.PUBLIC_VM,
+    inputs: new AvmCircuitInputs(
+      result.functionName,
+      result.calldata,
+      inputs,
+      result.avmCircuitHints,
+      AvmCircuitPublicInputs.empty(),
+    ),
+  };
+}
+
+function getPublicCircuitPublicInputs(
+  historicalHeader: Header,
+  globalVariables: GlobalVariables,
+  result: PublicFunctionCallResult,
+) {
+  const header = historicalHeader.clone(); // don't modify the original
+  header.state.partial.publicDataTree.root = Fr.zero(); // AVM doesn't check this yet
+
+  return PublicCircuitPublicInputs.from({
+    callContext: result.executionRequest.callContext,
+    proverAddress: AztecAddress.ZERO,
+    argsHash: computeVarArgsHash(result.executionRequest.args),
+    noteHashes: padArrayEnd(
+      result.noteHashes,
+      NoteHash.empty(),
+      MAX_NOTE_HASHES_PER_CALL,
+      `Too many note hashes. Got ${result.noteHashes.length} with max being ${MAX_NOTE_HASHES_PER_CALL}`,
+    ),
+    nullifiers: padArrayEnd(
+      result.nullifiers,
+      Nullifier.empty(),
+      MAX_NULLIFIERS_PER_CALL,
+      `Too many nullifiers. Got ${result.nullifiers.length} with max being ${MAX_NULLIFIERS_PER_CALL}`,
+    ),
+    l2ToL1Msgs: padArrayEnd(
+      result.l2ToL1Messages,
+      L2ToL1Message.empty(),
+      MAX_L2_TO_L1_MSGS_PER_CALL,
+      `Too many L2 to L1 messages. Got ${result.l2ToL1Messages.length} with max being ${MAX_L2_TO_L1_MSGS_PER_CALL}`,
+    ),
+    startSideEffectCounter: result.startSideEffectCounter,
+    endSideEffectCounter: result.endSideEffectCounter,
+    returnsHash: computeVarArgsHash(result.returnValues),
+    noteHashReadRequests: padArrayEnd(
+      result.noteHashReadRequests,
+      TreeLeafReadRequest.empty(),
+      MAX_NOTE_HASH_READ_REQUESTS_PER_CALL,
+      `Too many note hash read requests. Got ${result.noteHashReadRequests.length} with max being ${MAX_NOTE_HASH_READ_REQUESTS_PER_CALL}`,
+    ),
+    nullifierReadRequests: padArrayEnd(
+      result.nullifierReadRequests,
+      ReadRequest.empty(),
+      MAX_NULLIFIER_READ_REQUESTS_PER_CALL,
+      `Too many nullifier read requests. Got ${result.nullifierReadRequests.length} with max being ${MAX_NULLIFIER_READ_REQUESTS_PER_CALL}`,
+    ),
+    nullifierNonExistentReadRequests: padArrayEnd(
+      result.nullifierNonExistentReadRequests,
+      ReadRequest.empty(),
+      MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL,
+      `Too many nullifier non-existent read requests. Got ${result.nullifierNonExistentReadRequests.length} with max being ${MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL}`,
+    ),
+    l1ToL2MsgReadRequests: padArrayEnd(
+      result.l1ToL2MsgReadRequests,
+      TreeLeafReadRequest.empty(),
+      MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL,
+      `Too many L1 to L2 message read requests. Got ${result.l1ToL2MsgReadRequests.length} with max being ${MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL}`,
+    ),
+    contractStorageReads: padArrayEnd(
+      result.contractStorageReads,
+      ContractStorageRead.empty(),
+      MAX_PUBLIC_DATA_READS_PER_CALL,
+      `Too many public data reads. Got ${result.contractStorageReads.length} with max being ${MAX_PUBLIC_DATA_READS_PER_CALL}`,
+    ),
+    contractStorageUpdateRequests: padArrayEnd(
+      result.contractStorageUpdateRequests,
+      ContractStorageUpdateRequest.empty(),
+      MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL,
+      `Too many public data update requests. Got ${result.contractStorageUpdateRequests.length} with max being ${MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL}`,
+    ),
+    publicCallRequests: padArrayEnd(
+      result.publicCallRequests,
+      PublicInnerCallRequest.empty(),
+      MAX_ENQUEUED_CALLS_PER_CALL,
+      `Too many public call requests. Got ${result.publicCallRequests.length} with max being ${MAX_ENQUEUED_CALLS_PER_CALL}`,
+    ),
+    unencryptedLogsHashes: padArrayEnd(
+      result.unencryptedLogsHashes,
+      LogHash.empty(),
+      MAX_UNENCRYPTED_LOGS_PER_CALL,
+      `Too many unencrypted logs. Got ${result.unencryptedLogsHashes.length} with max being ${MAX_UNENCRYPTED_LOGS_PER_CALL}`,
+    ),
+    historicalHeader: header,
+    globalVariables: globalVariables,
+    startGasLeft: Gas.from(result.startGasLeft),
+    endGasLeft: Gas.from(result.endGasLeft),
+    transactionFee: result.transactionFee,
+    // TODO(@just-mitch): need better mapping from simulator to revert code.
+    revertCode: result.reverted ? RevertCode.APP_LOGIC_REVERTED : RevertCode.OK,
+  });
+}

package/src/public/utils.ts

@@ -0,0 +1,32 @@
+import { type PublicExecutionRequest, type Tx, TxExecutionPhase } from '@aztec/circuit-types';
+import { type PublicCallRequest } from '@aztec/circuits.js';
+
+export function getExecutionRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicExecutionRequest[] {
+  switch (phase) {
+    case TxExecutionPhase.SETUP:
+      return tx.getNonRevertiblePublicExecutionRequests();
+    case TxExecutionPhase.APP_LOGIC:
+      return tx.getRevertiblePublicExecutionRequests();
+    case TxExecutionPhase.TEARDOWN: {
+      const request = tx.getPublicTeardownExecutionRequest();
+      return request ? [request] : [];
+    }
+    default:
+      throw new Error(`Unknown phase: ${phase}`);
+  }
+}
+
+export function getCallRequestsByPhase(tx: Tx, phase: TxExecutionPhase): PublicCallRequest[] {
+  switch (phase) {
+    case TxExecutionPhase.SETUP:
+      return tx.data.getNonRevertiblePublicCallRequests();
+    case TxExecutionPhase.APP_LOGIC:
+      return tx.data.getRevertiblePublicCallRequests();
+    case TxExecutionPhase.TEARDOWN: {
+      const request = tx.data.getTeardownPublicCallRequest();
+      return request ? [request] : [];
+    }
+    default:
+      throw new Error(`Unknown phase: ${phase}`);
+  }
+}

package/src/test/utils.ts

@@ -1,5 +1,5 @@
 import { L1Actor, L1ToL2Message, L2Actor } from '@aztec/circuit-types';
-import { type AztecAddress, EthAddress, type Fr } from '@aztec/circuits.js';
+import { type AztecAddress, EthAddress, Fr } from '@aztec/circuits.js';
 import { computeSecretHash } from '@aztec/circuits.js/hash';
 import { sha256ToField } from '@aztec/foundation/crypto';
 
@@ -16,6 +16,7 @@ export const buildL1ToL2Message = (
   contentPreimage: Fr[],
   targetContract: AztecAddress,
   secret: Fr,
+  msgIndex: Fr | number,
 ) => {
   // Write the selector into a buffer.
   const selectorBuf = Buffer.from(selector, 'hex');
@@ -23,5 +24,11 @@ export const buildL1ToL2Message = (
   const content = sha256ToField([selectorBuf, ...contentPreimage]);
   const secretHash = computeSecretHash(secret);
 
-  return new L1ToL2Message(new L1Actor(EthAddress.random(), 1), new L2Actor(targetContract, 1), content, secretHash);
+  return new L1ToL2Message(
+    new L1Actor(EthAddress.random(), 1),
+    new L2Actor(targetContract, 1),
+    content,
+    secretHash,
+    new Fr(msgIndex),
+  );
 };

package/dest/public/enqueued_call_simulator.d.ts

@@ -1,43 +0,0 @@
-import { type AvmProvingRequest, NestedProcessReturnValues, type PublicExecutionRequest, PublicKernelPhase, type SimulationError, type Tx, UnencryptedFunctionL2Logs } from '@aztec/circuit-types';
-import { Fr, Gas, type GlobalVariables, type Header, type PublicCallRequest, type PublicKernelCircuitPublicInputs, VMCircuitPublicInputs } from '@aztec/circuits.js';
-import { type MerkleTreeReadOperations } from '@aztec/world-state';
-import { type PublicExecutor } from './executor.js';
-import { type PublicKernelCircuitSimulator } from './public_kernel_circuit_simulator.js';
-export type EnqueuedCallResult = {
-    /** Inputs to be used for proving */
-    avmProvingRequest: AvmProvingRequest;
-    /** The public kernel output at the end of the enqueued call */
-    kernelOutput: VMCircuitPublicInputs;
-    /** Unencrypted logs generated during the execution of this enqueued call */
-    newUnencryptedLogs: UnencryptedFunctionL2Logs;
-    /** Return values of simulating complete callstack */
-    returnValues: NestedProcessReturnValues;
-    /** Gas used during the execution this enqueued call */
-    gasUsed: Gas;
-    /** Revert reason, if any */
-    revertReason?: SimulationError;
-};
-export declare class EnqueuedCallSimulator {
-    private db;
-    private publicExecutor;
-    private publicKernelSimulator;
-    private globalVariables;
-    private historicalHeader;
-    private log;
-    constructor(db: MerkleTreeReadOperations, publicExecutor: PublicExecutor, publicKernelSimulator: PublicKernelCircuitSimulator, globalVariables: GlobalVariables, historicalHeader: Header);
-    simulate(callRequest: PublicCallRequest, executionRequest: PublicExecutionRequest, tx: Tx, previousPublicKernelOutput: PublicKernelCircuitPublicInputs, availableGas: Gas, transactionFee: Fr, phase: PublicKernelPhase): Promise<EnqueuedCallResult>;
-    private combineNestedExecutionResults;
-    /** Returns all pending private and public nullifiers. */
-    private getSiloedPendingNullifiers;
-    private runKernelCircuit;
-    /**
-     * Calculates the PublicCircuitOutput for this execution result along with its proof,
-     * and assembles a PublicCallData object from it.
-     * @param result - The execution result.
-     * @returns A corresponding PublicCallData object.
-     */
-    private getPublicCallData;
-    private getPublicCircuitPublicInputs;
-    private getBytecodeHash;
-}
-//# sourceMappingURL=enqueued_call_simulator.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"enqueued_call_simulator.d.ts","sourceRoot":"","sources":["../../src/public/enqueued_call_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,iBAAiB,EAEtB,yBAAyB,EAEzB,KAAK,sBAAsB,EAC3B,iBAAiB,EACjB,KAAK,eAAe,EACpB,KAAK,EAAE,EACP,yBAAyB,EAC1B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAKL,EAAE,EACF,GAAG,EACH,KAAK,eAAe,EACpB,KAAK,MAAM,EAsBX,KAAK,iBAAiB,EAGtB,KAAK,+BAA+B,EAQpC,qBAAqB,EAItB,MAAM,oBAAoB,CAAC;AAK5B,OAAO,EAAE,KAAK,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAGnE,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,KAAK,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AASzF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,oCAAoC;IACpC,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,+DAA+D;IAC/D,YAAY,EAAE,qBAAqB,CAAC;IACpC,4EAA4E;IAC5E,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,qDAAqD;IACrD,YAAY,EAAE,yBAAyB,CAAC;IACxC,uDAAuD;IACvD,OAAO,EAAE,GAAG,CAAC;IACb,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,qBAAa,qBAAqB;IAG9B,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,gBAAgB;IAN1B,OAAO,CAAC,GAAG,CAAc;gBAEf,EAAE,EAAE,wBAAwB,EAC5B,cAAc,EAAE,cAAc,EAC9B,qBAAqB,EAAE,4BAA4B,EACnD,eAAe,EAAE,eAAe,EAChC,gBAAgB,EAAE,MAAM;IAK5B,QAAQ,CACZ,WAAW,EAAE,iBAAiB,EAC9B,gBAAgB,EAAE,sBAAsB,EACxC,EAAE,EAAE,EAAE,EACN,0BAA0B,EAAE,+BAA+B,EAC3D,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,KAAK,EAAE,iBAAiB,GACvB,OAAO,CAAC,kBAAkB,CAAC;YA8DhB,6BAA6B;IAkE3C,yDAAyD;IACzD,OAAO,CAAC,0BAA0B;YAIpB,gBAAgB;IAY9B;;;;;OAKG;YACW,iBAAiB;YAMjB,4BAA4B;IAuF1C,OAAO,CAAC,eAAe;CAMxB"}

package/dest/public/enqueued_call_simulator.js

@@ -1,156 +0,0 @@
-import { MerkleTreeId, NestedProcessReturnValues, ProvingRequestType, PublicKernelPhase, UnencryptedFunctionL2Logs, } from '@aztec/circuit-types';
-import { AvmCircuitInputs, AztecAddress, ContractStorageRead, ContractStorageUpdateRequest, Fr, Gas, L2ToL1Message, LogHash, MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL, MAX_L2_GAS_PER_ENQUEUED_CALL, MAX_L2_TO_L1_MSGS_PER_CALL, MAX_NOTE_HASHES_PER_CALL, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, MAX_NULLIFIERS_PER_CALL, MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL, MAX_NULLIFIER_READ_REQUESTS_PER_CALL, MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL, MAX_PUBLIC_CALL_STACK_LENGTH_PER_TX, MAX_PUBLIC_DATA_READS_PER_CALL, MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL, MAX_UNENCRYPTED_LOGS_PER_CALL, NESTED_RECURSIVE_PROOF_LENGTH, NoteHash, Nullifier, PublicAccumulatedData, PublicAccumulatedDataArrayLengths, PublicCallData, PublicCircuitPublicInputs, PublicInnerCallRequest, PublicKernelInnerCircuitPrivateInputs, PublicKernelInnerData, PublicValidationRequestArrayLengths, PublicValidationRequests, ReadRequest, RevertCode, TreeLeafReadRequest, VMCircuitPublicInputs, VerificationKeyData, makeEmptyProof, makeEmptyRecursiveProof, } from '@aztec/circuits.js';
-import { computeVarArgsHash } from '@aztec/circuits.js/hash';
-import { makeTuple } from '@aztec/foundation/array';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { createDebugLogger } from '@aztec/foundation/log';
-import { accumulatePublicReturnValues, collectExecutionResults } from './execution.js';
-function makeAvmProvingRequest(inputs, result) {
-    return {
-        type: ProvingRequestType.PUBLIC_VM,
-        inputs: new AvmCircuitInputs(result.functionName, result.calldata, inputs, result.avmCircuitHints),
-    };
-}
-export class EnqueuedCallSimulator {
-    constructor(db, publicExecutor, publicKernelSimulator, globalVariables, historicalHeader) {
-        this.db = db;
-        this.publicExecutor = publicExecutor;
-        this.publicKernelSimulator = publicKernelSimulator;
-        this.globalVariables = globalVariables;
-        this.historicalHeader = historicalHeader;
-        this.log = createDebugLogger(`aztec:sequencer`);
-    }
-    async simulate(callRequest, executionRequest, tx, previousPublicKernelOutput, availableGas, transactionFee, phase) {
-        // Gas allocated to an enqueued call can be different from the available gas
-        // if there is more gas available than the max allocation per enqueued call.
-        const allocatedGas = new Gas(
-        /*daGas=*/ availableGas.daGas, 
-        /*l2Gas=*/ Math.min(availableGas.l2Gas, MAX_L2_GAS_PER_ENQUEUED_CALL));
-        const pendingNullifiers = this.getSiloedPendingNullifiers(previousPublicKernelOutput);
-        const startSideEffectCounter = previousPublicKernelOutput.endSideEffectCounter + 1;
-        const prevAccumulatedData = phase === PublicKernelPhase.SETUP
-            ? previousPublicKernelOutput.endNonRevertibleData
-            : previousPublicKernelOutput.end;
-        const previousValidationRequestArrayLengths = PublicValidationRequestArrayLengths.new(previousPublicKernelOutput.validationRequests);
-        const previousAccumulatedDataArrayLengths = PublicAccumulatedDataArrayLengths.new(prevAccumulatedData);
-        // If this is the first enqueued call in public, constants will be empty
-        // because private kernel does not expose them.
-        const constants = previousPublicKernelOutput.constants.clone();
-        constants.globalVariables = this.globalVariables;
-        const result = await this.publicExecutor.simulate(executionRequest, constants, allocatedGas, tx.data.constants.txContext, pendingNullifiers, transactionFee, startSideEffectCounter, previousValidationRequestArrayLengths, previousAccumulatedDataArrayLengths);
-        const callStack = makeTuple(MAX_PUBLIC_CALL_STACK_LENGTH_PER_TX, PublicInnerCallRequest.empty);
-        callStack[0].item.contractAddress = callRequest.callContext.contractAddress;
-        callStack[0].item.callContext = callRequest.callContext;
-        callStack[0].item.argsHash = callRequest.argsHash;
-        const accumulatedData = PublicAccumulatedData.empty();
-        accumulatedData.publicCallStack[0] = callRequest;
-        const startVMCircuitOutput = new VMCircuitPublicInputs(previousPublicKernelOutput.constants, callRequest, callStack, previousValidationRequestArrayLengths, PublicValidationRequests.empty(), previousAccumulatedDataArrayLengths, accumulatedData, startSideEffectCounter, startSideEffectCounter, allocatedGas, result.transactionFee, result.reverted);
-        return await this.combineNestedExecutionResults(result, startVMCircuitOutput);
-    }
-    async combineNestedExecutionResults(topResult, startVMCircuitOutput) {
-        const executionResults = collectExecutionResults(topResult);
-        let avmProvingRequest;
-        let gasUsed = Gas.empty();
-        let revertReason;
-        let kernelOutput = startVMCircuitOutput;
-        for (const result of executionResults) {
-            // Accumulate gas used in this enqueued call.
-            gasUsed = gasUsed.add(Gas.from(result.startGasLeft).sub(Gas.from(result.endGasLeft)));
-            const { contractAddress, functionSelector } = result.executionRequest.callContext;
-            // Sanity check for a current upstream assumption.
-            // Consumers of the result seem to expect "reverted <=> revertReason !== undefined".
-            if (result.reverted && !result.revertReason) {
-                throw new Error(`Simulation of ${contractAddress}:${functionSelector}(${result.functionName}) reverted with no reason.`);
-            }
-            // Simulate the public kernel circuit.
-            this.log.debug(`Running public kernel inner circuit for ${contractAddress}:${functionSelector}(${result.functionName})`);
-            const callData = await this.getPublicCallData(result);
-            const { inputs, output } = await this.runKernelCircuit(kernelOutput, callData);
-            kernelOutput = output;
-            // Capture the inputs for later proving in the AVM and kernel.
-            avmProvingRequest = makeAvmProvingRequest(inputs.publicCall.publicInputs, result);
-            // Safely return the revert reason and the kernel output (which has had its revertible side effects dropped)
-            // TODO(@leila) we shouldn't drop everything when it reverts. The tail kernel needs the data to prove that it's reverted for the correct reason.
-            if (result.reverted) {
-                this.log.debug(`Reverting on ${contractAddress}:${functionSelector}(${result.functionName}) with reason: ${result.revertReason}`);
-                // TODO(@spalladino): Check gasUsed is correct. The AVM should take care of setting gasLeft to zero upon a revert.
-                return {
-                    avmProvingRequest,
-                    kernelOutput,
-                    newUnencryptedLogs: UnencryptedFunctionL2Logs.empty(),
-                    returnValues: NestedProcessReturnValues.empty(),
-                    gasUsed,
-                    revertReason: result.revertReason,
-                };
-            }
-        }
-        return {
-            avmProvingRequest: avmProvingRequest,
-            kernelOutput,
-            newUnencryptedLogs: topResult.allUnencryptedLogs,
-            returnValues: accumulatePublicReturnValues(topResult),
-            gasUsed,
-            revertReason,
-        };
-    }
-    /** Returns all pending private and public nullifiers. */
-    getSiloedPendingNullifiers(ko) {
-        return [...ko.end.nullifiers, ...ko.endNonRevertibleData.nullifiers].filter(n => !n.isEmpty());
-    }
-    async runKernelCircuit(previousOutput, callData) {
-        // The proof is not used in simulation
-        const proof = makeEmptyRecursiveProof(NESTED_RECURSIVE_PROOF_LENGTH);
-        const vk = VerificationKeyData.makeFakeHonk();
-        const previousKernel = new PublicKernelInnerData(previousOutput, proof, vk);
-        const inputs = new PublicKernelInnerCircuitPrivateInputs(previousKernel, callData);
-        return { inputs, output: await this.publicKernelSimulator.publicKernelCircuitInner(inputs) };
-    }
-    /**
-     * Calculates the PublicCircuitOutput for this execution result along with its proof,
-     * and assembles a PublicCallData object from it.
-     * @param result - The execution result.
-     * @returns A corresponding PublicCallData object.
-     */
-    async getPublicCallData(result) {
-        const bytecodeHash = await this.getBytecodeHash(result);
-        const publicInputs = await this.getPublicCircuitPublicInputs(result);
-        return new PublicCallData(publicInputs, makeEmptyProof(), bytecodeHash);
-    }
-    async getPublicCircuitPublicInputs(result) {
-        const publicDataTreeInfo = await this.db.getTreeInfo(MerkleTreeId.PUBLIC_DATA_TREE);
-        this.historicalHeader.state.partial.publicDataTree.root = Fr.fromBuffer(publicDataTreeInfo.root);
-        return PublicCircuitPublicInputs.from({
-            callContext: result.executionRequest.callContext,
-            proverAddress: AztecAddress.ZERO,
-            argsHash: computeVarArgsHash(result.executionRequest.args),
-            noteHashes: padArrayEnd(result.noteHashes, NoteHash.empty(), MAX_NOTE_HASHES_PER_CALL, `Too many note hashes. Got ${result.noteHashes.length} with max being ${MAX_NOTE_HASHES_PER_CALL}`),
-            nullifiers: padArrayEnd(result.nullifiers, Nullifier.empty(), MAX_NULLIFIERS_PER_CALL, `Too many nullifiers. Got ${result.nullifiers.length} with max being ${MAX_NULLIFIERS_PER_CALL}`),
-            l2ToL1Msgs: padArrayEnd(result.l2ToL1Messages, L2ToL1Message.empty(), MAX_L2_TO_L1_MSGS_PER_CALL, `Too many L2 to L1 messages. Got ${result.l2ToL1Messages.length} with max being ${MAX_L2_TO_L1_MSGS_PER_CALL}`),
-            startSideEffectCounter: result.startSideEffectCounter,
-            endSideEffectCounter: result.endSideEffectCounter,
-            returnsHash: computeVarArgsHash(result.returnValues),
-            noteHashReadRequests: padArrayEnd(result.noteHashReadRequests, TreeLeafReadRequest.empty(), MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, `Too many note hash read requests. Got ${result.noteHashReadRequests.length} with max being ${MAX_NOTE_HASH_READ_REQUESTS_PER_CALL}`),
-            nullifierReadRequests: padArrayEnd(result.nullifierReadRequests, ReadRequest.empty(), MAX_NULLIFIER_READ_REQUESTS_PER_CALL, `Too many nullifier read requests. Got ${result.nullifierReadRequests.length} with max being ${MAX_NULLIFIER_READ_REQUESTS_PER_CALL}`),
-            nullifierNonExistentReadRequests: padArrayEnd(result.nullifierNonExistentReadRequests, ReadRequest.empty(), MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL, `Too many nullifier non-existent read requests. Got ${result.nullifierNonExistentReadRequests.length} with max being ${MAX_NULLIFIER_NON_EXISTENT_READ_REQUESTS_PER_CALL}`),
-            l1ToL2MsgReadRequests: padArrayEnd(result.l1ToL2MsgReadRequests, TreeLeafReadRequest.empty(), MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL, `Too many L1 to L2 message read requests. Got ${result.l1ToL2MsgReadRequests.length} with max being ${MAX_L1_TO_L2_MSG_READ_REQUESTS_PER_CALL}`),
-            contractStorageReads: padArrayEnd(result.contractStorageReads, ContractStorageRead.empty(), MAX_PUBLIC_DATA_READS_PER_CALL, `Too many public data reads. Got ${result.contractStorageReads.length} with max being ${MAX_PUBLIC_DATA_READS_PER_CALL}`),
-            contractStorageUpdateRequests: padArrayEnd(result.contractStorageUpdateRequests, ContractStorageUpdateRequest.empty(), MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL, `Too many public data update requests. Got ${result.contractStorageUpdateRequests.length} with max being ${MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_CALL}`),
-            publicCallRequests: padArrayEnd(result.publicCallRequests, PublicInnerCallRequest.empty(), MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL, `Too many public call requests. Got ${result.publicCallRequests.length} with max being ${MAX_PUBLIC_CALL_STACK_LENGTH_PER_CALL}`),
-            unencryptedLogsHashes: padArrayEnd(result.unencryptedLogsHashes, LogHash.empty(), MAX_UNENCRYPTED_LOGS_PER_CALL, `Too many unencrypted logs. Got ${result.unencryptedLogsHashes.length} with max being ${MAX_UNENCRYPTED_LOGS_PER_CALL}`),
-            historicalHeader: this.historicalHeader,
-            globalVariables: this.globalVariables,
-            startGasLeft: Gas.from(result.startGasLeft),
-            endGasLeft: Gas.from(result.endGasLeft),
-            transactionFee: result.transactionFee,
-            // TODO(@just-mitch): need better mapping from simulator to revert code.
-            revertCode: result.reverted ? RevertCode.APP_LOGIC_REVERTED : RevertCode.OK,
-        });
-    }
-    getBytecodeHash(_result) {
-        // TODO: Determine how to calculate bytecode hash. Circuits just check it isn't zero for now.
-        // See https://github.com/AztecProtocol/aztec3-packages/issues/378
-        const bytecodeHash = new Fr(1n);
-        return Promise.resolve(bytecodeHash);
-    }
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW5xdWV1ZWRfY2FsbF9zaW11bGF0b3IuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL2VucXVldWVkX2NhbGxfc2ltdWxhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFFTCxZQUFZLEVBQ1oseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUVsQixpQkFBaUIsRUFHakIseUJBQXlCLEdBQzFCLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUNMLGdCQUFnQixFQUNoQixZQUFZLEVBQ1osbUJBQW1CLEVBQ25CLDRCQUE0QixFQUM1QixFQUFFLEVBQ0YsR0FBRyxFQUdILGFBQWEsRUFDYixPQUFPLEVBQ1AsdUNBQXVDLEVBQ3ZDLDRCQUE0QixFQUM1QiwwQkFBMEIsRUFDMUIsd0JBQXdCLEVBQ3hCLG9DQUFvQyxFQUNwQyx1QkFBdUIsRUFDdkIsaURBQWlELEVBQ2pELG9DQUFvQyxFQUNwQyxxQ0FBcUMsRUFDckMsbUNBQW1DLEVBQ25DLDhCQUE4QixFQUM5Qix3Q0FBd0MsRUFDeEMsNkJBQTZCLEVBQzdCLDZCQUE2QixFQUM3QixRQUFRLEVBQ1IsU0FBUyxFQUNULHFCQUFxQixFQUNyQixpQ0FBaUMsRUFDakMsY0FBYyxFQUVkLHlCQUF5QixFQUN6QixzQkFBc0IsRUFFdEIscUNBQXFDLEVBQ3JDLHFCQUFxQixFQUNyQixtQ0FBbUMsRUFDbkMsd0JBQXdCLEVBQ3hCLFdBQVcsRUFDWCxVQUFVLEVBQ1YsbUJBQW1CLEVBQ25CLHFCQUFxQixFQUNyQixtQkFBbUIsRUFDbkIsY0FBYyxFQUNkLHVCQUF1QixHQUN4QixNQUFNLG9CQUFvQixDQUFDO0FBQzVCLE9BQU8sRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzdELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDM0QsT0FBTyxFQUFvQixpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRzVFLE9BQU8sRUFBOEIsNEJBQTRCLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUluSCxTQUFTLHFCQUFxQixDQUFDLE1BQWlDLEVBQUUsTUFBNkI7SUFDN0YsT0FBTztRQUNMLElBQUksRUFBRSxrQkFBa0IsQ0FBQyxTQUFTO1FBQ2xDLE1BQU0sRUFBRSxJQUFJLGdCQUFnQixDQUFDLE1BQU0sQ0FBQyxZQUFZLEVBQUUsTUFBTSxDQUFDLFFBQVEsRUFBRSxNQUFNLEVBQUUsTUFBTSxDQUFDLGVBQWUsQ0FBQztLQUNuRyxDQUFDO0FBQ0osQ0FBQztBQWlCRCxNQUFNLE9BQU8scUJBQXFCO0lBRWhDLFlBQ1UsRUFBNEIsRUFDNUIsY0FBOEIsRUFDOUIscUJBQW1ELEVBQ25ELGVBQWdDLEVBQ2hDLGdCQUF3QjtRQUp4QixPQUFFLEdBQUYsRUFBRSxDQUEwQjtRQUM1QixtQkFBYyxHQUFkLGNBQWMsQ0FBZ0I7UUFDOUIsMEJBQXFCLEdBQXJCLHFCQUFxQixDQUE4QjtRQUNuRCxvQkFBZSxHQUFmLGVBQWUsQ0FBaUI7UUFDaEMscUJBQWdCLEdBQWhCLGdCQUFnQixDQUFRO1FBRWhDLElBQUksQ0FBQyxHQUFHLEdBQUcsaUJBQWlCLENBQUMsaUJBQWlCLENBQUMsQ0FBQztJQUNsRCxDQUFDO0lBRUQsS0FBSyxDQUFDLFFBQVEsQ0FDWixXQUE4QixFQUM5QixnQkFBd0MsRUFDeEMsRUFBTSxFQUNOLDBCQUEyRCxFQUMzRCxZQUFpQixFQUNqQixjQUFrQixFQUNsQixLQUF3QjtRQUV4Qiw0RUFBNEU7UUFDNUUsNEVBQTRFO1FBQzVFLE1BQU0sWUFBWSxHQUFHLElBQUksR0FBRztRQUMxQixVQUFVLENBQUMsWUFBWSxDQUFDLEtBQUs7UUFDN0IsVUFBVSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsWUFBWSxDQUFDLEtBQUssRUFBRSw0QkFBNEIsQ0FBQyxDQUN0RSxDQUFDO1FBQ0YsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsMEJBQTBCLENBQUMsMEJBQTBCLENBQUMsQ0FBQztRQUN0RixNQUFNLHNCQUFzQixHQUFHLDBCQUEwQixDQUFDLG9CQUFvQixHQUFHLENBQUMsQ0FBQztRQUVuRixNQUFNLG1CQUFtQixHQUN2QixLQUFLLEtBQUssaUJBQWlCLENBQUMsS0FBSztZQUMvQixDQUFDLENBQUMsMEJBQTBCLENBQUMsb0JBQW9CO1lBQ2pELENBQUMsQ0FBQywwQkFBMEIsQ0FBQyxHQUFHLENBQUM7UUFDckMsTUFBTSxxQ0FBcUMsR0FBRyxtQ0FBbUMsQ0FBQyxHQUFHLENBQ25GLDBCQUEwQixDQUFDLGtCQUFrQixDQUM5QyxDQUFDO1FBQ0YsTUFBTSxtQ0FBbUMsR0FBRyxpQ0FBaUMsQ0FBQyxHQUFHLENBQUMsbUJBQW1CLENBQUMsQ0FBQztRQUV2Ryx3RUFBd0U7UUFDeEUsK0NBQStDO1FBQy9DLE1BQU0sU0FBUyxHQUFHLDBCQUEwQixDQUFDLFNBQVMsQ0FBQyxLQUFLLEVBQUUsQ0FBQztRQUMvRCxTQUFTLENBQUMsZUFBZSxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUM7UUFFakQsTUFBTSxNQUFNLEdBQUcsTUFBTSxJQUFJLENBQUMsY0FBYyxDQUFDLFFBQVEsQ0FDL0MsZ0JBQWdCLEVBQ2hCLFNBQVMsRUFDVCxZQUFZLEVBQ1osRUFBRSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsU0FBUyxFQUMzQixpQkFBaUIsRUFDakIsY0FBYyxFQUNkLHNCQUFzQixFQUN0QixxQ0FBcUMsRUFDckMsbUNBQW1DLENBQ3BDLENBQUM7UUFFRixNQUFNLFNBQVMsR0FBRyxTQUFTLENBQUMsbUNBQW1DLEVBQUUsc0JBQXNCLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDL0YsU0FBUyxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxlQUFlLEdBQUcsV0FBVyxDQUFDLFdBQVcsQ0FBQyxlQUFlLENBQUM7UUFDNUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxXQUFXLEdBQUcsV0FBVyxDQUFDLFdBQVcsQ0FBQztRQUN4RCxTQUFTLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLFFBQVEsR0FBRyxXQUFXLENBQUMsUUFBUSxDQUFDO1FBRWxELE1BQU0sZUFBZSxHQUFHLHFCQUFxQixDQUFDLEtBQUssRUFBRSxDQUFDO1FBQ3RELGVBQWUsQ0FBQyxlQUFlLENBQUMsQ0FBQyxDQUFDLEdBQUcsV0FBVyxDQUFDO1FBRWpELE1BQU0sb0JBQW9CLEdBQUcsSUFBSSxxQkFBcUIsQ0FDcEQsMEJBQTBCLENBQUMsU0FBUyxFQUNwQyxXQUFXLEVBQ1gsU0FBUyxFQUNULHFDQUFxQyxFQUNyQyx3QkFBd0IsQ0FBQyxLQUFLLEVBQUUsRUFDaEMsbUNBQW1DLEVBQ25DLGVBQWUsRUFDZixzQkFBc0IsRUFDdEIsc0JBQXNCLEVBQ3RCLFlBQVksRUFDWixNQUFNLENBQUMsY0FBYyxFQUNyQixNQUFNLENBQUMsUUFBUSxDQUNoQixDQUFDO1FBRUYsT0FBTyxNQUFNLElBQUksQ0FBQyw2QkFBNkIsQ0FBQyxNQUFNLEVBQUUsb0JBQW9CLENBQUMsQ0FBQztJQUNoRixDQUFDO0lBRU8sS0FBSyxDQUFDLDZCQUE2QixDQUN6QyxTQUFnQyxFQUNoQyxvQkFBMkM7UUFFM0MsTUFBTSxnQkFBZ0IsR0FBRyx1QkFBdUIsQ0FBQyxTQUFTLENBQUMsQ0FBQztRQUU1RCxJQUFJLGlCQUFvQyxDQUFDO1FBQ3pDLElBQUksT0FBTyxHQUFHLEdBQUcsQ0FBQyxLQUFLLEVBQUUsQ0FBQztRQUMxQixJQUFJLFlBQVksQ0FBQztRQUNqQixJQUFJLFlBQVksR0FBRyxvQkFBb0IsQ0FBQztRQUV4QyxLQUFLLE1BQU0sTUFBTSxJQUFJLGdCQUFnQixFQUFFLENBQUM7WUFDdEMsNkNBQTZDO1lBQzdDLE9BQU8sR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLFlBQVksQ0FBQyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFFdEYsTUFBTSxFQUFFLGVBQWUsRUFBRSxnQkFBZ0IsRUFBRSxHQUFHLE1BQU0sQ0FBQyxnQkFBZ0IsQ0FBQyxXQUFXLENBQUM7WUFFbEYsa0RBQWtEO1lBQ2xELG9GQUFvRjtZQUNwRixJQUFJLE1BQU0sQ0FBQyxRQUFRLElBQUksQ0FBQyxNQUFNLENBQUMsWUFBWSxFQUFFLENBQUM7Z0JBQzVDLE1BQU0sSUFBSSxLQUFLLENBQ2IsaUJBQWlCLGVBQWUsSUFBSSxnQkFBZ0IsSUFBSSxNQUFNLENBQUMsWUFBWSw0QkFBNEIsQ0FDeEcsQ0FBQztZQUNKLENBQUM7WUFFRCxzQ0FBc0M7WUFDdEMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQ1osMkNBQTJDLGVBQWUsSUFBSSxnQkFBZ0IsSUFBSSxNQUFNLENBQUMsWUFBWSxHQUFHLENBQ3pHLENBQUM7WUFFRixNQUFNLFFBQVEsR0FBRyxNQUFNLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLENBQUMsQ0FBQztZQUN0RCxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxHQUFHLE1BQU0sSUFBSSxDQUFDLGdCQUFnQixDQUFDLFlBQVksRUFBRSxRQUFRLENBQUMsQ0FBQztZQUMvRSxZQUFZLEdBQUcsTUFBTSxDQUFDO1lBRXRCLDhEQUE4RDtZQUM5RCxpQkFBaUIsR0FBRyxxQkFBcUIsQ0FBQyxNQUFNLENBQUMsVUFBVSxDQUFDLFlBQVksRUFBRSxNQUFNLENBQUMsQ0FBQztZQUVsRiw0R0FBNEc7WUFDNUcsZ0pBQWdKO1lBQ2hKLElBQUksTUFBTSxDQUFDLFFBQVEsRUFBRSxDQUFDO2dCQUNwQixJQUFJLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FDWixnQkFBZ0IsZUFBZSxJQUFJLGdCQUFnQixJQUFJLE1BQU0sQ0FBQyxZQUFZLGtCQUFrQixNQUFNLENBQUMsWUFBWSxFQUFFLENBQ2xILENBQUM7Z0JBQ0Ysa0hBQWtIO2dCQUVsSCxPQUFPO29CQUNMLGlCQUFpQjtvQkFDakIsWUFBWTtvQkFDWixrQkFBa0IsRUFBRSx5QkFBeUIsQ0FBQyxLQUFLLEVBQUU7b0JBQ3JELFlBQVksRUFBRSx5QkFBeUIsQ0FBQyxLQUFLLEVBQUU7b0JBQy9DLE9BQU87b0JBQ1AsWUFBWSxFQUFFLE1BQU0sQ0FBQyxZQUFZO2lCQUNsQyxDQUFDO1lBQ0osQ0FBQztRQUNILENBQUM7UUFFRCxPQUFPO1lBQ0wsaUJBQWlCLEVBQUUsaUJBQWtCO1lBQ3JDLFlBQVk7WUFDWixrQkFBa0IsRUFBRSxTQUFTLENBQUMsa0JBQWtCO1lBQ2hELFlBQVksRUFBRSw0QkFBNEIsQ0FBQyxTQUFTLENBQUM7WUFDckQsT0FBTztZQUNQLFlBQVk7U0FDYixDQUFDO0lBQ0osQ0FBQztJQUVELHlEQUF5RDtJQUNqRCwwQkFBMEIsQ0FBQyxFQUFtQztRQUNwRSxPQUFPLENBQUMsR0FBRyxFQUFFLENBQUMsR0FBRyxDQUFDLFVBQVUsRUFBRSxHQUFHLEVBQUUsQ0FBQyxvQkFBb0IsQ0FBQyxVQUFVLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQUFDO0lBQ2pHLENBQUM7SUFFTyxLQUFLLENBQUMsZ0JBQWdCLENBQzVCLGNBQXFDLEVBQ3JDLFFBQXdCO1FBRXhCLHNDQUFzQztRQUN0QyxNQUFNLEtBQUssR0FBRyx1QkFBdUIsQ0FBQyw2QkFBNkIsQ0FBQyxDQUFDO1FBQ3JFLE1BQU0sRUFBRSxHQUFHLG1CQUFtQixDQUFDLFlBQVksRUFBRSxDQUFDO1FBQzlDLE1BQU0sY0FBYyxHQUFHLElBQUkscUJBQXFCLENBQUMsY0FBYyxFQUFFLEtBQUssRUFBRSxFQUFFLENBQUMsQ0FBQztRQUM1RSxNQUFNLE1BQU0sR0FBRyxJQUFJLHFDQUFxQyxDQUFDLGNBQWMsRUFBRSxRQUFRLENBQUMsQ0FBQztRQUNuRixPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLElBQUksQ0FBQyxxQkFBcUIsQ0FBQyx3QkFBd0IsQ0FBQyxNQUFNLENBQUMsRUFBRSxDQUFDO0lBQy9GLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNLLEtBQUssQ0FBQyxpQkFBaUIsQ0FBQyxNQUE2QjtRQUMzRCxNQUFNLFlBQVksR0FBRyxNQUFNLElBQUksQ0FBQyxlQUFlLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDeEQsTUFBTSxZQUFZLEdBQUcsTUFBTSxJQUFJLENBQUMsNEJBQTRCLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDckUsT0FBTyxJQUFJLGNBQWMsQ0FBQyxZQUFZLEVBQUUsY0FBYyxFQUFFLEVBQUUsWUFBWSxDQUFDLENBQUM7SUFDMUUsQ0FBQztJQUVPLEtBQUssQ0FBQyw0QkFBNEIsQ0FBQyxNQUE2QjtRQUN0RSxNQUFNLGtCQUFrQixHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxXQUFXLENBQUMsWUFBWSxDQUFDLGdCQUFnQixDQUFDLENBQUM7UUFDcEYsSUFBSSxDQUFDLGdCQUFnQixDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsY0FBYyxDQUFDLElBQUksR0FBRyxFQUFFLENBQUMsVUFBVSxDQUFDLGtCQUFrQixDQUFDLElBQUksQ0FBQyxDQUFDO1FBRWpHLE9BQU8seUJBQXlCLENBQUMsSUFBSSxDQUFDO1lBQ3BDLFdBQVcsRUFBRSxNQUFNLENBQUMsZ0JBQWdCLENBQUMsV0FBVztZQUNoRCxhQUFhLEVBQUUsWUFBWSxDQUFDLElBQUk7WUFDaEMsUUFBUSxFQUFFLGtCQUFrQixDQUFDLE1BQU0sQ0FBQyxnQkFBZ0IsQ0FBQyxJQUFJLENBQUM7WUFDMUQsVUFBVSxFQUFFLFdBQVcsQ0FDckIsTUFBTSxDQUFDLFVBQVUsRUFDakIsUUFBUSxDQUFDLEtBQUssRUFBRSxFQUNoQix3QkFBd0IsRUFDeEIsNkJBQTZCLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxtQkFBbUIsd0JBQXdCLEVBQUUsQ0FDbkc7WUFDRCxVQUFVLEVBQUUsV0FBVyxDQUNyQixNQUFNLENBQUMsVUFBVSxFQUNqQixTQUFTLENBQUMsS0FBSyxFQUFFLEVBQ2pCLHVCQUF1QixFQUN2Qiw0QkFBNEIsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLG1CQUFtQix1QkFBdUIsRUFBRSxDQUNqRztZQUNELFVBQVUsRUFBRSxXQUFXLENBQ3JCLE1BQU0sQ0FBQyxjQUFjLEVBQ3JCLGFBQWEsQ0FBQyxLQUFLLEVBQUUsRUFDckIsMEJBQTBCLEVBQzFCLG1DQUFtQyxNQUFNLENBQUMsY0FBYyxDQUFDLE1BQU0sbUJBQW1CLDBCQUEwQixFQUFFLENBQy9HO1lBQ0Qsc0JBQXNCLEVBQUUsTUFBTSxDQUFDLHNCQUFzQjtZQUNyRCxvQkFBb0IsRUFBRSxNQUFNLENBQUMsb0JBQW9CO1lBQ2pELFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDO1lBQ3BELG9CQUFvQixFQUFFLFdBQVcsQ0FDL0IsTUFBTSxDQUFDLG9CQUFvQixFQUMzQixtQkFBbUIsQ0FBQyxLQUFLLEVBQUUsRUFDM0Isb0NBQW9DLEVBQ3BDLHlDQUF5QyxNQUFNLENBQUMsb0JBQW9CLENBQUMsTUFBTSxtQkFBbUIsb0NBQW9DLEVBQUUsQ0FDckk7WUFDRCxxQkFBcUIsRUFBRSxXQUFXLENBQ2hDLE1BQU0sQ0FBQyxxQkFBcUIsRUFDNUIsV0FBVyxDQUFDLEtBQUssRUFBRSxFQUNuQixvQ0FBb0MsRUFDcEMseUNBQXlDLE1BQU0sQ0FBQyxxQkFBcUIsQ0FBQyxNQUFNLG1CQUFtQixvQ0FBb0MsRUFBRSxDQUN0STtZQUNELGdDQUFnQyxFQUFFLFdBQVcsQ0FDM0MsTUFBTSxDQUFDLGdDQUFnQyxFQUN2QyxXQUFXLENBQUMsS0FBSyxFQUFFLEVBQ25CLGlEQUFpRCxFQUNqRCxzREFBc0QsTUFBTSxDQUFDLGdDQUFnQyxDQUFDLE1BQU0sbUJBQW1CLGlEQUFpRCxFQUFFLENBQzNLO1lBQ0QscUJBQXFCLEVBQUUsV0FBVyxDQUNoQyxNQUFNLENBQUMscUJBQXFCLEVBQzVCLG1CQUFtQixDQUFDLEtBQUssRUFBRSxFQUMzQix1Q0FBdUMsRUFDdkMsZ0RBQWdELE1BQU0sQ0FBQyxxQkFBcUIsQ0FBQyxNQUFNLG1CQUFtQix1Q0FBdUMsRUFBRSxDQUNoSjtZQUNELG9CQUFvQixFQUFFLFdBQVcsQ0FDL0IsTUFBTSxDQUFDLG9CQUFvQixFQUMzQixtQkFBbUIsQ0FBQyxLQUFLLEVBQUUsRUFDM0IsOEJBQThCLEVBQzlCLG1DQUFtQyxNQUFNLENBQUMsb0JBQW9CLENBQUMsTUFBTSxtQkFBbUIsOEJBQThCLEVBQUUsQ0FDekg7WUFDRCw2QkFBNkIsRUFBRSxXQUFXLENBQ3hDLE1BQU0sQ0FBQyw2QkFBNkIsRUFDcEMsNEJBQTRCLENBQUMsS0FBSyxFQUFFLEVBQ3BDLHdDQUF3QyxFQUN4Qyw2Q0FBNkMsTUFBTSxDQUFDLDZCQUE2QixDQUFDLE1BQU0sbUJBQW1CLHdDQUF3QyxFQUFFLENBQ3RKO1lBQ0Qsa0JBQWtCLEVBQUUsV0FBVyxDQUM3QixNQUFNLENBQUMsa0JBQWtCLEVBQ3pCLHNCQUFzQixDQUFDLEtBQUssRUFBRSxFQUM5QixxQ0FBcUMsRUFDckMsc0NBQXNDLE1BQU0sQ0FBQyxrQkFBa0IsQ0FBQyxNQUFNLG1CQUFtQixxQ0FBcUMsRUFBRSxDQUNqSTtZQUNELHFCQUFxQixFQUFFLFdBQVcsQ0FDaEMsTUFBTSxDQUFDLHFCQUFxQixFQUM1QixPQUFPLENBQUMsS0FBSyxFQUFFLEVBQ2YsNkJBQTZCLEVBQzdCLGtDQUFrQyxNQUFNLENBQUMscUJBQXFCLENBQUMsTUFBTSxtQkFBbUIsNkJBQTZCLEVBQUUsQ0FDeEg7WUFDRCxnQkFBZ0IsRUFBRSxJQUFJLENBQUMsZ0JBQWdCO1lBQ3ZDLGVBQWUsRUFBRSxJQUFJLENBQUMsZUFBZTtZQUNyQyxZQUFZLEVBQUUsR0FBRyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDO1lBQzNDLFVBQVUsRUFBRSxHQUFHLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUM7WUFDdkMsY0FBYyxFQUFFLE1BQU0sQ0FBQyxjQUFjO1lBQ3JDLHdFQUF3RTtZQUN4RSxVQUFVLEVBQUUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUMsVUFBVSxDQUFDLGtCQUFrQixDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsRUFBRTtTQUM1RSxDQUFDLENBQUM7SUFDTCxDQUFDO0lBRU8sZUFBZSxDQUFDLE9BQThCO1FBQ3BELDZGQUE2RjtRQUM3RixrRUFBa0U7UUFDbEUsTUFBTSxZQUFZLEdBQUcsSUFBSSxFQUFFLENBQUMsRUFBRSxDQUFDLENBQUM7UUFDaEMsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUFDO0lBQ3ZDLENBQUM7Q0FDRiJ9