mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
79 lines
2.1 KiB
Solidity
79 lines
2.1 KiB
Solidity
pragma solidity ^0.4.11;
|
|
|
|
|
|
import './payment/PullPayment.sol';
|
|
import './lifecycle/Destructible.sol';
|
|
|
|
|
|
/**
|
|
* @title Bounty
|
|
* @dev This bounty will pay out to a researcher if they break invariant logic of the contract.
|
|
*/
|
|
contract Bounty is PullPayment, Destructible {
|
|
bool public claimed;
|
|
mapping(address => address) public researchers;
|
|
|
|
event TargetCreated(address createdAddress);
|
|
|
|
/**
|
|
* @dev Fallback function allowing the contract to receive funds, if they haven't already been claimed.
|
|
*/
|
|
function() external payable {
|
|
if (claimed) {
|
|
throw;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* @dev Create and deploy the target contract (extension of Target contract), and sets the
|
|
* msg.sender as a researcher
|
|
* @return A target contract
|
|
*/
|
|
function createTarget() public returns(Target) {
|
|
Target target = Target(deployContract());
|
|
researchers[target] = msg.sender;
|
|
emit TargetCreated(target);
|
|
return target;
|
|
}
|
|
|
|
/**
|
|
* @dev Internal function to deploy the target contract.
|
|
* @return A target contract address
|
|
*/
|
|
function deployContract() internal returns(address);
|
|
|
|
/**
|
|
* @dev Sends the contract funds to the researcher that proved the contract is broken.
|
|
* @param target contract
|
|
*/
|
|
function claim(Target target) public {
|
|
address researcher = researchers[target];
|
|
if (researcher == address(0)) {
|
|
throw;
|
|
}
|
|
// Check Target contract invariants
|
|
if (target.checkInvariant()) {
|
|
throw;
|
|
}
|
|
asyncSend(researcher, this.balance);
|
|
claimed = true;
|
|
}
|
|
|
|
}
|
|
|
|
|
|
/**
|
|
* @title Target
|
|
* @dev Your main contract should inherit from this class and implement the checkInvariant method.
|
|
*/
|
|
contract Target {
|
|
|
|
/**
|
|
* @dev Checks all values a contract assumes to be true all the time. If this function returns
|
|
* false, the contract is broken in some way and is in an inconsistent state.
|
|
* In order to win the bounty, security researchers will try to cause this broken state.
|
|
* @return True if all invariant values are correct, false otherwise.
|
|
*/
|
|
function checkInvariant() public returns(bool);
|
|
}
|