ブロックチェーン合意形成プロトコルのゲーム理論的安定性について

区块链共识协议的博弈论稳定性

• 批准号: 22K01406
• 负责人: 野口 光宣
• 金额: $ 1.66万
• 依托单位: Meijo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K01406/
• 关键词: ブロックチェーンゲーム; ブロックチェーンとゲーム理論; プールマイニングと協力ゲーム; ブロックチェーン; マイニング; 仮想通貨; ビットコイン

１）ビットコインのブロックチェーンでは、未使用残高の所有権の証明や取引記録の真正性の検証に、楕円曲線暗号技術に基づく電子署名が用いられる。この基盤技術ともいえる、暗号技術の仕組みを理解するには、有限体の理論やガロア理論の知識が不可欠となる。その認識の下、有限群論から無限次ガロア拡大までを網羅する、自己完結的で、かつ、ゲーム理論研究向けの解説書（原稿段階）を作成した。２）トランザクションの作成から、署名およびその追加、そして署名検証に至るまでの一連の処理を、通常のWindows環境でシミュレーションするための手順やソースコードを整理した。ビットコインの開発・実験用のテストネットと、オブジェクト指向言語およびそのライブラリーを用いて、エンジニア交流サイト等に分散する情報を参考にしながら作業を進めた。一連の流れを体系的にまとめることができたので、トランザクション処理の仕組みや問題点を理解するための、経済学者向けの解説書の下地として使う予定である。３）ゲームの定義式が微小に変化しても、解の様子は大きく変動しないという意味でのいわゆる概安定性は、単なる均衡解存在という意味での安定性を超えた、いわばゲームのシステム的安定性であり、ゲーム理論の予測信頼性（測定誤差耐性）の根拠ともなり得る重要な性質である。これまでの、筆者のアプローチによる概安定性の証明には、積確率分布のディスインテグレーションの理論が不可欠であり、これに関してはHofmann-Jorgensen（1971）が標準的な理論であるが、戦略空間のラドン性、ディスインテグレーションの概確定性といった制約があるので、根本から研究しなおす必要がある。関連する論文を精査したところ、有用な証明や理論が種々の論文に分散していたので、それらを系統的にまとめてみた（将来、内容拡充の上公表予定）。

1）在比特币区块链中，基于椭圆曲线加密技术的数字签名用于证明未使用余额的所有权并验证交易记录的真实性。要了解可以认为是基础技术的加密技术的机制，有限领域和Galois理论的知识至关重要。基于这种认可，我们为游戏理论研究创建了一本独立的，解释性的书（手稿阶段），涵盖了从有限的群体理论到无限Galois的扩展。 2）已经组织了从创建交易到签名到签名的一系列过程的步骤和源代码，并在普通Windows环境中添加到签名验证。使用测试网络进行比特币开发和实验，面向对象的语言及其库，我们继续使用跨工程师交换站点的信息进行了参考的工作。由于我们能够系统地汇总流程的顺序，我们计划将其用作经济学家的评论基础，以了解经济学的评论，以了解交易处理的机制和问题。 3）所谓的一般稳定性在某种意义上是，即使游戏的定义公式在较小的程度上变化，解决方案也不会发生显着变化，换句话说，在游戏理论中，游戏理论中的预测可靠性（测量误差）的基础也可以是一种重要的属性，并且也可以成为一种重要的属性，并且在游戏理论中也可以成为一种重要的属性，这也不是稳定性的。产品概率分布的瓦解理论对于使用作者的方法证明了一般稳定性至关重要，尽管Hofmann-Jorgensen（1971）是标准理论，但存在限制，例如战略空间的辐射和崩解的一般确定性，因此必须从根部重新研究。在彻底研究了相关论文后，在各种论文中分发了有用的证据和理论，因此我们系统地汇总了它们（将来，内容扩展和发表）。