chore(contracts): add events when prover bound (#147)

Author: mattstam

contracts/.gas-snapshot

@@ -1,120 +1,120 @@
-SuccinctGovernorTest:test_Cancel_WhenValid() (gas: 443615)
-SuccinctGovernorTest:test_Propose_WhenValid() (gas: 544396)
-SuccinctGovernorTest:test_RevertCancel_WhenNotProverOwner() (gas: 433338)
-SuccinctGovernorTest:test_RevertCastVote_WhenNotProverOwner() (gas: 441022)
+SuccinctGovernorTest:test_Cancel_WhenValid() (gas: 445127)
+SuccinctGovernorTest:test_Propose_WhenValid() (gas: 545908)
+SuccinctGovernorTest:test_RevertCancel_WhenNotProverOwner() (gas: 434850)
+SuccinctGovernorTest:test_RevertCastVote_WhenNotProverOwner() (gas: 442534)
 SuccinctGovernorTest:test_RevertPropose_WhenNotEnoughVotingPower() (gas: 43780)
-SuccinctGovernorTest:test_RevertPropose_WhenNotProverOwner() (gas: 369789)
-SuccinctStakingDispenseTests:test_Dispense_WhenConsecutiveWithWaiting() (gas: 556856)
-SuccinctStakingDispenseTests:test_Dispense_WhenExactLimit() (gas: 468151)
-SuccinctStakingDispenseTests:test_Dispense_WhenMaxUint() (gas: 470286)
+SuccinctGovernorTest:test_RevertPropose_WhenNotProverOwner() (gas: 371301)
+SuccinctStakingDispenseTests:test_Dispense_WhenConsecutiveWithWaiting() (gas: 558066)
+SuccinctStakingDispenseTests:test_Dispense_WhenExactLimit() (gas: 469360)
+SuccinctStakingDispenseTests:test_Dispense_WhenMaxUint() (gas: 471496)
 SuccinctStakingDispenseTests:test_Dispense_WhenMaxUintNoStake() (gas: 146978)
 SuccinctStakingDispenseTests:test_Dispense_WhenNoStake() (gas: 65285)
-SuccinctStakingDispenseTests:test_Dispense_WhenRateChangeEffects() (gas: 562924)
-SuccinctStakingDispenseTests:test_Dispense_WhenRateLimit() (gas: 482394)
-SuccinctStakingDispenseTests:test_Dispense_WhenValid() (gas: 525030)
-SuccinctStakingDispenseTests:test_Dispense_WhenVeryLargeTimePeriod() (gas: 555135)
+SuccinctStakingDispenseTests:test_Dispense_WhenRateChangeEffects() (gas: 564133)
+SuccinctStakingDispenseTests:test_Dispense_WhenRateLimit() (gas: 483604)
+SuccinctStakingDispenseTests:test_Dispense_WhenValid() (gas: 527464)
+SuccinctStakingDispenseTests:test_Dispense_WhenVeryLargeTimePeriod() (gas: 556344)
 SuccinctStakingDispenseTests:test_RevertDispense_WhenNotEnoughPROVE() (gas: 35660)
 SuccinctStakingDispenseTests:test_Revert_WhenSetDispenseRate_WhenNotDispenser() (gas: 13542)
 SuccinctStakingDispenseTests:test_Revert_WhenSetDispenser_WhenNotOwner() (gas: 15711)
 SuccinctStakingDispenseTests:test_SetDispenseRate_WhenValid() (gas: 29697)
 SuccinctStakingDispenseTests:test_SetDispenser_WhenValid() (gas: 22230)
 SuccinctStakingFulfillmentTests:test_RevertReward_WhenProverNotFound() (gas: 12766)
-SuccinctStakingFulfillmentTests:test_Reward_WhenPartialUnstake() (gas: 860584)
-SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersOneProverRewardDistributedAfterBothStake() (gas: 1010015)
-SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersOneProverRewardOnlyDistributedAfterFirstStake() (gas: 1028588)
-SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersTwoProversBothRewarded() (gas: 1258820)
-SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersTwoProversOneRewarded() (gas: 1117124)
-SuccinctStakingFulfillmentTests:test_Reward_WhenUnstaked() (gas: 741624)
-SuccinctStakingFulfillmentTests:test_Reward_WhenValid() (gas: 611071)
+SuccinctStakingFulfillmentTests:test_Reward_WhenPartialUnstake() (gas: 863018)
+SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersOneProverRewardDistributedAfterBothStake() (gas: 1014882)
+SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersOneProverRewardOnlyDistributedAfterFirstStake() (gas: 1033455)
+SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersTwoProversBothRewarded() (gas: 1263687)
+SuccinctStakingFulfillmentTests:test_Reward_WhenTwoStakersTwoProversOneRewarded() (gas: 1121992)
+SuccinctStakingFulfillmentTests:test_Reward_WhenUnstaked() (gas: 744057)
+SuccinctStakingFulfillmentTests:test_Reward_WhenValid() (gas: 612280)
 SuccinctStakingInitalizationTests:test_RevertInitialize_WhenAlreadyInitialized() (gas: 27217)
-SuccinctStakingInitalizationTests:test_RevertInitialize_WhenNotOwner() (gas: 4285108)
+SuccinctStakingInitalizationTests:test_RevertInitialize_WhenNotOwner() (gas: 4301155)
 SuccinctStakingMiscellaneousTests:test_Misc_BelowMinimumStake() (gas: 144965)
-SuccinctStakingMiscellaneousTests:test_Misc_CannotAvoidSlashingByUnstaking() (gas: 560237)
-SuccinctStakingMiscellaneousTests:test_Misc_CannotSwitchProvers() (gas: 454796)
-SuccinctStakingMiscellaneousTests:test_Misc_ConcurrentOperations() (gas: 1114674)
+SuccinctStakingMiscellaneousTests:test_Misc_CannotAvoidSlashingByUnstaking() (gas: 562671)
+SuccinctStakingMiscellaneousTests:test_Misc_CannotSwitchProvers() (gas: 456006)
+SuccinctStakingMiscellaneousTests:test_Misc_ConcurrentOperations() (gas: 1117093)
 SuccinctStakingMiscellaneousTests:test_Misc_DispenseOneWei() (gas: 142900)
 SuccinctStakingMiscellaneousTests:test_Misc_DispenseOverflow() (gas: 142832)
 SuccinctStakingMiscellaneousTests:test_Misc_DispenseZeroTime() (gas: 145660)
-SuccinctStakingMiscellaneousTests:test_Misc_DustAmountsCanBeUnstaked() (gas: 677824)
-SuccinctStakingMiscellaneousTests:test_Misc_ExactMinimumStake() (gas: 554693)
-SuccinctStakingMiscellaneousTests:test_Misc_ExactTimingBoundaries() (gas: 460692)
-SuccinctStakingMiscellaneousTests:test_Misc_ExchangeRateManipulation() (gas: 718104)
-SuccinctStakingMiscellaneousTests:test_Misc_FinishUnstakeNoClaims() (gas: 366018)
-SuccinctStakingMiscellaneousTests:test_Misc_FrontrunningRewardDistribution() (gas: 609984)
-SuccinctStakingMiscellaneousTests:test_Misc_MaxUint256Operations() (gas: 387496)
-SuccinctStakingMiscellaneousTests:test_Misc_MaximumStakeValues() (gas: 554117)
-SuccinctStakingMiscellaneousTests:test_Misc_MultiplePartialUnstakesExceedBalance() (gas: 463903)
-SuccinctStakingMiscellaneousTests:test_Misc_MultipleUnstakeRequestsCannotDrainFunds() (gas: 1468353)
-SuccinctStakingMiscellaneousTests:test_Misc_NonOwnerCannotSlash() (gas: 441559)
+SuccinctStakingMiscellaneousTests:test_Misc_DustAmountsCanBeUnstaked() (gas: 680258)
+SuccinctStakingMiscellaneousTests:test_Misc_ExactMinimumStake() (gas: 557127)
+SuccinctStakingMiscellaneousTests:test_Misc_ExactTimingBoundaries() (gas: 463125)
+SuccinctStakingMiscellaneousTests:test_Misc_ExchangeRateManipulation() (gas: 720524)
+SuccinctStakingMiscellaneousTests:test_Misc_FinishUnstakeNoClaims() (gas: 367530)
+SuccinctStakingMiscellaneousTests:test_Misc_FrontrunningRewardDistribution() (gas: 612403)
+SuccinctStakingMiscellaneousTests:test_Misc_MaxUint256Operations() (gas: 388706)
+SuccinctStakingMiscellaneousTests:test_Misc_MaximumStakeValues() (gas: 556551)
+SuccinctStakingMiscellaneousTests:test_Misc_MultiplePartialUnstakesExceedBalance() (gas: 465415)
+SuccinctStakingMiscellaneousTests:test_Misc_MultipleUnstakeRequestsCannotDrainFunds() (gas: 1470787)
+SuccinctStakingMiscellaneousTests:test_Misc_NonOwnerCannotSlash() (gas: 443071)
 SuccinctStakingMiscellaneousTests:test_Misc_PermitExpiredDeadline() (gas: 33854)
-SuccinctStakingMiscellaneousTests:test_Misc_RestakeAfterFullUnstake() (gas: 807946)
-SuccinctStakingMiscellaneousTests:test_Misc_RewardAndSlashSameBlock() (gas: 506261)
-SuccinctStakingMiscellaneousTests:test_Misc_RoundingErrorsDoNotAccumulate() (gas: 3481699)
-SuccinctStakingMiscellaneousTests:test_Misc_SlashExactTimingBoundary() (gas: 435869)
-SuccinctStakingMiscellaneousTests:test_Misc_SlashInvalidIndex() (gas: 443917)
-SuccinctStakingMiscellaneousTests:test_Misc_UnstakeMoreThanBalance() (gas: 368757)
-SuccinctStakingMiscellaneousTests:test_Misc_UnstakeQueueDoS() (gas: 14051765)
-SuccinctStakingMiscellaneousTests:test_Misc_VaultReturnsZero() (gas: 454014)
+SuccinctStakingMiscellaneousTests:test_Misc_RestakeAfterFullUnstake() (gas: 811589)
+SuccinctStakingMiscellaneousTests:test_Misc_RewardAndSlashSameBlock() (gas: 507773)
+SuccinctStakingMiscellaneousTests:test_Misc_RoundingErrorsDoNotAccumulate() (gas: 3506035)
+SuccinctStakingMiscellaneousTests:test_Misc_SlashExactTimingBoundary() (gas: 437381)
+SuccinctStakingMiscellaneousTests:test_Misc_SlashInvalidIndex() (gas: 445429)
+SuccinctStakingMiscellaneousTests:test_Misc_UnstakeMoreThanBalance() (gas: 370269)
+SuccinctStakingMiscellaneousTests:test_Misc_UnstakeQueueDoS() (gas: 14054199)
+SuccinctStakingMiscellaneousTests:test_Misc_VaultReturnsZero() (gas: 455224)
 SuccinctStakingMiscellaneousTests:test_Misc_ZeroProverAddress() (gas: 19676)
 SuccinctStakingRegistryTests:test_CreateProver_WhenValid() (gas: 1645936)
 SuccinctStakingRegistryTests:test_RevertCreateProver_WhenAlreadyCreated() (gas: 1640443)
 SuccinctStakingSetupTests:test_SetUp() (gas: 107291)
-SuccinctStakingSlashTests:test_RevertSlash_WhenFinishTooEarly() (gas: 465760)
-SuccinctStakingSlashTests:test_RevertSlash_WhenProverNotFound() (gas: 410141)
-SuccinctStakingSlashTests:test_Slash_WhenCancelled() (gas: 560867)
-SuccinctStakingSlashTests:test_Slash_WhenCumulativeSlashAmountExceedsBalance() (gas: 614508)
-SuccinctStakingSlashTests:test_Slash_WhenDispenseAfterFullSlash() (gas: 603418)
-SuccinctStakingSlashTests:test_Slash_WhenDispenseBeforeFullSlash() (gas: 587611)
-SuccinctStakingSlashTests:test_Slash_WhenFullAmount() (gas: 582625)
-SuccinctStakingSlashTests:test_Slash_WhenPartialAmount() (gas: 615040)
+SuccinctStakingSlashTests:test_RevertSlash_WhenFinishTooEarly() (gas: 466969)
+SuccinctStakingSlashTests:test_RevertSlash_WhenProverNotFound() (gas: 411653)
+SuccinctStakingSlashTests:test_Slash_WhenCancelled() (gas: 563300)
+SuccinctStakingSlashTests:test_Slash_WhenCumulativeSlashAmountExceedsBalance() (gas: 616941)
+SuccinctStakingSlashTests:test_Slash_WhenDispenseAfterFullSlash() (gas: 605852)
+SuccinctStakingSlashTests:test_Slash_WhenDispenseBeforeFullSlash() (gas: 590044)
+SuccinctStakingSlashTests:test_Slash_WhenFullAmount() (gas: 585059)
+SuccinctStakingSlashTests:test_Slash_WhenPartialAmount() (gas: 617473)
 SuccinctStakingSlashTests:test_Slash_WhenRequestingWhenProverHasNoStake() (gas: 85564)
-SuccinctStakingSlashTests:test_Slash_WhenRewardAfterFullSlash() (gas: 523179)
-SuccinctStakingSlashTests:test_Slash_WhenSingleSlashAmountExceedsBalance() (gas: 568908)
-SuccinctStakingSlashTests:test_Slash_WhenTwoProversDispenseAfterOneFullSlash() (gas: 967245)
-SuccinctStakingSlashTests:test_Slash_WhenTwoStakersDispenseBeforeFullSlash() (gas: 836257)
-SuccinctStakingSlashTests:test_Slash_WhenTwoStakersFullSlash() (gas: 817236)
-SuccinctStakingStakeTests:test_PermitAndStake_WhenAttackerFrontruns() (gas: 398693)
-SuccinctStakingStakeTests:test_PermitAndStake_WhenLessThanApproved() (gas: 416295)
-SuccinctStakingStakeTests:test_PermitAndStake_WhenValid() (gas: 411739)
+SuccinctStakingSlashTests:test_Slash_WhenRewardAfterFullSlash() (gas: 524388)
+SuccinctStakingSlashTests:test_Slash_WhenSingleSlashAmountExceedsBalance() (gas: 571341)
+SuccinctStakingSlashTests:test_Slash_WhenTwoProversDispenseAfterOneFullSlash() (gas: 972112)
+SuccinctStakingSlashTests:test_Slash_WhenTwoStakersDispenseBeforeFullSlash() (gas: 841124)
+SuccinctStakingSlashTests:test_Slash_WhenTwoStakersFullSlash() (gas: 822104)
+SuccinctStakingStakeTests:test_PermitAndStake_WhenAttackerFrontruns() (gas: 400205)
+SuccinctStakingStakeTests:test_PermitAndStake_WhenLessThanApproved() (gas: 417807)
+SuccinctStakingStakeTests:test_PermitAndStake_WhenValid() (gas: 413251)
 SuccinctStakingStakeTests:test_RevertPermitAndStake_WhenDeadlineExpired() (gas: 42986)
 SuccinctStakingStakeTests:test_RevertPermitAndStake_WhenNotEnoughApproved() (gas: 75449)
 SuccinctStakingStakeTests:test_RevertPermitAndStake_WhenSignatureInvalid() (gas: 73250)
 SuccinctStakingStakeTests:test_RevertStake_WhenBelowMinStakeAmount() (gas: 47830)
 SuccinctStakingStakeTests:test_RevertStake_WhenProverHasSlashRequest() (gas: 117620)
-SuccinctStakingStakeTests:test_RevertStake_WhenProverNReceiptAmountIsZero() (gas: 590832)
+SuccinctStakingStakeTests:test_RevertStake_WhenProverNReceiptAmountIsZero() (gas: 593252)
 SuccinctStakingStakeTests:test_RevertStake_WhenProverNotFound() (gas: 45501)
-SuccinctStakingStakeTests:test_RevertStake_WhenStakedToADifferentProver() (gas: 418389)
+SuccinctStakingStakeTests:test_RevertStake_WhenStakedToADifferentProver() (gas: 419901)
 SuccinctStakingStakeTests:test_RevertStake_WhenZeroAmount() (gas: 37390)
-SuccinctStakingStakeTests:test_RevertStake_WheniPROVEReceiptAmountIsZero() (gas: 560631)
-SuccinctStakingStakeTests:test_Stake_WhenValid() (gas: 417622)
+SuccinctStakingStakeTests:test_RevertStake_WheniPROVEReceiptAmountIsZero() (gas: 563655)
+SuccinctStakingStakeTests:test_Stake_WhenValid() (gas: 424359)
 SuccinctStakingTransferTests:test_RevertDeposit_WhenDirectiPROVE() (gas: 66532)
 SuccinctStakingTransferTests:test_RevertMint_WhenDirectiPROVE() (gas: 66591)
-SuccinctStakingTransferTests:test_RevertRedeem_WhenDirectiPROVEFromProver() (gas: 373252)
-SuccinctStakingTransferTests:test_RevertRedeem_WhenDirectiPROVERFromStaker() (gas: 382009)
-SuccinctStakingTransferTests:test_RevertTransfer_WhenPROVER() (gas: 367389)
-SuccinctStakingTransferTests:test_RevertTransfer_WheniPROVE() (gas: 375824)
-SuccinctStakingTransferTests:test_RevertTransfer_WhenstPROVE() (gas: 367508)
-SuccinctStakingTransferTests:test_RevertWithdraw_WhenDirectiPROVEFromProver() (gas: 375273)
-SuccinctStakingTransferTests:test_RevertWithdraw_WhenDirectiPROVEFromStaker() (gas: 383968)
+SuccinctStakingTransferTests:test_RevertRedeem_WhenDirectiPROVEFromProver() (gas: 374764)
+SuccinctStakingTransferTests:test_RevertRedeem_WhenDirectiPROVERFromStaker() (gas: 383521)
+SuccinctStakingTransferTests:test_RevertTransfer_WhenPROVER() (gas: 368901)
+SuccinctStakingTransferTests:test_RevertTransfer_WheniPROVE() (gas: 377336)
+SuccinctStakingTransferTests:test_RevertTransfer_WhenstPROVE() (gas: 369020)
+SuccinctStakingTransferTests:test_RevertWithdraw_WhenDirectiPROVEFromProver() (gas: 376785)
+SuccinctStakingTransferTests:test_RevertWithdraw_WhenDirectiPROVEFromStaker() (gas: 385480)
 SuccinctStakingTransferTests:test_Transfer_WhenProve() (gas: 23892)
-SuccinctStakingUnstakeTests:test_RevertUnstake_WhenAmountExceedsBalance() (gas: 406927)
-SuccinctStakingUnstakeTests:test_RevertUnstake_WhenFinishUnstakeWhileProverHasSlashRequest() (gas: 571503)
-SuccinctStakingUnstakeTests:test_RevertUnstake_WhenRequestUnstakeWhileProverHasSlashRequest() (gas: 476898)
-SuccinctStakingUnstakeTests:test_RevertUnstake_WhenTooManyUnstakeRequests() (gas: 11304483)
-SuccinctStakingUnstakeTests:test_RevertUnstake_WhenZeroAmount() (gas: 397069)
-SuccinctStakingUnstakeTests:test_Unstake_WhenEarlyAttempt() (gas: 488934)
-SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallStakesUnstakes() (gas: 2233640)
-SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallStakesUnstakesTimeBetween() (gas: 2241425)
-SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallUnstakes() (gas: 1494933)
-SuccinctStakingUnstakeTests:test_Unstake_WhenMultipleRewards() (gas: 697256)
-SuccinctStakingUnstakeTests:test_Unstake_WhenMultipleUnstakes() (gas: 704236)
-SuccinctStakingUnstakeTests:test_Unstake_WhenOneStakerTwoProversRewardNonDelegated() (gas: 916907)
-SuccinctStakingUnstakeTests:test_Unstake_WhenRewardDuringUnstakePeriod() (gas: 851160)
-SuccinctStakingUnstakeTests:test_Unstake_WhenSlashDuringUnstakePeriod() (gas: 565824)
-SuccinctStakingUnstakeTests:test_Unstake_WhenSomeoneElseFinishesUnstake() (gas: 507314)
-SuccinctStakingUnstakeTests:test_Unstake_WhenTwoStakersOneProverReward() (gas: 1038776)
-SuccinctStakingUnstakeTests:test_Unstake_WhenTwoStakersTwoProversDispenseOnly() (gas: 878302)
-SuccinctStakingUnstakeTests:test_Unstake_WhenValid() (gas: 573080)
+SuccinctStakingUnstakeTests:test_RevertUnstake_WhenAmountExceedsBalance() (gas: 408439)
+SuccinctStakingUnstakeTests:test_RevertUnstake_WhenFinishUnstakeWhileProverHasSlashRequest() (gas: 573015)
+SuccinctStakingUnstakeTests:test_RevertUnstake_WhenRequestUnstakeWhileProverHasSlashRequest() (gas: 478410)
+SuccinctStakingUnstakeTests:test_RevertUnstake_WhenTooManyUnstakeRequests() (gas: 11305995)
+SuccinctStakingUnstakeTests:test_RevertUnstake_WhenZeroAmount() (gas: 398581)
+SuccinctStakingUnstakeTests:test_Unstake_WhenEarlyAttempt() (gas: 491368)
+SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallStakesUnstakes() (gas: 2236073)
+SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallStakesUnstakesTimeBetween() (gas: 2243859)
+SuccinctStakingUnstakeTests:test_Unstake_WhenManySmallUnstakes() (gas: 1497367)
+SuccinctStakingUnstakeTests:test_Unstake_WhenMultipleRewards() (gas: 699689)
+SuccinctStakingUnstakeTests:test_Unstake_WhenMultipleUnstakes() (gas: 706670)
+SuccinctStakingUnstakeTests:test_Unstake_WhenOneStakerTwoProversRewardNonDelegated() (gas: 921774)
+SuccinctStakingUnstakeTests:test_Unstake_WhenRewardDuringUnstakePeriod() (gas: 853593)
+SuccinctStakingUnstakeTests:test_Unstake_WhenSlashDuringUnstakePeriod() (gas: 568257)
+SuccinctStakingUnstakeTests:test_Unstake_WhenSomeoneElseFinishesUnstake() (gas: 509748)
+SuccinctStakingUnstakeTests:test_Unstake_WhenTwoStakersOneProverReward() (gas: 1043643)
+SuccinctStakingUnstakeTests:test_Unstake_WhenTwoStakersTwoProversDispenseOnly() (gas: 883169)
+SuccinctStakingUnstakeTests:test_Unstake_WhenValid() (gas: 579673)
 SuccinctTokenTest:test_InitialOwner() (gas: 12700)
 SuccinctTokenTest:test_Mint_WhenOwner() (gas: 60886)
 SuccinctTokenTest:test_RevertMint_WhenNotOwner() (gas: 10986)

contracts/src/SuccinctStaking.sol

@@ -290,6 +290,8 @@ contract SuccinctStaking is
         if (balanceOf(_staker) == 0) {
             // Remove the staker's prover delegation.
             stakerToProver[_staker] = address(0);
+
+            emit ProverUnbound(_staker, prover);
         }
     }
 
@@ -431,6 +433,8 @@ contract SuccinctStaking is
         // Set the prover as the staker's delegate.
         if (existingProver == address(0)) {
             stakerToProver[_staker] = _prover;
+
+            emit ProverBound(_staker, _prover);
         }
 
         // Deposit $PROVE to mint $iPROVE, sending it to this contract.

contracts/src/interfaces/ISuccinctStaking.sol

@@ -24,6 +24,14 @@ interface ISuccinctStaking is IProverRegistry {
         uint256 timestamp;
     }
 
+    /// @dev Emitted when a staker first stakes to their delegated prover. This indicates that any
+    ///      additional stake from the staker can only be added to this prover, unless unbound.
+    event ProverBound(address indexed staker, address indexed prover);
+
+    /// @dev Emitted when a staker fully unstakes from their delegated prover. This indicates that
+    ///      the staker can now stake to a different prover.
+    event ProverUnbound(address indexed staker, address indexed prover);
+
     /// @dev Emitted when a staker stakes into a prover.
     event Stake(
         address indexed staker,

contracts/test/SuccinctStaking.stake.t.sol

@@ -20,8 +20,17 @@ contract SuccinctStakingStakeTests is SuccinctStakingTest {
         assertEq(IERC20(PROVE).balanceOf(I_PROVE), 0);
         assertEq(SuccinctStaking(STAKING).proverStaked(ALICE_PROVER), 0);
 
+        vm.prank(STAKER_1);
+        IERC20(PROVE).approve(STAKING, stakeAmount);
+
+        vm.expectEmit(true, true, true, true);
+        emit ISuccinctStaking.ProverBound(STAKER_1, ALICE_PROVER);
+        vm.expectEmit(true, true, true, true);
+        emit ISuccinctStaking.Stake(STAKER_1, ALICE_PROVER, stakeAmount, stakeAmount, stakeAmount);
+
         // Stake to Alice prover.
-        uint256 stPROVE = _stake(STAKER_1, ALICE_PROVER, stakeAmount);
+        vm.prank(STAKER_1);
+        uint256 stPROVE = SuccinctStaking(STAKING).stake(ALICE_PROVER, stakeAmount);
         assertEq(stPROVE, stakeAmount);
 
         // Check balances

contracts/test/SuccinctStaking.unstake.t.sol

@@ -42,6 +42,12 @@ contract SuccinctStakingUnstakeTests is SuccinctStakingTest {
 
         // Step 2: Wait for unstake period to pass and claim
         skip(UNSTAKE_PERIOD);
+
+        vm.expectEmit(true, true, true, true);
+        emit ISuccinctStaking.Unstake(STAKER_1, ALICE_PROVER, stakeAmount, stakeAmount, stakeAmount);
+        vm.expectEmit(true, true, true, true);
+        emit ISuccinctStaking.ProverUnbound(STAKER_1, ALICE_PROVER);
+
         _finishUnstake(STAKER_1);
 
         // Verify final state