Tezosはどのようにmempoolを管理していますか？

Question

Tezosはどのようにmempoolを管理していますか？

- 7
- 182 2019-02-01
@ArthurBから、mempool管理は新しいブロックチェーンを開発する上での中心的な側面の1つであると聞きました.これは、チェーン内の残高を表す方法、つまりUTXOとアカウントモデルの選択によって影響を受けます.

Tezosはスマートコントラクトを管理できるチェーンであるため、ユーザーとコントラクト間のやり取りを容易にするためにアカウントモデルがより表現力豊かである理由については十分な議論があります.たとえば、ここを参照してください

UTXOとアカウントモデル

mempool管理に関しては、UTXOを使用すると、マイナーが含めるトランザクションのサブセットを簡単に選択できるようになると聞きました.これは、最終的なチェーン状態が、アカウント内で適用されるUTXOの順序とは無関係であるためです.契約を結ぶトランザクションの順序をモデル化すると、最終的な状態に影響を与える可能性があります.

アカウントモデルによるmempoolの「非可換性」は、Tezosのmempool管理戦略に課題をもたらしますか?

I heard from @ArthurB that mempool management is one of the core aspects of developing a new blockchain. This in turn is impacted by the choice of how to represent balances in the chain, namely UTXO vs account model.

Since Tezos is a chain that can manage smart contracts there are good arguments on why account model is more expressive to facilitate interactions between users and contracts. See here for example

UTXO vs account model

On the flipside when it comes to mempool management i have heard that UTXO makes it easier for a miner to choose any subset of transactions to include because the final chain state is indifferent to the order of those UTXO being applied whereas in an account model the order of transaction hitting a contract may impact its final state.

Does "non-commutativity" of the mempool due to account model create challenges for the mempool management strategy in Tezos ?

mempool utxo account

- 必要な情報が提供されていることがわかった場合は、回答を受け入れてください
  
  please accept the answer if you've found that it has provided you the necessary information
  - 2
  - 2019-02-03
  - Sm00g15

1 回答

投票

Amit Panghal · Answer 1 · 2019-02-02

4

2019-02-02

確かに、「非可換性」には課題があります.Mempoolの管理は、インセンティブメカニズム、つまりパン職人の戦略と密接に連携しています.テゾスでは、私が知る限り、承認操作は、作成するブロックの適合性を決定し、したがってそれが正規チェーンの一部になる可能性を決定するため、優先順位が高くなります(パン屋が好む).

現在、ブロックサイズに制約があり、トランザクション料金を最大化するナップザックを使用して、他の操作がブロックに追加されています.したがって、操作が適用される順序によって、mempoolの一部の操作が無効になる場合があります.

ありがとう！knapstackとは何かについて詳しく教えてください.また、あなたがそれに精通している場合、mempool管理に関連するtezosのコードベース内の場所は何ですか?

Thanks! Could you please expand on what is knapstack ? Also what is the location in the code base of tezos that relates to the mempool management if you are familiar with it ?
- 0
- 2019-02-02
- Ezy
また、特定の操作が他の操作よりもパン屋に好まれる理由(承認、高額)について回答しましたが、非可換性が実際にどのように処理されるかについては、まだ完全には理解していません.

Note also that you have answered why certain operations would be preferred by bakers before others (endorsements, high fees) but i don't fully grasp yet from your answer how non-commutativity is dealt with in practice.
- 0
- 2019-02-02
- Ezy
詳細ナップサックはここ(https://en.wikipedia.org/wiki/Knapsack_problem)にあります.ブロックサイズの制限内でブロック内に多くの操作をパックし、合計tx料金を最大化することが不可欠です.単一のアカウントからの「非可換性の処理」操作は常に順序(アカウント+ナンス)であり、1つの操作(同じナンス)のみが実行され、他の操作は無効になります.これは、実際には、操作が正規のチェーンに入る順序です.ベイカーは、州への影響に基づいてオペレーションを含めるという決定に実際には基づいていません.

Details Knapsack can be found here (https://en.wikipedia.org/wiki/Knapsack_problem) . essential packing as many operations in block within block size limit and maximizing total tx fee. "Dealing with non commutativity" operation from a single account are always in a order (account + nonce), only one of the operations (with same nonce) will be executed, others become invalid. It is just really the order in which operation enter the canonical chain. Bakers don't really base their decision to include operation based on their effects on state.
- 2
- 2019-02-02
- Amit Panghal