| 研究課題/領域番号 |
21H04872
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
首藤 一幸 京都大学, 学術情報メディアセンター, 教授 (90308271)
|
|---|
| 研究分担者 |
斉藤 賢爾 早稲田大学, 商学学術院(経営管理研究科), 教授 (10383928)
坂野 遼平 工学院大学, 情報学部(情報工学部), 准教授 (30832521)
|
|---|
| 研究期間 (年度) |
2021-04-05 – 2025-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
41,470千円 (直接経費: 31,900千円、間接経費: 9,570千円)
2023年度: 11,830千円 (直接経費: 9,100千円、間接経費: 2,730千円)
2022年度: 10,790千円 (直接経費: 8,300千円、間接経費: 2,490千円)
2021年度: 8,060千円 (直接経費: 6,200千円、間接経費: 1,860千円)
|
|---|
| キーワード | ブロックチェーン / 安全性 / 分権性 / トリレンマ / インセンティブ整合性 |
|---|
| 研究開始時の研究の概要 |
ブロックチェーンの安全性、分権性、インセンティブ整合性を向上させる。ブロックチェーン、DAGの構成法を網羅的に調査・整理し、攻撃手法の調査・考案・評価を数理的・実験的に行う。これにより、持続可能性を備えたブロックチェーンの構成法を確立する。
|
| 研究実績の概要 |
2017年、Buterinが経験則として提唱し、それ以来広く信じられてきたブロックチェーントリレンマを表す数式を発見した。以下は、その経緯である。安全性の研究を進める中で、セキュリティ指標であるフォーク発生率Fを厳密に算出する式を見出した（Sakurai，ICCE 2023）。Fを表す数式をよく観察すると、その中に安全性と性能が現れていることに気がついた。安全性と性能は、トリレンマが扱う3要素のうちの2要素である。ということは、この式を適切に変形することでトリレンマを表す数式を得られるかもしれない、と発想した。結果、Proof of Workにて、フォーク率の逆数をセキュリティとする数式を得ることができた。
安全性：ブロック伝搬の高速化手法をいくつか発表した（Sakurai，ISCC 2023）（Hasegawa，ISCC 2023）。fork choice ruleがあってもなおどのチェーンを正規とみなすか？という問題を解決する手法を提案した（櫻井，SCIS 2024）。性能向上のために行うブロックサイズ増加とブロック生成時間短縮のどちらがセキュリティへの影響が大きいかを調べた（Nakai，ICCE 2024）。Bitcoinにおいて、半減期が二重支払い攻撃の合理性をどう左右するか？を調べた（中井，信学会 研究報告）。
|
| 現在までの達成度 (段落) |
令和5年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和5年度が最終年度であるため、記入しない。
|
