Skip to content

Latest commit

 

History

History
226 lines (141 loc) · 14.3 KB

20221005-dynamic-inclusion-fee.md

File metadata and controls

226 lines (141 loc) · 14.3 KB
status flip forum authors editors updated
rejected
GOV-3
Tony Zhang ([email protected])
Janez Podhostnik ([email protected]), Jan Bernatik ([email protected])
2022-10-06

FLIP GOV-3: Dynamic Inclusion Fees

Motivation

As mentioned in the FLIP of Variable Transaction Fees:

Transaction fees should allow the Flow blockchain to self-regulate transaction throughput in a way where it would always tend to the optimum throughput. Fees should also discourage malicious actors from trying to destabilize the network by sending computationally or network heavy transactions, as the transaction fees on such transactions would be appropriately higher.

Inclusion fee is part of the total fee of one transaction. It is meant to cover all costs of one transaction’s handling except for the execution part, which will be charged as the execution fee. Inclusion fee is supposed to cover resource utilization (network transmission, memory usage etc.) overhead after one transaction is submitted. Inclusion fee must be calculated without one transaction being executed.

The goal of this proposal is to come up with a formula incentivizing developers to create simpler transactions which will cost less, compared with more complex ones.

💬 We are not looking for perfectly precise math models this time, instead we are looking for a simple equation to calculate inclusion fees to reflect relative potential inclusion effort of a given transaction, including network transmission, memory usage etc.

How Transactions are Created in Load Test

To get performance metrics with a batch of fixed-sized transactions, we need to compose such transactions that we can control each of their:

  • Total transaction size
  • Number of authorizers
  • Number of keys of payer
  • Argument size
  • Comment size

In PR 2816, we added this feature in the loader app. We first add all indicated number of authorizers and keys of payer, compose transaction argument string, and at last leave all remaining bytes as comments. When these transactions are ready, the loader app will submit them to a given access cluster with give TPS.

How Transaction Size is Calculated

According to our code, we should consider these variant fields when calculating the total size of a given transaction:

  • Byte size of transaction code
  • Number of authorizers
  • Authorizer/payer keys

The above fields are the only available information of one transaction which we can use to calculate inclusion fees, because we have to calculate it without executing one transaction.

However in the BigTable storing mainnet transactions dapperlabs-data.production_ddp_flow_on_chain_data_v2.transactions, there’s no information about number of keys per authorizer\payer, we will have to exclude that field from our mathematical modeling. And since we are only looking for estimated calculation instead of a precise modeling, plus that number of keys per authorizer\payer is not a major part of one given transaction, we don’t treat it as a blocking issue for our metrics collection.

Metrics Collection

We created a new loader type (PR 2816) to generate fixed-sized (configurable) empty transactions to localnet and canary to check the stable peak TPS, as the max number of transactions that targeted network is able to handle (a.k.a the network saturation point).

We checked localnet, benchnet and canary to collect metrics. Except that benchnet failed to give stable peak TPS metrics (more details in the Limitation section below), both localnet and canary demonstrate a rough Inverse relationship between the total size of each transaction(all transactions in the same load test have the same size) and the stable peak TPS.

chart for metrics from localnet chart for metrics from localnet chart for metrics from canary chart for metrics from canary

Data Modeling

Assuming that with given configuration, relative inclusion fee is simply the inverse of stable peak TPS, now we have below linear equation with transaction size as X and the resulting Inclusion Fee as Y:

    Y = C1 * X + C2

We used some existing math tool (https://mycurvefit.com/ in our case), plugging in the metrics data we collected (simply deriving the inclusion fee by 1.0/TPS) from canary and we got the equation below. The reason we use canary data to derive the equation is that its hardware\network configuration is closer to mainnet compared with localnet.

    Inclusion Fee Factor = 6.370641e-7 * TxByteSize + 2.585227e-3

We’d like to charge average sized transactions by 1e-6 FLOW, and according to this BigQuery, we can tell that the average size of production transactions are around 1800B, plugging this into the equation above and now we have the final equation as below:

    Inclusion Fee Factor = 267.956977406 * (6.370641e-7 * TxByteSize + 2.585227e-3)

Model Validation

To make sure our mathematical model above works as expected with real mainnet transactions, we ran the equation against sampled transactions in BigQuery where our recent production transactions are stored.

  • New Inclusion Fee calculation in BigQuery

    From this BigQuery where we calculate new inclusion fees for sampled transactions with different sizes, we can see that the new inclusion fee factor of transactions around 1800B are around 1.0 (or 1e-6 FLOW), and the smaller one tx is, the less the inclusion fee is, and vice versa. Listing several pieces of the result as below:

Transaction with size less than average

Tx Size New Inclusion Fee Factor
793 0.828099289
809 0.8308305813
810 0.8310012871
811 0.8311719928
821 0.8328790505

Transaction with size around average

Tx Size New Inclusion Fee Factor
1755 0.9923182403
1786 0.9976101192
1804 1.000682823
1843 1.007340348
1865 1.011095875

Transaction with size above average

Tx Size New Inclusion Fee Factor
4538 1.4673924
4801 1.512288018
5184 1.577668328
5823 1.686749315
7880 2.037891086
  • Min\Max charges

    Given the new inclusion fee calculation, we also want to know the extreme cases when 1) transaction is empty (minimal tx) and 2) transaction size reaches the limit.

    1. Inclusion Fee of Empty Transaction
    2.     Inclusion Fee Factor(empty tx)
              = 267.956977406 * (6.370641e-7 * **0** + 2.585227e-3)
              = 0.69272961282
      

      After applying this new inclusion fee factor onto the existing inclusion effort charge(1e-6 FLOW), we get 1e-6 * 0.69272961282 as the new charge.

    3. Inclusion Fee of Maximal Transaction
    4. According to the code, the max possible byte size of one transaction is 1500000B, now we have:

          Inclusion Fee Factor(largest tx possible)
              = 267.956977406 * (6.370641e-7*1500000 + 2.585227e-3)
              = 256.751385588
      

      After applying this new inclusion fee factor onto the existing inclusion effort charge(1e-6 FLOW), we get 1e-6 * 256.751385588 as the new charge.

  • New inclusion fees for different types of transactions

    It will also be useful to see inclusion fee changes with the new equation, for some typical types of transactions we have. We are assuming there is only one authorizer in these transactions which is the most common scenario.

    1. Create Account transaction
    2. Cadence script we use for the calculation: link - size: 984B

          New inclusion fee factor
          = 267.956977406 * (6.370641e-7*984 + 2.585227e-3)
          = 0.86070409114
      

      The new fee is roughly 14% less than the existing inclusion charge (1e-6 FLOW)

    3. Token transfer transaction
    4. Cadence script we use for the calculation: link - size: 718B

          New inclusion fee factor
          = 267.956977406 * (6.370641e-7*718 + 2.585227e-3)
          = 0.81529635615
      

      The new fee is roughly 18% less than the existing inclusion charge (1e-6 FLOW)

    5. NFT transfer transaction
    6. Cadence script we use for the calculation: link - size 818B

          New inclusion fee factor
          = 267.956977406 * (6.370641e-7*818 + 2.585227e-3)
          = 0.83236693322
      

      The new fee is roughly 16% less than the existing inclusion charge (1e-6 FLOW)

  • Distribution of mainnet transaction sizes and their inclusion fees

    For understanding purposes, the mainnet transaction size distribution is also helpful (BigQuery link). Its histogram is as below:

    mainnet tx size histogram

    So most transactions are with sizes between 500 - 2000 bytes, and there are much fewer number of transactions with sizes above 4000B. The average transaction size from our mainnet is 1800B, which is marked on the diagram too. We used this value to calibrate our inclusion fees as mentioned above.

Limitations

  • Using metrics from canary to estimate mainnet fees Since we were using the loader app to stress test certain environments (localnet, canary), it is impractical to run a similar stress test to mainnet which will impact production traffic. Thus, we are only able to apply the mathematical equation derived from those environments to mainnet directly. It is fine in our use cases because we are not looking for precise mathematical calculation to new inclusion fees, and we are looking for a better calculation than the current constant inclusion charge: we should charge less for smaller transactions and more for bigger transactions. So as long as the new equation demonstrates this characteristic on production transactions, we will treat it as a working math model.

  • Benchnet didn’t give stable peak TPS metrics We also tried the loader app on benchnet configurations. However the existing benchnet didn’t give us stable peak TPS and it made it unusable to collect performance related metrics. The reason is still under investigation, but since we were still able to get metrics from canary, it is not a blocking issue for us.

  • Other factors impacting stable peak TPS In our benchmark testing on both localnet and canary environments, we actually also found that another two factors can also impact the stable peak TPS: number of authorizers and number of keys per payer. However we didn’t include these two factors into our final equation, because they don’t seem to be major factors impacting performance, thus including them will make our equation unnecessarily complex.

Future Work

  • Collecting more data points for a more accurate model Due to the limitation mentioned, it was quite a cumbersome process to collect even one single performance metrics data point, so we were only able to collect a limited amount of data for modeling purposes. We don’t need a super precise model for now, but if in the future when higher precision is required, we will need to collect more data to support the precision we want from a model.

  • Self-adaptive Inclusion Fee model In this FLIP we propose a fixed-coefficient linear equation, however the hardware configuration, network capabilities and even Flow itself may change. In these cases, the coefficients we have now may not give optimal inclusion fee calculations accordingly. It will be ideal if we can have a self-adaptive mechanism, to automatically adjust parameters of the inclusion fee model, to continuously produce appropriate inclusion fee calculation.

  • Checking balance of payer to see if Inclusion Fees can be covered in access\collection nodes When we have a dynamic inclusion fee, we will have to check if a certain payer’s account balance can cover this new inclusion fee.

  • More infrastructure setup is nice-to-have for easier metrics collection in future As previously mentioned, for almost all existing testing environments(localnet, benchnet, canary), we had to do a trial-and-error method to collect one stable peak TPS with a given configuration. This process is a very cumbersome manual process and it does not scale with the number of metrics to collect. So in future when we need to collect similar metrics, we may want to have an easier or even automated process. It will enable us to collect relatively comprehensive metrics data for our future data related work. At the time of writing, the automation team has been actively working on this already.

References