GHO is a decentralized, protocol-agnostic crypto-asset intended to maintain a stable value. GHO is minted and burned by approved entities named Facilitators.
The first facilitator is the Aave V3 Ethereum Pool, which allows users to mint GHO against their collateral assets, based on the interest rate set by the Aave Governance. In addition, there is a FlashMint module as a second facilitator, which facilitates arbitrage and liquidations, providing instant liquidity.
Furthermore, the Aave Governance has the ability to approve entities as Facilitators and manage the total amount of GHO they can generate (also known as bucket's capacity).
See the link to the technical paper
You can find all audit reports under the audits folder
- 2022-08-12 - OpenZeppelin
- 2022-11-10 - OpenZeppelin
- 2023-03-01 - ABDK
- 2023-02-28 - Certora Formal Verification
- 2023-07-06 - Sigma Prime
- 2023-06-13 - Sigma Prime (GhoSteward)
- 2023-09-20 - Emanuele Ricci @Stermi (GHO Stability Module)
- 2023-10-23 - Sigma Prime (GHO Stability Module)
- 2023-12-07 - Certora Formal Verification (GHO Stability Module)
- 2024-03-14 - Certora Formal Verification (GhoStewardV2)
- 2024-06-11 - Certora Formal Verification (UpgradeableGHO)
- 2024-06-11 - Certora Formal Verification (Modular Gho Stewards)
forge install
npm install # required for linting- To run the full test suite:
make test - To re-generate the coverage report:
make coverage
This repository will be subjected to this bug bounty once the Aave Governance upgrades the smart contracts in the applicable production instances.