@aztec/archiver 3.0.0-nightly.20251015 → 3.0.0-nightly.20251022

package/dest/archiver/validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/archiver/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EAEzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,KAAK,iBAAiB,EAAkB,MAAM,6BAA6B,CAAC;AAErF,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,cAAc,EAAE,gBAAgB,EAChC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,EACnD,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,mBAAmB,CAAC,CAqE9B"}
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/archiver/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,mBAAmB,EAEzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,KAAK,iBAAiB,EAAkB,MAAM,6BAA6B,CAAC;AAErF,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,cAAc,EAAE,gBAAgB,EAChC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,eAAe,CAAC,EACnD,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,mBAAmB,CAAC,CA4E9B"}

package/dest/archiver/validation.js

@@ -1,11 +1,12 @@
-import { getAttestationsFromPublishedL2Block } from '@aztec/stdlib/block';
+import { compactArray } from '@aztec/foundation/collection';
+import { getAttestationInfoFromPublishedL2Block } from '@aztec/stdlib/block';
 import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
 /**
  * Validates the attestations submitted for the given block.
  * Returns true if the attestations are valid and sufficient, false otherwise.
  */ export async function validateBlockAttestations(publishedBlock, epochCache, constants, logger) {
-    const attestations = getAttestationsFromPublishedL2Block(publishedBlock);
-    const attestors = attestations.map((a)=>a.getSender());
+    const attestorInfos = getAttestationInfoFromPublishedL2Block(publishedBlock);
+    const attestors = compactArray(attestorInfos.map((info)=>'address' in info ? info.address : undefined));
     const { block } = publishedBlock;
     const blockHash = await block.hash().then((hash)=>hash.toString());
     const archiveRoot = block.archive.root.toString();
@@ -21,8 +22,8 @@ import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
     };
     logger?.debug(`Validating attestations for block ${block.number} at slot ${slot} in epoch ${epoch}`, {
         committee: (committee ?? []).map((member)=>member.toString()),
-        recoveredAttestors: attestations.map((a)=>a.getSender().toString()),
-        postedAttestations: publishedBlock.attestations.map((a)=>a.address.isZero() ? a.signature.toString() : a.address.toString()),
+        recoveredAttestors: attestorInfos,
+        postedAttestations: publishedBlock.attestations.map((a)=>(a.address.isZero() ? a.signature : a.address).toString()),
         ...logData
     });
     if (!committee || committee.length === 0) {
@@ -33,44 +34,54 @@ import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
     }
     const committeeSet = new Set(committee.map((member)=>member.toString()));
     const requiredAttestationCount = Math.floor(committee.length * 2 / 3) + 1;
-    for(let i = 0; i < attestations.length; i++){
-        const attestation = attestations[i];
-        const signer = attestation.getSender().toString();
-        if (!committeeSet.has(signer)) {
-            logger?.warn(`Attestation from non-committee member ${signer} at slot ${slot}`, {
-                committee
+    const failedValidationResult = (reason)=>({
+            valid: false,
+            reason,
+            block: publishedBlock.block.toBlockInfo(),
+            committee,
+            seed,
+            epoch,
+            attestors,
+            attestations: publishedBlock.attestations
+        });
+    for(let i = 0; i < attestorInfos.length; i++){
+        const info = attestorInfos[i];
+        // Fail on invalid signatures (no address recovered)
+        if (info.status === 'invalid-signature' || info.status === 'empty') {
+            logger?.warn(`Attestation with empty or invalid signature at slot ${slot}`, {
+                committee,
+                invalidIndex: i,
+                ...logData
             });
-            const reason = 'invalid-attestation';
             return {
-                valid: false,
-                reason,
-                invalidIndex: i,
-                block: publishedBlock.block.toBlockInfo(),
-                committee,
-                seed,
-                epoch,
-                attestors,
-                attestations: publishedBlock.attestations
+                ...failedValidationResult('invalid-attestation'),
+                invalidIndex: i
             };
         }
+        // Check if the attestor is in the committee
+        if (info.status === 'recovered-from-signature' || info.status === 'provided-as-address') {
+            const signer = info.address.toString();
+            if (!committeeSet.has(signer)) {
+                logger?.warn(`Attestation from non-committee member ${signer} at slot ${slot}`, {
+                    committee,
+                    invalidIndex: i,
+                    ...logData
+                });
+                return {
+                    ...failedValidationResult('invalid-attestation'),
+                    invalidIndex: i
+                };
+            }
+        }
     }
-    if (attestations.length < requiredAttestationCount) {
+    const validAttestationCount = attestorInfos.filter((info)=>info.status === 'recovered-from-signature').length;
+    if (validAttestationCount < requiredAttestationCount) {
         logger?.warn(`Insufficient attestations for block at slot ${slot}`, {
             requiredAttestations: requiredAttestationCount,
-            actualAttestations: attestations.length,
+            actualAttestations: validAttestationCount,
             ...logData
         });
-        const reason = 'insufficient-attestations';
-        return {
-            valid: false,
-            reason,
-            block: publishedBlock.block.toBlockInfo(),
-            committee,
-            seed,
-            epoch,
-            attestors,
-            attestations: publishedBlock.attestations
-        };
+        return failedValidationResult('insufficient-attestations');
     }
     logger?.debug(`Block attestations validated successfully for block ${block.number} at slot ${slot}`, logData);
     return {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/archiver",
-  "version": "3.0.0-nightly.20251015",
+  "version": "3.0.0-nightly.20251022",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -66,23 +66,23 @@
     ]
   },
   "dependencies": {
-    "@aztec/blob-lib": "3.0.0-nightly.20251015",
-    "@aztec/blob-sink": "3.0.0-nightly.20251015",
-    "@aztec/constants": "3.0.0-nightly.20251015",
-    "@aztec/epoch-cache": "3.0.0-nightly.20251015",
-    "@aztec/ethereum": "3.0.0-nightly.20251015",
-    "@aztec/foundation": "3.0.0-nightly.20251015",
-    "@aztec/kv-store": "3.0.0-nightly.20251015",
-    "@aztec/l1-artifacts": "3.0.0-nightly.20251015",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251015",
-    "@aztec/protocol-contracts": "3.0.0-nightly.20251015",
-    "@aztec/stdlib": "3.0.0-nightly.20251015",
-    "@aztec/telemetry-client": "3.0.0-nightly.20251015",
+    "@aztec/blob-lib": "3.0.0-nightly.20251022",
+    "@aztec/blob-sink": "3.0.0-nightly.20251022",
+    "@aztec/constants": "3.0.0-nightly.20251022",
+    "@aztec/epoch-cache": "3.0.0-nightly.20251022",
+    "@aztec/ethereum": "3.0.0-nightly.20251022",
+    "@aztec/foundation": "3.0.0-nightly.20251022",
+    "@aztec/kv-store": "3.0.0-nightly.20251022",
+    "@aztec/l1-artifacts": "3.0.0-nightly.20251022",
+    "@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251022",
+    "@aztec/protocol-contracts": "3.0.0-nightly.20251022",
+    "@aztec/stdlib": "3.0.0-nightly.20251022",
+    "@aztec/telemetry-client": "3.0.0-nightly.20251022",
     "lodash.groupby": "^4.6.0",
     "lodash.omit": "^4.5.0",
     "tsc-watch": "^6.0.0",
     "tslib": "^2.5.0",
-    "viem": "2.23.7"
+    "viem": "npm:@spalladino/viem@2.38.2-eip7594.0"
   },
   "devDependencies": {
     "@jest/globals": "^30.0.0",

package/src/archiver/validation.ts

@@ -1,9 +1,11 @@
 import type { EpochCache } from '@aztec/epoch-cache';
+import { compactArray } from '@aztec/foundation/collection';
 import type { Logger } from '@aztec/foundation/log';
 import {
   type PublishedL2Block,
+  type ValidateBlockNegativeResult,
   type ValidateBlockResult,
-  getAttestationsFromPublishedL2Block,
+  getAttestationInfoFromPublishedL2Block,
 } from '@aztec/stdlib/block';
 import { type L1RollupConstants, getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
 
@@ -19,8 +21,8 @@ export async function validateBlockAttestations(
   constants: Pick<L1RollupConstants, 'epochDuration'>,
   logger?: Logger,
 ): Promise<ValidateBlockResult> {
-  const attestations = getAttestationsFromPublishedL2Block(publishedBlock);
-  const attestors = attestations.map(a => a.getSender());
+  const attestorInfos = getAttestationInfoFromPublishedL2Block(publishedBlock);
+  const attestors = compactArray(attestorInfos.map(info => ('address' in info ? info.address : undefined)));
   const { block } = publishedBlock;
   const blockHash = await block.hash().then(hash => hash.toString());
   const archiveRoot = block.archive.root.toString();
@@ -31,10 +33,8 @@ export async function validateBlockAttestations(
 
   logger?.debug(`Validating attestations for block ${block.number} at slot ${slot} in epoch ${epoch}`, {
     committee: (committee ?? []).map(member => member.toString()),
-    recoveredAttestors: attestations.map(a => a.getSender().toString()),
-    postedAttestations: publishedBlock.attestations.map(a =>
-      a.address.isZero() ? a.signature.toString() : a.address.toString(),
-    ),
+    recoveredAttestors: attestorInfos,
+    postedAttestations: publishedBlock.attestations.map(a => (a.address.isZero() ? a.signature : a.address).toString()),
     ...logData,
   });
 
@@ -46,43 +46,52 @@ export async function validateBlockAttestations(
   const committeeSet = new Set(committee.map(member => member.toString()));
   const requiredAttestationCount = Math.floor((committee.length * 2) / 3) + 1;
 
-  for (let i = 0; i < attestations.length; i++) {
-    const attestation = attestations[i];
-    const signer = attestation.getSender().toString();
-    if (!committeeSet.has(signer)) {
-      logger?.warn(`Attestation from non-committee member ${signer} at slot ${slot}`, { committee });
-      const reason = 'invalid-attestation';
-      return {
-        valid: false,
-        reason,
-        invalidIndex: i,
-        block: publishedBlock.block.toBlockInfo(),
+  const failedValidationResult = <TReason extends ValidateBlockNegativeResult['reason']>(reason: TReason) => ({
+    valid: false as const,
+    reason,
+    block: publishedBlock.block.toBlockInfo(),
+    committee,
+    seed,
+    epoch,
+    attestors,
+    attestations: publishedBlock.attestations,
+  });
+
+  for (let i = 0; i < attestorInfos.length; i++) {
+    const info = attestorInfos[i];
+
+    // Fail on invalid signatures (no address recovered)
+    if (info.status === 'invalid-signature' || info.status === 'empty') {
+      logger?.warn(`Attestation with empty or invalid signature at slot ${slot}`, {
         committee,
-        seed,
-        epoch,
-        attestors,
-        attestations: publishedBlock.attestations,
-      };
+        invalidIndex: i,
+        ...logData,
+      });
+      return { ...failedValidationResult('invalid-attestation'), invalidIndex: i };
+    }
+
+    // Check if the attestor is in the committee
+    if (info.status === 'recovered-from-signature' || info.status === 'provided-as-address') {
+      const signer = info.address.toString();
+      if (!committeeSet.has(signer)) {
+        logger?.warn(`Attestation from non-committee member ${signer} at slot ${slot}`, {
+          committee,
+          invalidIndex: i,
+          ...logData,
+        });
+        return { ...failedValidationResult('invalid-attestation'), invalidIndex: i };
+      }
     }
   }
 
-  if (attestations.length < requiredAttestationCount) {
+  const validAttestationCount = attestorInfos.filter(info => info.status === 'recovered-from-signature').length;
+  if (validAttestationCount < requiredAttestationCount) {
     logger?.warn(`Insufficient attestations for block at slot ${slot}`, {
       requiredAttestations: requiredAttestationCount,
-      actualAttestations: attestations.length,
+      actualAttestations: validAttestationCount,
       ...logData,
     });
-    const reason = 'insufficient-attestations';
-    return {
-      valid: false,
-      reason,
-      block: publishedBlock.block.toBlockInfo(),
-      committee,
-      seed,
-      epoch,
-      attestors,
-      attestations: publishedBlock.attestations,
-    };
+    return failedValidationResult('insufficient-attestations');
   }
 
   logger?.debug(`Block attestations validated successfully for block ${block.number} at slot ${slot}`, logData);