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

package/dest/avm/avm_circuit_public_inputs.d.ts

@@ -1,5 +1,5 @@
 import { MAX_ENQUEUED_CALLS_PER_TX } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { z } from 'zod';
@@ -35,745 +35,324 @@ export declare class AvmCircuitPublicInputs {
     transactionFee: Fr;
     reverted: boolean;
     constructor(globalVariables: GlobalVariables, protocolContracts: ProtocolContracts, startTreeSnapshots: TreeSnapshots, startGasUsed: Gas, gasSettings: GasSettings, effectiveGasFees: GasFees, feePayer: AztecAddress, proverId: Fr, publicCallRequestArrayLengths: PublicCallRequestArrayLengths, publicSetupCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, publicAppLogicCallRequests: Tuple<PublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_TX>, publicTeardownCallRequest: PublicCallRequest, previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData, previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData, endTreeSnapshots: TreeSnapshots, endGasUsed: Gas, accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths, accumulatedData: AvmAccumulatedData, transactionFee: Fr, reverted: boolean);
-    static get schema(): z.ZodEffects<z.ZodObject<{
-        globalVariables: z.ZodEffects<z.ZodObject<{
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        globalVariables: z.ZodPipe<z.ZodObject<{
             chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
             version: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
-            timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
+            blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodPipe<z.ZodBigInt, z.ZodTransform<number, bigint>>, z.ZodPipe<z.ZodString, z.ZodTransform<number, string>>]>, z.ZodTransform<import("@aztec/foundation/branded-types").BlockNumber, number>>;
+            slotNumber: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").SlotNumber>;
+            timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/eth-address").EthAddress>;
             feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            gasFees: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            }, "strip", z.ZodTypeAny, {
+            gasFees: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
                 feePerDaGas: bigint;
                 feePerL2Gas: bigint;
-            }, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>, GasFees, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>;
-        }, "strip", z.ZodTypeAny, {
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GlobalVariables, {
             chainId: Fr;
             version: Fr;
-            blockNumber: number;
-            slotNumber: Fr;
+            blockNumber: import("@aztec/foundation/branded-types").BlockNumber;
+            slotNumber: import("@aztec/foundation/schemas").SlotNumber;
             timestamp: bigint;
-            coinbase: import("@aztec/foundation/schemas").EthAddress;
+            coinbase: import("@aztec/foundation/eth-address").EthAddress;
             feeRecipient: AztecAddress;
             gasFees: GasFees;
-        }, {
-            blockNumber: string | number | bigint;
-            timestamp: string | number | bigint;
-            gasFees: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
-        }>, GlobalVariables, {
-            blockNumber: string | number | bigint;
-            timestamp: string | number | bigint;
-            gasFees: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
-        }>;
-        protocolContracts: z.ZodEffects<z.ZodObject<{
-            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        protocolContracts: z.ZodPipe<z.ZodObject<{
+            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>>;
+        }, z.core.$strip>, z.ZodTransform<ProtocolContracts, {
             derivedAddresses: AztecAddress[];
-        }, {
-            derivedAddresses: any[];
-        }>, ProtocolContracts, {
-            derivedAddresses: any[];
-        }>;
-        startTreeSnapshots: z.ZodEffects<z.ZodObject<{
-            l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+        }>>;
+        startTreeSnapshots: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            noteHashTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            nullifierTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            publicDataTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-        }, "strip", z.ZodTypeAny, {
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-        }, {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        }>, TreeSnapshots, {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        }>;
-        startGasUsed: z.ZodEffects<z.ZodObject<{
-            daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        startGasUsed: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
             daGas: number;
             l2Gas: number;
-        }, {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        }>, Gas, {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        }>;
-        gasSettings: z.ZodEffects<z.ZodObject<{
-            gasLimits: z.ZodEffects<z.ZodObject<{
-                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+        }>>;
+        gasSettings: z.ZodPipe<z.ZodObject<{
+            gasLimits: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
                 daGas: number;
                 l2Gas: number;
-            }, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            teardownGasLimits: z.ZodEffects<z.ZodObject<{
-                daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-                l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            teardownGasLimits: z.ZodPipe<z.ZodObject<{
+                daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+                l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<Gas, {
                 daGas: number;
                 l2Gas: number;
-            }, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>, Gas, {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            }>;
-            maxFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            maxFeesPerGas: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
                 feePerDaGas: bigint;
                 feePerL2Gas: bigint;
-            }, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>, GasFees, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>;
-            maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
-                feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-                feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            maxPriorityFeesPerGas: z.ZodPipe<z.ZodObject<{
+                feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<GasFees, {
                 feePerDaGas: bigint;
                 feePerL2Gas: bigint;
-            }, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>, GasFees, {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            }>;
-        }, "strip", z.ZodTypeAny, {
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<GasSettings, {
             gasLimits: Gas;
             teardownGasLimits: Gas;
             maxFeesPerGas: GasFees;
             maxPriorityFeesPerGas: GasFees;
-        }, {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-        }>, GasSettings, {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-        }>;
-        effectiveGasFees: z.ZodEffects<z.ZodObject<{
-            feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-            feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        effectiveGasFees: z.ZodPipe<z.ZodObject<{
+            feePerDaGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+            feePerL2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<GasFees, {
             feePerDaGas: bigint;
             feePerL2Gas: bigint;
-        }, {
-            feePerDaGas: string | number | bigint;
-            feePerL2Gas: string | number | bigint;
-        }>, GasFees, {
-            feePerDaGas: string | number | bigint;
-            feePerL2Gas: string | number | bigint;
-        }>;
+        }>>;
         feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-        proverId: z.ZodType<Fr, any, string>;
-        publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
+        proverId: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        publicCallRequestArrayLengths: z.ZodPipe<z.ZodObject<{
             setupCalls: z.ZodNumber;
             appLogicCalls: z.ZodNumber;
             teardownCall: z.ZodBoolean;
-        }, "strip", z.ZodTypeAny, {
-            setupCalls: number;
-            appLogicCalls: number;
-            teardownCall: boolean;
-        }, {
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequestArrayLengths, {
             setupCalls: number;
             appLogicCalls: number;
             teardownCall: boolean;
-        }>, PublicCallRequestArrayLengths, {
-            setupCalls: number;
-            appLogicCalls: number;
-            teardownCall: boolean;
-        }>;
-        publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        }>>;
+        publicSetupCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             isStaticCall: z.ZodBoolean;
-            calldataHash: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
-        }, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>, "many">;
-        publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        }>>>;
+        publicAppLogicCallRequests: z.ZodArray<z.ZodPipe<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             isStaticCall: z.ZodBoolean;
-            calldataHash: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
-        }, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>, "many">;
-        publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
+        }>>>;
+        publicTeardownCallRequest: z.ZodPipe<z.ZodObject<{
             msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             isStaticCall: z.ZodBoolean;
-            calldataHash: z.ZodType<Fr, any, string>;
-        }, "strip", z.ZodTypeAny, {
-            contractAddress: AztecAddress;
+            calldataHash: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+        }, z.core.$strip>, z.ZodTransform<PublicCallRequest, {
             msgSender: AztecAddress;
+            contractAddress: AztecAddress;
             isStaticCall: boolean;
             calldataHash: Fr;
-        }, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>, PublicCallRequest, {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }>;
-        previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
-            noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        previousNonRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedDataArrayLengths, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
-        }, {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        }>, PrivateToAvmAccumulatedDataArrayLengths, {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        }>;
-        previousRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
-            noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        previousRevertibleAccumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            nullifiers: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2ToL1Msgs: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedDataArrayLengths, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
-        }, {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        }>, PrivateToAvmAccumulatedDataArrayLengths, {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        }>;
-        previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
-            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                message: z.ZodEffects<z.ZodObject<{
-                    recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                    content: z.ZodType<Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    recipient: import("@aztec/foundation/schemas").EthAddress;
+        }>>;
+        previousNonRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                message: z.ZodPipe<z.ZodObject<{
+                    recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                    content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec/foundation/eth-address").EthAddress;
                     content: Fr;
-                }, {
-                    recipient: string;
-                    content: string;
-                }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    recipient: string;
-                    content: string;
-                }>;
+                }>>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            }, "strip", z.ZodTypeAny, {
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
-            }, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedData, {
             noteHashes: Fr[];
             nullifiers: Fr[];
             l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-        }, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        }>, PrivateToAvmAccumulatedData, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        }>;
-        previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
-            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                message: z.ZodEffects<z.ZodObject<{
-                    recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                    content: z.ZodType<Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    recipient: import("@aztec/foundation/schemas").EthAddress;
+        }>>;
+        previousRevertibleAccumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                message: z.ZodPipe<z.ZodObject<{
+                    recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                    content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec/foundation/eth-address").EthAddress;
                     content: Fr;
-                }, {
-                    recipient: string;
-                    content: string;
-                }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    recipient: string;
-                    content: string;
-                }>;
+                }>>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            }, "strip", z.ZodTypeAny, {
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
-            }, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<PrivateToAvmAccumulatedData, {
             noteHashes: Fr[];
             nullifiers: Fr[];
             l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-        }, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        }>, PrivateToAvmAccumulatedData, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        }>;
-        endTreeSnapshots: z.ZodEffects<z.ZodObject<{
-            l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+        }>>;
+        endTreeSnapshots: z.ZodPipe<z.ZodObject<{
+            l1ToL2MessageTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            noteHashTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            noteHashTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            nullifierTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            nullifierTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-            publicDataTree: z.ZodEffects<z.ZodObject<{
-                root: z.ZodType<Fr, any, string>;
-                nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            }, "strip", z.ZodTypeAny, {
+            }>>;
+            publicDataTree: z.ZodPipe<z.ZodObject<{
+                root: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                nextAvailableLeafIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            }, z.core.$strip>, z.ZodTransform<import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
                 root: Fr;
                 nextAvailableLeafIndex: number;
-            }, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            }>;
-        }, "strip", z.ZodTypeAny, {
+            }>>;
+        }, z.core.$strip>, z.ZodTransform<TreeSnapshots, {
+            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
             publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-            l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
-        }, {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        }>, TreeSnapshots, {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        }>;
-        endGasUsed: z.ZodEffects<z.ZodObject<{
-            daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-            l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
+        }>>;
+        endGasUsed: z.ZodPipe<z.ZodObject<{
+            daGas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+            l2Gas: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>;
+        }, z.core.$strip>, z.ZodTransform<Gas, {
             daGas: number;
             l2Gas: number;
-        }, {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        }>, Gas, {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        }>;
-        accumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
+        }>>;
+        accumulatedDataArrayLengths: z.ZodPipe<z.ZodObject<{
             noteHashes: z.ZodNumber;
             nullifiers: z.ZodNumber;
             l2ToL1Msgs: z.ZodNumber;
             publicDataWrites: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            noteHashes: number;
-            nullifiers: number;
-            l2ToL1Msgs: number;
-            publicDataWrites: number;
-        }, {
-            noteHashes: number;
-            nullifiers: number;
-            l2ToL1Msgs: number;
-            publicDataWrites: number;
-        }>, AvmAccumulatedDataArrayLengths, {
+        }, z.core.$strip>, z.ZodTransform<AvmAccumulatedDataArrayLengths, {
             noteHashes: number;
             nullifiers: number;
             l2ToL1Msgs: number;
             publicDataWrites: number;
-        }>;
-        accumulatedData: z.ZodEffects<z.ZodObject<{
-            noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-            l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                message: z.ZodEffects<z.ZodObject<{
-                    recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
-                    content: z.ZodType<Fr, any, string>;
-                }, "strip", z.ZodTypeAny, {
-                    recipient: import("@aztec/foundation/schemas").EthAddress;
+        }>>;
+        accumulatedData: z.ZodPipe<z.ZodObject<{
+            noteHashes: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            nullifiers: z.ZodArray<z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>>;
+            l2ToL1Msgs: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                message: z.ZodPipe<z.ZodObject<{
+                    recipient: z.ZodType<import("@aztec/foundation/eth-address").EthAddress, string, z.core.$ZodTypeInternals<import("@aztec/foundation/eth-address").EthAddress, string>>;
+                    content: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                    recipient: import("@aztec/foundation/eth-address").EthAddress;
                     content: Fr;
-                }, {
-                    recipient: string;
-                    content: string;
-                }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
-                    recipient: string;
-                    content: string;
-                }>;
+                }>>;
                 contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
-            }, "strip", z.ZodTypeAny, {
+            }, z.core.$strip>, z.ZodTransform<import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
                 message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
                 contractAddress: AztecAddress;
-            }, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }>, "many">;
+            }>>>;
             publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
-            publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
-                leafSlot: z.ZodType<Fr, any, string>;
-                value: z.ZodType<Fr, any, string>;
-            }, "strip", z.ZodTypeAny, {
-                value: Fr;
+            publicDataWrites: z.ZodArray<z.ZodPipe<z.ZodObject<{
+                leafSlot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+                value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
+            }, z.core.$strip>, z.ZodTransform<import("./public_data_write.js").PublicDataWrite, {
                 leafSlot: Fr;
-            }, {
-                value: string;
-                leafSlot: string;
-            }>, import("./public_data_write.js").PublicDataWrite, {
-                value: string;
-                leafSlot: string;
-            }>, "many">;
-        }, "strip", z.ZodTypeAny, {
+                value: Fr;
+            }>>>;
+        }, z.core.$strip>, z.ZodTransform<AvmAccumulatedData, {
             noteHashes: Fr[];
             nullifiers: Fr[];
             l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
-            publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
             publicLogs: import("../logs/public_log.js").FlatPublicLogs;
-        }, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-            publicDataWrites: {
-                value: string;
-                leafSlot: string;
-            }[];
-            publicLogs?: any;
-        }>, AvmAccumulatedData, {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-            publicDataWrites: {
-                value: string;
-                leafSlot: string;
-            }[];
-            publicLogs?: any;
-        }>;
-        transactionFee: z.ZodType<Fr, any, string>;
+            publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
+        }>>;
+        transactionFee: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
         reverted: z.ZodBoolean;
-    }, "strip", z.ZodTypeAny, {
+    }, z.core.$strip>, z.ZodTransform<AvmCircuitPublicInputs, {
         globalVariables: GlobalVariables;
-        gasSettings: GasSettings;
         protocolContracts: ProtocolContracts;
-        publicTeardownCallRequest: PublicCallRequest;
-        transactionFee: Fr;
-        feePayer: AztecAddress;
-        effectiveGasFees: GasFees;
         startTreeSnapshots: TreeSnapshots;
         startGasUsed: Gas;
+        gasSettings: GasSettings;
+        effectiveGasFees: GasFees;
+        feePayer: AztecAddress;
         proverId: Fr;
         publicCallRequestArrayLengths: PublicCallRequestArrayLengths;
         publicSetupCallRequests: PublicCallRequest[];
         publicAppLogicCallRequests: PublicCallRequest[];
+        publicTeardownCallRequest: PublicCallRequest;
         previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
         previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths;
         previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData;
@@ -782,344 +361,25 @@ export declare class AvmCircuitPublicInputs {
         endGasUsed: Gas;
         accumulatedDataArrayLengths: AvmAccumulatedDataArrayLengths;
         accumulatedData: AvmAccumulatedData;
+        transactionFee: Fr;
         reverted: boolean;
-    }, {
-        globalVariables: {
-            blockNumber: string | number | bigint;
-            timestamp: string | number | bigint;
-            gasFees: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
-        };
-        gasSettings: {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-        };
-        protocolContracts: {
-            derivedAddresses: any[];
-        };
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        };
-        transactionFee: string;
-        effectiveGasFees: {
-            feePerDaGas: string | number | bigint;
-            feePerL2Gas: string | number | bigint;
-        };
-        startTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        startGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
-        proverId: string;
-        publicCallRequestArrayLengths: {
-            setupCalls: number;
-            appLogicCalls: number;
-            teardownCall: boolean;
-        };
-        publicSetupCallRequests: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
-        publicAppLogicCallRequests: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
-        previousNonRevertibleAccumulatedDataArrayLengths: {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        };
-        previousRevertibleAccumulatedDataArrayLengths: {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        };
-        previousNonRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        };
-        previousRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        };
-        endTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        endGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
-        accumulatedDataArrayLengths: {
-            noteHashes: number;
-            nullifiers: number;
-            l2ToL1Msgs: number;
-            publicDataWrites: number;
-        };
-        accumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-            publicDataWrites: {
-                value: string;
-                leafSlot: string;
-            }[];
-            publicLogs?: any;
-        };
-        reverted: boolean;
-        feePayer?: any;
-    }>, AvmCircuitPublicInputs, {
-        globalVariables: {
-            blockNumber: string | number | bigint;
-            timestamp: string | number | bigint;
-            gasFees: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            chainId?: any;
-            version?: any;
-            slotNumber?: any;
-            coinbase?: any;
-            feeRecipient?: any;
-        };
-        gasSettings: {
-            gasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            teardownGasLimits: {
-                daGas: string | number | bigint;
-                l2Gas: string | number | bigint;
-            };
-            maxFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-            maxPriorityFeesPerGas: {
-                feePerDaGas: string | number | bigint;
-                feePerL2Gas: string | number | bigint;
-            };
-        };
-        protocolContracts: {
-            derivedAddresses: any[];
-        };
-        publicTeardownCallRequest: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        };
-        transactionFee: string;
-        effectiveGasFees: {
-            feePerDaGas: string | number | bigint;
-            feePerL2Gas: string | number | bigint;
-        };
-        startTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        startGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
-        proverId: string;
-        publicCallRequestArrayLengths: {
-            setupCalls: number;
-            appLogicCalls: number;
-            teardownCall: boolean;
-        };
-        publicSetupCallRequests: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
-        publicAppLogicCallRequests: {
-            isStaticCall: boolean;
-            calldataHash: string;
-            contractAddress?: any;
-            msgSender?: any;
-        }[];
-        previousNonRevertibleAccumulatedDataArrayLengths: {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        };
-        previousRevertibleAccumulatedDataArrayLengths: {
-            noteHashes: string | number | bigint;
-            nullifiers: string | number | bigint;
-            l2ToL1Msgs: string | number | bigint;
-        };
-        previousNonRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        };
-        previousRevertibleAccumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-        };
-        endTreeSnapshots: {
-            noteHashTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            nullifierTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            publicDataTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-            l1ToL2MessageTree: {
-                root: string;
-                nextAvailableLeafIndex: string | number | bigint;
-            };
-        };
-        endGasUsed: {
-            daGas: string | number | bigint;
-            l2Gas: string | number | bigint;
-        };
-        accumulatedDataArrayLengths: {
-            noteHashes: number;
-            nullifiers: number;
-            l2ToL1Msgs: number;
-            publicDataWrites: number;
-        };
-        accumulatedData: {
-            noteHashes: string[];
-            nullifiers: string[];
-            l2ToL1Msgs: {
-                message: {
-                    recipient: string;
-                    content: string;
-                };
-                contractAddress?: any;
-            }[];
-            publicDataWrites: {
-                value: string;
-                leafSlot: string;
-            }[];
-            publicLogs?: any;
-        };
-        reverted: boolean;
-        feePayer?: any;
-    }>;
+    }>>;
     static fromBuffer(buffer: Buffer | BufferReader): AvmCircuitPublicInputs;
     toBuffer(): Buffer<ArrayBufferLike>;
     static fromString(str: string): AvmCircuitPublicInputs;
     toString(): `0x${string}`;
     static fromFields(fields: Fr[] | FieldReader): AvmCircuitPublicInputs;
-    toFields(): (number | boolean | AztecAddress | Fr | Fr[])[];
+    toFields(): (number | boolean | Fr[] | AztecAddress | Fr)[];
     static empty(): AvmCircuitPublicInputs;
+    /**
+     * Creates an AvmCircuitPublicInputs instance from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing AvmCircuitPublicInputs fields
+     * @returns An AvmCircuitPublicInputs instance
+     */
+    static fromPlainObject(obj: any): AvmCircuitPublicInputs;
     serializeWithMessagePack(): Buffer;
     [inspect.custom](): string;
 }
-//# sourceMappingURL=avm_circuit_public_inputs.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2NpcmN1aXRfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9hdm1fY2lyY3VpdF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRTdELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxLQUFLLEtBQUssRUFBbUMsTUFBTSw2QkFBNkIsQ0FBQztBQUdySCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBQy9CLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzVELE9BQU8sRUFDTCwyQkFBMkIsRUFDM0IsdUNBQXVDLEVBQ3hDLE1BQU0sOENBQThDLENBQUM7QUFDdEQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLDZCQUE2QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDcEcsT0FBTyxFQUFFLGVBQWUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzVELE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUsvRixxQkFBYSxzQkFBc0I7SUFJeEIsZUFBZSxFQUFFLGVBQWU7SUFDaEMsaUJBQWlCLEVBQUUsaUJBQWlCO0lBQ3BDLGtCQUFrQixFQUFFLGFBQWE7SUFDakMsWUFBWSxFQUFFLEdBQUc7SUFDakIsV0FBVyxFQUFFLFdBQVc7SUFDeEIsZ0JBQWdCLEVBQUUsT0FBTztJQUN6QixRQUFRLEVBQUUsWUFBWTtJQUN0QixRQUFRLEVBQUUsRUFBRTtJQUNaLDZCQUE2QixFQUFFLDZCQUE2QjtJQUM1RCx1QkFBdUIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUNuRiwwQkFBMEIsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsT0FBTyx5QkFBeUIsQ0FBQztJQUN0Rix5QkFBeUIsRUFBRSxpQkFBaUI7SUFDNUMsZ0RBQWdELEVBQUUsdUNBQXVDO0lBQ3pGLDZDQUE2QyxFQUFFLHVDQUF1QztJQUN0RixvQ0FBb0MsRUFBRSwyQkFBMkI7SUFDakUsaUNBQWlDLEVBQUUsMkJBQTJCO0lBRzlELGdCQUFnQixFQUFFLGFBQWE7SUFDL0IsVUFBVSxFQUFFLEdBQUc7SUFDZiwyQkFBMkIsRUFBRSw4QkFBOEI7SUFDM0QsZUFBZSxFQUFFLGtCQUFrQjtJQUNuQyxjQUFjLEVBQUUsRUFBRTtJQUNsQixRQUFRLEVBQUUsT0FBTztJQTFCMUIsWUFHUyxlQUFlLEVBQUUsZUFBZSxFQUNoQyxpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsa0JBQWtCLEVBQUUsYUFBYSxFQUNqQyxZQUFZLEVBQUUsR0FBRyxFQUNqQixXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxPQUFPLEVBQ3pCLFFBQVEsRUFBRSxZQUFZLEVBQ3RCLFFBQVEsRUFBRSxFQUFFLEVBQ1osNkJBQTZCLEVBQUUsNkJBQTZCLEVBQzVELHVCQUF1QixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ25GLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLHlCQUF5QixDQUFDLEVBQ3RGLHlCQUF5QixFQUFFLGlCQUFpQixFQUM1QyxnREFBZ0QsRUFBRSx1Q0FBdUMsRUFDekYsNkNBQTZDLEVBQUUsdUNBQXVDLEVBQ3RGLG9DQUFvQyxFQUFFLDJCQUEyQixFQUNqRSxpQ0FBaUMsRUFBRSwyQkFBMkIsRUFHOUQsZ0JBQWdCLEVBQUUsYUFBYSxFQUMvQixVQUFVLEVBQUUsR0FBRyxFQUNmLDJCQUEyQixFQUFFLDhCQUE4QixFQUMzRCxlQUFlLEVBQUUsa0JBQWtCLEVBQ25DLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLFFBQVEsRUFBRSxPQUFPLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUE0RWhCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksMEJBMEI5QztJQUVELFFBQVEsNEJBeUJQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSwwQkFFNUI7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVywwQkEwQjNDO0lBRUQsUUFBUSxvREF5QlA7SUFFRCxNQUFNLENBQUMsS0FBSywyQkF5Qlg7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsc0JBQXNCLENBK0J2RDtJQUVNLHdCQUF3QixJQUFJLE1BQU0sQ0FFeEM7SUFFRCxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsV0FpQ2Y7Q0FDRiJ9