AaveV3EthereumLido_SecurityServicesForAaveV4Certora_20251026

codeslaw

AaveV3EthereumLido_SecurityServicesForAaveV4Certora_20251026Solidityv0.8.27+commit.40a35a09

network

Ethereum

address0x55eeaf7306a17d408192c3d4a9b5799e4a810cb9

deployer0x914d7Fec6aaC8cd542e72Bca78B30650d45643d7

tx last 12 months

0 txs

calls last 12 months

2 calls

63 Files

lib

aave-helpers

lib

aave-address-book

lib

aave-v3-origin

lib

solidity-utils

src

contracts

access-control

OwnableWithGuardian.sol

interfaces

IWithGuardian.sol

utils

Rescuable.sol

RescuableBase.sol

interfaces

IRescuable.sol

IRescuableBase.sol

src

contracts

dependencies

chainlink

AggregatorInterface.sol

openzeppelin

contracts

IERC20.sol

interfaces

IACLManager.sol

IAToken.sol

IAaveIncentivesController.sol

IAaveOracle.sol

IDefaultInterestRateStrategyV2.sol

IInitializableAToken.sol

IPool.sol

IPoolAddressesProvider.sol

IPoolConfigurator.sol

IPoolDataProvider.sol

IPriceOracleGetter.sol

IReserveInterestRateStrategy.sol

IScaledBalanceToken.sol

protocol

libraries

helpers

Errors.sol

types

ConfiguratorInputTypes.sol

DataTypes.sol

treasury

ICollector.sol

src

AaveV2.sol

AaveV3.sol

AaveV3Ethereum.sol

AaveV3EthereumLido.sol

GovernanceV3.sol

GovernanceV3Ethereum.sol

MiscEthereum.sol

common

IAaveEcosystemReserveController.sol

IStreamable.sol

governance-v3

Errors.sol

IBaseReceiverPortal.sol

IDataWarehouse.sol

IExecutor.sol

IGovernanceCore.sol

IGovernancePowerStrategy.sol

IPayloadsControllerCore.sol

IVotingMachineWithProofs.sol

IVotingPortal.sol

IVotingStrategy.sol

PayloadsControllerUtils.sol

src

CollectorUtils.sol

interfaces

IChainlinkAggregator.sol

IProposalGenericExecutor.sol

swaps

AaveSwapper.sol

interfaces

IAaveSwapper.sol

IExpectedOutCalculator.sol

IMilkman.sol

aave-umbrella

lib

aave-v3-origin

lib

solidity-utils

lib

openzeppelin-contracts-upgradeable

lib

openzeppelin-contracts

contracts

access

Ownable.sol

interfaces

IERC1363.sol

IERC165.sol

IERC20.sol

token

ERC20

IERC20.sol

utils

SafeERC20.sol

utils

Address.sol

Context.sol

Errors.sol

introspection

IERC165.sol

src

20251026_AaveV3EthereumLido_SecurityServicesForAaveV4Certora

AaveV3EthereumLido_SecurityServicesForAaveV4Certora_20251026.sol

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

abi

bytecode