0 txs
124 calls
constructor
constructor()
functions
assetToken
viewfunction assetToken() view returns (address)
owner
viewfunction owner() view returns (address)
proxiableUUID
viewfunction proxiableUUID() view returns (bytes32)
vault
viewfunction vault() view returns (address)
burn
nonpayablefunction burn(address truthMarket, uint256 amount)
initialize
nonpayablefunction initialize(address _vault)
mint
nonpayablefunction mint(address truthMarket, uint256 assetAmount)
redeem
nonpayablefunction redeem(address truthMarket, uint256 amount)
renounceOwnership
nonpayablefunction renounceOwnership()
rescueTokens
nonpayablefunction rescueTokens(address token, address to, uint256 amount)
setVault
nonpayablefunction setVault(address _vault)
transferOwnership
nonpayablefunction transferOwnership(address newOwner)
upgradeTo
nonpayablefunction upgradeTo(address newImplementation)
upgradeToAndCall
payablefunction upgradeToAndCall(address newImplementation, bytes data) payable
withdrawFromCanceledMarket
nonpayablefunction withdrawFromCanceledMarket(address truthMarket)
events
AdminChanged
event AdminChanged(address previousAdmin, address newAdmin)
BeaconUpgraded
event BeaconUpgraded(address indexed beacon)
Initialized
event Initialized(uint8 version)
OwnershipTransferred
event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)
Upgraded
event Upgraded(address indexed implementation)
VaultUpdated
event VaultUpdated(address assetToken, address vault)
errors
InvalidWinningPosition
error InvalidWinningPosition(uint256 position)
PaymentTokenMismatch
error PaymentTokenMismatch(address expected, address actual)
ZeroSharesReceived
error ZeroSharesReceived()
ZeroYESOrNoTokenReceived
error ZeroYESOrNoTokenReceived()
creation bytecode
0x60a0806040523460d657306080525f549060ff8260081c166084575060ff80821603604b575b60405161224f90816100db8239608051818181610df701528181610f1e01526116fb0152f35b60ff90811916175f557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160ff8152a15f6025565b62461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b6064820152608490fd5b5f80fdfe6080604081815260049182361015610015575f80fd5b5f925f3560e01c9182631083f76114611c10575081631e9a6950146118c15781633659cfe6146116d357816340c10f19146111765781634f1ef28614610ea357816352d1902d14610de15781636817031b14610ca8578163715018a614610c485781638da5cb5b14610c1f5781639dc29fac146108f7578163b1152d4f14610409578163c4d66de814610214578163cea9d26f14610188578163f2fde38b146100f2575063fbfa77cf146100c7575f80fd5b346100ee57816003193601126100ee5760fc5490516001600160a01b039091168152602090f35b5080fd5b9050346101845760203660031901126101845761010d611c33565b91610116611e96565b6001600160a01b03831615610132578361012f84611eee565b80f35b906020608492519162461bcd60e51b8352820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152fd5b8280fd5b5050346100ee5760603660031901126100ee576101a3611c33565b602435906001600160a01b039081831683036102105761020a6101fc9361012f956101cc611e96565b5163a9059cbb60e01b60208201526001600160a01b03909116602482015260448035908201529384906064820190565b03601f198101855284611c8d565b16611f96565b5f80fd5b91905034610184576020908160031936011261040557610232611c33565b9284549060ff8260081c1615918280936103f8575b80156103e1575b156103875760ff198116600117875582610376575b5061027d60ff875460081c1661027881611f36565b611f36565b61028633611eee565b8554946102af60ff8760081c1661029c81611f36565b6102a581611f36565b600160c955611f36565b60fc80546001600160a01b039283166001600160a01b0319808316821790935586516338d52e0f60e01b815292948892849283918d16175afa90811561036c57889161033f575b50169060fb54161760fb55610309578380f35b7f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989261ff00191684555160018152a15f80808380f35b61035f9150863d8811610365575b6103578183611c8d565b810190611ccb565b5f6102f6565b503d61034d565b85513d8a823e3d90fd5b61ffff19166101011786555f610263565b835162461bcd60e51b8152808301869052602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608490fd5b50303b15801561024e5750600160ff82161461024e565b50600160ff821610610247565b8380fd5b91905034610184576020908160031936011261040557610427611c33565b92610430611de5565b8151633013ce2960e01b81526001600160a01b038581169591858185818a5afa90811561036c5788916108da575b508160fc54169081838216036108ab5750508351630786cdd960e51b815295879086888681845afa97881561075f57829861088c575b5085516308d4f88560e11b81529787898781855afa988915610882578399610861575b50831697889487519189836024816370a0823160e01b9a8b8252338d8301525afa9283156107e457908691869461082d575b50169188519a878c5233898d01528a8c602481875afa9b8c1561082357869c6107ee575b50818b9184888c8e96610769575b50505050505050896106ca575b505086602495969798508360fc5416885196878092888252308b8301525afa94851561068d578295610697575b50803b156100ee5781809187895180948193633415a4cf60e01b83525af1801561068d57610675575b505060fc541691845191825230848301528582602481865afa801561066b57879061063c575b6105ae9250611d02565b91821561062e578351635d043b2960e11b815290810192835233602084015230604084015292918491849182908890829060600103925af190811561062557506105fc575b82600160c95580f35b813d831161061e575b61060f8183611c8d565b81010312610210575f806105f3565b503d610605565b513d85823e3d90fd5b835163a413a40d60e01b8152fd5b508582813d8311610664575b6106528183611c8d565b81010312610210576105ae91516105a4565b503d610648565b85513d89823e3d90fd5b61067e90611c49565b61068957865f61057e565b8680fd5b87513d84823e3d90fd5b88809296508193503d83116106c3575b6106b18183611c8d565b8101031261021057879051935f610555565b503d6106a7565b9888916107139a6106dd83303385611e3b565b895163095ea7b360e01b81526001600160a01b0390911689820190815260208101939093529a8b92839187918391604090910190565b03925af197881561075f57602495969798610732575b88979695610528565b61075190893d8b11610758575b6107498183611c8d565b810190611cea565b505f610729565b503d61073f565b86513d84823e3d90fd5b6107ac9661077986303388611e3b565b5163095ea7b360e01b81526001600160a01b03909316908301908152602081019490945290948593849291839160400190565b03925af180156107e4576107c7575b89818a9284888c61051b565b6107dd908a3d8c11610758576107498183611c8d565b505f6107bb565b89513d87823e3d90fd5b8b80929d508197503d831161081c575b6108088183611c8d565b81010312610210579351998b94908961050d565b503d6107fe565b8a513d88823e3d90fd5b95509250508884813d831161085a575b6108478183611c8d565b8101031261021057848b9451925f6104e9565b503d61083d565b8491995061087b90893d8b11610365576103578183611c8d565b98906104b7565b87513d85823e3d90fd5b6108a4919850873d8911610365576103578183611c8d565b965f610494565b855163a8a21d5360e01b81526001600160a01b0392831686820190815291909216602082015281900360400190fd5b6108f19150863d8811610365576103578183611c8d565b5f61045e565b91905034610184578060031936011261018457610912611c33565b9160243561091e611de5565b8251633013ce2960e01b81526020946001600160a01b038181169290919087818781875afa908115610bc9578991610c02575b508260fc5416908184821603610bd35750508551630786cdd960e51b81529087828781875afa918215610bc9578992610baa575b5086516308d4f88560e11b815291899089848981895afa938415610ba0578589928c928597610b75575b5081859392610a099216976109c68c30338c611e3b565b16966109d48b30338b611e3b565b8c5163095ea7b360e01b8082526001600160a01b038916968201968752602087018d9052959094859384928391604090910190565b03925af18015610b6b5792610a4c95928c95928a95610b4e575b508b519687958694859384528d840160209093929193604081019460018060a01b031681520152565b03925af18015610b4457610b27575b50868160fc54169286519488866024816370a0823160e01b98898252308c8301525afa958615610b1d578396610aea575b50813b15610184578291602483928a519485938492630852cd8d60e31b84528c8401525af1801561068d5761067557505060fc541691845191825230848301528582602481865afa801561066b57879061063c576105ae9250611d02565b89809297508194503d8311610b16575b610b048183611c8d565b8101031261021057889151945f610a8c565b503d610afa565b88513d85823e3d90fd5b610b3d90873d8911610758576107498183611c8d565b505f610a5b565b86513d8a823e3d90fd5b610b6490873d8911610758576107498183611c8d565b505f610a23565b8a513d85823e3d90fd5b610a099197509180610b95859488963d8711610365576103578183611c8d565b9892509293506109af565b89513d84823e3d90fd5b610bc2919250883d8a11610365576103578183611c8d565b905f610985565b87513d8b823e3d90fd5b875163a8a21d5360e01b81526001600160a01b0392831688820190815291909216602082015281900360400190fd5b610c199150883d8a11610365576103578183611c8d565b5f610951565b5050346100ee57816003193601126100ee5760975490516001600160a01b039091168152602090f35b8334610ca55780600319360112610ca557610c61611e96565b609780546001600160a01b031981169091555f906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b80fd5b91905034610184576020918260031936011261040557610cc6611c33565b91610ccf611e96565b60fc80546001600160a01b03198082166001600160a01b0387811691821790945584516338d52e0f60e01b808252938a1690911795929390888185818a5afa908115610dd757908995949392918b91610dba575b50169060fb54161760fb5583518095819382525afa918215610db0577f483bdedaaf23706a9800ac1af0d852b34927780d79f9d6ba60a80c7cad75ea39948693610d8b575b5050516001600160a01b0391821681529116602082015280604081015b0390a180f35b610d859293509081610da892903d10610365576103578183611c8d565b91905f610d68565b81513d87823e3d90fd5b610dd19150863d8811610365576103578183611c8d565b5f610d23565b86513d8c823e3d90fd5b90508234610ca55780600319360112610ca557507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03163003610e3b57602082515f805160206121fa8339815191528152f35b6020608492519162461bcd60e51b8352820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152fd5b9180915060031936011261018457610eb9611c33565b906024359067ffffffffffffffff821161117257366023830112156111725781840135610ee581611caf565b610ef183519182611c8d565b81815286602094858301933660248284010111610184578060248893018637830101526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811690610f4c30831415611d23565b610f685f805160206121fa833981519152928284541614611d84565b610f70611e96565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff1615610faa5750505050505061012f9150612087565b8693949596169085516352d1902d60e01b815287818a81865afa5f9181611143575b5061102b57865162461bcd60e51b8152808a01899052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b9791929497959395036110ee575061104284612087565b7fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b5f80a28151158015906110e6575b61107e575b505050505080f35b6110db945f92660819985a5b195960ca1b837f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c869551986110be8a611c71565b60278a528901528701525190845af46110d5612116565b91612145565b505f80808080611076565b506001611071565b825162461bcd60e51b8152908101869052602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091508881813d831161116b575b61115b8183611c8d565b810103126102105751905f610fcc565b503d611151565b8480fd5b91905034610184578060031936011261018457611191611c33565b60249081359361119f611de5565b8351633013ce2960e01b81526020956001600160a01b039484861694909290919088818681895afa908115611505578a916116b6575b508660fc5416908188821603611687575050889291816111fe86938960fb541630903390611e3b565b61123f8a828a60fb54168c898d60fc5416915180968195829463095ea7b360e01b9c8d8552840160209093929193604081019460018060a01b031681520152565b03925af1801561082357908b929161166a575b5060448960fc5416918b519788938492636e553f6560e01b84528b84015230898401525af193841561150557908992918b95611637575b5060fc5489519283526001600160a01b0390911686830190815260208101869052919291839189169082908d9082906040015b03925af18015610bc95761161a575b508551630786cdd960e51b81529187838581885afa928315610bc95789936115fb575b5086516308d4f88560e11b81529288848681895afa938415611505579087918b956115dc575b501695898851916370a0823160e01b9586845230888501528b8487818d5afa93841561159f5783946115a9575b50169689519386855230888601528b8587818c5afa94851561159f57839561156c575b50813b156101845782918683928d51948593849263140e25ad60e31b84528d8401525af180156115625761154a575b50508751938085523086860152898585818b5afa94851561154057908a918c9661150f575b5089519485918252308883015281895afa928315611505578a936114d4575b506113e6906113ec9394611d02565b92611d02565b93811580156114cc575b6114bc57855163a9059cbb60e01b80825233858301908152602081019490945289939092899183919082908790829060400103925af180156108825791889593916114689897959361149f575b5086519081523392810192835260208301949094529295869384929091839160400190565b03925af190811561062557506114815782600160c95580f35b8161149792903d10610758576107498183611c8d565b505f806105f3565b6114b590873d8911610758576107498183611c8d565b505f611443565b855163524c63df60e01b81528390fd5b5084156113f6565b9092508881813d83116114fe575b6114ec8183611c8d565b810103126102105751916113e66113d7565b503d6114e2565b88513d8c823e3d90fd5b8281939297503d8311611539575b6115278183611c8d565b8101031261021057899051945f6113b8565b503d61151d565b89513d8d823e3d90fd5b61155390611c49565b61155e57895f611393565b8980fd5b8a513d84823e3d90fd5b8c809296508194503d8311611598575b6115868183611c8d565b81010312610210578b9151935f611364565b503d61157c565b8b513d85823e3d90fd5b8c809295508194503d83116115d5575b6115c38183611c8d565b81010312610210578b9151925f611341565b503d6115b9565b6115f49195508a3d8c11610365576103578183611c8d565b935f611314565b611613919350883d8a11610365576103578183611c8d565b915f6112ee565b61163090883d8a11610758576107498183611c8d565b505f6112cb565b9194509181813d8111611663575b61164f8183611c8d565b8101031261021057519288916112bc611289565b503d611645565b61168090833d8511610758576107498183611c8d565b505f611252565b885163a8a21d5360e01b81526001600160a01b0392831687820190815291909216602082015281900360400190fd5b6116cd9150893d8b11610365576103578183611c8d565b5f6111d5565b9190503461018457602080600319360112610405576116f0611c33565b916001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811661172830821415611d23565b6117445f805160206121fa833981519152918383541614611d84565b61174c611e96565b8251908482019282841067ffffffffffffffff8511176118ae578385528883527f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156117a65750505050505061012f9150612087565b8693949596169085516352d1902d60e01b815287818a81865afa5f918161187f575b5061182757865162461bcd60e51b8152808a01899052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b9791929497959395036110ee575061183e84612087565b7fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b5f80a28151158015906118785761107e57505050505080f35b505f611071565b9091508881813d83116118a7575b6118978183611c8d565b810103126102105751905f6117c8565b503d61188d565b604188634e487b7160e01b5f525260245ffd5b919050346102105780600319360112610210576118dc611c33565b916024356118e8611de5565b8251633013ce2960e01b81526020946001600160a01b038181169290919087818781875afa908115611ad7575f91611bf3575b508260fc5416908184821603610bd35750508551630786cdd960e51b81529087828781875afa918215611ad7575f92611bd4575b5086516308d4f88560e11b815288818881885afa908115611bca575f91611bad575b508751632486d67160e01b815289818981895afa908115611ba35787928b949287925f91611b6e575b5060018103611afe5750506119ed9416906119b783303385611e3b565b895163095ea7b360e01b81526001600160a01b03909116898201908152602081019390935293849283915f918391604090910190565b03925af18015611a9e57611ae1575b505b8060fc54169185519387856024816370a0823160e01b97888252308b8301525afa948515611ad7575f95611aa8575b50813b15610210575f91602483928951948593849263db006a7560e01b84528b8401525af18015611a9e57611a8b575b5060fc541691845191825230848301528582602481865afa801561066b57879061063c576105ae9250611d02565b611a96919750611c49565b5f955f611a5d565b86513d5f823e3d90fd5b9094508781813d8311611ad0575b611ac08183611c8d565b810103126102105751935f611a2d565b503d611ab6565b87513d5f823e3d90fd5b611af790873d8911610758576107498183611c8d565b505f6119fc565b93509350509250600281145f14611b58575084611b2692848a9316906119b783303385611e3b565b03925af18015611a9e57611b3b575b506119fe565b611b5190873d8911610758576107498183611c8d565b505f611b35565b866024918951916367a7e2ef60e01b8352820152fd5b95925050925083813d8311611b9c575b611b888183611c8d565b81010312610210578487928b94515f61199a565b503d611b7e565b89513d5f823e3d90fd5b611bc49150893d8b11610365576103578183611c8d565b5f611971565b88513d5f823e3d90fd5b611bec919250883d8a11610365576103578183611c8d565b905f61194f565b611c0a9150883d8a11610365576103578183611c8d565b5f61191b565b34610210575f3660031901126102105760fb546001600160a01b03168152602090f35b600435906001600160a01b038216820361021057565b67ffffffffffffffff8111611c5d57604052565b634e487b7160e01b5f52604160045260245ffd5b6060810190811067ffffffffffffffff821117611c5d57604052565b90601f8019910116810190811067ffffffffffffffff821117611c5d57604052565b67ffffffffffffffff8111611c5d57601f01601f191660200190565b9081602091031261021057516001600160a01b03811681036102105790565b90816020910312610210575180151581036102105790565b91908203918211611d0f57565b634e487b7160e01b5f52601160045260245ffd5b15611d2a57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b6064820152608490fd5b15611d8b57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b6064820152608490fd5b600260c95414611df657600260c955565b60405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606490fd5b6040516323b872dd60e01b60208201526001600160a01b03928316602482015292909116604483015260648083019390935291815260a081019181831067ffffffffffffffff841117611c5d57611e9492604052611f96565b565b6097546001600160a01b03163303611eaa57565b606460405162461bcd60e51b815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b609780546001600160a01b039283166001600160a01b0319821681179092559091167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3565b15611f3d57565b60405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608490fd5b60408051908101916001600160a01b031667ffffffffffffffff831182841017611c5d57611fff926040525f806020958685527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656487860152868151910182855af16110d5612116565b80519082821592831561206f575b505050156120185750565b6084906040519062461bcd60e51b82526004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152fd5b61207f9350820181019101611cea565b5f828161200d565b803b156120bb575f805160206121fa83398151915280546001600160a01b0319166001600160a01b03909216919091179055565b60405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608490fd5b3d15612140573d9061212782611caf565b916121356040519384611c8d565b82523d5f602084013e565b606090565b919290156121a75750815115612159575090565b3b156121625790565b60405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606490fd5b8251909150156121ba5750805190602001fd5b604460209160405192839162461bcd60e51b83528160048401528051918291826024860152018484015e5f828201840152601f01601f19168101030190fdfe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbca2646970667358221220a9007ecc8e16e14b4ae22f21336460355827716c086170e1b95479e5548f72f164736f6c63430008190033