
Formal Verification
We are currently in the process of formally verifying the most current version of the smart contracts. Until this is finalized, please use only a small amount of funds on your Safe.
For more information, check out this post: https://blog.gnosis.pm/formal-verification-of-the-gnosis-safe-contracts-faca6664950
The Gnosis Safe offers multi-factor authentication for transactions, meaning that if one of your device is lost or stolen, you can still access your funds. As the first smart contract-based mobile wallet, the Gnosis Safe drastically simplifies interaction and integration with decentralized applications, becoming the premiere tool to enter the decentralized web.