{ "contractName": "ModexpPrecompile", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea165627a7a723058201a269f6cbbb17cf8311f753e7e69a49d2c64da356d17d266afaad02c2462040c0029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea165627a7a723058201a269f6cbbb17cf8311f753e7e69a49d2c64da356d17d266afaad02c2462040c0029", "sourceMap": "77:859:8:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "77:859:8:-;;;;;;;;", "source": "pragma solidity >0.4.23;\n\nimport \"@ensdomains/buffer/contracts/Buffer.sol\";\n\nlibrary ModexpPrecompile {\n using Buffer for *;\n\n /**\n * @dev Computes (base ^ exponent) % modulus over big numbers.\n */\n function modexp(bytes memory base, bytes memory exponent, bytes memory modulus) internal view returns (bool success, bytes memory output) {\n uint size = (32 * 3) + base.length + exponent.length + modulus.length;\n\n Buffer.buffer memory input;\n input.init(size);\n\n input.appendBytes32(bytes32(base.length));\n input.appendBytes32(bytes32(exponent.length));\n input.appendBytes32(bytes32(modulus.length));\n input.append(base);\n input.append(exponent);\n input.append(modulus);\n\n output = new bytes(modulus.length);\n\n assembly {\n success := staticcall(gas(), 5, add(mload(input), 32), size, add(output, 32), mload(modulus))\n }\n }\n}\n", "sourcePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/ModexpPrecompile.sol", "ast": { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/ModexpPrecompile.sol", "exportedSymbols": { "ModexpPrecompile": [ 3245 ] }, "id": 3246, "nodeType": "SourceUnit", "nodes": [ { "id": 3146, "literals": [ "solidity", ">", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:8" }, { "absolutePath": "@ensdomains/buffer/contracts/Buffer.sol", "file": "@ensdomains/buffer/contracts/Buffer.sol", "id": 3147, "nodeType": "ImportDirective", "scope": 3246, "sourceUnit": 4209, "src": "26:49:8", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 3245, "linearizedBaseContracts": [ 3245 ], "name": "ModexpPrecompile", "nodeType": "ContractDefinition", "nodes": [ { "id": 3149, "libraryName": { "contractScope": null, "id": 3148, "name": "Buffer", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4208, "src": "114:6:8", "typeDescriptions": { "typeIdentifier": "t_contract$_Buffer_$4208", "typeString": "library Buffer" } }, "nodeType": "UsingForDirective", "src": "108:19:8", "typeName": null }, { "body": { "id": 3243, "nodeType": "Block", "src": "352:582:8", "statements": [ { "assignments": [ 3163 ], "declarations": [ { "constant": false, "id": 3163, "name": "size", "nodeType": "VariableDeclaration", "scope": 3243, "src": "362:9:8", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3162, "name": "uint", "nodeType": "ElementaryTypeName", "src": "362:4:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 3177, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3176, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3173, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" }, "id": 3166, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "3332", "id": 3164, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "375:2:8", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "hexValue": "33", "id": 3165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "380:1:8", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "3" }, "src": "375:6:8", "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" } } ], "id": 3167, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "374:8:8", "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3168, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "385:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3169, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "385:11:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:22:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3171, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "399:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3172, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "399:15:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:40:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3174, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "417:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3175, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "417:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:57:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "362:69:8" }, { "assignments": [ 3181 ], "declarations": [ { "constant": false, "id": 3181, "name": "input", "nodeType": "VariableDeclaration", "scope": 3243, "src": "442:26:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer" }, "typeName": { "contractScope": null, "id": 3180, "name": "Buffer.buffer", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3757, "src": "442:13:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_storage_ptr", "typeString": "struct Buffer.buffer" } }, "value": null, "visibility": "internal" } ], "id": 3182, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "442:26:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3186, "name": "size", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3163, "src": "489:4:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3183, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "478:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3185, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "init", "nodeType": "MemberAccess", "referencedDeclaration": 3792, "src": "478:10:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_uint256_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,uint256) pure returns (struct Buffer.buffer memory)" } }, "id": 3187, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "478:16:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3188, "nodeType": "ExpressionStatement", "src": "478:16:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3193, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "533:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3194, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "533:11:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3192, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "525:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3195, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "525:20:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3189, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "505:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3191, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "505:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "505:41:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3197, "nodeType": "ExpressionStatement", "src": "505:41:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3202, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "584:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3203, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "584:15:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3201, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "576:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3204, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "576:24:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3198, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "556:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3200, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "556:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3205, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "556:45:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3206, "nodeType": "ExpressionStatement", "src": "556:45:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3211, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "639:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3212, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "639:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3210, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "631:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3213, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "631:23:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3207, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "611:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3209, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "611:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3214, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "611:44:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3215, "nodeType": "ExpressionStatement", "src": "611:44:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3219, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "678:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3216, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "665:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3218, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "665:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "665:18:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3221, "nodeType": "ExpressionStatement", "src": "665:18:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3225, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "706:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3222, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "693:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3224, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "693:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3226, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "693:22:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3227, "nodeType": "ExpressionStatement", "src": "693:22:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3231, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "738:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3228, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "725:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3230, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "725:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3232, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "725:21:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3233, "nodeType": "ExpressionStatement", "src": "725:21:8" }, { "expression": { "argumentTypes": null, "id": 3240, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3234, "name": "output", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3160, "src": "757:6:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3237, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "776:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3238, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "776:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3236, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "766:9:8", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_bytes_memory_$", "typeString": "function (uint256) pure returns (bytes memory)" }, "typeName": { "id": 3235, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "770:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } } }, "id": 3239, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "766:25:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory", "typeString": "bytes memory" } }, "src": "757:34:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3241, "nodeType": "ExpressionStatement", "src": "757:34:8" }, { "externalReferences": [ { "input": { "declaration": 3181, "isOffset": false, "isSlot": false, "src": "867:5:8", "valueSize": 1 } }, { "modulus": { "declaration": 3155, "isOffset": false, "isSlot": false, "src": "909:7:8", "valueSize": 1 } }, { "success": { "declaration": 3158, "isOffset": false, "isSlot": false, "src": "825:7:8", "valueSize": 1 } }, { "size": { "declaration": 3163, "isOffset": false, "isSlot": false, "src": "880:4:8", "valueSize": 1 } }, { "output": { "declaration": 3160, "isOffset": false, "isSlot": false, "src": "890:6:8", "valueSize": 1 } } ], "id": 3242, "nodeType": "InlineAssembly", "operations": "{\n success := staticcall(gas(), 5, add(mload(input), 32), size, add(output, 32), mload(modulus))\n}", "src": "802:132:8" } ] }, "documentation": "@dev Computes (base ^ exponent) % modulus over big numbers.", "id": 3244, "implemented": true, "kind": "function", "modifiers": [], "name": "modexp", "nodeType": "FunctionDefinition", "parameters": { "id": 3156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3151, "name": "base", "nodeType": "VariableDeclaration", "scope": 3244, "src": "230:17:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3150, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "230:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3153, "name": "exponent", "nodeType": "VariableDeclaration", "scope": 3244, "src": "249:21:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3152, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "249:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3155, "name": "modulus", "nodeType": "VariableDeclaration", "scope": 3244, "src": "272:20:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3154, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "272:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "229:64:8" }, "returnParameters": { "id": 3161, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3158, "name": "success", "nodeType": "VariableDeclaration", "scope": 3244, "src": "317:12:8", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3157, "name": "bool", "nodeType": "ElementaryTypeName", "src": "317:4:8", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3160, "name": "output", "nodeType": "VariableDeclaration", "scope": 3244, "src": "331:19:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3159, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "331:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "316:35:8" }, "scope": 3245, "src": "214:720:8", "stateMutability": "view", "superFunction": null, "visibility": "internal" } ], "scope": 3246, "src": "77:859:8" } ], "src": "0:937:8" }, "legacyAST": { "absolutePath": "/home/user/Dropbox/projects/enssec/contracts/algorithms/ModexpPrecompile.sol", "exportedSymbols": { "ModexpPrecompile": [ 3245 ] }, "id": 3246, "nodeType": "SourceUnit", "nodes": [ { "id": 3146, "literals": [ "solidity", ">", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:8" }, { "absolutePath": "@ensdomains/buffer/contracts/Buffer.sol", "file": "@ensdomains/buffer/contracts/Buffer.sol", "id": 3147, "nodeType": "ImportDirective", "scope": 3246, "sourceUnit": 4209, "src": "26:49:8", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 3245, "linearizedBaseContracts": [ 3245 ], "name": "ModexpPrecompile", "nodeType": "ContractDefinition", "nodes": [ { "id": 3149, "libraryName": { "contractScope": null, "id": 3148, "name": "Buffer", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4208, "src": "114:6:8", "typeDescriptions": { "typeIdentifier": "t_contract$_Buffer_$4208", "typeString": "library Buffer" } }, "nodeType": "UsingForDirective", "src": "108:19:8", "typeName": null }, { "body": { "id": 3243, "nodeType": "Block", "src": "352:582:8", "statements": [ { "assignments": [ 3163 ], "declarations": [ { "constant": false, "id": 3163, "name": "size", "nodeType": "VariableDeclaration", "scope": 3243, "src": "362:9:8", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3162, "name": "uint", "nodeType": "ElementaryTypeName", "src": "362:4:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 3177, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3176, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3173, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" }, "id": 3166, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "3332", "id": 3164, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "375:2:8", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_32_by_1", "typeString": "int_const 32" }, "value": "32" }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "hexValue": "33", "id": 3165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "380:1:8", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "3" }, "src": "375:6:8", "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" } } ], "id": 3167, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "374:8:8", "typeDescriptions": { "typeIdentifier": "t_rational_96_by_1", "typeString": "int_const 96" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3168, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "385:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3169, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "385:11:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:22:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3171, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "399:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3172, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "399:15:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:40:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3174, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "417:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3175, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "417:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "374:57:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "362:69:8" }, { "assignments": [ 3181 ], "declarations": [ { "constant": false, "id": 3181, "name": "input", "nodeType": "VariableDeclaration", "scope": 3243, "src": "442:26:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer" }, "typeName": { "contractScope": null, "id": 3180, "name": "Buffer.buffer", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 3757, "src": "442:13:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_storage_ptr", "typeString": "struct Buffer.buffer" } }, "value": null, "visibility": "internal" } ], "id": 3182, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "442:26:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3186, "name": "size", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3163, "src": "489:4:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 3183, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "478:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3185, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "init", "nodeType": "MemberAccess", "referencedDeclaration": 3792, "src": "478:10:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_uint256_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,uint256) pure returns (struct Buffer.buffer memory)" } }, "id": 3187, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "478:16:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3188, "nodeType": "ExpressionStatement", "src": "478:16:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3193, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "533:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3194, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "533:11:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3192, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "525:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3195, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "525:20:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3189, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "505:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3191, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "505:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "505:41:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3197, "nodeType": "ExpressionStatement", "src": "505:41:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3202, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "584:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3203, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "584:15:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3201, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "576:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3204, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "576:24:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3198, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "556:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3200, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "556:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3205, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "556:45:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3206, "nodeType": "ExpressionStatement", "src": "556:45:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3211, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "639:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3212, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "639:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3210, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "631:7:8", "typeDescriptions": { "typeIdentifier": "t_type$_t_bytes32_$", "typeString": "type(bytes32)" }, "typeName": "bytes32" }, "id": 3213, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "631:23:8", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 3207, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "611:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3209, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "appendBytes32", "nodeType": "MemberAccess", "referencedDeclaration": 4161, "src": "611:19:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes32_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes32) pure returns (struct Buffer.buffer memory)" } }, "id": 3214, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "611:44:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3215, "nodeType": "ExpressionStatement", "src": "611:44:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3219, "name": "base", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3151, "src": "678:4:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3216, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "665:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3218, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "665:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "665:18:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3221, "nodeType": "ExpressionStatement", "src": "665:18:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3225, "name": "exponent", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3153, "src": "706:8:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3222, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "693:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3224, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "693:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3226, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "693:22:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3227, "nodeType": "ExpressionStatement", "src": "693:22:8" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 3231, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "738:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "expression": { "argumentTypes": null, "id": 3228, "name": "input", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "725:5:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3230, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "append", "nodeType": "MemberAccess", "referencedDeclaration": 3997, "src": "725:12:8", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_struct$_buffer_$3757_memory_ptr_$_t_bytes_memory_ptr_$returns$_t_struct$_buffer_$3757_memory_ptr_$bound_to$_t_struct$_buffer_$3757_memory_ptr_$", "typeString": "function (struct Buffer.buffer memory,bytes memory) pure returns (struct Buffer.buffer memory)" } }, "id": 3232, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "725:21:8", "typeDescriptions": { "typeIdentifier": "t_struct$_buffer_$3757_memory_ptr", "typeString": "struct Buffer.buffer memory" } }, "id": 3233, "nodeType": "ExpressionStatement", "src": "725:21:8" }, { "expression": { "argumentTypes": null, "id": 3240, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3234, "name": "output", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3160, "src": "757:6:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 3237, "name": "modulus", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3155, "src": "776:7:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3238, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "776:14:8", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 3236, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "766:9:8", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_bytes_memory_$", "typeString": "function (uint256) pure returns (bytes memory)" }, "typeName": { "id": 3235, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "770:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } } }, "id": 3239, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "766:25:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory", "typeString": "bytes memory" } }, "src": "757:34:8", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } }, "id": 3241, "nodeType": "ExpressionStatement", "src": "757:34:8" }, { "externalReferences": [ { "input": { "declaration": 3181, "isOffset": false, "isSlot": false, "src": "867:5:8", "valueSize": 1 } }, { "modulus": { "declaration": 3155, "isOffset": false, "isSlot": false, "src": "909:7:8", "valueSize": 1 } }, { "success": { "declaration": 3158, "isOffset": false, "isSlot": false, "src": "825:7:8", "valueSize": 1 } }, { "size": { "declaration": 3163, "isOffset": false, "isSlot": false, "src": "880:4:8", "valueSize": 1 } }, { "output": { "declaration": 3160, "isOffset": false, "isSlot": false, "src": "890:6:8", "valueSize": 1 } } ], "id": 3242, "nodeType": "InlineAssembly", "operations": "{\n success := staticcall(gas(), 5, add(mload(input), 32), size, add(output, 32), mload(modulus))\n}", "src": "802:132:8" } ] }, "documentation": "@dev Computes (base ^ exponent) % modulus over big numbers.", "id": 3244, "implemented": true, "kind": "function", "modifiers": [], "name": "modexp", "nodeType": "FunctionDefinition", "parameters": { "id": 3156, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3151, "name": "base", "nodeType": "VariableDeclaration", "scope": 3244, "src": "230:17:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3150, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "230:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3153, "name": "exponent", "nodeType": "VariableDeclaration", "scope": 3244, "src": "249:21:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3152, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "249:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3155, "name": "modulus", "nodeType": "VariableDeclaration", "scope": 3244, "src": "272:20:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3154, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "272:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "229:64:8" }, "returnParameters": { "id": 3161, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3158, "name": "success", "nodeType": "VariableDeclaration", "scope": 3244, "src": "317:12:8", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 3157, "name": "bool", "nodeType": "ElementaryTypeName", "src": "317:4:8", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3160, "name": "output", "nodeType": "VariableDeclaration", "scope": 3244, "src": "331:19:8", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes" }, "typeName": { "id": 3159, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "331:5:8", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "value": null, "visibility": "internal" } ], "src": "316:35:8" }, "scope": 3245, "src": "214:720:8", "stateMutability": "view", "superFunction": null, "visibility": "internal" } ], "scope": 3246, "src": "77:859:8" } ], "src": "0:937:8" }, "compiler": { "name": "solc", "version": "0.5.0+commit.1d4f565a.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.1", "updatedAt": "2019-03-12T23:08:21.405Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }