AztecProtocol · ludamad · Mar 11, 2026 · Mar 5, 2026 · Mar 7, 2026 · Mar 7, 2026
diff --git a/spartan/environments/alpha-net.env b/spartan/environments/alpha-net.env
@@ -66,6 +66,7 @@ AZTEC_SLASHING_QUORUM=5
 AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS=0
 AZTEC_SLASHING_OFFSET_IN_ROUNDS=1
 AZTEC_LOCAL_EJECTION_THRESHOLD=90000000000000000000
+SPONSORED_FPC=true
 
 SEQ_MAX_TX_PER_CHECKPOINT=72
 SEQ_MIN_TX_PER_BLOCK=0

diff --git a/spartan/environments/next-scenario.env b/spartan/environments/next-scenario.env
@@ -36,6 +36,7 @@ AZTEC_SLASHING_ROUND_SIZE_IN_EPOCHS=1
 AZTEC_SLASHING_QUORUM=17
 AZTEC_SLASHING_OFFSET_IN_ROUNDS=2
 AZTEC_LOCAL_EJECTION_THRESHOLD=90000000000000000000
+SPONSORED_FPC=true
 
 AZTEC_GOVERNANCE_PROPOSER_QUORUM=11
 AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE=20

diff --git a/spartan/environments/prove-n-tps-fake.env b/spartan/environments/prove-n-tps-fake.env
@@ -7,6 +7,8 @@ AZTEC_SLOT_DURATION=72
 AZTEC_PROOF_SUBMISSION_EPOCHS=1
 AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET=1
 AZTEC_LAG_IN_EPOCHS_FOR_RANDAO=1
+AZTEC_MANA_TARGET=1000000000 # 1B mana
+SPONSORED_FPC=true
 
 CREATE_ETH_DEVNET=true
 DESTROY_NAMESPACE=true
@@ -29,7 +31,7 @@ REAL_VERIFIER=false
 RPC_REPLICAS=1
 RPC_INGRESS_ENABLED=false
 
-PROVER_REPLICAS=200
+PROVER_REPLICAS=10
 PROVER_RESOURCE_PROFILE="hi-tps"
 PROVER_PUBLISHER_MNEMONIC_START_INDEX=8000
 PROVER_AGENT_POLL_INTERVAL_MS=10000
@@ -40,6 +42,9 @@ PROVER_TEST_VERIFICATION_DELAY_MS=250
 
 SEQ_MAX_TX_PER_CHECKPOINT=80
 SEQ_MIN_TX_PER_BLOCK=0
+SEQ_BLOCK_DURATION_MS=6000
+SEQ_L1_PUBLISHING_TIME_ALLOWANCE_IN_SLOT=36
+SEQ_BUILD_CHECKPOINT_IF_EMPTY=true
 P2P_MAX_TX_POOL_SIZE=1000000000
 DEBUG_P2P_INSTRUMENT_MESSAGES=true
 

diff --git a/spartan/environments/prove-n-tps-real.env b/spartan/environments/prove-n-tps-real.env
@@ -8,6 +8,7 @@ AZTEC_PROOF_SUBMISSION_EPOCHS=1
 AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET=1
 AZTEC_LAG_IN_EPOCHS_FOR_RANDAO=1
 AZTEC_MANA_TARGET=1000000000 # 1B mana
+SPONSORED_FPC=true
 
 CREATE_ETH_DEVNET=true
 DESTROY_NAMESPACE=true

diff --git a/spartan/environments/scenario.local.env b/spartan/environments/scenario.local.env
@@ -20,6 +20,7 @@ AZTEC_SLASH_AMOUNT_MEDIUM=10000000000000000000
 AZTEC_SLASH_AMOUNT_LARGE=15000000000000000000
 AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET=2
 AZTEC_LAG_IN_EPOCHS_FOR_RANDAO=2
+SPONSORED_FPC=true
 
 R2_ACCESS_KEY_ID=""
 R2_SECRET_ACCESS_KEY=""

diff --git a/spartan/environments/ten-tps-long-epoch.env b/spartan/environments/ten-tps-long-epoch.env
@@ -20,6 +20,7 @@ DESTROY_AZTEC_INFRA=true
 
 AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET=1
 AZTEC_LAG_IN_EPOCHS_FOR_RANDAO=1
+SPONSORED_FPC=true
 
 OTEL_COLLECTOR_ENDPOINT=REPLACE_WITH_GCP_SECRET
 

diff --git a/spartan/environments/ten-tps-short-epoch.env b/spartan/environments/ten-tps-short-epoch.env
@@ -20,6 +20,7 @@ DESTROY_AZTEC_INFRA=true
 
 AZTEC_LAG_IN_EPOCHS_FOR_VALIDATOR_SET=1
 AZTEC_LAG_IN_EPOCHS_FOR_RANDAO=1
+SPONSORED_FPC=true
 
 OTEL_COLLECTOR_ENDPOINT=REPLACE_WITH_GCP_SECRET
 

diff --git a/spartan/environments/tps-scenario.env b/spartan/environments/tps-scenario.env
@@ -6,6 +6,7 @@ AZTEC_EPOCH_DURATION=8
 AZTEC_SLOT_DURATION=72
 AZTEC_PROOF_SUBMISSION_EPOCHS=2
 AZTEC_LAG_IN_EPOCHS=1
+SPONSORED_FPC=true
 
 CREATE_ETH_DEVNET=false
 L1_NETWORK=sepolia

diff --git a/yarn-project/archiver/src/archiver-store.test.ts b/yarn-project/archiver/src/archiver-store.test.ts
@@ -72,6 +72,7 @@ describe('Archiver Store', () => {
       ethereumSlotDuration: 12,
       proofSubmissionEpochs: 1,
       targetCommitteeSize: 48,
+      rollupManaLimit: Number.MAX_SAFE_INTEGER,
       genesisArchiveRoot: new Fr(GENESIS_ARCHIVE_ROOT),
     };
 

diff --git a/yarn-project/archiver/src/archiver-sync.test.ts b/yarn-project/archiver/src/archiver-sync.test.ts
@@ -75,6 +75,7 @@ describe('Archiver Sync', () => {
       ethereumSlotDuration: DefaultL1ContractsConfig.ethereumSlotDuration,
       proofSubmissionEpochs: 1,
       targetCommitteeSize: 48,
+      rollupManaLimit: Number.MAX_SAFE_INTEGER,
       genesisArchiveRoot: GENESIS_ROOT,
     };
 

diff --git a/yarn-project/archiver/src/archiver.ts b/yarn-project/archiver/src/archiver.ts
@@ -123,7 +123,6 @@ export class Archiver extends ArchiverDataSourceBase implements L2BlockSink, Tra
     protected override readonly l1Constants: L1RollupConstants & {
       l1StartBlockHash: Buffer32;
       genesisArchiveRoot: Fr;
-      rollupManaLimit?: number;
     },
     synchronizer: ArchiverL1Synchronizer,
     events: ArchiverEmitter,

diff --git a/yarn-project/archiver/src/modules/l1_synchronizer.ts b/yarn-project/archiver/src/modules/l1_synchronizer.ts
@@ -72,7 +72,6 @@ export class ArchiverL1Synchronizer implements Traceable {
     private readonly l1Constants: L1RollupConstants & {
       l1StartBlockHash: Buffer32;
       genesisArchiveRoot: Fr;
-      rollupManaLimit?: number;
     },
     private readonly events: ArchiverEmitter,
     tracer: Tracer,

diff --git a/yarn-project/aztec-node/src/aztec-node/server.test.ts b/yarn-project/aztec-node/src/aztec-node/server.test.ts
@@ -136,6 +136,7 @@ describe('aztec node', () => {
 
     l2BlockSource = mock<L2BlockSource>();
     l2BlockSource.getBlockNumber.mockImplementation(() => Promise.resolve(lastBlockNumber));
+    l2BlockSource.getL1Constants.mockResolvedValue(EmptyL1RollupConstants);
 
     const l2LogsSource = mock<L2LogsSource>();
 

diff --git a/yarn-project/aztec-node/src/aztec-node/server.ts b/yarn-project/aztec-node/src/aztec-node/server.ts
@@ -1318,6 +1318,7 @@ export class AztecNodeService implements AztecNode, AztecNodeAdmin, Traceable {
     // We accept transactions if they are not expired by the next slot (checked based on the ExpirationTimestamp field)
     const { ts: nextSlotTimestamp } = this.epochCache.getEpochAndSlotInNextL1Slot();
     const blockNumber = BlockNumber((await this.blockSource.getBlockNumber()) + 1);
+    const l1Constants = await this.blockSource.getL1Constants();
     const validator = createTxValidatorForAcceptingTxsOverRPC(
       db,
       this.contractDataSource,
@@ -1334,6 +1335,9 @@ export class AztecNodeService implements AztecNode, AztecNodeAdmin, Traceable {
         gasFees: await this.getCurrentMinFees(),
         skipFeeEnforcement,
         txsPermitted: !this.config.disableTransactions,
+        rollupManaLimit: l1Constants.rollupManaLimit,
+        maxBlockL2Gas: this.config.validateMaxL2BlockGas,
+        maxBlockDAGas: this.config.validateMaxDABlockGas,
       },
       this.log.getBindings(),
     );

diff --git a/yarn-project/aztec-node/src/sentinel/sentinel.test.ts b/yarn-project/aztec-node/src/sentinel/sentinel.test.ts
@@ -76,6 +76,7 @@ describe('sentinel', () => {
       ethereumSlotDuration: 12,
       proofSubmissionEpochs: 1,
       targetCommitteeSize: 48,
+      rollupManaLimit: Number.MAX_SAFE_INTEGER,
     };
 
     epochCache.getEpochAndSlotNow.mockReturnValue({ epoch, slot, ts, nowMs: ts * 1000n });

diff --git a/yarn-project/end-to-end/src/composed/ha/e2e_ha_full.test.ts b/yarn-project/end-to-end/src/composed/ha/e2e_ha_full.test.ts
@@ -21,6 +21,7 @@ import { withLoggerBindings } from '@aztec/foundation/log/server';
 import { retryUntil } from '@aztec/foundation/retry';
 import { sleep } from '@aztec/foundation/sleep';
 import type { TestDateProvider } from '@aztec/foundation/timer';
+import { GovernanceProposerAbi } from '@aztec/l1-artifacts/GovernanceProposerAbi';
 import { StatefulTestContractArtifact } from '@aztec/noir-test-contracts.js/StatefulTest';
 import { type AttestationInfo, getAttestationInfoFromPublishedCheckpoint } from '@aztec/stdlib/block';
 import type { ValidatorClient } from '@aztec/validator-client';
@@ -480,28 +481,32 @@ describe('HA Full Setup', () => {
       0.2, // interval in seconds (200ms)
     );
 
-    // Get L1 round info to determine which slots have actually landed on L1.
-    // We anchor the comparison on L1's lastSignalSlot since:
-    // - The DB may have duties for future slots that haven't been published to L1 yet
-    // - L1 may have signals from earlier slots in the round before the governance payload was set in the DB
-    const roundInfo = await governanceProposer.getRoundInfo(
-      deployL1ContractsValues.l1ContractAddresses.rollupAddress.toString(),
-      round,
-    );
-    const lastSignalSlot = Number(roundInfo.lastSignalSlot);
-
-    // Re-query L1 vote count after getting lastSignalSlot in case more votes landed between the poll and getRoundInfo:
-    // the retryUntil may return a stale count if more votes land between the poll and getRoundInfo
-    const l1VoteCount = Number(
-      await governanceProposer.getPayloadSignals(
-        deployL1ContractsValues.l1ContractAddresses.rollupAddress.toString(),
-        round,
-        mockGovernancePayload.toString(),
-      ),
-    );
+    // Read lastSignalSlot and l1VoteCount from the same L1 block to get a consistent snapshot.
+    const rollupAddr = deployL1ContractsValues.l1ContractAddresses.rollupAddress.toString() as `0x${string}`;
+    const govProposerAddr =
+      deployL1ContractsValues.l1ContractAddresses.governanceProposerAddress.toString() as `0x${string}`;
+    const snapshotBlock = await deployL1ContractsValues.l1Client.getBlockNumber();
+    const [roundData, l1VoteCountBig] = await Promise.all([
+      deployL1ContractsValues.l1Client.readContract({
+        address: govProposerAddr,
+        abi: GovernanceProposerAbi,
+        functionName: 'getRoundData',
+        args: [rollupAddr, round],
+        blockNumber: snapshotBlock,
+      }),
+      deployL1ContractsValues.l1Client.readContract({
+        address: govProposerAddr,
+        abi: GovernanceProposerAbi,
+        functionName: 'signalCount',
+        args: [rollupAddr, round, mockGovernancePayload.toString() as `0x${string}`],
+        blockNumber: snapshotBlock,
+      }),
+    ]);
+    const lastSignalSlot = Number(roundData.lastSignalSlot);
+    const l1VoteCount = Number(l1VoteCountBig);
     expect(l1VoteCount).toBeGreaterThan(0);
     logger.info(
-      `L1 round ${round} info: lastSignalSlot=${lastSignalSlot}, l1VoteCount=${l1VoteCount}, payloadWithMostSignals=${roundInfo.payloadWithMostSignals}`,
+      `L1 round ${round} info: lastSignalSlot=${lastSignalSlot}, l1VoteCount=${l1VoteCount}, payloadWithMostSignals=${roundData.payloadWithMostSignals} (snapshot at L1 block ${snapshotBlock})`,
     );
 
     // Query governance vote duties only for slots that have actually landed on L1 (up to lastSignalSlot)

diff --git a/yarn-project/end-to-end/src/e2e_epochs/epochs_test.ts b/yarn-project/end-to-end/src/e2e_epochs/epochs_test.ts
@@ -181,6 +181,7 @@ export class EpochsTestContext {
       ethereumSlotDuration,
       proofSubmissionEpochs: Number(await this.rollup.getProofSubmissionEpochs()),
       targetCommitteeSize: await this.rollup.getTargetCommitteeSize(),
+      rollupManaLimit: Number(await this.rollup.getManaLimit()),
     };
 
     this.logger.info(