Sync with latest contracts (#253)

Layr-Labs · Feb 7, 2024 · cb29484 · cb29484
1 parent c80b0cd
commit cb29484
Show file tree

Hide file tree

Showing 14 changed files with 92 additions and 49 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -10,6 +10,8 @@
 [submodule "contracts/lib/eigenlayer-contracts"]
 	path = contracts/lib/eigenlayer-contracts
 	url = https://github.com/Layr-Labs/eigenlayer-contracts
+	branch = m2-mainnet-fixes
 [submodule "contracts/lib/eigenlayer-middleware"]
 	path = contracts/lib/eigenlayer-middleware
 	url = https://github.com/Layr-Labs/eigenlayer-middleware
+	branch = m2-mainnet-fixes
diff --git a/contracts/bindings/AVSDirectory/binding.go b/contracts/bindings/AVSDirectory/binding.go
diff --git a/contracts/bindings/BLSApkRegistry/binding.go b/contracts/bindings/BLSApkRegistry/binding.go
diff --git a/contracts/bindings/BN254/binding.go b/contracts/bindings/BN254/binding.go
diff --git a/contracts/bindings/BitmapUtils/binding.go b/contracts/bindings/BitmapUtils/binding.go
diff --git a/contracts/bindings/DelegationManager/binding.go b/contracts/bindings/DelegationManager/binding.go
diff --git a/contracts/bindings/EigenDAServiceManager/binding.go b/contracts/bindings/EigenDAServiceManager/binding.go
diff --git a/contracts/bindings/IndexRegistry/binding.go b/contracts/bindings/IndexRegistry/binding.go
diff --git a/contracts/bindings/MockRollup/binding.go b/contracts/bindings/MockRollup/binding.go
diff --git a/contracts/bindings/OperatorStateRetriever/binding.go b/contracts/bindings/OperatorStateRetriever/binding.go
diff --git a/contracts/bindings/RegistryCoordinator/binding.go b/contracts/bindings/RegistryCoordinator/binding.go
diff --git a/contracts/bindings/StakeRegistry/binding.go b/contracts/bindings/StakeRegistry/binding.go
diff --git a/contracts/lib/eigenlayer-contracts b/contracts/lib/eigenlayer-contracts
diff --git a/contracts/lib/eigenlayer-middleware b/contracts/lib/eigenlayer-middleware
+2 −3		.github/workflows/certora-prover.yml
+3 −3		certora/specs/core/StrategyManager.spec
+1 −1		script/testing/M2_Deploy_From_Scratch.s.sol
+12 −0		src/contracts/core/DelegationManager.sol
+1 −1		src/contracts/core/StrategyManager.sol
+1 −1		src/contracts/core/StrategyManagerStorage.sol
+8 −0		src/contracts/interfaces/IDelegationManager.sol
+4 −7		src/contracts/libraries/BeaconChainProofs.sol
+1 −1		src/test/integration/IntegrationBase.t.sol
+2 −2		src/test/integration/User.t.sol
+11 −3		src/test/integration/tests/Deposit_Delegate_Redelegate_Complete.t.sol
+8 −3		src/test/mocks/DelegationManagerMock.sol
+1 −1		src/test/mocks/ERC20Mock.sol
+1 −1		src/test/mocks/EigenPodManagerMock.sol
+2 −10		src/test/unit/DelegationUnit.t.sol
+1 −3		src/test/unit/EigenPod-PodManagerUnit.t.sol
+1 −2		src/test/unit/EigenPodUnit.t.sol
+6 −6		src/test/unit/StrategyManagerUnit.t.sol
+1 −1		lib/eigenlayer-contracts
+8 −6		src/StakeRegistry.sol
+4 −2		src/StakeRegistryStorage.sol
+162 −0		test/ffi/UpdateOperators.t.sol
+1,215 −0		test/ffi/configs/operatorBLSKeys.json
+16 −0		test/integration/IntegrationConfig.t.sol
+11 −0		test/mocks/DelegationMock.sol