Proof of Importanceを読み解いてみた
本記事の目的
- Proof of Importanceで用いられている数学的計算の読解
基本的にNEMのホワイトペーパーの内容に沿って説明します。有志による日本語訳も出ているため、原文(7. Proof of Importance(重要度の証明) · GitBook)を読んで理解できる人は読む必要はありません。 よく見かける「数学的な計算によってネットワークに貢献したノードの重要度を上げる」というふわっとした部分を掘り下げていきます。効率的にインポータンスを上げる方法といった話ではないので悪しからず。
なるべく誰でも理解できるよう、前提知識としては高校数学程度を想定します。行列について知らない方は、いくつかのベクトルを並べてまとめて扱うものくらいの認識で結構です。
目次
1.スコアの計算方法
先に結論から。重要度スコアは次式によって求められます。
normalizeは正規化するという操作で、ここではベクトルの大きさ(ノルム)を1にします。
ここでは、というベクトルを正規化します。はかの大きい方を表します。(ex. )
は権利確定済みのXEMの量(残高)です。(参照:2.1 アカウントの状態 · GitBook)
は重み付きの正味のアウトリンク(2.アウトリンク行列 参照)です。おそらくですが重み付きトランザクションの総和だと思われます。
正規化する意味としては、が1万を超える大きな数になりスコアが無駄に大きくなるのを防いでいるのと、スコア後半部分のNCDawareRankのノルムも1なのでそれに揃えるという意味があるのかと思われます。
はNCDawareRankのスコア(3.NCDawareRank 参照)です。重要度に応じてアカウントに点数(Rank)をつけたものです。
はグラフの構造的トポロジー(形状・性質)を考慮するための重みベクトルです。アカウントがクラスタのメンバーであれば1、クラスタに属さない外れ値・ハブは0.9倍のスコアとなります。(クラスタ:性質の似たアカウントをグループ化し、まとめたもの)
とは定数で、それぞれ1.25、0.1337です。
本筋とは逸れますが少し見やすくすると
イメージとしては、(残高 + 送金量 + Rank)×(補正) といった感じでしょうか。
さて、とりあえず計算に必要なものはすべて出揃いました。
2.アウトリンク行列
アウトリンク(outlink)とは外へのリンク、つまりXEMの送金のことを指します。どのアカウントがどのアカウントへどれだけのXEMを送金したのかを表す行列がアウトリンク行列です。といっても全てのトランザクションが対象となるわけではなく、いくつかの条件があります。①送金元、送金先のアカウントは共に、権利確定したXEMを10000XEM以上保有している ②1000XEM以上の送金である ③最新ブロックから過去43200ブロック以内(約30日分) の三つの条件を満たすトランザクションが、この行列の要素を計算するための対象となります。
最初に生成されたブロックから何番目のブロックであるかを示すものとしてブロック高を定義し、現在のブロック高をとします。アカウントからアカウントへXEM送金したトランザクションをとし、が含まれるブロックのブロック高をとすると、重みを付けた送金トランザクションは次式で表されます。
()
は床関数というもので、を超えない最大の整数を表します。(ex. , )
(おそらくですが、手数料も含めた量かは不明)
は最新ブロックからの深さを表し、1分あたり1ブロック生成されるとすると1日で1440ブロック生成(60×24)されるので、はトランザクションが何日前に生成されたかを表します。
例えば6日前( ~ )に生成された10000XEMの送金に重みを付けると、
となります。過去30日分のトランザクションを追いますよ、古いものほど価値は下がっていきますよ、ということです。さらに送金のアカウントペアが同じであるトランザクションは合算します。
(30日分の→のトランザクションを足す)
ここで、
とおきます。(原文は減算が逆になっていますがおそらく誤植) otherwiseはその他の意。同じアカウント間の送金、入金はキャンセルし合います。最終的にアウトリンク行列の要素は以下のように表されます。
各要素を各行の総和で割っているのは、各行の総和を1に揃えるためです。行列の第行をみると、アカウントがどのような割合(確率)で別のアカウントに送金しているかが分かります。
スコアの計算でのアウトリンクは総和を揃えては意味がないので、アカウントのアウトリンクは
でしょうか。(記載なし)
同じアカウント間の送金、入金は相殺され、30日間で総合したものが行列の要素となります。要素はアカウントからへ送金されたXEMの重み付き総フロー量であり、が正の値ならば、の値は0となります。
3.NCDawareRank
NCDawareRank(Nearly Completely Decomposable:ほぼ完全に分解可能な)とは、ノードの重要度を測る一つの指標です。ランク、つまりアカウントに点数をつけて順位付けを行います。アカウントをいくつかのグループに分類し、グループごとの結びつき、関係を考慮してランクを決定します。もっと正確に言うと、XEMの移動に注目して、どのような確率で、どのアカウントをXEMが移動していくかを計算します。おそらくこの計算が一番わかりにくいかと思います。
さて、ここで少しグラフ理論について触れておきます。さすがに前提知識ゼロでは厳しいので、マルコフ連鎖のイメージや推移確率行列(遷移確率行列)について簡単に把握しておいてください。
(参考:マルコフ連鎖の基本とコルモゴロフ方程式 | 高校数学の美しい物語)
ここでいう天気はアカウントに対応します。この章での数学的計算の目標は、遷移確率行列のすべての固有値の中で最大の固有値を探し、その最大固有値に対応する固有ベクトルを求めることです。この固有ベクトルの各要素が各アカウントのRankとなります。NCDawareRankを計算する上での遷移確率行列は
です。はアウトリンク行列、はレベル間近似度行列、はテレポーテーション行列です。をNCDawareRankとすると、
( )
として、べき乗法で固有ベクトル(NCDawareRank)を計算することができます。(参考:べき乗法 - Wikipedia) ,はRankへの寄与率を表すもので定数なので代入してあります。つまりアカウントに到達したXEMには三つの移動の方法があり、①通常の送金 ②性質の似たアカウントへの送金 ③ランダムな送金で、それぞれの確率は70%、10%、20%となっています。
との求め方について説明していきます。
を権利確定済みのXEM残高10000以上の全アカウントの集合とします。あるアカウントに対して、から受け取ったXEMの方が多いアカウントの集合をとします。(の第u行で値の列)
を互いにほぼ分離可能(NCD)な部分集合としてに分割します。(4.クラスタリング 参照) 任意のに対して、となるがただ一つ存在します。(部分集合は共通部分を持たない=NCD)
このとき、の近接アカウントの集合は
と定義できます。少しわかりにくいでしょうか。自身を含んでいるNCDブロック()と、が送金(トータルで正の値)したアカウント()を含むNCDブロック()の和集合として、近接アカウント集合を定義しています。に含まれるNCDブロック()の数をとします。
このときレベル間近似度行列の要素を
として定義します。アカウントがの近接アカウント集合に属しているとき、近似度は近接アカウント集合に含まれるNCDブロック数とが含まれるNCDブロック内のアカウント数を掛けたものの逆数になります。
べき乗法で最大固有値の固有ベクトルを求める際、要素に0を含む非負の行列であるときの必要条件は、行列が既約である(任意のアカウントから任意のアカウントへXEMが移動できる)ことです。(ペロン=フロベニウスの定理)
PoIの計算に参加できる資格はあるが一度も送金をしていなかったり(もしくは入金のほうが多い)、いくつかのアカウントで送金ループを形成していたりした場合、XEMが任意のアカウントへと移動できません。これを解消するために最後にテレポーテーション行列を導入します。テレポーテーション行列を以下で定義します。
は全要素が1のベクトル、はテレポーテーション確率のベクトルです。簡単にいうと一定の確率で任意のアカウントへの移動を許します。全アカウント数が1万なら1万分の1の確率で任意のアカウントへ移動します。これによりは既約行列という条件を満たせました。
べき乗法による収束が保証されたため、あとはプログラムで計算することができます。
4.クラスタリング
レベル間近似度行列を計算する際に、どのように全アカウントをNCDブロックに分類(クラスタリング)するかについて説明します。さらに複雑になるので興味のない方は飛ばしてしまっても大丈夫です。
アカウント集合をノード、1000XEM以上の重み付き送金トランザクションの集合をエッジとし、とからなるグラフを考えます。
自身を含む構造的隣接アカウント集合を
とします。はアカウント間のエッジを表しています。つまり送金が行われているアカウント群は隣接しているとみなします。アカウントとの類似度は隣接アカウント集合を用いて
と表されます。は集合の濃度(大きさ)を表しており、有限集合の場合は要素数を指します。共通部分が多いほど類似度は高くなり、それぞれの要素数が多くなるほど類似度は低くなります。隣接集合の中でも、類似度の閾値をとした構造的隣接アカウント集合を(-近傍アカウント集合)とします。
はの部分集合で、「と送金関係がありその中でも構造的に似ているアカウント群を集めた」集合です。次にクラスタを拡張する際の中心となるコアノードを以下のように定義します。
つまり、-近傍アカウント集合の濃度(要素数)が以上のアカウントがコアとなりえます。はクラスタの最小サイズをコントロールするものです。NEMでは、類似度の閾値となっています。コアノードを中心にクラスタを形成し、がクラスタの最初のメンバーとなります。がコア、がのメンバーであるとき、アカウントは「構造的直接到達性をもつ」といい、
で表します。
アカウントから二次の距離にあるアカウント集合は次のように表されます。
はのメンバーです。(を除く) つまり二次の距離とは、と直接送金の関係はないが、経由でつながっている関係です。最初の起点となるアカウントから二次の距離にあるアカウントの中から、コアノードとなれるアカウント(が新たなクラスタを形成します。同様の手順でのメンバーの類似度を計算し、直接到達性のある-近傍アカウントをクラスタに加えていくわけですが、このとき、最初の起点としたから直接到達可能な、すなわちは計算から除外します。二次の距離にあるアカウントを拡大していくとき、以下の手順で進められます。
ややこしいですが、上記の文章を数式化しただけです。全ノードの計算が終わると、全ノードについて以下をチェックします。
1.複数のクラスタに属しているノードがある場合、そのクラスタを結合する。
2.どのクラスタにも属さないノードは、2つ以上のクラスタとつながっていればハブ、そうでなければ外れ値とみなす。
クラスタに属していないのにクラスタとつながっていると聞くと不思議に思うかもしれませんが、類似度が閾値を超えているものだけをクラスタのメンバーに加えていくので、送金の関係があったとしてもクラスタには属さないという状況が起こりえます。以上で「ほぼ」完全に分離可能なブロック(NCDブロック)が形成されました。
5.まとめ
最後にもう一度スコアの計算方法を見てみましょう。
あるアカウントのインポータンスを計算するとき、まず権利確定済みの残高をみます。
次にそのアカウントの過去30日間の重み付き送金トランザクションの総和を計算します。
次にそのアカウントのNCDawareRankを計算します。
最後にそのアカウントがハブまたは外れ値に該当していないか判定します。
以上の数値を用いてスコアが導かれます。
・数値例
3アカウントa,b,cの残高、アウトリンク、NCDawareRankとし、aとbはクラスタに属するアカウント、cはハブとします。このとき
より、
となり、各アカウントのスコアはとなりました。(数値設定はかなりいい加減に選んだのでご容赦ください。正規化に関しては表記がなかったので1-ノルムで計算しました。)
いかがでしたでしょうか。
Proof of Stakeの課題を解決している?富めるものが更に富む仕組みは変わっていない?改善の余地は?といった議論に花を咲かせてみるのもよいのではないでしょうか。
ほとんどのものはトレードオフの関係にあり、何がベストとは一概に言えない部分もあります。の値が小さいため、スコアの大部分を残高が占めているところが個人的には懸念点だと思っています。PoSの改良版という位置づけにもかかわらず結果的に残高重視なのはいかがなものかとは思いますが、残高の少ない弱者にも「それなりに」有利なアルゴリズムなのかなと。
勝手な解釈や不明な点も多々あるので、誤りがあればコメントしていただけると修正致します。
最後に。
富めるものが更に富む仕組みというのはいわば資本主義の原則のようなもので、これ自体に私は否定的ではありません。むしろ努力の如何に関わらず皆同列の社会主義的考え方は不平等とすら思います。PoWもPoIも例外ではなく富めるものが有利な仕組みです。しかし「有利」であるだけで、維持し続ける努力は必要となります。大企業がその財力をもって幅広く市場シェアを獲得するのに有利である一方、努力を怠ればやがて衰退し倒産するでしょう。この点はPoWもPoIも同様です。つまり富めるものが更に富む仕組みが問題ではなく、必要とされる改善・維持努力の程度が重要なのではないかと。このハードルの高さはそのまま「無駄の大きさ」につながり、逆にあまりに低いとそれはやはり「不平等」なのでしょう・・・。