@aztec/stdlib 2.1.0-rc.9 → 3.0.0-devnet.2

package/dest/avm/avm_circuit_public_inputs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"avm_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/avm/avm_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAmC,MAAM,6BAA6B,CAAC;AAGrH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EACL,2BAA2B,EAC3B,uCAAuC,EACxC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAK/F,qBAAa,sBAAsB;IAIxB,eAAe,EAAE,eAAe;IAChC,kBAAkB,EAAE,aAAa;IACjC,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,WAAW;IACxB,gBAAgB,EAAE,OAAO;IACzB,QAAQ,EAAE,YAAY;IACtB,6BAA6B,EAAE,6BAA6B;IAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACtF,yBAAyB,EAAE,iBAAiB;IAC5C,gDAAgD,EAAE,uCAAuC;IACzF,6CAA6C,EAAE,uCAAuC;IACtF,oCAAoC,EAAE,2BAA2B;IACjE,iCAAiC,EAAE,2BAA2B;IAG9D,gBAAgB,EAAE,aAAa;IAC/B,UAAU,EAAE,GAAG;IACf,2BAA2B,EAAE,8BAA8B;IAC3D,eAAe,EAAE,kBAAkB;IACnC,cAAc,EAAE,EAAE;IAClB,QAAQ,EAAE,OAAO;gBArBjB,eAAe,EAAE,eAAe,EAChC,kBAAkB,EAAE,aAAa,EACjC,YAAY,EAAE,GAAG,EACjB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,OAAO,EACzB,QAAQ,EAAE,YAAY,EACtB,6BAA6B,EAAE,6BAA6B,EAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACtF,yBAAyB,EAAE,iBAAiB,EAC5C,gDAAgD,EAAE,uCAAuC,EACzF,6CAA6C,EAAE,uCAAuC,EACtF,oCAAoC,EAAE,2BAA2B,EACjE,iCAAiC,EAAE,2BAA2B,EAG9D,gBAAgB,EAAE,aAAa,EAC/B,UAAU,EAAE,GAAG,EACf,2BAA2B,EAAE,8BAA8B,EAC3D,eAAe,EAAE,kBAAkB,EACnC,cAAc,EAAE,EAAE,EAClB,QAAQ,EAAE,OAAO;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAsEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IA0B/C,QAAQ;IAyBR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IA0B5C,QAAQ;IAyBR,MAAM,CAAC,KAAK;IAyBL,wBAAwB,IAAI,MAAM;IAIzC,CAAC,OAAO,CAAC,MAAM,CAAC;CAgCjB"}
+{"version":3,"file":"avm_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/avm/avm_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAmC,MAAM,6BAA6B,CAAC;AAGrH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EACL,2BAA2B,EAC3B,uCAAuC,EACxC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAK/F,qBAAa,sBAAsB;IAIxB,eAAe,EAAE,eAAe;IAChC,iBAAiB,EAAE,iBAAiB;IACpC,kBAAkB,EAAE,aAAa;IACjC,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,WAAW;IACxB,gBAAgB,EAAE,OAAO;IACzB,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,EAAE;IACZ,6BAA6B,EAAE,6BAA6B;IAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC;IACtF,yBAAyB,EAAE,iBAAiB;IAC5C,gDAAgD,EAAE,uCAAuC;IACzF,6CAA6C,EAAE,uCAAuC;IACtF,oCAAoC,EAAE,2BAA2B;IACjE,iCAAiC,EAAE,2BAA2B;IAG9D,gBAAgB,EAAE,aAAa;IAC/B,UAAU,EAAE,GAAG;IACf,2BAA2B,EAAE,8BAA8B;IAC3D,eAAe,EAAE,kBAAkB;IACnC,cAAc,EAAE,EAAE;IAClB,QAAQ,EAAE,OAAO;gBAvBjB,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,kBAAkB,EAAE,aAAa,EACjC,YAAY,EAAE,GAAG,EACjB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,OAAO,EACzB,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,EAAE,EACZ,6BAA6B,EAAE,6BAA6B,EAC5D,uBAAuB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACnF,0BAA0B,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,yBAAyB,CAAC,EACtF,yBAAyB,EAAE,iBAAiB,EAC5C,gDAAgD,EAAE,uCAAuC,EACzF,6CAA6C,EAAE,uCAAuC,EACtF,oCAAoC,EAAE,2BAA2B,EACjE,iCAAiC,EAAE,2BAA2B,EAG9D,gBAAgB,EAAE,aAAa,EAC/B,UAAU,EAAE,GAAG,EACf,2BAA2B,EAAE,8BAA8B,EAC3D,eAAe,EAAE,kBAAkB,EACnC,cAAc,EAAE,EAAE,EAClB,QAAQ,EAAE,OAAO;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4EhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IA4B/C,QAAQ;IA2BR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IA4B5C,QAAQ;IA2BR,MAAM,CAAC,KAAK;IA2BL,wBAAwB,IAAI,MAAM;IAIzC,CAAC,OAAO,CAAC,MAAM,CAAC;CAkCjB"}

package/dest/avm/avm_circuit_public_inputs.js

@@ -11,6 +11,7 @@ import { Gas, GasFees, GasSettings } from '../gas/index.js';
 import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths } from '../kernel/private_to_avm_accumulated_data.js';
 import { PublicCallRequest, PublicCallRequestArrayLengths } from '../kernel/public_call_request.js';
 import { GlobalVariables } from '../tx/global_variables.js';
+import { ProtocolContracts } from '../tx/protocol_contracts.js';
 import { TreeSnapshots } from '../tx/tree_snapshots.js';
 import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths } from './avm_accumulated_data.js';
 import { serializeWithMessagePack } from './message_pack.js';
@@ -18,11 +19,13 @@ import { serializeWithMessagePack } from './message_pack.js';
 // At some point it might be worth writing Zod schemas for all dependent types and get rid of that.
 export class AvmCircuitPublicInputs {
     globalVariables;
+    protocolContracts;
     startTreeSnapshots;
     startGasUsed;
     gasSettings;
     effectiveGasFees;
     feePayer;
+    proverId;
     publicCallRequestArrayLengths;
     publicSetupCallRequests;
     publicAppLogicCallRequests;
@@ -39,15 +42,17 @@ export class AvmCircuitPublicInputs {
     reverted;
     constructor(///////////////////////////////////
     // Inputs.
-    globalVariables, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, ///////////////////////////////////
+    globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, ///////////////////////////////////
     // Outputs.
     endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted){
         this.globalVariables = globalVariables;
+        this.protocolContracts = protocolContracts;
         this.startTreeSnapshots = startTreeSnapshots;
         this.startGasUsed = startGasUsed;
         this.gasSettings = gasSettings;
         this.effectiveGasFees = effectiveGasFees;
         this.feePayer = feePayer;
+        this.proverId = proverId;
         this.publicCallRequestArrayLengths = publicCallRequestArrayLengths;
         this.publicSetupCallRequests = publicSetupCallRequests;
         this.publicAppLogicCallRequests = publicAppLogicCallRequests;
@@ -66,11 +71,13 @@ export class AvmCircuitPublicInputs {
     static get schema() {
         return z.object({
             globalVariables: GlobalVariables.schema,
+            protocolContracts: ProtocolContracts.schema,
             startTreeSnapshots: TreeSnapshots.schema,
             startGasUsed: Gas.schema,
             gasSettings: GasSettings.schema,
             effectiveGasFees: GasFees.schema,
             feePayer: AztecAddress.schema,
+            proverId: Fr.schema,
             publicCallRequestArrayLengths: PublicCallRequestArrayLengths.schema,
             publicSetupCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
             publicAppLogicCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
@@ -85,14 +92,14 @@ export class AvmCircuitPublicInputs {
             accumulatedData: AvmAccumulatedData.schema,
             transactionFee: schemas.Fr,
             reverted: z.boolean()
-        }).transform(({ globalVariables, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted })=>new AvmCircuitPublicInputs(globalVariables, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, publicCallRequestArrayLengths, assertLength(publicSetupCallRequests, MAX_ENQUEUED_CALLS_PER_TX), assertLength(publicAppLogicCallRequests, MAX_ENQUEUED_CALLS_PER_TX), publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted));
+        }).transform(({ globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted })=>new AvmCircuitPublicInputs(globalVariables, protocolContracts, startTreeSnapshots, startGasUsed, gasSettings, effectiveGasFees, feePayer, proverId, publicCallRequestArrayLengths, assertLength(publicSetupCallRequests, MAX_ENQUEUED_CALLS_PER_TX), assertLength(publicAppLogicCallRequests, MAX_ENQUEUED_CALLS_PER_TX), publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedDataArrayLengths, accumulatedData, transactionFee, reverted));
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new AvmCircuitPublicInputs(reader.readObject(GlobalVariables), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(GasSettings), reader.readObject(GasFees), reader.readObject(AztecAddress), reader.readObject(PublicCallRequestArrayLengths), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readObject(PublicCallRequest), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(AvmAccumulatedDataArrayLengths), reader.readObject(AvmAccumulatedData), reader.readObject(Fr), reader.readBoolean());
+        return new AvmCircuitPublicInputs(reader.readObject(GlobalVariables), reader.readObject(ProtocolContracts), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(GasSettings), reader.readObject(GasFees), reader.readObject(AztecAddress), reader.readObject(Fr), reader.readObject(PublicCallRequestArrayLengths), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readObject(PublicCallRequest), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedDataArrayLengths), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(PrivateToAvmAccumulatedData), reader.readObject(TreeSnapshots), reader.readObject(Gas), reader.readObject(AvmAccumulatedDataArrayLengths), reader.readObject(AvmAccumulatedData), reader.readObject(Fr), reader.readBoolean());
     }
     toBuffer() {
-        return serializeToBuffer(this.globalVariables, this.startTreeSnapshots, this.startGasUsed, this.gasSettings, this.effectiveGasFees, this.feePayer, this.publicCallRequestArrayLengths, this.publicSetupCallRequests, this.publicAppLogicCallRequests, this.publicTeardownCallRequest, this.previousNonRevertibleAccumulatedDataArrayLengths, this.previousRevertibleAccumulatedDataArrayLengths, this.previousNonRevertibleAccumulatedData, this.previousRevertibleAccumulatedData, this.endTreeSnapshots, this.endGasUsed, this.accumulatedDataArrayLengths, this.accumulatedData, this.transactionFee, this.reverted);
+        return serializeToBuffer(this.globalVariables, this.protocolContracts, this.startTreeSnapshots, this.startGasUsed, this.gasSettings, this.effectiveGasFees, this.feePayer, this.proverId, this.publicCallRequestArrayLengths, this.publicSetupCallRequests, this.publicAppLogicCallRequests, this.publicTeardownCallRequest, this.previousNonRevertibleAccumulatedDataArrayLengths, this.previousRevertibleAccumulatedDataArrayLengths, this.previousNonRevertibleAccumulatedData, this.previousRevertibleAccumulatedData, this.endTreeSnapshots, this.endGasUsed, this.accumulatedDataArrayLengths, this.accumulatedData, this.transactionFee, this.reverted);
     }
     static fromString(str) {
         return AvmCircuitPublicInputs.fromBuffer(hexToBuffer(str));
@@ -102,16 +109,18 @@ export class AvmCircuitPublicInputs {
     }
     static fromFields(fields) {
         const reader = FieldReader.asReader(fields);
-        return new AvmCircuitPublicInputs(GlobalVariables.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), GasSettings.fromFields(reader), GasFees.fromFields(reader), AztecAddress.fromFields(reader), PublicCallRequestArrayLengths.fromFields(reader), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), PublicCallRequest.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), AvmAccumulatedDataArrayLengths.fromFields(reader), AvmAccumulatedData.fromFields(reader), reader.readField(), reader.readBoolean());
+        return new AvmCircuitPublicInputs(GlobalVariables.fromFields(reader), ProtocolContracts.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), GasSettings.fromFields(reader), GasFees.fromFields(reader), AztecAddress.fromFields(reader), reader.readField(), PublicCallRequestArrayLengths.fromFields(reader), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest), PublicCallRequest.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedDataArrayLengths.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), PrivateToAvmAccumulatedData.fromFields(reader), TreeSnapshots.fromFields(reader), Gas.fromFields(reader), AvmAccumulatedDataArrayLengths.fromFields(reader), AvmAccumulatedData.fromFields(reader), reader.readField(), reader.readBoolean());
     }
     toFields() {
         return [
             ...this.globalVariables.toFields(),
+            ...this.protocolContracts.toFields(),
             ...this.startTreeSnapshots.toFields(),
             ...this.startGasUsed.toFields(),
             ...this.gasSettings.toFields(),
             ...this.effectiveGasFees.toFields(),
             this.feePayer,
+            this.proverId,
             ...this.publicCallRequestArrayLengths.toFields(),
             ...this.publicSetupCallRequests.map((request)=>request.toFields()),
             ...this.publicAppLogicCallRequests.map((request)=>request.toFields()),
@@ -129,7 +138,7 @@ export class AvmCircuitPublicInputs {
         ];
     }
     static empty() {
-        return new AvmCircuitPublicInputs(GlobalVariables.empty(), TreeSnapshots.empty(), Gas.empty(), GasSettings.empty(), GasFees.empty(), AztecAddress.zero(), PublicCallRequestArrayLengths.empty(), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), PublicCallRequest.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedData.empty(), PrivateToAvmAccumulatedData.empty(), TreeSnapshots.empty(), Gas.empty(), AvmAccumulatedDataArrayLengths.empty(), AvmAccumulatedData.empty(), Fr.zero(), false);
+        return new AvmCircuitPublicInputs(GlobalVariables.empty(), ProtocolContracts.empty(), TreeSnapshots.empty(), Gas.empty(), GasSettings.empty(), GasFees.empty(), AztecAddress.zero(), Fr.zero(), PublicCallRequestArrayLengths.empty(), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest.empty), PublicCallRequest.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedDataArrayLengths.empty(), PrivateToAvmAccumulatedData.empty(), PrivateToAvmAccumulatedData.empty(), TreeSnapshots.empty(), Gas.empty(), AvmAccumulatedDataArrayLengths.empty(), AvmAccumulatedData.empty(), Fr.zero(), false);
     }
     serializeWithMessagePack() {
         return serializeWithMessagePack(this);
@@ -137,11 +146,13 @@ export class AvmCircuitPublicInputs {
     [inspect.custom]() {
         return `AvmCircuitPublicInputs {
       globalVariables: ${inspect(this.globalVariables)},
+      protocolContracts: ${inspect(this.protocolContracts)},
       startTreeSnapshots: ${inspect(this.startTreeSnapshots)},
       startGasUsed: ${inspect(this.startGasUsed)},
       gasSettings: ${inspect(this.gasSettings)},
       effectiveGasFees: ${inspect(this.effectiveGasFees)},
       feePayer: ${inspect(this.feePayer)},
+      proverId: ${inspect(this.proverId)},
       publicCallRequestArrayLengths: ${inspect(this.publicCallRequestArrayLengths)},
       publicSetupCallRequests: [${this.publicSetupCallRequests.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}]},
       publicAppLogicCallRequests: [${this.publicAppLogicCallRequests.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}]},

package/dest/avm/avm_proving_request.d.ts

@@ -412,6 +412,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 feePayer?: any;
                 teardownEnqueuedCall?: any;
             }>;
+            protocolContracts: z.ZodEffects<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }, {
+                derivedAddresses: any[];
+            }>, import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: any[];
+            }>;
             contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
                 address: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
                 salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -442,38 +451,38 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 }>;
             }, "strip", z.ZodTypeAny, {
                 salt: import("@aztec/foundation/schemas").Fr;
-                address: import("../aztec-address/index.js").AztecAddress;
-                publicKeys: import("../keys/public_keys.js").PublicKeys;
                 deployer: import("../aztec-address/index.js").AztecAddress;
                 currentContractClassId: import("@aztec/foundation/schemas").Fr;
                 originalContractClassId: import("@aztec/foundation/schemas").Fr;
                 initializationHash: import("@aztec/foundation/schemas").Fr;
+                publicKeys: import("../keys/public_keys.js").PublicKeys;
+                address: import("../aztec-address/index.js").AztecAddress;
             }, {
                 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;
             }>, import("./avm.js").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<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -2093,6 +2102,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             }>, "many">;
         }, "strip", z.ZodTypeAny, {
             globalVariables: import("../tx/global_variables.js").GlobalVariables;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
             tx: import("./avm.js").AvmTxHint;
             contractInstances: import("./avm.js").AvmContractInstanceHint[];
             contractClasses: import("./avm.js").AvmContractClassHint[];
@@ -2169,6 +2179,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -2226,17 +2239,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             };
             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;
@@ -2522,6 +2535,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -2579,17 +2595,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             };
             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;
@@ -2918,6 +2934,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             }>;
+            protocolContracts: z.ZodEffects<z.ZodObject<{
+                derivedAddresses: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                derivedAddresses: import("../aztec-address/index.js").AztecAddress[];
+            }, {
+                derivedAddresses: any[];
+            }>, import("../tx/protocol_contracts.js").ProtocolContracts, {
+                derivedAddresses: any[];
+            }>;
             startTreeSnapshots: z.ZodEffects<z.ZodObject<{
                 l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
                     root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -3131,6 +3156,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 feePerL2Gas: string | number | bigint;
             }>;
             feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+            proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
             publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
                 setupCalls: z.ZodNumber;
                 appLogicCalls: z.ZodNumber;
@@ -3473,26 +3499,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 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<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -3528,7 +3550,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     };
                     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<import("@aztec/foundation/schemas").Fr, any, string>;
                     value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -3547,7 +3569,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: import("@aztec/foundation/schemas").Fr[];
                 l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").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[];
@@ -3562,7 +3584,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             }>, import("./avm_accumulated_data.js").AvmAccumulatedData, {
                 noteHashes: string[];
                 nullifiers: string[];
@@ -3577,19 +3599,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             }>;
             transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
             reverted: z.ZodBoolean;
         }, "strip", z.ZodTypeAny, {
             globalVariables: import("../tx/global_variables.js").GlobalVariables;
             gasSettings: import("../gas/gas_settings.js").GasSettings;
+            protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
             publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
             transactionFee: import("@aztec/foundation/schemas").Fr;
             feePayer: import("../aztec-address/index.js").AztecAddress;
             effectiveGasFees: import("../gas/gas_fees.js").GasFees;
             startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
             startGasUsed: import("../gas/gas.js").Gas;
+            proverId: import("@aztec/foundation/schemas").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[];
@@ -3634,6 +3658,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3667,6 +3694,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -3743,7 +3771,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -3759,7 +3786,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -3795,6 +3822,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3828,6 +3858,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -3904,7 +3935,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -3920,7 +3950,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -3961,6 +3991,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -3994,6 +4027,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -4070,7 +4104,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -4086,7 +4119,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -4105,6 +4138,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -4162,17 +4198,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             };
             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;
@@ -4478,6 +4514,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -4511,6 +4550,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -4587,7 +4627,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -4603,7 +4642,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -4622,6 +4661,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -4679,17 +4721,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             };
             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;
@@ -5001,6 +5043,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     feePerL2Gas: string | number | bigint;
                 };
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             publicTeardownCallRequest: {
                 isStaticCall: boolean;
                 calldataHash: string;
@@ -5034,6 +5079,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 daGas: string | number | bigint;
                 l2Gas: string | number | bigint;
             };
+            proverId: string;
             publicCallRequestArrayLengths: {
                 setupCalls: number;
                 appLogicCalls: number;
@@ -5110,7 +5156,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 nullifiers: number;
                 l2ToL1Msgs: number;
                 publicDataWrites: number;
-                publicLogs: number;
             };
             accumulatedData: {
                 noteHashes: string[];
@@ -5126,7 +5171,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                     value: string;
                     leafSlot: string;
                 }[];
-                publicLogs: any[];
+                publicLogs?: any;
             };
             reverted: boolean;
             feePayer?: any;
@@ -5145,6 +5190,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 coinbase?: any;
                 feeRecipient?: any;
             };
+            protocolContracts: {
+                derivedAddresses: any[];
+            };
             tx: {
                 hash: string;
                 gasSettings: {
@@ -5202,17 +5250,17 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
             };
             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;