| 研究課題/領域番号 |
21H04872
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
首藤 一幸 京都大学, 学術情報メディアセンター, 教授 (90308271)
|
|---|
| 研究分担者 |
斉藤 賢爾 早稲田大学, 商学学術院(経営管理研究科), 教授 (10383928)
坂野 遼平 工学院大学, 情報学部(情報工学部), 准教授 (30832521)
|
|---|
| 研究期間 (年度) |
2021-04-05 – 2025-03-31
|
| キーワード | ブロックチェーン / 安全性 / 分権性 / トリレンマ |
|---|
| 研究実績の概要 |
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年度が最終年度であるため、記入しない。
|
