Certora formal verification specifications and CI#1638

aehyvari wants to merge 1 commit intoLayr-Labs:mainLayr-Labs/eigenlayer-contracts:mainfrom

Certora:certora/multichain-specsCertora/eigenlayer-contracts-fork:certora/multichain-specsCopy head branch name to clipboard