58 lines
1.3 KiB
Solidity
58 lines
1.3 KiB
Solidity
pragma solidity ^0.4.0;
|
|
import '../PullPayment.sol';
|
|
import '../Killable.sol';
|
|
/*
|
|
* Bounty
|
|
* This bounty will pay out if you can cause a SimpleToken's balance
|
|
* to be lower than its totalSupply, which would mean that it doesn't
|
|
* have sufficient ether for everyone to withdraw.
|
|
*/
|
|
|
|
contract Factory {
|
|
function deployContract() returns (address);
|
|
}
|
|
|
|
contract Target {
|
|
function checkInvariant() returns(bool);
|
|
}
|
|
|
|
contract SimpleTokenBounty is PullPayment, Killable {
|
|
Target target;
|
|
bool public claimed;
|
|
address public factoryAddress;
|
|
mapping(address => address) public researchers;
|
|
|
|
event TargetCreated(address createdAddress);
|
|
|
|
function() payable {
|
|
if (claimed) throw;
|
|
}
|
|
|
|
function SimpleTokenBounty(address _factoryAddress){
|
|
factoryAddress = _factoryAddress;
|
|
}
|
|
|
|
function createTarget() returns(Target) {
|
|
target = Target(Factory(factoryAddress).deployContract());
|
|
researchers[target] = msg.sender;
|
|
TargetCreated(target);
|
|
return target;
|
|
}
|
|
|
|
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;
|
|
}
|
|
|
|
}
|