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

package/dest/tx/proven_tx.d.ts

@@ -0,0 +1,129 @@
+import type { FieldsOf } from '@aztec/foundation/types';
+import { z } from 'zod';
+import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
+import { ChonkProof } from '../proofs/chonk_proof.js';
+import type { OffchainEffect } from './offchain_effect.js';
+import { PrivateExecutionResult } from './private_execution_result.js';
+import { type ProvingStats } from './profiling.js';
+import { Tx } from './tx.js';
+export declare class TxProvingResult {
+    privateExecutionResult: PrivateExecutionResult;
+    publicInputs: PrivateKernelTailCircuitPublicInputs;
+    chonkProof: ChonkProof;
+    stats?: ProvingStats | undefined;
+    constructor(privateExecutionResult: PrivateExecutionResult, publicInputs: PrivateKernelTailCircuitPublicInputs, chonkProof: ChonkProof, stats?: ProvingStats | undefined);
+    toTx(): Promise<Tx>;
+    getOffchainEffects(): OffchainEffect[];
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        privateExecutionResult: import("@aztec/foundation/schemas").ZodFor<PrivateExecutionResult>;
+        publicInputs: z.ZodType<PrivateKernelTailCircuitPublicInputs, any, string>;
+        chonkProof: z.ZodType<ChonkProof, any, string>;
+        timings: import("@aztec/foundation/schemas").ZodNullableOptional<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, {
+            total: number;
+            perFunction: {
+                functionName: string;
+                time: number;
+                oracles?: Record<string, {
+                    times: number[];
+                }> | undefined;
+            }[];
+            unaccounted: number;
+            sync?: number | undefined;
+            proving?: number | undefined;
+        }, {
+            total: number;
+            perFunction: {
+                functionName: string;
+                time: number;
+                oracles?: Record<string, {
+                    times: number[];
+                }> | undefined;
+            }[];
+            unaccounted: number;
+            sync?: number | undefined;
+            proving?: number | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        publicInputs: PrivateKernelTailCircuitPublicInputs;
+        chonkProof: ChonkProof;
+        privateExecutionResult: PrivateExecutionResult;
+        timings?: {
+            total: number;
+            perFunction: {
+                functionName: string;
+                time: number;
+                oracles?: Record<string, {
+                    times: number[];
+                }> | undefined;
+            }[];
+            unaccounted: number;
+            sync?: number | undefined;
+            proving?: number | undefined;
+        } | undefined;
+    }, {
+        publicInputs: string;
+        chonkProof: string;
+        timings?: {
+            total: number;
+            perFunction: {
+                functionName: string;
+                time: number;
+                oracles?: Record<string, {
+                    times: number[];
+                }> | undefined;
+            }[];
+            unaccounted: number;
+            sync?: number | undefined;
+            proving?: number | undefined;
+        } | undefined;
+        privateExecutionResult?: any;
+    }>, TxProvingResult, {
+        publicInputs: string;
+        chonkProof: string;
+        timings?: {
+            total: number;
+            perFunction: {
+                functionName: string;
+                time: number;
+                oracles?: Record<string, {
+                    times: number[];
+                }> | undefined;
+            }[];
+            unaccounted: number;
+            sync?: number | undefined;
+            proving?: number | undefined;
+        } | undefined;
+        privateExecutionResult?: any;
+    }>;
+    static from(fields: FieldsOf<TxProvingResult>): TxProvingResult;
+    static random(): Promise<TxProvingResult>;
+}
+//# sourceMappingURL=proven_tx.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"proven_tx.d.ts","sourceRoot":"","sources":["../../src/tx/proven_tx.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AAC9G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EACL,sBAAsB,EAGvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,KAAK,YAAY,EAAwB,MAAM,gBAAgB,CAAC;AACzE,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAE7B,qBAAa,eAAe;IAEjB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAClD,UAAU,EAAE,UAAU;IACtB,KAAK,CAAC,EAAE,YAAY;gBAHpB,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAClD,UAAU,EAAE,UAAU,EACtB,KAAK,CAAC,EAAE,YAAY,YAAA;IAGvB,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC;IAWzB,kBAAkB,IAAI,cAAc,EAAE;IAItC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;WAIhC,MAAM;CAOpB"}

package/dest/tx/proven_tx.js

@@ -0,0 +1,45 @@
+import { optional } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
+import { ChonkProof } from '../proofs/chonk_proof.js';
+import { PrivateExecutionResult, collectOffchainEffects, collectSortedContractClassLogs } from './private_execution_result.js';
+import { ProvingTimingsSchema } from './profiling.js';
+import { Tx } from './tx.js';
+export class TxProvingResult {
+    privateExecutionResult;
+    publicInputs;
+    chonkProof;
+    stats;
+    constructor(privateExecutionResult, publicInputs, chonkProof, stats){
+        this.privateExecutionResult = privateExecutionResult;
+        this.publicInputs = publicInputs;
+        this.chonkProof = chonkProof;
+        this.stats = stats;
+    }
+    async toTx() {
+        const contractClassLogs = collectSortedContractClassLogs(this.privateExecutionResult);
+        return await Tx.create({
+            data: this.publicInputs,
+            chonkProof: this.chonkProof,
+            contractClassLogFields: contractClassLogs,
+            publicFunctionCalldata: this.privateExecutionResult.publicFunctionCalldata
+        });
+    }
+    getOffchainEffects() {
+        return collectOffchainEffects(this.privateExecutionResult);
+    }
+    static get schema() {
+        return z.object({
+            privateExecutionResult: PrivateExecutionResult.schema,
+            publicInputs: PrivateKernelTailCircuitPublicInputs.schema,
+            chonkProof: ChonkProof.schema,
+            timings: optional(ProvingTimingsSchema)
+        }).transform(TxProvingResult.from);
+    }
+    static from(fields) {
+        return new TxProvingResult(fields.privateExecutionResult, fields.publicInputs, fields.chonkProof);
+    }
+    static async random() {
+        return new TxProvingResult(await PrivateExecutionResult.random(), PrivateKernelTailCircuitPublicInputs.empty(), ChonkProof.empty());
+    }
+}

package/dest/tx/public_call_request_with_calldata.d.ts

@@ -0,0 +1,38 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { inspect } from 'util';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { PublicCallRequest } from '../kernel/public_call_request.js';
+import { type ZodFor } from '../schemas/index.js';
+/**
+ * The call request of a public function, including the calldata.
+ */
+export declare class PublicCallRequestWithCalldata {
+    /**
+     * Request of the public call.
+     */
+    request: PublicCallRequest;
+    /**
+     * Function selector and arguments of the public call.
+     */
+    calldata: Fr[];
+    constructor(
+    /**
+     * Request of the public call.
+     */
+    request: PublicCallRequest, 
+    /**
+     * Function selector and arguments of the public call.
+     */
+    calldata: Fr[]);
+    get functionSelector(): FunctionSelector;
+    get args(): Fr[];
+    static get schema(): ZodFor<PublicCallRequestWithCalldata>;
+    static from(fields: Pick<PublicCallRequestWithCalldata, 'request' | 'calldata'>): PublicCallRequestWithCalldata;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): PublicCallRequestWithCalldata;
+    static empty(): PublicCallRequestWithCalldata;
+    isEmpty(): boolean;
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=public_call_request_with_calldata.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"public_call_request_with_calldata.d.ts","sourceRoot":"","sources":["../../src/tx/public_call_request_with_calldata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAG3D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,OAAO,EAAE,iBAAiB;IACjC;;OAEG;IACI,QAAQ,EAAE,EAAE,EAAE;;IAPrB;;OAEG;IACI,OAAO,EAAE,iBAAiB;IACjC;;OAEG;IACI,QAAQ,EAAE,EAAE,EAAE;IAIvB,IAAI,gBAAgB,IAAI,gBAAgB,CAEvC;IAED,IAAI,IAAI,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,6BAA6B,CAAC,CAOzD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,6BAA6B,EAAE,SAAS,GAAG,UAAU,CAAC,GAAG,6BAA6B;IAI/G,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;IAIlB,CAAC,OAAO,CAAC,MAAM,CAAC;CAMjB"}

package/dest/tx/public_call_request_with_calldata.js

@@ -0,0 +1,57 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { FunctionSelector } from '../abi/function_selector.js';
+import { PublicCallRequest } from '../kernel/public_call_request.js';
+import { schemas } from '../schemas/index.js';
+import { Vector } from '../types/index.js';
+/**
+ * The call request of a public function, including the calldata.
+ */ export class PublicCallRequestWithCalldata {
+    request;
+    calldata;
+    constructor(/**
+     * Request of the public call.
+     */ request, /**
+     * Function selector and arguments of the public call.
+     */ calldata){
+        this.request = request;
+        this.calldata = calldata;
+    }
+    // Public functions get routed through the dispatch function, whose first argument is the target function selector.
+    get functionSelector() {
+        return FunctionSelector.fromField(this.calldata[0]);
+    }
+    get args() {
+        return this.calldata.slice(1);
+    }
+    static get schema() {
+        return z.object({
+            request: PublicCallRequest.schema,
+            calldata: z.array(schemas.Fr)
+        }).transform(PublicCallRequestWithCalldata.from);
+    }
+    static from(fields) {
+        return new PublicCallRequestWithCalldata(fields.request, fields.calldata);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.request, new Vector(this.calldata));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new PublicCallRequestWithCalldata(PublicCallRequest.fromBuffer(reader), reader.readVector(Fr));
+    }
+    static empty() {
+        return new PublicCallRequestWithCalldata(PublicCallRequest.empty(), []);
+    }
+    isEmpty() {
+        return this.request.isEmpty() && this.calldata.length === 0;
+    }
+    [inspect.custom]() {
+        return `PublicCallRequestWithCalldata {
+      request: ${inspect(this.request)}
+      calldata: ${this.calldata}
+    }`;
+    }
+}

package/dest/tx/public_simulation_output.d.ts

@@ -2,8 +2,8 @@ import { Fr } from '@aztec/foundation/fields';
 import { type ZodFor } from '@aztec/foundation/schemas';
 import { SimulationError } from '../errors/simulation_error.js';
 import type { GasUsed } from '../gas/gas_used.js';
-import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import { TxEffect } from '../tx/tx_effect.js';
+import { GlobalVariables } from './global_variables.js';
 /** Return values of simulating a circuit. */
 export type ProcessReturnValues = Fr[] | undefined;
 /** Return values of simulating complete callstack. */
@@ -20,11 +20,11 @@ export declare class NestedProcessReturnValues {
  */
 export declare class PublicSimulationOutput {
     revertReason: SimulationError | undefined;
-    constants: CombinedConstantData;
+    globalVariables: GlobalVariables;
     txEffect: TxEffect;
     publicReturnValues: NestedProcessReturnValues[];
     gasUsed: GasUsed;
-    constructor(revertReason: SimulationError | undefined, constants: CombinedConstantData, txEffect: TxEffect, publicReturnValues: NestedProcessReturnValues[], gasUsed: GasUsed);
+    constructor(revertReason: SimulationError | undefined, globalVariables: GlobalVariables, txEffect: TxEffect, publicReturnValues: NestedProcessReturnValues[], gasUsed: GasUsed);
     static get schema(): ZodFor<PublicSimulationOutput>;
     static random(): Promise<PublicSimulationOutput>;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,SAAS,EAAE,oBAAoB;IAC/B,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,SAAS,EAAE,oBAAoB,EAC/B,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}
+{"version":3,"file":"public_simulation_output.d.ts","sourceRoot":"","sources":["../../src/tx/public_simulation_output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AAKjE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,6CAA6C;AAC7C,MAAM,MAAM,mBAAmB,GAAG,EAAE,EAAE,GAAG,SAAS,CAAC;AAEnD,sDAAsD;AACtD,qBAAa,yBAAyB;IACpC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,MAAM,EAAE,yBAAyB,EAAE,CAAC;gBAExB,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,yBAAyB,EAAE;IAK7E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,yBAAyB,CAAC,CAOrD;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,KAAK,SAAI,GAAG,yBAAyB;CAMpD;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAExB,YAAY,EAAE,eAAe,GAAG,SAAS;IACzC,eAAe,EAAE,eAAe;IAChC,QAAQ,EAAE,QAAQ;IAClB,kBAAkB,EAAE,yBAAyB,EAAE;IAC/C,OAAO,EAAE,OAAO;gBAJhB,YAAY,EAAE,eAAe,GAAG,SAAS,EACzC,eAAe,EAAE,eAAe,EAChC,QAAQ,EAAE,QAAQ,EAClB,kBAAkB,EAAE,yBAAyB,EAAE,EAC/C,OAAO,EAAE,OAAO;IAGzB,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,sBAAsB,CAAC,CAwBlD;WAEY,MAAM;CASpB"}

package/dest/tx/public_simulation_output.js

@@ -4,8 +4,8 @@ import times from 'lodash.times';
 import { z } from 'zod';
 import { SimulationError } from '../errors/simulation_error.js';
 import { Gas } from '../gas/gas.js';
-import { CombinedConstantData } from '../kernel/combined_constant_data.js';
 import { TxEffect } from '../tx/tx_effect.js';
+import { GlobalVariables } from './global_variables.js';
 /** Return values of simulating complete callstack. */ export class NestedProcessReturnValues {
     values;
     nested;
@@ -32,13 +32,13 @@ import { TxEffect } from '../tx/tx_effect.js';
  * Outputs of processing the public component of a transaction.
  */ export class PublicSimulationOutput {
     revertReason;
-    constants;
+    globalVariables;
     txEffect;
     publicReturnValues;
     gasUsed;
-    constructor(revertReason, constants, txEffect, publicReturnValues, gasUsed){
+    constructor(revertReason, globalVariables, txEffect, publicReturnValues, gasUsed){
         this.revertReason = revertReason;
-        this.constants = constants;
+        this.globalVariables = globalVariables;
         this.txEffect = txEffect;
         this.publicReturnValues = publicReturnValues;
         this.gasUsed = gasUsed;
@@ -46,7 +46,7 @@ import { TxEffect } from '../tx/tx_effect.js';
     static get schema() {
         return z.object({
             revertReason: SimulationError.schema.optional(),
-            constants: CombinedConstantData.schema,
+            globalVariables: GlobalVariables.schema,
             txEffect: TxEffect.schema,
             publicReturnValues: z.array(NestedProcessReturnValues.schema),
             gasUsed: z.object({
@@ -55,10 +55,10 @@ import { TxEffect } from '../tx/tx_effect.js';
                 publicGas: Gas.schema,
                 billedGas: Gas.schema
             })
-        }).transform((fields)=>new PublicSimulationOutput(fields.revertReason, fields.constants, fields.txEffect, fields.publicReturnValues, fields.gasUsed));
+        }).transform((fields)=>new PublicSimulationOutput(fields.revertReason, fields.globalVariables, fields.txEffect, fields.publicReturnValues, fields.gasUsed));
     }
     static async random() {
-        return new PublicSimulationOutput(await SimulationError.random(), CombinedConstantData.empty(), TxEffect.empty(), times(2, NestedProcessReturnValues.random), {
+        return new PublicSimulationOutput(await SimulationError.random(), GlobalVariables.empty(), TxEffect.empty(), times(2, NestedProcessReturnValues.random), {
             teardownGas: Gas.random(),
             totalGas: Gas.random(),
             publicGas: Gas.random(),

package/dest/tx/simulated_tx.d.ts

@@ -1,66 +1,190 @@
-import type { ZodFor } from '@aztec/foundation/schemas';
+import { type ZodFor } from '@aztec/foundation/schemas';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { z } from 'zod';
+import { type ContractArtifact } from '../abi/abi.js';
+import { type ContractInstanceWithAddress } from '../contract/interfaces/contract_instance.js';
 import type { GasUsed } from '../gas/gas_used.js';
-import { type PrivateKernelProverProfileResult } from '../kernel/private_kernel_prover_profile_result.js';
 import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
-import { ClientIvcProof } from '../proofs/client_ivc_proof.js';
 import { PrivateExecutionResult } from './private_execution_result.js';
+import { type SimulationStats } from './profiling.js';
 import { NestedProcessReturnValues, PublicSimulationOutput } from './public_simulation_output.js';
 import { Tx } from './tx.js';
+export type ContractOverrides = Record<string, {
+    instance: ContractInstanceWithAddress;
+    artifact: ContractArtifact;
+}>;
+export declare class SimulationOverrides {
+    contracts?: ContractOverrides | undefined;
+    constructor(contracts?: ContractOverrides | undefined);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        contracts: import("@aztec/foundation/schemas").ZodNullableOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            instance: z.ZodIntersection<z.ZodObject<{
+                version: z.ZodLiteral<1>;
+                salt: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+                currentContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
+                publicKeys: z.ZodEffects<z.ZodObject<{
+                    masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
+                    masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
+                    masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
+                    masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
+                }, "strip", z.ZodTypeAny, {
+                    masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
+                    masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
+                    masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
+                    masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
+                }, {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                }>, import("../keys/public_keys.js").PublicKeys, {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                }>;
+            }, "strip", z.ZodTypeAny, {
+                version: 1;
+                salt: import("@aztec/foundation/schemas").Fr;
+                deployer: import("../aztec-address/index.js").AztecAddress;
+                currentContractClassId: import("@aztec/foundation/schemas").Fr;
+                originalContractClassId: import("@aztec/foundation/schemas").Fr;
+                initializationHash: import("@aztec/foundation/schemas").Fr;
+                publicKeys: import("../keys/public_keys.js").PublicKeys;
+            }, {
+                version: 1;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                salt?: any;
+                deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
+            }>, z.ZodObject<{
+                address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            }, "strip", z.ZodTypeAny, {
+                address: import("../aztec-address/index.js").AztecAddress;
+            }, {
+                address?: any;
+            }>>;
+            artifact: ZodFor<ContractArtifact>;
+        }, "strip", z.ZodTypeAny, {
+            instance: {
+                version: 1;
+                salt: import("@aztec/foundation/schemas").Fr;
+                deployer: import("../aztec-address/index.js").AztecAddress;
+                currentContractClassId: import("@aztec/foundation/schemas").Fr;
+                originalContractClassId: import("@aztec/foundation/schemas").Fr;
+                initializationHash: import("@aztec/foundation/schemas").Fr;
+                publicKeys: import("../keys/public_keys.js").PublicKeys;
+            } & {
+                address: import("../aztec-address/index.js").AztecAddress;
+            };
+            artifact: ContractArtifact;
+        }, {
+            instance: {
+                version: 1;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                salt?: any;
+                deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
+            } & {
+                address?: any;
+            };
+            artifact?: any;
+        }>>>;
+    }, "strip", z.ZodTypeAny, {
+        contracts?: Record<string, {
+            instance: {
+                version: 1;
+                salt: import("@aztec/foundation/schemas").Fr;
+                deployer: import("../aztec-address/index.js").AztecAddress;
+                currentContractClassId: import("@aztec/foundation/schemas").Fr;
+                originalContractClassId: import("@aztec/foundation/schemas").Fr;
+                initializationHash: import("@aztec/foundation/schemas").Fr;
+                publicKeys: import("../keys/public_keys.js").PublicKeys;
+            } & {
+                address: import("../aztec-address/index.js").AztecAddress;
+            };
+            artifact: ContractArtifact;
+        }> | undefined;
+    }, {
+        contracts?: Record<string, {
+            instance: {
+                version: 1;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                salt?: any;
+                deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
+            } & {
+                address?: any;
+            };
+            artifact?: any;
+        }> | undefined;
+    }>, SimulationOverrides, {
+        contracts?: Record<string, {
+            instance: {
+                version: 1;
+                publicKeys: {
+                    masterNullifierPublicKey: string;
+                    masterIncomingViewingPublicKey: string;
+                    masterOutgoingViewingPublicKey: string;
+                    masterTaggingPublicKey: string;
+                };
+                salt?: any;
+                deployer?: any;
+                currentContractClassId?: any;
+                originalContractClassId?: any;
+                initializationHash?: any;
+            } & {
+                address?: any;
+            };
+            artifact?: any;
+        }> | undefined;
+    }>;
+}
 export declare class PrivateSimulationResult {
     privateExecutionResult: PrivateExecutionResult;
     publicInputs: PrivateKernelTailCircuitPublicInputs;
     constructor(privateExecutionResult: PrivateExecutionResult, publicInputs: PrivateKernelTailCircuitPublicInputs);
     getPrivateReturnValues(): NestedProcessReturnValues;
-    toSimulatedTx(): Tx;
+    toSimulatedTx(): Promise<Tx>;
 }
-export declare class TxSimulationResult extends PrivateSimulationResult {
+export declare class TxSimulationResult {
+    privateExecutionResult: PrivateExecutionResult;
+    publicInputs: PrivateKernelTailCircuitPublicInputs;
     publicOutput?: PublicSimulationOutput | undefined;
-    profileResult?: {
-        gateCounts: {
-            circuitName: string;
-            gateCount: number;
-        }[];
-    } | undefined;
-    constructor(privateExecutionResult: PrivateExecutionResult, publicInputs: PrivateKernelTailCircuitPublicInputs, publicOutput?: PublicSimulationOutput | undefined, profileResult?: {
-        gateCounts: {
-            circuitName: string;
-            gateCount: number;
-        }[];
-    } | undefined);
+    stats?: SimulationStats | undefined;
+    constructor(privateExecutionResult: PrivateExecutionResult, publicInputs: PrivateKernelTailCircuitPublicInputs, publicOutput?: PublicSimulationOutput | undefined, stats?: SimulationStats | undefined);
     get gasUsed(): GasUsed;
     static get schema(): ZodFor<TxSimulationResult>;
     static from(fields: Omit<FieldsOf<TxSimulationResult>, 'gasUsed'>): TxSimulationResult;
-    getPublicReturnValues(): NestedProcessReturnValues[];
-    static fromPrivateSimulationResultAndPublicOutput(privateSimulationResult: PrivateSimulationResult, publicOutput?: PublicSimulationOutput, profileResult?: PrivateKernelProverProfileResult): TxSimulationResult;
+    static fromPrivateSimulationResultAndPublicOutput(privateSimulationResult: PrivateSimulationResult, publicOutput?: PublicSimulationOutput, stats?: SimulationStats): TxSimulationResult;
     static random(): Promise<TxSimulationResult>;
-}
-export declare class TxProvingResult {
-    privateExecutionResult: PrivateExecutionResult;
-    publicInputs: PrivateKernelTailCircuitPublicInputs;
-    clientIvcProof: ClientIvcProof;
-    constructor(privateExecutionResult: PrivateExecutionResult, publicInputs: PrivateKernelTailCircuitPublicInputs, clientIvcProof: ClientIvcProof);
-    toTx(): Tx;
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        privateExecutionResult: ZodFor<PrivateExecutionResult>;
-        publicInputs: z.ZodType<PrivateKernelTailCircuitPublicInputs, any, string>;
-        clientIvcProof: z.ZodType<ClientIvcProof, any, string>;
-    }, "strip", z.ZodTypeAny, {
-        publicInputs: PrivateKernelTailCircuitPublicInputs;
-        clientIvcProof: ClientIvcProof;
-        privateExecutionResult: PrivateExecutionResult;
-    }, {
-        publicInputs: string;
-        clientIvcProof: string;
-        privateExecutionResult?: any;
-    }>, TxProvingResult, {
-        publicInputs: string;
-        clientIvcProof: string;
-        privateExecutionResult?: any;
-    }>;
-    static from(fields: FieldsOf<TxProvingResult>): TxProvingResult;
-    static random(): Promise<TxProvingResult>;
+    getPrivateReturnValues(): NestedProcessReturnValues;
+    toSimulatedTx(): Promise<Tx>;
+    getPublicReturnValues(): NestedProcessReturnValues[];
 }
 /**
  * Recursively accummulate the return values of a call result and its nested executions,

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

@@ -1 +1 @@
-{"version":3,"file":"simulated_tx.d.ts","sourceRoot":"","sources":["../../src/tx/simulated_tx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,KAAK,gCAAgC,EAEtC,MAAM,mDAAmD,CAAC;AAC3D,OAAO,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AAC9G,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAEL,sBAAsB,EAIvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAClG,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAE7B,qBAAa,uBAAuB;IAEzB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;gBADlD,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC;IAG3D,sBAAsB;IAItB,aAAa,IAAI,EAAE;CAcpB;AAED,qBAAa,kBAAmB,SAAQ,uBAAuB;IAIpD,YAAY,CAAC;IACb,aAAa,CAAC;;;;;;gBAHrB,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAC3C,YAAY,CAAC,oCAAwB,EACrC,aAAa,CAAC;;;;;iBAAkC;IAKzD,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAS9C;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,CAAC;IASjE,qBAAqB;IAIrB,MAAM,CAAC,0CAA0C,CAC/C,uBAAuB,EAAE,uBAAuB,EAChD,YAAY,CAAC,EAAE,sBAAsB,EACrC,aAAa,CAAC,EAAE,gCAAgC;WAUrC,MAAM;CAOpB;AAED,qBAAa,eAAe;IAEjB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAClD,cAAc,EAAE,cAAc;gBAF9B,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAClD,cAAc,EAAE,cAAc;IAGvC,IAAI,IAAI,EAAE;IAeV,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;WAIhC,MAAM;CAOpB;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,eAAe,EAAE,sBAAsB,GAAG,yBAAyB,CAWhH"}
+{"version":3,"file":"simulated_tx.d.ts","sourceRoot":"","sources":["../../src/tx/simulated_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAY,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,eAAe,CAAC;AAC9E,OAAO,EACL,KAAK,2BAA2B,EAEjC,MAAM,6CAA6C,CAAC;AAErD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,oCAAoC,EAAE,MAAM,wDAAwD,CAAC;AAE9G,OAAO,EAEL,sBAAsB,EAEvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,KAAK,eAAe,EAAyB,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAClG,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAO7B,MAAM,MAAM,iBAAiB,GAAG,MAAM,CACpC,MAAM,EACN;IAAE,QAAQ,EAAE,2BAA2B,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CACtE,CAAC;AAMF,qBAAa,mBAAmB;IACX,SAAS,CAAC,EAAE,iBAAiB;gBAA7B,SAAS,CAAC,EAAE,iBAAiB,YAAA;IAEhD,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;CACF;AAED,qBAAa,uBAAuB;IAEzB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;gBADlD,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC;IAG3D,sBAAsB;IAIhB,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC;CAUnC;AAED,qBAAa,kBAAkB;IAEpB,sBAAsB,EAAE,sBAAsB;IAC9C,YAAY,EAAE,oCAAoC;IAClD,YAAY,CAAC,EAAE,sBAAsB;IACrC,KAAK,CAAC,EAAE,eAAe;gBAHvB,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,oCAAoC,EAClD,YAAY,CAAC,EAAE,sBAAsB,YAAA,EACrC,KAAK,CAAC,EAAE,eAAe,YAAA;IAGhC,IAAI,OAAO,IAAI,OAAO,CASrB;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAS9C;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,CAAC;IASjE,MAAM,CAAC,0CAA0C,CAC/C,uBAAuB,EAAE,uBAAuB,EAChD,YAAY,CAAC,EAAE,sBAAsB,EACrC,KAAK,CAAC,EAAE,eAAe;WAUZ,MAAM;IAQnB,sBAAsB;IAItB,aAAa,IAAI,OAAO,CAAC,EAAE,CAAC;IAI5B,qBAAqB;CAGtB;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,eAAe,EAAE,sBAAsB,GAAG,yBAAyB,CAWhH"}