@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.5476d83

package/dest/tx/private_tx_constant_data.js

@@ -0,0 +1,69 @@
+import { TX_CONSTANT_DATA_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { BlockHeader } from './block_header.js';
+import { ProtocolContracts } from './protocol_contracts.js';
+import { TxContext } from './tx_context.js';
+/**
+ * Data that is constant/not modified by neither of the kernels.
+ */ export class PrivateTxConstantData {
+    anchorBlockHeader;
+    txContext;
+    vkTreeRoot;
+    protocolContracts;
+    constructor(/** Header of a block whose state is used during execution (not the block the transaction is included in). */ anchorBlockHeader, /**
+     * Context of the transaction.
+     *
+     * Note: `chainId` and `version` in txContext are not redundant to the values in
+     * self.anchor_block_header.global_variables because they can be different in case of a protocol upgrade. In such
+     * a situation we could be using header from a block before the upgrade took place but be using the updated
+     * protocol to execute and prove the transaction.
+     */ txContext, /**
+     * Root of the vk tree for the protocol circuits.
+     */ vkTreeRoot, /**
+     * List of protocol contracts.
+     */ protocolContracts){
+        this.anchorBlockHeader = anchorBlockHeader;
+        this.txContext = txContext;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContracts = protocolContracts;
+    }
+    static from(fields) {
+        return new PrivateTxConstantData(...PrivateTxConstantData.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.anchorBlockHeader,
+            fields.txContext,
+            fields.vkTreeRoot,
+            fields.protocolContracts
+        ];
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readObject(ProtocolContracts));
+    }
+    toFields() {
+        const fields = serializeToFields(...PrivateTxConstantData.getFields(this));
+        if (fields.length !== TX_CONSTANT_DATA_LENGTH) {
+            throw new Error(`Invalid number of fields for PrivateTxConstantData. Expected ${TX_CONSTANT_DATA_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PrivateTxConstantData(reader.readObject(BlockHeader), reader.readObject(TxContext), Fr.fromBuffer(reader), reader.readObject(ProtocolContracts));
+    }
+    toBuffer() {
+        return serializeToBuffer(...PrivateTxConstantData.getFields(this));
+    }
+    static empty() {
+        return new PrivateTxConstantData(BlockHeader.empty(), TxContext.empty(), Fr.ZERO, ProtocolContracts.empty());
+    }
+    getSize() {
+        return this.anchorBlockHeader.getSize() + this.txContext.getSize() + this.vkTreeRoot.size + this.protocolContracts.getSize();
+    }
+    clone() {
+        return PrivateTxConstantData.fromBuffer(this.toBuffer());
+    }
+}

package/dest/tx/processed_tx.d.ts

@@ -4,9 +4,8 @@ import type { PublicDataWrite } from '../avm/public_data_write.js';
 import { RevertCode } from '../avm/revert_code.js';
 import type { SimulationError } from '../errors/simulation_error.js';
 import type { GasUsed } from '../gas/gas_used.js';
-import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import type { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
-import type { ClientIvcProof } from '../proofs/client_ivc_proof.js';
+import type { ChonkProof } from '../proofs/chonk_proof.js';
 import type { GlobalVariables } from './global_variables.js';
 import type { Tx } from './tx.js';
 import { TxEffect } from './tx_effect.js';
@@ -32,15 +31,15 @@ export type ProcessedTx = {
     /**
      * Proof for the private execution.
      */
-    clientIvcProof: ClientIvcProof;
+    chonkProof: ChonkProof;
     /**
      * The request for AVM proving.
      */
     avmProvingRequest: AvmProvingRequest | undefined;
     /**
-     * Combining `TxConstantData` specified by the user, and `GlobalVariables` injected by the sequencer.
+     * `GlobalVariables` injected by the sequencer. It's the same for all the txs in a block.
      */
-    constants: CombinedConstantData;
+    globalVariables: GlobalVariables;
     /**
      * Output data of the tx.
      */
@@ -68,7 +67,6 @@ export type FailedTx = {
      */
     error: Error;
 };
-export declare function makeProcessedTxFromPrivateOnlyTx(tx: Tx, transactionFee: Fr, feePaymentPublicDataWrite: PublicDataWrite, globalVariables: GlobalVariables): Promise<ProcessedTx>;
-export declare function toNumBlobFields(txs: ProcessedTx[]): number;
-export declare function makeProcessedTxFromTxWithPublicCalls(tx: Tx, avmProvingRequest: AvmProvingRequest, gasUsed: GasUsed, revertCode: RevertCode, revertReason: SimulationError | undefined): Promise<ProcessedTx>;
-//# sourceMappingURL=processed_tx.d.ts.map
+export declare function makeProcessedTxFromPrivateOnlyTx(tx: Tx, transactionFee: Fr, feePaymentPublicDataWrite: PublicDataWrite, globalVariables: GlobalVariables): ProcessedTx;
+export declare function makeProcessedTxFromTxWithPublicCalls(tx: Tx, avmProvingRequest: AvmProvingRequest, gasUsed: GasUsed, revertCode: RevertCode, revertReason: SimulationError | undefined): ProcessedTx;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvY2Vzc2VkX3R4LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJvY2Vzc2VkX3R4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUU5QyxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBQ3ZFLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ25FLE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNuRCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUVyRSxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUVsRCxPQUFPLEtBQUssRUFBRSxvQ0FBb0MsRUFBRSxNQUFNLHdEQUF3RCxDQUFDO0FBQ25ILE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLFNBQVMsQ0FBQztBQUNsQyxPQUFPLEVBQUUsUUFBUSxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDMUMsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBRTNDLG9CQUFZLGdCQUFnQjtJQUMxQixLQUFLLElBQUE7SUFDTCxTQUFTLElBQUE7SUFDVCxRQUFRLElBQUE7Q0FDVDtBQUVEOzs7R0FHRztBQUNILE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEI7O09BRUc7SUFDSCxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2I7O09BRUc7SUFDSCxJQUFJLEVBQUUsb0NBQW9DLENBQUM7SUFDM0M7O09BRUc7SUFDSCxVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCOztPQUVHO0lBQ0gsaUJBQWlCLEVBQUUsaUJBQWlCLEdBQUcsU0FBUyxDQUFDO0lBQ2pEOztPQUVHO0lBQ0gsZUFBZSxFQUFFLGVBQWUsQ0FBQztJQUNqQzs7T0FFRztJQUNILFFBQVEsRUFBRSxRQUFRLENBQUM7SUFJbkIsT0FBTyxFQUFFLE9BQU8sQ0FBQztJQUNqQjs7T0FFRztJQUNILFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDdkI7O09BRUc7SUFDSCxZQUFZLEVBQUUsZUFBZSxHQUFHLFNBQVMsQ0FBQztDQUMzQyxDQUFDO0FBRUY7O0dBRUc7QUFDSCxNQUFNLE1BQU0sUUFBUSxHQUFHO0lBQ3JCOztPQUVHO0lBQ0gsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNQOztPQUVHO0lBQ0gsS0FBSyxFQUFFLEtBQUssQ0FBQztDQUNkLENBQUM7QUFFRix3QkFBZ0IsZ0NBQWdDLENBQzlDLEVBQUUsRUFBRSxFQUFFLEVBQ04sY0FBYyxFQUFFLEVBQUUsRUFDbEIseUJBQXlCLEVBQUUsZUFBZSxFQUMxQyxlQUFlLEVBQUUsZUFBZSxHQUMvQixXQUFXLENBNENiO0FBRUQsd0JBQWdCLG9DQUFvQyxDQUNsRCxFQUFFLEVBQUUsRUFBRSxFQUNOLGlCQUFpQixFQUFFLGlCQUFpQixFQUNwQyxPQUFPLEVBQUUsT0FBTyxFQUNoQixVQUFVLEVBQUUsVUFBVSxFQUN0QixZQUFZLEVBQUUsZUFBZSxHQUFHLFNBQVMsR0FDeEMsV0FBVyxDQWtEYiJ9

package/dest/tx/processed_tx.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"processed_tx.d.ts","sourceRoot":"","sources":["../../src/tx/processed_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAErE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AACnH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,oBAAY,gBAAgB;IAC1B,KAAK,IAAA;IACL,SAAS,IAAA;IACT,QAAQ,IAAA;CACT;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,IAAI,EAAE,oCAAoC,CAAC;IAC3C;;OAEG;IACH,cAAc,EAAE,cAAc,CAAC;IAC/B;;OAEG;IACH,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACjD;;OAEG;IACH,SAAS,EAAE,oBAAoB,CAAC;IAChC;;OAEG;IACH,QAAQ,EAAE,QAAQ,CAAC;IAInB,OAAO,EAAE,OAAO,CAAC;IACjB;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;OAEG;IACH,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB;;OAEG;IACH,EAAE,EAAE,EAAE,CAAC;IACP;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,wBAAsB,gCAAgC,CACpD,EAAE,EAAE,EAAE,EACN,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,eAAe,EAC1C,eAAe,EAAE,eAAe,GAC/B,OAAO,CAAC,WAAW,CAAC,CAsCtB;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,MAAM,CAI1D;AAED,wBAAsB,oCAAoC,CACxD,EAAE,EAAE,EAAE,EACN,iBAAiB,EAAE,iBAAiB,EACpC,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,eAAe,GAAG,SAAS,GACxC,OAAO,CAAC,WAAW,CAAC,CA2CtB"}
+{"version":3,"file":"processed_tx.d.ts","sourceRoot":"","sources":["../../src/tx/processed_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAErE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AACnH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,oBAAY,gBAAgB;IAC1B,KAAK,IAAA;IACL,SAAS,IAAA;IACT,QAAQ,IAAA;CACT;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,IAAI,EAAE,oCAAoC,CAAC;IAC3C;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;OAEG;IACH,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACjD;;OAEG;IACH,eAAe,EAAE,eAAe,CAAC;IACjC;;OAEG;IACH,QAAQ,EAAE,QAAQ,CAAC;IAInB,OAAO,EAAE,OAAO,CAAC;IACjB;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;IACvB;;OAEG;IACH,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;CAC3C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB;;OAEG;IACH,EAAE,EAAE,EAAE,CAAC;IACP;;OAEG;IACH,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,wBAAgB,gCAAgC,CAC9C,EAAE,EAAE,EAAE,EACN,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,eAAe,EAC1C,eAAe,EAAE,eAAe,GAC/B,WAAW,CA4Cb;AAED,wBAAgB,oCAAoC,CAClD,EAAE,EAAE,EAAE,EACN,iBAAiB,EAAE,iBAAiB,EACpC,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,eAAe,GAAG,SAAS,GACxC,WAAW,CAkDb"}

package/dest/tx/processed_tx.js

@@ -1,7 +1,6 @@
 import { RevertCode } from '../avm/revert_code.js';
 import { Gas } from '../gas/gas.js';
-import { siloL2ToL1Message } from '../hash/hash.js';
-import { CombinedConstantData } from '../kernel/combined_constant_data.js';
+import { computeL2ToL1MessageHash } from '../hash/hash.js';
 import { TxEffect } from './tx_effect.js';
 export var TxExecutionPhase = /*#__PURE__*/ function(TxExecutionPhase) {
     TxExecutionPhase[TxExecutionPhase["SETUP"] = 0] = "SETUP";
@@ -9,12 +8,17 @@ export var TxExecutionPhase = /*#__PURE__*/ function(TxExecutionPhase) {
     TxExecutionPhase[TxExecutionPhase["TEARDOWN"] = 2] = "TEARDOWN";
     return TxExecutionPhase;
 }({});
-export async function makeProcessedTxFromPrivateOnlyTx(tx, transactionFee, feePaymentPublicDataWrite, globalVariables) {
-    const constants = CombinedConstantData.combine(tx.data.constants, globalVariables);
+export function makeProcessedTxFromPrivateOnlyTx(tx, transactionFee, feePaymentPublicDataWrite, globalVariables) {
     const data = tx.data.forRollup;
-    const txEffect = new TxEffect(RevertCode.OK, await tx.getTxHash(), transactionFee, data.end.noteHashes.filter((h)=>!h.isZero()), data.end.nullifiers.filter((h)=>!h.isZero()), data.end.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, constants.txContext.version, constants.txContext.chainId)).filter((h)=>!h.isZero()), [
+    const txEffect = new TxEffect(RevertCode.OK, tx.getTxHash(), transactionFee, data.end.noteHashes.filter((h)=>!h.isZero()), data.end.nullifiers.filter((h)=>!h.isZero()), data.end.l2ToL1Msgs.filter((msg)=>!msg.contractAddress.isZero()).map((msg)=>computeL2ToL1MessageHash({
+            l2Sender: msg.contractAddress,
+            l1Recipient: msg.message.recipient,
+            content: msg.message.content,
+            rollupVersion: globalVariables.version,
+            chainId: globalVariables.chainId
+        })), [
         feePaymentPublicDataWrite
-    ], data.end.privateLogs.filter((l)=>!l.isEmpty()), [], await tx.filterContractClassLogs(tx.data.getNonEmptyContractClassLogsHashes(), true));
+    ], data.end.privateLogs.filter((l)=>!l.isEmpty()), [], tx.getContractClassLogs());
     const gasUsed = {
         // Billed gas is the same as total gas since there is no teardown execution
         totalGas: tx.data.gasUsed,
@@ -25,39 +29,37 @@ export async function makeProcessedTxFromPrivateOnlyTx(tx, transactionFee, feePa
     return {
         hash: txEffect.txHash,
         data: tx.data,
-        clientIvcProof: tx.clientIvcProof,
+        chonkProof: tx.chonkProof,
         avmProvingRequest: undefined,
-        constants,
+        globalVariables,
         txEffect,
         gasUsed,
         revertCode: RevertCode.OK,
         revertReason: undefined
     };
 }
-export function toNumBlobFields(txs) {
-    return txs.reduce((acc, tx)=>{
-        return acc + tx.txEffect.toBlobFields().length;
-    }, 0);
-}
-export async function makeProcessedTxFromTxWithPublicCalls(tx, avmProvingRequest, gasUsed, revertCode, revertReason) {
+export function makeProcessedTxFromTxWithPublicCalls(tx, avmProvingRequest, gasUsed, revertCode, revertReason) {
     const avmPublicInputs = avmProvingRequest.inputs.publicInputs;
-    const constants = CombinedConstantData.combine(tx.data.constants, avmPublicInputs.globalVariables);
+    const globalVariables = avmPublicInputs.globalVariables;
     const publicDataWrites = avmPublicInputs.accumulatedData.publicDataWrites.filter((w)=>!w.isEmpty());
     const privateLogs = [
         ...tx.data.forPublic.nonRevertibleAccumulatedData.privateLogs,
         ...revertCode.isOK() ? tx.data.forPublic.revertibleAccumulatedData.privateLogs : []
     ].filter((l)=>!l.isEmpty());
-    const contractClassLogs = [
-        ...await tx.getSplitContractClassLogs(false, true),
-        ...revertCode.isOK() ? await tx.getSplitContractClassLogs(true, true) : []
-    ].filter((l)=>!l.isEmpty());
-    const txEffect = new TxEffect(revertCode, await tx.getTxHash(), avmPublicInputs.transactionFee, avmPublicInputs.accumulatedData.noteHashes.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.nullifiers.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.l2ToL1Msgs.map((message)=>siloL2ToL1Message(message, constants.txContext.version, constants.txContext.chainId)).filter((h)=>!h.isZero()), publicDataWrites, privateLogs, avmPublicInputs.accumulatedData.publicLogs.filter((l)=>!l.isEmpty()), contractClassLogs);
+    const contractClassLogs = revertCode.isOK() ? tx.getContractClassLogs() : tx.getSplitContractClassLogs(false);
+    const txEffect = new TxEffect(revertCode, tx.getTxHash(), avmPublicInputs.transactionFee, avmPublicInputs.accumulatedData.noteHashes.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.nullifiers.filter((h)=>!h.isZero()), avmPublicInputs.accumulatedData.l2ToL1Msgs.filter((msg)=>!msg.contractAddress.isZero()).map((msg)=>computeL2ToL1MessageHash({
+            l2Sender: msg.contractAddress,
+            l1Recipient: msg.message.recipient,
+            content: msg.message.content,
+            rollupVersion: globalVariables.version,
+            chainId: globalVariables.chainId
+        })), publicDataWrites, privateLogs, avmPublicInputs.accumulatedData.publicLogs.toLogs(), contractClassLogs);
     return {
         hash: txEffect.txHash,
         data: tx.data,
-        clientIvcProof: tx.clientIvcProof,
+        chonkProof: tx.chonkProof,
         avmProvingRequest,
-        constants,
+        globalVariables,
         txEffect,
         gasUsed,
         revertCode,

package/dest/tx/profiling.d.ts

@@ -0,0 +1,360 @@
+import { Fr } from '@aztec/foundation/fields';
+import { type ZodFor } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+import type { AztecNode } from '../interfaces/aztec-node.js';
+import { type PrivateExecutionStep } from '../kernel/private_kernel_prover_output.js';
+export type NodeStats = Partial<Record<keyof AztecNode, {
+    times: number[];
+}>>;
+type FunctionTiming = {
+    functionName: string;
+    time: number;
+    oracles?: Record<string, {
+        times: number[];
+    }>;
+};
+export type ProvingTimings = {
+    sync?: number;
+    proving?: number;
+    perFunction: FunctionTiming[];
+    unaccounted: number;
+    total: number;
+};
+export declare const ProvingTimingsSchema: z.ZodObject<{
+    sync: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+    proving: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+    perFunction: z.ZodArray<z.ZodObject<{
+        functionName: z.ZodString;
+        time: z.ZodNumber;
+        oracles: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            times: z.ZodArray<z.ZodNumber, "many">;
+        }, "strip", z.ZodTypeAny, {
+            times: number[];
+        }, {
+            times: number[];
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }, {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }>, "many">;
+    unaccounted: z.ZodNumber;
+    total: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    sync?: number | undefined;
+    proving?: number | undefined;
+    perFunction: {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }[];
+    unaccounted: number;
+    total: number;
+}, {
+    sync?: number | undefined;
+    proving?: number | undefined;
+    perFunction: {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }[];
+    unaccounted: number;
+    total: number;
+}>;
+export interface ProvingStats {
+    timings: ProvingTimings;
+    nodeRPCCalls?: NodeStats;
+}
+export declare const ProvingStatsSchema: z.ZodObject<{
+    timings: z.ZodObject<{
+        sync: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+        proving: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+        perFunction: z.ZodArray<z.ZodObject<{
+            functionName: z.ZodString;
+            time: z.ZodNumber;
+            oracles: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+                times: z.ZodArray<z.ZodNumber, "many">;
+            }, "strip", z.ZodTypeAny, {
+                times: number[];
+            }, {
+                times: number[];
+            }>>>;
+        }, "strip", z.ZodTypeAny, {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }, {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }>, "many">;
+        unaccounted: z.ZodNumber;
+        total: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        sync?: number | undefined;
+        proving?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    }, {
+        sync?: number | undefined;
+        proving?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    }>;
+    nodeRPCCalls: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        times: z.ZodArray<z.ZodNumber, "many">;
+    }, "strip", z.ZodTypeAny, {
+        times: number[];
+    }, {
+        times: number[];
+    }>>>;
+}, "strip", z.ZodTypeAny, {
+    timings: {
+        sync?: number | undefined;
+        proving?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    };
+    nodeRPCCalls?: Record<string, {
+        times: number[];
+    }> | undefined;
+}, {
+    timings: {
+        sync?: number | undefined;
+        proving?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    };
+    nodeRPCCalls?: Record<string, {
+        times: number[];
+    }> | undefined;
+}>;
+export interface SimulationTimings {
+    sync: number;
+    publicSimulation?: number;
+    validation?: number;
+    perFunction: FunctionTiming[];
+    unaccounted: number;
+    total: number;
+}
+export declare const SimulationTimingsSchema: z.ZodObject<{
+    sync: z.ZodNumber;
+    publicSimulation: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+    validation: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+    perFunction: z.ZodArray<z.ZodObject<{
+        functionName: z.ZodString;
+        time: z.ZodNumber;
+        oracles: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            times: z.ZodArray<z.ZodNumber, "many">;
+        }, "strip", z.ZodTypeAny, {
+            times: number[];
+        }, {
+            times: number[];
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }, {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }>, "many">;
+    unaccounted: z.ZodNumber;
+    total: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    sync: number;
+    publicSimulation?: number | undefined;
+    validation?: number | undefined;
+    perFunction: {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }[];
+    unaccounted: number;
+    total: number;
+}, {
+    sync: number;
+    publicSimulation?: number | undefined;
+    validation?: number | undefined;
+    perFunction: {
+        functionName: string;
+        time: number;
+        oracles?: Record<string, {
+            times: number[];
+        }> | undefined;
+    }[];
+    unaccounted: number;
+    total: number;
+}>;
+export interface SimulationStats {
+    timings: SimulationTimings;
+    nodeRPCCalls: NodeStats;
+}
+export declare const SimulationStatsSchema: z.ZodObject<{
+    timings: z.ZodObject<{
+        sync: z.ZodNumber;
+        publicSimulation: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+        validation: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodNumber>;
+        perFunction: z.ZodArray<z.ZodObject<{
+            functionName: z.ZodString;
+            time: z.ZodNumber;
+            oracles: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+                times: z.ZodArray<z.ZodNumber, "many">;
+            }, "strip", z.ZodTypeAny, {
+                times: number[];
+            }, {
+                times: number[];
+            }>>>;
+        }, "strip", z.ZodTypeAny, {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }, {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }>, "many">;
+        unaccounted: z.ZodNumber;
+        total: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        sync: number;
+        publicSimulation?: number | undefined;
+        validation?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    }, {
+        sync: number;
+        publicSimulation?: number | undefined;
+        validation?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    }>;
+    nodeRPCCalls: z.ZodRecord<z.ZodString, z.ZodObject<{
+        times: z.ZodArray<z.ZodNumber, "many">;
+    }, "strip", z.ZodTypeAny, {
+        times: number[];
+    }, {
+        times: number[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    timings: {
+        sync: number;
+        publicSimulation?: number | undefined;
+        validation?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    };
+    nodeRPCCalls: Record<string, {
+        times: number[];
+    }>;
+}, {
+    timings: {
+        sync: number;
+        publicSimulation?: number | undefined;
+        validation?: number | undefined;
+        perFunction: {
+            functionName: string;
+            time: number;
+            oracles?: Record<string, {
+                times: number[];
+            }> | undefined;
+        }[];
+        unaccounted: number;
+        total: number;
+    };
+    nodeRPCCalls: Record<string, {
+        times: number[];
+    }>;
+}>;
+export declare class TxProfileResult {
+    executionSteps: PrivateExecutionStep[];
+    stats: ProvingStats;
+    constructor(executionSteps: PrivateExecutionStep[], stats: ProvingStats);
+    static get schema(): ZodFor<TxProfileResult>;
+    static random(): TxProfileResult;
+}
+export declare class UtilitySimulationResult {
+    result: Fr[];
+    stats?: SimulationStats | undefined;
+    constructor(result: Fr[], stats?: SimulationStats | undefined);
+    static get schema(): ZodFor<UtilitySimulationResult>;
+    static random(): UtilitySimulationResult;
+}
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvZmlsaW5nLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdHgvcHJvZmlsaW5nLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQXFCLE1BQU0sMkJBQTJCLENBQUM7QUFFM0UsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEtBQUssRUFBRSxTQUFTLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsS0FBSyxvQkFBb0IsRUFBOEIsTUFBTSwyQ0FBMkMsQ0FBQztBQUVsSCxNQUFNLE1BQU0sU0FBUyxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsTUFBTSxTQUFTLEVBQUU7SUFBRSxLQUFLLEVBQUUsTUFBTSxFQUFFLENBQUE7Q0FBRSxDQUFDLENBQUMsQ0FBQztBQUk5RSxLQUFLLGNBQWMsR0FBRztJQUNwQixZQUFZLEVBQUUsTUFBTSxDQUFDO0lBQ3JCLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixPQUFPLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFO1FBQUUsS0FBSyxFQUFFLE1BQU0sRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQUFDO0NBQy9DLENBQUM7QUFRRixNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNkLE9BQU8sQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNqQixXQUFXLEVBQUUsY0FBYyxFQUFFLENBQUM7SUFDOUIsV0FBVyxFQUFFLE1BQU0sQ0FBQztJQUNwQixLQUFLLEVBQUUsTUFBTSxDQUFDO0NBQ2YsQ0FBQztBQUVGLGVBQU8sTUFBTSxvQkFBb0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFNL0IsQ0FBQztBQUVILE1BQU0sV0FBVyxZQUFZO0lBQzNCLE9BQU8sRUFBRSxjQUFjLENBQUM7SUFDeEIsWUFBWSxDQUFDLEVBQUUsU0FBUyxDQUFDO0NBQzFCO0FBRUQsZUFBTyxNQUFNLGtCQUFrQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFHN0IsQ0FBQztBQUVILE1BQU0sV0FBVyxpQkFBaUI7SUFDaEMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLGdCQUFnQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQzFCLFVBQVUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNwQixXQUFXLEVBQUUsY0FBYyxFQUFFLENBQUM7SUFDOUIsV0FBVyxFQUFFLE1BQU0sQ0FBQztJQUNwQixLQUFLLEVBQUUsTUFBTSxDQUFDO0NBQ2Y7QUFFRCxlQUFPLE1BQU0sdUJBQXVCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0VBT2xDLENBQUM7QUFFSCxNQUFNLFdBQVcsZUFBZTtJQUM5QixPQUFPLEVBQUUsaUJBQWlCLENBQUM7SUFDM0IsWUFBWSxFQUFFLFNBQVMsQ0FBQztDQUN6QjtBQUVELGVBQU8sTUFBTSxxQkFBcUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFHaEMsQ0FBQztBQUVILHFCQUFhLGVBQWU7SUFFakIsY0FBYyxFQUFFLG9CQUFvQixFQUFFO0lBQ3RDLEtBQUssRUFBRSxZQUFZO0lBRjVCLFlBQ1MsY0FBYyxFQUFFLG9CQUFvQixFQUFFLEVBQ3RDLEtBQUssRUFBRSxZQUFZLEVBQ3hCO0lBQ0osTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsZUFBZSxDQUFDLENBTzNDO0lBRUQsTUFBTSxDQUFDLE1BQU0sSUFBSSxlQUFlLENBOEIvQjtDQUNGO0FBRUQscUJBQWEsdUJBQXVCO0lBRXpCLE1BQU0sRUFBRSxFQUFFLEVBQUU7SUFDWixLQUFLLENBQUM7SUFGZixZQUNTLE1BQU0sRUFBRSxFQUFFLEVBQUUsRUFDWixLQUFLLENBQUMsNkJBQWlCLEVBQzVCO0lBRUosTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsdUJBQXVCLENBQUMsQ0FPbkQ7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLHVCQUF1QixDQWlCdkM7Q0FDRiJ9

package/dest/tx/profiling.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profiling.d.ts","sourceRoot":"","sources":["../../src/tx/profiling.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAqB,MAAM,2BAA2B,CAAC;AAE3E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,KAAK,oBAAoB,EAA8B,MAAM,2CAA2C,CAAC;AAElH,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,SAAS,EAAE;IAAE,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAAC,CAAC;AAI9E,KAAK,cAAc,GAAG;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAC/C,CAAC;AAQF,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAC;AAEH,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,cAAc,CAAC;IACxB,YAAY,CAAC,EAAE,SAAS,CAAC;CAC1B;AAED,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG7B,CAAC;AAEH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOlC,CAAC;AAEH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,YAAY,EAAE,SAAS,CAAC;CACzB;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAC;AAEH,qBAAa,eAAe;IAEjB,cAAc,EAAE,oBAAoB,EAAE;IACtC,KAAK,EAAE,YAAY;IAF5B,YACS,cAAc,EAAE,oBAAoB,EAAE,EACtC,KAAK,EAAE,YAAY,EACxB;IACJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,CAO3C;IAED,MAAM,CAAC,MAAM,IAAI,eAAe,CA8B/B;CACF;AAED,qBAAa,uBAAuB;IAEzB,MAAM,EAAE,EAAE,EAAE;IACZ,KAAK,CAAC;IAFf,YACS,MAAM,EAAE,EAAE,EAAE,EACZ,KAAK,CAAC,6BAAiB,EAC5B;IAEJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAOnD;IAED,MAAM,CAAC,MAAM,IAAI,uBAAuB,CAiBvC;CACF"}