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.
50 lines
1.1 KiB
50 lines
1.1 KiB
pragma solidity ^0.4.4;
|
|
import './PullPayment.sol';
|
|
import './Killable.sol';
|
|
|
|
/*
|
|
* Bounty
|
|
* This bounty will pay out to a researcher if he/she breaks invariant logic of
|
|
* the contract you bet reward against.
|
|
*/
|
|
|
|
contract Target {
|
|
function checkInvariant() returns(bool);
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
}
|
|
|