Continued idea for QSP.
The protocol consists of two parts:
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.
The protocol consists of two parts:
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.