分12前回まで,BBc-1のメイン開発者である久保健氏による詳細な解説を行ってきました。ここで,連載の最終回として再び私にバトンが渡されることになりました。2019年1月で,Bitcoinの稼働から10年が経過しました。その間,さまざまな《ブロックチェーン技術》が派生して登場しました。この連載の初回でも説明を要したように,そもそもブロックチェーンが何のために発明され,本質的には何であるのか,といった基本的な部分の理解に未だ混乱があるようにも思えます。そのためか,市場にあふれる,ブロックチェーンを標榜する技術の多くは,あえて辛辣にいわせていただければ,単に改ざんが多少難しくなっているデータベースに過ぎないようにも見えます。本連載の締めくくりとなる今回と次回では,現状のブロックチェーン技術が抱える課題をもう一度改めて明らかにしつつ,その解決・解消に向けた次世代の取り組みをいくつか簡単に紹介します。Bitcoinが解こうしている問題とはさて,そもそも,ブロックチェーンが本質的には何であり,どのような機能的な役割を担っているかを正確に捉えなければ,課題を正しく把握することすらできません。短距離走者にとって,長距離を速く走れないことは課題ではないように,役割や機能に照らして初めて課題は課題として意味を持つからです。一度,ブロックチェーンの始祖であるBitcoinに立ち返ってみましょう。この技術は,どんな問題を解こうとしたのでしょうか。できあがっている技術とその運用上の考え方から逆算すると,Bitcoinは「自分が持っている金銭的資産を自由に誰かに送ることを誰にも止めさせない」ために開発されたと考えられます。資産を持つ本人であることの確認を特定の第三者に委ねると,その第三者により本人であることを否定される恐れがあります。送金の事実についても同様に,特定の第三者が確認や承認をする仕組みにしていると,資産を送ったことがその第三者により否定されかねません。これらの恐れを避けるためには,次の2点が実現される必要があります。送金元がその資産を持つ本人だと誰もが確認できることひとたびシステムに送金の事実が投入・記録されたら,その記録が覆っていないことを誰もが確認できることブロックチェーンは,これら双方を実現するべく,デジタル署名されたトランザクションが特定の過去(※1)に揺るぎなく位置づけられていることが,参加する全員にとって証明可能になることを目指して設計されたと考えられます。そのためには,誰もが本人の正しい公開鍵を持っていることが前提になるため,Bitcoinをはじめとする多くのブロックチェーンでは,公開鍵に暗号学的ハッシュ関数を適用して得られたダイジェスト(の文字列表現)がアカウントの識別子となっているわけです。した設計の問題点は第1回で指摘しました。そのように設計されるブロックチェーンないし同様な目的をもつ台帳技術が,どのような機能の階層を満たすべきか,第1回の表1でまとめた内容を,もう一度簡単に振り返ってみましょう。UTXO構造まず,システムに投入・記録されるトランザクションは正当である必要があります(正当性の保証⁠)⁠。いったトランザクションが正当であるかはアプリケーションが決めます。正当なトランザクションが後に抹消されていないことや,正当だがその時点では存在しなかったトランザクションが後に捏造されていないことが確認できなければなりません(存在性の証明⁠)⁠。その上で,矛盾する2つの正当かつ存在を偽装されていないトランザクションが投入された場合は,参加する全員が同じ片方を選んで記録しなければなりません(唯一性の合意⁠)⁠。このうち,正当性を保証したり,唯一性について合意したりする部分は,それぞれ既存の技術で実現できたり,あるいは特別な仕組みとしては不要にできます(第2回での「唯一性の合意」についての議論を思いだしてください⁠)⁠。存在性を証明することは,証明ではなくシステムの運用者への信用・信頼に頼ってよければ簡単なのですが,既存の技術では困難でした。※1)ある絶対的な日時かもしれませんし,ある事象の前/後といった相対的な時間かもしれません。ブロックチェーンの本質的価値とはだとすれば,ブロックチェーンの本質的な価値とは,「⁠記録が改ざんされていないと証明できること」であり,より詳細に述べれば「過去に位置づけられたデジタル署名を,何の権威にも依らずに正しいまたは正しくないと証明できること」ではないでしょうか。この点,連載初回の頃は私も整理が進んでおらず,「⁠改ざん耐性」という言葉を曖昧に使っていたと思うので,改めて強調させてください。大事なのは,改ざんが難しいことではなく,改ざんされていないと(事実上)証明できることなのです。このことは,従来は困難であり,一般に,過去に施されたとされるデジタル署名を無条件に正しいと見なすことはできません。使われたデジタル署名の手法が技術として時代遅れになったり,秘密鍵が漏洩したりしている場合があるからです。タイムスタンプが偽造可能であることはいうまでもありません。した困難を経ても過去に施された署名を正しいと証明できることはデジタル署名の「経時証明問題」(⁠存在の証明問題)として知られています。過去に施されなかった署名が実際に存在しないことや,偽装された過去の署名を正しくないと証明できることは「アリバイ証明問題」(⁠非存在の証明問題)として知られています。アリバイ証明問題の方は「無いことを証明」しなければならないので,本質的な難しさを持ちます。私は,ブロックチェーンを標榜する具体的な技術がこの本質的な価値を満たすものかどうかを判定するために,次のような「遺言書テスト」を提案しています。遺言書テスト図1はこの「遺言書テスト(※3⁠)⁠」を図に描いたものです。この図でいえば,「⁠本人が生前に最後に署名した遺言書」として利害関係者(相続人たち)が問い合わせた際に遺言書Aを正しいと確認できることが「経時証明問題」に当たります。遺言書Bを正しくないと確認できることや,もし遺言書Aがそもそも存在しなかった場合に遺言書がないことを証明できることが「アリバイ証明問題」に当たります。ゼロダウンタイム」「⁠セキュア/安全」「⁠安価な情報共有」といった要素が入っていないのではないか?という疑問を抱くかもしれません。このテストに合格するためには,「⁠中央」のシステムに信用・信頼を置いてはならないことは明らかです。中央に位置づけられてきた機能の内部で改ざんが行われてないことの「証明」を,外部で行えることが重要だからです。よって「非中央集権」については,本質的なところでこのテストによって試されることになります。上で挙げたその他の要素についてはどうでしょうか。私は,その他の要素については,ブロックチェーンが登場する以前から課題として取り組まれていたり,解決する技術が存在していたりする,という認識が大事だと考えます。※2)本人の秘密鍵を取得した悪意がある相続人とシステム運用者が共謀している可能性があるため。※3)このテストは,法的に実用的な遺言書を作る目的ではなく,あくまで「思考実験」です。各国の法律上の「遺言書」はさまざまに異なる法的な特徴を持っており,かつ実運用上も揉めることが多く,現実にブロックチェーンで遺言書を実現することは現時点で非常に困難です。このテストでは,デジタル署名の検証に関しては,すべての相続人が本人の正しい公開鍵を共有していることを前提とします(こちらはこちらで難しい問題を含んでいます⁠)⁠。遺言書テスト著者プロフィール斉藤賢爾(さいとうけんじ)1964年京都市生まれ(生まれただけ)。2000年よりP2Pやデジタル通貨を含む「インターネットと社会」の研究に従事。30年以内(2048年まで)にこの世から「お金」の概念を消し去ることが当面の目標。みかんとSFが大好物。2019」を開催しました。DAY1・DAY2の様子を注目セッションとともにお伝えします。LINEのエンジニア3名がイベントに先駆けて見どころを紹介します。コードの安全性・安定性を高める開発サイクル~テスト管理の効率を上げ,脆弱性診断を自動で行う~本連載では,連載「業務を改善する情報共有の仕掛け」を受けつつ,安全性・安定性を加えた開発サイクルについて考えていきます。若者世代から圧倒的な人気を誇るライブ配信&動画投稿コミュニティアプリ「MixChannel」(ミクチャ)の裏側(レコメンドシステムやサーバサイド開発など)について解説していきます。その他の連載CSS3アニメーションでつくるインターフェイス表現CSS3によるアニメーション表現を紹介していきます。その中でも,幅広い読者に応用してもらえるだろうインターフェイスを主なお題とします。MySQL道普請便り本連載では,MySQLを使ったアプリ開発・運用に関するノウハウをご紹介していきます。RecipeUbuntuの強力なデスクトップ機能を活用するための,いろいろなレシピをお届けします。JavaScriptセキュリティの基礎知識JavaScriptに関するセキュリティ上の問題はどこで発生し,どうすれば防ぐことができるのか?について解説していきます。〜システムをきちんと運用するための基礎知識システムは「作って終わり」ではなく,運用の中でさまざまな問題が発生します。問題の発生に備えて事前にどのような対応をしておくべきなのか,問題発生時に何をしなければならないのか,ポイントを解説していきます。きたみりゅうじの聞かせて珍プレーソフトウェア開発の現場で体験したトホホな失敗,思わずうなる珍プレーをきたみりゅうじ氏が四コママンガで紹介。Linuxのメンテナンスの傍ら,Linuxやオープンソースソフトと日々を過ごす著者が,その魅力とつきあい方を,エッセイ風味でお届けします。PRESS特別編集部員,さわやか笑顔のスーパーハカーはまちちゃんとネット大好き14歳わかばちゃんが,毎号,読者の皆さんから寄せられたおたよりを紹介します。皆さんの日頃の悩みにも答えちゃいますよ。]メールでのお知らせメールで次の案内をお送りしております。メールの配信を希望する方は,利用したい項目をチェックしてメールアドレスを入力し,[登録]ボタンをクリックしてください。UPDATES[ほぼ週間に1回]新刊メールマガジン[ほぼ週間に1回]電脳会議の各号案内[ほぼ1ヵ月半に1回]※変更する場合や停止する場合は,登録情報変更ページをご覧ください。※登録いただいたメールアドレスには,そのお知らせ以外,配信いたしません。Ltd.ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。