Summary
The most critical subjects covered in our audit are functional correctness and front-running resilience.
Front-running resilience is good as long as operations admins deploy validators with the appropriate arguments.
Functional correctness is high but some functionality is missing that will be added at a later stage (seeVerified validator balance not counted).
In summary, we find that the codebase provides a high level of security.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. Theycomplement but don't replace other vital measures to secure a project.
About Moebius smart contracts
Moebius implements a transferrable token that represents stake in EigenLayer. Liquid staking tokens and native tokens can be deposited into the protocol to mint such tokens. Deposited native tokens are handled custodially by the protocol's third party operators running Ethereum validators.
"Moebius unifies restaking, allowing users to earn tokenized points by depositing into multiple restaking protocols."