{ "contractName": "Optimistic_Roll_In_Compatible", "abi": [ { "inputs": [ { "internalType": "address", "name": "user", "type": "address" } ], "name": "initialize_state", "outputs": [ { "internalType": "bytes32", "name": "initial_state", "type": "bytes32" } ], "stateMutability": "payable", "type": "function" }, { "inputs": [ { "internalType": "bytes", "name": "call_data", "type": "bytes" } ], "name": "optimistic_call", "outputs": [ { "internalType": "bytes32", "name": "new_state", "type": "bytes32" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "bytes", "name": "call_data", "type": "bytes" } ], "name": "pessimistic_call", "outputs": [ { "internalType": "bytes32", "name": "new_state", "type": "bytes32" } ], "stateMutability": "payable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.7.3+commit.9bfce1f6\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"address\",\"name\":\"user\",\"type\":\"address\"}],\"name\":\"initialize_state\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"initial_state\",\"type\":\"bytes32\"}],\"stateMutability\":\"payable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"call_data\",\"type\":\"bytes\"}],\"name\":\"optimistic_call\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"new_state\",\"type\":\"bytes32\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"call_data\",\"type\":\"bytes\"}],\"name\":\"pessimistic_call\",\"outputs\":[{\"internalType\":\"bytes32\",\"name\":\"new_state\",\"type\":\"bytes32\"}],\"stateMutability\":\"payable\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/michaeldeluca/Projects/optimistic-roll-in/eth/contracts/optimistic-roll-in-compatible.sol\":\"Optimistic_Roll_In_Compatible\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"/Users/michaeldeluca/Projects/optimistic-roll-in/eth/contracts/optimistic-roll-in-compatible.sol\":{\"keccak256\":\"0xa52cbbdb46293c2e4ec580da44dbf4f44a95deffd7eeda5b98a4804a986c1f52\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://064c9204543aa06dd8091476ee29119932ec0edd0bd1c69aaaffd81709311874\",\"dweb:/ipfs/QmYmbqGTbsps7ZpsA7MrZDyXrNmZeETi5h6jzi2VfoLdHk\"]}},\"version\":1}", "bytecode": "0x", "deployedBytecode": "0x", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "", "deployedSourceMap": "", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity >=0.6.0 <=0.7.3;\npragma experimental ABIEncoderV2;\n\ninterface Optimistic_Roll_In_Compatible {\n // User (address) is a mandatory first field\n function initialize_state(address user) external payable returns (bytes32 initial_state);\n\n // call_data will be function selector (bytes4), user (non-payable address), current state (bytes32), and abi encoded args\n function optimistic_call(bytes calldata call_data) external view returns (bytes32 new_state);\n\n // call_data will be function selector (bytes4), user (payable address), current state (bytes32), and abi encoded args\n function pessimistic_call(bytes calldata call_data) external payable returns (bytes32 new_state);\n}\n", "sourcePath": "/Users/michaeldeluca/Projects/optimistic-roll-in/eth/contracts/optimistic-roll-in-compatible.sol", "ast": { "absolutePath": "/Users/michaeldeluca/Projects/optimistic-roll-in/eth/contracts/optimistic-roll-in-compatible.sol", "exportedSymbols": { "Optimistic_Roll_In_Compatible": [ 61 ] }, "id": 62, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 38, "literals": [ "solidity", ">=", "0.6", ".0", "<=", "0.7", ".3" ], "nodeType": "PragmaDirective", "src": "33:32:1" }, { "id": 39, "literals": [ "experimental", "ABIEncoderV2" ], "nodeType": "PragmaDirective", "src": "66:33:1" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "interface", "fullyImplemented": false, "id": 61, "linearizedBaseContracts": [ 61 ], "name": "Optimistic_Roll_In_Compatible", "nodeType": "ContractDefinition", "nodes": [ { "functionSelector": "7ed30689", "id": 46, "implemented": false, "kind": "function", "modifiers": [], "name": "initialize_state", "nodeType": "FunctionDefinition", "parameters": { "id": 42, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 41, "mutability": "mutable", "name": "user", "nodeType": "VariableDeclaration", "scope": 46, "src": "218:12:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 40, "name": "address", "nodeType": "ElementaryTypeName", "src": "218:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "internal" } ], "src": "217:14:1" }, "returnParameters": { "id": 45, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 44, "mutability": "mutable", "name": "initial_state", "nodeType": "VariableDeclaration", "scope": 46, "src": "258:21:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 43, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "258:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "257:23:1" }, "scope": 61, "src": "192:89:1", "stateMutability": "payable", "virtual": false, "visibility": "external" }, { "functionSelector": "8821e2b1", "id": 53, "implemented": false, "kind": "function", "modifiers": [], "name": "optimistic_call", "nodeType": "FunctionDefinition", "parameters": { "id": 49, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 48, "mutability": "mutable", "name": "call_data", "nodeType": "VariableDeclaration", "scope": 53, "src": "435:24:1", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 47, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "435:5:1", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "434:26:1" }, "returnParameters": { "id": 52, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 51, "mutability": "mutable", "name": "new_state", "nodeType": "VariableDeclaration", "scope": 53, "src": "484:17:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 50, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "484:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "483:19:1" }, "scope": 61, "src": "410:93:1", "stateMutability": "view", "virtual": false, "visibility": "external" }, { "functionSelector": "8517c187", "id": 60, "implemented": false, "kind": "function", "modifiers": [], "name": "pessimistic_call", "nodeType": "FunctionDefinition", "parameters": { "id": 56, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 55, "mutability": "mutable", "name": "call_data", "nodeType": "VariableDeclaration", "scope": 60, "src": "654:24:1", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 54, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "654:5:1", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "653:26:1" }, "returnParameters": { "id": 59, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 58, "mutability": "mutable", "name": "new_state", "nodeType": "VariableDeclaration", "scope": 60, "src": "706:17:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 57, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "706:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "705:19:1" }, "scope": 61, "src": "628:97:1", "stateMutability": "payable", "virtual": false, "visibility": "external" } ], "scope": 62, "src": "101:626:1" } ], "src": "33:695:1" }, "legacyAST": { "absolutePath": "/Users/michaeldeluca/Projects/optimistic-roll-in/eth/contracts/optimistic-roll-in-compatible.sol", "exportedSymbols": { "Optimistic_Roll_In_Compatible": [ 61 ] }, "id": 62, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 38, "literals": [ "solidity", ">=", "0.6", ".0", "<=", "0.7", ".3" ], "nodeType": "PragmaDirective", "src": "33:32:1" }, { "id": 39, "literals": [ "experimental", "ABIEncoderV2" ], "nodeType": "PragmaDirective", "src": "66:33:1" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "interface", "fullyImplemented": false, "id": 61, "linearizedBaseContracts": [ 61 ], "name": "Optimistic_Roll_In_Compatible", "nodeType": "ContractDefinition", "nodes": [ { "functionSelector": "7ed30689", "id": 46, "implemented": false, "kind": "function", "modifiers": [], "name": "initialize_state", "nodeType": "FunctionDefinition", "parameters": { "id": 42, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 41, "mutability": "mutable", "name": "user", "nodeType": "VariableDeclaration", "scope": 46, "src": "218:12:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 40, "name": "address", "nodeType": "ElementaryTypeName", "src": "218:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "visibility": "internal" } ], "src": "217:14:1" }, "returnParameters": { "id": 45, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 44, "mutability": "mutable", "name": "initial_state", "nodeType": "VariableDeclaration", "scope": 46, "src": "258:21:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 43, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "258:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "257:23:1" }, "scope": 61, "src": "192:89:1", "stateMutability": "payable", "virtual": false, "visibility": "external" }, { "functionSelector": "8821e2b1", "id": 53, "implemented": false, "kind": "function", "modifiers": [], "name": "optimistic_call", "nodeType": "FunctionDefinition", "parameters": { "id": 49, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 48, "mutability": "mutable", "name": "call_data", "nodeType": "VariableDeclaration", "scope": 53, "src": "435:24:1", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 47, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "435:5:1", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "434:26:1" }, "returnParameters": { "id": 52, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 51, "mutability": "mutable", "name": "new_state", "nodeType": "VariableDeclaration", "scope": 53, "src": "484:17:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 50, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "484:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "483:19:1" }, "scope": 61, "src": "410:93:1", "stateMutability": "view", "virtual": false, "visibility": "external" }, { "functionSelector": "8517c187", "id": 60, "implemented": false, "kind": "function", "modifiers": [], "name": "pessimistic_call", "nodeType": "FunctionDefinition", "parameters": { "id": 56, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 55, "mutability": "mutable", "name": "call_data", "nodeType": "VariableDeclaration", "scope": 60, "src": "654:24:1", "stateVariable": false, "storageLocation": "calldata", "typeDescriptions": { "typeIdentifier": "t_bytes_calldata_ptr", "typeString": "bytes" }, "typeName": { "id": 54, "name": "bytes", "nodeType": "ElementaryTypeName", "src": "654:5:1", "typeDescriptions": { "typeIdentifier": "t_bytes_storage_ptr", "typeString": "bytes" } }, "visibility": "internal" } ], "src": "653:26:1" }, "returnParameters": { "id": 59, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 58, "mutability": "mutable", "name": "new_state", "nodeType": "VariableDeclaration", "scope": 60, "src": "706:17:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 57, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "706:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "705:19:1" }, "scope": 61, "src": "628:97:1", "stateMutability": "payable", "virtual": false, "visibility": "external" } ], "scope": 62, "src": "101:626:1" } ], "src": "33:695:1" }, "compiler": { "name": "solc", "version": "0.7.3+commit.9bfce1f6.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.2", "updatedAt": "2020-12-08T00:32:21.110Z", "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }