Quantstamp star

The Quantstamp is a protocol that aims to create a scalable and cost-effective audit system to all smart contracts on the Ethereum network.The protocol will use the SAT solver software to verify the programs solidity. In order to have the necessary computing power for the software, the Quantstamp will leverage a distributed network of participants.

Quantstamp token (QSP) is an ERC-20 token that will benefit the users in several ways. QSP will reward those who contribute to the software for verifying the solidity programs, who run the Quantstamp validation node (a specialized node on the Ethereum network), and those who find bugs on the smart contracts.