A new standard for smart contract security
How we make sure your funds are safe
Gnosis has been developing blockchain-based financial, infrastructure products since 2016. In that time in the blockchain ecosystem, Gnosis has earned a reputation for expertise in engineering.
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.
Formally verified
The Safe core smart contracts have passed the highest possible security standard in the industry: Formal Verification.
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.
Audits
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.
Insurance
by Nexus Mutual
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.