Certora formal verification#540

aehyvari wants to merge 1 commit intoLayr-Labs:devLayr-Labs/eigenlayer-middleware:devfrom

Certora:certora/multichain-rerunCertora/eigenlayer-middleware-fork:certora/multichain-rerunCopy head branch name to clipboard