Governed Gas Pool

[l-monninger]

Summary

• Associated PRs: Governed Gas Pool movement#957

Introduces the governed_gas_pool designed in MIP-52 to the aptos_framework. When the feature GOVERNED_GAS_POOL is enabled, the transaction epilogue will deposit gas fees into the pool.

Outstanding

1. The spec needs to be updated both for FA (something Aptos had not yet done) and governed gas pool usage. Or else new tests need to be configured which do not yet have a template.
   • If you are updating the spec, an initial indication of the conditions is commented out in transaction_validation.spec.move. However, this should likely be implemented in transaction_fee.spec.move instead.
2. The use of the governed_gas_pool w.r.t to epoch boundaries needs to validated in the corresponding full node PR.
3. The governed_gas_pool feature path does not account or allow for any net positive transactions as is clear in the flow control in transaction_validation.move. Whether this is appropriate still needs to be validated.