f-o-a-m / kepler

A Haskell framework that facilitates writing ABCI applications
https://kepler.dev
Apache License 2.0
34 stars 9 forks source link

Implement Gas Metering #121

Closed martyall closed 4 years ago

martyall commented 4 years ago

We would like to be able to perform gas metering for certain operations, e.g. get and set in a database, or other custom actions defined in a modules effect systems. This metering should be done on interpretation in the module's eval function

This will likely require adding gas fields to the raw transaciton