Skip to content

Conversation

ypatil12
Copy link
Collaborator

@ypatil12 ypatil12 commented Jul 17, 2025

Motivation:

Docs were out of date in some places. Redundant functions were present

Modifications:

  • Clarify docs/natspec
  • Remove checkKey in favor of isKeyRegistered
  • Remove old test file
  • Add sequence diagrams
  • Add documentation on errors/events

Result:

Cleaner code

@ypatil12 ypatil12 force-pushed the feat/keyRegistrar-updates branch from 13c0803 to 2cbdacd Compare July 17, 2025 16:08
@nadir-akhtar nadir-akhtar merged commit b1f5f47 into main Jul 17, 2025
15 checks passed
@nadir-akhtar nadir-akhtar deleted the feat/keyRegistrar-updates branch July 17, 2025 19:06
Copy link

Certora Run Started (Eigenlayer Contracts)

  • Group ID: 806a4852-6f02-464a-8a80-e6d54f16c6a6
Config Status Link Log File
core/AllocationManager.conf Compiled - certora/confs/core/AllocationManager.conf-b7ca66549e99.log
core/AllocationManagerSanity.conf Compiled - certora/confs/core/AllocationManagerSanity.conf-d437c66a6e36.log
core/DelegationManager.conf Compiled - certora/confs/core/DelegationManager.conf-99a685f8335a.log
core/DelegationManagerValidState.conf Compiled - certora/confs/core/DelegationManagerValidState.conf-f8886d2e47ba.log
core/StrategyManager.conf Failed (1) - certora/confs/core/StrategyManager.conf-92a1e13129f3.log
permissions/Pausable.conf Compiled - certora/confs/permissions/Pausable.conf-a1fc39e30a2f.log
pods/EigenPodManagerRules.conf Compiled - certora/confs/pods/EigenPodManagerRules.conf-8dfce5d01791.log
strategies/StrategyBase.conf Compiled - certora/confs/strategies/StrategyBase.conf-c6b0985f82f7.log

Certora Run Summary

  • Started 0 jobs
  • 1 jobs failed

Download Logs

ypatil12 added a commit to Layr-Labs/eigenlayer-middleware that referenced this pull request Jul 17, 2025
**Motivation:**

We've updated the `KeyRegistrar` interface to now only have an
`isRegistered` call:
Layr-Labs/eigenlayer-contracts#1551

**Modifications:**

- Update call to `KeyRegistrar` from `AVSRegistrar`
- Rev submodule
- Also document table calculators in ReadME

**Result:**

Working integration
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants