2023 Fiscal Year Annual Research Report
ブロックチェーンを持続可能にする数理的・実験的研究
| Project/Area Number |
21H04872
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
首藤 一幸 京都大学, 学術情報メディアセンター, 教授 (90308271)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
斉藤 賢爾 早稲田大学, 商学学術院(経営管理研究科), 教授 (10383928)
坂野 遼平 工学院大学, 情報学部(情報工学部), 准教授 (30832521)
|
|---|
| Project Period (FY) |
2021-04-05 – 2025-03-31
|
| Keywords | ブロックチェーン / 安全性 / 分権性 / トリレンマ |
|---|
| Outline of Annual Research Achievements |
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において、半減期が二重支払い攻撃の合理性をどう左右するか？を調べた（中井，信学会 研究報告）。
|
| Research Progress Status |
令和5年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和5年度が最終年度であるため、記入しない。
|
