@aztec/stdlib 0.77.0-testnet-ignition.17 → 0.77.0-testnet-ignition.21

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;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAGvG,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,uCAAuC,EACxC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,sBAAsB;IAExB,eAAe,EAAE,eAAe;IAChC,kBAAkB,EAAE,aAAa;IACjC,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,WAAW;IACxB,QAAQ,EAAE,YAAY;IACtB,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;IAC9D,gBAAgB,EAAE,aAAa;IAC/B,UAAU,EAAE,GAAG;IACf,eAAe,EAAE,kBAAkB;IACnC,cAAc,EAAE,EAAE;IAClB,QAAQ,EAAE,OAAO;gBAhBjB,eAAe,EAAE,eAAe,EAChC,kBAAkB,EAAE,aAAa,EACjC,YAAY,EAAE,GAAG,EACjB,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,YAAY,EACtB,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,EAC9D,gBAAgB,EAAE,aAAa,EAC/B,UAAU,EAAE,GAAG,EACf,eAAe,EAAE,kBAAkB,EACnC,cAAc,EAAE,EAAE,EAClB,QAAQ,EAAE,OAAO;IAG1B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAuB/C,QAAQ;IAsBR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAuB5C,MAAM,CAAC,KAAK;IAsBZ,CAAC,OAAO,CAAC,MAAM,CAAC;CA6BjB"}
+{"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,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EACL,2BAA2B,EAC3B,uCAAuC,EACxC,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAK/D,qBAAa,sBAAsB;IAExB,eAAe,EAAE,eAAe;IAChC,kBAAkB,EAAE,aAAa;IACjC,YAAY,EAAE,GAAG;IACjB,WAAW,EAAE,WAAW;IACxB,QAAQ,EAAE,YAAY;IACtB,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;IAC9D,gBAAgB,EAAE,aAAa;IAC/B,UAAU,EAAE,GAAG;IACf,eAAe,EAAE,kBAAkB;IACnC,cAAc,EAAE,EAAE;IAClB,QAAQ,EAAE,OAAO;gBAhBjB,eAAe,EAAE,eAAe,EAChC,kBAAkB,EAAE,aAAa,EACjC,YAAY,EAAE,GAAG,EACjB,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,YAAY,EACtB,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,EAC9D,gBAAgB,EAAE,aAAa,EAC/B,UAAU,EAAE,GAAG,EACf,eAAe,EAAE,kBAAkB,EACnC,cAAc,EAAE,EAAE,EAClB,QAAQ,EAAE,OAAO;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6DhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAuB/C,QAAQ;IAsBR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAuB5C,MAAM,CAAC,KAAK;IAsBL,wBAAwB,IAAI,MAAM;IAIzC,CAAC,OAAO,CAAC,MAAM,CAAC;CA6BjB"}

package/dest/avm/avm_circuit_public_inputs.js

@@ -1,9 +1,11 @@
 import { MAX_ENQUEUED_CALLS_PER_TX } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
 import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, FieldReader, assertLength, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { inspect } from 'util';
+import { z } from 'zod';
 import { AztecAddress } from '../aztec-address/index.js';
 import { Gas, GasSettings } from '../gas/index.js';
 import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths } from '../kernel/private_to_avm_accumulated_data.js';
@@ -11,6 +13,9 @@ import { PublicCallRequest } from '../kernel/public_call_request.js';
 import { GlobalVariables } from '../tx/global_variables.js';
 import { TreeSnapshots } from '../tx/tree_snapshots.js';
 import { AvmAccumulatedData } from './avm_accumulated_data.js';
+import { serializeWithMessagePack } from './message_pack.js';
+// Note: the {from,to}{Buffer,Fields,String} methods are needed by AvmProofData and PublicBaseRollupInputs.
+// At some point it might be worth writing Zod schemas for all dependent types and get rid of that.
 export class AvmCircuitPublicInputs {
     globalVariables;
     startTreeSnapshots;
@@ -48,6 +53,27 @@ export class AvmCircuitPublicInputs {
         this.transactionFee = transactionFee;
         this.reverted = reverted;
     }
+    static get schema() {
+        return z.object({
+            globalVariables: GlobalVariables.schema,
+            startTreeSnapshots: TreeSnapshots.schema,
+            startGasUsed: Gas.schema,
+            gasSettings: GasSettings.schema,
+            feePayer: AztecAddress.schema,
+            publicSetupCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
+            publicAppLogicCallRequests: PublicCallRequest.schema.array().max(MAX_ENQUEUED_CALLS_PER_TX),
+            publicTeardownCallRequest: PublicCallRequest.schema,
+            previousNonRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths.schema,
+            previousRevertibleAccumulatedDataArrayLengths: PrivateToAvmAccumulatedDataArrayLengths.schema,
+            previousNonRevertibleAccumulatedData: PrivateToAvmAccumulatedData.schema,
+            previousRevertibleAccumulatedData: PrivateToAvmAccumulatedData.schema,
+            endTreeSnapshots: TreeSnapshots.schema,
+            endGasUsed: Gas.schema,
+            accumulatedData: AvmAccumulatedData.schema,
+            transactionFee: schemas.Fr,
+            reverted: z.boolean()
+        }).transform(({ globalVariables, startTreeSnapshots, startGasUsed, gasSettings, feePayer, publicSetupCallRequests, publicAppLogicCallRequests, publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, accumulatedData, transactionFee, reverted })=>new AvmCircuitPublicInputs(globalVariables, startTreeSnapshots, startGasUsed, gasSettings, feePayer, assertLength(publicSetupCallRequests, MAX_ENQUEUED_CALLS_PER_TX), assertLength(publicAppLogicCallRequests, MAX_ENQUEUED_CALLS_PER_TX), publicTeardownCallRequest, previousNonRevertibleAccumulatedDataArrayLengths, previousRevertibleAccumulatedDataArrayLengths, previousNonRevertibleAccumulatedData, previousRevertibleAccumulatedData, endTreeSnapshots, endGasUsed, 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(AztecAddress), 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(AvmAccumulatedData), reader.readObject(Fr), reader.readBoolean());
@@ -68,6 +94,9 @@ export class AvmCircuitPublicInputs {
     static empty() {
         return new AvmCircuitPublicInputs(GlobalVariables.empty(), TreeSnapshots.empty(), Gas.empty(), GasSettings.empty(), AztecAddress.zero(), 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(), AvmAccumulatedData.empty(), Fr.zero(), false);
     }
+    serializeWithMessagePack() {
+        return serializeWithMessagePack(this);
+    }
     [inspect.custom]() {
         return `AvmCircuitPublicInputs {
       globalVariables: ${inspect(this.globalVariables)},