You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
58 lines
1.5 KiB
58 lines
1.5 KiB
pragma solidity ^0.4.4;
|
|
|
|
|
|
import './PullPayment.sol';
|
|
import './Killable.sol';
|
|
|
|
|
|
/*
|
|
* Bounty
|
|
*
|
|
* This bounty will pay out to a researcher if they break invariant logic of the contract.
|
|
*/
|
|
contract Bounty is PullPayment, Killable {
|
|
Target target;
|
|
bool public claimed;
|
|
mapping(address => address) public researchers;
|
|
|
|
event TargetCreated(address createdAddress);
|
|
|
|
function() payable {
|
|
if (claimed) throw;
|
|
}
|
|
|
|
function createTarget() returns(Target) {
|
|
target = Target(deployContract());
|
|
researchers[target] = msg.sender;
|
|
TargetCreated(target);
|
|
return target;
|
|
}
|
|
|
|
function deployContract() internal returns(address);
|
|
|
|
function checkInvariant() returns(bool){
|
|
return target.checkInvariant();
|
|
}
|
|
|
|
function claim(Target target) {
|
|
address researcher = researchers[target];
|
|
if (researcher == 0) throw;
|
|
// Check Target contract invariants
|
|
if (target.checkInvariant()) {
|
|
throw;
|
|
}
|
|
asyncSend(researcher, this.balance);
|
|
claimed = true;
|
|
}
|
|
|
|
}
|
|
|
|
/*
|
|
* Target
|
|
*
|
|
* Your main contract should inherit from this class and implement the checkInvariant method. This is a function that should check everything your contract assumes to be true all the time. If this function returns false, it means your contract was broken in some way and is in an inconsistent state. This is what security researchers will try to acomplish when trying to get the bounty.
|
|
*/
|
|
contract Target {
|
|
function checkInvariant() returns(bool);
|
|
}
|
|
|
|
|