{ "contractName": "TrustedRNG", "abi": [ { "constant": false, "inputs": [ { "name": "_block", "type": "uint256" } ], "name": "getUncorrelatedRN", "outputs": [ { "name": "RN", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_block", "type": "uint256" } ], "name": "requestRN", "outputs": [], "payable": true, "stateMutability": "payable", "type": "function" }, { "constant": true, "inputs": [], "name": "owner", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" } ], "name": "reward", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" } ], "name": "randomNumber", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_block", "type": "uint256" } ], "name": "contribute", "outputs": [], "payable": true, "stateMutability": "payable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_block", "type": "uint256" }, { "name": "_RN", "type": "uint256" } ], "name": "giveRN", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_block", "type": "uint256" } ], "name": "getRN", "outputs": [ { "name": "RN", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x608060405260008054600160a060020a0319163317905534801561002257600080fd5b5061045d806100326000396000f30060806040526004361061008d5763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631c73601e81146100925780637b9c34e0146100bc5780638da5cb5b146100c9578063a9fb763c14610107578063c1cbbca71461011f578063ca4742f11461012a578063ef655ebb14610142578063f970dd021461015d575b600080fd5b34801561009e57600080fd5b506100aa600435610175565b60408051918252519081900360200190f35b6100c76004356101c4565b005b3480156100d557600080fd5b506100de6101d0565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561011357600080fd5b506100aa6004356101ec565b6100c76004356101fe565b34801561013657600080fd5b506100aa600435610275565b34801561014e57600080fd5b506100c7600435602435610287565b34801561016957600080fd5b506100aa60043561041f565b60008061018183610275565b905080151561019357600091506101be565b604080516c010000000000000000000000003302815260148101839052905190819003603401902091505b50919050565b6101cd816101fe565b50565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60026020526000908152604090205481565b6000818152600160205260409020541561025f576000805460405173ffffffffffffffffffffffffffffffffffffffff909116913480156108fc02929091818181858888f19350505050158015610259573d6000803e3d6000fd5b506101cd565b6000908152600260205260409020805434019055565b60009081526001602052604090205490565b60005473ffffffffffffffffffffffffffffffffffffffff16331461030d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f5468652063616c6c6572206d75737420626520746865206f776e65722e000000604482015290519081900360640190fd5b600082815260016020526040902054156103ae57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f5468652072616e646f6d206e756d6265722063616e6e6f7420616c726561647960448201527f206265207365742e000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600080548382526002602052604080832054905173ffffffffffffffffffffffffffffffffffffffff9092169281156108fc029290818181858888f19350505050158015610400573d6000803e3d6000fd5b5060009182526001602090815260408084209290925560029052812055565b600160205260009081526040902054815600a165627a7a72305820bc30384760abb14991fd2f5b21682c4803a88d023c5a6971b607bcb8c29813fb0029", "deployedBytecode": "0x60806040526004361061008d5763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416631c73601e81146100925780637b9c34e0146100bc5780638da5cb5b146100c9578063a9fb763c14610107578063c1cbbca71461011f578063ca4742f11461012a578063ef655ebb14610142578063f970dd021461015d575b600080fd5b34801561009e57600080fd5b506100aa600435610175565b60408051918252519081900360200190f35b6100c76004356101c4565b005b3480156100d557600080fd5b506100de6101d0565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561011357600080fd5b506100aa6004356101ec565b6100c76004356101fe565b34801561013657600080fd5b506100aa600435610275565b34801561014e57600080fd5b506100c7600435602435610287565b34801561016957600080fd5b506100aa60043561041f565b60008061018183610275565b905080151561019357600091506101be565b604080516c010000000000000000000000003302815260148101839052905190819003603401902091505b50919050565b6101cd816101fe565b50565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60026020526000908152604090205481565b6000818152600160205260409020541561025f576000805460405173ffffffffffffffffffffffffffffffffffffffff909116913480156108fc02929091818181858888f19350505050158015610259573d6000803e3d6000fd5b506101cd565b6000908152600260205260409020805434019055565b60009081526001602052604090205490565b60005473ffffffffffffffffffffffffffffffffffffffff16331461030d57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f5468652063616c6c6572206d75737420626520746865206f776e65722e000000604482015290519081900360640190fd5b600082815260016020526040902054156103ae57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f5468652072616e646f6d206e756d6265722063616e6e6f7420616c726561647960448201527f206265207365742e000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600080548382526002602052604080832054905173ffffffffffffffffffffffffffffffffffffffff9092169281156108fc029290818181858888f19350505050158015610400573d6000803e3d6000fd5b5060009182526001602090815260408084209290925560029052812055565b600160205260009081526040902054815600a165627a7a72305820bc30384760abb14991fd2f5b21682c4803a88d023c5a6971b607bcb8c29813fb0029", "sourceMap": "431:1660:56:-;;;465:31;;;-1:-1:-1;;;;;;465:31:56;486:10;465:31;;;431:1660;5:2:-1;;;;30:1;27;20:12;5:2;431:1660:56;;;;;;;", "deployedSourceMap": "431:1660:56:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1102:216:55;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1102:216:55;;;;;;;;;;;;;;;;;;;;;423:82;;;;;;;;465:31:56;;8:9:-1;5:2;;;30:1;27;20:12;5:2;465:31:56;;;;;;;;;;;;;;;;;;;;;;;641:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;641:36:56;;;;;962:281;;;;;;1991:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1991:97:56;;;;;1447:336;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1447:336:56;;;;;;;531:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;531:42:56;;;;;1102:216:55;1158:7;1177:11;1191:13;1197:6;1191:5;:13::i;:::-;1177:27;-1:-1:-1;1218:11:55;;1214:97;;;1246:1;1239:8;;;;1214:97;1282:28;;;;1292:10;1282:28;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1214:97:55;1102:216;;;;:::o;423:82::-;480:18;491:6;480:10;:18::i;:::-;423:82;:::o;465:31:56:-;;;;;;:::o;641:36::-;;;;;;;;;;;;;:::o;962:281::-;1024:20;;;;:12;:20;;;;;;:23;1020:216;;1061:5;;;:25;;:5;;;;;1076:9;1061:25;;;;;1076:9;;1061:25;:5;:25;1076:9;1061:5;:25;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1061:25:56;1020:216;;;1209:14;;;;:6;:14;;;;;:27;;1227:9;1209:27;;;962:281::o;1991:97::-;2035:7;2061:20;;;:12;:20;;;;;;;1991:97::o;1447:336::-;786:5;;;;772:10;:19;764:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1521:20;;;;:12;:20;;;;;;:25;1513:78;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1646:5;;;1661:14;;;:6;:14;;;;;;;1646:30;;:5;;;;;:30;;;;;;;:5;:30;1661:14;1646:5;:30;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;1722:20:56;;;;:12;:20;;;;;;;;:26;;;;1758:6;:14;;;;:18;1447:336::o;531:42::-;;;;;;;;;;;;;:::o", "source": "/**\n * @title Random Number Generator based on a trusted party.\n * @author Clément Lesaege - \n *\n * This contract implement the RNG standard and rely on a trusted party to give a random number.\n *\n */\npragma solidity ^0.4.15;\n\nimport \"./RNG.sol\";\n\n/** Simple Random Number Generator based on a trusted third party.\n * The trusted third party determine the random number and get all the contributions.\n */\ncontract TrustedRNG is RNG {\n\n address public owner=msg.sender; // The operator of this RNG.\n mapping (uint => uint) public randomNumber; // RN[block] is the random number for this block 0 otherwise.\n mapping (uint => uint) public reward; // reward[block] is the amount to be paid to the party w.\n\n modifier onlyOwner() {require(msg.sender == owner, \"The caller must be the owner.\"); _;}\n\n /** @dev Contribute to the reward of a random number.\n * @param _block Block the random number is linked to.\n */\n function contribute(uint _block) public payable {\n if (randomNumber[_block]!=0)\n owner.transfer(msg.value); // The random number has already been given, pay the operator. If send fails it's not an issue.\n else\n reward[_block] += msg.value;\n }\n\n /** @dev Give a random number. To be called by the operator.\n * @param _block Block the random number is linked to.\n * @param _RN The random number given by the trusted party.\n */\n function giveRN(uint _block, uint _RN) public onlyOwner {\n require(randomNumber[_block] == 0, \"The random number cannot already be set.\"); // Prevent the operator from changing a RN.\n\n owner.transfer(reward[_block]); // If send fails it's not an issue.\n randomNumber[_block] = _RN;\n reward[_block] = 0;\n }\n\n /** @dev Get the random number.\n * @param _block Block the random number is linked to.\n * @return RN Random Number. If the number is not ready or has not been requested 0 instead.\n */\n function getRN(uint _block) public returns (uint RN) {\n return randomNumber[_block];\n }\n\n}\n", "sourcePath": "/private/tmp/kleros-interaction/contracts/standard/rng/TrustedRNG.sol", "ast": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/rng/TrustedRNG.sol", "exportedSymbols": { "TrustedRNG": [ 18552 ] }, "id": 18553, "nodeType": "SourceUnit", "nodes": [ { "id": 18447, "literals": [ "solidity", "^", "0.4", ".15" ], "nodeType": "PragmaDirective", "src": "226:24:56" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/rng/RNG.sol", "file": "./RNG.sol", "id": 18448, "nodeType": "ImportDirective", "scope": 18553, "sourceUnit": 18446, "src": "252:19:56", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 18449, "name": "RNG", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 18445, "src": "454:3:56", "typeDescriptions": { "typeIdentifier": "t_contract$_RNG_$18445", "typeString": "contract RNG" } }, "id": 18450, "nodeType": "InheritanceSpecifier", "src": "454:3:56" } ], "contractDependencies": [ 18445 ], "contractKind": "contract", "documentation": "Simple Random Number Generator based on a trusted third party.\n The trusted third party determine the random number and get all the contributions.", "fullyImplemented": true, "id": 18552, "linearizedBaseContracts": [ 18552, 18445 ], "name": "TrustedRNG", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 18454, "name": "owner", "nodeType": "VariableDeclaration", "scope": 18552, "src": "465:31:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18451, "name": "address", "nodeType": "ElementaryTypeName", "src": "465:7:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18452, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "486:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18453, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "486:10:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "public" }, { "constant": false, "id": 18458, "name": "randomNumber", "nodeType": "VariableDeclaration", "scope": 18552, "src": "531:42:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "typeName": { "id": 18457, "keyType": { "id": 18455, "name": "uint", "nodeType": "ElementaryTypeName", "src": "540:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "531:22:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "valueType": { "id": 18456, "name": "uint", "nodeType": "ElementaryTypeName", "src": "548:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 18462, "name": "reward", "nodeType": "VariableDeclaration", "scope": 18552, "src": "641:36:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "typeName": { "id": 18461, "keyType": { "id": 18459, "name": "uint", "nodeType": "ElementaryTypeName", "src": "650:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "641:22:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "valueType": { "id": 18460, "name": "uint", "nodeType": "ElementaryTypeName", "src": "658:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "body": { "id": 18473, "nodeType": "Block", "src": "763:67:56", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 18468, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18465, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "772:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18466, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "772:10:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 18467, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "786:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "772:19:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5468652063616c6c6572206d75737420626520746865206f776e65722e", "id": 18469, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "793:31:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_010daa84fde1c2d5ec1e1eb58ce403284786e8bc3339154d6a03b652b42cde12", "typeString": "literal_string \"The caller must be the owner.\"" }, "value": "The caller must be the owner." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_010daa84fde1c2d5ec1e1eb58ce403284786e8bc3339154d6a03b652b42cde12", "typeString": "literal_string \"The caller must be the owner.\"" } ], "id": 18464, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 20642, 20643 ], "referencedDeclaration": 20643, "src": "764:7:56", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18470, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "764:61:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18471, "nodeType": "ExpressionStatement", "src": "764:61:56" }, { "id": 18472, "nodeType": "PlaceholderStatement", "src": "827:1:56" } ] }, "documentation": null, "id": 18474, "name": "onlyOwner", "nodeType": "ModifierDefinition", "parameters": { "id": 18463, "nodeType": "ParameterList", "parameters": [], "src": "760:2:56" }, "src": "742:88:56", "visibility": "internal" }, { "body": { "id": 18499, "nodeType": "Block", "src": "1010:233:56", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18483, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18479, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1024:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18481, "indexExpression": { "argumentTypes": null, "id": 18480, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18476, "src": "1037:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1024:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18482, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1046:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1024:23:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "id": 18496, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18491, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1209:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18493, "indexExpression": { "argumentTypes": null, "id": 18492, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18476, "src": "1216:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1209:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18494, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "1227:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18495, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1227:9:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1209:27:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18497, "nodeType": "ExpressionStatement", "src": "1209:27:56" }, "id": 18498, "nodeType": "IfStatement", "src": "1020:216:56", "trueBody": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18487, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "1076:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18488, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1076:9:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18484, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "1061:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 18486, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1061:14:56", "typeDescriptions": { "typeIdentifier": "t_function_transfer_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 18489, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1061:25:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18490, "nodeType": "ExpressionStatement", "src": "1061:25:56" } } ] }, "documentation": "@dev Contribute to the reward of a random number.\n @param _block Block the random number is linked to.", "id": 18500, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "contribute", "nodeType": "FunctionDefinition", "parameters": { "id": 18477, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18476, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18500, "src": "982:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18475, "name": "uint", "nodeType": "ElementaryTypeName", "src": "982:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "981:13:56" }, "payable": true, "returnParameters": { "id": 18478, "nodeType": "ParameterList", "parameters": [], "src": "1010:0:56" }, "scope": 18552, "src": "962:281:56", "stateMutability": "payable", "superFunction": 18399, "visibility": "public" }, { "body": { "id": 18538, "nodeType": "Block", "src": "1503:280:56", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18514, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18510, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1521:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18512, "indexExpression": { "argumentTypes": null, "id": 18511, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1534:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1521:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18513, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1545:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1521:25:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5468652072616e646f6d206e756d6265722063616e6e6f7420616c7265616479206265207365742e", "id": 18515, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1548:42:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d37cb97c97b426cdd2c021a73a2b3db6c09c3e75fc7140ab3eb3acb248c3839b", "typeString": "literal_string \"The random number cannot already be set.\"" }, "value": "The random number cannot already be set." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d37cb97c97b426cdd2c021a73a2b3db6c09c3e75fc7140ab3eb3acb248c3839b", "typeString": "literal_string \"The random number cannot already be set.\"" } ], "id": 18509, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 20642, 20643 ], "referencedDeclaration": 20643, "src": "1513:7:56", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18516, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1513:78:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18517, "nodeType": "ExpressionStatement", "src": "1513:78:56" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18521, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1661:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18523, "indexExpression": { "argumentTypes": null, "id": 18522, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1668:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1661:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18518, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "1646:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 18520, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1646:14:56", "typeDescriptions": { "typeIdentifier": "t_function_transfer_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 18524, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1646:30:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18525, "nodeType": "ExpressionStatement", "src": "1646:30:56" }, { "expression": { "argumentTypes": null, "id": 18530, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18526, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1722:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18528, "indexExpression": { "argumentTypes": null, "id": 18527, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1735:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1722:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 18529, "name": "_RN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18504, "src": "1745:3:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1722:26:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18531, "nodeType": "ExpressionStatement", "src": "1722:26:56" }, { "expression": { "argumentTypes": null, "id": 18536, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18532, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1758:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18534, "indexExpression": { "argumentTypes": null, "id": 18533, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1765:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1758:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 18535, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1775:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1758:18:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18537, "nodeType": "ExpressionStatement", "src": "1758:18:56" } ] }, "documentation": "@dev Give a random number. To be called by the operator.\n @param _block Block the random number is linked to.\n @param _RN The random number given by the trusted party.", "id": 18539, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [ { "arguments": null, "id": 18507, "modifierName": { "argumentTypes": null, "id": 18506, "name": "onlyOwner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18474, "src": "1493:9:56", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1493:9:56" } ], "name": "giveRN", "nodeType": "FunctionDefinition", "parameters": { "id": 18505, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18502, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18539, "src": "1463:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18501, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1463:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18504, "name": "_RN", "nodeType": "VariableDeclaration", "scope": 18539, "src": "1476:8:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18503, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1476:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1462:23:56" }, "payable": false, "returnParameters": { "id": 18508, "nodeType": "ParameterList", "parameters": [], "src": "1503:0:56" }, "scope": 18552, "src": "1447:336:56", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 18550, "nodeType": "Block", "src": "2044:44:56", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18546, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "2061:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18548, "indexExpression": { "argumentTypes": null, "id": 18547, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18541, "src": "2074:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2061:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18545, "id": 18549, "nodeType": "Return", "src": "2054:27:56" } ] }, "documentation": "@dev Get the random number.\n @param _block Block the random number is linked to.\n @return RN Random Number. If the number is not ready or has not been requested 0 instead.", "id": 18551, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "getRN", "nodeType": "FunctionDefinition", "parameters": { "id": 18542, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18541, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18551, "src": "2006:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18540, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2006:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2005:13:56" }, "payable": false, "returnParameters": { "id": 18545, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18544, "name": "RN", "nodeType": "VariableDeclaration", "scope": 18551, "src": "2035:7:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18543, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2035:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2034:9:56" }, "scope": 18552, "src": "1991:97:56", "stateMutability": "nonpayable", "superFunction": 18416, "visibility": "public" } ], "scope": 18553, "src": "431:1660:56" } ], "src": "226:1866:56" }, "legacyAST": { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/rng/TrustedRNG.sol", "exportedSymbols": { "TrustedRNG": [ 18552 ] }, "id": 18553, "nodeType": "SourceUnit", "nodes": [ { "id": 18447, "literals": [ "solidity", "^", "0.4", ".15" ], "nodeType": "PragmaDirective", "src": "226:24:56" }, { "absolutePath": "/private/tmp/kleros-interaction/contracts/standard/rng/RNG.sol", "file": "./RNG.sol", "id": 18448, "nodeType": "ImportDirective", "scope": 18553, "sourceUnit": 18446, "src": "252:19:56", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 18449, "name": "RNG", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 18445, "src": "454:3:56", "typeDescriptions": { "typeIdentifier": "t_contract$_RNG_$18445", "typeString": "contract RNG" } }, "id": 18450, "nodeType": "InheritanceSpecifier", "src": "454:3:56" } ], "contractDependencies": [ 18445 ], "contractKind": "contract", "documentation": "Simple Random Number Generator based on a trusted third party.\n The trusted third party determine the random number and get all the contributions.", "fullyImplemented": true, "id": 18552, "linearizedBaseContracts": [ 18552, 18445 ], "name": "TrustedRNG", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 18454, "name": "owner", "nodeType": "VariableDeclaration", "scope": 18552, "src": "465:31:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 18451, "name": "address", "nodeType": "ElementaryTypeName", "src": "465:7:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18452, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "486:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18453, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "486:10:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "public" }, { "constant": false, "id": 18458, "name": "randomNumber", "nodeType": "VariableDeclaration", "scope": 18552, "src": "531:42:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "typeName": { "id": 18457, "keyType": { "id": 18455, "name": "uint", "nodeType": "ElementaryTypeName", "src": "540:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "531:22:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "valueType": { "id": 18456, "name": "uint", "nodeType": "ElementaryTypeName", "src": "548:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 18462, "name": "reward", "nodeType": "VariableDeclaration", "scope": 18552, "src": "641:36:56", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "typeName": { "id": 18461, "keyType": { "id": 18459, "name": "uint", "nodeType": "ElementaryTypeName", "src": "650:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "641:22:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" }, "valueType": { "id": 18460, "name": "uint", "nodeType": "ElementaryTypeName", "src": "658:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "body": { "id": 18473, "nodeType": "Block", "src": "763:67:56", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 18468, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18465, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "772:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18466, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "772:10:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 18467, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "786:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "772:19:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5468652063616c6c6572206d75737420626520746865206f776e65722e", "id": 18469, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "793:31:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_010daa84fde1c2d5ec1e1eb58ce403284786e8bc3339154d6a03b652b42cde12", "typeString": "literal_string \"The caller must be the owner.\"" }, "value": "The caller must be the owner." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_010daa84fde1c2d5ec1e1eb58ce403284786e8bc3339154d6a03b652b42cde12", "typeString": "literal_string \"The caller must be the owner.\"" } ], "id": 18464, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 20642, 20643 ], "referencedDeclaration": 20643, "src": "764:7:56", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18470, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "764:61:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18471, "nodeType": "ExpressionStatement", "src": "764:61:56" }, { "id": 18472, "nodeType": "PlaceholderStatement", "src": "827:1:56" } ] }, "documentation": null, "id": 18474, "name": "onlyOwner", "nodeType": "ModifierDefinition", "parameters": { "id": 18463, "nodeType": "ParameterList", "parameters": [], "src": "760:2:56" }, "src": "742:88:56", "visibility": "internal" }, { "body": { "id": 18499, "nodeType": "Block", "src": "1010:233:56", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18483, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18479, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1024:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18481, "indexExpression": { "argumentTypes": null, "id": 18480, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18476, "src": "1037:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1024:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18482, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1046:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1024:23:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "id": 18496, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18491, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1209:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18493, "indexExpression": { "argumentTypes": null, "id": 18492, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18476, "src": "1216:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1209:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18494, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "1227:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18495, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1227:9:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1209:27:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18497, "nodeType": "ExpressionStatement", "src": "1209:27:56" }, "id": 18498, "nodeType": "IfStatement", "src": "1020:216:56", "trueBody": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 18487, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 20639, "src": "1076:3:56", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 18488, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1076:9:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18484, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "1061:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 18486, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1061:14:56", "typeDescriptions": { "typeIdentifier": "t_function_transfer_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 18489, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1061:25:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18490, "nodeType": "ExpressionStatement", "src": "1061:25:56" } } ] }, "documentation": "@dev Contribute to the reward of a random number.\n @param _block Block the random number is linked to.", "id": 18500, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "contribute", "nodeType": "FunctionDefinition", "parameters": { "id": 18477, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18476, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18500, "src": "982:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18475, "name": "uint", "nodeType": "ElementaryTypeName", "src": "982:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "981:13:56" }, "payable": true, "returnParameters": { "id": 18478, "nodeType": "ParameterList", "parameters": [], "src": "1010:0:56" }, "scope": 18552, "src": "962:281:56", "stateMutability": "payable", "superFunction": 18399, "visibility": "public" }, { "body": { "id": 18538, "nodeType": "Block", "src": "1503:280:56", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18514, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18510, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1521:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18512, "indexExpression": { "argumentTypes": null, "id": 18511, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1534:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1521:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 18513, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1545:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1521:25:56", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5468652072616e646f6d206e756d6265722063616e6e6f7420616c7265616479206265207365742e", "id": 18515, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1548:42:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d37cb97c97b426cdd2c021a73a2b3db6c09c3e75fc7140ab3eb3acb248c3839b", "typeString": "literal_string \"The random number cannot already be set.\"" }, "value": "The random number cannot already be set." } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d37cb97c97b426cdd2c021a73a2b3db6c09c3e75fc7140ab3eb3acb248c3839b", "typeString": "literal_string \"The random number cannot already be set.\"" } ], "id": 18509, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 20642, 20643 ], "referencedDeclaration": 20643, "src": "1513:7:56", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 18516, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1513:78:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18517, "nodeType": "ExpressionStatement", "src": "1513:78:56" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18521, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1661:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18523, "indexExpression": { "argumentTypes": null, "id": 18522, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1668:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1661:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 18518, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18454, "src": "1646:5:56", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 18520, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1646:14:56", "typeDescriptions": { "typeIdentifier": "t_function_transfer_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 18524, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1646:30:56", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 18525, "nodeType": "ExpressionStatement", "src": "1646:30:56" }, { "expression": { "argumentTypes": null, "id": 18530, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18526, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "1722:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18528, "indexExpression": { "argumentTypes": null, "id": 18527, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1735:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1722:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 18529, "name": "_RN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18504, "src": "1745:3:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1722:26:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18531, "nodeType": "ExpressionStatement", "src": "1722:26:56" }, { "expression": { "argumentTypes": null, "id": 18536, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18532, "name": "reward", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18462, "src": "1758:6:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18534, "indexExpression": { "argumentTypes": null, "id": 18533, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18502, "src": "1765:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1758:14:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 18535, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1775:1:56", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1758:18:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 18537, "nodeType": "ExpressionStatement", "src": "1758:18:56" } ] }, "documentation": "@dev Give a random number. To be called by the operator.\n @param _block Block the random number is linked to.\n @param _RN The random number given by the trusted party.", "id": 18539, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [ { "arguments": null, "id": 18507, "modifierName": { "argumentTypes": null, "id": 18506, "name": "onlyOwner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18474, "src": "1493:9:56", "typeDescriptions": { "typeIdentifier": "t_modifier$__$", "typeString": "modifier ()" } }, "nodeType": "ModifierInvocation", "src": "1493:9:56" } ], "name": "giveRN", "nodeType": "FunctionDefinition", "parameters": { "id": 18505, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18502, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18539, "src": "1463:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18501, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1463:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 18504, "name": "_RN", "nodeType": "VariableDeclaration", "scope": 18539, "src": "1476:8:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18503, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1476:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1462:23:56" }, "payable": false, "returnParameters": { "id": 18508, "nodeType": "ParameterList", "parameters": [], "src": "1503:0:56" }, "scope": 18552, "src": "1447:336:56", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 18550, "nodeType": "Block", "src": "2044:44:56", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 18546, "name": "randomNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18458, "src": "2061:12:56", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_uint256_$", "typeString": "mapping(uint256 => uint256)" } }, "id": 18548, "indexExpression": { "argumentTypes": null, "id": 18547, "name": "_block", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 18541, "src": "2074:6:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2061:20:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 18545, "id": 18549, "nodeType": "Return", "src": "2054:27:56" } ] }, "documentation": "@dev Get the random number.\n @param _block Block the random number is linked to.\n @return RN Random Number. If the number is not ready or has not been requested 0 instead.", "id": 18551, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "getRN", "nodeType": "FunctionDefinition", "parameters": { "id": 18542, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18541, "name": "_block", "nodeType": "VariableDeclaration", "scope": 18551, "src": "2006:11:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18540, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2006:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2005:13:56" }, "payable": false, "returnParameters": { "id": 18545, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 18544, "name": "RN", "nodeType": "VariableDeclaration", "scope": 18551, "src": "2035:7:56", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 18543, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2035:4:56", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2034:9:56" }, "scope": 18552, "src": "1991:97:56", "stateMutability": "nonpayable", "superFunction": 18416, "visibility": "public" } ], "scope": 18553, "src": "431:1660:56" } ], "src": "226:1866:56" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.1", "updatedAt": "2018-11-02T14:04:11.085Z" }