2 files changed
+15
-1
lines changedSubmodule eigenlayer-contracts updated 88 files
- .github/configs/typos-cli.toml+3-1
- .github/workflows/certora-prover.yml+7-65
- certora/specs/pods/EigenPodManagerRules.spec+9-6
- docs/core/AllocationManager.md-7
- docs/core/RewardsCoordinator.md+1-3
- lib/zeus-templates+1-1
- pkg/bindings/AVSDirectory/binding.go+1-1
- pkg/bindings/AllocationManager/binding.go+1-1
- pkg/bindings/BeaconChainProofs/binding.go+1-1
- pkg/bindings/DelegationManager/binding.go+1-1
- pkg/bindings/EigenPod/binding.go+2-2
- pkg/bindings/EigenPodManager/binding.go+2-374
- pkg/bindings/EigenPodManagerStorage/binding.go+1-373
- pkg/bindings/EigenPodStorage/binding.go+1-1
- pkg/bindings/EigenStrategy/binding.go+1-1
- pkg/bindings/IEigenPod/binding.go+1-1
- pkg/bindings/IEigenPodManager/binding.go+1-342
- pkg/bindings/IRewardsCoordinator/binding.go+1-1
- pkg/bindings/RewardsCoordinator/binding.go+2-2
- pkg/bindings/RewardsCoordinatorStorage/binding.go+1-1
- pkg/bindings/StrategyBase/binding.go+1-1
- pkg/bindings/StrategyBaseTVLLimits/binding.go+1-1
- pkg/bindings/StrategyFactory/binding.go+1-1
- pkg/bindings/StrategyManager/binding.go+1-1
- script/releases/Env.sol+11
- script/releases/v1.2.0-slashing/1-eoa.s.sol-137
- script/releases/v1.2.0-slashing/2-queueUpgradeAndTimestampSetter.s.sol-95
- script/releases/v1.2.0-slashing/3-queueUnpause.s.sol-90
- script/releases/v1.2.0-slashing/4-pause.s.sol-54
- script/releases/v1.2.0-slashing/5-executeUpgradeAndSetTimestampSubmitter.s.sol-145
- script/releases/v1.2.0-slashing/6-script/go.mod-48
- script/releases/v1.2.0-slashing/6-script/go.sum-153
- script/releases/v1.2.0-slashing/6-script/script.go-110
- script/releases/v1.2.0-slashing/6-script/script_test.go-86
- script/releases/v1.2.0-slashing/6-script/start.sh-3
- script/releases/v1.2.0-slashing/7-setProofTimestamp.s.sol-62
- script/releases/v1.2.0-slashing/8-executeUnpause.s.sol-64
- script/releases/v1.2.0-slashing/forkTimestamp.txt-1
- script/releases/v1.2.0-slashing/upgrade.json-48
- script/releases/v1.3.0-slashing/1-deployContracts.s.sol+552
- script/releases/v1.3.0-slashing/2-queueUpgradeAndUnpause.s.sol+134
- script/releases/v1.3.0-slashing/3-pause.s.sol+32
- script/releases/v1.3.0-slashing/4-completeCheckpoints/EigenPod.abi.json+1
- script/releases/v1.3.0-slashing/4-completeCheckpoints/EigenPodManager.abi.json+1
- script/releases/v1.3.0-slashing/4-completeCheckpoints/go.mod+74
- script/releases/v1.3.0-slashing/4-completeCheckpoints/go.sum+283
- script/releases/v1.3.0-slashing/4-completeCheckpoints/script.go+323
- script/releases/v1.3.0-slashing/4-completeCheckpoints/start.sh+3
- script/releases/v1.3.0-slashing/5-executeUpgradeAndUnpause.s.sol+261
- script/releases/v1.3.0-slashing/upgrade.json+32
- snapshots/Integration_ALM_Multi.json+3
- src/contracts/core/DelegationManager.sol+4-2
- src/contracts/interfaces/IDelegationManager.sol+9
- src/contracts/interfaces/IEigenPod.sol-3
- src/contracts/interfaces/IEigenPodManager.sol-22
- src/contracts/libraries/BeaconChainProofs.sol+6-29
- src/contracts/pods/EigenPod.sol+2-31
- src/contracts/pods/EigenPodManager.sol+3-22
- src/contracts/pods/EigenPodManagerStorage.sol+1-7
- src/contracts/pods/EigenPodPausingConstants.sol+3-5
- src/test/harnesses/EigenPodHarness.sol+1-2
- src/test/integration/IntegrationBase.t.sol+7-13
- src/test/integration/IntegrationChecks.t.sol+3-5
- src/test/integration/IntegrationDeployer.t.sol+2-17
- src/test/integration/UpgradeTest.t.sol-17
- src/test/integration/mocks/BeaconChainMock.t.sol+25-39
- src/test/integration/mocks/BeaconChainMock_Deneb.t.sol-222
- src/test/integration/tests/ALM_Multi.t.sol+1-1
- src/test/integration/tests/Deposit_Queue_Complete.t.sol+30
- src/test/integration/tests/DualSlashing.t.sol+6-6
- src/test/integration/tests/Slashed_Eigenpod_AVS.t.sol+2-2
- src/test/integration/tests/eigenpod/FullySlashed_EigenPod.t.sol+2-2
- src/test/integration/tests/eigenpod/Register_Allocate_Slash_VerifyWC_.t.sol+5-5
- src/test/integration/tests/eigenpod/SlashBC_OneBCSF.t.sol+4-4
- src/test/integration/tests/eigenpod/Slashed_Eigenpod_BC.t.sol+13-13
- src/test/integration/tests/eigenpod/VerifyWC_StartCP_CompleteCP.t.sol+42-53
- src/test/integration/tests/upgrade/EigenPod.t.sol+1-1
- src/test/integration/tests/upgrade/Prooftra.t.sol-126
- src/test/integration/users/User.t.sol+32-65
- src/test/integration/users/User_M2.t.sol+1-53
- src/test/mocks/EigenPodManagerMock.sol-7
- src/test/mocks/EigenPodMock.sol-2
- src/test/unit/DelegationUnit.t.sol+2
- src/test/unit/EigenPodManagerUnit.t.sol+60-78
- src/test/unit/EigenPodUnit.t.sol+51-181
- src/test/unit/libraries/BytesLibUnit.t.sol+1-1
- src/test/utils/BytesLib.sol+12-18
- src/test/utils/EigenPodUser.t.sol+29-58
Lines changed: 14 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
268 | 268 |
| |
269 | 269 |
| |
270 | 270 |
| |
| 271 | + | |
| 272 | + | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
271 | 285 |
| |
272 | 286 |
| |
273 | 287 |
| |
|
0 commit comments