[{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_bondToken","type":"address"},{"internalType":"uint256","name":"_bondAmount","type":"uint256"},{"internalType":"address","name":"_verifierAddress","type":"address"},{"internalType":"uint32","name":"_proofWindow","type":"uint32"},{"internalType":"uint8","name":"_instanceLength","type":"uint8"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"ECDSAInvalidSignature","type":"error"},{"inputs":[{"internalType":"uint256","name":"length","type":"uint256"}],"name":"ECDSAInvalidSignatureLength","type":"error"},{"inputs":[{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"ECDSAInvalidSignatureS","type":"error"},{"inputs":[],"name":"INVALID_ASSIGNMENT","type":"error"},{"inputs":[],"name":"INVALID_PROOF","type":"error"},{"inputs":[],"name":"INVALID_PROVER","type":"error"},{"inputs":[],"name":"INVALID_PROVER_SIG","type":"error"},{"inputs":[{"internalType":"address","name":"owner","type":"address"}],"name":"OwnableInvalidOwner","type":"error"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"OwnableUnauthorizedAccount","type":"error"},{"inputs":[],"name":"ReentrancyGuardReentrantCall","type":"error"},{"inputs":[],"name":"TASK_ALREADY_OPEN","type":"error"},{"inputs":[],"name":"TASK_ALREADY_PROVEN","type":"error"},{"inputs":[],"name":"TASK_ALREADY_SUBMITTED","type":"error"},{"inputs":[],"name":"TASK_NONE_EXIST","type":"error"},{"inputs":[],"name":"TASK_NOT_OPEN","type":"error"},{"inputs":[],"name":"TASK_NOT_THE_SAME","type":"error"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"bytes32","name":"taskKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BondDeposited","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"bytes32","name":"taskKey","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BondReleased","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes32","name":"taskKey","type":"bytes32"},{"indexed":false,"internalType":"bytes","name":"proof","type":"bytes"}],"name":"TaskProven","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"requester","type":"address"},{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes","name":"instance","type":"bytes"},{"indexed":false,"internalType":"bytes32","name":"taskKey","type":"bytes32"},{"indexed":false,"internalType":"address","name":"rewardToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"rewardAmount","type":"uint256"},{"indexed":false,"internalType":"uint64","name":"liabilityWindow","type":"uint64"},{"indexed":false,"internalType":"address","name":"liabilityToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"liabilityAmount","type":"uint256"}],"name":"TaskSubmitted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"taskKey","type":"bytes32"},{"internalType":"bytes","name":"proof","type":"bytes"}],"name":"proveTask","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"taskKey","type":"bytes32"}],"name":"readProofStatus","outputs":[{"components":[{"internalType":"bytes","name":"instance","type":"bytes"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint64","name":"submittedAt","type":"uint64"},{"internalType":"bool","name":"proven","type":"bool"}],"internalType":"struct TaskStatus","name":"taskStatus","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes","name":"instance","type":"bytes"},{"internalType":"address","name":"_prover","type":"address"},{"internalType":"address","name":"_rewardToken","type":"address"},{"internalType":"uint256","name":"_rewardAmount","type":"uint256"},{"internalType":"uint64","name":"_liabilityWindow","type":"uint64"},{"internalType":"address","name":"_liabilityToken","type":"address"},{"internalType":"uint256","name":"_liabilityAmount","type":"uint256"},{"internalType":"uint64","name":"_expiry","type":"uint64"},{"internalType":"bytes","name":"_signature","type":"bytes"}],"name":"submitTask","outputs":[{"internalType":"bytes32","name":"taskKey","type":"bytes32"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"taskStatusMap","outputs":[{"internalType":"bytes","name":"instance","type":"bytes"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint64","name":"submittedAt","type":"uint64"},{"internalType":"bool","name":"proven","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_bondToken","type":"address"},{"internalType":"uint256","name":"_bondAmount","type":"uint256"},{"internalType":"address","name":"_verifierAddress","type":"address"},{"internalType":"uint32","name":"_proofWindow","type":"uint32"},{"internalType":"uint8","name":"_instanceLength","type":"uint8"}],"name":"updateConfig","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50604051620018c3380380620018c383398101604081905262000034916200014d565b856001600160a01b0381166200006457604051631e4fbdf760e01b81526000600482015260240160405180910390fd5b6200006f81620000e0565b5060018055600280546001600160a01b0319166001600160a01b0396871617905560039390935560048054929094166001600160c01b031990921691909117600160a01b63ffffffff92909216919091021760ff60c01b1916600160c01b60ff9092169190910217905550620001d9565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b80516001600160a01b03811681146200014857600080fd5b919050565b60008060008060008060c087890312156200016757600080fd5b620001728762000130565b9550620001826020880162000130565b945060408701519350620001996060880162000130565b9250608087015163ffffffff81168114620001b357600080fd5b60a088015190925060ff81168114620001cb57600080fd5b809150509295509295509295565b6116da80620001e96000396000f3fe608060405234801561001057600080fd5b50600436106100885760003560e01c8063910f40371161005b578063910f4037146100f1578063ddacac9c14610104578063e0bd2aea14610124578063f2fde38b1461014557600080fd5b80632007a0161461008d5780633c577249146100a2578063715018a6146100ce5780638da5cb5b146100d6575b600080fd5b6100a061009b36600461106c565b610158565b005b6100b56100b03660046110b7565b6103c0565b6040516100c59493929190611120565b60405180910390f35b6100a061048b565b6000546040516001600160a01b0390911681526020016100c5565b6100a06100ff36600461117a565b61049f565b6101176101123660046110b7565b61050e565b6040516100c591906111ed565b61013761013236600461125d565b610663565b6040519081526020016100c5565b6100a0610153366004611337565b610cf5565b610160610d38565b600083815260056020526040902060018101546001600160a01b031615801561019b57506001810154600160a01b90046001600160401b0316155b156101b95760405163629b6c7d60e01b815260040160405180910390fd5b600454600182015442916101e79163ffffffff600160a01b9283900416916001600160401b03910416611359565b6001600160401b031611801561020a575060018101546001600160a01b03163314155b156102285760405163ece03c3160e01b815260040160405180910390fd5b600454600182015442916102569163ffffffff600160a01b9283900416916001600160401b03910416611359565b6001600160401b031611158015610279575060018101546001600160a01b031633145b156102975760405163513ca4af60e11b815260040160405180910390fd5b6001818101805460ff60e01b1916600160e01b17905560025460035460405163a9059cbb60e01b815233600482015260248101919091526001600160a01b039091169063a9059cbb906044016020604051808303816000875af1158015610302573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610326919061138e565b5060035460405133917f2643f0e004b9c44af9a6dc8e20da5b95eb5d79682ccf4b2ee42dc544832a6ee89161036391898252602082015260400190565b60405180910390a2336001600160a01b03167f4201b13d3f0fa3e3af7cee574abec6196aefafa83cd14ce1c965c4fcca5851f48686866040516103a8939291906113d9565b60405180910390a250506103bb60018055565b505050565b6005602052600090815260409020805481906103db906113fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610407906113fc565b80156104545780601f1061042957610100808354040283529160200191610454565b820191906000526020600020905b81548152906001019060200180831161043757829003601f168201915b505050600190930154919250506001600160a01b038116906001600160401b03600160a01b8204169060ff600160e01b9091041684565b610493610d62565b61049d6000610d8f565b565b6104a7610d62565b600280546001600160a01b0319166001600160a01b0396871617905560039390935560048054929094166001600160c01b031990921691909117600160a01b63ffffffff92909216919091021760ff60c01b1916600160c01b60ff90921691909102179055565b6040805160808101825260608082526000602083018190529282018390528101919091526000828152600560205260409081902081516080810190925280548290829061055a906113fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610586906113fc565b80156105d35780601f106105a8576101008083540402835291602001916105d3565b820191906000526020600020905b8154815290600101906020018083116105b657829003601f168201915b5050509183525050600191909101546001600160a01b03808216602080850191909152600160a01b83046001600160401b03166040850152600160e01b90920460ff16151560609093019290925282015191925016158015610640575060408101516001600160401b0316155b1561065e5760405163629b6c7d60e01b815260040160405180910390fd5b919050565b600061066d610d38565b43846001600160401b0316116106965760405163d78817c560e01b815260040160405180910390fd5b8b8b6040516106a6929190611436565b60408051918290039091206000818152600560205291909120600101549091506001600160a01b0316156106ed576040516318db23d560e31b815260040160405180910390fd5b6040516323b872dd60e01b81523360048201526001600160a01b038b81166024830152604482018a90528a16906323b872dd906064016020604051808303816000875af1158015610742573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610766919061138e565b506040518881526001600160a01b038b169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a36002546003546040516323b872dd60e01b81526001600160a01b038d8116600483015230602483015260448201929092529116906323b872dd906064016020604051808303816000875af1158015610803573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610827919061138e565b50306001600160a01b03168a6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60035460405161086f91815260200190565b60405180910390a3896001600160a01b03167fa8b3514dced40754a3e57d724ef847e309dfa32f6d68dd4c4afdb3fc17bdb2e0826003546040516108bd929190918252602082015260400190565b60405180910390a2893b63ffffffff166109f557896001600160a01b03166109c984848080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506109768f8f8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508d8d8d8d8d8d610ddf565b60405160200161098891815260200190565b60408051601f19818403018152908290526109a591602001611446565b60405160208183030381529060405280519060200120610e2190919063ffffffff16565b6001600160a01b0316146109f0576040516334f331ab60e01b815260040160405180910390fd5b610b7f565b6040516301ffc9a760e01b8152630b135d3f60e11b60048201526001600160a01b038b16906301ffc9a790602401602060405180830381865afa158015610a40573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a64919061138e565b15610b6657631626ba7e60e01b6001600160e01b0319168a6001600160a01b0316631626ba7e610add8f8f8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508d8d8d8d8d8d610ddf565b86866040518463ffffffff1660e01b8152600401610afd939291906113d9565b602060405180830381865afa158015610b1a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b3e919061148b565b6001600160e01b031916146109f0576040516334f331ab60e01b815260040160405180910390fd5b604051633b86cf5560e11b815260040160405180910390fd5b60405180608001604052808d8d8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052509385525050506001600160a01b038d166020808401919091526001600160401b0342166040808501919091526060909301829052848252600590522081518190610c069082611519565b5060208201518160010160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060408201518160010160146101000a8154816001600160401b0302191690836001600160401b03160217905550606082015181600101601c6101000a81548160ff021916908315150217905550905050896001600160a01b0316336001600160a01b03167f2f0e91b74bddefdea711077d50794a1c996bc60a49283034146698c7383994468e8e858e8e8e8e8e604051610cd59897969594939291906115d8565b60405180910390a3610ce660018055565b9b9a5050505050505050505050565b610cfd610d62565b6001600160a01b038116610d2c57604051631e4fbdf760e01b8152600060048201526024015b60405180910390fd5b610d3581610d8f565b50565b600260015403610d5b57604051633ee5aeb560e01b815260040160405180910390fd5b6002600155565b6000546001600160a01b0316331461049d5760405163118cdaa760e01b8152336004820152602401610d23565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60008787878686868a604051602001610dfe9796959493929190611630565b604051602081830303815290604052805190602001209050979650505050505050565b600080600080610e318686610e4b565b925092509250610e418282610e98565b5090949350505050565b60008060008351604103610e855760208401516040850151606086015160001a610e7788828585610f55565b955095509550505050610e91565b50508151600091506002905b9250925092565b6000826003811115610eac57610eac61168e565b03610eb5575050565b6001826003811115610ec957610ec961168e565b03610ee75760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115610efb57610efb61168e565b03610f1c5760405163fce698f760e01b815260048101829052602401610d23565b6003826003811115610f3057610f3061168e565b03610f51576040516335e2f38360e21b815260048101829052602401610d23565b5050565b600080807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0841115610f90575060009150600390508261101a565b604080516000808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015610fe4573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166110105750600092506001915082905061101a565b9250600091508190505b9450945094915050565b60008083601f84011261103657600080fd5b5081356001600160401b0381111561104d57600080fd5b60208301915083602082850101111561106557600080fd5b9250929050565b60008060006040848603121561108157600080fd5b8335925060208401356001600160401b0381111561109e57600080fd5b6110aa86828701611024565b9497909650939450505050565b6000602082840312156110c957600080fd5b5035919050565b60005b838110156110eb5781810151838201526020016110d3565b50506000910152565b6000815180845261110c8160208601602086016110d0565b601f01601f19169290920160200192915050565b60808152600061113360808301876110f4565b6001600160a01b03959095166020830152506001600160401b039290921660408301521515606090910152919050565b80356001600160a01b038116811461065e57600080fd5b600080600080600060a0868803121561119257600080fd5b61119b86611163565b9450602086013593506111b060408701611163565b9250606086013563ffffffff811681146111c957600080fd5b9150608086013560ff811681146111df57600080fd5b809150509295509295909350565b60208152600082516080602084015261120960a08401826110f4565b905060018060a01b0360208501511660408401526001600160401b0360408501511660608401526060840151151560808401528091505092915050565b80356001600160401b038116811461065e57600080fd5b60008060008060008060008060008060006101208c8e03121561127f57600080fd5b6001600160401b03808d35111561129557600080fd5b6112a28e8e358f01611024565b909c509a506112b360208e01611163565b99506112c160408e01611163565b985060608d013597506112d660808e01611246565b96506112e460a08e01611163565b955060c08d013594506112f960e08e01611246565b9350806101008e0135111561130d57600080fd5b5061131f8d6101008e01358e01611024565b81935080925050509295989b509295989b9093969950565b60006020828403121561134957600080fd5b61135282611163565b9392505050565b6001600160401b0381811683821601908082111561138757634e487b7160e01b600052601160045260246000fd5b5092915050565b6000602082840312156113a057600080fd5b8151801515811461135257600080fd5b81835281816020850137506000828201602090810191909152601f909101601f19169091010190565b8381526040602082015260006113f36040830184866113b0565b95945050505050565b600181811c9082168061141057607f821691505b60208210810361143057634e487b7160e01b600052602260045260246000fd5b50919050565b8183823760009101908152919050565b7f19457468657265756d205369676e6564204d6573736167653a0a33320000000081526000825161147e81601c8501602087016110d0565b91909101601c0192915050565b60006020828403121561149d57600080fd5b81516001600160e01b03198116811461135257600080fd5b634e487b7160e01b600052604160045260246000fd5b601f8211156103bb57600081815260208120601f850160051c810160208610156114f25750805b601f850160051c820191505b81811015611511578281556001016114fe565b505050505050565b81516001600160401b03811115611532576115326114b5565b6115468161154084546113fc565b846114cb565b602080601f83116001811461157b57600084156115635750858301515b600019600386901b1c1916600185901b178555611511565b600085815260208120601f198616915b828110156115aa5788860151825594840194600190910190840161158b565b50858210156115c85787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b60e0815260006115ec60e083018a8c6113b0565b6020830198909852506001600160a01b03958616604082015260608101949094526001600160401b0392909216608084015290921660a082015260c0015292915050565b60e08152600061164360e083018a6110f4565b6001600160a01b03988916602084015260408301979097525093909516606084015260808301919091526001600160401b0390811660a083015290921660c090920191909152919050565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220a230a235dd643b5314b23b900182eb4293cfe319790a1edcfa70ba330274664264736f6c63430008140033000000000000000000000000d8c19b45061b8fc74136c06ee5cb464e6aa7cbba000000000000000000000000fdfd239c9dd30445d0e080ecf055a5cc53456a720000000000000000000000000000000000000000000000008ac7230489e8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008ca00000000000000000000000000000000000000000000000000000000000000020

0x608060405234801561001057600080fd5b50600436106100885760003560e01c8063910f40371161005b578063910f4037146100f1578063ddacac9c14610104578063e0bd2aea14610124578063f2fde38b1461014557600080fd5b80632007a0161461008d5780633c577249146100a2578063715018a6146100ce5780638da5cb5b146100d6575b600080fd5b6100a061009b36600461106c565b610158565b005b6100b56100b03660046110b7565b6103c0565b6040516100c59493929190611120565b60405180910390f35b6100a061048b565b6000546040516001600160a01b0390911681526020016100c5565b6100a06100ff36600461117a565b61049f565b6101176101123660046110b7565b61050e565b6040516100c591906111ed565b61013761013236600461125d565b610663565b6040519081526020016100c5565b6100a0610153366004611337565b610cf5565b610160610d38565b600083815260056020526040902060018101546001600160a01b031615801561019b57506001810154600160a01b90046001600160401b0316155b156101b95760405163629b6c7d60e01b815260040160405180910390fd5b600454600182015442916101e79163ffffffff600160a01b9283900416916001600160401b03910416611359565b6001600160401b031611801561020a575060018101546001600160a01b03163314155b156102285760405163ece03c3160e01b815260040160405180910390fd5b600454600182015442916102569163ffffffff600160a01b9283900416916001600160401b03910416611359565b6001600160401b031611158015610279575060018101546001600160a01b031633145b156102975760405163513ca4af60e11b815260040160405180910390fd5b6001818101805460ff60e01b1916600160e01b17905560025460035460405163a9059cbb60e01b815233600482015260248101919091526001600160a01b039091169063a9059cbb906044016020604051808303816000875af1158015610302573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610326919061138e565b5060035460405133917f2643f0e004b9c44af9a6dc8e20da5b95eb5d79682ccf4b2ee42dc544832a6ee89161036391898252602082015260400190565b60405180910390a2336001600160a01b03167f4201b13d3f0fa3e3af7cee574abec6196aefafa83cd14ce1c965c4fcca5851f48686866040516103a8939291906113d9565b60405180910390a250506103bb60018055565b505050565b6005602052600090815260409020805481906103db906113fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610407906113fc565b80156104545780601f1061042957610100808354040283529160200191610454565b820191906000526020600020905b81548152906001019060200180831161043757829003601f168201915b505050600190930154919250506001600160a01b038116906001600160401b03600160a01b8204169060ff600160e01b9091041684565b610493610d62565b61049d6000610d8f565b565b6104a7610d62565b600280546001600160a01b0319166001600160a01b0396871617905560039390935560048054929094166001600160c01b031990921691909117600160a01b63ffffffff92909216919091021760ff60c01b1916600160c01b60ff90921691909102179055565b6040805160808101825260608082526000602083018190529282018390528101919091526000828152600560205260409081902081516080810190925280548290829061055a906113fc565b80601f0160208091040260200160405190810160405280929190818152602001828054610586906113fc565b80156105d35780601f106105a8576101008083540402835291602001916105d3565b820191906000526020600020905b8154815290600101906020018083116105b657829003601f168201915b5050509183525050600191909101546001600160a01b03808216602080850191909152600160a01b83046001600160401b03166040850152600160e01b90920460ff16151560609093019290925282015191925016158015610640575060408101516001600160401b0316155b1561065e5760405163629b6c7d60e01b815260040160405180910390fd5b919050565b600061066d610d38565b43846001600160401b0316116106965760405163d78817c560e01b815260040160405180910390fd5b8b8b6040516106a6929190611436565b60408051918290039091206000818152600560205291909120600101549091506001600160a01b0316156106ed576040516318db23d560e31b815260040160405180910390fd5b6040516323b872dd60e01b81523360048201526001600160a01b038b81166024830152604482018a90528a16906323b872dd906064016020604051808303816000875af1158015610742573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610766919061138e565b506040518881526001600160a01b038b169033907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a36002546003546040516323b872dd60e01b81526001600160a01b038d8116600483015230602483015260448201929092529116906323b872dd906064016020604051808303816000875af1158015610803573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610827919061138e565b50306001600160a01b03168a6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60035460405161086f91815260200190565b60405180910390a3896001600160a01b03167fa8b3514dced40754a3e57d724ef847e309dfa32f6d68dd4c4afdb3fc17bdb2e0826003546040516108bd929190918252602082015260400190565b60405180910390a2893b63ffffffff166109f557896001600160a01b03166109c984848080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050506109768f8f8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508d8d8d8d8d8d610ddf565b60405160200161098891815260200190565b60408051601f19818403018152908290526109a591602001611446565b60405160208183030381529060405280519060200120610e2190919063ffffffff16565b6001600160a01b0316146109f0576040516334f331ab60e01b815260040160405180910390fd5b610b7f565b6040516301ffc9a760e01b8152630b135d3f60e11b60048201526001600160a01b038b16906301ffc9a790602401602060405180830381865afa158015610a40573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a64919061138e565b15610b6657631626ba7e60e01b6001600160e01b0319168a6001600160a01b0316631626ba7e610add8f8f8080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050508d8d8d8d8d8d610ddf565b86866040518463ffffffff1660e01b8152600401610afd939291906113d9565b602060405180830381865afa158015610b1a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b3e919061148b565b6001600160e01b031916146109f0576040516334f331ab60e01b815260040160405180910390fd5b604051633b86cf5560e11b815260040160405180910390fd5b60405180608001604052808d8d8080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201829052509385525050506001600160a01b038d166020808401919091526001600160401b0342166040808501919091526060909301829052848252600590522081518190610c069082611519565b5060208201518160010160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060408201518160010160146101000a8154816001600160401b0302191690836001600160401b03160217905550606082015181600101601c6101000a81548160ff021916908315150217905550905050896001600160a01b0316336001600160a01b03167f2f0e91b74bddefdea711077d50794a1c996bc60a49283034146698c7383994468e8e858e8e8e8e8e604051610cd59897969594939291906115d8565b60405180910390a3610ce660018055565b9b9a5050505050505050505050565b610cfd610d62565b6001600160a01b038116610d2c57604051631e4fbdf760e01b8152600060048201526024015b60405180910390fd5b610d3581610d8f565b50565b600260015403610d5b57604051633ee5aeb560e01b815260040160405180910390fd5b6002600155565b6000546001600160a01b0316331461049d5760405163118cdaa760e01b8152336004820152602401610d23565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60008787878686868a604051602001610dfe9796959493929190611630565b604051602081830303815290604052805190602001209050979650505050505050565b600080600080610e318686610e4b565b925092509250610e418282610e98565b5090949350505050565b60008060008351604103610e855760208401516040850151606086015160001a610e7788828585610f55565b955095509550505050610e91565b50508151600091506002905b9250925092565b6000826003811115610eac57610eac61168e565b03610eb5575050565b6001826003811115610ec957610ec961168e565b03610ee75760405163f645eedf60e01b815260040160405180910390fd5b6002826003811115610efb57610efb61168e565b03610f1c5760405163fce698f760e01b815260048101829052602401610d23565b6003826003811115610f3057610f3061168e565b03610f51576040516335e2f38360e21b815260048101829052602401610d23565b5050565b600080807f7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0841115610f90575060009150600390508261101a565b604080516000808252602082018084528a905260ff891692820192909252606081018790526080810186905260019060a0016020604051602081039080840390855afa158015610fe4573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166110105750600092506001915082905061101a565b9250600091508190505b9450945094915050565b60008083601f84011261103657600080fd5b5081356001600160401b0381111561104d57600080fd5b60208301915083602082850101111561106557600080fd5b9250929050565b60008060006040848603121561108157600080fd5b8335925060208401356001600160401b0381111561109e57600080fd5b6110aa86828701611024565b9497909650939450505050565b6000602082840312156110c957600080fd5b5035919050565b60005b838110156110eb5781810151838201526020016110d3565b50506000910152565b6000815180845261110c8160208601602086016110d0565b601f01601f19169290920160200192915050565b60808152600061113360808301876110f4565b6001600160a01b03959095166020830152506001600160401b039290921660408301521515606090910152919050565b80356001600160a01b038116811461065e57600080fd5b600080600080600060a0868803121561119257600080fd5b61119b86611163565b9450602086013593506111b060408701611163565b9250606086013563ffffffff811681146111c957600080fd5b9150608086013560ff811681146111df57600080fd5b809150509295509295909350565b60208152600082516080602084015261120960a08401826110f4565b905060018060a01b0360208501511660408401526001600160401b0360408501511660608401526060840151151560808401528091505092915050565b80356001600160401b038116811461065e57600080fd5b60008060008060008060008060008060006101208c8e03121561127f57600080fd5b6001600160401b03808d35111561129557600080fd5b6112a28e8e358f01611024565b909c509a506112b360208e01611163565b99506112c160408e01611163565b985060608d013597506112d660808e01611246565b96506112e460a08e01611163565b955060c08d013594506112f960e08e01611246565b9350806101008e0135111561130d57600080fd5b5061131f8d6101008e01358e01611024565b81935080925050509295989b509295989b9093969950565b60006020828403121561134957600080fd5b61135282611163565b9392505050565b6001600160401b0381811683821601908082111561138757634e487b7160e01b600052601160045260246000fd5b5092915050565b6000602082840312156113a057600080fd5b8151801515811461135257600080fd5b81835281816020850137506000828201602090810191909152601f909101601f19169091010190565b8381526040602082015260006113f36040830184866113b0565b95945050505050565b600181811c9082168061141057607f821691505b60208210810361143057634e487b7160e01b600052602260045260246000fd5b50919050565b8183823760009101908152919050565b7f19457468657265756d205369676e6564204d6573736167653a0a33320000000081526000825161147e81601c8501602087016110d0565b91909101601c0192915050565b60006020828403121561149d57600080fd5b81516001600160e01b03198116811461135257600080fd5b634e487b7160e01b600052604160045260246000fd5b601f8211156103bb57600081815260208120601f850160051c810160208610156114f25750805b601f850160051c820191505b81811015611511578281556001016114fe565b505050505050565b81516001600160401b03811115611532576115326114b5565b6115468161154084546113fc565b846114cb565b602080601f83116001811461157b57600084156115635750858301515b600019600386901b1c1916600185901b178555611511565b600085815260208120601f198616915b828110156115aa5788860151825594840194600190910190840161158b565b50858210156115c85787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b60e0815260006115ec60e083018a8c6113b0565b6020830198909852506001600160a01b03958616604082015260608101949094526001600160401b0392909216608084015290921660a082015260c0015292915050565b60e08152600061164360e083018a6110f4565b6001600160a01b03988916602084015260408301979097525093909516606084015260808301919091526001600160401b0390811660a083015290921660c090920191909152919050565b634e487b7160e01b600052602160045260246000fdfea2646970667358221220a230a235dd643b5314b23b900182eb4293cfe319790a1edcfa70ba330274664264736f6c63430008140033

000000000000000000000000d8c19b45061b8fc74136c06ee5cb464e6aa7cbba000000000000000000000000fdfd239c9dd30445d0e080ecf055a5cc53456a720000000000000000000000000000000000000000000000008ac7230489e8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008ca00000000000000000000000000000000000000000000000000000000000000020

-----Decoded View---------------
Arg [0] : _owner (address): 0xd8C19B45061B8fc74136c06Ee5CB464e6aa7CbbA
Arg [1] : _bondToken (address): 0xfDfd239c9dD30445d0e080Ecf055A5cc53456A72
Arg [2] : _bondAmount (uint256): 10000000000000000000
Arg [3] : _verifierAddress (address): 0x0000000000000000000000000000000000000000
Arg [4] : _proofWindow (uint32): 36000
Arg [5] : _instanceLength (uint8): 32

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 000000000000000000000000d8c19b45061b8fc74136c06ee5cb464e6aa7cbba
Arg [1] : 000000000000000000000000fdfd239c9dd30445d0e080ecf055a5cc53456a72
Arg [2] : 0000000000000000000000000000000000000000000000008ac7230489e80000
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000008ca0
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000020