The History of Casper  – Chapter 4

Casperの歴史 – 第4

この章では、経済モデリングの前提条件に根本的な変化をもたらしたイベントについて説明します。 これらの変更は、イーサリアムの研究チーム(少なくともキャスパーとシャーディングの取り組みのために)で開発するために努力している分析とアーキテクチャの基礎となる方法論の基礎を表しています。 この章で紹介したデザイン思想(imho)は、イーサリアムで行っている作業と、空間内の他のすべてのプロジェクトで行われている作業を強く区別しています。

前回の記事をご覧になられていない方はこちら

The History of Casper – Chapter 1
The History of Casper – Chapter 2
The History of Casper – Chapter 3

 

Meet The Oligopoly

201412月、Matthew Wampler-DotyMWD)がイーサリアムの研究チームに加わりました。

MWDと私は初期のシャーディングプロトコルで経済モデリングについて議論しました。私は、その保証の安全性について考えたとき、賄賂を用いた敵対者が特定のシャードでプロトコルの失敗を引き起こすために費やさなければならない予算について排他的に考えたかったのです。 MWDは、シャード内のデポジットの分布がパレート分布からサンプリングされたと仮定していると言った。私たちは互いに話し合った。なぜなら、デポジットの分配が必ずしも攻撃によって失われたデポジットの量に必ずしも影響を及ぼすわけではなかったからです。彼は私に「奇妙な直線性の仮定」をしていると非難しました。これは、私が賄賂の敵対的モデルを通してでは理解できなかったものです。これが富の集中がパブリックブロックチェーンの経済分析に関連するかもしれないという最初のヒントでした。

20151月、Matthew Wampler-DotyJae KwonEthan BuchmanZackary HessPink Penguinと私はサンフランシスコで一緒に過ごしました。私たちの時代は、Cryptoeconomicon 1から始まりました。Jae KwonDominic WilliamsZack Hess、そして私はPoSの発表をしました。私は情報セキュリティの目標を達成するために経済的に適用されるcryptoeconomicsに関するプレゼンテーションを行いました。 MWDは、どの取引をブロックに含めるかを選択することで、イーサリアムのマイニング収入を最大化する問題は、少なくともナップザック問題と同じくらい難しいことを示した話をしました。

Matthew Wampler-Dotyはある夜、興奮して私に語った。

彼は、残りのバリデーターから確定されたブロックを作る必要はないので、セキュリティ預託金の2/3以上のTendermintバリデーターのカルテルが形成されると説明した(これらの非カルテルバリデーターは、セキュリティデポジット)。これらのノードの1/3以下は検閲され、最終的にバリデータセットから削除されます。2/3以上の保証預託金を持つ新しいカルテルが形成され、このプロセスは[最大でも] 2つのバリデーターが残るまで続きます。

この議論は大きく心に響きました。それは、私がパブリックブロックチェーン空間で経済モデリングとゲーム理論について考える方法を根本的に変えました。それは、効率的/競争的経済モデルから寡占モデルへの最初の具体的な動きでした。分析単位を個々のバリデーターからバリデーターのカルテルに変更しました。それは「普通の」(独立した選択)ゲーム理論から社会的選択/協力ゲーム理論への移行を表しています。

これは賄賂の敵対的モデルからの大きな変化でした。すべてのノードが喜んで賄賂を受け入れることを前提とするのではなく、利益を最大化するカルテルが形成され、カルテル以外のバリデーターが戦略選択を調整していないと仮定しました。私は、一定の規模のカルテルがプロトコルの保証を損なうと、どれくらいのお金が失われるのかという点で、経済的な安全性を見ることができます。

私たちの研究チームは今や経済的安全性のもう一つの有用なモデルを持っていました。

しかし、賄賂を使う敵と異なり、このモデルは非常に現実的です。仮想通貨は非常に集中しています。マイニング権もそうです。寡占的な競争というのは現実の市場では一般的です。相対的に裕福な少数のバリデーター間の調整は、多数の比較的貧弱なバリデーター間の調整よりはるかに容易である。我々の文脈では、カルテル形成は完全に予想される。

ですからこれは、今日までに私がどのようにCasperを動機づけるデザイン哲学に尽力したかなのです。

Blockchain architecture is mechanism design for oligopolistic markets.
(ブロックチェーンアーキテクチャは、寡占市場のためのメカニズム設計です。)

(正しく実行された場合、少なくとも

ありがとうMatthew、あなたの貢献は私の仕事のすべてに非常に重要で永続的な影響を与えましたあなたは私のヒーローです!

Blockchain architecture is mechanism design for oligopolistic markets.というフレーズが印象に残る章でした。途中Vladが考えを改めたように、仮想通貨市場(ブロックチェーン市場)というのは寡占市場であることを認識するのであれば、利益を最大化するためにカルテルが形成されます。それを前提としてメカニズムデザインを用いたプロジェクトの設計が必要だとVladは言っています。

カルテルの形成を前提としたメカニズムデザインというのは、カルテルを組んだバリデータが利益を最大化する(所望の性質を得る)ために、どのような仕組みを作っていくのかを設計段階で考える必要があるということです。そして、合理的なバリデータの利益を最大化することが経済的安全性に繋がり、非合理的な悪意あるバリデータを抑制することができます。

 

A call to action

歴史からいったん離れて、プロトコル保証を損なうことから直接利益を受けるカルテルを最大限にする利益を特定して、世界からブロックチェーンプロジェクトを見直してみます。

どのPoWブロックチェーンのマイナーの51%のカルテルは、非カルテルマイナーを検閲する直接的なインセンティブを持っています。これは、ブロック報酬からの収入をほぼ倍増させます(難易度調整後)。この問題は、ビットコイン、イーサリアム、Dogecoin、およびZCashに存在します。(私の中でもっとも顕著な例をあげます。)

任意のナイーブなPoSプロトコルの採掘されたコインの51%のカルテルは、検閲しているカルテル以外のメンバーから直接利益を受け取るまったく同じ能力を持っています。NXTPPCNEM – これらのことを考えています。

一貫性を優先する「伝統的」コンセンサス・プロトコルの接続されたコインの67%のカルテルは、非カルテル・メンバーを検閲する同様の直接インセンティブを有する。これらのプロトコルの接続されたコインの34%はブロックを拒否することによってトランザクションを検閲することすらできる。(コンセンサス/確定を邪魔する)。cosmos(Tendermint)とPolkadot – これらを直接想定しています。

私の言う限りでは、この世界のすべてのプロジェクトは、カルテル分析の下で深刻な問題を抱えています。協調的なゲーム理論を使うことや、多くのゲーム理論を使うことは、あまり一般的ではありません。私たちの世界のプロジェクトの大部分は、欠陥のあるノード(または欠陥のあるステークの一部)があまりないという仮定に頼っています。非常に少数のマイナーやコインホルダー(またはよりエキゾチックなアーキテクチャの評価保持者)がコンセンサスの大半を支配する、寡占的な環境下にパブリックブロックチェーンが存在するため、フォールトカウントの仮定はパブリックブロックチェーンには適していません。

私は、寡占的な市場モデルとコーディネートされた選択ゲーム理論を実践の柱として採用するために、ブロックチェーン界のすべてのアナリストや設計士を呼びたいと思っています。彼らは絶対に現実的です。力の集中があると想定せず、参加者が戦略を調整する場合、クライアントは重大な不利益を被るでしょう。あなたはカルテルに対してクライアントを守るために残しています。

これらの例でプロトコル保証を提供することは難しいと思っていますが、これが私たちの状況です。カルテルがどこにいてもクライアントを脅かすことができない場所にソフトウェアを導入することの難しさは、あなたのクライアントへの関心を怠ったことに対する言い訳ではありません。

このキャスパーの歴史の残りの章では、私がキャスパーを定義する歩みを文書化します。

 

Reference

The History of Casper – Chapter 4

View story at Medium.com

CoinPicks Lab内では以上のテーマでもう一歩踏み込んで解説しております。
もっと知識を深めたい方はLabでお待ちしています。
CoinPicks Labとは? | CoinPicks|仮想通貨の価値を伝える


関連記事

  1. The History of Casper – Chapter 3

  2. イーサリアムのトークン規格「ERC223」を深掘り

  3. イーサリアムの耐シビルアタックとコンセンサス

  4. The History of Casper  – Chapter 5

  5. The History of Casper – Chapter 2

  6. The History of Casper – Chapter 1

  7. イーサリアムのトークン設計

今井 涼二

今井 涼二

2015年より暗号通貨を追及中。2018年からは大麻産業の動向も同時に追いかけています。CoinPicksでは「仮想通貨の価値」をテーマに一歩踏み込んだ情報を配信していきたいと思います。

プロフィールを表示 →

仮想通貨の質問箱 – LINE ver

新着記事

人気記事

PAGE TOP