docs: add audit report for slash delay & blacklist fix and update readme (#1753) - #1755
Merged
Merged
Conversation
**Motivation:** The Certora security assessment for the Redistribution Slash Delay Upgrade (PR #1753, v1.13.0) was completed but is not yet published in the `/audits` directory alongside the other EigenLayer audit reports. **Modifications:** - Added the final Certora report for the slash resolution delay and duration-vault blacklist fix. **Result:** Up to date `/audits` dir; the slash-delay upgrade's audit is now publicly available.
elhajin
previously approved these changes
Jun 17, 2026
elhajin
changed the title
eigenmikem
approved these changes
Jun 17, 2026
elhajin
approved these changes
Jun 18, 2026
anupsv
approved these changes
Jun 22, 2026
Contributor
|
lgtm |
There was a problem hiding this comment.
Pull request overview
Publishes the completed Certora security assessment for the Redistribution Slash Delay upgrade (PR #1753 / v1.13.0) in the repo’s /audits directory, and updates README deployment metadata to reflect current deployed versions and implementation addresses.
Changes:
- Added the Certora audit report PDF for the Redistribution Slash Delay upgrade to
/audits. - Updated
README.mddeployment version matrix for mainnet/testnets. - Updated
README.mddeployed implementation addresses across the “Current Deployment Contracts” tables.
Reviewed changes
Copilot reviewed 1 out of 2 changed files in this pull request and generated 1 comment.
| File | Description |
|---|---|
audits/Redistribution Slash Delay (v1.13.0) - Certora - May 2026.pdf |
Adds the final Certora report to the public /audits directory. |
README.md |
Updates deployment versions and deployed contract implementation addresses to current values. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Motivation:
The Certora security assessment for the Redistribution Slash Delay Upgrade (PR #1753, v1.13.0) was completed but is not yet published in the
/auditsdirectory alongside the other EigenLayer audit reports.Modifications:
Result:
Up to date
/auditsdir; the slash-delay upgrade's audit is now publicly available.