AaveV3HorizonOperationSafetyAssertion

Git Source

Inherits: AaveV3LikeOperationSafetyAssertionBase

Title: AaveV3HorizonOperationSafetyAssertion

Author: Phylax Systems

Example single-entry assertion bundle for Aave v3 Horizon.

Usage: cl.assertion({ adopter: aaveV3HorizonPool, createData: abi.encodePacked(type(AaveV3HorizonOperationSafetyAssertion).creationCode, abi.encode(aaveV3HorizonPool, addressesProvider)), fnSelector: AaveV3HorizonOperationSafetyAssertion.assertOperationSafety.selector }) The assertion is registered against the pool because the pool is the entry point for borrow, withdraw, liquidation, collateral-flag, aToken transfer-finalization, and e-mode changes. A revert from this bundle means a risk-increasing pool call either made a healthy user liquidatable or consumed more user debt/collateral claim than the pre-call state allowed.

Functions

constructor

constructor(address pool_, address addressesProvider_)
    AaveV3LikeOperationSafetyAssertionBase(ILendingProtectionSuite(
            address(new AaveV3HorizonProtectionSuite(pool_, addressesProvider_))
        ));