- 著者
-
田中 圭介
河内 亮周
安永 憲司
小柴 健史
- 出版者
- 東京工業大学
- 雑誌
- 基盤研究(B)
- 巻号頁・発行日
- 2017-04-01
本研究の目的は、インセンティブの設計を様々な暗号技術 (電子署名・相手認証・ブロックチェーン技術) に拡張することである。このため、研究課題を2つ設定し、各課題に対して研究期間を大きく3つに分けている。課題(A)の既存暗号技術に対するインセンティブ設計では、合理的証明にもとづいた委託計算で利用されている報酬の技術的な設定手法を電子署名や相手認証などへ応用し、さらにその手法をその他の技術へ適用可能な形へ一般化させる。課題(B)のブロックチェーンに対するインセンティブ設計では、ブロックチェーンに対して適切にインセンティブを設定する手法を考案し、そのインセンティブの設定を、課題(A)で発展させたインセンティブの技術的設定手法で実現する。課題(A)に対しては、今年度は2018年度までに行った第1フェーズ「インセンティブ設計技法に関する調査と研究」で得られた知見を活用し、第2フェーズ「インセンティブを用いた電子署名・相手認証のモデルと技術の設計」を行った。今年度は特に、これらの要素に密接に関わるSecure Message Transmission (SMT)と呼ばれる要素に着目し、複数ある通信路がすべての敵に支配されたとしても、合理的な敵を考える場合には、安全に通信を行うことができることを示した。課題(B)に対しては、今年度は2018年度までに行った第1フェーズ「ブロックチェーンに関する調査と研究」で得られた知見を活用し、第2フェーズ「インセンティブを用いたブロックチェーンのモデルと技術の設計」を行った。典型的なproof-of-workにおいてはハッシュ関数の特定の要件を満たす値を出力するような入力を見つけることが行われている。これはある種の計算問題を解くことに対応しており、この問題を別の計算問題に置き換えたときのインセンティブ設計についての可能性についてに考察を行った。