Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

compare dev -> mainnet #500

Closed
wants to merge 1,632 commits into from
Closed

compare dev -> mainnet #500

wants to merge 1,632 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Oct 17, 2023

  1. Configuration menu
    Copy the full SHA
    ad980b5 View commit details
    Browse the repository at this point in the history
  2. Update EPmgr docs with final missing functions, and update README to …

    …reflect withdrawal queue refactor!
    wadealexc committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    6e9800a View commit details
    Browse the repository at this point in the history
  3. pushn

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    90b7854 View commit details
    Browse the repository at this point in the history
  4. added new storage

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    8aba938 View commit details
    Browse the repository at this point in the history
  5. changed name

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    f641ed5 View commit details
    Browse the repository at this point in the history
  6. added logic

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    88cf510 View commit details
    Browse the repository at this point in the history
  7. fixed storage gap

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    0e525f6 View commit details
    Browse the repository at this point in the history
  8. changed variable name

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    eb9aef8 View commit details
    Browse the repository at this point in the history
  9. changed variable name

    Sidu28 committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    16dac0b View commit details
    Browse the repository at this point in the history
  10. Merge pull request #259 from Layr-Labs/zkstoragechanges

    Added ZK storage to EP contracts for forward compatibility
    Sidu28 authored Oct 17, 2023
    Configuration menu
    Copy the full SHA
    d3af454 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    6f58d3a View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. Configuration menu
    Copy the full SHA
    ce5d749 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #258 from Layr-Labs/docs/m2-docs

    Update EPmgr docs with final missing functions, and update README to …
    wadealexc authored Oct 18, 2023
    Configuration menu
    Copy the full SHA
    206a307 View commit details
    Browse the repository at this point in the history
  3. fixed most tests

    Sidu28 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    b67d146 View commit details
    Browse the repository at this point in the history
  4. fixed

    Sidu28 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    b173606 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e2eed43 View commit details
    Browse the repository at this point in the history
  6. made update outside of loop

    Sidu28 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    a8334a4 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    1d35290 View commit details
    Browse the repository at this point in the history
  8. fix syntax highlighting

    ypatil12 committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    705934b View commit details
    Browse the repository at this point in the history
  9. Merge pull request #214 from Layr-Labs/m2-upgrade-shadow-fork-testing

    M2 Goerli upgrade shadow fork testing
    ypatil12 authored Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2f6f4c5 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. fixed all tests

    Sidu28 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    b946abf View commit details
    Browse the repository at this point in the history
  2. remove stale comments

    ypatil12 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    8c04355 View commit details
    Browse the repository at this point in the history
  3. merge

    ypatil12 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    8688ee1 View commit details
    Browse the repository at this point in the history
  4. fixed

    Sidu28 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    4402233 View commit details
    Browse the repository at this point in the history
  5. fixed tests

    Sidu28 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    fe5bf9c View commit details
    Browse the repository at this point in the history
  6. Merge pull request #255 from Layr-Labs/new-proof

    Validator Balance update Refactor
    Sidu28 authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    996ff72 View commit details
    Browse the repository at this point in the history
  7. init

    Sidu28 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    a14c9a9 View commit details
    Browse the repository at this point in the history
  8. Merge pull request #262 from Layr-Labs/addQueueWithdrawalsPlural

    added multiple queuedwithdrawals function
    Sidu28 authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    5ec6ce1 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    7d7d45b View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    842268d View commit details
    Browse the repository at this point in the history
  11. fix README formatting

    ypatil12 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    652ae11 View commit details
    Browse the repository at this point in the history
  12. Storage Upgrade Checker

    ypatil12 authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    834bbe3 View commit details
    Browse the repository at this point in the history
  13. fixed

    Sidu28 committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    be996f0 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    9291b5d View commit details
    Browse the repository at this point in the history
  15. Merge pull request #269 from Layr-Labs/samlaf/remove-compendium-deplo…

    …yment-from-m2deploy-script
    
    removed bls pubkeycompendium deployment from m2 deployment script
    samlaf authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    2a3ec30 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. fix layouts for EPM and SM

    ypatil12 committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    5b2a450 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #270 from Layr-Labs/fix/storageLayouts

    Update Gaps for EigenPodManager and StrategyManager
    ChaoticWalrus authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b97b77b View commit details
    Browse the repository at this point in the history
  3. Merge pull request #267 from Layr-Labs/fix/dedupeTests

    DeDupe EigenPod and Withdrawals Tests
    ypatil12 authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    9a4f4a0 View commit details
    Browse the repository at this point in the history
  4. event fix (#272)

    0x0aa0 authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    3a0f7d9 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. made some corrections

    Sidu28 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    a21e10a View commit details
    Browse the repository at this point in the history
  2. done

    Sidu28 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    74847f9 View commit details
    Browse the repository at this point in the history
  3. added underflow handling

    Sidu28 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    ef81e88 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #273 from Layr-Labs/quickfix

    added underflow handling
    Sidu28 authored Oct 23, 2023
    Configuration menu
    Copy the full SHA
    e82d102 View commit details
    Browse the repository at this point in the history
  5. cleaned up all warnings

    Sidu28 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    df04234 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Remove Middleware from Core (#260)

    * remove middleware from core
    
    * remove go files from ffi
    
    * use stub
    
    * delete Prover rules for `BLSRegistryCoordinatorWithIndices` (#261)
    
    these are getting migrated to a separate repo
    
    * add weird fix
    
    * move stub to mocks
    
    * remove additional interfaces from imports
    
    * port over alexs interface change
    
    * add back whitelister
    
    * add back script per PR comment
    
    ---------
    
    Co-authored-by: steven <[email protected]>
    Co-authored-by: ChaoticWalrus <[email protected]>
    3 people authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    62ba4b5 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #266 from Layr-Labs/eigenpodmd

    New EP Doc
    Sidu28 authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    971b729 View commit details
    Browse the repository at this point in the history
  3. split the tests again

    Sidu28 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    bf48e9d View commit details
    Browse the repository at this point in the history
  4. Revert "split the tests again"

    This reverts commit bf48e9d.
    Sidu28 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    11f732b View commit details
    Browse the repository at this point in the history
  5. skeleton refactor

    ypatil12 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    79e4a66 View commit details
    Browse the repository at this point in the history
  6. init

    Sidu28 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    5a6d58a View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ddb36ff View commit details
    Browse the repository at this point in the history
  8. Update EigenPod.md

    pandabadger authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    b214d28 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    62333c1 View commit details
    Browse the repository at this point in the history
  10. all tests working

    Sidu28 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    e184498 View commit details
    Browse the repository at this point in the history
  11. cleanup

    Sidu28 committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    590d692 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. init

    Sidu28 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    d6a2f1d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    64ad39a View commit details
    Browse the repository at this point in the history
  3. copilot crazy grammar

    gpsanant committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    327e14b View commit details
    Browse the repository at this point in the history
  4. Merge pull request #289 from Layr-Labs/cannot-q-withdrawal-4-0-strats

    require cannot q withdrawal for 0 strategies and update docs
    gpsanant authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    5429ebe View commit details
    Browse the repository at this point in the history
  5. finished EPM unit tests

    ypatil12 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    1251ccf View commit details
    Browse the repository at this point in the history
  6. fix tree diagram typos

    ypatil12 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    4ab4f6f View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    c768311 View commit details
    Browse the repository at this point in the history
  8. split max pod revert tests

    ypatil12 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    76bb62b View commit details
    Browse the repository at this point in the history
  9. fuzz removeShares tests

    ypatil12 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    bbe4ca8 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    3e9b2fa View commit details
    Browse the repository at this point in the history
  11. added reg test

    Sidu28 committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    ff02e99 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    21b347b View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. tidy up

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    c361bea View commit details
    Browse the repository at this point in the history
  2. Merge remote-tracking branch 'origin/feat/EigenPodManager-test-refact…

    …or' into test/strategy-manager-cleanup
    8sunyuan committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5f23f93 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3ea910d View commit details
    Browse the repository at this point in the history
  4. chore: have DelegationManager use stub interface instead of full inte…

    …rface
    
    Should help to resolve some of the import hell that we are experiencing.
    ChaoticWalrus committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    812cb1f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    bf19ba3 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    fec8b17 View commit details
    Browse the repository at this point in the history
  7. remove middleware interfaces from this repo

    this commit also removes a ton of detritus from existing tests, which appears to have functionally been doing absolutely nothing.
    ChaoticWalrus committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    97a2ddf View commit details
    Browse the repository at this point in the history
  8. init

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    01a0b2a View commit details
    Browse the repository at this point in the history
  9. change 31 to 32

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    1bcd39d View commit details
    Browse the repository at this point in the history
  10. all tests working

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    f25820e View commit details
    Browse the repository at this point in the history
  11. close out tests

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    a92e58e View commit details
    Browse the repository at this point in the history
  12. cleanup

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    8030c73 View commit details
    Browse the repository at this point in the history
  13. fixed balance update code

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    8bf9d30 View commit details
    Browse the repository at this point in the history
  14. rectified test

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    e2f3867 View commit details
    Browse the repository at this point in the history
  15. Merge pull request #297 from Layr-Labs/remove-hystersis-docs

    rectified test
    Sidu28 authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    7ccb93a View commit details
    Browse the repository at this point in the history
  16. removed test import

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    e2bc5f6 View commit details
    Browse the repository at this point in the history
  17. fixed

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    c19f650 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    f27e50e View commit details
    Browse the repository at this point in the history
  19. Merge pull request #294 from Layr-Labs/migrate-to-stake-registry-stub

    Use stake registry stub in DelegationManager
    ChaoticWalrus authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    fdf1ebb View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    cb5623b View commit details
    Browse the repository at this point in the history
  21. made updates consistent

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    014b677 View commit details
    Browse the repository at this point in the history
  22. Configuration menu
    Copy the full SHA
    4fd57f4 View commit details
    Browse the repository at this point in the history
  23. Configuration menu
    Copy the full SHA
    7670107 View commit details
    Browse the repository at this point in the history
  24. chore: remove never-used storage at end of storage layout and increas…

    …e __gap size to compensate
    
    This storage is at the end of the used slots in the storage layout, and was never used either on testnet or mainnet. Therefore, it should be able to be safety deleted without consequence.
    This commit also increases the size of the __gap variable to compensate for the removed storage.
    ChaoticWalrus committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    b4c0514 View commit details
    Browse the repository at this point in the history
  25. Update EigenPod.md

    pandabadger authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    3aad4e4 View commit details
    Browse the repository at this point in the history
  26. Merge pull request #298 from Layr-Labs/EPM-storage-cleanup

    chore: remove never-used storage at end of storage layout and increas…
    Sidu28 authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    ee5fef4 View commit details
    Browse the repository at this point in the history
  27. Configuration menu
    Copy the full SHA
    cd6166f View commit details
    Browse the repository at this point in the history
  28. Merge pull request #281 from pandabadger/master

    Fix typos
    ChaoticWalrus authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    d6a4fc3 View commit details
    Browse the repository at this point in the history
  29. removed inline comment

    Sidu28 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5a0015e View commit details
    Browse the repository at this point in the history
  30. chore: fix compiler warnings

    This commit addresses a compiler warning in the DelegationManager contract, and fixes compiler warnings in various test files.
    These warnings were all ultimately due to unused variables.
    I've also added some comments to the EigenPod.t.sol file about the strange address-collision-reversion behavior that we're currently working around (since the workaround was related to an 'unused' variable).
    ChaoticWalrus committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    c59e938 View commit details
    Browse the repository at this point in the history
  31. Configuration menu
    Copy the full SHA
    4bd42db View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Configuration menu
    Copy the full SHA
    6b73cd8 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #295 from Layr-Labs/remove-hysterisis

    Removing understimation in Pods
    Sidu28 authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    814e850 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    75a5e55 View commit details
    Browse the repository at this point in the history
  4. EigenPodManager Unit Test Refactor (#290)

    * skeleton refactor
    
    * finished EPM unit tests
    
    * fix tree diagram typos
    
    * fix _checkPodDeployed function
    
    * split max pod revert tests
    
    * fuzz removeShares tests
    
    * update initializePodWithShares to not use stdStorage
    
    * add error messages on asserts
    
    * fix tree file name
    
    * add share adjustment tests
    
    * create temp file for pod and pod manager unit tests
    
    * remove unused constant in EPM unit test
    ypatil12 authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    c13eb6e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    285de54 View commit details
    Browse the repository at this point in the history
  6. Merge pull request #300 from Layr-Labs/edit-proof-gen-commands

    changed proof gen repo commands
    Sidu28 authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    244a39d View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4d97ba4 View commit details
    Browse the repository at this point in the history
  8. added fuzzing)

    Sidu28 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    1535d8c View commit details
    Browse the repository at this point in the history
  9. fixed

    Sidu28 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    3a87ac1 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    bf708fa View commit details
    Browse the repository at this point in the history
  11. fixed

    Sidu28 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    78e07fb View commit details
    Browse the repository at this point in the history
  12. fixed tests

    Sidu28 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    2aed068 View commit details
    Browse the repository at this point in the history
  13. Merge pull request #299 from Layr-Labs/chore/fix-compiler-warnings

    chore: fix compiler warnings
    ChaoticWalrus authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    e340ab1 View commit details
    Browse the repository at this point in the history
  14. chore: fix compilation error

    a forbidden implicit type conversion slipped in, which was causing build errors. this minimal commit fixes the issue.
    ChaoticWalrus committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    a922f8d View commit details
    Browse the repository at this point in the history
  15. Merge pull request #304 from Layr-Labs/chore/fix-compilation

    chore: fix compilation error
    ChaoticWalrus authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    7982832 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    ef6c03b View commit details
    Browse the repository at this point in the history
  17. Merge pull request #303 from Layr-Labs/fix-broken-ci

    added fuzzing filtering
    Sidu28 authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    1a8f17f View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Configuration menu
    Copy the full SHA
    2252897 View commit details
    Browse the repository at this point in the history
  2. commenting

    8sunyuan committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    2c2b8ad View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a314cbc View commit details
    Browse the repository at this point in the history
  4. Merge pull request #307 from Layr-Labs/eigenpod-cleanup

    EigenPod: Small Cleanup and Commenting
    Sidu28 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    644fd10 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1419146 View commit details
    Browse the repository at this point in the history
  6. init

    Sidu28 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    ebdb766 View commit details
    Browse the repository at this point in the history
  7. all tests working

    Sidu28 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    dbc1195 View commit details
    Browse the repository at this point in the history
  8. cleanup

    Sidu28 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    9c1aabf View commit details
    Browse the repository at this point in the history
  9. tidy up

    Sidu28 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    5cf7663 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    ff42383 View commit details
    Browse the repository at this point in the history
  11. added new expectEmit checks

    Gajesh2007 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    06c05bb View commit details
    Browse the repository at this point in the history
  12. changes

    Gajesh2007 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    26e0168 View commit details
    Browse the repository at this point in the history
  13. CI err fix

    Gajesh2007 authored and ypatil12 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    23ea77b View commit details
    Browse the repository at this point in the history
  14. fixed tests

    Sidu28 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    6805c13 View commit details
    Browse the repository at this point in the history
  15. chore: filter fuzzed inputs to fix 3 flaky test failures (#306)

    * chore: filter fuzzed inputs to fix 2 flaky test failures
    
    1) failure in a test that appears to be due to the fuzzed 'withdrawer' matching a Strategy's address -- see run here https://github.com/Layr-Labs/eigenlayer-contracts/actions/runs/6672856290/job/18137522930#step:5:46
    2) failure in a test when the fuzzed 'staker' address matches a fixed operator address which we are using (the reverting behavior is intended in this case)
    
    * fix one more flaky test failure with fuzzed input filtering
    
    this test fails (appropriately) when the `notUnpauser` input is fuzzed to the ProxyAdmin address
    ChaoticWalrus authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    a2af9ef View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    a79812b View commit details
    Browse the repository at this point in the history
  17. Merge pull request #280 from Layr-Labs/newepunittestfile

    EPUnit test file
    ypatil12 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    8120635 View commit details
    Browse the repository at this point in the history
  18. Configuration menu
    Copy the full SHA
    7d84b4f View commit details
    Browse the repository at this point in the history
  19. Configuration menu
    Copy the full SHA
    3a00d93 View commit details
    Browse the repository at this point in the history
  20. Configuration menu
    Copy the full SHA
    c2e203e View commit details
    Browse the repository at this point in the history
  21. formatting

    8sunyuan committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    e47b114 View commit details
    Browse the repository at this point in the history
  22. Chore/fix flaky test failures (#308)

    * chore: filter fuzzed inputs to fix 2 flaky test failures
    
    1) failure in a test that appears to be due to the fuzzed 'withdrawer' matching a Strategy's address -- see run here https://github.com/Layr-Labs/eigenlayer-contracts/actions/runs/6672856290/job/18137522930#step:5:46
    2) failure in a test when the fuzzed 'staker' address matches a fixed operator address which we are using (the reverting behavior is intended in this case)
    
    * fix one more flaky test failure with fuzzed input filtering
    
    this test fails (appropriately) when the `notUnpauser` input is fuzzed to the ProxyAdmin address
    
    * fix one more flaky test failure
    
    this failed in the following run: https://github.com/Layr-Labs/eigenlayer-contracts/actions/runs/6697166090/job/18196461283#step:5:116
    I dug into it and this was ultimately because the fuzzed `staker` param matched the ProxyAdmin address
    ChaoticWalrus authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    92ccacc View commit details
    Browse the repository at this point in the history
  23. init

    Sidu28 committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    aa6afb6 View commit details
    Browse the repository at this point in the history
  24. Added tree file

    8sunyuan committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    84f86c3 View commit details
    Browse the repository at this point in the history
  25. Update README.md

    Sidu28 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    70e7ee4 View commit details
    Browse the repository at this point in the history
  26. Update README.md

    Sidu28 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    e65c014 View commit details
    Browse the repository at this point in the history
  27. Update README.md

    Sidu28 authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    90f0694 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. Configuration menu
    Copy the full SHA
    a616cbb View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    db33be1 View commit details
    Browse the repository at this point in the history
  3. cleanup and typo

    8sunyuan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    7316597 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    69b0897 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f011f90 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    9f7e955 View commit details
    Browse the repository at this point in the history
  7. chore: changed startPrank() -> prank() where reasonable

    Sometimes having a wrapping startPrank() and stopPrank() code segment is useful to easily recognize which address is being pranked for those calls, especially when we prank again afterwards. That said, certain tests with single function calls could be cleaner with simply `prank()`
    8sunyuan committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    d7c322b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    539bba3 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    df853c0 View commit details
    Browse the repository at this point in the history
  10. Merge pull request #309 from Layr-Labs/addgoerlideployments

    Update goerli deployments
    Sidu28 authored Oct 31, 2023
    Configuration menu
    Copy the full SHA
    6a6f93f View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. chore: removed event checks, additional tests, rename variable

    Removed some of the StrategyAddedToDepositWhitelist event checks in the tests to cleanup. Added additional unit tests for addStrategiesToDepositWhitelist including adding already existing whitelisted strategies and ensuring events aren't emitted there.
    8sunyuan committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    9355fb4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4627eb4 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #310 from Layr-Labs/alex/remove-unneeded-doc

    fix: removed unneeded eigenpod doc, it's captured by EigenPodManager.md
    gpsanant authored Nov 1, 2023
    Configuration menu
    Copy the full SHA
    dd5811d View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Configuration menu
    Copy the full SHA
    dc305cf View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3b6a00f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    eefd684 View commit details
    Browse the repository at this point in the history
  4. chore: remove bytes casing

    8sunyuan committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    45b1fcb View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f69019c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c2feb4b View commit details
    Browse the repository at this point in the history
  7. Filter addresses for EPM and EP fuzz tests (#312)

    * Filter proxy admin address for EPM fuzz tests
    
    * filter zero address on EP unit tests
    ypatil12 authored Nov 2, 2023
    Configuration menu
    Copy the full SHA
    d498377 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. Configuration menu
    Copy the full SHA
    a1060e6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    defe1b1 View commit details
    Browse the repository at this point in the history
  3. added proofs

    Sidu28 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    e86a901 View commit details
    Browse the repository at this point in the history
  4. test: additional coverage andfilterFuzzInput modifier

    Tests added:
    - initialize() storage variables properly
    - depositIntoStrategyWithSignature() revert when token transfer fails
    - removeShares() reverts with 0 shares
    - removeShares() with removeAmount less than deposit
    - addShares() with MAX_STAKER_STRATEGY_LIST_LENGTH strategies
    - removeStrategiesFromDepositWhitelist() doesn't emit event on non-whitelisted strategy
    - removeStrategiesFromDepositWhitelist() emits event on removing whitelisted strategy
    Also added some small commenting, renamed tests, and updated tree file
    8sunyuan committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    d30521e View commit details
    Browse the repository at this point in the history
  5. Merge pull request #293 from Layr-Labs/test/strategy-manager-cleanup

    StrategyManager Unit Test Refactor
    8sunyuan authored Nov 3, 2023
    Configuration menu
    Copy the full SHA
    1d926f2 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Configuration menu
    Copy the full SHA
    880a0dc View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5a6d366 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    47c9c51 View commit details
    Browse the repository at this point in the history
  4. changes

    Gajesh2007 committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    5981e6f View commit details
    Browse the repository at this point in the history
  5. bug fix

    Gajesh2007 committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    5fd5d81 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    b84bc69 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. changes

    Gajesh2007 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    497bf09 View commit details
    Browse the repository at this point in the history
  2. removed extra func

    Gajesh2007 committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    2692791 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9c23b40 View commit details
    Browse the repository at this point in the history
  4. Merge pull request #316 from Layr-Labs/gaj/newPr

    eigenpod tests
    Gajesh2007 authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    03bd434 View commit details
    Browse the repository at this point in the history
  5. Merge pull request #319 from Layr-Labs/alex/migrate-bitmap-utils

    chore: migrate BitmapUtils and BN254 to middleware
    wadealexc authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    bccae53 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    7fb00d5 View commit details
    Browse the repository at this point in the history
  7. feat(linting): add commit linter (#296)

    * ci(linting): apply linting to CI and update docs for it
    
    * chore: remove git-patch for applying these changes
    
    * fix: typo and mistake in git url
    
    * ci: force fail fast to be false
    
    * ci: remove fail fast behavior
    
    * ci: move fail-fast option
    
    ---------
    
    Co-authored-by: steven <[email protected]>
    stevennevins and steven authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    4f2018c View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Configuration menu
    Copy the full SHA
    62a7c40 View commit details
    Browse the repository at this point in the history
  2. chore: delete unused files (#321)

    minor cleanup of some unused files; should help to clarify things a bit
    ChaoticWalrus authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    2965deb View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Configuration menu
    Copy the full SHA
    606f524 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. fix: remove redudant command (#322)

    Co-authored-by: steven <[email protected]>
    stevennevins and steven authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    08f7b43 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    db4506d View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. chore: use a fixed prover version (#327)

    Certora will be introducing v5 soon, which is expected to include breaking changes.
    Fixing the version at v4.13.1 should allow continuity until we make changes to upgrade.
    ChaoticWalrus authored Nov 14, 2023
    Configuration menu
    Copy the full SHA
    4e2ef13 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7a24f6b View commit details
    Browse the repository at this point in the history
  3. chore: switch implementation addresses in README table to M2 versions (

    …#328)
    
    * chore: switch implementation addresses in README table to M2 versions
    
    * chore: fix link/"preview" text for updated links
    
    * chore: fix misplaced link text (oops!)
    
    * chore: fix misplaced text for _another_ link
    
    my bad, don't know how I made this mistake 2x
    ChaoticWalrus authored Nov 14, 2023
    Configuration menu
    Copy the full SHA
    75e5943 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Merge pull request #311 from Layr-Labs/feat/balanceUpdateRefactor

    Update balance updates to use effective balances
    ypatil12 authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    ccd21a2 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. test: create integration test framework (#335)

    See `/integration/README.md` for details on how it works
    
    ---------
    
    Co-authored-by: Yash Patil <[email protected]>
    wadealexc and ypatil12 authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    d804820 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Configuration menu
    Copy the full SHA
    bf4f64a View commit details
    Browse the repository at this point in the history
  2. Merge pull request #344 from Layr-Labs/feat/delegation-manager-interface

    Adding withdrawalDelayBlocks to DelegationManager interface
    8sunyuan authored Nov 21, 2023
    Configuration menu
    Copy the full SHA
    7ef4f3e View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. init

    Sidu28 committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    f417cbe View commit details
    Browse the repository at this point in the history
  2. test: support native eth in integration tests (#340)

    see PR for changelog
    wadealexc authored Nov 29, 2023
    Configuration menu
    Copy the full SHA
    5a6bca7 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #348 from Layr-Labs/add-read-functions-to-m2mainnet

    Add Read Functions to M2 Mainnet
    Sidu28 authored Nov 29, 2023
    Configuration menu
    Copy the full SHA
    a8e259d View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. eigenpod and eigenpodmanager integration tests (#347)

    * base
    
    * add base setup file
    
    * readd refactored file
    
    * pending withdrawal tests
    
    * add withdrawal test scaffold
    
    * push
    
    * finish withdrawal tests; pending additional proof sizes
    
    * remove old EigenPod unit test file; transfer integration tests to EP test file
    
    * update tree file
    
    * add tests for proofs <32 ETH
    
    * remove unused files and test comments
    
    * remove stale comment
    
    * base setup
    
    * add more base test cases
    
    * fix: update setup file pod address
    
    * buggy
    
    * test: fix setup
    
    * pause tests
    
    * some changes
    
    * test: add verify WC test
    
    * test: add withdrawal tests
    
    * nit changes
    
    ---------
    
    Co-authored-by: Yash Patil <[email protected]>
    Gajesh2007 and ypatil12 authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    114739a View commit details
    Browse the repository at this point in the history
  2. test: implement random withdrawal generator (#349)

    see PR for changes/notes
    wadealexc authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    272a7e2 View commit details
    Browse the repository at this point in the history
  3. Test: DelegationManager unit tests refactor (#332)

    * refactor: initial changes
    
    - Commented out and moved 'integration-like' withdrawal tests to Delegation.t.sol
    - import paths are absolute
    - fixed solidity version
    - Inheriting EigenLayerUnitTestSetup helper contract now (deploys mocks contracts, pauserRegistry, etc)
    
    * test: initial tree file
    
    * refactor: revert tree file back to # syntax while wip
    
    * test: update setup file; add initialization + setter tests
    
    * test: minor tree file updates
    
    * test: adding to tree file
    
    * test: fixed `mananger` typo
    
    * test: add register operator cases
    
    * test: add modify operator tests
    
    * test: add share adjustment tests
    
    * test: add undelegate unit tests
    
    * test: update tree file for withdrawals
    
    * test: delegateTo unit tests
    
    * fix: error from changed internal helper
    
    * test: delegateToBySignature unit tests
    
    * fix: update tree file
    
    * test: minor cleanup
    
    * test: add pausing tests
    
    * test: remove unused helper functions
    
    * test: update all tests to use defaultOperator
    
    * test: remove old tests and formatting
    
    - formatted tree file
    - formatted unit test file
    - removed old tests that have been readded and refactored
    - removed bytes casting for revert strings
    
    test: remove getPods file
    
    * fix: remove duplicated logic
    
    - removed assumes out of internal helpers
    - removed a lot of dup tree branching for readability
    - small nit fixes
    
    * fix: delegateToBySignature tree cleanup
    
    ---------
    
    Co-authored-by: Yash Patil <[email protected]>
    8sunyuan and ypatil12 authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    5fd0290 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4379e38 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    547e50a View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Configuration menu
    Copy the full SHA
    b91a743 View commit details
    Browse the repository at this point in the history
  2. feat: enable AVS update metadata uri (#354)

    * feat:enable AVS update metadata uri
    
    * test: add unit test
    bowenli86 authored Dec 1, 2023
    Configuration menu
    Copy the full SHA
    b599cfe View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. test: fuzz staker address != delegationApprover (#360)

    Failing fuzz test was result of fuzzed staker address being
    the same address as delegationApprover address
    8sunyuan authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    f4beee6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    a60b034 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    87f980e View commit details
    Browse the repository at this point in the history
  4. Feat: Remove set withdrawal delay (#355)

    * feat: remove setWithdrawalDelayBlocks()
    
    removing ability to modify withdrawalDelayBlocks, will only be initialized once
    
    * fix: fixed delegation.initialize() calls
    
    - Added `initializedWithdrawalDelayBlocks` to initialize params
    - Added regression test for initializing> MAX_WITHDRAWAL_DELAY_BLOCKS
    - DelegationUnit.t.sol, small fix for internal function `_registerOperatorWith1271DelegationApprover`
    
    * chore: emit WithdrawalDelayBlocksSet
    8sunyuan authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    fe4a8e2 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Configuration menu
    Copy the full SHA
    c439468 View commit details
    Browse the repository at this point in the history
  2. test: support random balance updates in integration tests (#364)

    - also adds user-level logging
    wadealexc authored Dec 5, 2023
    Configuration menu
    Copy the full SHA
    e57b40a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7f244f3 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. chore: repo cleanup (#365)

    - update main and docs README
    - update DelegationManager docs to remove method
    - remove stake update pushes from DelegationManager
    - deprecate stakeRegistry storage variable in DelegationManager
    - turn Slasher into a Stub
    - remove Slasher tests
    wadealexc authored Dec 6, 2023
    Configuration menu
    Copy the full SHA
    25aa120 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. chore: migrate to certora prover v5 (#369)

    - switch from fixed v4.13.1 to floating / latest version
    
    - implement minimal changes that (hopefully) make existing specs work with v5
    ChaoticWalrus authored Dec 7, 2023
    Configuration menu
    Copy the full SHA
    9d451d1 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. chore: update README, docs, and prune old files (#371)

    * chore: update README, docs, and prune old files
    
    * fix: add integration test reference to README
    
    * docs: fix withdrawal router comment
    wadealexc authored Dec 8, 2023
    Configuration menu
    Copy the full SHA
    4d85829 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. feat: support avs<>operator mapping with new APIs (#363)

    * feat: support avs<>operator mapping with new APIs and events
    bowenli86 authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    f1aabfd View commit details
    Browse the repository at this point in the history
  2. feat: more formal verification for eigenpods (#368)

    * add draft Prover rules + invariants for EigenPod contract
    
    includes new spec, script, and harness files
    
    * feat: add invariant for withdrawn validators having zero restaked balance
    
    * chore: try to tune script to fix timeout errors
    
    Prover runs for the EigenPod spec have been hitting timeouts (e.g. [here](https://prover.certora.com/output/83341/c0f1187dfb5f413caeea598ff85d82dd?anonymousKey=ee5301c2dbc2262a0d274d81ef2944c321faae0e))-- this commit is an attempt to fix these timeouts
    
    * chore: relax script parameters to try to address Prover timeouts
    
    see documentation (https://docs.certora.com/en/latest/docs/prover/cli/options.html) to understand these flags
    
    * feat: add envfree functions and a couple draft rules to EPM spec
    
    * chore: add a couple more 'envfree' functions to EigenPod spec
    
    * feat: add draft for key invariant (commented out due to compiler failures)
    
    see comments for more context on this.
    
    also included are 2 new harnessed functions
    
    * chore: remove `hashing_length_bound` in script
    
    this should make rules non-vacuous; by using different summaries we can still solve timeouts
    
    * chore: add a ton more summarization, and fix hook
    
    deals with timeouts much more effectively, and the hook works now. the `baseInvariant` rule is still broken -- see comment in the axiom definition
    
    * chore: add more dispatching and filter parametric contracts
    
    * feat: new (draft) rule to capture more of EigenPods' accounting model
    
    * fix: use correct summarization syntax
    
    * feat: hack together solution for ignoring special case
    
    the summarization of the `EigenPod. _sendETH()` function appears to still be broken
    
    I've commented this out and the rule now passes (at least from running locally), but this is definitely suboptimal
    
    am leaving several TODOs for now.
    
    * add draft Prover rules + invariants for EigenPod contract
    
    includes new spec, script, and harness files
    
    * feat: add invariant for withdrawn validators having zero restaked balance
    
    * chore: try to tune script to fix timeout errors
    
    Prover runs for the EigenPod spec have been hitting timeouts (e.g. [here](https://prover.certora.com/output/83341/c0f1187dfb5f413caeea598ff85d82dd?anonymousKey=ee5301c2dbc2262a0d274d81ef2944c321faae0e))-- this commit is an attempt to fix these timeouts
    
    * chore: relax script parameters to try to address Prover timeouts
    
    see documentation (https://docs.certora.com/en/latest/docs/prover/cli/options.html) to understand these flags
    
    * feat: add envfree functions and a couple draft rules to EPM spec
    
    * chore: add a couple more 'envfree' functions to EigenPod spec
    
    * feat: add draft for key invariant (commented out due to compiler failures)
    
    see comments for more context on this.
    
    also included are 2 new harnessed functions
    
    * chore: remove `hashing_length_bound` in script
    
    this should make rules non-vacuous; by using different summaries we can still solve timeouts
    
    * chore: add a ton more summarization, and fix hook
    
    deals with timeouts much more effectively, and the hook works now. the `baseInvariant` rule is still broken -- see comment in the axiom definition
    
    * chore: add more dispatching and filter parametric contracts
    
    * feat: new (draft) rule to capture more of EigenPods' accounting model
    
    * fix: use correct summarization syntax
    
    * feat: hack together solution for ignoring special case
    
    the summarization of the `EigenPod. _sendETH()` function appears to still be broken
    
    I've commented this out and the rule now passes (at least from running locally), but this is definitely suboptimal
    
    am leaving several TODOs for now.
    
    * chore: repo cleanup (#365)
    
    - update main and docs README
    - update DelegationManager docs to remove method
    - remove stake update pushes from DelegationManager
    - deprecate stakeRegistry storage variable in DelegationManager
    - turn Slasher into a Stub
    - remove Slasher tests
    
    * chore: migrate to certora prover v5 (#369)
    
    - switch from fixed v4.13.1 to floating / latest version
    
    - implement minimal changes that (hopefully) make existing specs work with v5
    
    * add draft Prover rules + invariants for EigenPod contract
    
    includes new spec, script, and harness files
    
    * feat: add invariant for withdrawn validators having zero restaked balance
    
    * chore: try to tune script to fix timeout errors
    
    Prover runs for the EigenPod spec have been hitting timeouts (e.g. [here](https://prover.certora.com/output/83341/c0f1187dfb5f413caeea598ff85d82dd?anonymousKey=ee5301c2dbc2262a0d274d81ef2944c321faae0e))-- this commit is an attempt to fix these timeouts
    
    * chore: relax script parameters to try to address Prover timeouts
    
    see documentation (https://docs.certora.com/en/latest/docs/prover/cli/options.html) to understand these flags
    
    * feat: add envfree functions and a couple draft rules to EPM spec
    
    * chore: add a couple more 'envfree' functions to EigenPod spec
    
    * feat: add draft for key invariant (commented out due to compiler failures)
    
    see comments for more context on this.
    
    also included are 2 new harnessed functions
    
    * chore: remove `hashing_length_bound` in script
    
    this should make rules non-vacuous; by using different summaries we can still solve timeouts
    
    * chore: add a ton more summarization, and fix hook
    
    deals with timeouts much more effectively, and the hook works now. the `baseInvariant` rule is still broken -- see comment in the axiom definition
    
    * chore: add more dispatching and filter parametric contracts
    
    * feat: new (draft) rule to capture more of EigenPods' accounting model
    
    * fix: use correct summarization syntax
    
    * feat: hack together solution for ignoring special case
    
    the summarization of the `EigenPod. _sendETH()` function appears to still be broken
    
    I've commented this out and the rule now passes (at least from running locally), but this is definitely suboptimal
    
    am leaving several TODOs for now.
    
    * feat: add draft for key invariant (commented out due to compiler failures)
    
    see comments for more context on this.
    
    also included are 2 new harnessed functions
    
    * chore: add a ton more summarization, and fix hook
    
    deals with timeouts much more effectively, and the hook works now. the `baseInvariant` rule is still broken -- see comment in the axiom definition
    
    * chore: add more dispatching and filter parametric contracts
    
    * feat: new (draft) rule to capture more of EigenPods' accounting model
    
    * chore: fix merge artifacts / regen deletion of unused code
    
    ---------
    
    Co-authored-by: Alex <[email protected]>
    ChaoticWalrus and wadealexc authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    7f5012b View commit details
    Browse the repository at this point in the history
  3. fix: update docs and ensure important state changing methods are paus…

    …able (#372)
    
    * docs: update eigenpod docs and add new dmgr functions
    
    * docs: update createPod function sig
    
    * chore: ensure complete coverage of pausability
    wadealexc authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    2833653 View commit details
    Browse the repository at this point in the history
  4. Test: Add back missing withdrawal tests to DelegationUnit.t.sol (#370)

    * test: revert tests
    
    * test: withdrawal tests
    
    * chore: rename helper
    8sunyuan authored Dec 11, 2023
    Configuration menu
    Copy the full SHA
    a7bb3d8 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. fix: several typos in the docs (#356)

    * fix typo EigenPodManager.md
    
    * fix typo AVS-Guide.md
    
    * fix typo DeployOpenEigenLayer.s.sol
    
    * fix typo README.md
    
    ---------
    
    Co-authored-by: ChaoticWalrus <[email protected]>
    tudorpintea999 and ChaoticWalrus authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    ec4baff View commit details
    Browse the repository at this point in the history
  2. remove munged (#373)

    teryanarmen authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    134c3e8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d42c101 View commit details
    Browse the repository at this point in the history
  4. Documentation Fixes: Grammar, Typos, and Prepositions (#377)

    * fix typo: Change 'now' to 'more' in EigenLayer middleware documentation link description
    
    * fix missing preposition in documentation: change 'according the their' to 'according to their'
    
    * fixed grammatical errors in documentation: Changed 'lets' to 'let's' and 'who's' to 'whose' in the example sentence about Merkle trees
    joaolago1113 authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    9e04c92 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. made forceUndelegate queue a withdrawal for each strategy (#345)

    * changes
    
    * added back comments
    
    * chore: fix tests to work with modified behavior (#378)
    
    * chore: fix tests to work with modified behavior
    
    integration tests in particular are now slightly more flexible
    
    * fix: remove memory overwrite
    
    * docs: update dmgr docs
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    
    ---------
    
    Co-authored-by: ChaoticWalrus <[email protected]>
    Co-authored-by: wadealexc <[email protected]>
    3 people authored Dec 18, 2023
    Configuration menu
    Copy the full SHA
    2323207 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2023

  1. Fix m2 deploy from scratch script m2 mainnet (#379)

    * remove slasher checks from M2_Deploy_From_Scratch as they are no longer valid for m2-mainnet release
    
    * update anvil config file for M2_deploy_from_scratch script to work
    samlaf authored Dec 20, 2023
    Configuration menu
    Copy the full SHA
    aa8b38f View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. Configuration menu
    Copy the full SHA
    d86d626 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Configuration menu
    Copy the full SHA
    8d5058c View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Configuration menu
    Copy the full SHA
    8db7a1d View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. fixed comment

    Sidu28 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    82def95 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Configuration menu
    Copy the full SHA
    ee17607 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. feat: add m2-mainnet-fixes to m2-mainnet (#409)

    * Fix: Update registration documentation & type hash (#383)
    
    * feat: strategy configs (#392)
    
    * Fix: flaky integration tests (#384)
    
    * feat: strat settings
    
    * Fix: flaky integration tests (#384)
    
    * feat: strat settings
    
    * feat: withdrawalDelayBlocks per strategy
    
    * fix: set deprecated storage to private
    
    * fix: pr review changes
    
    * fix: require string
    
    * docs: updated
    
    * refactor: rename creditTransfersDisabled
    
    * fix: doc typos
    
    * docs: add new methods and fix formatting
    
    * fix: nits and getWithdrawals view
    
    * docs: add link
    
    ---------
    
    Co-authored-by: Yash Patil <[email protected]>
    Co-authored-by: wadealexc <[email protected]>
    
    * fix: update forge CI to include contract size checks (#402)
    
    * fix: add contract size check
    
    * fix: ignore harness build size
    
    * refactor: decouple AVS<>Operator mapping from DelegationManager (#403)
    
    * refactor: initial draft
    
    * fix: revert require chages
    
    * fix: small nits
    
    * fix: operator<>AVS mapping tests (#407)
    
    * test: added back avsRegistration tests
    
    * fix: fuzz runs 4096
    
    * fix: broken fuzz test
    
    * docs: add docs for AVSDirectory (#408)
    
    * Feat: Add events for beacon chain balance updates & move deposit event
    
    * script update (#412)
    
    * fix: middleware script (#414)
    
    * Deneb Mainnet Patch (#395)
    
    * init commit
    
    * updated testFullWithdrawalFlow to deneb spec
    
    * added two proof paths
    
    * added both capella and deneb testS
    
    * added testFullWithdrawalFlowCapellaWithdrawalAgainstDenebRoot
    
    * added event
    
    * fixed storage gap
    
    * uncommented testsg
    
    * fix: remove line
    
    * fixed tesst
    
    * added a setter in the EPM for deneForkTimetamp
    
    * tests still broken
    
    * cleanup
    
    * added modifier
    
    * fixing tests
    
    * tests working
    
    * added tests
    
    * comments
    
    * fixed failing test
    
    * fix flaky test
    
    * removed modifier
    
    ---------
    
    Co-authored-by: gpsanant <[email protected]>
    
    * feat: simplify fork timestamp setting logic (#416)
    
    * feat: simplify fork timestamp setting logic
    
    * test: fix tests to account for only setting timestamp once
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    
    * Goerli implementation script (#413)
    
    * Create GoerliUpgrade2.s.sol
    
    * preprod deploy
    
    * Update GV2_preprod_deployment_2024_30_1.json
    
    * nit: comments
    
    * avs directory already deployed
    
    * preprod deploy
    
    * chore: fix numerous compiler warnings from script + test files (#419)
    
    warnings were for unused or shadowed variables, or functions that could have stricter mutability
    
    * docs: fixed comment
    
    * Revert "fixed comment"
    
    This reverts commit c3d7bff.
    
    * Fixed comments (#422)
    
    * fix: fixed comment
    
    * fix: removed dead space
    
    * fix: removed extraneous the
    
    * fix: edited another comment
    
    * feat: view func for avssync (#423)
    
    * fix: failing certora-ci (#410)
    
    * fix: try installing solc-select
    
    * fix: addShares selector
    
    * fix: add staker address to DEPOSIT typehash (#424)
    
    This provides additional signature replay protection
    for the `StrategyManager.depositIntoStrategyWithSignature` method
    
    Specifically, it addresses the issue outlined in
    https://mirror.xyz/curiousapple.eth/pFqAdW2LiJ-6S4sg_u1z08k4vK6BCJ33LcyXpnNb8yU
    where some ERC1271 wallets might be vulnerable to "replays" of signatures
    
    While the theoretical "damage" would be ~zero
    (allowing someone to deposit and credit the deposit to a user),
    adding this field to the typehash seems to be best practice, at least.
    
    * Testnet Deploy (#425)
    
    * fix: updated beacon chain proof docs and correct error message (#427)
    
    * fix: updated doc
    
    * fix: changed more incorrect references fo verifyBalanceUpdates
    
    * fix: changed more incorrect references fo verifyBalanceUpdates
    
    * fix: fixed image
    
    * fix: fixed incorrect comment
    
    * docs: fix formatting
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    
    * feat: slight refactor to make better use of strategybase hooks (#428)
    
    * feat: slight refactor to make better use of strategybase hooks
    
    * docs: add clarifying comment
    
    * test: unit tests for strat config (#426)
    
    * fix: use correct license (#431)
    
    this should be MIT licensed; looks like this was missed
    
    * docs: update README to point to deployment info (#432)
    
    * fix: include missing field from TYPEHASH calculation (#435)
    
    `delegationApprover` was missing from the `DELEGATION_APPROVAL_TYPEHASH` definition
    
    * fix: disable initializers in constructor (#436)
    
    * chore: beacon proof constants cleanup (#437)
    
    * fix: removed misc constants
    
    * feat: prevent queuing withdrawals to other addresses (#438)
    
    * fix: add back setMinWithdrawalDelayBlocks (#439)
    
    * fix:add back withdrawal delay
    
    * docs: update docs with new function
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    
    * feat: cancel AVS registration salt  (#434)
    
    * feat: cancel salt
    
    * fix: require that salt cannot be cancelled twice
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    
    * test: fix borked test after rebase
    
    ---------
    
    Co-authored-by: Yash Patil <[email protected]>
    Co-authored-by: Michael Sun <[email protected]>
    Co-authored-by: quaq <[email protected]>
    Co-authored-by: kachapah <[email protected]>
    Co-authored-by: gpsanant <[email protected]>
    Co-authored-by: ChaoticWalrus <[email protected]>
    Co-authored-by: SiddyJ <[email protected]>
    8 people authored Feb 16, 2024
    Configuration menu
    Copy the full SHA
    b6a3a91 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Configuration menu
    Copy the full SHA
    e73e880 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Configuration menu
    Copy the full SHA
    d4908eb View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Configuration menu
    Copy the full SHA
    5c192e1 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. chore: update license (#451)

    - clarify wording about change dates
    
    - rename the "licensed work" for greater specificity
    ChaoticWalrus authored Feb 23, 2024
    Configuration menu
    Copy the full SHA
    23ab4c8 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. chore: Cleanup script/ directory (#454)

    * chore: spring cleaning
    
    * fix: test deployment path
    
    * chore: revert back to  relative paths
    8sunyuan authored Feb 26, 2024
    Configuration menu
    Copy the full SHA
    95094bb View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6e58870 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Configuration menu
    Copy the full SHA
    e12b03f View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Configuration menu
    Copy the full SHA
    9ac0ef8 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. chore: remove maxPods (#463)

    * chore: remove maxPods
    
    * docs: update docs
    
    * refactor: set to private
    8sunyuan authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    3ba2b34 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. feat: holesky deploy scripts (#473)

    * script: parser script helpers
    
    * feat: holesky deploy scripts
    
    * fix: config
    
    * fix: ops multisig whitelister
    
    * feat: track active validator count in pods (#474)
    
    * chore: remove maxPods (#463)
    
    * chore: remove maxPods
    
    * docs: update docs
    
    * refactor: set to private
    
    * script: parser script helpers
    
    * feat: holesky deploy scripts
    
    * fix: config
    
    * fix: ops multisig whitelister
    
    * refactor: maxpods removal
    
    * feat: preprod deployment
    
    * refactor: reuse other script
    
    ---------
    
    Co-authored-by: Alex <[email protected]>
    8sunyuan and wadealexc authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    43ffb52 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. fix: certora prover ci (#477)

    * fix: fallback args
    
    * fix: updated storage syntax
    8sunyuan authored Mar 18, 2024
    Configuration menu
    Copy the full SHA
    a4ea703 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. fix: off-by-one error (#479)

    * fix: off-by-one error
    
    strict inequality could cause funds that were part of a withdrawal
    in the block where `mostRecentWithdrawalTimestamp` gets set to become stuck.
    changing to non-strict inequality fixes the issue.
    
    * chore: add regression test for off-by-one error
    
    added a function to the harness contract to make this test possible
    
    confirmed fails with previous behavior, but passes with new behavior
    
    * chore: delete confusing test
    
    it's unclear quite what this is supposed to be checking
    
    will follow-up with a more reasonable test for what I think this is trying to do
    
    * chore: add test to check that "too early" proof fails
    
    should replace the confusingly named + deleted `testDeployEigenPodTooSoon` test
    ChaoticWalrus authored Mar 21, 2024
    Configuration menu
    Copy the full SHA
    87c8499 View commit details
    Browse the repository at this point in the history
  2. docs: reinstate contract addresses to their former glory (#478)

    * docs: reinstate contract addresses to their former glory
    
    * add updated contract addresses for holesky
    * welcome home boys, we've missed you
    
    * docs: fix typo
    
    * docs: add missing strategy contracts
    wadealexc authored Mar 21, 2024
    Configuration menu
    Copy the full SHA
    b87095b View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. feat: m2 mainnet upgrade script (#480)

    * feat: m2-mainnet upgrade script
    
    * chore: remove test output
    
    * feat: add upgrade queue test (#481)
    
    this commit also imports various tx-queuing-related utils
    
    * feat: fix encoding & complete M2 upgrade queuing test
    
    * chore: adjustments to ordering, use parsed address
    
    * fix: correct genesis time
    
    * fix: max restake gwei config
    
    ---------
    
    Co-authored-by: ChaoticWalrus <[email protected]>
    8sunyuan and ChaoticWalrus authored Mar 22, 2024
    Configuration menu
    Copy the full SHA
    4b15d68 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. feat: add m2 upgrade output file (#482)

    * feat: add m2 upgrade output file
    
    * fix: consistent writing + reading of deployment params
    
    naming should now be consistent, so the ExistingDeploymentParser
    should work with unmodified script outputs
    
    * feat: appropriately parse new implementation addresses
    
    `test_queueUpgrade` now more accurately models the upgrade,
    and no longer simulates implementation deployment
    
    * chore: appropriate timelock ETA
    
    * chore: add a couple more "sanity" checks
    
    these are performed after the upgrade is simulated
    ChaoticWalrus authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    bc2ce17 View commit details
    Browse the repository at this point in the history
  2. chore: minor testing fixes (#486)

    * chore: filter fork upgrade test out of default `forge t`
    
    * chore: fix flaky test
    
    this test failed when the fuzzed 'withdrawer' param collided with the sender.
    by pranking the sender address, the 'assume' statement at the start of the test
    now has its desired behavior
    ChaoticWalrus authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    c61e5a0 View commit details
    Browse the repository at this point in the history
  3. test: updated fork integration tests (#483)

    * test: clean pr for fork testing
    
    * test: upgrade tests
    
    * fix: gh secrets
    
    * fix: remove lsts that error
    
    * test: clean up fork testing (#487)
    
    ---------
    
    Co-authored-by: Alex <[email protected]>
    8sunyuan and wadealexc authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    96cf578 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. chore: fork test via environment and custom foundry profile (#490)

    * chore: remove parallel tests
    
    * feat: trigger fork tests via env var and lower fuzz runs
    
    * mainnet fork tests are now triggered by setting the FOUNDRY_PROFILE to forktest
    * forktest profile uses lower fuzz runs to reduce RPC load
    * CI workflow is split into unit tests, integration tests, and integration forktests
    
    * fix: remove no-match from CI
    
    * fix: flaky unit test and also continue running tests if one job fails
    
    * fix: try a different job order
    
    * test: double the fork test runs since daddy alchemy is serving
    
    * docs: update integration test README with fork test info
    wadealexc authored Mar 28, 2024
    Configuration menu
    Copy the full SHA
    ca5abc9 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. chore: update the pragma from =0.8.12 to ^0.8.12 (#485)

    * chore: update the pragma from =0.8.12 to ^0.8.12
    
    * test: add deprecated interface pragmas and fix flaky test
    
    ---------
    
    Co-authored-by: wadealexc <[email protected]>
    stevennevins and wadealexc authored Apr 1, 2024
    Configuration menu
    Copy the full SHA
    62902b5 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. Configuration menu
    Copy the full SHA
    a31a2f3 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. fix: m2_deploy_from_scratch script for devnet (#495)

    * fix: m2_deploy_from_scratch script for devnet
    
    * feat: added github action to make sure deploy script is kept up-to-date
    
    * fix(github-action): missing submodules in checkout step
    samlaf authored Apr 5, 2024
    Configuration menu
    Copy the full SHA
    41b4361 View commit details
    Browse the repository at this point in the history
  2. feat: update mainnet implementation addresses (#497)

    * feat: update mainnet implementation addresses
    
    additionally, add the EigenLayerBeaconOracle to table
    
    * chore: correct shortened addresses for new implementations
    
    * chore: remove duplicate entry, more consistent format
    
    * chore: link to correct commit in table
    
    * chore: holesky strats
    
    * fix: update eigenpod beacon
    
    ---------
    
    Co-authored-by: 8sunyuan <[email protected]>
    ChaoticWalrus and 8sunyuan authored Apr 5, 2024
    Configuration menu
    Copy the full SHA
    1c8b3cb View commit details
    Browse the repository at this point in the history