Awesome
<a name="introduction"/></a>
EigenLayer
<p align="center"><b><font size="+1"> š§ The Slasher contract is under active development and its interface expected to change. We recommend writing slashing logic without integrating with the Slasher at this point in time. š§ </font></b><p>EigenLayer is a set of smart contracts deployed on Ethereum that enable restaking of assets to secure new services.
We recommend starting with the technical documentation to get an overview of the contracts before diving into the code.
For deployment addresses on both mainnet and Goerli, see Deployments below.
Table of Contents
<a name="installation"/></a>
Installation and Running Tests / Analyzers
Installation
foundryup
forge install
This repository uses Foundry as a smart contract development toolchain.
See the Foundry Docs for more info on installation and usage.
Natspec Documentation
You will notice that we also have hardhat installed in this repo. This is only used to generate natspec docgen. This is our workaround until foundry finishes implementing the forge doc
command.
To generate the docs, run npx hardhat docgen
(you may need to run npm install
first).
Run Tests
Prior to running tests, you should set up your environment. At present this repository contains fork tests against ETH mainnet; your environment will use an RPC_MAINNET
key to run these tests. See the .env.example
file for an example -- two simple options are to copy the LlamaNodes RPC url to your env
or use your own infura API key in the provided format. If you don't set the RPC_MAINNET
key then the test cases will default to LlamaNodes RPC url when fork testing.
The main command to run tests is:
forge test -vv
Run Tests on a Fork
Environment config is contained in config.yml. Before running the following commands, install yq. Then set up the environment with this script:
source source-env.sh [CHAIN]
For example, on goerli: source source-env.sh goerli
. Currently options for [CHAIN]
are goerli
, local
. Then to run the actual tests:
forge test --fork-url [RPC_URL]
Run Static Analysis
solhint 'src/contracts/**/*.sol'
slither .
Generate Inheritance and Control-Flow Graphs
First install surya
then run
surya inheritance ./src/contracts/**/*.sol | dot -Tpng > InheritanceGraph.png
and/or
surya graph ./src/contracts/middleware/*.sol | dot -Tpng > MiddlewareControlFlowGraph.png
and/or
surya mdreport surya_report.md ./src/contracts/**/*.sol
Deployments
M1 (Current Mainnet Deployment)
M1 (Current Goerli Testnet Deployment)
Name | Solidity | Proxy | Implementation | Notes |
---|---|---|---|---|
StrategyManager | StrategyManager | 0x779...8E907 | 0x8676...0055 | Proxy: OpenZeppelin TUP@4.7.1 |
Strategy: stETH | StrategyBaseTVLLimits | 0xB6...d14da | 0x81E9...F8ebA | Proxy: OpenZeppelin TUP@4.7.1 |
Strategy: rETH | StrategyBaseTVLLimits | 0x8799...70b5 | 0x81E9...F8ebA | Proxy: OpenZeppelin TUP@4.7.1 |
EigenPodManager | EigenPodManager | 0xa286b...df41 | 0xdD09...901b | Proxy: OpenZeppelin TUP@4.7.1 |
EigenPod (beacon) | EigenPod | 0x3093...C9a5 | 0x86bf...6CcA | - Beacon: OpenZeppelin BeaconProxy@4.7.1 <br />- Deployed pods use UpgradableBeacon@4.7.1 |
DelayedWithdrawalRouter | DelayedWithdrawalRouter | 0x895...388f | 0x607...7fe | Proxy: OpenZeppelin TUP@4.7.1 |
DelegationManager | DelegationManager | 0x1b7...Eb0a8 | 0x9b79...A99d | Proxy: OpenZeppelin TUP@4.7.1 |
Slasher | Slasher | 0xD1...0C22 | 0x3865...8Be6 | Proxy: OpenZeppelin TUP@4.7.1 |
PauserRegistry | PauserRegistry | - | 0x81E9...F8ebA | |
Timelock | Compound: Timelock.sol | - | 0xa7e7...796e | |
Proxy Admin | OpenZeppelin ProxyAdmin@4.7.1 | - | 0x28ce...02e2 |