[論文レビュー] Social Choice Around the Block: On the Computational Social Choice of Blockchain

Davide Grossi|arXiv (Cornell University)|Mar 15, 2022

Blockchain Technology Applications and Security被引用数 4

ひとこと要約

本稿は、計算的社会選択（CC）が、公平で、頑健かつインcentive-compatibleなブロックチェーンコンセンサスメカニズムを設計するための根幹的な理論的基盤を提供することを主張している。公平な乱数によるブロック選択、投票ベースのコンセンサスにおける操作、信頼ベースのシステムにおけるSybil攻撃の抵抗性といった、主な課題を特定し、CCの概念が原理的かつ計算論的に根拠のある解決策を用いて、ブロックチェーン設計の核心的問題を解決できることを示している。

ABSTRACT

One of the most innovative aspects of blockchain technology consists in the introduction of an incentive layer to regulate the behavior of distributed protocols. The designer of a blockchain system faces therefore issues that are akin to those relevant for the design of economic mechanisms, and faces them in a computational setting. From this perspective the present paper argues for the importance of computational social choice in blockchain research. It identifies a few challenges at the interface of the two fields that illustrate the strong potential for cross-fertilization between them.

研究の動機と目的

• ブロックチェーンシステムにおける基本的設計課題に対処するにあたり、計算的社会選択（CC）の関連性を確立すること。
• 特に乱雑性、投票、信頼を含むコンセンサスメカニズムにおいて、CCとブロックチェーンの間の重要な接点を特定すること。
• ブロックチェーンにおける未解決の問題、たとえばブロック選択の公平性やSybil抵抗性を、社会選択理論における標準的問題として再定式化すること。
• CCがインcentive-compatibleで分散型プロトコルを分析・設計するための形式的ツールを提供することを示し、CCとブロックチェーン研究の相互浸透を提唱すること。
• 信頼メカニズム、ロトゥリーの公平性、操作耐性といった、CCの原則に基づく未開拓の研究機会を強調すること。

提案手法

• 社会選択メカニズムの視点から、既存のブロックチェーンコンセンサスプロトコル（例：PoW、PoS、Ripple/Stellar風の信頼ネットワーク）を分析する。
• ブロックチェーンメカニズムを古典的CC概念に対応付ける：ロトゥリー（乱数選択）、投票（ノードの合意によるコンセンサス）、信頼システム（影響力の伝播）。
• 社会選択理論における公平性基準（例：選択確率の均等性）を用いて、PoWおよびPoSにおける乱数的ブロック選択の公平性を評価する。
• 戦略的投票や社会選択理論における制御と類似する、投票ベースのコンセンサスにおける操作リスクを検討する。
• 偽名証明可能性（false-name-proofness）およびパワーインデックス理論を用いて、ノードの影響力とSybil攻撃耐性を定量化する信頼メカニズムを評価する。
• 形式的数学を避けるが理論的厳密性を保ちつつ、ブロックチェーンの課題をCC問題として概念的モデリングにより枠組み化する。

実験結果

リサーチクエスチョン

• RQ1 PoW や PoS における乱数的ブロック選択の公平性は、計算的社会選択の原則を用いてどのように形式的に定義され、保証されるか？
• RQ2 ブロックチェーンにおける投票ベースのコンセンサスは、どの程度操作可能であり、既存の戦略的非対応性（strategyproofness）に関するCCの結果はどのように適用可能か？
• RQ3 信頼ベースのコンセンサスプロトコルは、Sybil攻撃に耐性を持たせられるか？また、コストがかかるアイデンティティやパワーインデックスは、偽名証明可能性をどのように強化できるか？
• RQ4 コンセンサスの安全性を保つために、信頼ネットワークに満たすべき構造的性質は何か？そして、これらの性質はCCのツールを用いてどのように形式化できるか？
• RQ5 一部のノードが不釣り合いに高い投票力を蓄積する状況において、分散型コンセンサスにおける影響力はどのように定量化され、分散化できるか？

主な発見

• PoW や PoS における乱数的ブロック選択は、等確率選択などの社会選択基準を用いて公平性を評価でき、影響力の不均衡が顕在化する可能性がある。
• ブロックチェーンにおける投票ベースのコンセンサスは、古典的投票システムと同様に操作のリスクを有しており、CCはこうした戦略的行動を分析・緩和するためのツールを提供する。
• Ripple や Stellar における信頼ベースのコンセンサスメカニズムは、偽名証明可能性の概念を用いてSybil攻撃耐性を分析でき、コストがかかるアイデンティティが強固な設計への道筋を示す。
• 信頼ネットワークに重複する信頼集合の要件といった構造的制約が、コンセンサスの安全性を維持するために不可欠であり、グラフ理論的およびパワーインデックスに基づくモデルを用いて形式化できる。
• 社会選択理論におけるパワーインデックスは、信頼ベースのシステムにおけるノードの影響力を定量化するのに用いられ、分散性の評価や実質的な中央集権化の検出に役立つ。
• CCの原則をブロックチェーン設計に統合することで、公平性、安全性、インcentive-compatible性のバランスを取る原理的かつ体系的な手法が可能になる。