Add OneForAll experiments: wExp monotonicity, updatePositionView

4320ef5

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Aikido PR Checks

Aikido Security: check code

forge on: pull_request 8

format

lint

sizes

test (0, standard)

test (1, no-revert)

test (2, usdt)

test (3, revert-to-zero)

test (4, no-return)

certora on: pull_request 55

format

matrix

verify (BalanceEffects)

verify (Bitmap)

verify (CollateralBitmap)

verify (Consume)

verify (ContinuousFee)

verify (ContinuousFeeReverts)

verify (CreatedMarkets)

verify (EcrecoverAuthorizer)

verify (EmptyOffer)

verify (ExactMath)

verify (Healthiness)

verify (Liquidate)

verify (LiquidationBoundedByLIF)

verify (LiquidationProfitability)

verify (LossFactor)

verify (MarketNotReadBeforeCreated)

verify (MaxRepaidHealthy)

verify (Midnight)

verify (MulDiv)

verify (NetCredit)

verify (NoDebtWithoutCollateral)

verify (NoDebtWithoutCollateralNativeECF)

verify (NoDivisionByZero)

verify (NoMultiplicationOverflow)

verify (NotCreatedMarket)

verify (OfferTreeMembership)

verify (OfferTreeWellFormed)

verify (OnlyAuthorizedCanChange)

verify (OnlyAuthorizedCanChangeUpdatedValues)

verify (OnlyExplicitPayerCanLoseTokens)

verify (PostDropRealizableBadDebt)

verify (PostMaturityDebt)

verify (PostMaturityWithdrawable)

verify (PriceToTick)

verify (Ratification)

verify (RealizableBadDebt)

verify (RealizableBadDebtLiquidate)

verify (Reentrancy)

verify (ReentrancyView)

verify (Reverts)

verify (Role)

verify (SettlementFeeBoundaries)

verify (SettlementFeeSpread)

verify (Solvency)

verify (SplitDoesNotPunishMakerOrFavorTaker)

verify (SplitPreservesAccounting)

verify (SumOfCreditsAxiomatic)

verify (TakeAmountsLibInvertibility)

verify (TickToPrice)

verify (TickToPriceIsMonotonic)

verify (UpdateBeforeCredit)

verify (UpdatePositionView)

verify (WithdrawableMonotonicity)

forge-old on: pull_request 1

compare-bytecode

Select a check to view from the sidebar