chore: AZIP-16 v5 default parameter updates (#23764)

## Summary

Apply AZIP-16 deployment-time parameter updates to the v5 release
defaults in `spartan/environments/network-defaults.yml`, plus the two
per-deployment env overlays that would otherwise defeat them.

**Mainnet** (literal AZIP values):
- `AZTEC_SLASH_AMOUNT_MEDIUM`/`LARGE`: `2000e18` → `5000e18` (SMALL
unchanged at `2000e18`)
- `AZTEC_PROVING_COST_PER_MANA`: `25_000_000` → `12_500_000` (halved to
track v5 prover-cost reduction)
- Activate `SLASH_DUPLICATE_PROPOSAL_PENALTY` and
`SLASH_DUPLICATE_ATTESTATION_PENALTY` at LARGE (`5000e18`)
- Activate `SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY` at SMALL
(`2000e18`)
- Defer `SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY` and
`SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY`
to `0` for this release cycle
- `SLASH_DATA_WITHHOLDING_PENALTY` carried forward at `0`
- `AZTEC_LOCAL_EJECTION_THRESHOLD` unchanged at `190000e18`

**Testnet** (mirrors mainnet class structure at testnet's existing
scale):
- `AZTEC_SLASH_AMOUNT_MEDIUM`/`LARGE`: `100000e18` → `250000e18` (SMALL
unchanged at `100000e18`)
- `AZTEC_PROVING_COST_PER_MANA`: `25_000_000` → `12_500_000`
- All `SLASH_*_PENALTY` values normalized to `{0, SMALL=100000e18,
LARGE=250000e18}` matching mainnet's class pattern

**Per-deployment env overlays realigned** so the YAML changes actually
reach deployments:
- `spartan/environments/testnet.env`: `PROVING_COST_PER_MANA` →
`12500000`; `SLASH_AMOUNT_MEDIUM/LARGE` → `250000e18`
- `spartan/environments/staging-public.env`: `PROVING_COST_PER_MANA` →
`12500000`

## Notes for reviewers

- The four generated outputs
(`yarn-project/cli/src/config/generated/networks.ts`,
`yarn-project/ethereum/src/generated/l1-contracts-defaults.ts`,
`yarn-project/slasher/src/generated/slasher-defaults.ts`,
`l1-contracts/generated/default.json`) are gitignored and regenerate
from the YAML via `yarn generate` × 3 + `./bootstrap.sh` in
`l1-contracts/`.
- The non-penalty knobs that differ between testnet and mainnet today
(`SLASH_INACTIVITY_TARGET_PERCENTAGE`,
`SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD`,
`SLASH_GRACE_PERIOD_L2_SLOTS`) were intentionally left as-is — out of
scope for AZIP-16.
- AZIP-16 is currently **Draft** status in governance. This PR brings
the codebase in line with the proposal so the v5 release ships with the
AZIP-16 defaults; it does not assume the AZIP has been ratified.

## Verification

- Full `./bootstrap.sh` from git root: green (all workspaces compile,
`l1-contracts-src` 1664 contracts, yarn-project, release-image,
aztec-up, docs, playground all done)
- Audit confirmed no other call sites in the monorepo carry stale
AZIP-16 parameter values — TS tests use synthetic multipliers, Solidity
tests use unrelated unit-test values, no Terraform/Helm hardcoding

## References

- AZIP-16: AztecProtocol/governance#36
- Network-defaults code-gen flow: `spartan/CLAUDE.md` → Environment
Configuration → Network Defaults

Author: aminsammara

spartan/environments/network-defaults.yml

@@ -265,10 +265,10 @@ networks:
     AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE: 100
     AZTEC_GOVERNANCE_PROPOSER_QUORUM: 60
     AZTEC_MANA_TARGET: 75000000
-    AZTEC_PROVING_COST_PER_MANA: 25000000
+    AZTEC_PROVING_COST_PER_MANA: 12500000  # AZIP-16: halved to track v5 prover-cost reduction
     AZTEC_SLASH_AMOUNT_SMALL: 100000e18
-    AZTEC_SLASH_AMOUNT_MEDIUM: 100000e18
-    AZTEC_SLASH_AMOUNT_LARGE: 100000e18
+    AZTEC_SLASH_AMOUNT_MEDIUM: 250000e18  # AZIP-16: MEDIUM/LARGE raised 2.5x vs SMALL
+    AZTEC_SLASH_AMOUNT_LARGE: 250000e18
     # Network identity
     L1_CHAIN_ID: 11155111  # Sepolia
     # Genesis state
@@ -282,19 +282,19 @@ networks:
     # P2P
     P2P_MAX_PENDING_TX_COUNT: 1000
     P2P_TX_POOL_DELETE_TXS_AFTER_REORG: true
-    # Slasher penalties
-    SLASH_DATA_WITHHOLDING_PENALTY: 10e18
+    # Slasher penalties - mirrors mainnet class assignments (SMALL=100000e18, LARGE=250000e18, or 0)
+    SLASH_DATA_WITHHOLDING_PENALTY: 0
     SLASH_INACTIVITY_TARGET_PERCENTAGE: 0.9
     SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD: 1
-    SLASH_INACTIVITY_PENALTY: 10e18
-    SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY: 10e18
-    SLASH_DUPLICATE_PROPOSAL_PENALTY: 10e18
-    SLASH_DUPLICATE_ATTESTATION_PENALTY: 10e18
-    SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY: 10e18
-    SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 10e18
-    SLASH_UNKNOWN_PENALTY: 10e18
-    SLASH_INVALID_BLOCK_PENALTY: 10e18
-    SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 0
+    SLASH_INACTIVITY_PENALTY: 100000e18
+    SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY: 100000e18
+    SLASH_DUPLICATE_PROPOSAL_PENALTY: 250000e18  # AZIP-16: activated at LARGE
+    SLASH_DUPLICATE_ATTESTATION_PENALTY: 250000e18  # AZIP-16: activated at LARGE
+    SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY: 0  # AZIP-16: deferred to subsequent release
+    SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 0  # AZIP-16: deferred to subsequent release
+    SLASH_UNKNOWN_PENALTY: 100000e18
+    SLASH_INVALID_BLOCK_PENALTY: 100000e18
+    SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 100000e18  # AZIP-16: activated at SMALL
     SLASH_GRACE_PERIOD_L2_SLOTS: 64
     ENABLE_VERSION_CHECK: true
 
@@ -306,16 +306,16 @@ networks:
     AZTEC_EJECTION_THRESHOLD: 100000e18
     AZTEC_LOCAL_EJECTION_THRESHOLD: 190000e18
     AZTEC_SLASH_AMOUNT_SMALL: 2000e18
-    AZTEC_SLASH_AMOUNT_MEDIUM: 2000e18
-    AZTEC_SLASH_AMOUNT_LARGE: 2000e18
+    AZTEC_SLASH_AMOUNT_MEDIUM: 5000e18  # AZIP-16
+    AZTEC_SLASH_AMOUNT_LARGE: 5000e18  # AZIP-16
     AZTEC_SLASHING_LIFETIME_IN_ROUNDS: 34
     AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS: 28
     AZTEC_SLASHING_VETOER: "0xBbB4aF368d02827945748b28CD4b2D42e4A37480"
     AZTEC_SLASHING_QUORUM: 65
     AZTEC_GOVERNANCE_PROPOSER_QUORUM: 600
     AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE: 1000
     AZTEC_MANA_TARGET: 75000000
-    AZTEC_PROVING_COST_PER_MANA: 25000000
+    AZTEC_PROVING_COST_PER_MANA: 12500000  # AZIP-16: halved to track v5 prover-cost reduction
     AZTEC_EXIT_DELAY_SECONDS: 345600  # 4 days
     AZTEC_SLASHING_DISABLE_DURATION: 259200  # 3 days
     AZTEC_ENTRY_QUEUE_BOOTSTRAP_VALIDATOR_SET_SIZE: 500
@@ -348,11 +348,11 @@ networks:
     SLASH_INACTIVITY_CONSECUTIVE_EPOCH_THRESHOLD: 2
     SLASH_INACTIVITY_PENALTY: 2000e18
     SLASH_PROPOSE_INVALID_ATTESTATIONS_PENALTY: 2000e18
-    SLASH_DUPLICATE_PROPOSAL_PENALTY: 2000e18
-    SLASH_DUPLICATE_ATTESTATION_PENALTY: 2000e18
-    SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY: 2000e18
-    SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 2000e18
+    SLASH_DUPLICATE_PROPOSAL_PENALTY: 5000e18  # AZIP-16: activated at LARGE
+    SLASH_DUPLICATE_ATTESTATION_PENALTY: 5000e18  # AZIP-16: activated at LARGE
+    SLASH_PROPOSE_DESCENDANT_OF_CHECKPOINT_WITH_INVALID_ATTESTATIONS_PENALTY: 0  # AZIP-16: deferred to subsequent release
+    SLASH_ATTEST_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 0  # AZIP-16: deferred to subsequent release
     SLASH_UNKNOWN_PENALTY: 2000e18
     SLASH_INVALID_BLOCK_PENALTY: 2000e18
-    SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 0
+    SLASH_INVALID_CHECKPOINT_PROPOSAL_PENALTY: 2000e18  # AZIP-16: activated at SMALL
     SLASH_GRACE_PERIOD_L2_SLOTS: 1200

spartan/environments/staging-public.env

@@ -30,7 +30,7 @@ SPONSORED_FPC=false
 # Match testnet/mainnet mana target (75M) instead of global default (100M).
 # AZTEC_MANA_TARGET only takes effect on L1 contract redeployment.
 AZTEC_MANA_TARGET=75000000
-AZTEC_PROVING_COST_PER_MANA=25000000
+AZTEC_PROVING_COST_PER_MANA=12500000
 # Cap sequencer block mana to match 75M target (75M * 2 = 150M limit).
 # This takes effect immediately on node restart, even without L1 redeployment.
 SEQ_MAX_L2_BLOCK_GAS=150000000

spartan/environments/testnet.env

@@ -25,10 +25,10 @@ AZTEC_SLASHING_LIFETIME_IN_ROUNDS=5
 AZTEC_SLASHING_EXECUTION_DELAY_IN_ROUNDS=2
 AZTEC_SLASHING_VETOER=\"0xdfe19Da6a717b7088621d8bBB66be59F2d78e924\"
 AZTEC_MANA_TARGET=75000000
-AZTEC_PROVING_COST_PER_MANA=25000000
+AZTEC_PROVING_COST_PER_MANA=12500000
 AZTEC_SLASH_AMOUNT_SMALL=100000e18
-AZTEC_SLASH_AMOUNT_MEDIUM=100000e18
-AZTEC_SLASH_AMOUNT_LARGE=100000e18
+AZTEC_SLASH_AMOUNT_MEDIUM=250000e18
+AZTEC_SLASH_AMOUNT_LARGE=250000e18
 AZTEC_ACTIVATION_THRESHOLD=200000e18
 AZTEC_EJECTION_THRESHOLD=100000e18
 AZTEC_GOVERNANCE_PROPOSER_ROUND_SIZE=100