Skip to content

Certora/ilmOriginal

 
 

Repository files navigation

Integrated Liquidity Market (ILM)

The ILMs are a set of contracts which increase capital efficiency chiefly by reducing friction of capital deployment and costs of position management. The ILM repo hosts all contracts, tests and deployment scripts necessary for build, test, deploy and configure the ILM strategies.

Architecture

The ILMs are accessible to users by interaction with the Strategy contracts. The functioning of these strategies is supported by the Swapper contract suite, which serves the purpose of managing integrations, thus swaps, with several DEXs.

The Strategy contracts leverage several external libraries for borrowing/repaying loans with the Seamless lending pools, conversions and rebalancing.

The Swapper contract is essentially a routing contract, and simply routes swaps through SwapAdapter contracts, which handle the DEX-specific swapping logic.

All contracts follow the unstructured storage pattern, where a hash is used to define the storage slot for the part of the state of the contract.

Documentation

The first of these contracts is the Looping Strategy, which swaps borrowed funds to for collateral funds to achieve a higher exposure to the collateral token.

A summary of the Looping Strategy interfaces and contracts is provided in the repo as well.

The ILM repo is subject to the Styling Guide.

The ILMs integrate directly with the Seamless Protocol which fulfills the role of the lender.

Deployment Addresses

Base Mainnet

Contract Proxy address Implementation address
wstETH/ETH 3x Loop Strategy 0x258730e23cF2f25887Cb962d32Bd10b878ea8a4e 0xC82A728429F112e85C827c7c8734c9210C3cF8eA
Seamless ILM Reserved wstETH 0xc9ae3B5673341859D3aC55941D27C8Be4698C9e4
Seamless ILM Reserved WETH 0x3e8707557D4aD25d6042f590bCF8A06071Da2c5F
Swapper 0xE314ae9D279919a00d4773cCe37946A98fADDaBc 0x08561d280654790861591fFAf68ed193AdDC479D
WrappedTokenAdapter 0xc3e17CDac7C6ED317f0D9845d47df1a281B5f79E
AerodromeAdapter 0x6Cfc78c96f87e522EBfDF86995609414cFB1DcB2
ILMRegistry 0x36291d2D51a0122B9faCbE3c3F989cc6b1f859B3

Audits

TBA

Usage

Installation

forge install

Build

make build

Test

make test

Deployment

make deploy-wrappedwstETH-fork

# update the address of the wrappedToken in the LoopStrategyWstETHoverETHConfig

make deploy-loopStrategyWstETHoverETH-fork

Releases

No releases published

Packages

No packages published

Languages

  • Solidity 92.4%
  • Ruby 3.6%
  • Python 2.3%
  • Makefile 1.1%
  • JavaScript 0.6%