InvariantLib | Arbitrum

codeslaw

InvariantLibSolidityv0.8.24+commit.e11b9ed9

network

Arbitrum

address0xaae7b0f787f4dc03db1cc5bd6ffb0b065afdeb0a

deployer0x66a7fDB96C583c59597de16d8b2B989231415339

tx last 12 months

0 txs

calls last 12 months

11.9k 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

0x6080806040523461001c57611bfb90816100218239308160220152f35b5f80fdfe600436101561000c575f80fd5b5f3560e01c638df462cb1461001f575f80fd5b307f000000000000000000000000000000000000000000000000000000000000000014610be4577ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36016113408112610be457610a6013610be4576101e060405260043573ffffffffffffffffffffffffffffffffffffffff81168103610be4576080526101407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc360112610be457604051610140810181811067ffffffffffffffff821117610be857604052602435815260443560208201526064356040820152608435606082015260a435608082015260c43560a082015260e43560c08201526101043560e0820152610124358015158103610be457610100820152610144358015158103610be45761012082015260a0526102e0367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe9c0112610be457604051806101a081011067ffffffffffffffff6101a083011117610be8576101a0810160405261016435815261018435602082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe5c360112610be4576101e5610c35565b6101a43581526101c43560208201526101e4356040820152610204356060820152604082015260607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffddc360112610be45761023d610c15565b61022435815261024435602082015261026435604082015260608201526102843560808201526102a43560a08201526102c43560c082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd1c360112610be4576102a7610c35565b6102e435815261030435602082015261032435604082015261034435606082015260e082015260607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9c360112610be4576102ff610c15565b6103643581526103843560208201526103a43560408201526101008201526103c4356101208201526103e43561014082015261040435610160820152610424358015158103610be45761018082015260c0526060367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffbbc0112610be457610383610c15565b610444358152610464356020820152610484358015158103610be457604082015260e0526104a43561010052610120367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb3c0112610be4576040518061010081011067ffffffffffffffff61010083011117610be85761010081016040526104c43581526104e43560208201526105043560408201526105243560608201526105443560808201526105643560a08201526105843560c082015260407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa5c360112610be45760405180604081011067ffffffffffffffff604083011117610be857604081810190526105a43581526105c435602082015260e0820152610120526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1c0112610be4576104d3610c35565b6105e4358152610604356020820152610624356040820152610644356060820152610140526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff99c0112610be45761052a610c35565b6106643581526106843560208201526106a43560408201526106c4356060820152610160526080367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff91c0112610be457610581610c35565b6106e4358152610704356020820152610724356040820152610744356060820152610180908152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff89c0112610be4576105d8610c55565b6107643581526107843560208201526107a43560408201526107c43560608201526107e43560808201526108043560a08201526108243560c08201526108443560e082015261086435610100820152610884356101208201526108a4356101408201526108c4356101608201526101a052610180367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff71c0112610be45761067c610c55565b6108e43581526109043560208201526109243560408201526109443560608201526109643560808201526109843560a08201526109a43560c08201526109c43560e08201526109e435610100820152610a0435610120820152610a2435610140820152610a44356101608201526101c0526106a0367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff59c0112610be457604051806101e081011067ffffffffffffffff6101e083011117610be8576101e08101604052610a64358015158103610be4578152610a84358015158103610be457602082015273ffffffffffffffffffffffffffffffffffffffff610aa43516610aa43503610be457610aa4356040820152610ac43573ffffffffffffffffffffffffffffffffffffffff81168103610be4576060820152610ae4356080820152610b043573ffffffffffffffffffffffffffffffffffffffff81168103610be45760a0820152610b243560c08201526101807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff4bc360112610be45761081c610c55565b610b44358152610b64356020820152610b84356040820152610ba4356060820152610bc4356080820152610be43560a0820152610c043560c0820152610c243560e0820152610c4435610100820152610c6435610120820152610c8435610140820152610ca43561016082015260e08201526101807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff33c360112610be4576108c1610c55565b610cc4358152610ce4356020820152610d04356040820152610d24356060820152610d44356080820152610d643560a0820152610d843560c0820152610da43560e0820152610dc435610100820152610de435610120820152610e0435610140820152610e243561016082015261010082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1bc360112610be457610966610c35565b610e44358152610e64356020820152610e84356040820152610ea435606082015261012082015260807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff13c360112610be4576109bf610c35565b610ec4358152610ee4356020820152610f04356040820152610f2435606082015261014082015260c07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0bc360112610be457610a18610c76565b610f44358152610f64356020820152610f84356040820152610fa4356060820152610fc4356080820152610fe43560a082015261016082015260c07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeffc360112610be457610a83610c76565b6110043581526110243560208201526110443560408201526110643560608201526110843560808201526110a43560a08201526101808201526110c4356101a08201526110e4356101c08201526101807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeefc360112610be457610b03610c55565b906111043582526111243560208301526111443560408301526111643560608301526111843560808301526111a43560a08301526111c43560c08301526111e43560e08301526112043561010083015261122435610120830152611244356101408301526112643561016083015260c07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffed7c360112610be457610be291610ba7610c76565b916112843583526112a43560208401526112c43560408401526112e43560608401526113043560808401526113243560a08401526080610cd0565b005b5f80fd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b604051906060820182811067ffffffffffffffff821117610be857604052565b604051906080820182811067ffffffffffffffff821117610be857604052565b60405190610180820182811067ffffffffffffffff821117610be857604052565b6040519060c0820182811067ffffffffffffffff821117610be857604052565b91908201809211610ca357565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b9291909173ffffffffffffffffffffffffffffffffffffffff7fe47bc0805b1c94fcc510facb38808581a27dc52fe1af91935614d1e48b8a17056102a082875116928060408801511690806060890151169060a0890151169060405192885184526020890151602085015260408901516040850152606089015160608501526080890151608085015260a089015160a085015260c089015160c085015260e089015160e0850152610100890151610100850152610120890151610120850152610140890151610140850152610160890151610160850152875161018085015260208801516101a085015260408801516101c085015260608801516101e0850152608088015161020085015260a0880151610220850152610240840152610260830152610280820152a26002610e20610e0c6101408701516117a2565b610e1a6101008801516117bf565b90611986565b14611778576101208201511515806116c5575b61169b57610e456101408401516117bf565b1580611686575b158061162e575b806115f1575b6115c757610100602085015101511515806115ab575b611581576002610e916020610120860151015160806040880151015190611986565b1480611574575b61154a576001610ed2610140850151610e1a610eb3826117bf565b916020610ec96040830151606084015190610c96565b91015190610c96565b148015906114ec575b6114c2576002610f05610ef66020606088015101518461182b565b60e06020880151015190611986565b14611498576101208201516114925760208301511580611489575b80611431575b6114075760a0840151610f486020825192015160a06020880151015190610c96565b1080156113e2575b6113b857610f79610f656101008601516117bf565b610f736101408701516117f2565b90610c96565b6060850151906040860151926101a086015191604060c08901510151946101c0880151955f8782019788129112908015821691151617610ca357602060608a0151015195610fc6846119d7565b878102977f800000000000000000000000000000000000000000000000000000000000000081145f831216610ca3578189051490151715610ca3576020620f4240809805940151935f8582039512818612811691861390151617610ca3575f8482019485129112908015821691151617610ca35761106a9461012061104d61106495611a53565b83519096808211156113b05750925b015192611b70565b90611a6e565b1561138757610120610140850151015115158061137a575b61135057611094602085015183611933565b9081611294575b8161124a575b50611220576110b4602084015182611933565b91826111be575b82611133575b505061110957604060c06110d892015101516119a2565b156110df57565b60046040517f442145e5000000000000000000000000000000000000000000000000000000008152fd5b60046040517f0fe90964000000000000000000000000000000000000000000000000000000008152fd5b61114391925061012001516119d7565b9061114d81611a8f565b905f828403921283831281169084841390151617610ca35761116e81611aa1565b915f8382019384129112908015821691151617610ca35760800151159182159261119c575b50505f806110c1565b6002925090610e1a6111b06111b693611b61565b91611b61565b145f80611193565b915061012082015160208101908151906111ed60406111e36060840194855190610c96565b9201518092611986565b159283156111ff575b505050916110bb565b61121793509061120f9151610c96565b905190611986565b155f80806111f6565b60046040517f15f9ae70000000000000000000000000000000000000000000000000000000008152fd5b611286915061126c610120850151611266602082015191611ab4565b90611a03565b908082101561128d57505b60a06040860151015190611986565b155f6110a1565b9050611277565b90506101208301516112a581611ab4565b906112b36040820151611acb565b6112bc85611a8f565b905f8282039212818312811691831390151617610ca35760606112e16112e992611b26565b920151611acb565b6112f285611aa1565b905f8282039212818312811691831390151617610ca35761131290611b26565b8082111561134957505b60808401511591821592611333575b50509061109b565b600292509061134191611986565b145f8061132b565b905061131c565b60046040517fba555da7000000000000000000000000000000000000000000000000000000008152fd5b5061012082015115611082565b60046040517ee2b6a8000000000000000000000000000000000000000000000000000000008152fd5b90509261105c565b60046040517f935bdc21000000000000000000000000000000000000000000000000000000008152fd5b5060c08401516114016020825192015160c06020880151015190610c96565b10610f50565b60046040517f5bdace60000000000000000000000000000000000000000000000000000000008152fd5b5061143b826117f2565b1580611479575b8061144e575b15610f26565b5061145c60408301516119a2565b6002811490811561146e575b50611448565b60019150145f611468565b50611483826117a2565b15611442565b50825115610f20565b50505050565b60046040517faf5dfc8f000000000000000000000000000000000000000000000000000000008152fd5b60046040517f8a68c1dc000000000000000000000000000000000000000000000000000000008152fd5b506101008401516114fc8161180b565b6101408501519061150c8261180b565b1415918261151c575b5050610edb565b6115279192506117bf565b15159081611538575b505f80611515565b61154291506117bf565b15155f611530565b60046040517f6ed43d8e000000000000000000000000000000000000000000000000000000008152fd5b5060608201511515610e98565b60046040517f29ab4c44000000000000000000000000000000000000000000000000000000008152fd5b506060820151151580610e6f57506115c2826119ba565b610e6f565b60046040517fab1e3a00000000000000000000000000000000000000000000000000000000008152fd5b50606084015160408101511590811561160b575b50610e59565b60808601519051810391508111610ca3576101606040860151015111155f611605565b50611638826117f2565b1580611676575b8061164b575b15610e53565b5061165960408301516119a2565b6002811490811561166b575b50611645565b60019150145f611665565b50611680826117a2565b1561163f565b506116956101008501516117bf565b15610e4c565b60046040517f534f7fe6000000000000000000000000000000000000000000000000000000008152fd5b506116d46101408501516117a2565b60016116e961010087015192610e1a846117bf565b1490811591611732575b50801561171b575b80610e335750600161171461170f846117f2565b61197d565b1415610e33565b50600161172b60408401516119a2565b14156116fb565b6117729150611064606087015191604088015161176061175a604060c08c01510151936117bf565b92611a53565b93610140602083015192015192611b70565b5f6116f3565b60046040517f736f9fda000000000000000000000000000000000000000000000000000000008152fd5b6117bc90610100610ec9608083015160c084015190610c96565b90565b6020604082015160608301518082115f146117ea5750915b0151808211156117e5575090565b905090565b9050916117d7565b6117bc9060e0610ec9606083015160a084015190610c96565b60408101516118255760600151611820575f90565b600290565b50600190565b61183e6040820151606083015190610c96565b1561192d576118516020820151916119d7565b90620f424090818102918183051490151715610ca3578115611900577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82147f8000000000000000000000000000000000000000000000000000000000000000821416610ca35705818103915f811282841281169083851390151617610ca3576118e96111b06118e36117bc95611b61565b93611b61565b808210156118f8575090611a03565b905090611a03565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b50505f90565b906101000151159081611944575090565b905061194f81611a8f565b15908161196b575b8115611961575090565b6117bc91506119ba565b905061197681611aa1565b1590611957565b61182057600190565b81811161199b571061199757600190565b5f90565b5050600290565b5f81136119b4575f1361199757600190565b50600290565b60a081015115908115916119cc575090565b60e091500151151590565b6119e960606112e16040840151611acb565b905f8282039212818312811691831390151617610ca35790565b9080611a395750611a1557620f424090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90565b90620f424090818102918183041490151715610ca3570490565b611a5c816119a2565b611a6557505f90565b6117bc90611b26565b90611a7891611986565b60028114908115611a87575090565b600191501490565b6119e960c06112e160a0840151611acb565b6119e96101006112e160e0840151611acb565b606060408201519101518082115f146117e5575090565b7f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8111611af55790565b602490604051907feecaa25d0000000000000000000000000000000000000000000000000000000082526004820152fd5b5f8112611b305790565b602490604051907fb02ef0870000000000000000000000000000000000000000000000000000000082526004820152fd5b5f8112611b6b5790565b5f0390565b91908215611ba457611b9792611b8c6020611b92930151611b61565b90611bac565b611bac565b90808211156117e5575090565b505050505f90565b818102918183041490151715610ca357620f424090049056fea2646970667358221220ddeb6112090163adac8521b89ce8272fc27f6f2c07a01a113fc9eb2a12ec33e764736f6c63430008180033

abi

bytecode