Skip to content

feat(aave): harden v3 oracle guard and add v4 protections - #105

Open
makemake-kbo wants to merge 9 commits into
masterfrom
makemake/eng-4182-spikesoleng-revisit-aave-v3-assertions-map-aave-v4
Open

feat(aave): harden v3 oracle guard and add v4 protections#105
makemake-kbo wants to merge 9 commits into
masterfrom
makemake/eng-4182-spikesoleng-revisit-aave-v3-assertions-map-aave-v4

Conversation

@makemake-kbo

Copy link
Copy Markdown
Contributor

Summary

  • harden the Aave v3 Horizon oracle assertion and expand adversarial and boundary coverage
  • add Aave v4 oracle-consumption and external-collateral transferability assertions
  • add an Aave v4 Hub flow-rate circuit breaker and PT-USDe redemption protection

Testing

  • Solidity changes compile successfully
  • full Foundry test execution is currently blocked locally by a Foundry crash during system proxy initialization

@linear-code

linear-code Bot commented Aug 3, 2026

Copy link
Copy Markdown

ENG-4182

@makemake-kbo
makemake-kbo marked this pull request as ready for review August 3, 2026 12:42
@makemake-kbo
makemake-kbo force-pushed the makemake/eng-4182-spikesoleng-revisit-aave-v3-assertions-map-aave-v4 branch from 58b390f to b658045 Compare August 3, 2026 15:37
Comment thread examples/aave/test/AaveV3AdversarialResearch.t.sol Outdated
Drop AaveV4ExternalCollateralTransferabilityAssertion and
AaveV4PTUSDGRedemptionAssertion with their shared helpers and test
suite. Both gate new risk after an issuer-side freeze rather than
preventing the impairment itself, so the protected loss is largely
already realized; coverage focus shifts to the Hub flow-rate circuit
breakers. Also brings the README v4 sections up to date.
@makemake-kbo
makemake-kbo force-pushed the makemake/eng-4182-spikesoleng-revisit-aave-v3-assertions-map-aave-v4 branch from c962a4a to 42a7959 Compare August 4, 2026 13:09
Comment thread examples/aave/src/AaveV3HorizonOracleAssertion.sol
Comment thread examples/aave/src/AaveV4OracleConsumptionHelpers.sol
Comment thread examples/aave/src/AaveV4OracleConsumptionAssertion.sol Outdated
Comment thread examples/aave/README.md
Comment thread examples/aave/src/AaveV3HorizonOracleAssertion.sol Outdated
Comment thread examples/aave/src/AaveV3HorizonReserveBackingAssertion.sol
Comment thread examples/aave/src/AaveV4HubFlowRateCircuitBreaker.sol Outdated
Comment thread examples/aave/research/aave-v4-flow-rate-calibration-2026-07-30.md Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants