BNBChain0 txs
4 calls
abi
constructor
No constructor.
functions
calcInGivenOut
purefunction calcInGivenOut(uint256[] balances, uint256 amountOut, bool tokenInIsToken0, tuple params, tuple derived, tuple invariant) pure returns (uint256 amountIn)
calcOutGivenIn
purefunction calcOutGivenIn(uint256[] balances, uint256 amountIn, bool tokenInIsToken0, tuple params, tuple derived, tuple invariant) pure returns (uint256 amountOut)
calcSpotPrice0in1
purefunction calcSpotPrice0in1(uint256[] balances, tuple params, tuple derived, int256 invariant) pure returns (uint256 px)
calculateInvariant
purefunction calculateInvariant(uint256[] balances, tuple params, tuple derived) pure returns (uint256 uinvariant)
calculateInvariantWithError
purefunction calculateInvariantWithError(uint256[] balances, tuple params, tuple derived) pure returns (int256, int256)
validateDerivedParamsLimits
purefunction validateDerivedParamsLimits(tuple params, tuple derived) pure
events
No events.
errors
No errors.
bytecode
creation bytecode
0x612516610026600b82828239805160001a60731461001957fe5b30600052607381538281f3fe730000000000000000000000000000000000000000301460806040526004361061006c5760003560e01c806361ff4236146100715780636e70c2ef1461009a57806378ace857146100af578063c7fe78d0146100d0578063d83ca862146100e3578063ec6339ec146100f6575b600080fd5b61008461007f3660046123da565b610109565b60405161009191906124af565b60405180910390f35b6100ad6100a836600461246c565b6101cc565b005b6100c26100bd366004612313565b61038f565b6040516100919291906124a1565b6100846100de366004612372565b610557565b6100846100f1366004612313565b6106a6565b6100846101043660046123da565b6106c9565b600061210c6000808715610128575061078f9150600090506001610135565b506107eb91506001905060005b60006101686101638b8d8660ff168151811061014d57fe5b602002602001015161086090919063ffffffff16565b610881565b905061017788888884876108cd565b6000610189828a8a8a8963ffffffff16565b90506101bc61019782610962565b8d8560ff16815181106101a657fe5b60200260200101516109b990919063ffffffff16565b9c9b505050505050505050505050565b80516000906101db90806109d5565b90506102186f4b3b4ca85a86af4d06c240f509800000821280159061021057506f4b3b4ca85a86d9a70c52038af68000008213155b610166610a0f565b602082015161022790806109d5565b90506102636f4b3b4ca85a86af4d06c240f509800000821280159061021057506f4b3b4ca85a86d9a70c52038af6800000821315610166610a0f565b6102856b012ced32a16a1b11e826288960261b83604001511315610169610a0f565b6102a76b012ced32a16a1b11e826288960261b83606001511315610169610a0f565b6102c96b012ced32a16a1b11e826288960261b83608001511315610169610a0f565b6102eb6b012ced32a16a1b11e826288960261b8360a001511315610169610a0f565b60c082015161032f906f4b3b4ca85a86af4d06c240f50980000013801590610327575060c08301516f4b3b4ca85a86d9a70c52038af680000012155b61016c610a0f565b60006103666b012ced32a16a1b11e826288960261b61034e8686610a21565b6b012ced32a16a1b11e826288960261b919003610aff565b90506103897172cb5bd86321e38cb6ce6682e8000000000082131561016a610a0f565b50505050565b6000806000806103b2876000815181106103a557fe5b6020026020010151610881565b6103c2886001815181106103a557fe5b90925090506103ee6e01ed09bead87c0378d8e64000000006103e48484610b34565b131561016b610a0f565b60006103fc83838989610b5d565b905060008061040d85858b8b610c96565b9150915060008213156104315761042a6001820160028402610d1c565b905061045c565b6000811361044357633b9aca00610459565b61045961016361045283610962565b6005610d9d565b90505b806b012ced32a16a1b11e826288960261b6104868688018c60800151610f3390919063ffffffff16565b8161048d57fe5b0501600101601402905060006104b66b012ced32a16a1b11e826288960261b61034e8c8c610a21565b905060006104c985850184900383610f85565b90506104d58383610fe5565b60808c01519093506b012ced32a16a1b11e826288960261b906ec097ce7bc90715b34b9f10000000009080020561050c8385610fe5565b026028028161051757fe5b05830160010192506105466f1691ca32818ed48b02dca3e0000000006103e48584610b3490919063ffffffff16565b9b919a509098505050505050505050565b60008060405180604001604052808481526020018481525090506000604051806040016040528061058988888661102c565b81526020016105998888866110e7565b81525090506000604051806040016040528083600001516105c08b6000815181106103a557fe5b03815260200183602001516105db8b6001815181106103a557fe5b03905290506105ea878261118e565b9050600060405180604001604052806106148460200151856000015161120c90919063ffffffff16565b8152602001670de0b6b3a764000081525090506000610659826106548b6040518060400160405280670de0b6b3a76400008152602001600081525061118e565b611232565b905061069861069361068c846106548d604051806040016040528060008152602001670de0b6b3a764000081525061118e565b839061125f565b610962565b9a9950505050505050505050565b6000806106b485858561038f565b5090506106c081610962565b95945050505050565b600061210c60008087156106e857506107eb91506000905060016106f5565b5061078f91506001905060005b898160ff168151811061070457fe5b6020026020010151891115610720576107206000610165610a0f565b60006107438a8c8460ff168151811061073557fe5b602002602001015103610881565b90506000610757828a8a8a8963ffffffff16565b905061076689898984886108cd565b6101bc8c8560ff168151811061077857fe5b602002602001015161078983610962565b906109b9565b60008060405180604001604052806107a887878761102c565b81526020016107b88787876110e7565b81525090506107e18560800151878760600151886040015187868a602001518b60c001516112b9565b9695505050505050565b60008060405180604001604052806108048787876110e7565b815260200161081487878761102c565b81525090506107e185608001518787604001518860600151878660405180604001604052808c600001516000015160000381526020018c60000151602001518152508b60c001516112b9565b60008282018381101561087857610878600080611521565b90505b92915050565b6000600160ff1b82106108c55760405162461bcd60e51b81526004018080602001828103825260288152602001806124b96028913960400191505060405180910390fd5b50805b919050565b60ff811661091a5760006108e286868661152f565b90506e01ed09bead87c0378d8e640000000083131580156109035750808313155b610914576109146000610165610a0f565b5061095b565b60006109278686866115e5565b90506e01ed09bead87c0378d8e640000000083131580156109485750808313155b610959576109596000610165610a0f565b505b5050505050565b6000808212156108c5576040805162461bcd60e51b815260206004820181905260248201527f53616665436173743a2076616c7565206d75737420626520706f736974697665604482015290519081900360640190fd5b6000828211156109cf576109cf60006001611521565b50900390565b6000610a086109f58360200151856020015161168a90919063ffffffff16565b83518551610a029161168a565b90610b34565b9392505050565b81610a1d57610a1d816116ca565b5050565b60c08101516000908190610a3f90610a3981806116dd565b906116dd565b9050610a77610a6c82610a66866060015187604001516002026116dd90919063ffffffff16565b90610aff565b608086015190610f33565b60808501516040850151919350610aa591610a9f90829082908690610a6690600101806116dd565b90610f33565b6060840151920191610abd908290610a6690806116dd565b8201915060008360a00151610ae386608001518660800151610d1c90919063ffffffff16565b019050610af482610a6683806116dd565b909201949350505050565b600081610b1257610b1260006004611521565b816b012ced32a16a1b11e826288960261b840281610b2c57fe5b059392505050565b600082820181831215610b4957838112610b4e565b838112155b61087857610878600080611521565b60c08101516000908190610b7190806116dd565b90506000610ba882610a6687608001518760a00151610ba18a608001518a6080015161120c90919063ffffffff16565b019061120c565b9050610bdc81610bc58760600151896116f790919063ffffffff16565b6040880151610bd5908b906116f7565b0390610f85565b92506000610c058660400151610bff88608001518a6116f790919063ffffffff16565b906116f7565b610c248760600151610bff89608001518c6116f790919063ffffffff16565b019050610c48610c41848760400151610aff90919063ffffffff16565b8290610f85565b6040870151940193610c5b9088906116f7565b6060870151610c6b908a906116f7565b019050610c88610c41848760600151610aff90919063ffffffff16565b909301979650505050505050565b600080610ca58686868661170a565b610cb187878787611837565b019150610cc086868686611969565b909101906b012ced32a16a1b11e826288960261b610cde8680610f33565b610ce88880610f33565b0181610cf057fe5b05905060008213610d02576000610d11565b610d1161016361045284610962565b915094509492505050565b600081610d2f57610d2f60006004611521565b82610d3c5750600061087b565b6000821215610d52578160000391508260000392505b6000831315610d7c57816001670de0b6b3a764000085020381610d7157fe5b05600101905061087b565b600182670de0b6b3a7640000850260010181610d9457fe5b05039392505050565b600082610dac5750600061087b565b6000610db784611a7f565b9050600281670de0b6b3a7640000860281610dce57fe5b04820181610dd857fe5b049050600281670de0b6b3a7640000860281610df057fe5b04820181610dfa57fe5b049050600281670de0b6b3a7640000860281610e1257fe5b04820181610e1c57fe5b049050600281670de0b6b3a7640000860281610e3457fe5b04820181610e3e57fe5b049050600281670de0b6b3a7640000860281610e5657fe5b04820181610e6057fe5b049050600281670de0b6b3a7640000860281610e7857fe5b04820181610e8257fe5b049050600281670de0b6b3a7640000860281610e9a57fe5b04820181610ea457fe5b0490506000610eb38280611c51565b9050610ec9610ec28386611c8d565b8690610860565b8111158015610eeb5750610ee7610ee08386611c8d565b86906109b9565b8110155b610f2b576040805162461bcd60e51b815260206004820152600c60248201526b17dcdc5c9d0811905253115160a21b604482015290519081900360640190fd5b509392505050565b600082820281811315610f5a57670de0b6b3a764000060001982010560010191505061087b565b6000811215610f7b576001670de0b6b3a7640000828201050391505061087b565b5060009392505050565b6000678ac7230489e80000808305908307848202858202848212801590610fad575060008112155b610fca576001678ac7230489e80000808305840182010503610fda565b678ac7230489e800008082058301055b979650505050505050565b6000678ac7230489e8000080830590830784820285820284821380159061100d575060008113155b610fca57678ac7230489e8000060001981830584010105600101610fda565b60c0820151602083015151600091829161104591610aff565b9050600084602001516000015113611089576110848161107e8760400151610bff896080015188602001516116f790919063ffffffff16565b90610fe5565b6110a8565b6040850151608086015184516110a892849261107e92610a9f91610f33565b91506110dc6110cc8560c00151866020015160200151610aff90919063ffffffff16565b6060870151855161107e91610f33565b909101949350505050565b60c082015182515160009182916110fd91610aff565b845151909150600013611139576111348161107e8760600151610bff896080015188602001516000036116f790919063ffffffff16565b611163565b6111638160000361107e8760600151610a9f89608001518860000151610f3390919063ffffffff16565b60c08501518551602001519193506110dc9161117e91610aff565b6040870151855161107e91610f33565b61119661210e565b6111bf83608001516111b9846020015186606001516116f790919063ffffffff16565b9061120c565b6080840151835160408601516111da92916111b991906116f7565b038152602082015160408401516111f0916116f7565b82516060850151611200916116f7565b01602082015292915050565b60008161121f5761121f60006004611521565b81670de0b6b3a7640000840281610b2c57fe5b6000610a0861125283602001518560200151611ce190919063ffffffff16565b83518551610a0291611ce1565b6000816112725761127260006004611521565b8261127f5750600061087b565b670de0b6b3a76400008381029084828161129557fe5b05146112a7576112a760006005611521565b8281816112b057fe5b05949350505050565b60006112c361210e565b6112e08a6111b96b012ced32a16a1b11e826288960261b8261120c565b6b012ced32a16a1b11e826288960261b908103825261130b908b906113059082610d1c565b90610d1c565b6b012ced32a16a1b11e826288960261b036020820152611329612128565b85518a03600081131561136557602083015161135b906113499087610aff565b61107e8b610bff60008690038f6116f7565b6020830152611390565b825161138a906113759087610aff565b60010161107e8b610a9f60008690038f610f33565b60208301525b61139861210e565b6113b786610a668d610bff8f89602001516116f790919063ffffffff16565b815283516113c5908c610f33565b602082018190526113df906001880190610a66908e610f33565b60010160208083019182526040805180820190915292516b012ced32a16a1b11e826288960261b90810384529151909103908201526114238c8a8f8e8e8c8c611d1a565b6000036040840152602080820151908a015161144a919061144490806116f7565b90610f85565b6040840180519190910190819052600012611466576000611479565b6114796101636104528560400151610962565b604084018190526020840151600091900313156114d4576114cd6114b982602001516b012ced32a16a1b11e826288960261b610aff90919063ffffffff16565b604085015160208601510390600101610fe5565b8352611508565b8051611505906114f4906b012ced32a16a1b11e826288960261b90610aff565b604085015160208601510390610fe5565b83525b5050602086015190510191505098975050505050505050565b81610a1d57610a1d81611fc2565b60c0820151825151602084015151600092839261154d920390610aff565b9050600061157a8560c0015186600001516020015187602001516020015103610aff90919063ffffffff16565b90506115a3826114448860400151610bff8a6080015189602001516116f790919063ffffffff16565b92506115d981600083136115c657606088015186516115c191610f33565b611444565b60608801516020870151611444916116f7565b90920195945050505050565b60c08201518251516020840151516000928392611603920390610aff565b905060006116308560c0015186602001516020015187600001516020015103610aff90919063ffffffff16565b9050611659826114448860600151610bff8a6080015189602001516116f790919063ffffffff16565b92506115d9816000831361167757604088015186516115c191610f33565b60408801516020870151611444916116f7565b60008282028315806116a45750828482816116a157fe5b05145b6116b4576116b460006003611521565b6b012ced32a16a1b11e826288960261b816112b0565b6116da816223aca960e91b612015565b50565b60006b012ced32a16a1b11e826288960261b838302610b2c565b6000670de0b6b3a7640000838302610b2c565b6000806117448460600151610bff8660400151600202611733898a610f3390919063ffffffff16565b61173d8b806116f7565b03906116f7565b9050600061175586600289026116f7565b606086015190915061176b90610bff83826116f7565b604086015161177e90610bff84826116f7565b830103915060006117b086608001516111b988608001516111b989606001518a608001516116dd90919063ffffffff16565b604086015160a08701516117c3916116dd565b0190506117fc86608001516117e987606001518860a001516116dd90919063ffffffff16565b60408801516080890151610ba1916116dd565b60c086015191019061181f9061181890610a39818181806116dd565b8290610aff565b905061182b8382610f85565b98975050505050505050565b6060820151600090819061185190610a9f81818980610f33565b604085015161186690610a9f81818b80610f33565b01905061188f8460600151610bff8660400151600202610bff898b6116f790919063ffffffff16565b6080850151606085015191909203916000916118b491906111b99082908290806116dd565b6118da86608001516111b9876060015188604001516002026116dd90919063ffffffff16565b60408601516118e990806116dd565b60c0870151910191909101915061190a9061181890610a39818181806116dd565b905061191a600083900382610f85565b925061195c6119458560c001516b012ced32a16a1b11e826288960261b610aff90919063ffffffff16565b6080870151611444906111b960081987018261120c565b9092019695505050505050565b6040820151600090819061198390610a9f81818980610f33565b606085015161199890610a9f81818b80610f33565b0190506119c18460400151610a9f8660600151600202610a9f898b610f3390919063ffffffff16565b6080858101519085015192909101916000916119e5916111b99082908290806116dd565b60a08501516119f490806116dd565b019050611a1d85608001516111b986608001518760a001516002026116dd90919063ffffffff16565b60c0850151910190611a399061181890610a39818181806116dd565b9050611a49600083900382610f85565b925061195c611a748560c001516b012ced32a16a1b11e826288960261b610aff90919063ffffffff16565b600819840190610f85565b6000670de0b6b3a76400008210611aac57670de0b6b3a7640000611aa4818404612076565b1b90506108c8565b600a8211611abf575063bc7c871c6108c8565b60648211611ad357506402540be4006108c8565b6103e88211611ae8575064075cdd47196108c8565b6127108211611afd575064174876e8006108c8565b620186a08211611b1357506449a0a4c7006108c8565b620f42408211611b29575064e8d4a510006108c8565b629896808211611b4057506502e0466fc6086108c8565b6305f5e1008211611b5857506509184e72a0006108c8565b633b9aca008211611b705750651cc2c05dbc536108c8565b6402540be4008211611b895750655af3107a40006108c8565b64174876e8008211611ba3575066011f9b83a95b456108c8565b64e8d4a510008211611bbd575066038d7ea4c680006108c8565b6509184e72a0008211611bd85750660b3c13249d90bb6108c8565b655af3107a40008211611bf35750662386f26fc100006108c8565b66038d7ea4c680008211611c0f5750667058bf6e27a7516108c8565b662386f26fc100008211611c2c575067016345785d8a00006108c8565b67016345785d8a00008211611c4a5750670463777a4d8c892d6108c8565b50806108c8565b6000828202831580611c6b575082848281611c6857fe5b04145b611c7b57611c7b60006003611521565b670de0b6b3a764000090049392505050565b6000828202831580611ca7575082848281611ca457fe5b04145b611cb757611cb760006003611521565b80611cc657600091505061087b565b670de0b6b3a764000060001982010460010191505092915050565b6000828202831580611cfb575082848281611cf857fe5b05145b611d0b57611d0b60006003611521565b670de0b6b3a7640000816112b0565b6000806040518060400160405280611d3b85866116dd90919063ffffffff16565b81528951602090910190611d4f9080610f33565b90529050611d5b612128565b815160208601518651600092611d76929091610a66916116dd565b90506000811315611db0576020830151611d939060028a02610f33565b808352611da990600783019061107e908a610f33565b8252611dde565b60208a0151611dc89060028a0290610bff90806116f7565b808352611ddb90829061107e908a6116f7565b82525b855160001315611e26578551611e1c90611df89087610aff565b60000360030161107e89600202610a9f8f8f60000151610f3390919063ffffffff16565b6020830152611e5d565b8551611e5790611e369087610aff565b61107e89600202610bff8f8f602001516000036116f790919063ffffffff16565b60208301525b6020808301518351018352835190870151611e7d9190610a6690806116dd565b6007019050611e99888460200151610f3390919063ffffffff16565b60208301819052611eb090829061107e908b610f33565b602080840191909152860151611eeb90611eca9087610aff565b61107e8a600202610bff8f8f602001516000036116f790919063ffffffff16565b6040830152611efa8b80610f33565b60408301516020840180519091019190910190819052600012611f2b576020820151611f26908a61120c565b611f3a565b6020820151611f3a908a610d1c565b60208301819052825101808352600012611f5f578151611f5a908a61120c565b611f6b565b8151611f6b908a610d1c565b825282518651611f809190610a6690806116dd565b60070190506000611fa288610a9f8a8760200151610f3390919063ffffffff16565b8351909150611fb18284610fe5565b019c9b505050505050505050505050565b62461bcd60e51b6000908152602060045260076024526642414c23000030600a808404818106603090810160081b95839006959095019082900491820690940160101b939093010160c81b604452606490fd5b62461bcd60e51b600090815260206004526007602452600a808404818106603090810160081b958390069590950190829004918206850160101b01602363ffffff0060e086901c160160181b0190930160c81b60445260e882901c90606490fd5b6000600160801b821061208e5760809190911c906040015b6801000000000000000082106120a95760409190911c906020015b64010000000082106120c05760209190911c906010015b6201000082106120d55760109190911c906008015b61010082106120e95760089190911c906004015b601082106120fc5760049190911c906002015b600482106108c857600101919050565bfe5b604051806040016040528060008152602001600081525090565b60405180606001604052806000815260200160008152602001600081525090565b600082601f830112612159578081fd5b8135602067ffffffffffffffff8083111561217057fe5b8183026040518382820101818110848211171561218957fe5b604052848152838101925086840182880185018910156121a7578687fd5b8692505b858310156121c95780358452928401926001929092019184016121ab565b50979650505050505050565b600061012082840312156121e7578081fd5b60405160e0810181811067ffffffffffffffff8211171561220457fe5b60405290508061221484846122cb565b815261222384604085016122cb565b60208201526080830135604082015260a0830135606082015260c0830135608082015260e083013560a082015261010083013560c08201525092915050565b600060a08284031215612273578081fd5b60405160a0810181811067ffffffffffffffff8211171561229057fe5b806040525080915082358152602083013560208201526040830135604082015260608301356060820152608083013560808201525092915050565b6000604082840312156122dc578081fd5b6040516040810181811067ffffffffffffffff821117156122f957fe5b604052823581526020928301359281019290925250919050565b60008060006101e08486031215612328578283fd5b833567ffffffffffffffff81111561233e578384fd5b61234a86828701612149565b93505061235a8560208601612262565b91506123698560c086016121d5565b90509250925092565b6000806000806102008587031215612388578081fd5b843567ffffffffffffffff81111561239e578182fd5b6123aa87828801612149565b9450506123ba8660208701612262565b92506123c98660c087016121d5565b939692955092936101e00135925050565b60008060008060008061026087890312156123f3578182fd5b863567ffffffffffffffff811115612409578283fd5b61241589828a01612149565b9650506020870135945060408701358015158114612431578283fd5b93506124408860608901612262565b92506124508861010089016121d5565b91506124608861022089016122cb565b90509295509295509295565b6000806101c0838503121561247f578182fd5b6124898484612262565b91506124988460a085016121d5565b90509250929050565b918252602082015260400190565b9081526020019056fe53616665436173743a2076616c756520646f65736e27742066697420696e20616e20696e74323536a2646970667358221220d64e6a57f52de2172f57987cdc266cec2412730b39009f06b26b081734bbf87664736f6c63430007060033
