There are currently more than 50,000 Safe wallets deployed, with the top 25 instances alone holding a combined volume of 1.7M Ether and more than $90B equivalent in digital assets.
Our most advanced wallet solution, Safe, sets the industry-wide, highest security standards.
This in-depth review and testing of the codebase was conducted by Runtime Verification, a trusted pioneer of formal verification, over a six-month period.
Safe is the only formally verified smart contract-based wallet solution.
While the core smart contract has been formally verified, any and every update to the smart contracts goes through a careful audit by external security experts.
Still have doubts about the smart contracts’ security? You can insure funds stored in the Safe against potential smart contract attacks, through Nexus Mutual services.