Distributed database that is used to maintain a continuously growing list of records, called blocks
Switzerland based Software Reliability Lab developing automated analysis and synthesis techniques for smart contracts has launched the first automated system for formal verification of smart contracts - Securify.
Securify verifier for Ethereum
The main advantages of Securify over other solutions is that it provides:
- Automation, to enable all users to verify contracts
- Guarantees, to avoid reporting vulnerable contracts are safe
- Extensibility, to capture new security vulnerability that are regularly discovered
Securify is capable to pinpoint the instructions that may cause security issues and therefore provides practical and useful guidelines to contract developers.
Is an open-source blockchain-based distributed computing platform featuring smart contract functionality, which facilitates online contractual agreements
As the developers argue, existing solutions based on executing the contract "check only a subset of the possible paths and can therefore miss critical security problems. Further, approaches based on interactive-theorem provers can provide strong guarantees, for all paths, but they cannot be easily automated or easily extended. In contrast, Securify combines the best of both worlds: it analyzes all paths while being fully automated".
Securify verifier in working process
The brand new verifier has already received positive feedback in social media. Sergio Demian Lerner, cryptocurrency security consultant from the first open-source smart contract platform RSK, shared on Twitter:
— Sergio Demian Lerner (@SDLerner) July 6, 2017offer pilot customer access to Securify
Pilot customer access to Securify has been already offered to users. It's also possible to sign up for the full release of Securify and future updates