add Slasher / SlashingProposers

Author: spypsy

l1-contracts/scripts/verify-from-json.sh

@@ -127,6 +127,12 @@ resolve_fqn() {
       echo "src/core/messagebridge/Inbox.sol:Inbox" ;;
     Outbox)
       echo "src/core/messagebridge/Outbox.sol:Outbox" ;;
+    Slasher)
+      echo "src/core/slashing/Slasher.sol:Slasher" ;;
+    EmpireSlashingProposer)
+      echo "src/core/slashing/EmpireSlashingProposer.sol:EmpireSlashingProposer" ;;
+    TallySlashingProposer)
+      echo "src/core/slashing/TallySlashingProposer.sol:TallySlashingProposer" ;;
     *)
       echo "" ;;
   esac

yarn-project/ethereum/src/deploy_l1_contracts.ts

@@ -1041,6 +1041,109 @@ export const deployL1Contracts = async (
         { name: 'Inbox', address: inboxAddr, constructorArgsHex: inboxCtor, libraries: [] },
         { name: 'Outbox', address: outboxAddr, constructorArgsHex: outboxCtor, libraries: [] },
       );
+
+      // Include Slasher and SlashingProposer (if deployed) in verification data
+      try {
+        const slasherAddrHex = await rollup.getSlasher();
+        const slasherAddr = EthAddress.fromString(slasherAddrHex);
+        if (!slasherAddr.isZero()) {
+          // Slasher constructor: (address _vetoer, address _governance)
+          const slasherCtor = encodeAbiParameters(
+            [{ type: 'address' }, { type: 'address' }],
+            [args.slashingVetoer.toString(), l1Client.account.address],
+          );
+          deployer.verificationRecords.push({
+            name: 'Slasher',
+            address: slasherAddr.toString(),
+            constructorArgsHex: slasherCtor,
+            libraries: [],
+          });
+
+          // Proposer address is stored in Slasher.PROPOSER()
+          const proposerAddr = (await rollup.getSlashingProposerAddress()).toString();
+
+          // Compute constructor args matching deployment path in RollupCore
+          const computedRoundSize = BigInt(args.slashingRoundSizeInEpochs * args.aztecEpochDuration);
+          const computedQuorum = BigInt(
+            args.slashingQuorum ?? (args.slashingRoundSizeInEpochs * args.aztecEpochDuration) / 2 + 1,
+          );
+          const lifetimeInRounds = BigInt(args.slashingLifetimeInRounds);
+          const executionDelayInRounds = BigInt(args.slashingExecutionDelayInRounds);
+
+          if (args.slasherFlavor === 'tally') {
+            const slashAmounts: readonly [bigint, bigint, bigint] = [
+              args.slashAmountSmall,
+              args.slashAmountMedium,
+              args.slashAmountLarge,
+            ];
+            const committeeSize = BigInt(args.aztecTargetCommitteeSize);
+            const epochDuration = BigInt(args.aztecEpochDuration);
+            const slashOffsetInRounds = BigInt(args.slashingOffsetInRounds);
+
+            const proposerCtor = encodeAbiParameters(
+              [
+                { type: 'address' },
+                { type: 'address' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256[3]' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+              ],
+              [
+                rollup.address,
+                slasherAddr.toString(),
+                computedQuorum,
+                computedRoundSize,
+                lifetimeInRounds,
+                executionDelayInRounds,
+                slashAmounts,
+                committeeSize,
+                epochDuration,
+                slashOffsetInRounds,
+              ],
+            );
+
+            deployer.verificationRecords.push({
+              name: 'TallySlashingProposer',
+              address: proposerAddr,
+              constructorArgsHex: proposerCtor,
+              libraries: [],
+            });
+          } else if (args.slasherFlavor === 'empire') {
+            const proposerCtor = encodeAbiParameters(
+              [
+                { type: 'address' },
+                { type: 'address' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+                { type: 'uint256' },
+              ],
+              [
+                rollup.address,
+                slasherAddr.toString(),
+                computedQuorum,
+                computedRoundSize,
+                lifetimeInRounds,
+                executionDelayInRounds,
+              ],
+            );
+
+            deployer.verificationRecords.push({
+              name: 'EmpireSlashingProposer',
+              address: proposerAddr,
+              constructorArgsHex: proposerCtor,
+              libraries: [],
+            });
+          }
+        }
+      } catch (e) {
+        logger.warn(`Failed to add Slasher/Proposer verification records: ${String(e)}`);
+      }
       const date = new Date();
       const formattedDate = date.toISOString().slice(2, 19).replace(/[-T:]/g, '');
       // Ensure the verification output directory exists