Built with
security first
Independent audits, formal verification and deployment checks across Euler’s contracts and infrastructure.
Read the reports60+
Security engagements across audits, formal verification and testing.
Deployment checks
Deployed bytecode is matched to a build from an exact source commit, then compared with the latest audited code.
NetworkBytecode-proven contracts
Reports cover 17 networksFormal verification
Formal verification uses a mathematical prover to show a rule always holds. Certora has done this for the Euler V2 core and EulerEarn.
Examples of proven rulesA healthy account can’t be liquidated.Euler Vault KitOnly an account’s owner can let an operator act for it.EVCDeposits and withdrawals keep the vault solvent.EulerEarn
View verification recordsUp to $7.5m bug bounty
Monitoring after deployment
Hypernative monitors Euler’s protocol contracts for potential threats.
Explore monitoring and responseHypernative
Review monitoring and response
Read how protocol monitoring, pauses and upgrades work.