Cryptocurrency exchange Coinbase has launched Solidify, a solution that will facilitate the audit of Ethereum smart contracts written in the Solidity programming language.
The tool was introduced by Coinbase Blockchain Security Engineer Peter Kacherginsky in an article on the company’s blog. Manual auditing of smart contracts is very laborious and time-consuming, in addition, security specialists often miss errors and vulnerabilities. Solidify’s solution should significantly speed up the audit process, as well as reduce the number of missed vulnerabilities.
At the same time, Kacherginsky emphasized that in order to add a token to the site, the project’s smart contract must undergo an audit to reduce the risks of clients. Therefore, Coinbase needed a fast, secure and reliable smart contract verification tool.
“To solve this problem, we developed Solidify (the name was changed from Solidity) to increase the speed of listing new assets without reducing security requirements,” writes a blockchain security engineer.
Solidify validates smart contracts for 6,000 different vulnerabilities to quickly assess the security of a contract. The tool also detects potentially dangerous functions and under-tested operations.
“Solidify assesses the security risks of hundreds of smart contracts. This can be done either fully automatically or with an additional manual check of unique functions. The solution uses a large database of vulnerabilities and a pattern matching engine to reliably identify the features and risks of smart contracts, standardize and evaluate them, propose vulnerability fixes and generate detailed reports, ”the article emphasizes.
