@aztec/stdlib 0.86.0 → 0.87.0

package/dest/tx/tx_effect.js

@@ -1,4 +1,4 @@
-import { CONTRACT_CLASS_LOGS_PREFIX, CONTRACT_CLASS_LOG_SIZE_IN_FIELDS, L2_L1_MSGS_PREFIX, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, NOTES_PREFIX, NULLIFIERS_PREFIX, PRIVATE_LOGS_PREFIX, PRIVATE_LOG_SIZE_IN_FIELDS, PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, PUBLIC_LOGS_PREFIX, PUBLIC_LOG_SIZE_IN_FIELDS, REVERT_CODE_PREFIX, TX_FEE_PREFIX } from '@aztec/constants';
+import { CONTRACT_CLASS_LOGS_PREFIX, L2_L1_MSGS_PREFIX, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, NOTES_PREFIX, NULLIFIERS_PREFIX, PRIVATE_LOGS_PREFIX, PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, PUBLIC_LOGS_PREFIX, REVERT_CODE_PREFIX, TX_FEE_PREFIX } from '@aztec/constants';
 import { makeTuple, makeTupleAsync } from '@aztec/foundation/array';
 import { toBufferBE } from '@aztec/foundation/bigint-buffer';
 import { padArrayEnd } from '@aztec/foundation/collection';
@@ -161,7 +161,7 @@ export class TxEffect {
         return thisLayer[0];
     }
     static async random(numPublicCallsPerTx = 3, numPublicLogsPerCall = 1) {
-        return new TxEffect(RevertCode.random(), TxHash.random(), new Fr(Math.floor(Math.random() * 100_000)), makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.random), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.random), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, Fr.random), makeTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, ()=>new PublicDataWrite(Fr.random(), Fr.random())), makeTuple(MAX_PRIVATE_LOGS_PER_TX, ()=>new PrivateLog(makeTuple(PRIVATE_LOG_SIZE_IN_FIELDS, Fr.random))), await makeTupleAsync(numPublicCallsPerTx * numPublicLogsPerCall, async ()=>await PublicLog.random()), await makeTupleAsync(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLog.random));
+        return new TxEffect(RevertCode.random(), TxHash.random(), new Fr(Math.floor(Math.random() * 100_000)), makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.random), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.random), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, Fr.random), makeTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite.random), makeTuple(MAX_PRIVATE_LOGS_PER_TX, ()=>PrivateLog.random()), await makeTupleAsync(numPublicCallsPerTx * numPublicLogsPerCall, async ()=>await PublicLog.random()), await makeTupleAsync(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLog.random));
     }
     static empty() {
         return new TxEffect(RevertCode.OK, TxHash.zero(), Fr.ZERO, [], [], [], [], [], [], []);
@@ -266,39 +266,20 @@ export class TxEffect {
             flattened.push(...this.l2ToL1Msgs);
         }
         if (this.publicDataWrites.length) {
-            flattened.push(this.toPrefix(PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, this.publicDataWrites.length * 2));
-            flattened.push(...this.publicDataWrites.map((w)=>[
-                    w.leafSlot,
-                    w.value
-                ]).flat());
+            flattened.push(this.toPrefix(PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, this.publicDataWrites.length));
+            flattened.push(...this.publicDataWrites.flatMap((w)=>w.toBlobFields()));
         }
         if (this.privateLogs.length) {
-            const totalLogLen = this.privateLogs.reduce(// +1 for length prefix
-            (total, log)=>total + (log.getEmittedLength() == 0 ? 0 : log.getEmittedLength() + 1), 0);
-            flattened.push(this.toPrefix(PRIVATE_LOGS_PREFIX, totalLogLen));
-            flattened.push(...this.privateLogs.flatMap((l)=>[
-                    new Fr(l.getEmittedLength()),
-                    ...l.getEmittedFields()
-                ]));
+            flattened.push(this.toPrefix(PRIVATE_LOGS_PREFIX, this.privateLogs.length));
+            flattened.push(...this.privateLogs.flatMap((l)=>l.toBlobFields()));
         }
         if (this.publicLogs.length) {
-            const totalLogLen = this.publicLogs.reduce(// +1 for length prefix
-            (total, log)=>total + (log.getEmittedLength() == 0 ? 0 : log.getEmittedLength() + 1), 0);
-            flattened.push(this.toPrefix(PUBLIC_LOGS_PREFIX, totalLogLen));
-            flattened.push(...this.publicLogs.flatMap((l)=>[
-                    new Fr(l.getEmittedLength()),
-                    ...l.getEmittedFields()
-                ]));
+            flattened.push(this.toPrefix(PUBLIC_LOGS_PREFIX, this.publicLogs.length));
+            flattened.push(...this.publicLogs.flatMap((l)=>l.toBlobFields()));
         }
         if (this.contractClassLogs.length) {
-            const totalLogLen = this.contractClassLogs.reduce(// +2 for length prefix and contract address
-            (total, log)=>total + (log.getEmittedLength() == 0 ? 0 : log.getEmittedLength() + 2), 0);
-            flattened.push(this.toPrefix(CONTRACT_CLASS_LOGS_PREFIX, totalLogLen));
-            flattened.push(...this.contractClassLogs.flatMap((l)=>[
-                    new Fr(l.getEmittedLength()),
-                    l.contractAddress.toField(),
-                    ...l.getEmittedFields()
-                ]));
+            flattened.push(this.toPrefix(CONTRACT_CLASS_LOGS_PREFIX, this.contractClassLogs.length));
+            flattened.push(...this.contractClassLogs.flatMap((l)=>l.toBlobFields()));
         }
         // The first value appended to each list of fields representing a tx effect is:
         // TX_START_PREFIX | 0 | txlen[0] txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revert_code
@@ -316,15 +297,16 @@ export class TxEffect {
             }
         };
         const effect = this.empty();
-        if (!(fields instanceof FieldReader) && !fields.length) {
+        const reader = FieldReader.asReader(fields);
+        const totalFields = reader.remainingFields();
+        if (!totalFields) {
             return effect;
         }
-        const reader = FieldReader.asReader(fields);
         const firstField = reader.readField();
         if (!this.isFirstField(firstField)) {
             throw new Error('Invalid fields given to TxEffect.fromBlobFields(): First field invalid.');
         }
-        const { length: _, revertCode } = this.decodeFirstField(firstField);
+        const { length: fieldsToProcess, revertCode } = this.decodeFirstField(firstField);
         effect.revertCode = RevertCode.fromField(new Fr(revertCode));
         effect.txHash = new TxHash(reader.readField());
         // TODO: how long should tx fee be? For now, not using fromPrefix()
@@ -335,7 +317,8 @@ export class TxEffect {
             Buffer.alloc(3),
             prefixedFee.toBuffer().subarray(3)
         ]));
-        while(!reader.isFinished()){
+        let fieldsProcessed = totalFields - reader.remainingFields();
+        while(fieldsProcessed < fieldsToProcess){
             const { type, length } = this.fromPrefix(reader.readField());
             switch(type){
                 case NOTES_PREFIX:
@@ -353,53 +336,40 @@ export class TxEffect {
                 case PUBLIC_DATA_UPDATE_REQUESTS_PREFIX:
                     {
                         ensureEmpty(effect.publicDataWrites);
-                        const publicDataPairs = reader.readFieldArray(length);
-                        for(let i = 0; i < length; i += 2){
-                            effect.publicDataWrites.push(new PublicDataWrite(publicDataPairs[i], publicDataPairs[i + 1]));
-                        }
+                        effect.publicDataWrites = Array.from({
+                            length
+                        }, ()=>PublicDataWrite.fromBlobFields(reader));
                         break;
                     }
                 case PRIVATE_LOGS_PREFIX:
                     {
                         ensureEmpty(effect.privateLogs);
-                        const flatPrivateLogs = reader.readFieldArray(length);
-                        let i = 0;
-                        while(i < length){
-                            const logLen = flatPrivateLogs[i++].toNumber();
-                            const logFields = flatPrivateLogs.slice(i, i += logLen);
-                            effect.privateLogs.push(PrivateLog.fromFields(logFields.concat(new Array(PRIVATE_LOG_SIZE_IN_FIELDS - logLen).fill(Fr.ZERO))));
-                        }
+                        effect.privateLogs = Array.from({
+                            length
+                        }, ()=>PrivateLog.fromBlobFields(reader));
                         break;
                     }
                 case PUBLIC_LOGS_PREFIX:
                     {
                         ensureEmpty(effect.publicLogs);
-                        const flatPublicLogs = reader.readFieldArray(length);
-                        let i = 0;
-                        while(i < length){
-                            const logLen = flatPublicLogs[i++].toNumber();
-                            const logFields = flatPublicLogs.slice(i, i += logLen);
-                            effect.publicLogs.push(PublicLog.fromFields(logFields.concat(new Array(PUBLIC_LOG_SIZE_IN_FIELDS - logLen).fill(Fr.ZERO))));
-                        }
+                        effect.publicLogs = Array.from({
+                            length
+                        }, ()=>PublicLog.fromBlobFields(reader));
                         break;
                     }
                 case CONTRACT_CLASS_LOGS_PREFIX:
                     {
                         ensureEmpty(effect.contractClassLogs);
-                        const flatContractClassLogs = reader.readFieldArray(length);
-                        let i = 0;
-                        while(i < length){
-                            const logLen = flatContractClassLogs[i++].toNumber();
-                            // +1 for address
-                            const logFields = flatContractClassLogs.slice(i, i += logLen + 1);
-                            effect.contractClassLogs.push(ContractClassLog.fromFields(logFields.concat(new Array(CONTRACT_CLASS_LOG_SIZE_IN_FIELDS - logLen).fill(Fr.ZERO))));
-                        }
+                        effect.contractClassLogs = Array.from({
+                            length
+                        }, ()=>ContractClassLog.fromBlobFields(reader));
                         break;
                     }
                 case REVERT_CODE_PREFIX:
                 default:
                     throw new Error(`Too many fields to decode given to TxEffect.fromBlobFields()`);
             }
+            fieldsProcessed = totalFields - reader.remainingFields();
         }
         return effect;
     }
@@ -422,16 +392,16 @@ export class TxEffect {
     }
     [inspect.custom]() {
         return `TxEffect {
-      revertCode: ${this.revertCode},
+      revertCode: ${this.revertCode.getCode()},
       txHash: ${this.txHash},
       transactionFee: ${this.transactionFee},
       note hashes: [${this.noteHashes.map((h)=>h.toString()).join(', ')}],
       nullifiers: [${this.nullifiers.map((h)=>h.toString()).join(', ')}],
       l2ToL1Msgs: [${this.l2ToL1Msgs.map((h)=>h.toString()).join(', ')}],
       publicDataWrites: [${this.publicDataWrites.map((h)=>h.toString()).join(', ')}],
-      privateLogs: [${this.privateLogs.map((l)=>l.toString()).join(', ')}],
-      publicLogs: [${this.publicLogs.map((l)=>l.toString()).join(', ')}],
-      contractClassLogs: [${this.contractClassLogs.map((l)=>l.toString()).join(', ')}],
+      privateLogs: [${this.privateLogs.map((l)=>l.fields.map((f)=>f.toString()).join(',')).join(', ')}],
+      publicLogs: [${this.publicLogs.map((l)=>l.fields.map((f)=>f.toString()).join(',')).join(', ')}],
+      contractClassLogs: [${this.contractClassLogs.map((l)=>l.toFields().map((f)=>f.toString()).join(',')).join(', ')}],
      }`;
     }
     /**

package/dest/tx/tx_execution_request.d.ts

@@ -1,6 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
@@ -49,6 +46,11 @@ export declare class TxExecutionRequest {
      * Read-only data passed through the oracle calls during this tx execution.
      */
     capsules: Capsule[];
+    /**
+     * A salt to make the tx request hash difficult to predict.
+     * The hash is used as the first nullifier if there is no nullifier emitted throughout the tx.
+     */
+    salt: Fr;
     constructor(
     /**
      * Sender.
@@ -81,16 +83,21 @@ export declare class TxExecutionRequest {
     /**
      * Read-only data passed through the oracle calls during this tx execution.
      */
-    capsules: Capsule[]);
+    capsules: Capsule[], 
+    /**
+     * A salt to make the tx request hash difficult to predict.
+     * The hash is used as the first nullifier if there is no nullifier emitted throughout the tx.
+     */
+    salt?: Fr);
     static get schema(): ZodFor<TxExecutionRequest>;
     toTxRequest(): TxRequest;
-    static getFields(fields: FieldsOf<TxExecutionRequest>): readonly [AztecAddress, FunctionSelector, Fr, TxContext, HashedValues[], AuthWitness[], Capsule[]];
+    static getFields(fields: FieldsOf<TxExecutionRequest>): readonly [AztecAddress, FunctionSelector, Fr, TxContext, HashedValues[], AuthWitness[], Capsule[], Fr];
     static from(fields: FieldsOf<TxExecutionRequest>): TxExecutionRequest;
     /**
      * Serialize as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serialize as a string.
      * @returns The string.

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

@@ -1 +1 @@
-{"version":3,"file":"tx_execution_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_execution_request.ts"],"names":[],"mappings":";;;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;;IA/B1B;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAG5B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAY9C;IAED,WAAW,IAAI,SAAS;IAUxB,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC;IAYrD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,kBAAkB;IAIrE;;;OAGG;IACH,QAAQ;IAYR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB;IAapE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB;WAIrC,MAAM;IAenB,CAAC,OAAO,CAAC,MAAM,CAAC;CAGjB"}
+{"version":3,"file":"tx_execution_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_execution_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI;;IApCX;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI,KAAc;IAG3B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAa9C;IAED,WAAW,IAAI,SAAS;IAWxB,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC;IAarD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,kBAAkB;IAIrE;;;OAGG;IACH,QAAQ;IAaR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB;IAcpE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB;WAIrC,MAAM;IAgBnB,CAAC,OAAO,CAAC,MAAM,CAAC;CAGjB"}

package/dest/tx/tx_execution_request.js

@@ -23,6 +23,7 @@ import { TxRequest } from './tx_request.js';
     argsOfCalls;
     authWitnesses;
     capsules;
+    salt;
     constructor(/**
      * Sender.
      */ origin, /**
@@ -41,7 +42,10 @@ import { TxRequest } from './tx_request.js';
      * These witnesses are not expected to be stored in the local witnesses database of the PXE.
      */ authWitnesses, /**
      * Read-only data passed through the oracle calls during this tx execution.
-     */ capsules){
+     */ capsules, /**
+     * A salt to make the tx request hash difficult to predict.
+     * The hash is used as the first nullifier if there is no nullifier emitted throughout the tx.
+     */ salt = Fr.random()){
         this.origin = origin;
         this.functionSelector = functionSelector;
         this.firstCallArgsHash = firstCallArgsHash;
@@ -49,6 +53,7 @@ import { TxRequest } from './tx_request.js';
         this.argsOfCalls = argsOfCalls;
         this.authWitnesses = authWitnesses;
         this.capsules = capsules;
+        this.salt = salt;
     }
     static get schema() {
         return z.object({
@@ -58,12 +63,13 @@ import { TxRequest } from './tx_request.js';
             txContext: TxContext.schema,
             argsOfCalls: z.array(HashedValues.schema),
             authWitnesses: z.array(AuthWitness.schema),
-            capsules: z.array(Capsule.schema)
+            capsules: z.array(Capsule.schema),
+            salt: schemas.Fr
         }).transform(TxExecutionRequest.from);
     }
     toTxRequest() {
         return new TxRequest(this.origin, // Entrypoints must be private as as defined by the protocol.
-        new FunctionData(this.functionSelector, true), this.firstCallArgsHash, this.txContext);
+        new FunctionData(this.functionSelector, true), this.firstCallArgsHash, this.txContext, this.salt);
     }
     static getFields(fields) {
         return [
@@ -73,7 +79,8 @@ import { TxRequest } from './tx_request.js';
             fields.txContext,
             fields.argsOfCalls,
             fields.authWitnesses,
-            fields.capsules
+            fields.capsules,
+            fields.salt
         ];
     }
     static from(fields) {
@@ -83,7 +90,7 @@ import { TxRequest } from './tx_request.js';
    * Serialize as a buffer.
    * @returns The buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.origin, this.functionSelector, this.firstCallArgsHash, this.txContext, new Vector(this.argsOfCalls), new Vector(this.authWitnesses), new Vector(this.capsules));
+        return serializeToBuffer(this.origin, this.functionSelector, this.firstCallArgsHash, this.txContext, new Vector(this.argsOfCalls), new Vector(this.authWitnesses), new Vector(this.capsules), this.salt);
     }
     /**
    * Serialize as a string.
@@ -97,7 +104,7 @@ import { TxRequest } from './tx_request.js';
    * @returns The deserialized TxRequest object.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new TxExecutionRequest(reader.readObject(AztecAddress), reader.readObject(FunctionSelector), Fr.fromBuffer(reader), reader.readObject(TxContext), reader.readVector(HashedValues), reader.readVector(AuthWitness), reader.readVector(Capsule));
+        return new TxExecutionRequest(reader.readObject(AztecAddress), reader.readObject(FunctionSelector), Fr.fromBuffer(reader), reader.readObject(TxContext), reader.readVector(HashedValues), reader.readVector(AuthWitness), reader.readVector(Capsule), Fr.fromBuffer(reader));
     }
     /**
    * Deserializes from a string, corresponding to a write in cpp.
@@ -119,7 +126,7 @@ import { TxRequest } from './tx_request.js';
             new Capsule(await AztecAddress.random(), Fr.random(), [
                 Fr.random()
             ])
-        ]);
+        ], Fr.random());
     }
     [inspect.custom]() {
         return `TxExecutionRequest(${this.origin} called ${this.functionSelector})`;

package/dest/tx/tx_hash.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 /**
@@ -15,12 +13,12 @@ export declare class TxHash {
     static fromBuffer(buffer: Uint8Array | BufferReader): TxHash;
     static fromString(str: string): TxHash;
     static fromBigInt(value: bigint): TxHash;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     toString(): `0x${string}`;
     toBigInt(): bigint;
     toJSON(): `0x${string}`;
     equals(other: TxHash): boolean;
-    static get schema(): import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodString, string, string>, string, string>, Buffer, string>, TxHash, string>;
+    static get schema(): import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodString, string, string>, string, string>, Buffer<ArrayBuffer>, string>, TxHash, string>;
     static zero(): TxHash;
     static get SIZE(): number;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"tx_hash.d.ts","sourceRoot":"","sources":["../../src/tx/tx_hash.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAI3D;;GAEG;AACH,qBAAa,MAAM;IAEf,mGAAmG;aACnF,IAAI,EAAE,EAAE;;IADxB,mGAAmG;IACnF,IAAI,EAAE,EAAE;IAG1B,MAAM,CAAC,MAAM;IAIb,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY;IAKnD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM;IAIxB,QAAQ;IAIR,QAAQ;IAIR,QAAQ;IAIf,MAAM;IAIC,MAAM,CAAC,KAAK,EAAE,MAAM;IAI3B,MAAM,KAAK,MAAM,oMAEhB;IAED,MAAM,CAAC,IAAI;IAIX,MAAM,KAAK,IAAI,WAEd;CACF"}
+{"version":3,"file":"tx_hash.d.ts","sourceRoot":"","sources":["../../src/tx/tx_hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAI3D;;GAEG;AACH,qBAAa,MAAM;IAEf,mGAAmG;aACnF,IAAI,EAAE,EAAE;;IADxB,mGAAmG;IACnF,IAAI,EAAE,EAAE;IAG1B,MAAM,CAAC,MAAM;IAIb,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY;IAKnD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM;IAIxB,QAAQ;IAIR,QAAQ;IAIR,QAAQ;IAIf,MAAM;IAIC,MAAM,CAAC,KAAK,EAAE,MAAM;IAI3B,MAAM,KAAK,MAAM,iNAEhB;IAED,MAAM,CAAC,IAAI;IAIX,MAAM,KAAK,IAAI,WAEd;CACF"}

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

@@ -1 +1 @@
-{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC;;GAEG;AACH,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;;IAXnB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,yBAAa;IAC9B,8DAA8D;IACvD,WAAW,CAAC,oBAAQ;IAG7B,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAWrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;WAWzB,oBAAoB,CAAC,UAAU,EAAE,UAAU;CAa1D"}
+{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC;;GAEG;AACH,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC,EAAE,MAAM;IAC9B,wDAAwD;IACjD,SAAS,CAAC,EAAE,WAAW;IAC9B,8DAA8D;IACvD,WAAW,CAAC,EAAE,MAAM;;IAX3B,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC,EAAE,MAAM,YAAA;IAC9B,wDAAwD;IACjD,SAAS,CAAC,EAAE,WAAW,YAAA;IAC9B,8DAA8D;IACvD,WAAW,CAAC,EAAE,MAAM,YAAA;IAG7B,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAWrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;WAWzB,oBAAoB,CAAC,UAAU,EAAE,UAAU;CAa1D"}

package/dest/tx/tx_receipt.js

@@ -60,7 +60,7 @@ import { TxHash } from './tx_hash.js';
         } else if (revertCode.equals(RevertCode.BOTH_REVERTED)) {
             return "both_reverted";
         } else {
-            throw new Error(`Unknown revert code: ${revertCode}`);
+            throw new Error(`Unknown revert code: ${revertCode.getCode()}`);
         }
     }
 }

package/dest/tx/tx_request.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
@@ -18,6 +16,8 @@ export declare class TxRequest {
     argsHash: Fr;
     /** Transaction context. */
     txContext: TxContext;
+    /** A salt to make the hash difficult to predict. The hash is used as the first nullifier if there is no nullifier emitted throughout the tx. */
+    salt: Fr;
     constructor(
     /** Sender. */
     origin: AztecAddress, 
@@ -26,14 +26,16 @@ export declare class TxRequest {
     /** Pedersen hash of function arguments. */
     argsHash: Fr, 
     /** Transaction context. */
-    txContext: TxContext);
-    static getFields(fields: FieldsOf<TxRequest>): readonly [AztecAddress, FunctionData, Fr, TxContext];
+    txContext: TxContext, 
+    /** A salt to make the hash difficult to predict. The hash is used as the first nullifier if there is no nullifier emitted throughout the tx. */
+    salt: Fr);
+    static getFields(fields: FieldsOf<TxRequest>): readonly [AztecAddress, FunctionData, Fr, TxContext, Fr];
     static from(fields: FieldsOf<TxRequest>): TxRequest;
     /**
      * Serialize as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     toFields(): Fr[];
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.

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

@@ -1 +1 @@
-{"version":3,"file":"tx_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_request.ts"],"names":[],"mappings":";;AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,SAAS;IAGlB,cAAc;IACP,MAAM,EAAE,YAAY;IAC3B,uDAAuD;IAChD,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,QAAQ,EAAE,EAAE;IACnB,2BAA2B;IACpB,SAAS,EAAE,SAAS;;IAP3B,cAAc;IACP,MAAM,EAAE,YAAY;IAC3B,uDAAuD;IAChD,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,QAAQ,EAAE,EAAE;IACnB,2BAA2B;IACpB,SAAS,EAAE,SAAS;IAG7B,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS;IAInD;;;OAGG;IACH,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAQhB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAU3D,IAAI;IAIJ,MAAM,CAAC,KAAK;IAIZ,OAAO;CAGR"}
+{"version":3,"file":"tx_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_request.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,SAAS;IAGlB,cAAc;IACP,MAAM,EAAE,YAAY;IAC3B,uDAAuD;IAChD,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,QAAQ,EAAE,EAAE;IACnB,2BAA2B;IACpB,SAAS,EAAE,SAAS;IAC3B,gJAAgJ;IACzI,IAAI,EAAE,EAAE;;IATf,cAAc;IACP,MAAM,EAAE,YAAY;IAC3B,uDAAuD;IAChD,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,QAAQ,EAAE,EAAE;IACnB,2BAA2B;IACpB,SAAS,EAAE,SAAS;IAC3B,gJAAgJ;IACzI,IAAI,EAAE,EAAE;IAGjB,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;IAI5C,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,SAAS;IAInD;;;OAGG;IACH,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAQhB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAW3D,IAAI;IAIJ,MAAM,CAAC,KAAK;IAIZ,OAAO;CASR"}

package/dest/tx/tx_request.js

@@ -12,12 +12,14 @@ import { TxContext } from './tx_context.js';
     functionData;
     argsHash;
     txContext;
+    salt;
     // docs:start:constructor
-    constructor(/** Sender. */ origin, /** Function data representing the function to call. */ functionData, /** Pedersen hash of function arguments. */ argsHash, /** Transaction context. */ txContext){
+    constructor(/** Sender. */ origin, /** Function data representing the function to call. */ functionData, /** Pedersen hash of function arguments. */ argsHash, /** Transaction context. */ txContext, /** A salt to make the hash difficult to predict. The hash is used as the first nullifier if there is no nullifier emitted throughout the tx. */ salt){
         this.origin = origin;
         this.functionData = functionData;
         this.argsHash = argsHash;
         this.txContext = txContext;
+        this.salt = salt;
     }
     // docs:end:constructor
     static getFields(fields) {
@@ -25,7 +27,8 @@ import { TxContext } from './tx_context.js';
             fields.origin,
             fields.functionData,
             fields.argsHash,
-            fields.txContext
+            fields.txContext,
+            fields.salt
         ];
     }
     static from(fields) {
@@ -52,15 +55,15 @@ import { TxContext } from './tx_context.js';
    * @returns The deserialized TxRequest object.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new TxRequest(reader.readObject(AztecAddress), reader.readObject(FunctionData), Fr.fromBuffer(reader), reader.readObject(TxContext));
+        return new TxRequest(reader.readObject(AztecAddress), reader.readObject(FunctionData), Fr.fromBuffer(reader), reader.readObject(TxContext), Fr.fromBuffer(reader));
     }
     hash() {
         return poseidon2HashWithSeparator(this.toFields(), GeneratorIndex.TX_REQUEST);
     }
     static empty() {
-        return new TxRequest(AztecAddress.ZERO, FunctionData.empty(), Fr.zero(), TxContext.empty());
+        return new TxRequest(AztecAddress.ZERO, FunctionData.empty(), Fr.zero(), TxContext.empty(), Fr.zero());
     }
     isEmpty() {
-        return this.origin.isZero() && this.functionData.isEmpty() && this.argsHash.isZero() && this.txContext.isEmpty();
+        return this.origin.isZero() && this.functionData.isEmpty() && this.argsHash.isZero() && this.txContext.isEmpty() && this.salt.isZero();
     }
 }

package/dest/tx/validator/error_texts.d.ts

@@ -5,14 +5,16 @@ export declare const TX_ERROR_SETUP_FUNCTION_NOT_ALLOWED = "Setup function not o
 export declare const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = "Duplicate nullifier in tx";
 export declare const TX_ERROR_EXISTING_NULLIFIER = "Existing nullifier";
 export declare const TX_ERROR_INVALID_BLOCK_NUMBER = "Invalid block number";
-export declare const TX_ERROR_INCORRECT_CHAIN_ID = "Incorrect chain id";
+export declare const TX_ERROR_INCORRECT_L1_CHAIN_ID = "Incorrect L1 chain id";
 export declare const TX_ERROR_INCORRECT_ROLLUP_VERSION = "Incorrect rollup version";
+export declare const TX_ERROR_INCORRECT_VK_TREE_ROOT = "Incorrect protocol circuits tree root";
+export declare const TX_ERROR_INCORRECT_PROTOCOL_CONTRACT_TREE_ROOT = "Incorrect protocol contracts tree root";
 export declare const TX_ERROR_INVALID_PROOF = "Invalid proof";
 export declare const TX_ERROR_INCORRECT_CALLDATA = "Incorrect calldata for public call";
 export declare const TX_ERROR_CALLDATA_COUNT_MISMATCH = "Wrong number of calldata for public calls";
 export declare const TX_ERROR_CALLDATA_COUNT_TOO_LARGE = "Total calldata too large for enqueued public calls";
 export declare const TX_ERROR_CONTRACT_CLASS_LOG_COUNT = "Mismatched number of contract class logs";
-export declare const TX_ERROR_CONTRACT_CLASS_LOG_LENGTH = "Mismatched contract class logs length";
+export declare const TX_ERROR_CONTRACT_CLASS_LOG_LENGTH = "Incorrect contract class logs length";
 export declare const TX_ERROR_CONTRACT_CLASS_LOGS = "Mismatched contract class logs";
 export declare const TX_ERROR_CONTRACT_CLASS_LOG_SORTING = "Incorrectly sorted contract class logs";
 export declare const TX_ERROR_BLOCK_HEADER = "Block header not found";

package/dest/tx/validator/error_texts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAG3F,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AAGtF,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,6BAA6B,yBAAyB,CAAC;AACpE,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAChE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAG5E,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,0CAA0C,CAAC;AAC1F,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAG5F,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}
+{"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAG3F,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AAGtF,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,6BAA6B,yBAAyB,CAAC;AACpE,eAAO,MAAM,8BAA8B,0BAA0B,CAAC;AACtE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,+BAA+B,0CAA0C,CAAC;AACvF,eAAO,MAAM,8CAA8C,2CAA2C,CAAC;AAGvG,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,yCAAyC,CAAC;AACzF,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAG5F,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}

package/dest/tx/validator/error_texts.js

@@ -9,8 +9,10 @@ export const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = 'Duplicate nullifier in tx';
 export const TX_ERROR_EXISTING_NULLIFIER = 'Existing nullifier';
 // Metadata
 export const TX_ERROR_INVALID_BLOCK_NUMBER = 'Invalid block number';
-export const TX_ERROR_INCORRECT_CHAIN_ID = 'Incorrect chain id';
+export const TX_ERROR_INCORRECT_L1_CHAIN_ID = 'Incorrect L1 chain id';
 export const TX_ERROR_INCORRECT_ROLLUP_VERSION = 'Incorrect rollup version';
+export const TX_ERROR_INCORRECT_VK_TREE_ROOT = 'Incorrect protocol circuits tree root';
+export const TX_ERROR_INCORRECT_PROTOCOL_CONTRACT_TREE_ROOT = 'Incorrect protocol contracts tree root';
 // Proof
 export const TX_ERROR_INVALID_PROOF = 'Invalid proof';
 //Data
@@ -18,7 +20,7 @@ export const TX_ERROR_INCORRECT_CALLDATA = 'Incorrect calldata for public call';
 export const TX_ERROR_CALLDATA_COUNT_MISMATCH = 'Wrong number of calldata for public calls';
 export const TX_ERROR_CALLDATA_COUNT_TOO_LARGE = 'Total calldata too large for enqueued public calls';
 export const TX_ERROR_CONTRACT_CLASS_LOG_COUNT = 'Mismatched number of contract class logs';
-export const TX_ERROR_CONTRACT_CLASS_LOG_LENGTH = 'Mismatched contract class logs length';
+export const TX_ERROR_CONTRACT_CLASS_LOG_LENGTH = 'Incorrect contract class logs length';
 export const TX_ERROR_CONTRACT_CLASS_LOGS = 'Mismatched contract class logs';
 export const TX_ERROR_CONTRACT_CLASS_LOG_SORTING = 'Incorrectly sorted contract class logs';
 // Block header

package/dest/types/shared.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { type Bufferable } from '@aztec/foundation/serialize';
 /**
  * Implementation of a vector. Matches how we are serializing and deserializing vectors in cpp (length in the first position, followed by the items).
@@ -14,13 +12,17 @@ export declare class Vector<T extends Bufferable> {
      * Items in the vector.
      */
     items: T[]);
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     toFriendlyJSON(): T[];
 }
 /**
  * A type alias for a 32-bit unsigned integer.
  */
 export type UInt32 = number;
+/**
+ * A type alias for a 64-bit unsigned integer.
+ */
+export type UInt64 = bigint;
 /**
  * CircuitType replaces ComposerType for now. When using Plonk, CircuitType is equivalent to the information of the proving system that will be used
  * to construct a proof. In the future Aztec zk stack, more information must be specified (e.g., the curve over which circuits are  constructed;

package/dest/types/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;;IAHjB;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAGnB,QAAQ;IAIR,cAAc;CAGf;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV;AAED;;GAEG;AACH,oBAAY,WAAW;IACrB,IAAI,IAAI;IACR,KAAK,IAAI;IACT,IAAI,IAAI;CACT"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/types/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAEjF;;GAEG;AACH,qBAAa,MAAM,CAAC,CAAC,SAAS,UAAU;IAEpC;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;;IAHjB;;OAEG;IACI,KAAK,EAAE,CAAC,EAAE;IAGnB,QAAQ;IAIR,cAAc;CAGf;AAED;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAE5B;;;;GAIG;AACH,oBAAY,WAAW;IACrB,QAAQ,IAAI;IACZ,KAAK,IAAI;CACV;AAED;;GAEG;AACH,oBAAY,WAAW;IACrB,IAAI,IAAI;IACR,KAAK,IAAI;IACT,IAAI,IAAI;CACT"}

package/dest/update-checker/index.d.ts

@@ -0,0 +1,2 @@
+export { UpdateChecker, getPackageVersion } from './update-checker.js';
+//# sourceMappingURL=index.d.ts.map

package/dest/update-checker/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/update-checker/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dest/update-checker/index.js

@@ -0,0 +1 @@
+export { UpdateChecker, getPackageVersion } from './update-checker.js';

package/dest/update-checker/update-checker.d.ts

@@ -0,0 +1,48 @@
+import { type ViemClient } from '@aztec/ethereum';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { EventEmitter } from 'events';
+export type EventMap = {
+    newRollupVersion: [{
+        currentVersion: bigint;
+        latestVersion: bigint;
+    }];
+    newNodeVersion: [{
+        currentVersion: string;
+        latestVersion: string;
+    }];
+    updateNodeConfig: [object];
+};
+type Config = {
+    baseURL: URL;
+    nodeVersion?: string;
+    checkIntervalMs?: number;
+    registryContractAddress: EthAddress;
+    publicClient: ViemClient;
+    fetch?: typeof fetch;
+};
+export declare class UpdateChecker extends EventEmitter<EventMap> {
+    private updatesUrl;
+    private nodeVersion;
+    private rollupVersion;
+    private fetch;
+    private getLatestRollupVersion;
+    private checkIntervalMs;
+    private log;
+    private runningPromise;
+    private lastPatchedConfig;
+    constructor(updatesUrl: URL, nodeVersion: string | undefined, rollupVersion: bigint, fetch: typeof globalThis.fetch, getLatestRollupVersion: () => Promise<bigint>, checkIntervalMs?: number, // every minute
+    log?: import("@aztec/foundation/log").Logger);
+    static new(config: Config): Promise<UpdateChecker>;
+    start(): void;
+    stop(): Promise<void>;
+    trigger(): Promise<void>;
+    private runChecks;
+    private checkRollupVersion;
+    private checkConfig;
+}
+/**
+ * Returns package version.
+ */
+export declare function getPackageVersion(): string | undefined;
+export {};
+//# sourceMappingURL=update-checker.d.ts.map

package/dest/update-checker/update-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-checker.d.ts","sourceRoot":"","sources":["../../src/update-checker/update-checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAK3D,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AAWtC,MAAM,MAAM,QAAQ,GAAG;IACrB,gBAAgB,EAAE,CAAC;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtE,cAAc,EAAE,CAAC;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC;CAC5B,CAAC;AAEF,KAAK,MAAM,GAAG;IACZ,OAAO,EAAE,GAAG,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,EAAE,UAAU,CAAC;IACpC,YAAY,EAAE,UAAU,CAAC;IACzB,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;CACtB,CAAC;AAEF,qBAAa,aAAc,SAAQ,YAAY,CAAC,QAAQ,CAAC;IAKrD,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,GAAG;IAVb,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,iBAAiB,CAAc;gBAG7B,UAAU,EAAE,GAAG,EACf,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,OAAO,UAAU,CAAC,KAAK,EAC9B,sBAAsB,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,EAC7C,eAAe,SAAS,EAAE,eAAe;IACzC,GAAG,yCAA0C;WAMnC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC;IAcxD,KAAK,IAAI,IAAI;IAab,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAQrB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAI/B,OAAO,CAAC,SAAS,CAEf;YAEY,kBAAkB;YAelB,WAAW;CA4B1B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,SAAS,CAWtD"}