npm - @aztec-labs/stdlib - Versions diffs - 6.0.0-nightly.20260921 → 6.0.0-nightly.20260923 - Mend

@aztec-labs/stdlib 6.0.0-nightly.20260921 → 6.0.0-nightly.20260923

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (22) hide show

package/dest/block/proposal/committee_attestation.d.ts CHANGED Viewed

@@ -27,4 +27,4 @@ export declare class CommitteeAttestation {
     equals(other: CommitteeAttestation): boolean;
     toViem(): ViemCommitteeAttestation;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tbWl0dGVlX2F0dGVzdGF0aW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svcHJvcG9zYWwvY29tbWl0dGVlX2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLHlCQUF5QixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDMUcsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ2hFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNqRSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBQ25GLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsQ0FBQztBQUVqQyxxQkFBYSxvQkFBb0I7YUFFYixPQUFPLEVBQUUsVUFBVTthQUNuQixTQUFTLEVBQUUsU0FBUztJQUZ0QyxZQUNrQixPQUFPLEVBQUUsVUFBVSxFQUNuQixTQUFTLEVBQUUsU0FBUyxFQUNsQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7UUFPaEI7SUFHRCxNQUFNLENBQUMsV0FBVyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsb0JBQW9CLENBRTVEO0lBR0QsTUFBTSxDQUFDLHVCQUF1QixDQUFDLE9BQU8sRUFBRSxVQUFVLEVBQUUsU0FBUyxFQUFFLFNBQVMsR0FBRyxvQkFBb0IsQ0FFOUY7SUFFRCxNQUFNLENBQUMsYUFBYSxDQUFDLFNBQVMsRUFBRSxTQUFTLEdBQUcsb0JBQW9CLENBRS9EO0lBRUQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsd0JBQXdCLEdBQUcsb0JBQW9CLENBRXBFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxvQkFBb0IsQ0FLckU7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLG9CQUFvQixDQUdwQztJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksb0JBQW9CLENBRW5DO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUseUJBQXlCLEVBQUUsYUFBYSxFQUFFLE1BQU0sR0FBRyxvQkFBb0IsRUFBRSxDQTZDbEc7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsb0JBQW9CLEdBQUcsT0FBTyxDQUUzQztJQUVELE1BQU0sSUFBSSx3QkFBd0IsQ0FLakM7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29tbWl0dGVlX2F0dGVzdGF0aW9uLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svcHJvcG9zYWwvY29tbWl0dGVlX2F0dGVzdGF0aW9uLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLHlCQUF5QixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFMUcsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ2hFLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUNqRSxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLGtDQUFrQyxDQUFDO0FBQ25GLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFVBQVUsRUFBRSxTQUFTLEVBQUUsQ0FBQztBQUVqQyxxQkFBYSxvQkFBb0I7YUFFYixPQUFPLEVBQUUsVUFBVTthQUNuQixTQUFTLEVBQUUsU0FBUztJQUZ0QyxZQUNrQixPQUFPLEVBQUUsVUFBVSxFQUNuQixTQUFTLEVBQUUsU0FBUyxFQUNsQztJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7UUFPaEI7SUFHRCxNQUFNLENBQUMsV0FBVyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsb0JBQW9CLENBRTVEO0lBR0QsTUFBTSxDQUFDLHVCQUF1QixDQUFDLE9BQU8sRUFBRSxVQUFVLEVBQUUsU0FBUyxFQUFFLFNBQVMsR0FBRyxvQkFBb0IsQ0FFOUY7SUFFRCxNQUFNLENBQUMsYUFBYSxDQUFDLFNBQVMsRUFBRSxTQUFTLEdBQUcsb0JBQW9CLENBRS9EO0lBRUQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsd0JBQXdCLEdBQUcsb0JBQW9CLENBRXBFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxvQkFBb0IsQ0FLckU7SUFFRCxNQUFNLENBQUMsTUFBTSxJQUFJLG9CQUFvQixDQUdwQztJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksb0JBQW9CLENBRW5DO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUseUJBQXlCLEVBQUUsYUFBYSxFQUFFLE1BQU0sR0FBRyxvQkFBb0IsRUFBRSxDQTRDbEc7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sQ0FBQyxLQUFLLEVBQUUsb0JBQW9CLEdBQUcsT0FBTyxDQUUzQztJQUVELE1BQU0sSUFBSSx3QkFBd0IsQ0FLakM7Q0FDRiJ9

package/dest/block/proposal/committee_attestation.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"committee_attestation.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/committee_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;~~AAC1G~~,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAEjC,qBAAa,oBAAoB;aAEb,OAAO,EAAE,UAAU;aACnB,SAAS,EAAE,SAAS;IAFtC,YACkB,OAAO,EAAE,UAAU,EACnB,SAAS,EAAE,SAAS,EAClC;IAEJ,MAAM,KAAK,MAAM;;;;;;QAOhB;IAGD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB,CAE5D;IAGD,MAAM,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE9F;IAED,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE/D;IAED,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,oBAAoB,CAEpE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAKrE;IAED,MAAM,CAAC,MAAM,IAAI,oBAAoB,CAGpC;IAED,MAAM,CAAC,KAAK,IAAI,oBAAoB,CAEnC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,GAAG,oBAAoB,EAAE,~~CA6ClG~~;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAE3C;IAED,MAAM,IAAI,wBAAwB,CAKjC;CACF"}
1	+ {"version":3,"file":"committee_attestation.d.ts","sourceRoot":"","sources":["../../../src/block/proposal/committee_attestation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1G,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AACnF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAEjC,qBAAa,oBAAoB;aAEb,OAAO,EAAE,UAAU;aACnB,SAAS,EAAE,SAAS;IAFtC,YACkB,OAAO,EAAE,UAAU,EACnB,SAAS,EAAE,SAAS,EAClC;IAEJ,MAAM,KAAK,MAAM;;;;;;QAOhB;IAGD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,GAAG,oBAAoB,CAE5D;IAGD,MAAM,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE9F;IAED,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,oBAAoB,CAE/D;IAED,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,GAAG,oBAAoB,CAEpE;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB,CAKrE;IAED,MAAM,CAAC,MAAM,IAAI,oBAAoB,CAGpC;IAED,MAAM,CAAC,KAAK,IAAI,oBAAoB,CAEnC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,GAAG,oBAAoB,EAAE,CA4ClG;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAE3C;IAED,MAAM,IAAI,wBAAwB,CAKjC;CACF"}

package/dest/block/proposal/committee_attestation.js CHANGED Viewed

@@ -1,3 +1,4 @@
+import { Buffer32 } from '@aztec-labs/foundation/buffer';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { Signature } from '@aztec-labs/foundation/eth-signature';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
@@ -59,13 +60,9 @@ export class CommitteeAttestation {
                     throw new Error(`Insufficient data for signature at position ${i}`);
                 }
                 const v = dataBuffer[dataIndex];
-                const r = `0x${dataBuffer.subarray(dataIndex + 1, dataIndex + 33).toString('hex')}`;
-                const s = `0x${dataBuffer.subarray(dataIndex + 33, dataIndex + 65).toString('hex')}`;
-                const signature = Signature.fromViemSignature({
-                    r,
-                    s,
-                    v
-                });
+                const r = Buffer32.fromBuffer(dataBuffer.subarray(dataIndex + 1, dataIndex + 33));
+                const s = Buffer32.fromBuffer(dataBuffer.subarray(dataIndex + 33, dataIndex + 65));
+                const signature = new Signature(r, s, v);
                 // For signed attestations, we use a zero address as the address is recovered from the signature
                 attestations.push(new CommitteeAttestation(EthAddress.ZERO, signature));
                 dataIndex += 65;
@@ -74,8 +71,7 @@ export class CommitteeAttestation {
                 if (dataIndex + 20 > dataBuffer.length) {
                     throw new Error(`Insufficient data for address at position ${i}`);
                 }
-                const addressBytes = dataBuffer.subarray(dataIndex, dataIndex + 20);
-                const address = EthAddress.fromString(`0x${addressBytes.toString('hex')}`);
+                const address = EthAddress.fromBuffer(dataBuffer.subarray(dataIndex, dataIndex + 20));
                 // For address-only attestations, use empty signature
                 attestations.push(new CommitteeAttestation(address, Signature.empty()));
                 dataIndex += 20;

package/dest/block/test/l2_tips_store_test_suite.d.ts CHANGED Viewed

@@ -1,3 +1,3 @@
 import type { L2TipsStore } from '../l2_block_stream/index.js';
 export declare function testL2TipsStore(makeTipsStore: () => Promise<L2TipsStore>): void;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV90ZXN0X3N1aXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svdGVzdC9sMl90aXBzX3N0b3JlX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBZ0JBLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBRS9ELHdCQUFnQixlQUFlLENBQUMsYUFBYSxFQUFFLE1BQU0sT0FBTyxDQUFDLFdBQVcsQ0FBQyxRQW13QnhFIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibDJfdGlwc19zdG9yZV90ZXN0X3N1aXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmxvY2svdGVzdC9sMl90aXBzX3N0b3JlX3Rlc3Rfc3VpdGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBaUJBLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBRS9ELHdCQUFnQixlQUFlLENBQUMsYUFBYSxFQUFFLE1BQU0sT0FBTyxDQUFDLFdBQVcsQ0FBQyxRQXd3QnhFIn0=

package/dest/block/test/l2_tips_store_test_suite.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"~~AAgBA~~,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,~~QAmwBxE~~"}
1	+ {"version":3,"file":"l2_tips_store_test_suite.d.ts","sourceRoot":"","sources":["../../../src/block/test/l2_tips_store_test_suite.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAE/D,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,QAwwBxE"}

package/dest/block/test/l2_tips_store_test_suite.js CHANGED Viewed

@@ -1,7 +1,7 @@
 import { BlockNumber, CheckpointNumber } from '@aztec-labs/foundation/branded-types';
 import { times } from '@aztec-labs/foundation/collection';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
-import { GENESIS_CHECKPOINT_HEADER_HASH, L2Block } from '@aztec-labs/stdlib/block';
+import { CommitteeAttestationsAndSigners, GENESIS_CHECKPOINT_HEADER_HASH, L2Block } from '@aztec-labs/stdlib/block';
 import { Checkpoint, L1PublishedData, PublishedCheckpoint } from '@aztec-labs/stdlib/checkpoint';
 import { BlockHeader } from '@aztec-labs/stdlib/tx';
 import { expect } from 'vitest';
@@ -82,7 +82,7 @@ export function testL2TipsStore(makeTipsStore) {
         for (const block of blocks){
             blockToCheckpoint.set(block.number, checkpointNumber);
         }
-        return new PublishedCheckpoint(checkpoint, L1PublishedData.random(), []);
+        return new PublishedCheckpoint(checkpoint, L1PublishedData.random(), [], CommitteeAttestationsAndSigners.packAttestations([]));
     };
     /** Creates a thin chain-checkpointed event carrying the block + checkpoint ids of the checkpoint's last block. */ const makeCheckpointedEvent = async (published)=>{
         const lastBlock = published.checkpoint.blocks.at(-1);

package/dest/block/validate_block_result.d.ts CHANGED Viewed

@@ -1,4 +1,4 @@
-import type { ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts';
+import { type ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { EpochNumber } from '@aztec-labs/foundation/branded-types';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { type ZodFor } from '@aztec-labs/foundation/schemas';
@@ -62,4 +62,4 @@ export type ValidateCheckpointResult = {
 export declare const ValidateCheckpointResultSchema: ZodFor<ValidateCheckpointResult>;
 export declare function serializeValidateCheckpointResult(result: ValidateCheckpointResult): Buffer;
 export declare function deserializeValidateCheckpointResult(bufferOrReader: Buffer | BufferReader): ValidateCheckpointResult;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDaEYsT0FBTyxFQUFFLFdBQVcsRUFBcUIsTUFBTSxzQ0FBc0MsQ0FBQztBQUN0RixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDaEUsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFXLE1BQU0sZ0NBQWdDLENBQUM7QUFDdEUsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUluRixPQUFPLEVBQ0wsS0FBSyxjQUFjLEVBSXBCLE1BQU0sa0NBQWtDLENBQUM7QUFFMUMsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFM0Usd0RBQXdEO0FBQ3hELE1BQU0sTUFBTSxnQ0FBZ0MsR0FDeEM7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDOzs7Ozs7T0FNRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELG1GQUFtRjtJQUNuRixNQUFNLEVBQUUsMkJBQTJCLENBQUM7Q0FDckMsR0FDRDtJQUNFLEtBQUssRUFBRSxLQUFLLENBQUM7SUFDYiw4Q0FBOEM7SUFDOUMsVUFBVSxFQUFFLGNBQWMsQ0FBQztJQUMzQixrRUFBa0U7SUFDbEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLGtEQUFrRDtJQUNsRCxLQUFLLEVBQUUsV0FBVyxDQUFDO0lBQ25CLDRDQUE0QztJQUM1QyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2Isb0VBQW9FO0lBQ3BFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QiwyRUFBMkU7SUFDM0UsWUFBWSxFQUFFLG9CQUFvQixFQUFFLENBQUM7SUFDckM7Ozs7T0FJRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELGlGQUFpRjtJQUNqRixNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFDOUIsd0VBQXdFO0lBQ3hFLFlBQVksRUFBRSxNQUFNLENBQUM7Q0FDdEIsQ0FBQztBQUVOLHlEQUF5RDtBQUN6RCxNQUFNLE1BQU0sd0JBQXdCLEdBQUc7SUFBRSxLQUFLLEVBQUUsSUFBSSxDQUFBO0NBQUUsR0FBRyxnQ0FBZ0MsQ0FBQztBQVExRixlQUFPLE1BQU0sOEJBQThCLEVBQUUsTUFBTSxDQUFDLHdCQUF3QixDQXlCMUUsQ0FBQztBQUVILHdCQUFnQixpQ0FBaUMsQ0FBQyxNQUFNLEVBQUUsd0JBQXdCLEdBQUcsTUFBTSxDQTJCMUY7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsd0JBQXdCLENBc0NuSCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdGVfYmxvY2tfcmVzdWx0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvY2svdmFsaWRhdGVfYmxvY2tfcmVzdWx0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLHlCQUF5QixFQUUvQixNQUFNLHVEQUF1RCxDQUFDO0FBQy9ELE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0sc0NBQXNDLENBQUM7QUFDdEYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ2hFLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLGdDQUFnQyxDQUFDO0FBQ3RFLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFJbkYsT0FBTyxFQUNMLEtBQUssY0FBYyxFQUlwQixNQUFNLGtDQUFrQyxDQUFDO0FBRTFDLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBRTNFLHdEQUF3RDtBQUN4RCxNQUFNLE1BQU0sZ0NBQWdDLEdBQ3hDO0lBQ0UsS0FBSyxFQUFFLEtBQUssQ0FBQztJQUNiLDhDQUE4QztJQUM5QyxVQUFVLEVBQUUsY0FBYyxDQUFDO0lBQzNCLGtFQUFrRTtJQUNsRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsa0RBQWtEO0lBQ2xELEtBQUssRUFBRSxXQUFXLENBQUM7SUFDbkIsNENBQTRDO0lBQzVDLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixvRUFBb0U7SUFDcEUsU0FBUyxFQUFFLFVBQVUsRUFBRSxDQUFDO0lBQ3hCLDJFQUEyRTtJQUMzRSxZQUFZLEVBQUUsb0JBQW9CLEVBQUUsQ0FBQztJQUNyQzs7Ozs7O09BTUc7SUFDSCxvQkFBb0IsRUFBRSx5QkFBeUIsQ0FBQztJQUNoRCxtRkFBbUY7SUFDbkYsTUFBTSxFQUFFLDJCQUEyQixDQUFDO0NBQ3JDLEdBQ0Q7SUFDRSxLQUFLLEVBQUUsS0FBSyxDQUFDO0lBQ2IsOENBQThDO0lBQzlDLFVBQVUsRUFBRSxjQUFjLENBQUM7SUFDM0Isa0VBQWtFO0lBQ2xFLFNBQVMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUN4QixrREFBa0Q7SUFDbEQsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQiw0Q0FBNEM7SUFDNUMsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLG9FQUFvRTtJQUNwRSxTQUFTLEVBQUUsVUFBVSxFQUFFLENBQUM7SUFDeEIsMkVBQTJFO0lBQzNFLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDOzs7O09BSUc7SUFDSCxvQkFBb0IsRUFBRSx5QkFBeUIsQ0FBQztJQUNoRCxpRkFBaUY7SUFDakYsTUFBTSxFQUFFLHFCQUFxQixDQUFDO0lBQzlCLHdFQUF3RTtJQUN4RSxZQUFZLEVBQUUsTUFBTSxDQUFDO0NBQ3RCLENBQUM7QUFFTix5REFBeUQ7QUFDekQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQUUsS0FBSyxFQUFFLElBQUksQ0FBQTtDQUFFLEdBQUcsZ0NBQWdDLENBQUM7QUFFMUYsZUFBTyxNQUFNLDhCQUE4QixFQUFFLE1BQU0sQ0FBQyx3QkFBd0IsQ0F5QjFFLENBQUM7QUFFSCx3QkFBZ0IsaUNBQWlDLENBQUMsTUFBTSxFQUFFLHdCQUF3QixHQUFHLE1BQU0sQ0EyQjFGO0FBRUQsd0JBQWdCLG1DQUFtQyxDQUFDLGNBQWMsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHdCQUF3QixDQXNDbkgifQ==

package/dest/block/validate_block_result.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,~~EAAE,~~yBAAyB,~~EAAE~~,MAAM,~~gCAAgC~~,CAAC;~~AAChF~~,OAAO,EAAE,WAAW,EAAqB,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAInF,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,wDAAwD;AACxD,MAAM,MAAM,gCAAgC,GACxC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,mFAAmF;IACnF,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,iFAAiF;IACjF,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,gCAAgC,CAAC;~~AAQ1F~~,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAyB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CA2B1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsCnH"}
1	+ {"version":3,"file":"validate_block_result.d.ts","sourceRoot":"","sources":["../../src/block/validate_block_result.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,yBAAyB,EAE/B,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAqB,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAInF,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,wDAAwD;AACxD,MAAM,MAAM,gCAAgC,GACxC;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,mFAAmF;IACnF,MAAM,EAAE,2BAA2B,CAAC;CACrC,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,8CAA8C;IAC9C,UAAU,EAAE,cAAc,CAAC;IAC3B,kEAAkE;IAClE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,kDAAkD;IAClD,KAAK,EAAE,WAAW,CAAC;IACnB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,2EAA2E;IAC3E,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;;OAIG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,iFAAiF;IACjF,MAAM,EAAE,qBAAqB,CAAC;IAC9B,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,yDAAyD;AACzD,MAAM,MAAM,wBAAwB,GAAG;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,GAAG,gCAAgC,CAAC;AAE1F,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,wBAAwB,CAyB1E,CAAC;AAEH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,wBAAwB,GAAG,MAAM,CA2B1F;AAED,wBAAgB,mCAAmC,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,wBAAwB,CAsCnH"}

package/dest/block/validate_block_result.js CHANGED Viewed

@@ -1,3 +1,4 @@
+import { ViemCommitteeAttestationsSchema } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { EpochNumber, EpochNumberSchema } from '@aztec-labs/foundation/branded-types';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { schemas } from '@aztec-labs/foundation/schemas';
@@ -7,10 +8,6 @@ import { z } from 'zod';
 import { CheckpointInfoSchema, deserializeCheckpointInfo, serializeCheckpointInfo } from '../checkpoint/checkpoint_info.js';
 import { MAX_COMMITTEE_SIZE } from '../deserialization/index.js';
 import { CommitteeAttestation } from './proposal/committee_attestation.js';
-/** Zod schema for the raw packed `CommitteeAttestations` viem tuple (two 0x-prefixed hex strings). */ const ViemCommitteeAttestationsSchema = z.object({
-    signatureIndices: schemas.HexStringWith0x,
-    signaturesOrAddresses: schemas.HexStringWith0x
-});
 export const ValidateCheckpointResultSchema = z.union([
     z.object({
         valid: z.literal(true)

package/dest/checkpoint/checkpoint_data.d.ts CHANGED Viewed

@@ -1,3 +1,4 @@
+import { type ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { BlockNumber, CheckpointNumber } from '@aztec-labs/foundation/branded-types';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { z } from 'zod';
@@ -15,6 +16,11 @@ export type CommonCheckpointData = {
 /** Data stored with checkpoint data after publishing on l1 */
 export type L1EnrichedCheckpointData = {
     attestations: CommitteeAttestation[];
+    /**
+     * The packed `CommitteeAttestations` tuple exactly as posted to L1. {@link attestations} is what this tuple
+     * decodes to; only the tuple reproduces the `attestationsHash` the rollup stored at propose time.
+     */
+    verbatimAttestations: ViemCommitteeAttestations;
     l1: L1PublishedData;
 };
 /** Data stored alongside checkpoint data in storage */
@@ -86,6 +92,7 @@ export declare const CheckpointDataSchema: z.ZodPipe<z.ZodObject<{
         address: import("@aztec-labs/foundation/eth-address").EthAddress;
         signature: import("../block/proposal/committee_attestation.js").Signature;
     }>>>;
+    verbatimAttestations: import("@aztec-labs/foundation/schemas").ZodFor<ViemCommitteeAttestations>;
     l1: z.ZodPipe<z.ZodObject<{
         blockNumber: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
         timestamp: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
@@ -104,6 +111,7 @@ export declare const CheckpointDataSchema: z.ZodPipe<z.ZodObject<{
     blockCount: number;
     feeAssetPriceModifier: bigint;
     attestations: CommitteeAttestation[];
+    verbatimAttestations: ViemCommitteeAttestations;
     l1: L1PublishedData;
 }>>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxzQ0FBc0MsQ0FBQztBQUM5QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztJQUN0QixtR0FBbUc7SUFDbkcscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRixzREFBc0Q7QUFDdEQsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRix1R0FBdUc7QUFDdkcsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDOzs7Ozs7T0FNRztJQUNILGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkIsQ0FBQztBQUVGLCtEQUErRDtBQUMvRCxNQUFNLE1BQU0sY0FBYyxHQUFHLG9CQUFvQixHQUFHLDZCQUE2QixHQUFHLHdCQUF3QixDQUFDO0FBRTdHOzREQUM0RDtBQUM1RCxNQUFNLE1BQU0sdUJBQXVCLEdBQUcsb0JBQW9CLEdBQUcsMEJBQTBCLENBQUM7QUFFeEY7OEZBQzhGO0FBQzlGLE1BQU0sTUFBTSxzQkFBc0IsR0FBRyx1QkFBdUIsR0FBRyw2QkFBNkIsR0FBRyx3QkFBd0IsQ0FBQztBQUV4SCxlQUFPLE1BQU0sNEJBQTRCOzs7Ozs7Ozs7Ozs7Ozs7O2lCQVV2QyxDQUFDO0FBRUgsZUFBTyxNQUFNLG9CQUFvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQXdCOUIsQ0FBQyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2hlY2twb2ludC9jaGVja3BvaW50X2RhdGEudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLEtBQUsseUJBQXlCLEVBRS9CLE1BQU0sdURBQXVELENBQUM7QUFDL0QsT0FBTyxFQUNMLFdBQVcsRUFFWCxnQkFBZ0IsRUFFakIsTUFBTSxzQ0FBc0MsQ0FBQztBQUM5QyxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNsRixPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNsRSxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFNUQsb0NBQW9DO0FBQ3BDLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxnQkFBZ0IsRUFBRSxnQkFBZ0IsQ0FBQztJQUNuQyxNQUFNLEVBQUUsZ0JBQWdCLENBQUM7SUFDekIsVUFBVSxFQUFFLFdBQVcsQ0FBQztJQUN4QixVQUFVLEVBQUUsTUFBTSxDQUFDO0NBQ3BCLENBQUM7QUFFRiw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDOzs7T0FHRztJQUNILG9CQUFvQixFQUFFLHlCQUF5QixDQUFDO0lBQ2hELEVBQUUsRUFBRSxlQUFlLENBQUM7Q0FDckIsQ0FBQztBQUVGLHVEQUF1RDtBQUN2RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFDMUMsT0FBTyxFQUFFLHNCQUFzQixDQUFDO0lBQ2hDLGlCQUFpQixFQUFFLEVBQUUsQ0FBQztJQUN0QixtR0FBbUc7SUFDbkcscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRixzREFBc0Q7QUFDdEQsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIscUJBQXFCLEVBQUUsTUFBTSxDQUFDO0NBQy9CLENBQUM7QUFFRix1R0FBdUc7QUFDdkcsTUFBTSxNQUFNLHdCQUF3QixHQUFHO0lBQ3JDOzs7Ozs7T0FNRztJQUNILGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkIsQ0FBQztBQUVGLCtEQUErRDtBQUMvRCxNQUFNLE1BQU0sY0FBYyxHQUFHLG9CQUFvQixHQUFHLDZCQUE2QixHQUFHLHdCQUF3QixDQUFDO0FBRTdHOzREQUM0RDtBQUM1RCxNQUFNLE1BQU0sdUJBQXVCLEdBQUcsb0JBQW9CLEdBQUcsMEJBQTBCLENBQUM7QUFFeEY7OEZBQzhGO0FBQzlGLE1BQU0sTUFBTSxzQkFBc0IsR0FBRyx1QkFBdUIsR0FBRyw2QkFBNkIsR0FBRyx3QkFBd0IsQ0FBQztBQUV4SCxlQUFPLE1BQU0sNEJBQTRCOzs7Ozs7Ozs7Ozs7Ozs7O2lCQVV2QyxDQUFDO0FBRUgsZUFBTyxNQUFNLG9CQUFvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0dBMEI5QixDQUFDIn0=

package/dest/checkpoint/checkpoint_data.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,8DAA8D;AAC9D,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;IACtB,mGAAmG;IACnG,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,uGAAuG;AACvG,MAAM,MAAM,wBAAwB,GAAG;IACrC;;;;;;OAMG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAE7G;4DAC4D;AAC5D,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,0BAA0B,CAAC;AAExF;8FAC8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,uBAAuB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAExH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;iBAUvC,CAAC;AAEH,eAAO,MAAM,oBAAoB~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwB9B~~,CAAC"}
1	+ {"version":3,"file":"checkpoint_data.d.ts","sourceRoot":"","sources":["../../src/checkpoint/checkpoint_data.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,yBAAyB,EAE/B,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EACL,WAAW,EAEX,gBAAgB,EAEjB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,oCAAoC;AACpC,MAAM,MAAM,oBAAoB,GAAG;IACjC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,WAAW,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,8DAA8D;AAC9D,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC;;;OAGG;IACH,oBAAoB,EAAE,yBAAyB,CAAC;IAChD,EAAE,EAAE,eAAe,CAAC;CACrB,CAAC;AAEF,uDAAuD;AACvD,MAAM,MAAM,6BAA6B,GAAG;IAC1C,OAAO,EAAE,sBAAsB,CAAC;IAChC,iBAAiB,EAAE,EAAE,CAAC;IACtB,mGAAmG;IACnG,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,sDAAsD;AACtD,MAAM,MAAM,0BAA0B,GAAG;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,qBAAqB,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,uGAAuG;AACvG,MAAM,MAAM,wBAAwB,GAAG;IACrC;;;;;;OAMG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,cAAc,GAAG,oBAAoB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAE7G;4DAC4D;AAC5D,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,GAAG,0BAA0B,CAAC;AAExF;8FAC8F;AAC9F,MAAM,MAAM,sBAAsB,GAAG,uBAAuB,GAAG,6BAA6B,GAAG,wBAAwB,CAAC;AAExH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;iBAUvC,CAAC;AAEH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0B9B,CAAC"}

package/dest/checkpoint/checkpoint_data.js CHANGED Viewed

@@ -1,3 +1,4 @@
+import { ViemCommitteeAttestationsSchema } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { BlockNumberSchema, CheckpointNumberSchema } from '@aztec-labs/foundation/branded-types';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { z } from 'zod';
@@ -25,6 +26,7 @@ export const CheckpointDataSchema = z.object({
     blockCount: schemas.Integer,
     feeAssetPriceModifier: schemas.BigInt,
     attestations: z.array(CommitteeAttestation.schema),
+    verbatimAttestations: ViemCommitteeAttestationsSchema,
     l1: L1PublishedData.schema
 }).transform((obj)=>({
         checkpointNumber: obj.checkpointNumber,
@@ -35,5 +37,6 @@ export const CheckpointDataSchema = z.object({
         blockCount: obj.blockCount,
         feeAssetPriceModifier: obj.feeAssetPriceModifier,
         attestations: obj.attestations,
+        verbatimAttestations: obj.verbatimAttestations,
         l1: obj.l1
     }));

package/dest/checkpoint/published_checkpoint.d.ts CHANGED Viewed

@@ -1,3 +1,4 @@
+import { type ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { BufferReader } from '@aztec-labs/foundation/serialize';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
 import { z } from 'zod';
@@ -29,13 +30,29 @@ export declare class PublishedCheckpoint {
     l1: L1PublishedData;
     /** The attestations for the last block in the checkpoint. */
     attestations: CommitteeAttestation[];
+    /**
+     * The packed `CommitteeAttestations` tuple exactly as it appeared in the propose calldata. The rollup
+     * stores `keccak256(abi.encode(tuple))` and re-checks it when an epoch proof or an invalidation is
+     * submitted, so the tuple can only be reproduced from these bytes: repacking the decoded
+     * {@link attestations} zeroes bitmap bits past the committee size and canonicalizes recovery bytes,
+     * neither of which any decoder reads but both of which the stored hash covers.
+     */
+    verbatimAttestations: ViemCommitteeAttestations;
     constructor(
     /** The checkpoint itself. */
     checkpoint: Checkpoint,
     /** Info on when this checkpoint was published on L1. */
     l1: L1PublishedData,
     /** The attestations for the last block in the checkpoint. */
-    attestations: CommitteeAttestation[]);
+    attestations: CommitteeAttestation[],
+    /**
+     * The packed `CommitteeAttestations` tuple exactly as it appeared in the propose calldata. The rollup
+     * stores `keccak256(abi.encode(tuple))` and re-checks it when an epoch proof or an invalidation is
+     * submitted, so the tuple can only be reproduced from these bytes: repacking the decoded
+     * {@link attestations} zeroes bitmap bits past the committee size and canonicalizes recovery bytes,
+     * neither of which any decoder reads but both of which the stored hash covers.
+     */
+    verbatimAttestations: ViemCommitteeAttestations);
     static get schema(): z.ZodPipe<z.ZodObject<{
         checkpoint: z.ZodPipe<z.ZodObject<{
             archive: z.ZodPipe<z.ZodObject<{
@@ -90,14 +107,16 @@ export declare class PublishedCheckpoint {
             address: import("@aztec-labs/foundation/eth-address").EthAddress;
             signature: import("../block/proposal/committee_attestation.js").Signature;
         }>>>;
+        verbatimAttestations: import("@aztec-labs/foundation/schemas").ZodFor<ViemCommitteeAttestations>;
     }, z.core.$strip>, z.ZodTransform<PublishedCheckpoint, {
         checkpoint: Checkpoint;
         l1: L1PublishedData;
         attestations: CommitteeAttestation[];
+        verbatimAttestations: ViemCommitteeAttestations;
     }>>;
-    static getFields(fields: FieldsOf<PublishedCheckpoint>): readonly [Checkpoint, L1PublishedData, CommitteeAttestation[]];
+    static getFields(fields: FieldsOf<PublishedCheckpoint>): readonly [Checkpoint, L1PublishedData, CommitteeAttestation[], ViemCommitteeAttestations];
     static from(fields: FieldsOf<PublishedCheckpoint>): PublishedCheckpoint;
     static fromBuffer(bufferOrReader: Buffer | BufferReader): PublishedCheckpoint;
     toBuffer(): Buffer;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUlBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFDbkYsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDN0QsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7O1FBUWhCO0lBRUQsTUFBTSxDQUFDLE1BQU0sb0JBTVo7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLG1CQUVsRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQU14RTtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxxQkFBYSxtQkFBbUI7SUFFNUIsNkJBQTZCO0lBQ3RCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLHdEQUF3RDtJQUNqRCxFQUFFLEVBQUUsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsWUFBWSxFQUFFLG9CQUFvQixFQUFFO0lBTjdDO0lBQ0UsNkJBQTZCO0lBQ3RCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLHdEQUF3RDtJQUNqRCxFQUFFLEVBQUUsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsWUFBWSxFQUFFLG9CQUFvQixFQUFFLEVBQ3pDO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7UUFRaEI7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsbUJBQW1CLENBQUMsa0VBRXJEO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG1CQUFtQixDQUFDLHVCQUVoRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsbUJBQW1CLENBWTVFO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FTeEI7Q0FDRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGlzaGVkX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaGVja3BvaW50L3B1Ymxpc2hlZF9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFDTCxLQUFLLHlCQUF5QixFQUUvQixNQUFNLHVEQUF1RCxDQUFDO0FBSS9ELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFFbkYsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFDN0QsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4QixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUVsRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFN0MscUJBQWEsZUFBZTtJQUVqQixXQUFXLEVBQUUsTUFBTTtJQUNuQixTQUFTLEVBQUUsTUFBTTtJQUNqQixTQUFTLEVBQUUsTUFBTTtJQUgxQixZQUNTLFdBQVcsRUFBRSxNQUFNLEVBQ25CLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBQ3RCO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7O1FBUWhCO0lBRUQsTUFBTSxDQUFDLE1BQU0sb0JBTVo7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLG1CQUVsRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsY0FBYyxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQU14RTtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxxQkFBYSxtQkFBbUI7SUFFNUIsNkJBQTZCO0lBQ3RCLFVBQVUsRUFBRSxVQUFVO0lBQzdCLHdEQUF3RDtJQUNqRCxFQUFFLEVBQUUsZUFBZTtJQUMxQiw2REFBNkQ7SUFDdEQsWUFBWSxFQUFFLG9CQUFvQixFQUFFO0lBQzNDOzs7Ozs7T0FNRztJQUNJLG9CQUFvQixFQUFFLHlCQUF5QjtJQWR4RDtJQUNFLDZCQUE2QjtJQUN0QixVQUFVLEVBQUUsVUFBVTtJQUM3Qix3REFBd0Q7SUFDakQsRUFBRSxFQUFFLGVBQWU7SUFDMUIsNkRBQTZEO0lBQ3RELFlBQVksRUFBRSxvQkFBb0IsRUFBRTtJQUMzQzs7Ozs7O09BTUc7SUFDSSxvQkFBb0IsRUFBRSx5QkFBeUIsRUFDcEQ7SUFFSixNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O1FBU2hCO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLG1CQUFtQixDQUFDLDZGQUVyRDtJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxtQkFBbUIsQ0FBQyx1QkFFaEQ7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLGNBQWMsRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQWlCNUU7SUFFTSxRQUFRLElBQUksTUFBTSxDQWV4QjtDQUNGIn0=

package/dest/checkpoint/published_checkpoint.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"~~AAIA~~,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;~~AACnF~~,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;QAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAE5B,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE;~~IAN7C~~;IACE,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE,~~EACzC~~;IAEJ,MAAM,KAAK,MAAM~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAQhB~~;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,~~kEAErD~~;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,~~CAY5E~~;IAEM,QAAQ,IAAI,MAAM,~~CASxB~~;CACF"}
1	+ {"version":3,"file":"published_checkpoint.d.ts","sourceRoot":"","sources":["../../src/checkpoint/published_checkpoint.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,yBAAyB,EAE/B,MAAM,uDAAuD,CAAC;AAI/D,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAEnF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,eAAe;IAEjB,WAAW,EAAE,MAAM;IACnB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IAH1B,YACS,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;QAQhB;IAED,MAAM,CAAC,MAAM,oBAMZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,mBAElD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAMxE;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,qBAAa,mBAAmB;IAE5B,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE;IAC3C;;;;;;OAMG;IACI,oBAAoB,EAAE,yBAAyB;IAdxD;IACE,6BAA6B;IACtB,UAAU,EAAE,UAAU;IAC7B,wDAAwD;IACjD,EAAE,EAAE,eAAe;IAC1B,6DAA6D;IACtD,YAAY,EAAE,oBAAoB,EAAE;IAC3C;;;;;;OAMG;IACI,oBAAoB,EAAE,yBAAyB,EACpD;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAShB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,6FAErD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,uBAEhD;IAED,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAiB5E;IAEM,QAAQ,IAAI,MAAM,CAexB;CACF"}

package/dest/checkpoint/published_checkpoint.js CHANGED Viewed

@@ -1,8 +1,10 @@
 // Ignoring import issue to fix portable inferred type issue in zod schema
+import { ViemCommitteeAttestationsSchema } from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { Buffer32 } from '@aztec-labs/foundation/buffer';
 import { randomBigInt } from '@aztec-labs/foundation/crypto/random';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import { z } from 'zod';
 import { CommitteeAttestation } from '../block/proposal/committee_attestation.js';
 import { MAX_BLOCK_HASH_STRING_LENGTH, MAX_COMMITTEE_SIZE } from '../deserialization/index.js';
@@ -44,23 +46,33 @@ export class PublishedCheckpoint {
     checkpoint;
     l1;
     attestations;
-    constructor(/** The checkpoint itself. */ checkpoint, /** Info on when this checkpoint was published on L1. */ l1, /** The attestations for the last block in the checkpoint. */ attestations){
+    verbatimAttestations;
+    constructor(/** The checkpoint itself. */ checkpoint, /** Info on when this checkpoint was published on L1. */ l1, /** The attestations for the last block in the checkpoint. */ attestations, /**
+     * The packed `CommitteeAttestations` tuple exactly as it appeared in the propose calldata. The rollup
+     * stores `keccak256(abi.encode(tuple))` and re-checks it when an epoch proof or an invalidation is
+     * submitted, so the tuple can only be reproduced from these bytes: repacking the decoded
+     * {@link attestations} zeroes bitmap bits past the committee size and canonicalizes recovery bytes,
+     * neither of which any decoder reads but both of which the stored hash covers.
+     */ verbatimAttestations){
         this.checkpoint = checkpoint;
         this.l1 = l1;
         this.attestations = attestations;
+        this.verbatimAttestations = verbatimAttestations;
     }
     static get schema() {
         return z.object({
             checkpoint: Checkpoint.schema,
             l1: L1PublishedData.schema,
-            attestations: z.array(CommitteeAttestation.schema)
+            attestations: z.array(CommitteeAttestation.schema),
+            verbatimAttestations: ViemCommitteeAttestationsSchema
         }).transform((obj)=>PublishedCheckpoint.from(obj));
     }
     static getFields(fields) {
         return [
             fields.checkpoint,
             fields.l1,
-            fields.attestations
+            fields.attestations,
+            fields.verbatimAttestations
         ];
     }
     static from(fields) {
@@ -73,9 +85,15 @@ export class PublishedCheckpoint {
         const l1BlockHash = reader.readString(MAX_BLOCK_HASH_STRING_LENGTH);
         const l1Timestamp = reader.readBigInt();
         const attestations = reader.readVector(CommitteeAttestation, MAX_COMMITTEE_SIZE);
-        return new PublishedCheckpoint(checkpoint, new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash), attestations);
+        const verbatimAttestations = {
+            signatureIndices: bufferToHex(reader.readBuffer()),
+            signaturesOrAddresses: bufferToHex(reader.readBuffer())
+        };
+        return new PublishedCheckpoint(checkpoint, new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash), attestations, verbatimAttestations);
     }
     toBuffer() {
-        return serializeToBuffer(this.checkpoint, this.l1.blockNumber, this.l1.blockHash, this.l1.timestamp, this.attestations.length, this.attestations);
+        const signatureIndices = hexToBuffer(this.verbatimAttestations.signatureIndices);
+        const signaturesOrAddresses = hexToBuffer(this.verbatimAttestations.signaturesOrAddresses);
+        return serializeToBuffer(this.checkpoint, this.l1.blockNumber, this.l1.blockHash, this.l1.timestamp, this.attestations.length, this.attestations, signatureIndices.length, signatureIndices, signaturesOrAddresses.length, signaturesOrAddresses);
     }
 }

package/dest/interfaces/proving-job.d.ts CHANGED Viewed

@@ -414,18 +414,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }>>;
                 index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                 leafPreimage: z.ZodPipe<z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                    }>>;
-                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                    nextKey: import("@aztec-labs/foundation/schemas").Fr;
-                    nextIndex: bigint;
-                }>> | z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
                         slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                         value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -439,6 +427,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                     nextKey: import("@aztec-labs/foundation/schemas").Fr;
                     nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
                 }>>;
             }, z.core.$strip>, z.ZodTransform<{
                 readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -459,18 +459,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }>>;
                 index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                 leafPreimage: z.ZodPipe<z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                    }>>;
-                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                    nextKey: import("@aztec-labs/foundation/schemas").Fr;
-                    nextIndex: bigint;
-                }>> | z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
                         slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                         value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -484,6 +472,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                     nextKey: import("@aztec-labs/foundation/schemas").Fr;
                     nextIndex: bigint;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
+                        nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                    }>>;
+                    nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                    nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                    nextKey: import("@aztec-labs/foundation/schemas").Fr;
+                    nextIndex: bigint;
                 }>>;
             }, z.core.$strip>, z.ZodTransform<{
                 readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -528,30 +528,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }>>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodPipe<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                }>> | z.ZodPipe<z.ZodObject<{
                     slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                     value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                 }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                     slot: import("@aztec-labs/foundation/schemas").Fr;
                     value: import("@aztec-labs/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
                 }>>;
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        leaf: z.ZodPipe<z.ZodObject<{
-                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                        }>>;
-                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                        nextKey: import("@aztec-labs/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -565,12 +553,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>>;
-                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
-                }, z.core.$strip>;
-                insertionWitnessData: z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                         }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -582,7 +565,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -596,6 +584,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
                     }>>;
                     index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                     path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
@@ -648,30 +648,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 }>>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodPipe<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                }>> | z.ZodPipe<z.ZodObject<{
                     slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                     value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                 }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                     slot: import("@aztec-labs/foundation/schemas").Fr;
                     value: import("@aztec-labs/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec-labs/foundation/schemas").Fr;
                 }>>;
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        leaf: z.ZodPipe<z.ZodObject<{
-                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
-                        }>>;
-                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
-                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                        nextKey: import("@aztec-labs/foundation/schemas").Fr;
-                        nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -685,12 +673,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>>;
-                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
-                }, z.core.$strip>;
-                insertionWitnessData: z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                         }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -702,7 +685,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
@@ -716,6 +704,18 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec-labs/foundation/schemas").Fr;
                         nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec-labs/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec-labs/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec-labs/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec-labs/foundation/schemas").Fr;
+                        nextIndex: bigint;
                     }>>;
                     index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                     path: z.ZodArray<ZodFor<import("@aztec-labs/foundation/schemas").Fr>>;

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "@aztec-labs/stdlib",
-  "version": "6.0.0-nightly.20260921",
+  "version": "6.0.0-nightly.20260923",
   "type": "module",
   "inherits": [
     "../package.common.json",
@@ -92,12 +92,12 @@
   },
   "dependencies": {
     "@aws-sdk/client-s3": "^3.892.0",
-    "@aztec-foundation/bb.js": "6.0.0-nightly.20260918.a",
-    "@aztec-foundation/noir-noirc_abi": "6.0.0-nightly.20260918.a",
-    "@aztec-labs/blob-lib": "6.0.0-nightly.20260921",
-    "@aztec-labs/constants": "6.0.0-nightly.20260921",
-    "@aztec-labs/ethereum": "6.0.0-nightly.20260921",
-    "@aztec-labs/foundation": "6.0.0-nightly.20260921",
+    "@aztec-foundation/bb.js": "6.0.0-nightly.20260921",
+    "@aztec-foundation/noir-noirc_abi": "6.0.0-nightly.20260921",
+    "@aztec-labs/blob-lib": "6.0.0-nightly.20260923",
+    "@aztec-labs/constants": "6.0.0-nightly.20260923",
+    "@aztec-labs/ethereum": "6.0.0-nightly.20260923",
+    "@aztec-labs/foundation": "6.0.0-nightly.20260923",
     "@google-cloud/storage": "^7.15.0",
     "axios": "^1.15.1",
     "json-stringify-deterministic": "1.0.12",
@@ -108,7 +108,7 @@
     "msgpackr": "^1.11.2",
     "pako": "^2.1.0",
     "tslib": "^2.4.0",
-    "viem": "npm:@aztec/viem@2.38.2",
+    "viem": "npm:@aztec/viem@2.38.3",
     "zod": "~4.4.3"
   },
   "devDependencies": {

package/src/block/proposal/committee_attestation.ts CHANGED Viewed

@@ -1,4 +1,5 @@
 import type { ViemCommitteeAttestation, ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts';
+import { Buffer32 } from '@aztec-labs/foundation/buffer';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { Signature } from '@aztec-labs/foundation/eth-signature';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
@@ -76,10 +77,10 @@ export class CommitteeAttestation {
         }
         const v = dataBuffer[dataIndex];
-        const r = `0x${dataBuffer.subarray(dataIndex + 1, dataIndex + 33).toString('hex')}` as const;
-        const s = `0x${dataBuffer.subarray(dataIndex + 33, dataIndex + 65).toString('hex')}` as const;
+        const r = Buffer32.fromBuffer(dataBuffer.subarray(dataIndex + 1, dataIndex + 33));
+        const s = Buffer32.fromBuffer(dataBuffer.subarray(dataIndex + 33, dataIndex + 65));
-        const signature = Signature.fromViemSignature({ r, s, v });
+        const signature = new Signature(r, s, v);
         // For signed attestations, we use a zero address as the address is recovered from the signature
         attestations.push(new CommitteeAttestation(EthAddress.ZERO, signature));
@@ -90,8 +91,7 @@ export class CommitteeAttestation {
           throw new Error(`Insufficient data for address at position ${i}`);
         }
-        const addressBytes = dataBuffer.subarray(dataIndex, dataIndex + 20);
-        const address = EthAddress.fromString(`0x${addressBytes.toString('hex')}`);
+        const address = EthAddress.fromBuffer(dataBuffer.subarray(dataIndex, dataIndex + 20));
         // For address-only attestations, use empty signature
         attestations.push(new CommitteeAttestation(address, Signature.empty()));

package/src/block/test/l2_tips_store_test_suite.ts CHANGED Viewed

@@ -3,6 +3,7 @@ import { times } from '@aztec-labs/foundation/collection';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import {
   type CheckpointId,
+  CommitteeAttestationsAndSigners,
   GENESIS_CHECKPOINT_HEADER_HASH,
   L2Block,
   type L2BlockId,
@@ -91,7 +92,12 @@ export function testL2TipsStore(makeTipsStore: () => Promise<L2TipsStore>) {
       blockToCheckpoint.set(block.number, checkpointNumber);
     }
-    return new PublishedCheckpoint(checkpoint, L1PublishedData.random(), []);
+    return new PublishedCheckpoint(
+      checkpoint,
+      L1PublishedData.random(),
+      [],
+      CommitteeAttestationsAndSigners.packAttestations([]),
+    );
   };
   /** Creates a thin chain-checkpointed event carrying the block + checkpoint ids of the checkpoint's last block. */

package/src/block/validate_block_result.ts CHANGED Viewed

@@ -1,4 +1,7 @@
-import type { ViemCommitteeAttestations } from '@aztec-labs/ethereum/contracts';
+import {
+  type ViemCommitteeAttestations,
+  ViemCommitteeAttestationsSchema,
+} from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { EpochNumber, EpochNumberSchema } from '@aztec-labs/foundation/branded-types';
 import { EthAddress } from '@aztec-labs/foundation/eth-address';
 import { type ZodFor, schemas } from '@aztec-labs/foundation/schemas';
@@ -71,12 +74,6 @@ export type ValidateCheckpointNegativeResult =
 /** Result type for validating checkpoint attestations */
 export type ValidateCheckpointResult = { valid: true } | ValidateCheckpointNegativeResult;
-/** Zod schema for the raw packed `CommitteeAttestations` viem tuple (two 0x-prefixed hex strings). */
-const ViemCommitteeAttestationsSchema: ZodFor<ViemCommitteeAttestations> = z.object({
-  signatureIndices: schemas.HexStringWith0x,
-  signaturesOrAddresses: schemas.HexStringWith0x,
-});
 export const ValidateCheckpointResultSchema: ZodFor<ValidateCheckpointResult> = z.union([
   z.object({ valid: z.literal(true) }),
   z.object({

package/src/checkpoint/checkpoint_data.ts CHANGED Viewed

@@ -1,3 +1,7 @@
+import {
+  type ViemCommitteeAttestations,
+  ViemCommitteeAttestationsSchema,
+} from '@aztec-labs/ethereum/contracts/committee-attestations';
 import {
   BlockNumber,
   BlockNumberSchema,
@@ -24,6 +28,11 @@ export type CommonCheckpointData = {
 /** Data stored with checkpoint data after publishing on l1 */
 export type L1EnrichedCheckpointData = {
   attestations: CommitteeAttestation[];
+  /**
+   * The packed `CommitteeAttestations` tuple exactly as posted to L1. {@link attestations} is what this tuple
+   * decodes to; only the tuple reproduces the `attestationsHash` the rollup stored at propose time.
+   */
+  verbatimAttestations: ViemCommitteeAttestations;
   l1: L1PublishedData;
 };
@@ -86,6 +95,7 @@ export const CheckpointDataSchema = z
     blockCount: schemas.Integer,
     feeAssetPriceModifier: schemas.BigInt,
     attestations: z.array(CommitteeAttestation.schema),
+    verbatimAttestations: ViemCommitteeAttestationsSchema,
     l1: L1PublishedData.schema,
   })
   .transform(
@@ -98,6 +108,7 @@ export const CheckpointDataSchema = z
       blockCount: obj.blockCount,
       feeAssetPriceModifier: obj.feeAssetPriceModifier,
       attestations: obj.attestations,
+      verbatimAttestations: obj.verbatimAttestations,
       l1: obj.l1,
     }),
   );

package/src/checkpoint/published_checkpoint.ts CHANGED Viewed

@@ -1,8 +1,13 @@
 // Ignoring import issue to fix portable inferred type issue in zod schema
+import {
+  type ViemCommitteeAttestations,
+  ViemCommitteeAttestationsSchema,
+} from '@aztec-labs/ethereum/contracts/committee-attestations';
 import { Buffer32 } from '@aztec-labs/foundation/buffer';
 import { randomBigInt } from '@aztec-labs/foundation/crypto/random';
 import { schemas } from '@aztec-labs/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
 import type { FieldsOf } from '@aztec-labs/foundation/types';
 import { z } from 'zod';
@@ -60,6 +65,14 @@ export class PublishedCheckpoint {
     public l1: L1PublishedData,
     /** The attestations for the last block in the checkpoint. */
     public attestations: CommitteeAttestation[],
+    /**
+     * The packed `CommitteeAttestations` tuple exactly as it appeared in the propose calldata. The rollup
+     * stores `keccak256(abi.encode(tuple))` and re-checks it when an epoch proof or an invalidation is
+     * submitted, so the tuple can only be reproduced from these bytes: repacking the decoded
+     * {@link attestations} zeroes bitmap bits past the committee size and canonicalizes recovery bytes,
+     * neither of which any decoder reads but both of which the stored hash covers.
+     */
+    public verbatimAttestations: ViemCommitteeAttestations,
   ) {}
   static get schema() {
@@ -68,12 +81,13 @@ export class PublishedCheckpoint {
         checkpoint: Checkpoint.schema,
         l1: L1PublishedData.schema,
         attestations: z.array(CommitteeAttestation.schema),
+        verbatimAttestations: ViemCommitteeAttestationsSchema,
       })
       .transform(obj => PublishedCheckpoint.from(obj));
   }
   static getFields(fields: FieldsOf<PublishedCheckpoint>) {
-    return [fields.checkpoint, fields.l1, fields.attestations] as const;
+    return [fields.checkpoint, fields.l1, fields.attestations, fields.verbatimAttestations] as const;
   }
   static from(fields: FieldsOf<PublishedCheckpoint>) {
@@ -87,14 +101,21 @@ export class PublishedCheckpoint {
     const l1BlockHash = reader.readString(MAX_BLOCK_HASH_STRING_LENGTH);
     const l1Timestamp = reader.readBigInt();
     const attestations = reader.readVector(CommitteeAttestation, MAX_COMMITTEE_SIZE);
+    const verbatimAttestations: ViemCommitteeAttestations = {
+      signatureIndices: bufferToHex(reader.readBuffer()),
+      signaturesOrAddresses: bufferToHex(reader.readBuffer()),
+    };
     return new PublishedCheckpoint(
       checkpoint,
       new L1PublishedData(l1BlockNumber, l1Timestamp, l1BlockHash),
       attestations,
+      verbatimAttestations,
     );
   }
   public toBuffer(): Buffer {
+    const signatureIndices = hexToBuffer(this.verbatimAttestations.signatureIndices);
+    const signaturesOrAddresses = hexToBuffer(this.verbatimAttestations.signaturesOrAddresses);
     return serializeToBuffer(
       this.checkpoint,
       this.l1.blockNumber,
@@ -102,6 +123,10 @@ export class PublishedCheckpoint {
       this.l1.timestamp,
       this.attestations.length,
       this.attestations,
+      signatureIndices.length,
+      signatureIndices,
+      signaturesOrAddresses.length,
+      signaturesOrAddresses,
     );
   }
 }