Protocol for Securing Smart Contracts

Quantstamp: The Protocol for Securing Smart Contracts page

Quatstamp logo

Quantstamp is the first scalable security-audit protocol designed to find vulnerabilities in Ethereum smart contracts. page

A smart contract in the sense of Solidity is a collection of code (its functions) and data (its state) that resides at a specific address on the Ethereum blockchain. page

A Cornell University researcher stated that Solidity was partially to blame for The DAO hack that took place in 2016. He stated: "this was actually not a flaw or exploit in the DAO contract itself: technically the EVM was operating as intended, but Solidity was introducing security flaws into contracts that were not only missed by the community, but missed by the designers of the language themselves." page

As specified by Gavin Wood, Solidity is designed around the ECMAScript syntax to make it familiar for existing web developers; unlike ECMAScript it has static typing and variadic return types.pages

Code: Ethereum/Solidity and experimental Viper page