{ "contractName": "WitRngConsumer", "abi": [ { "inputs": [ { "internalType": "contract IWitRandomness", "name": "_witRandomness", "type": "address" } ], "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint256", "name": "blockNumber", "type": "uint256" }, { "indexed": false, "internalType": "bytes32", "name": "seed", "type": "bytes32" } ], "name": "Log", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint256", "name": "blockNumber", "type": "uint256" }, { "indexed": false, "internalType": "bytes32", "name": "uuid", "type": "bytes32" }, { "indexed": false, "internalType": "Witnet.Timestamp", "name": "timestamp", "type": "uint64" }, { "indexed": false, "internalType": "Witnet.TransactionHash", "name": "trail", "type": "bytes32" }, { "indexed": false, "internalType": "uint256", "name": "finality", "type": "uint256" } ], "name": "Log", "type": "event" }, { "inputs": [], "name": "witRandomness", "outputs": [ { "internalType": "contract IWitRandomness", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "blockNumber", "type": "uint256" } ], "name": "fetchRandomness", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "blockNumber", "type": "uint256" } ], "name": "fetchRandomnessTrails", "outputs": [], "stateMutability": "nonpayable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"contract IWitRandomness\",\"name\":\"_witRandomness\",\"type\":\"address\"}],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"blockNumber\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"seed\",\"type\":\"bytes32\"}],\"name\":\"Log\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"blockNumber\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"uuid\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"Witnet.Timestamp\",\"name\":\"timestamp\",\"type\":\"uint64\"},{\"indexed\":false,\"internalType\":\"Witnet.TransactionHash\",\"name\":\"trail\",\"type\":\"bytes32\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"finality\",\"type\":\"uint256\"}],\"name\":\"Log\",\"type\":\"event\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"blockNumber\",\"type\":\"uint256\"}],\"name\":\"fetchRandomness\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"blockNumber\",\"type\":\"uint256\"}],\"name\":\"fetchRandomnessTrails\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"witRandomness\",\"outputs\":[{\"internalType\":\"contract IWitRandomness\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"project:/contracts/mockups/tests/WitRngConsumer.sol\":\"WitRngConsumer\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"project:/contracts/interfaces/IWitRandomness.sol\":{\"keccak256\":\"0x349b27a7ecb4ca22f87d4ab13714a010668a7014d9c37fdb91caa407981b889a\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://a53b9c8d63c973bb98790ef3305fbc24debaa2dadad1b48b82ffdbfce73e08b6\",\"dweb:/ipfs/QmSue9dMNK1V5ChooMBTtccmpx2JoiyktqTP1Ng6bSuUGx\"]},\"project:/contracts/interfaces/IWitRandomnessAdmin.sol\":{\"keccak256\":\"0xb5b9b2375509f03db5b1e198089f4b0cf4e4ebbd31a2a7b5d2480a743bebbcd2\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://0cade769eec375a3ec1cd4d376be54ee48a0e18786543f6ee396c0debfa4c04c\",\"dweb:/ipfs/QmY7AucsWp54PZVgMFjrJRt1n1DKCXb84ZXzTXnRZULYXF\"]},\"project:/contracts/interfaces/IWitRandomnessConsumer.sol\":{\"keccak256\":\"0x8006c81ac34c0797d31606164e6e0c6a7e97f0ba0f5228505bbc3d4fbcf16cdd\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://8cc71c0afed6dd296a808513b3119840490f76fb884ad35729669201446348bf\",\"dweb:/ipfs/QmQLs5jg8nugFgNu5psvGaCsMC6X1YoD6qV5nt7Gf5iAuk\"]},\"project:/contracts/interfaces/IWitRandomnessEvents.sol\":{\"keccak256\":\"0x005a56891f103c78ce015fbbcb9cf96f64e3810a70cd20dcdcce2963186788fc\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://6365a0bb99b2ac7990b74b33a4df7b045702362baf11998f8345f1a2530c29ae\",\"dweb:/ipfs/QmY2d5m2E7JwFT4EFzbrXZkiL4sSTowmosMHjSE3fTAwXf\"]},\"project:/contracts/interfaces/IWitRandomnessTypes.sol\":{\"keccak256\":\"0x52d825bf6bd6a2515116f993e939108f5412f5a05e304893ba81e9fcbfce4e09\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://60b3db141539544afc2701a873570a7b78639090e36b4bb7a57ae0d0dddeb9f4\",\"dweb:/ipfs/QmTWkwYdF4QMTeCFVcYNi9pWi3PwVeK29xgp946z8xtuiN\"]},\"project:/contracts/libs/Bech32.sol\":{\"keccak256\":\"0x14618323a0efe7586c20906a2e9cee7ad63baa976ff231c57f7f2d7d3707fb8b\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://a19f05fe84047a7a6d3d6fc39972b432e6e536aa70472386a9d7a6d9aab64a64\",\"dweb:/ipfs/QmcHwUY66yjiotRH4Q3kbRvSzcHyLQ1yHL3KbtQKiMhtZE\"]},\"project:/contracts/libs/Secp256k1.sol\":{\"keccak256\":\"0xbe686002da5004ff39dd70709f3820eba2afe9323ae9cb894009c161e4b1a666\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://18fab91775216de0707cea9ad285b10be09127461a13432fea358bf9cb2a0c2e\",\"dweb:/ipfs/QmeRUGsgstnM4hxM9hpkBf3L6cE5btirEaowcMxmuw3utj\"]},\"project:/contracts/libs/Witnet.sol\":{\"keccak256\":\"0x1d446c3e534e40e676d1763bfb2897fadfac8afed904ab757843d7d6770b0a6c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://338fb1073f17d64e8d31bfe492d9475ce906788ee08e6489ce30413f91dc1328\",\"dweb:/ipfs/QmPe5QX2AGTnQFjse1Xttq4ZYWwYAiXoySb5VUui3PqPhk\"]},\"project:/contracts/libs/WitnetBuffer.sol\":{\"keccak256\":\"0x8e07aebe2954ab3e6f2d8eceedb12db7cf915c1f3e8630f4fa9999cecb1c78ec\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://ed6c54cc901183d61546e8fd15bd5ea8ef238ebc915642946071d435dd7481ea\",\"dweb:/ipfs/Qmcaqta7YjUSBbBUGqoh44bsCS6UqqoyHjBuz4qnKBShXM\"]},\"project:/contracts/libs/WitnetCBOR.sol\":{\"keccak256\":\"0xd99308373575cc10fb7f2ceb0f6a8625f3911275c1fa27811fae498d98d03d97\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://b4909a999d7b660a2dc54ca957b6eccfa523e2765fc4d6a2574dee7d5cd67b43\",\"dweb:/ipfs/QmWGQT4KDcfSFe1hcHVoWx6E4PhYMaod5iLpJCWBEeShzh\"]},\"project:/contracts/mockups/tests/WitRngConsumer.sol\":{\"keccak256\":\"0xb50e9558454f0ee57d894de4f282c7eecb47263aebd4c2b96b50e81f2f9b7a1b\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://d0566d4d8fd7e90d474a435735ec33c1d2fa70bf865f467610c015ec9e1d7aed\",\"dweb:/ipfs/QmUN1ViHW9QuknHL7brnF8WLBcuAwv3PKLbnPtE3HJRQ4Y\"]}},\"version\":1}", "bytecode": "0x60a0604052348015600e575f5ffd5b506040516103a53803806103a5833981016040819052602b91603b565b6001600160a01b03166080526066565b5f60208284031215604a575f5ffd5b81516001600160a01b0381168114605f575f5ffd5b9392505050565b60805161031b61008a5f395f8181605d0152818160b401526101eb015261031b5ff3fe608060405234801561000f575f5ffd5b506004361061003f575f3560e01c8063a9f1851c14610043578063ae5ce03e14610058578063f87de1101461009b575b5f5ffd5b61005661005136600461026f565b6100ae565b005b61007f7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b6100566100a936600461026f565b6101a9565b5f5f5f5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166317f45487866040518263ffffffff1660e01b815260040161010091815260200190565b608060405180830381865afa15801561011b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061013f9190610286565b604080518a81526020810186905267ffffffffffffffff8516818301526060810184905260808101839052905194985092965090945092507f3dfc87ac2e15e43d14d2b681dc2c43284e19972fc0ce68426758fe0ba168c4e1919081900360a00190a15050505050565b6040516320ac705d60e21b8152600481018290527f869e334d92a3ccef30bb00b0cc186e212adf165605f0988318728cdcb9819d139082906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906382b1c17490602401602060405180830381865afa158015610230573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061025491906102ce565b6040805192835260208301919091520160405180910390a150565b5f6020828403121561027f575f5ffd5b5035919050565b5f5f5f5f60808587031215610299575f5ffd5b8451602086015190945067ffffffffffffffff811681146102b8575f5ffd5b6040860151606090960151949790965092505050565b5f602082840312156102de575f5ffd5b505191905056fea264697066735822122098c0b9a9d4d04898bd79f7ccb7e93fe5f74d4a96e8f25b4e3374162228b9011064736f6c634300081e0033", "deployedBytecode": "0x608060405234801561000f575f5ffd5b506004361061003f575f3560e01c8063a9f1851c14610043578063ae5ce03e14610058578063f87de1101461009b575b5f5ffd5b61005661005136600461026f565b6100ae565b005b61007f7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b6100566100a936600461026f565b6101a9565b5f5f5f5f7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166317f45487866040518263ffffffff1660e01b815260040161010091815260200190565b608060405180830381865afa15801561011b573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061013f9190610286565b604080518a81526020810186905267ffffffffffffffff8516818301526060810184905260808101839052905194985092965090945092507f3dfc87ac2e15e43d14d2b681dc2c43284e19972fc0ce68426758fe0ba168c4e1919081900360a00190a15050505050565b6040516320ac705d60e21b8152600481018290527f869e334d92a3ccef30bb00b0cc186e212adf165605f0988318728cdcb9819d139082906001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016906382b1c17490602401602060405180830381865afa158015610230573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061025491906102ce565b6040805192835260208301919091520160405180910390a150565b5f6020828403121561027f575f5ffd5b5035919050565b5f5f5f5f60808587031215610299575f5ffd5b8451602086015190945067ffffffffffffffff811681146102b8575f5ffd5b6040860151606090960151949790965092505050565b5f602082840312156102de575f5ffd5b505191905056fea264697066735822122098c0b9a9d4d04898bd79f7ccb7e93fe5f74d4a96e8f25b4e3374162228b9011064736f6c634300081e0033", "immutableReferences": { "45287": [ { "length": 32, "start": 93 }, { "length": 32, "start": 180 }, { "length": 32, "start": 491 } ] }, "generatedSources": [ { "ast": { "nativeSrc": "0:330:136", "nodeType": "YulBlock", "src": "0:330:136", "statements": [ { "nativeSrc": "6:3:136", "nodeType": "YulBlock", "src": "6:3:136", "statements": [] }, { "body": { "nativeSrc": "119:209:136", "nodeType": "YulBlock", "src": "119:209:136", "statements": [ { "body": { "nativeSrc": "165:16:136", "nodeType": "YulBlock", "src": "165:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "174:1:136", "nodeType": "YulLiteral", "src": "174:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "177:1:136", "nodeType": "YulLiteral", "src": "177:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "167:6:136", "nodeType": "YulIdentifier", "src": "167:6:136" }, "nativeSrc": "167:12:136", "nodeType": "YulFunctionCall", "src": "167:12:136" }, "nativeSrc": "167:12:136", "nodeType": "YulExpressionStatement", "src": "167:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nativeSrc": "140:7:136", "nodeType": "YulIdentifier", "src": "140:7:136" }, { "name": "headStart", "nativeSrc": "149:9:136", "nodeType": "YulIdentifier", "src": "149:9:136" } ], "functionName": { "name": "sub", "nativeSrc": "136:3:136", "nodeType": "YulIdentifier", "src": "136:3:136" }, "nativeSrc": "136:23:136", "nodeType": "YulFunctionCall", "src": "136:23:136" }, { "kind": "number", "nativeSrc": "161:2:136", "nodeType": "YulLiteral", "src": "161:2:136", "type": "", "value": "32" } ], "functionName": { "name": "slt", "nativeSrc": "132:3:136", "nodeType": "YulIdentifier", "src": "132:3:136" }, "nativeSrc": "132:32:136", "nodeType": "YulFunctionCall", "src": "132:32:136" }, "nativeSrc": "129:52:136", "nodeType": "YulIf", "src": "129:52:136" }, { "nativeSrc": "190:29:136", "nodeType": "YulVariableDeclaration", "src": "190:29:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "209:9:136", "nodeType": "YulIdentifier", "src": "209:9:136" } ], "functionName": { "name": "mload", "nativeSrc": "203:5:136", "nodeType": "YulIdentifier", "src": "203:5:136" }, "nativeSrc": "203:16:136", "nodeType": "YulFunctionCall", "src": "203:16:136" }, "variables": [ { "name": "value", "nativeSrc": "194:5:136", "nodeType": "YulTypedName", "src": "194:5:136", "type": "" } ] }, { "body": { "nativeSrc": "282:16:136", "nodeType": "YulBlock", "src": "282:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "291:1:136", "nodeType": "YulLiteral", "src": "291:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "294:1:136", "nodeType": "YulLiteral", "src": "294:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "284:6:136", "nodeType": "YulIdentifier", "src": "284:6:136" }, "nativeSrc": "284:12:136", "nodeType": "YulFunctionCall", "src": "284:12:136" }, "nativeSrc": "284:12:136", "nodeType": "YulExpressionStatement", "src": "284:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "value", "nativeSrc": "241:5:136", "nodeType": "YulIdentifier", "src": "241:5:136" }, { "arguments": [ { "name": "value", "nativeSrc": "252:5:136", "nodeType": "YulIdentifier", "src": "252:5:136" }, { "arguments": [ { "arguments": [ { "kind": "number", "nativeSrc": "267:3:136", "nodeType": "YulLiteral", "src": "267:3:136", "type": "", "value": "160" }, { "kind": "number", "nativeSrc": "272:1:136", "nodeType": "YulLiteral", "src": "272:1:136", "type": "", "value": "1" } ], "functionName": { "name": "shl", "nativeSrc": "263:3:136", "nodeType": "YulIdentifier", "src": "263:3:136" }, "nativeSrc": "263:11:136", "nodeType": "YulFunctionCall", "src": "263:11:136" }, { "kind": "number", "nativeSrc": "276:1:136", "nodeType": "YulLiteral", "src": "276:1:136", "type": "", "value": "1" } ], "functionName": { "name": "sub", "nativeSrc": "259:3:136", "nodeType": "YulIdentifier", "src": "259:3:136" }, "nativeSrc": "259:19:136", "nodeType": "YulFunctionCall", "src": "259:19:136" } ], "functionName": { "name": "and", "nativeSrc": "248:3:136", "nodeType": "YulIdentifier", "src": "248:3:136" }, "nativeSrc": "248:31:136", "nodeType": "YulFunctionCall", "src": "248:31:136" } ], "functionName": { "name": "eq", "nativeSrc": "238:2:136", "nodeType": "YulIdentifier", "src": "238:2:136" }, "nativeSrc": "238:42:136", "nodeType": "YulFunctionCall", "src": "238:42:136" } ], "functionName": { "name": "iszero", "nativeSrc": "231:6:136", "nodeType": "YulIdentifier", "src": "231:6:136" }, "nativeSrc": "231:50:136", "nodeType": "YulFunctionCall", "src": "231:50:136" }, "nativeSrc": "228:70:136", "nodeType": "YulIf", "src": "228:70:136" }, { "nativeSrc": "307:15:136", "nodeType": "YulAssignment", "src": "307:15:136", "value": { "name": "value", "nativeSrc": "317:5:136", "nodeType": "YulIdentifier", "src": "317:5:136" }, "variableNames": [ { "name": "value0", "nativeSrc": "307:6:136", "nodeType": "YulIdentifier", "src": "307:6:136" } ] } ] }, "name": "abi_decode_tuple_t_contract$_IWitRandomness_$28351_fromMemory", "nativeSrc": "14:314:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "85:9:136", "nodeType": "YulTypedName", "src": "85:9:136", "type": "" }, { "name": "dataEnd", "nativeSrc": "96:7:136", "nodeType": "YulTypedName", "src": "96:7:136", "type": "" } ], "returnVariables": [ { "name": "value0", "nativeSrc": "108:6:136", "nodeType": "YulTypedName", "src": "108:6:136", "type": "" } ], "src": "14:314:136" } ] }, "contents": "{\n { }\n function abi_decode_tuple_t_contract$_IWitRandomness_$28351_fromMemory(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := mload(headStart)\n if iszero(eq(value, and(value, sub(shl(160, 1), 1)))) { revert(0, 0) }\n value0 := value\n }\n}", "id": 136, "language": "Yul", "name": "#utility.yul" } ], "deployedGeneratedSources": [ { "ast": { "nativeSrc": "0:2310:136", "nodeType": "YulBlock", "src": "0:2310:136", "statements": [ { "nativeSrc": "6:3:136", "nodeType": "YulBlock", "src": "6:3:136", "statements": [] }, { "body": { "nativeSrc": "84:110:136", "nodeType": "YulBlock", "src": "84:110:136", "statements": [ { "body": { "nativeSrc": "130:16:136", "nodeType": "YulBlock", "src": "130:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "139:1:136", "nodeType": "YulLiteral", "src": "139:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "142:1:136", "nodeType": "YulLiteral", "src": "142:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "132:6:136", "nodeType": "YulIdentifier", "src": "132:6:136" }, "nativeSrc": "132:12:136", "nodeType": "YulFunctionCall", "src": "132:12:136" }, "nativeSrc": "132:12:136", "nodeType": "YulExpressionStatement", "src": "132:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nativeSrc": "105:7:136", "nodeType": "YulIdentifier", "src": "105:7:136" }, { "name": "headStart", "nativeSrc": "114:9:136", "nodeType": "YulIdentifier", "src": "114:9:136" } ], "functionName": { "name": "sub", "nativeSrc": "101:3:136", "nodeType": "YulIdentifier", "src": "101:3:136" }, "nativeSrc": "101:23:136", "nodeType": "YulFunctionCall", "src": "101:23:136" }, { "kind": "number", "nativeSrc": "126:2:136", "nodeType": "YulLiteral", "src": "126:2:136", "type": "", "value": "32" } ], "functionName": { "name": "slt", "nativeSrc": "97:3:136", "nodeType": "YulIdentifier", "src": "97:3:136" }, "nativeSrc": "97:32:136", "nodeType": "YulFunctionCall", "src": "97:32:136" }, "nativeSrc": "94:52:136", "nodeType": "YulIf", "src": "94:52:136" }, { "nativeSrc": "155:33:136", "nodeType": "YulAssignment", "src": "155:33:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "178:9:136", "nodeType": "YulIdentifier", "src": "178:9:136" } ], "functionName": { "name": "calldataload", "nativeSrc": "165:12:136", "nodeType": "YulIdentifier", "src": "165:12:136" }, "nativeSrc": "165:23:136", "nodeType": "YulFunctionCall", "src": "165:23:136" }, "variableNames": [ { "name": "value0", "nativeSrc": "155:6:136", "nodeType": "YulIdentifier", "src": "155:6:136" } ] } ] }, "name": "abi_decode_tuple_t_uint256", "nativeSrc": "14:180:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "50:9:136", "nodeType": "YulTypedName", "src": "50:9:136", "type": "" }, { "name": "dataEnd", "nativeSrc": "61:7:136", "nodeType": "YulTypedName", "src": "61:7:136", "type": "" } ], "returnVariables": [ { "name": "value0", "nativeSrc": "73:6:136", "nodeType": "YulTypedName", "src": "73:6:136", "type": "" } ], "src": "14:180:136" }, { "body": { "nativeSrc": "324:102:136", "nodeType": "YulBlock", "src": "324:102:136", "statements": [ { "nativeSrc": "334:26:136", "nodeType": "YulAssignment", "src": "334:26:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "346:9:136", "nodeType": "YulIdentifier", "src": "346:9:136" }, { "kind": "number", "nativeSrc": "357:2:136", "nodeType": "YulLiteral", "src": "357:2:136", "type": "", "value": "32" } ], "functionName": { "name": "add", "nativeSrc": "342:3:136", "nodeType": "YulIdentifier", "src": "342:3:136" }, "nativeSrc": "342:18:136", "nodeType": "YulFunctionCall", "src": "342:18:136" }, "variableNames": [ { "name": "tail", "nativeSrc": "334:4:136", "nodeType": "YulIdentifier", "src": "334:4:136" } ] }, { "expression": { "arguments": [ { "name": "headStart", "nativeSrc": "376:9:136", "nodeType": "YulIdentifier", "src": "376:9:136" }, { "arguments": [ { "name": "value0", "nativeSrc": "391:6:136", "nodeType": "YulIdentifier", "src": "391:6:136" }, { "arguments": [ { "arguments": [ { "kind": "number", "nativeSrc": "407:3:136", "nodeType": "YulLiteral", "src": "407:3:136", "type": "", "value": "160" }, { "kind": "number", "nativeSrc": "412:1:136", "nodeType": "YulLiteral", "src": "412:1:136", "type": "", "value": "1" } ], "functionName": { "name": "shl", "nativeSrc": "403:3:136", "nodeType": "YulIdentifier", "src": "403:3:136" }, "nativeSrc": "403:11:136", "nodeType": "YulFunctionCall", "src": "403:11:136" }, { "kind": "number", "nativeSrc": "416:1:136", "nodeType": "YulLiteral", "src": "416:1:136", "type": "", "value": "1" } ], "functionName": { "name": "sub", "nativeSrc": "399:3:136", "nodeType": "YulIdentifier", "src": "399:3:136" }, "nativeSrc": "399:19:136", "nodeType": "YulFunctionCall", "src": "399:19:136" } ], "functionName": { "name": "and", "nativeSrc": "387:3:136", "nodeType": "YulIdentifier", "src": "387:3:136" }, "nativeSrc": "387:32:136", "nodeType": "YulFunctionCall", "src": "387:32:136" } ], "functionName": { "name": "mstore", "nativeSrc": "369:6:136", "nodeType": "YulIdentifier", "src": "369:6:136" }, "nativeSrc": "369:51:136", "nodeType": "YulFunctionCall", "src": "369:51:136" }, "nativeSrc": "369:51:136", "nodeType": "YulExpressionStatement", "src": "369:51:136" } ] }, "name": "abi_encode_tuple_t_contract$_IWitRandomness_$28351__to_t_address__fromStack_reversed", "nativeSrc": "199:227:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "293:9:136", "nodeType": "YulTypedName", "src": "293:9:136", "type": "" }, { "name": "value0", "nativeSrc": "304:6:136", "nodeType": "YulTypedName", "src": "304:6:136", "type": "" } ], "returnVariables": [ { "name": "tail", "nativeSrc": "315:4:136", "nodeType": "YulTypedName", "src": "315:4:136", "type": "" } ], "src": "199:227:136" }, { "body": { "nativeSrc": "532:76:136", "nodeType": "YulBlock", "src": "532:76:136", "statements": [ { "nativeSrc": "542:26:136", "nodeType": "YulAssignment", "src": "542:26:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "554:9:136", "nodeType": "YulIdentifier", "src": "554:9:136" }, { "kind": "number", "nativeSrc": "565:2:136", "nodeType": "YulLiteral", "src": "565:2:136", "type": "", "value": "32" } ], "functionName": { "name": "add", "nativeSrc": "550:3:136", "nodeType": "YulIdentifier", "src": "550:3:136" }, "nativeSrc": "550:18:136", "nodeType": "YulFunctionCall", "src": "550:18:136" }, "variableNames": [ { "name": "tail", "nativeSrc": "542:4:136", "nodeType": "YulIdentifier", "src": "542:4:136" } ] }, { "expression": { "arguments": [ { "name": "headStart", "nativeSrc": "584:9:136", "nodeType": "YulIdentifier", "src": "584:9:136" }, { "name": "value0", "nativeSrc": "595:6:136", "nodeType": "YulIdentifier", "src": "595:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "577:6:136", "nodeType": "YulIdentifier", "src": "577:6:136" }, "nativeSrc": "577:25:136", "nodeType": "YulFunctionCall", "src": "577:25:136" }, "nativeSrc": "577:25:136", "nodeType": "YulExpressionStatement", "src": "577:25:136" } ] }, "name": "abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed", "nativeSrc": "431:177:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "501:9:136", "nodeType": "YulTypedName", "src": "501:9:136", "type": "" }, { "name": "value0", "nativeSrc": "512:6:136", "nodeType": "YulTypedName", "src": "512:6:136", "type": "" } ], "returnVariables": [ { "name": "tail", "nativeSrc": "523:4:136", "nodeType": "YulTypedName", "src": "523:4:136", "type": "" } ], "src": "431:177:136" }, { "body": { "nativeSrc": "813:447:136", "nodeType": "YulBlock", "src": "813:447:136", "statements": [ { "body": { "nativeSrc": "860:16:136", "nodeType": "YulBlock", "src": "860:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "869:1:136", "nodeType": "YulLiteral", "src": "869:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "872:1:136", "nodeType": "YulLiteral", "src": "872:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "862:6:136", "nodeType": "YulIdentifier", "src": "862:6:136" }, "nativeSrc": "862:12:136", "nodeType": "YulFunctionCall", "src": "862:12:136" }, "nativeSrc": "862:12:136", "nodeType": "YulExpressionStatement", "src": "862:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nativeSrc": "834:7:136", "nodeType": "YulIdentifier", "src": "834:7:136" }, { "name": "headStart", "nativeSrc": "843:9:136", "nodeType": "YulIdentifier", "src": "843:9:136" } ], "functionName": { "name": "sub", "nativeSrc": "830:3:136", "nodeType": "YulIdentifier", "src": "830:3:136" }, "nativeSrc": "830:23:136", "nodeType": "YulFunctionCall", "src": "830:23:136" }, { "kind": "number", "nativeSrc": "855:3:136", "nodeType": "YulLiteral", "src": "855:3:136", "type": "", "value": "128" } ], "functionName": { "name": "slt", "nativeSrc": "826:3:136", "nodeType": "YulIdentifier", "src": "826:3:136" }, "nativeSrc": "826:33:136", "nodeType": "YulFunctionCall", "src": "826:33:136" }, "nativeSrc": "823:53:136", "nodeType": "YulIf", "src": "823:53:136" }, { "nativeSrc": "885:14:136", "nodeType": "YulVariableDeclaration", "src": "885:14:136", "value": { "kind": "number", "nativeSrc": "898:1:136", "nodeType": "YulLiteral", "src": "898:1:136", "type": "", "value": "0" }, "variables": [ { "name": "value", "nativeSrc": "889:5:136", "nodeType": "YulTypedName", "src": "889:5:136", "type": "" } ] }, { "nativeSrc": "908:25:136", "nodeType": "YulAssignment", "src": "908:25:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "923:9:136", "nodeType": "YulIdentifier", "src": "923:9:136" } ], "functionName": { "name": "mload", "nativeSrc": "917:5:136", "nodeType": "YulIdentifier", "src": "917:5:136" }, "nativeSrc": "917:16:136", "nodeType": "YulFunctionCall", "src": "917:16:136" }, "variableNames": [ { "name": "value", "nativeSrc": "908:5:136", "nodeType": "YulIdentifier", "src": "908:5:136" } ] }, { "nativeSrc": "942:15:136", "nodeType": "YulAssignment", "src": "942:15:136", "value": { "name": "value", "nativeSrc": "952:5:136", "nodeType": "YulIdentifier", "src": "952:5:136" }, "variableNames": [ { "name": "value0", "nativeSrc": "942:6:136", "nodeType": "YulIdentifier", "src": "942:6:136" } ] }, { "nativeSrc": "966:40:136", "nodeType": "YulVariableDeclaration", "src": "966:40:136", "value": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "991:9:136", "nodeType": "YulIdentifier", "src": "991:9:136" }, { "kind": "number", "nativeSrc": "1002:2:136", "nodeType": "YulLiteral", "src": "1002:2:136", "type": "", "value": "32" } ], "functionName": { "name": "add", "nativeSrc": "987:3:136", "nodeType": "YulIdentifier", "src": "987:3:136" }, "nativeSrc": "987:18:136", "nodeType": "YulFunctionCall", "src": "987:18:136" } ], "functionName": { "name": "mload", "nativeSrc": "981:5:136", "nodeType": "YulIdentifier", "src": "981:5:136" }, "nativeSrc": "981:25:136", "nodeType": "YulFunctionCall", "src": "981:25:136" }, "variables": [ { "name": "value_1", "nativeSrc": "970:7:136", "nodeType": "YulTypedName", "src": "970:7:136", "type": "" } ] }, { "body": { "nativeSrc": "1072:16:136", "nodeType": "YulBlock", "src": "1072:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "1081:1:136", "nodeType": "YulLiteral", "src": "1081:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "1084:1:136", "nodeType": "YulLiteral", "src": "1084:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "1074:6:136", "nodeType": "YulIdentifier", "src": "1074:6:136" }, "nativeSrc": "1074:12:136", "nodeType": "YulFunctionCall", "src": "1074:12:136" }, "nativeSrc": "1074:12:136", "nodeType": "YulExpressionStatement", "src": "1074:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "value_1", "nativeSrc": "1028:7:136", "nodeType": "YulIdentifier", "src": "1028:7:136" }, { "arguments": [ { "name": "value_1", "nativeSrc": "1041:7:136", "nodeType": "YulIdentifier", "src": "1041:7:136" }, { "kind": "number", "nativeSrc": "1050:18:136", "nodeType": "YulLiteral", "src": "1050:18:136", "type": "", "value": "0xffffffffffffffff" } ], "functionName": { "name": "and", "nativeSrc": "1037:3:136", "nodeType": "YulIdentifier", "src": "1037:3:136" }, "nativeSrc": "1037:32:136", "nodeType": "YulFunctionCall", "src": "1037:32:136" } ], "functionName": { "name": "eq", "nativeSrc": "1025:2:136", "nodeType": "YulIdentifier", "src": "1025:2:136" }, "nativeSrc": "1025:45:136", "nodeType": "YulFunctionCall", "src": "1025:45:136" } ], "functionName": { "name": "iszero", "nativeSrc": "1018:6:136", "nodeType": "YulIdentifier", "src": "1018:6:136" }, "nativeSrc": "1018:53:136", "nodeType": "YulFunctionCall", "src": "1018:53:136" }, "nativeSrc": "1015:73:136", "nodeType": "YulIf", "src": "1015:73:136" }, { "nativeSrc": "1097:17:136", "nodeType": "YulAssignment", "src": "1097:17:136", "value": { "name": "value_1", "nativeSrc": "1107:7:136", "nodeType": "YulIdentifier", "src": "1107:7:136" }, "variableNames": [ { "name": "value1", "nativeSrc": "1097:6:136", "nodeType": "YulIdentifier", "src": "1097:6:136" } ] }, { "nativeSrc": "1123:16:136", "nodeType": "YulVariableDeclaration", "src": "1123:16:136", "value": { "kind": "number", "nativeSrc": "1138:1:136", "nodeType": "YulLiteral", "src": "1138:1:136", "type": "", "value": "0" }, "variables": [ { "name": "value_2", "nativeSrc": "1127:7:136", "nodeType": "YulTypedName", "src": "1127:7:136", "type": "" } ] }, { "nativeSrc": "1148:36:136", "nodeType": "YulAssignment", "src": "1148:36:136", "value": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1169:9:136", "nodeType": "YulIdentifier", "src": "1169:9:136" }, { "kind": "number", "nativeSrc": "1180:2:136", "nodeType": "YulLiteral", "src": "1180:2:136", "type": "", "value": "64" } ], "functionName": { "name": "add", "nativeSrc": "1165:3:136", "nodeType": "YulIdentifier", "src": "1165:3:136" }, "nativeSrc": "1165:18:136", "nodeType": "YulFunctionCall", "src": "1165:18:136" } ], "functionName": { "name": "mload", "nativeSrc": "1159:5:136", "nodeType": "YulIdentifier", "src": "1159:5:136" }, "nativeSrc": "1159:25:136", "nodeType": "YulFunctionCall", "src": "1159:25:136" }, "variableNames": [ { "name": "value_2", "nativeSrc": "1148:7:136", "nodeType": "YulIdentifier", "src": "1148:7:136" } ] }, { "nativeSrc": "1193:17:136", "nodeType": "YulAssignment", "src": "1193:17:136", "value": { "name": "value_2", "nativeSrc": "1203:7:136", "nodeType": "YulIdentifier", "src": "1203:7:136" }, "variableNames": [ { "name": "value2", "nativeSrc": "1193:6:136", "nodeType": "YulIdentifier", "src": "1193:6:136" } ] }, { "nativeSrc": "1219:35:136", "nodeType": "YulAssignment", "src": "1219:35:136", "value": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1239:9:136", "nodeType": "YulIdentifier", "src": "1239:9:136" }, { "kind": "number", "nativeSrc": "1250:2:136", "nodeType": "YulLiteral", "src": "1250:2:136", "type": "", "value": "96" } ], "functionName": { "name": "add", "nativeSrc": "1235:3:136", "nodeType": "YulIdentifier", "src": "1235:3:136" }, "nativeSrc": "1235:18:136", "nodeType": "YulFunctionCall", "src": "1235:18:136" } ], "functionName": { "name": "mload", "nativeSrc": "1229:5:136", "nodeType": "YulIdentifier", "src": "1229:5:136" }, "nativeSrc": "1229:25:136", "nodeType": "YulFunctionCall", "src": "1229:25:136" }, "variableNames": [ { "name": "value3", "nativeSrc": "1219:6:136", "nodeType": "YulIdentifier", "src": "1219:6:136" } ] } ] }, "name": "abi_decode_tuple_t_bytes32t_userDefinedValueType$_Timestamp_$37157t_userDefinedValueType$_TransactionHash_$37159t_uint256_fromMemory", "nativeSrc": "613:647:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "755:9:136", "nodeType": "YulTypedName", "src": "755:9:136", "type": "" }, { "name": "dataEnd", "nativeSrc": "766:7:136", "nodeType": "YulTypedName", "src": "766:7:136", "type": "" } ], "returnVariables": [ { "name": "value0", "nativeSrc": "778:6:136", "nodeType": "YulTypedName", "src": "778:6:136", "type": "" }, { "name": "value1", "nativeSrc": "786:6:136", "nodeType": "YulTypedName", "src": "786:6:136", "type": "" }, { "name": "value2", "nativeSrc": "794:6:136", "nodeType": "YulTypedName", "src": "794:6:136", "type": "" }, { "name": "value3", "nativeSrc": "802:6:136", "nodeType": "YulTypedName", "src": "802:6:136", "type": "" } ], "src": "613:647:136" }, { "body": { "nativeSrc": "1545:275:136", "nodeType": "YulBlock", "src": "1545:275:136", "statements": [ { "nativeSrc": "1555:27:136", "nodeType": "YulAssignment", "src": "1555:27:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "1567:9:136", "nodeType": "YulIdentifier", "src": "1567:9:136" }, { "kind": "number", "nativeSrc": "1578:3:136", "nodeType": "YulLiteral", "src": "1578:3:136", "type": "", "value": "160" } ], "functionName": { "name": "add", "nativeSrc": "1563:3:136", "nodeType": "YulIdentifier", "src": "1563:3:136" }, "nativeSrc": "1563:19:136", "nodeType": "YulFunctionCall", "src": "1563:19:136" }, "variableNames": [ { "name": "tail", "nativeSrc": "1555:4:136", "nodeType": "YulIdentifier", "src": "1555:4:136" } ] }, { "expression": { "arguments": [ { "name": "headStart", "nativeSrc": "1598:9:136", "nodeType": "YulIdentifier", "src": "1598:9:136" }, { "name": "value0", "nativeSrc": "1609:6:136", "nodeType": "YulIdentifier", "src": "1609:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "1591:6:136", "nodeType": "YulIdentifier", "src": "1591:6:136" }, "nativeSrc": "1591:25:136", "nodeType": "YulFunctionCall", "src": "1591:25:136" }, "nativeSrc": "1591:25:136", "nodeType": "YulExpressionStatement", "src": "1591:25:136" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1636:9:136", "nodeType": "YulIdentifier", "src": "1636:9:136" }, { "kind": "number", "nativeSrc": "1647:2:136", "nodeType": "YulLiteral", "src": "1647:2:136", "type": "", "value": "32" } ], "functionName": { "name": "add", "nativeSrc": "1632:3:136", "nodeType": "YulIdentifier", "src": "1632:3:136" }, "nativeSrc": "1632:18:136", "nodeType": "YulFunctionCall", "src": "1632:18:136" }, { "name": "value1", "nativeSrc": "1652:6:136", "nodeType": "YulIdentifier", "src": "1652:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "1625:6:136", "nodeType": "YulIdentifier", "src": "1625:6:136" }, "nativeSrc": "1625:34:136", "nodeType": "YulFunctionCall", "src": "1625:34:136" }, "nativeSrc": "1625:34:136", "nodeType": "YulExpressionStatement", "src": "1625:34:136" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1679:9:136", "nodeType": "YulIdentifier", "src": "1679:9:136" }, { "kind": "number", "nativeSrc": "1690:2:136", "nodeType": "YulLiteral", "src": "1690:2:136", "type": "", "value": "64" } ], "functionName": { "name": "add", "nativeSrc": "1675:3:136", "nodeType": "YulIdentifier", "src": "1675:3:136" }, "nativeSrc": "1675:18:136", "nodeType": "YulFunctionCall", "src": "1675:18:136" }, { "arguments": [ { "name": "value2", "nativeSrc": "1699:6:136", "nodeType": "YulIdentifier", "src": "1699:6:136" }, { "kind": "number", "nativeSrc": "1707:18:136", "nodeType": "YulLiteral", "src": "1707:18:136", "type": "", "value": "0xffffffffffffffff" } ], "functionName": { "name": "and", "nativeSrc": "1695:3:136", "nodeType": "YulIdentifier", "src": "1695:3:136" }, "nativeSrc": "1695:31:136", "nodeType": "YulFunctionCall", "src": "1695:31:136" } ], "functionName": { "name": "mstore", "nativeSrc": "1668:6:136", "nodeType": "YulIdentifier", "src": "1668:6:136" }, "nativeSrc": "1668:59:136", "nodeType": "YulFunctionCall", "src": "1668:59:136" }, "nativeSrc": "1668:59:136", "nodeType": "YulExpressionStatement", "src": "1668:59:136" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1747:9:136", "nodeType": "YulIdentifier", "src": "1747:9:136" }, { "kind": "number", "nativeSrc": "1758:2:136", "nodeType": "YulLiteral", "src": "1758:2:136", "type": "", "value": "96" } ], "functionName": { "name": "add", "nativeSrc": "1743:3:136", "nodeType": "YulIdentifier", "src": "1743:3:136" }, "nativeSrc": "1743:18:136", "nodeType": "YulFunctionCall", "src": "1743:18:136" }, { "name": "value3", "nativeSrc": "1763:6:136", "nodeType": "YulIdentifier", "src": "1763:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "1736:6:136", "nodeType": "YulIdentifier", "src": "1736:6:136" }, "nativeSrc": "1736:34:136", "nodeType": "YulFunctionCall", "src": "1736:34:136" }, "nativeSrc": "1736:34:136", "nodeType": "YulExpressionStatement", "src": "1736:34:136" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "1790:9:136", "nodeType": "YulIdentifier", "src": "1790:9:136" }, { "kind": "number", "nativeSrc": "1801:3:136", "nodeType": "YulLiteral", "src": "1801:3:136", "type": "", "value": "128" } ], "functionName": { "name": "add", "nativeSrc": "1786:3:136", "nodeType": "YulIdentifier", "src": "1786:3:136" }, "nativeSrc": "1786:19:136", "nodeType": "YulFunctionCall", "src": "1786:19:136" }, { "name": "value4", "nativeSrc": "1807:6:136", "nodeType": "YulIdentifier", "src": "1807:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "1779:6:136", "nodeType": "YulIdentifier", "src": "1779:6:136" }, "nativeSrc": "1779:35:136", "nodeType": "YulFunctionCall", "src": "1779:35:136" }, "nativeSrc": "1779:35:136", "nodeType": "YulExpressionStatement", "src": "1779:35:136" } ] }, "name": "abi_encode_tuple_t_uint256_t_bytes32_t_userDefinedValueType$_Timestamp_$37157_t_userDefinedValueType$_TransactionHash_$37159_t_uint256__to_t_uint256_t_bytes32_t_uint64_t_bytes32_t_uint256__fromStack_reversed", "nativeSrc": "1265:555:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "1482:9:136", "nodeType": "YulTypedName", "src": "1482:9:136", "type": "" }, { "name": "value4", "nativeSrc": "1493:6:136", "nodeType": "YulTypedName", "src": "1493:6:136", "type": "" }, { "name": "value3", "nativeSrc": "1501:6:136", "nodeType": "YulTypedName", "src": "1501:6:136", "type": "" }, { "name": "value2", "nativeSrc": "1509:6:136", "nodeType": "YulTypedName", "src": "1509:6:136", "type": "" }, { "name": "value1", "nativeSrc": "1517:6:136", "nodeType": "YulTypedName", "src": "1517:6:136", "type": "" }, { "name": "value0", "nativeSrc": "1525:6:136", "nodeType": "YulTypedName", "src": "1525:6:136", "type": "" } ], "returnVariables": [ { "name": "tail", "nativeSrc": "1536:4:136", "nodeType": "YulTypedName", "src": "1536:4:136", "type": "" } ], "src": "1265:555:136" }, { "body": { "nativeSrc": "1906:149:136", "nodeType": "YulBlock", "src": "1906:149:136", "statements": [ { "body": { "nativeSrc": "1952:16:136", "nodeType": "YulBlock", "src": "1952:16:136", "statements": [ { "expression": { "arguments": [ { "kind": "number", "nativeSrc": "1961:1:136", "nodeType": "YulLiteral", "src": "1961:1:136", "type": "", "value": "0" }, { "kind": "number", "nativeSrc": "1964:1:136", "nodeType": "YulLiteral", "src": "1964:1:136", "type": "", "value": "0" } ], "functionName": { "name": "revert", "nativeSrc": "1954:6:136", "nodeType": "YulIdentifier", "src": "1954:6:136" }, "nativeSrc": "1954:12:136", "nodeType": "YulFunctionCall", "src": "1954:12:136" }, "nativeSrc": "1954:12:136", "nodeType": "YulExpressionStatement", "src": "1954:12:136" } ] }, "condition": { "arguments": [ { "arguments": [ { "name": "dataEnd", "nativeSrc": "1927:7:136", "nodeType": "YulIdentifier", "src": "1927:7:136" }, { "name": "headStart", "nativeSrc": "1936:9:136", "nodeType": "YulIdentifier", "src": "1936:9:136" } ], "functionName": { "name": "sub", "nativeSrc": "1923:3:136", "nodeType": "YulIdentifier", "src": "1923:3:136" }, "nativeSrc": "1923:23:136", "nodeType": "YulFunctionCall", "src": "1923:23:136" }, { "kind": "number", "nativeSrc": "1948:2:136", "nodeType": "YulLiteral", "src": "1948:2:136", "type": "", "value": "32" } ], "functionName": { "name": "slt", "nativeSrc": "1919:3:136", "nodeType": "YulIdentifier", "src": "1919:3:136" }, "nativeSrc": "1919:32:136", "nodeType": "YulFunctionCall", "src": "1919:32:136" }, "nativeSrc": "1916:52:136", "nodeType": "YulIf", "src": "1916:52:136" }, { "nativeSrc": "1977:14:136", "nodeType": "YulVariableDeclaration", "src": "1977:14:136", "value": { "kind": "number", "nativeSrc": "1990:1:136", "nodeType": "YulLiteral", "src": "1990:1:136", "type": "", "value": "0" }, "variables": [ { "name": "value", "nativeSrc": "1981:5:136", "nodeType": "YulTypedName", "src": "1981:5:136", "type": "" } ] }, { "nativeSrc": "2000:25:136", "nodeType": "YulAssignment", "src": "2000:25:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "2015:9:136", "nodeType": "YulIdentifier", "src": "2015:9:136" } ], "functionName": { "name": "mload", "nativeSrc": "2009:5:136", "nodeType": "YulIdentifier", "src": "2009:5:136" }, "nativeSrc": "2009:16:136", "nodeType": "YulFunctionCall", "src": "2009:16:136" }, "variableNames": [ { "name": "value", "nativeSrc": "2000:5:136", "nodeType": "YulIdentifier", "src": "2000:5:136" } ] }, { "nativeSrc": "2034:15:136", "nodeType": "YulAssignment", "src": "2034:15:136", "value": { "name": "value", "nativeSrc": "2044:5:136", "nodeType": "YulIdentifier", "src": "2044:5:136" }, "variableNames": [ { "name": "value0", "nativeSrc": "2034:6:136", "nodeType": "YulIdentifier", "src": "2034:6:136" } ] } ] }, "name": "abi_decode_tuple_t_bytes32_fromMemory", "nativeSrc": "1825:230:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "1872:9:136", "nodeType": "YulTypedName", "src": "1872:9:136", "type": "" }, { "name": "dataEnd", "nativeSrc": "1883:7:136", "nodeType": "YulTypedName", "src": "1883:7:136", "type": "" } ], "returnVariables": [ { "name": "value0", "nativeSrc": "1895:6:136", "nodeType": "YulTypedName", "src": "1895:6:136", "type": "" } ], "src": "1825:230:136" }, { "body": { "nativeSrc": "2189:119:136", "nodeType": "YulBlock", "src": "2189:119:136", "statements": [ { "nativeSrc": "2199:26:136", "nodeType": "YulAssignment", "src": "2199:26:136", "value": { "arguments": [ { "name": "headStart", "nativeSrc": "2211:9:136", "nodeType": "YulIdentifier", "src": "2211:9:136" }, { "kind": "number", "nativeSrc": "2222:2:136", "nodeType": "YulLiteral", "src": "2222:2:136", "type": "", "value": "64" } ], "functionName": { "name": "add", "nativeSrc": "2207:3:136", "nodeType": "YulIdentifier", "src": "2207:3:136" }, "nativeSrc": "2207:18:136", "nodeType": "YulFunctionCall", "src": "2207:18:136" }, "variableNames": [ { "name": "tail", "nativeSrc": "2199:4:136", "nodeType": "YulIdentifier", "src": "2199:4:136" } ] }, { "expression": { "arguments": [ { "name": "headStart", "nativeSrc": "2241:9:136", "nodeType": "YulIdentifier", "src": "2241:9:136" }, { "name": "value0", "nativeSrc": "2252:6:136", "nodeType": "YulIdentifier", "src": "2252:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "2234:6:136", "nodeType": "YulIdentifier", "src": "2234:6:136" }, "nativeSrc": "2234:25:136", "nodeType": "YulFunctionCall", "src": "2234:25:136" }, "nativeSrc": "2234:25:136", "nodeType": "YulExpressionStatement", "src": "2234:25:136" }, { "expression": { "arguments": [ { "arguments": [ { "name": "headStart", "nativeSrc": "2279:9:136", "nodeType": "YulIdentifier", "src": "2279:9:136" }, { "kind": "number", "nativeSrc": "2290:2:136", "nodeType": "YulLiteral", "src": "2290:2:136", "type": "", "value": "32" } ], "functionName": { "name": "add", "nativeSrc": "2275:3:136", "nodeType": "YulIdentifier", "src": "2275:3:136" }, "nativeSrc": "2275:18:136", "nodeType": "YulFunctionCall", "src": "2275:18:136" }, { "name": "value1", "nativeSrc": "2295:6:136", "nodeType": "YulIdentifier", "src": "2295:6:136" } ], "functionName": { "name": "mstore", "nativeSrc": "2268:6:136", "nodeType": "YulIdentifier", "src": "2268:6:136" }, "nativeSrc": "2268:34:136", "nodeType": "YulFunctionCall", "src": "2268:34:136" }, "nativeSrc": "2268:34:136", "nodeType": "YulExpressionStatement", "src": "2268:34:136" } ] }, "name": "abi_encode_tuple_t_uint256_t_bytes32__to_t_uint256_t_bytes32__fromStack_reversed", "nativeSrc": "2060:248:136", "nodeType": "YulFunctionDefinition", "parameters": [ { "name": "headStart", "nativeSrc": "2150:9:136", "nodeType": "YulTypedName", "src": "2150:9:136", "type": "" }, { "name": "value1", "nativeSrc": "2161:6:136", "nodeType": "YulTypedName", "src": "2161:6:136", "type": "" }, { "name": "value0", "nativeSrc": "2169:6:136", "nodeType": "YulTypedName", "src": "2169:6:136", "type": "" } ], "returnVariables": [ { "name": "tail", "nativeSrc": "2180:4:136", "nodeType": "YulTypedName", "src": "2180:4:136", "type": "" } ], "src": "2060:248:136" } ] }, "contents": "{\n { }\n function abi_decode_tuple_t_uint256(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n value0 := calldataload(headStart)\n }\n function abi_encode_tuple_t_contract$_IWitRandomness_$28351__to_t_address__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, and(value0, sub(shl(160, 1), 1)))\n }\n function abi_encode_tuple_t_uint256__to_t_uint256__fromStack_reversed(headStart, value0) -> tail\n {\n tail := add(headStart, 32)\n mstore(headStart, value0)\n }\n function abi_decode_tuple_t_bytes32t_userDefinedValueType$_Timestamp_$37157t_userDefinedValueType$_TransactionHash_$37159t_uint256_fromMemory(headStart, dataEnd) -> value0, value1, value2, value3\n {\n if slt(sub(dataEnd, headStart), 128) { revert(0, 0) }\n let value := 0\n value := mload(headStart)\n value0 := value\n let value_1 := mload(add(headStart, 32))\n if iszero(eq(value_1, and(value_1, 0xffffffffffffffff))) { revert(0, 0) }\n value1 := value_1\n let value_2 := 0\n value_2 := mload(add(headStart, 64))\n value2 := value_2\n value3 := mload(add(headStart, 96))\n }\n function abi_encode_tuple_t_uint256_t_bytes32_t_userDefinedValueType$_Timestamp_$37157_t_userDefinedValueType$_TransactionHash_$37159_t_uint256__to_t_uint256_t_bytes32_t_uint64_t_bytes32_t_uint256__fromStack_reversed(headStart, value4, value3, value2, value1, value0) -> tail\n {\n tail := add(headStart, 160)\n mstore(headStart, value0)\n mstore(add(headStart, 32), value1)\n mstore(add(headStart, 64), and(value2, 0xffffffffffffffff))\n mstore(add(headStart, 96), value3)\n mstore(add(headStart, 128), value4)\n }\n function abi_decode_tuple_t_bytes32_fromMemory(headStart, dataEnd) -> value0\n {\n if slt(sub(dataEnd, headStart), 32) { revert(0, 0) }\n let value := 0\n value := mload(headStart)\n value0 := value\n }\n function abi_encode_tuple_t_uint256_t_bytes32__to_t_uint256_t_bytes32__fromStack_reversed(headStart, value1, value0) -> tail\n {\n tail := add(headStart, 64)\n mstore(headStart, value0)\n mstore(add(headStart, 32), value1)\n }\n}", "id": 136, "language": "Yul", "name": "#utility.yul" } ], "sourceMap": "154:940:126:-:0;;;415:93;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;;;;;470:30:126;;;154:940;;14:314:136;108:6;161:2;149:9;140:7;136:23;132:32;129:52;;;177:1;174;167:12;129:52;203:16;;-1:-1:-1;;;;;248:31:136;;238:42;;228:70;;294:1;291;284:12;228:70;317:5;14:314;-1:-1:-1;;;14:314:136:o;:::-;154:940:126;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "154:940:126:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;703:388;;;;;;:::i;:::-;;:::i;:::-;;363:45;;;;;;;;-1:-1:-1;;;;;387:32:136;;;369:51;;357:2;342:18;363:45:126;;;;;;;514:181;;;;;;:::i;:::-;;:::i;703:388::-;776:13;791:27;820:29;851:17;885:13;-1:-1:-1;;;;;885:39:126;;925:11;885:52;;;;;;;;;;;;;577:25:136;;565:2;550:18;;431:177;885:52:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;953:130;;;1591:25:136;;;1647:2;1632:18;;1625:34;;;1707:18;1695:31;;1675:18;;;1668:59;1758:2;1743:18;;1736:34;;;1801:3;1786:19;;1779:35;;;953:130:126;;1625:34:136;;-1:-1:-1;1695:31:136;;-1:-1:-1;1736:34:136;;-1:-1:-1;1779:35:136;-1:-1:-1;953:130:126;;;;;;1578:3:136;953:130:126;;;764:327;;;;703:388;:::o;514:181::-;629:47;;-1:-1:-1;;;629:47:126;;;;;577:25:136;;;585:102:126;;603:11;;-1:-1:-1;;;;;629:13:126;:34;;;;550:18:136;;629:47:126;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;585:102;;;2234:25:136;;;2290:2;2275:18;;2268:34;;;;2207:18;585:102:126;;;;;;;514:181;:::o;14:180:136:-;73:6;126:2;114:9;105:7;101:23;97:32;94:52;;;142:1;139;132:12;94:52;-1:-1:-1;165:23:136;;14:180;-1:-1:-1;14:180:136:o;613:647::-;778:6;786;794;802;855:3;843:9;834:7;830:23;826:33;823:53;;;872:1;869;862:12;823:53;917:16;;1002:2;987:18;;981:25;917:16;;-1:-1:-1;1050:18:136;1037:32;;1025:45;;1015:73;;1084:1;1081;1074:12;1015:73;1180:2;1165:18;;1159:25;1250:2;1235:18;;;1229:25;613:647;;1107:7;;-1:-1:-1;613:647:136;-1:-1:-1;;;613:647:136:o;1825:230::-;1895:6;1948:2;1936:9;1927:7;1923:23;1919:32;1916:52;;;1964:1;1961;1954:12;1916:52;-1:-1:-1;2009:16:136;;1825:230;-1:-1:-1;1825:230:136:o", "source": "// SPDX-License-Identifier: MIT\r\n\r\npragma solidity >=0.7.0 <0.9.0;\r\npragma experimental ABIEncoderV2;\r\n\r\nimport \"../../interfaces/IWitRandomness.sol\";\r\n\r\ncontract WitRngConsumer {\r\n event Log(uint256 blockNumber, bytes32 seed);\r\n event Log(uint256 blockNumber, bytes32 uuid, Witnet.Timestamp timestamp, Witnet.TransactionHash trail, uint256 finality);\r\n IWitRandomness immutable public witRandomness;\r\n constructor (IWitRandomness _witRandomness) {\r\n witRandomness = _witRandomness;\r\n }\r\n function fetchRandomness(uint256 blockNumber) external {\r\n emit Log(\r\n blockNumber,\r\n witRandomness.fetchRandomnessAfter(blockNumber)\r\n );\r\n }\r\n\r\n function fetchRandomnessTrails(uint256 blockNumber) external {\r\n (bytes32 _uuid, Witnet.Timestamp _timestamp, Witnet.TransactionHash _trail, uint256 _finality)\r\n = witRandomness.fetchRandomnessAfterProof(blockNumber);\r\n emit Log(\r\n blockNumber,\r\n _uuid,\r\n _timestamp,\r\n _trail,\r\n _finality\r\n );\r\n }\r\n}\r\n", "sourcePath": "C:\\Users\\guill\\github\\guidiaz\\witnet-solidity-bridge\\contracts\\mockups\\tests\\WitRngConsumer.sol", "ast": { "absolutePath": "project:/contracts/mockups/tests/WitRngConsumer.sol", "exportedSymbols": { "IWitRandomness": [ 28351 ], "IWitRandomnessAdmin": [ 28395 ], "IWitRandomnessConsumer": [ 28425 ], "IWitRandomnessEvents": [ 28449 ], "IWitRandomnessTypes": [ 28461 ], "WitRngConsumer": [ 45342 ], "Witnet": [ 40741 ] }, "id": 45343, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 45262, "literals": [ "solidity", ">=", "0.7", ".0", "<", "0.9", ".0" ], "nodeType": "PragmaDirective", "src": "35:31:126" }, { "id": 45263, "literals": [ "experimental", "ABIEncoderV2" ], "nodeType": "PragmaDirective", "src": "68:33:126" }, { "absolutePath": "project:/contracts/interfaces/IWitRandomness.sol", "file": "../../interfaces/IWitRandomness.sol", "id": 45264, "nameLocation": "-1:-1:-1", "nodeType": "ImportDirective", "scope": 45343, "sourceUnit": 28352, "src": "105:45:126", "symbolAliases": [], "unitAlias": "" }, { "abstract": false, "baseContracts": [], "canonicalName": "WitRngConsumer", "contractDependencies": [], "contractKind": "contract", "fullyImplemented": true, "id": 45342, "linearizedBaseContracts": [ 45342 ], "name": "WitRngConsumer", "nameLocation": "163:14:126", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "eventSelector": "869e334d92a3ccef30bb00b0cc186e212adf165605f0988318728cdcb9819d13", "id": 45270, "name": "Log", "nameLocation": "191:3:126", "nodeType": "EventDefinition", "parameters": { "id": 45269, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45266, "indexed": false, "mutability": "mutable", "name": "blockNumber", "nameLocation": "203:11:126", "nodeType": "VariableDeclaration", "scope": 45270, "src": "195:19:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45265, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "195:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 45268, "indexed": false, "mutability": "mutable", "name": "seed", "nameLocation": "224:4:126", "nodeType": "VariableDeclaration", "scope": 45270, "src": "216:12:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45267, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "216:7:126", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" } ], "src": "194:35:126" }, "src": "185:45:126" }, { "anonymous": false, "eventSelector": "3dfc87ac2e15e43d14d2b681dc2c43284e19972fc0ce68426758fe0ba168c4e1", "id": 45284, "name": "Log", "nameLocation": "242:3:126", "nodeType": "EventDefinition", "parameters": { "id": 45283, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45272, "indexed": false, "mutability": "mutable", "name": "blockNumber", "nameLocation": "254:11:126", "nodeType": "VariableDeclaration", "scope": 45284, "src": "246:19:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45271, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "246:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 45274, "indexed": false, "mutability": "mutable", "name": "uuid", "nameLocation": "275:4:126", "nodeType": "VariableDeclaration", "scope": 45284, "src": "267:12:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45273, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "267:7:126", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45277, "indexed": false, "mutability": "mutable", "name": "timestamp", "nameLocation": "298:9:126", "nodeType": "VariableDeclaration", "scope": 45284, "src": "281:26:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" }, "typeName": { "id": 45276, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45275, "name": "Witnet.Timestamp", "nameLocations": [ "281:6:126", "288:9:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 37157, "src": "281:16:126" }, "referencedDeclaration": 37157, "src": "281:16:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" } }, "visibility": "internal" }, { "constant": false, "id": 45280, "indexed": false, "mutability": "mutable", "name": "trail", "nameLocation": "332:5:126", "nodeType": "VariableDeclaration", "scope": 45284, "src": "309:28:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" }, "typeName": { "id": 45279, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45278, "name": "Witnet.TransactionHash", "nameLocations": [ "309:6:126", "316:15:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 37159, "src": "309:22:126" }, "referencedDeclaration": 37159, "src": "309:22:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" } }, "visibility": "internal" }, { "constant": false, "id": 45282, "indexed": false, "mutability": "mutable", "name": "finality", "nameLocation": "347:8:126", "nodeType": "VariableDeclaration", "scope": 45284, "src": "339:16:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45281, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "339:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "245:111:126" }, "src": "236:121:126" }, { "constant": false, "functionSelector": "ae5ce03e", "id": 45287, "mutability": "immutable", "name": "witRandomness", "nameLocation": "395:13:126", "nodeType": "VariableDeclaration", "scope": 45342, "src": "363:45:126", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" }, "typeName": { "id": 45286, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45285, "name": "IWitRandomness", "nameLocations": [ "363:14:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 28351, "src": "363:14:126" }, "referencedDeclaration": 28351, "src": "363:14:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "visibility": "public" }, { "body": { "id": 45297, "nodeType": "Block", "src": "459:49:126", "statements": [ { "expression": { "id": 45295, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 45293, "name": "witRandomness", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45287, "src": "470:13:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "id": 45294, "name": "_witRandomness", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45290, "src": "486:14:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "src": "470:30:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "id": 45296, "nodeType": "ExpressionStatement", "src": "470:30:126" } ] }, "id": 45298, "implemented": true, "kind": "constructor", "modifiers": [], "name": "", "nameLocation": "-1:-1:-1", "nodeType": "FunctionDefinition", "parameters": { "id": 45291, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45290, "mutability": "mutable", "name": "_witRandomness", "nameLocation": "443:14:126", "nodeType": "VariableDeclaration", "scope": 45298, "src": "428:29:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" }, "typeName": { "id": 45289, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45288, "name": "IWitRandomness", "nameLocations": [ "428:14:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 28351, "src": "428:14:126" }, "referencedDeclaration": 28351, "src": "428:14:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "visibility": "internal" } ], "src": "427:31:126" }, "returnParameters": { "id": 45292, "nodeType": "ParameterList", "parameters": [], "src": "459:0:126" }, "scope": 45342, "src": "415:93:126", "stateMutability": "nonpayable", "virtual": false, "visibility": "public" }, { "body": { "id": 45311, "nodeType": "Block", "src": "569:126:126", "statements": [ { "eventCall": { "arguments": [ { "id": 45304, "name": "blockNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45300, "src": "603:11:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "arguments": [ { "id": 45307, "name": "blockNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45300, "src": "664:11:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "id": 45305, "name": "witRandomness", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45287, "src": "629:13:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "id": 45306, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberLocation": "643:20:126", "memberName": "fetchRandomnessAfter", "nodeType": "MemberAccess", "referencedDeclaration": 28212, "src": "629:34:126", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_uint256_$returns$_t_bytes32_$", "typeString": "function (uint256) view external returns (bytes32)" } }, "id": 45308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "nameLocations": [], "names": [], "nodeType": "FunctionCall", "src": "629:47:126", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 45303, "name": "Log", "nodeType": "Identifier", "overloadedDeclarations": [ 45270, 45284 ], "referencedDeclaration": 45270, "src": "585:3:126", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_uint256_$_t_bytes32_$returns$__$", "typeString": "function (uint256,bytes32)" } }, "id": 45309, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "nameLocations": [], "names": [], "nodeType": "FunctionCall", "src": "585:102:126", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 45310, "nodeType": "EmitStatement", "src": "580:107:126" } ] }, "functionSelector": "f87de110", "id": 45312, "implemented": true, "kind": "function", "modifiers": [], "name": "fetchRandomness", "nameLocation": "523:15:126", "nodeType": "FunctionDefinition", "parameters": { "id": 45301, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45300, "mutability": "mutable", "name": "blockNumber", "nameLocation": "547:11:126", "nodeType": "VariableDeclaration", "scope": 45312, "src": "539:19:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45299, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "539:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "538:21:126" }, "returnParameters": { "id": 45302, "nodeType": "ParameterList", "parameters": [], "src": "569:0:126" }, "scope": 45342, "src": "514:181:126", "stateMutability": "nonpayable", "virtual": false, "visibility": "external" }, { "body": { "id": 45340, "nodeType": "Block", "src": "764:327:126", "statements": [ { "assignments": [ 45318, 45321, 45324, 45326 ], "declarations": [ { "constant": false, "id": 45318, "mutability": "mutable", "name": "_uuid", "nameLocation": "784:5:126", "nodeType": "VariableDeclaration", "scope": 45340, "src": "776:13:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 45317, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "776:7:126", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "internal" }, { "constant": false, "id": 45321, "mutability": "mutable", "name": "_timestamp", "nameLocation": "808:10:126", "nodeType": "VariableDeclaration", "scope": 45340, "src": "791:27:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" }, "typeName": { "id": 45320, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45319, "name": "Witnet.Timestamp", "nameLocations": [ "791:6:126", "798:9:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 37157, "src": "791:16:126" }, "referencedDeclaration": 37157, "src": "791:16:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" } }, "visibility": "internal" }, { "constant": false, "id": 45324, "mutability": "mutable", "name": "_trail", "nameLocation": "843:6:126", "nodeType": "VariableDeclaration", "scope": 45340, "src": "820:29:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" }, "typeName": { "id": 45323, "nodeType": "UserDefinedTypeName", "pathNode": { "id": 45322, "name": "Witnet.TransactionHash", "nameLocations": [ "820:6:126", "827:15:126" ], "nodeType": "IdentifierPath", "referencedDeclaration": 37159, "src": "820:22:126" }, "referencedDeclaration": 37159, "src": "820:22:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" } }, "visibility": "internal" }, { "constant": false, "id": 45326, "mutability": "mutable", "name": "_finality", "nameLocation": "859:9:126", "nodeType": "VariableDeclaration", "scope": 45340, "src": "851:17:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "851:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 45331, "initialValue": { "arguments": [ { "id": 45329, "name": "blockNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45314, "src": "925:11:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "id": 45327, "name": "witRandomness", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45287, "src": "885:13:126", "typeDescriptions": { "typeIdentifier": "t_contract$_IWitRandomness_$28351", "typeString": "contract IWitRandomness" } }, "id": 45328, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberLocation": "899:25:126", "memberName": "fetchRandomnessAfterProof", "nodeType": "MemberAccess", "referencedDeclaration": 28228, "src": "885:39:126", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_uint256_$returns$_t_bytes32_$_t_userDefinedValueType$_Timestamp_$37157_$_t_userDefinedValueType$_TransactionHash_$37159_$_t_uint256_$", "typeString": "function (uint256) view external returns (bytes32,Witnet.Timestamp,Witnet.TransactionHash,uint256)" } }, "id": 45330, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "nameLocations": [], "names": [], "nodeType": "FunctionCall", "src": "885:52:126", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bytes32_$_t_userDefinedValueType$_Timestamp_$37157_$_t_userDefinedValueType$_TransactionHash_$37159_$_t_uint256_$", "typeString": "tuple(bytes32,Witnet.Timestamp,Witnet.TransactionHash,uint256)" } }, "nodeType": "VariableDeclarationStatement", "src": "775:162:126" }, { "eventCall": { "arguments": [ { "id": 45333, "name": "blockNumber", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45314, "src": "971:11:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 45334, "name": "_uuid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45318, "src": "997:5:126", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "id": 45335, "name": "_timestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45321, "src": "1017:10:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" } }, { "id": 45336, "name": "_trail", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45324, "src": "1042:6:126", "typeDescriptions": { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" } }, { "id": 45337, "name": "_finality", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 45326, "src": "1063:9:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_userDefinedValueType$_Timestamp_$37157", "typeString": "Witnet.Timestamp" }, { "typeIdentifier": "t_userDefinedValueType$_TransactionHash_$37159", "typeString": "Witnet.TransactionHash" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 45332, "name": "Log", "nodeType": "Identifier", "overloadedDeclarations": [ 45270, 45284 ], "referencedDeclaration": 45284, "src": "953:3:126", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_uint256_$_t_bytes32_$_t_userDefinedValueType$_Timestamp_$37157_$_t_userDefinedValueType$_TransactionHash_$37159_$_t_uint256_$returns$__$", "typeString": "function (uint256,bytes32,Witnet.Timestamp,Witnet.TransactionHash,uint256)" } }, "id": 45338, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "nameLocations": [], "names": [], "nodeType": "FunctionCall", "src": "953:130:126", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 45339, "nodeType": "EmitStatement", "src": "948:135:126" } ] }, "functionSelector": "a9f1851c", "id": 45341, "implemented": true, "kind": "function", "modifiers": [], "name": "fetchRandomnessTrails", "nameLocation": "712:21:126", "nodeType": "FunctionDefinition", "parameters": { "id": 45315, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 45314, "mutability": "mutable", "name": "blockNumber", "nameLocation": "742:11:126", "nodeType": "VariableDeclaration", "scope": 45341, "src": "734:19:126", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 45313, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "734:7:126", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "733:21:126" }, "returnParameters": { "id": 45316, "nodeType": "ParameterList", "parameters": [], "src": "764:0:126" }, "scope": 45342, "src": "703:388:126", "stateMutability": "nonpayable", "virtual": false, "visibility": "external" } ], "scope": 45343, "src": "154:940:126", "usedErrors": [], "usedEvents": [ 45270, 45284 ] } ], "src": "35:1061:126" }, "compiler": { "name": "solc", "version": "0.8.30+commit.73712a01.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.16", "updatedAt": "2025-10-15T14:34:46.046Z", "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }