@aztec/stdlib 3.0.0-canary.a9708bd → 3.0.0-manual.20251030

package/dest/avm/avm.d.ts

@@ -10,7 +10,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
 import { MerkleTreeId } from '../trees/merkle_tree_id.js';
 import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
 import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
-import { GlobalVariables, PublicCallRequestWithCalldata, TreeSnapshots, type Tx } from '../tx/index.js';
+import { GlobalVariables, ProtocolContracts, PublicCallRequestWithCalldata, TreeSnapshots, type Tx } from '../tx/index.js';
 import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
 export declare class AvmContractClassHint {
     readonly classId: Fr;
@@ -115,38 +115,38 @@ export declare class AvmContractInstanceHint {
         }>;
     }, "strip", z.ZodTypeAny, {
         salt: Fr;
-        address: AztecAddress;
-        publicKeys: PublicKeys;
         deployer: AztecAddress;
         currentContractClassId: Fr;
         originalContractClassId: Fr;
         initializationHash: Fr;
+        publicKeys: PublicKeys;
+        address: AztecAddress;
     }, {
         salt: string;
+        currentContractClassId: string;
+        originalContractClassId: string;
+        initializationHash: string;
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
             masterOutgoingViewingPublicKey: string;
             masterTaggingPublicKey: string;
         };
-        currentContractClassId: string;
-        originalContractClassId: string;
-        initializationHash: string;
-        address?: any;
         deployer?: any;
+        address?: any;
     }>, AvmContractInstanceHint, {
         salt: string;
+        currentContractClassId: string;
+        originalContractClassId: string;
+        initializationHash: string;
         publicKeys: {
             masterNullifierPublicKey: string;
             masterIncomingViewingPublicKey: string;
             masterOutgoingViewingPublicKey: string;
             masterTaggingPublicKey: string;
         };
-        currentContractClassId: string;
-        originalContractClassId: string;
-        initializationHash: string;
-        address?: any;
         deployer?: any;
+        address?: any;
     }>;
 }
 export declare class AvmGetSiblingPathHint {
@@ -1747,7 +1747,7 @@ export declare class AvmTxHint {
         nullifiers: Fr[];
         l2ToL1Messages: ScopedL2ToL1Message[];
     }, setupEnqueuedCalls: PublicCallRequestWithCalldata[], appLogicEnqueuedCalls: PublicCallRequestWithCalldata[], teardownEnqueuedCall: PublicCallRequestWithCalldata | null, gasUsedByPrivate: Gas, feePayer: AztecAddress);
-    static fromTx(tx: Tx): AvmTxHint;
+    static fromTx(tx: Tx, gasFees: GasFees): AvmTxHint;
     static empty(): AvmTxHint;
     static get schema(): z.ZodEffects<z.ZodObject<{
         hash: z.ZodString;
@@ -2104,6 +2104,7 @@ export declare class AvmTxHint {
 export declare class AvmExecutionHints {
     readonly globalVariables: GlobalVariables;
     tx: AvmTxHint;
+    protocolContracts: ProtocolContracts;
     readonly contractInstances: AvmContractInstanceHint[];
     readonly contractClasses: AvmContractClassHint[];
     readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
@@ -2119,7 +2120,7 @@ export declare class AvmExecutionHints {
     readonly createCheckpointHints: AvmCreateCheckpointHint[];
     readonly commitCheckpointHints: AvmCommitCheckpointHint[];
     readonly revertCheckpointHints: AvmRevertCheckpointHint[];
-    constructor(globalVariables: GlobalVariables, tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
+    constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
     static empty(): AvmExecutionHints;
     static get schema(): z.ZodEffects<z.ZodObject<{
         globalVariables: z.ZodEffects<z.ZodObject<{
@@ -2528,6 +2529,15 @@ export declare class AvmExecutionHints {
             feePayer?: any;
             teardownEnqueuedCall?: any;
         }>;
+        protocolContracts: z.ZodEffects<z.ZodObject<{
+            derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            derivedAddresses: AztecAddress[];
+        }, {
+            derivedAddresses: any[];
+        }>, ProtocolContracts, {
+            derivedAddresses: any[];
+        }>;
         contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
             address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
             salt: z.ZodType<Fr, any, string>;
@@ -2558,38 +2568,38 @@ export declare class AvmExecutionHints {
             }>;
         }, "strip", z.ZodTypeAny, {
             salt: Fr;
-            address: AztecAddress;
-            publicKeys: PublicKeys;
             deployer: AztecAddress;
             currentContractClassId: Fr;
             originalContractClassId: Fr;
             initializationHash: Fr;
+            publicKeys: PublicKeys;
+            address: AztecAddress;
         }, {
             salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            address?: any;
             deployer?: any;
+            address?: any;
         }>, AvmContractInstanceHint, {
             salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            address?: any;
             deployer?: any;
+            address?: any;
         }>, "many">;
         contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
             classId: z.ZodType<Fr, any, string>;
@@ -4201,6 +4211,7 @@ export declare class AvmExecutionHints {
         }>, "many">;
     }, "strip", z.ZodTypeAny, {
         globalVariables: GlobalVariables;
+        protocolContracts: ProtocolContracts;
         tx: AvmTxHint;
         contractInstances: AvmContractInstanceHint[];
         contractClasses: AvmContractClassHint[];
@@ -4269,6 +4280,9 @@ export declare class AvmExecutionHints {
             coinbase?: any;
             feeRecipient?: any;
         };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
         tx: {
             hash: string;
             gasSettings: {
@@ -4326,17 +4340,17 @@ export declare class AvmExecutionHints {
         };
         contractInstances: {
             salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            address?: any;
             deployer?: any;
+            address?: any;
         }[];
         contractClasses: {
             classId: string;
@@ -4622,6 +4636,9 @@ export declare class AvmExecutionHints {
             coinbase?: any;
             feeRecipient?: any;
         };
+        protocolContracts: {
+            derivedAddresses: any[];
+        };
         tx: {
             hash: string;
             gasSettings: {
@@ -4679,17 +4696,17 @@ export declare class AvmExecutionHints {
         };
         contractInstances: {
             salt: string;
+            currentContractClassId: string;
+            originalContractClassId: string;
+            initializationHash: string;
             publicKeys: {
                 masterNullifierPublicKey: string;
                 masterIncomingViewingPublicKey: string;
                 masterOutgoingViewingPublicKey: string;
                 masterTaggingPublicKey: string;
             };
-            currentContractClassId: string;
-            originalContractClassId: string;
-            initializationHash: string;
-            address?: any;
             deployer?: any;
+            address?: any;
         }[];
         contractClasses: {
             classId: string;
@@ -5376,6 +5393,15 @@ export declare class AvmCircuitInputs {
                 feePayer?: any;
                 teardownEnqueuedCall?: any;
             }>;
+            protocolContracts: z.ZodEffects<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                derivedAddresses: AztecAddress[];
+            }, {
+                derivedAddresses: any[];
+            }>, ProtocolContracts, {
+                derivedAddresses: any[];
+            }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
                 salt: z.ZodType<Fr, any, string>;
@@ -5406,38 +5432,38 @@ export declare class AvmCircuitInputs {
                 }>;
             }, "strip", z.ZodTypeAny, {
                 salt: Fr;
-                address: AztecAddress;
-                publicKeys: PublicKeys;
                 deployer: AztecAddress;
                 currentContractClassId: Fr;
                 originalContractClassId: Fr;
                 initializationHash: Fr;
+                publicKeys: PublicKeys;
+                address: AztecAddress;
             }, {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }>, AvmContractInstanceHint, {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }>, "many">;
             contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 classId: z.ZodType<Fr, any, string>;
@@ -7049,6 +7075,7 @@ export declare class AvmCircuitInputs {
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
             globalVariables: GlobalVariables;
+            protocolContracts: ProtocolContracts;
             tx: AvmTxHint;
             contractInstances: AvmContractInstanceHint[];
             contractClasses: AvmContractClassHint[];
@@ -7117,6 +7144,9 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -7174,17 +7204,17 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }[];
             contractClasses: {
                 classId: string;
@@ -7470,6 +7500,9 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -7527,17 +7560,17 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }[];
             contractClasses: {
                 classId: string;
@@ -7866,6 +7899,15 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             }>;
+            protocolContracts: z.ZodEffects<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<AztecAddress>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                derivedAddresses: AztecAddress[];
+            }, {
+                derivedAddresses: any[];
+            }>, ProtocolContracts, {
+                derivedAddresses: any[];
+            }>;
             startTreeSnapshots: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
                     root: z.ZodType<Fr, any, string>;
@@ -8079,6 +8121,7 @@ export declare class AvmCircuitInputs {
                 feePerL2Gas: string | number | bigint;
             }>;
             feePayer: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
+            proverId: z.ZodType<Fr, any, string>;
             publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
                 setupCalls: z.ZodNumber;
                 appLogicCalls: z.ZodNumber;
@@ -8421,26 +8464,22 @@ export declare class AvmCircuitInputs {
                 noteHashes: z.ZodNumber;
                 nullifiers: z.ZodNumber;
                 l2ToL1Msgs: z.ZodNumber;
-                publicLogs: z.ZodNumber;
                 publicDataWrites: z.ZodNumber;
             }, "strip", z.ZodTypeAny, {
                 noteHashes: number;
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             }, {
                 noteHashes: number;
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             }>, import("./avm_accumulated_data.js").AvmAccumulatedDataArrayLengths, {
                 noteHashes: number;
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             }>;
             accumulatedData: z.ZodEffects<z.ZodObject<{
                 noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -8476,7 +8515,7 @@ export declare class AvmCircuitInputs {
                     };
                     contractAddress?: any;
                 }>, "many">;
-                publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").PublicLog>, "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>;
@@ -8495,7 +8534,7 @@ export declare class AvmCircuitInputs {
                 nullifiers: Fr[];
                 l2ToL1Msgs: ScopedL2ToL1Message[];
                 publicDataWrites: import("./public_data_write.js").PublicDataWrite[];
-                publicLogs: import("../logs/public_log.js").PublicLog[];
+                publicLogs: import("../logs/public_log.js").FlatPublicLogs;
             }, {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8510,7 +8549,7 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -8525,19 +8564,21 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             }>;
             transactionFee: z.ZodType<Fr, any, string>;
             reverted: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
             globalVariables: GlobalVariables;
             gasSettings: GasSettings;
+            protocolContracts: ProtocolContracts;
             publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
             transactionFee: Fr;
             feePayer: AztecAddress;
             effectiveGasFees: GasFees;
             startTreeSnapshots: TreeSnapshots;
             startGasUsed: Gas;
+            proverId: Fr;
             publicCallRequestArrayLengths: import("../kernel/public_call_request.js").PublicCallRequestArrayLengths;
             publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
             publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
@@ -8582,6 +8623,9 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8615,6 +8659,7 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -8691,7 +8736,6 @@ export declare class AvmCircuitInputs {
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -8707,7 +8751,7 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -8743,6 +8787,9 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8776,6 +8823,7 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -8852,7 +8900,6 @@ export declare class AvmCircuitInputs {
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -8868,7 +8915,7 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -8909,6 +8956,9 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -8942,6 +8992,7 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -9018,7 +9069,6 @@ export declare class AvmCircuitInputs {
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -9034,7 +9084,7 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -9053,6 +9103,9 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -9110,17 +9163,17 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }[];
             contractClasses: {
                 classId: string;
@@ -9426,6 +9479,9 @@ export declare class AvmCircuitInputs {
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -9459,6 +9515,7 @@ export declare class AvmCircuitInputs {
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -9535,7 +9592,6 @@ export declare class AvmCircuitInputs {
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -9551,7 +9607,7 @@ export declare class AvmCircuitInputs {
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -9570,6 +9626,9 @@ export declare class AvmCircuitInputs {
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -9627,17 +9686,17 @@ export declare class AvmCircuitInputs {
             };
             contractInstances: {
                 salt: string;
+                currentContractClassId: string;
+                originalContractClassId: string;
+                initializationHash: string;
                 publicKeys: {
                     masterNullifierPublicKey: string;
                     masterIncomingViewingPublicKey: string;
                     masterOutgoingViewingPublicKey: string;
                     masterTaggingPublicKey: string;
                 };
-                currentContractClassId: string;
-                originalContractClassId: string;
-                initializationHash: string;
-                address?: any;
                 deployer?: any;
+                address?: any;
             }[];
             contractClasses: {
                 classId: string;