InvariantLib | Arbitrum

codeslaw

InvariantLibSolidityv0.8.24+commit.e11b9ed9

network

Arbitrum

address0x581c684376a3f23f930cc33b217f2099a7a2ad34

deployer0x66a7fDB96C583c59597de16d8b2B989231415339

tx last 12 months

0 txs

calls last 12 months

534 calls

46 Files

@equilibria

root

accumulator

types

Accumulator6.sol

adiabatic

AdiabaticMath6.sol

types

LinearAdiabatic6.sol

NoopAdiabatic6.sol

attribute

interfaces

IFactory.sol

IInitializable.sol

IInstance.sol

IOwnable.sol

IPausable.sol

number

NumberMath.sol

types

Fixed18.sol

Fixed6.sol

UFixed18.sol

UFixed6.sol

pid

types

PAccumulator6.sol

PController6.sol

token

types

Token18.sol

utilization

CurveMath6.sol

types

UJumpRateUtilizationCurve6.sol

verifier

types

Common.sol

@openzeppelin

contracts

proxy

beacon

IBeacon.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

draft-IERC20Permit.sol

utils

SafeERC20.sol

utils

Address.sol

math

Math.sol

SignedMath.sol

@perennial

v2-core

contracts

interfaces

IMarket.sol

IOracleProvider.sol

libs

CheckpointLib.sol

InvariantLib.sol

VersionLib.sol

types

Checkpoint.sol

Global.sol

Guarantee.sol

Intent.sol

Local.sol

MarketParameter.sol

OracleReceipt.sol

OracleVersion.sol

Order.sol

Position.sol

ProtocolParameter.sol

RiskParameter.sol

Version.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

bytecode

creation bytecode

0x6080806040523461001c57611bd090816100218239308160220152f35b5f80fdfe600436101561000c575f80fd5b5f3560e01c638df462cb1461001f575f80fd5b307f000000000000000000000000000000000000000000000000000000000000000014610be4577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36016113408112610be457610a6013610be4576101e060405260043573ffffffffffffffffffffffffffffffffffffffff81168103610be4576080526101407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc360112610be457604051610140810181811067ffffffffffffffff821117610be857604052602435815260443560208201526064356040820152608435606082015260a435608082015260c43560a082015260e43560c08201526101043560e0820152610124358015158103610be457610100820152610144358015158103610be45761012082015260a0526102e0367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe9c0112610be457604051806101a081011067ffffffffffffffff6101a083011117610be8576101a0810160405261016435815261018435602082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe5c360112610be4576101e5610c35565b6101a43581526101c43560208201526101e4356040820152610204356060820152604082015260607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffddc360112610be45761023d610c15565b61022435815261024435602082015261026435604082015260608201526102843560808201526102a43560a08201526102c43560c082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd1c360112610be4576102a7610c35565b6102e435815261030435602082015261032435604082015261034435606082015260e082015260607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9c360112610be4576102ff610c15565b6103643581526103843560208201526103a43560408201526101008201526103c4356101208201526103e43561014082015261040435610160820152610424358015158103610be45761018082015260c0526060367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffbbc0112610be457610383610c15565b610444358152610464356020820152610484358015158103610be457604082015260e0526104a43561010052610120367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb3c0112610be4576040518061010081011067ffffffffffffffff61010083011117610be85761010081016040526104c43581526104e43560208201526105043560408201526105243560608201526105443560808201526105643560a08201526105843560c082015260407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa5c360112610be45760405180604081011067ffffffffffffffff604083011117610be857604081810190526105a43581526105c435602082015260e0820152610120526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1c0112610be4576104d3610c35565b6105e4358152610604356020820152610624356040820152610644356060820152610140526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff99c0112610be45761052a610c35565b6106643581526106843560208201526106a43560408201526106c4356060820152610160526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff91c0112610be457610581610c35565b6106e4358152610704356020820152610724356040820152610744356060820152610180908152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff89c0112610be4576105d8610c55565b6107643581526107843560208201526107a43560408201526107c43560608201526107e43560808201526108043560a08201526108243560c08201526108443560e082015261086435610100820152610884356101208201526108a4356101408201526108c4356101608201526101a052610180367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff71c0112610be45761067c610c55565b6108e43581526109043560208201526109243560408201526109443560608201526109643560808201526109843560a08201526109a43560c08201526109c43560e08201526109e435610100820152610a0435610120820152610a2435610140820152610a44356101608201526101c0526106a0367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff59c0112610be457604051806101e081011067ffffffffffffffff6101e083011117610be8576101e08101604052610a64358015158103610be4578152610a84358015158103610be457602082015273ffffffffffffffffffffffffffffffffffffffff610aa43516610aa43503610be457610aa4356040820152610ac43573ffffffffffffffffffffffffffffffffffffffff81168103610be4576060820152610ae4356080820152610b043573ffffffffffffffffffffffffffffffffffffffff81168103610be45760a0820152610b243560c08201526101807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff4bc360112610be45761081c610c55565b610b44358152610b64356020820152610b84356040820152610ba4356060820152610bc4356080820152610be43560a0820152610c043560c0820152610c243560e0820152610c4435610100820152610c6435610120820152610c8435610140820152610ca43561016082015260e08201526101807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff33c360112610be4576108c1610c55565b610cc4358152610ce4356020820152610d04356040820152610d24356060820152610d44356080820152610d643560a0820152610d843560c0820152610da43560e0820152610dc435610100820152610de435610120820152610e0435610140820152610e243561016082015261010082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1bc360112610be457610966610c35565b610e44358152610e64356020820152610e84356040820152610ea435606082015261012082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff13c360112610be4576109bf610c35565b610ec4358152610ee4356020820152610f04356040820152610f2435606082015261014082015260c07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0bc360112610be457610a18610c76565b610f44358152610f64356020820152610f84356040820152610fa4356060820152610fc4356080820152610fe43560a082015261016082015260c07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffc360112610be457610a83610c76565b6110043581526110243560208201526110443560408201526110643560608201526110843560808201526110a43560a08201526101808201526110c4356101a08201526110e4356101c08201526101807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeefc360112610be457610b03610c55565b906111043582526111243560208301526111443560408301526111643560608301526111843560808301526111a43560a08301526111c43560c08301526111e43560e08301526112043561010083015261122435610120830152611244356101408301526112643561016083015260c07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffed7c360112610be457610be291610ba7610c76565b916112843583526112a43560208401526112c43560408401526112e43560608401526113043560808401526113243560a08401526080610cd0565b005b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b604051906060820182811067ffffffffffffffff821117610be857604052565b604051906080820182811067ffffffffffffffff821117610be857604052565b60405190610180820182811067ffffffffffffffff821117610be857604052565b6040519060c0820182811067ffffffffffffffff821117610be857604052565b91908201809211610ca357565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b9291909173ffffffffffffffffffffffffffffffffffffffff7fe47bc0805b1c94fcc510facb38808581a27dc52fe1af91935614d1e48b8a17056102a082875116928060408801511690806060890151169060a0890151169060405192885184526020890151602085015260408901516040850152606089015160608501526080890151608085015260a089015160a085015260c089015160c085015260e089015160e0850152610100890151610100850152610120890151610120850152610140890151610140850152610160890151610160850152875161018085015260208801516101a085015260408801516101c085015260608801516101e0850152608088015161020085015260a0880151610220850152610240840152610260830152610280820152a26002610e20610e0c610140870151611780565b610e1a61010088015161179d565b9061195b565b14611756576101208201511515806116c5575b61169b57610e4561014084015161179d565b1580611686575b158061162e575b806115f1575b6115c757610100602085015101511515806115ab575b611581576002610e91602061012086015101516080604088015101519061195b565b1480611574575b61154a576001610ed2610140850151610e1a610eb38261179d565b916020610ec96040830151606084015190610c96565b91015190610c96565b148015906114ec575b6114c2576002610f05610ef6602060608801510151846117f0565b60e0602088015101519061195b565b14611498576101208201516114925760208301511580611489575b80611431575b6114075760a0840151610f486020825192015160a06020880151015190610c96565b1080156113e2575b6113b857610f79610f6561010086015161179d565b610f736101408701516118f8565b90610c96565b6060850151906040860151926101a086015191604060c08901510151946101c0880151955f8782019788129112908015821691151617610ca357602060608a0151015195610fc6846119ac565b878102977f800000000000000000000000000000000000000000000000000000000000000081145f831216610ca3578189051490151715610ca3576020620f4240809805940151935f8582039512818612811691861390151617610ca3575f8482019485129112908015821691151617610ca35761106a9461012061104d61106495611a28565b83519096808211156113b05750925b015192611b45565b90611a43565b1561138757610120610140850151015115158061137a575b61135057611094602085015183611911565b9081611294575b8161124a575b50611220576110b4602084015182611911565b91826111be575b82611133575b505061110957604060c06110d89201510151611977565b156110df57565b60046040517f442145e5000000000000000000000000000000000000000000000000000000008152fd5b60046040517f0fe90964000000000000000000000000000000000000000000000000000000008152fd5b61114391925061012001516119ac565b9061114d81611a64565b905f828403921283831281169084841390151617610ca35761116e81611a76565b915f8382019384129112908015821691151617610ca35760800151159182159261119c575b50505f806110c1565b6002925090610e1a6111b06111b693611b36565b91611b36565b145f80611193565b915061012082015160208101908151906111ed60406111e36060840194855190610c96565b920151809261195b565b159283156111ff575b505050916110bb565b61121793509061120f9151610c96565b90519061195b565b155f80806111f6565b60046040517f15f9ae70000000000000000000000000000000000000000000000000000000008152fd5b611286915061126c610120850151611266602082015191611a89565b906119d8565b908082101561128d57505b60a0604086015101519061195b565b155f6110a1565b9050611277565b90506101208301516112a581611a89565b906112b36040820151611aa0565b6112bc85611a64565b905f8282039212818312811691831390151617610ca35760606112e16112e992611afb565b920151611aa0565b6112f285611a76565b905f8282039212818312811691831390151617610ca35761131290611afb565b8082111561134957505b60808401511591821592611333575b50509061109b565b60029250906113419161195b565b145f8061132b565b905061131c565b60046040517fba555da7000000000000000000000000000000000000000000000000000000008152fd5b5061012082015115611082565b60046040517ee2b6a8000000000000000000000000000000000000000000000000000000008152fd5b90509261105c565b60046040517f935bdc21000000000000000000000000000000000000000000000000000000008152fd5b5060c08401516114016020825192015160c06020880151015190610c96565b10610f50565b60046040517f5bdace60000000000000000000000000000000000000000000000000000000008152fd5b5061143b826118f8565b1580611479575b8061144e575b15610f26565b5061145c6040830151611977565b6002811490811561146e575b50611448565b60019150145f611468565b5061148382611780565b15611442565b50825115610f20565b50505050565b60046040517faf5dfc8f000000000000000000000000000000000000000000000000000000008152fd5b60046040517f8a68c1dc000000000000000000000000000000000000000000000000000000008152fd5b506101008401516114fc816117d0565b6101408501519061150c826117d0565b1415918261151c575b5050610edb565b61152791925061179d565b15159081611538575b505f80611515565b611542915061179d565b15155f611530565b60046040517f6ed43d8e000000000000000000000000000000000000000000000000000000008152fd5b5060608201511515610e98565b60046040517f29ab4c44000000000000000000000000000000000000000000000000000000008152fd5b506060820151151580610e6f57506115c28261198f565b610e6f565b60046040517fab1e3a00000000000000000000000000000000000000000000000000000000008152fd5b50606084015160408101511590811561160b575b50610e59565b60808601519051810391508111610ca3576101606040860151015111155f611605565b50611638826118f8565b1580611676575b8061164b575b15610e53565b506116596040830151611977565b6002811490811561166b575b50611645565b60019150145f611665565b5061168082611780565b1561163f565b5061169561010085015161179d565b15610e4c565b60046040517f534f7fe6000000000000000000000000000000000000000000000000000000008152fd5b506116d4610140850151611780565b60016116e961010087015192610e1a8461179d565b1490811591611710575b5080610e33575060016117096040840151611977565b1415610e33565b6117509150611064606087015191604088015161173e611738604060c08c015101519361179d565b92611a28565b93610140602083015192015192611b45565b5f6116f3565b60046040517f736f9fda000000000000000000000000000000000000000000000000000000008152fd5b61179a90610100610ec9608083015160c084015190610c96565b90565b6020604082015160608301518082115f146117c85750915b0151808211156117c3575090565b905090565b9050916117b5565b60408101516117ea57606001516117e5575f90565b600290565b50600190565b6118036040820151606083015190610c96565b156118f2576118166020820151916119ac565b90620f424090818102918183051490151715610ca35781156118c5577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82147f8000000000000000000000000000000000000000000000000000000000000000821416610ca35705818103915f811282841281169083851390151617610ca3576118ae6111b06118a861179a95611b36565b93611b36565b808210156118bd5750906119d8565b9050906119d8565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b50505f90565b61179a9060e0610ec9606083015160a084015190610c96565b906101000151159081611922575090565b905061192d81611a64565b159081611949575b811561193f575090565b61179a915061198f565b905061195481611a76565b1590611935565b818111611970571061196c57600190565b5f90565b5050600290565b5f8113611989575f1361196c57600190565b50600290565b60a081015115908115916119a1575090565b60e091500151151590565b6119be60606112e16040840151611aa0565b905f8282039212818312811691831390151617610ca35790565b9080611a0e57506119ea57620f424090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90565b90620f424090818102918183041490151715610ca3570490565b611a3181611977565b611a3a57505f90565b61179a90611afb565b90611a4d9161195b565b60028114908115611a5c575090565b600191501490565b6119be60c06112e160a0840151611aa0565b6119be6101006112e160e0840151611aa0565b606060408201519101518082115f146117c3575090565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8111611aca5790565b602490604051907feecaa25d0000000000000000000000000000000000000000000000000000000082526004820152fd5b5f8112611b055790565b602490604051907fb02ef0870000000000000000000000000000000000000000000000000000000082526004820152fd5b5f8112611b405790565b5f0390565b91908215611b7957611b6c92611b616020611b67930151611b36565b90611b81565b611b81565b90808211156117c3575090565b505050505f90565b818102918183041490151715610ca357620f424090049056fea26469706673582212201ad321f6551e43cc083106b96c0e3ec695d349e0166b5fb380776f0a51b6793a64736f6c63430008180033

abi

bytecode