GHO ZK Facilitator

Screenshots

Problem Statement

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 ContractThe core instance of the idea is a Relayer that has a few responsibilities:track AAVE Governance GHO limit changesgenerate and submit zk storage proofs with new values to L2Also, the GHO ERC20 L2 Contract has to be modified to facilitate burn/mint Rewards to forwarding rewards from the FalshLoan to L1 AAVE Treasury

Solution

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 contracta proof-building server, which produces a zk proof of limitation for the Flashminter facilitator in GHO minting against a certain ETH2 block headeran 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 contractmodifications to the GHO ERC20 L2 Contract to support the workflow with zk proofs