Check verification system An automated and upgradeable software verification system that checks smart contract code such as Solidity programs.
Payout system An automated payout system that rewards human participants in QSP tokens for finding errors in smart contracts. The purpose of this system is to bridge the gap while moving towards the goal of full automation.