GHO ZK Facilitator

GHO Flash loans can't be available on L2 in their original form, where tokens can be minted no more than the AAVE Governance limitation allows. The way it can be executed in the most permissionless and trustless manner is by providing a zk storage proof about the AAVE Governance decision to L2 GHO ERC20 Smart Contract

The core instance of the idea is a Relayer that has a few responsibilities:

• track AAVE Governance GHO limit changes
• generate and submit zk storage proofs with new values to L2

Also, the GHO ERC20 L2 Contract has to be modified to facilitate burn/mint Rewards to forwarding rewards from the FalshLoan to L1 AAVE Treasury

GHO ZK Facilitator utilizes zk proofs based on circuits written in the Noir language. The project consists of several parts:

• a data retrieval component, which is a TypeScript server, obtaining data for storage proofs from the mainnet GHO ERC20 contract
• a proof-building server, which produces a zk proof of limitation for the Flashminter facilitator in GHO minting against a certain ETH2 block header
• an external cross-chain light-client or Chainlink oracle to transmit the mainnet block header to the target EVM chain (this is out of scope of our work)
• smart contracts to verify the zk proof and to communicate with the facilitator's contract
• modifications to the GHO ERC20 L2 Contract to support the workflow with zk proofs