Taiko Fee&Gas Tokenomics Thread

šŸ”¬ Research
1

Currently, Taiko is in the Alpha 4 stage, and has two tokenomics, I am researching Taikoā€™s Transaction cost. Iā€™m writing to ask you for help because itā€™s not detailed in Documents. If you know anything about Fee or Tokenomics, please leave a reply Thank you.

  1. Ethereum - Taiko (L2) : proving design tokenomics
  2. Taiko (L2) - Taiko (L3) : staking based design tokenomics

(In this discussion, weā€™ll focus on the first case)

here are the resources Iā€™ve found so far for taikoā€™s talkonomics:

image
image1208Ɨ866 127 KB

I was wondering where the L1 tx fee and prover fee are calculated here, but I couldnā€™t find it anywhere.

image
image2940Ɨ1250 299 KB

As for Tokenomics, I fully understand that the current parameter variable value is in the research process. I have deduced the Taiko fee mechanism from the status dashboard shown in the current testnet phase.

image

above figure is a diagram that can be found in the ā€˜Fee and Tokenomicsā€™ chapter of the taiko whitepaper.
So far, it looks like their tokenomics is to burn $TTKO in Proposer and mint $TTKO to Prover.

So Iā€™m learning the theoretical concept of how this $TTKO quantity is defined from the paper, but I couldnā€™t find any implementation in the source code.

Can someone share some better resources to help me understand or give me some clearer fomulas?

and suggest adding [tokenomics] option tags under the [research] category.

Thank you for reading it :slight_smile:

(add contents)

I find about transaction cost in explorer.
these tnx isTransfer Function, the GasUsed was 21,000 and the GasPrice was 1.85 gwei, so I know that GasUsed * GasPrice = TxCost(0.00003944 ETH), which is the same as how fees are calculated in Ethereum.

Doesnā€™t the user have to pay for the fees that happen between the proposer and the prover? It looked like they only pay the l2 execution fee.

7 Likes
2

Hey, aka!

So cool youā€™re interested in Taiko tokenomics, thank you so much for that!

Iā€™ll try to answer some of your questions, provide some resources, and we can continue the discussion further.

  1. ā€œwhere the L1 tx feeā€ ā€“ it is calculated on Ethereum :slight_smile: To post a block to L1 and to post a proof of this block to L1, L2 uses regular L1 txs. So its cost is defined independently of L2 (in the same manner if you just want to make an L1 tx on your own in your wallet).

  2. Prover fee depends on specific prover design. For currently used stake-based tokenomics, the prover reward is defined by prover. That is, before joining as a prover, it claims ā€œI am ready to generate proofs at this reward per gas Rā€.
    However, R should be not less than 0.75% * F and not larger than 1.25% * F, where F is the current fee per gas, calculated as an average based on historical values.

You can check the detailed description of this design in section ā€œStaking based proving design (Eldfell L3, Alpha-4 testnet)ā€.

  1. On your screenshot, green box is L2 tx fee, not L1.

  2. The diagram from whitepaper might be not very up-to-date already, as a lot of experiments with tokenomics take place. The note linked in the previous paragraph seems to be the most relevant right now. And we will do our best to provide more documentation soon :slight_smile:

If you are interested in proving designs in general, check also this note.

6 Likes
3

Oh! thanks, @lisaakselrod

I still have a few questions remain.

it is calculated on Ethereum :slight_smile: To post a block to L1 and to post a proof of this block to L1, L2 uses regular L1 txs.

This sounds like the cost of calldata to post a batch on Ethereum. (such as, calldata size calculate zero - 4byte, non_zero - 16byte) If so, where can I find a formula for this?

Prover fee depends on specific prover design. For currently used stake-based tokenomics, the prover reward is defined by prover.

Is this the documentation that describes what youā€™re talking about? Iā€™d like to see it implemented in the source code.

When I checked the tx via Explorer, the final tx cost was gasUsed * gasPrice according to the naive formula, which I guessed would not include the ā€œprover feeā€ and ā€œl1 feeā€ in between.

Could you correct me if I am misunderstanding something in the above?

3 Likes