{ "contractName": "MockCommitRevealContract", "abi": [ { "constant": false, "inputs": [ { "name": "_commit", "type": "bytes32" } ], "name": "setCommit", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "_vote", "type": "bool" }, { "name": "_salt", "type": "uint256" } ], "name": "verify", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "bytecode": "0x608060405234801561001057600080fd5b5061029b806100206000396000f30060806040526004361061004c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063207e1d5e14610051578063c7945fbd146100a2575b600080fd5b34801561005d57600080fd5b50610088600480360381019080803515159060200190929190803590602001909291905050506100d3565b604051808215151515815260200191505060405180910390f35b3480156100ae57600080fd5b506100d16004803603810190808035600019169060200190929190505050610225565b005b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460001916338484604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c0100000000000000000000000002815260140183151515157f010000000000000000000000000000000000000000000000000000000000000002815260010182815260200193505050506040516020818303038152906040526040518082805190602001908083835b6020831015156101de57805182526020820191506020810190506020830392506101b9565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390206000191614151561021b57600080fd5b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208160001916905550505600a165627a7a723058201a12213755654a297ccb3d64bd001b77384de6b3e28b1d8dc2a1f78f2e6882fb0029", "deployedBytecode": "0x60806040526004361061004c576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063207e1d5e14610051578063c7945fbd146100a2575b600080fd5b34801561005d57600080fd5b50610088600480360381019080803515159060200190929190803590602001909291905050506100d3565b604051808215151515815260200191505060405180910390f35b3480156100ae57600080fd5b506100d16004803603810190808035600019169060200190929190505050610225565b005b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205460001916338484604051602001808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166c0100000000000000000000000002815260140183151515157f010000000000000000000000000000000000000000000000000000000000000002815260010182815260200193505050506040516020818303038152906040526040518082805190602001908083835b6020831015156101de57805182526020820191506020810190506020830392506101b9565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390206000191614151561021b57600080fd5b6001905092915050565b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208160001916905550505600a165627a7a723058201a12213755654a297ccb3d64bd001b77384de6b3e28b1d8dc2a1f78f2e6882fb0029", "sourceMap": "26:371:25:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;26:371:25;;;;;;;", "deployedSourceMap": "26:371:25:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;198:197;;8:9:-1;5:2;;;30:1;27;20:12;5:2;198:197:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;105:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;105:89:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;198:197;274:4;353:7;:19;361:10;353:19;;;;;;;;;;;;;;;;296:76;;;323:10;335:5;342;306:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;306:42:25;;;296:53;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;51:19;36:153;;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;296:53:25;;;;;;;;;;;;;;;;:76;;;;288:85;;;;;;;;386:4;379:11;;198:197;;;;:::o;105:89::-;182:7;160;:19;168:10;160:19;;;;;;;;;;;;;;;:29;;;;;;;105:89;:::o", "source": "pragma solidity ^0.4.25;\n\ncontract MockCommitRevealContract {\n mapping (address => bytes32) commits;\n\n function setCommit(bytes32 _commit)\n public\n {\n commits[msg.sender] = _commit;\n }\n\n function verify(bool _vote, uint256 _salt)\n public\n view\n returns (bool)\n {\n require(keccak256(abi.encodePacked(msg.sender, _vote, _salt)) == commits[msg.sender]);\n return true;\n }\n}\n", "sourcePath": "/Users/aeufemio/projects/dgx/contracts/dao-contracts/contracts/mock/MockCommitRevealContract.sol", "ast": { "absolutePath": "/Users/aeufemio/projects/dgx/contracts/dao-contracts/contracts/mock/MockCommitRevealContract.sol", "exportedSymbols": { "MockCommitRevealContract": [ 8584 ] }, "id": 8585, "nodeType": "SourceUnit", "nodes": [ { "id": 8537, "literals": [ "solidity", "^", "0.4", ".25" ], "nodeType": "PragmaDirective", "src": "0:24:25" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 8584, "linearizedBaseContracts": [ 8584 ], "name": "MockCommitRevealContract", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 8541, "name": "commits", "nodeType": "VariableDeclaration", "scope": 8584, "src": "64:36:25", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" }, "typeName": { "id": 8540, "keyType": { "id": 8538, "name": "address", "nodeType": "ElementaryTypeName", "src": "73:7:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "64:28:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" }, "valueType": { "id": 8539, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "84:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "internal" }, { "body": { "id": 8553, "nodeType": "Block", "src": "154:40:25", "statements": [ { "expression": { "argumentTypes": null, "id": 8551, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8546, "name": "commits", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8541, "src": "160:7:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" } }, "id": 8549, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8547, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "168:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8548, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "168:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "160:19:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 8550, "name": "_commit", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8543, "src": "182:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "160:29:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 8552, "nodeType": "ExpressionStatement", "src": "160:29:25" } ] }, "documentation": null, "id": 8554, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setCommit", "nodeType": "FunctionDefinition", "parameters": { "id": 8544, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8543, "name": "_commit", "nodeType": "VariableDeclaration", "scope": 8554, "src": "124:15:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 8542, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "124:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "123:17:25" }, "payable": false, "returnParameters": { "id": 8545, "nodeType": "ParameterList", "parameters": [], "src": "154:0:25" }, "scope": 8584, "src": "105:89:25", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 8582, "nodeType": "Block", "src": "282:113:25", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 8577, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8567, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "323:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8568, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "323:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8569, "name": "_vote", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8556, "src": "335:5:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 8570, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8558, "src": "342:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 8565, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26169, "src": "306:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 8566, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "306:16:25", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 8571, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "306:42:25", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 8564, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26176, "src": "296:9:25", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 8572, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "296:53:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8573, "name": "commits", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8541, "src": "353:7:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" } }, "id": 8576, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8574, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "361:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8575, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "361:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "353:19:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "296:76:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8563, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 26185, 26186 ], "referencedDeclaration": 26185, "src": "288:7:25", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8578, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "288:85:25", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8579, "nodeType": "ExpressionStatement", "src": "288:85:25" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 8580, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "386:4:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 8562, "id": 8581, "nodeType": "Return", "src": "379:11:25" } ] }, "documentation": null, "id": 8583, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "verify", "nodeType": "FunctionDefinition", "parameters": { "id": 8559, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8556, "name": "_vote", "nodeType": "VariableDeclaration", "scope": 8583, "src": "214:10:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8555, "name": "bool", "nodeType": "ElementaryTypeName", "src": "214:4:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8558, "name": "_salt", "nodeType": "VariableDeclaration", "scope": 8583, "src": "226:13:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8557, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "226:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "213:27:25" }, "payable": false, "returnParameters": { "id": 8562, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8561, "name": "", "nodeType": "VariableDeclaration", "scope": 8583, "src": "274:4:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8560, "name": "bool", "nodeType": "ElementaryTypeName", "src": "274:4:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "273:6:25" }, "scope": 8584, "src": "198:197:25", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 8585, "src": "26:371:25" } ], "src": "0:398:25" }, "legacyAST": { "absolutePath": "/Users/aeufemio/projects/dgx/contracts/dao-contracts/contracts/mock/MockCommitRevealContract.sol", "exportedSymbols": { "MockCommitRevealContract": [ 8584 ] }, "id": 8585, "nodeType": "SourceUnit", "nodes": [ { "id": 8537, "literals": [ "solidity", "^", "0.4", ".25" ], "nodeType": "PragmaDirective", "src": "0:24:25" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 8584, "linearizedBaseContracts": [ 8584 ], "name": "MockCommitRevealContract", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 8541, "name": "commits", "nodeType": "VariableDeclaration", "scope": 8584, "src": "64:36:25", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" }, "typeName": { "id": 8540, "keyType": { "id": 8538, "name": "address", "nodeType": "ElementaryTypeName", "src": "73:7:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "64:28:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" }, "valueType": { "id": 8539, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "84:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "internal" }, { "body": { "id": 8553, "nodeType": "Block", "src": "154:40:25", "statements": [ { "expression": { "argumentTypes": null, "id": 8551, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8546, "name": "commits", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8541, "src": "160:7:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" } }, "id": 8549, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8547, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "168:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8548, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "168:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "160:19:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 8550, "name": "_commit", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8543, "src": "182:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "160:29:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 8552, "nodeType": "ExpressionStatement", "src": "160:29:25" } ] }, "documentation": null, "id": 8554, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "setCommit", "nodeType": "FunctionDefinition", "parameters": { "id": 8544, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8543, "name": "_commit", "nodeType": "VariableDeclaration", "scope": 8554, "src": "124:15:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 8542, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "124:7:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "123:17:25" }, "payable": false, "returnParameters": { "id": 8545, "nodeType": "ParameterList", "parameters": [], "src": "154:0:25" }, "scope": 8584, "src": "105:89:25", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 8582, "nodeType": "Block", "src": "282:113:25", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 8577, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8567, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "323:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8568, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "323:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 8569, "name": "_vote", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8556, "src": "335:5:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 8570, "name": "_salt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8558, "src": "342:5:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 8565, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26169, "src": "306:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 8566, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "306:16:25", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 8571, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "306:42:25", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 8564, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26176, "src": "296:9:25", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 8572, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "296:53:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 8573, "name": "commits", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8541, "src": "353:7:25", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bytes32_$", "typeString": "mapping(address => bytes32)" } }, "id": 8576, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 8574, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 26182, "src": "361:3:25", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 8575, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "361:10:25", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "353:19:25", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "296:76:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8563, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 26185, 26186 ], "referencedDeclaration": 26185, "src": "288:7:25", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8578, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "288:85:25", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8579, "nodeType": "ExpressionStatement", "src": "288:85:25" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 8580, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "386:4:25", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 8562, "id": 8581, "nodeType": "Return", "src": "379:11:25" } ] }, "documentation": null, "id": 8583, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "verify", "nodeType": "FunctionDefinition", "parameters": { "id": 8559, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8556, "name": "_vote", "nodeType": "VariableDeclaration", "scope": 8583, "src": "214:10:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8555, "name": "bool", "nodeType": "ElementaryTypeName", "src": "214:4:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8558, "name": "_salt", "nodeType": "VariableDeclaration", "scope": 8583, "src": "226:13:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8557, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "226:7:25", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "213:27:25" }, "payable": false, "returnParameters": { "id": 8562, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8561, "name": "", "nodeType": "VariableDeclaration", "scope": 8583, "src": "274:4:25", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 8560, "name": "bool", "nodeType": "ElementaryTypeName", "src": "274:4:25", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "273:6:25" }, "scope": 8584, "src": "198:197:25", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 8585, "src": "26:371:25" } ], "src": "0:398:25" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.2", "updatedAt": "2020-03-13T02:38:46.077Z" }