What is Quantstamp?

Quantstamp (Symbol: QSP) is the first smart contract security-auditing protocol. The Quantstamp protocol solves the smart contract security problem by creating a scalable and cost-effective system to audit all smart contracts on the Ethereum network. Over time, the team expects every Ethereum smart contract to use the Quantstamp protocol to perform a security audit because security is essential. The protocol consists of two parts: (1) An automated and upgradeable software verification system that checks Solidity programs. The conflict-driven distributed SAT solver requires a large amount of computing power but will be able to catch increasingly sophisticated attacks over time; (2) An automated bounty payout system that rewards human participants for finding errors in smart contracts. The purpose of this system is to bridge the gap while moving towards the goal of full automation.