フォーブスがチャールズ・ホスキンソン氏と「暗号、コンセンサス・メカニズム、分散コンピューティングの理論的裏付けについて実質的な議論を行い、それらの進化が数学とコンピュータ・サイエンスの正統的な歴史の中でどのように位置づけられるかを探った」非常に興味深いインタビューを行っています。
主な質問内容は下記の通りです。
- カルダノの開発と学術的研究
- コンピュータサイエンスをルーツとするその研究が、ブロックチェーンに関連してあなたが行っている研究にどのように影響を与えているか
- プルーフ・オブ・ワーク／プルーフ・オブ・ステークの問題
- ステーキングについて、どの程度の資産がステークされているのが健全だと思いますか？
- 他のブロックチェーンとの相互運用性の重要性
- カルダノの次の展開について
下記の記事はフォーブスの記事「Cardano And Ethereum Founder Analyzes The Newest Evolutions In Crypto And Blockchain Technology」を翻訳したものです。
カルダノとイーサリアムの創設者が暗号とブロックチェーン技術の最新の進化を分析
By Steven Ehrlich Forbesスタッフ
カルダノの創業者であるチャールズ・ホスキンソンは、数学者としての経歴と、イーサリアムの共同創業者の一人としての経歴から、ブロックチェーン開発における理論と応用の重要性と相互作用を理解するユニークな立場にある。この2つの分野の適切なバランスを見つけることは非常に難しいですが、暗号の主流な採用を達成するためには不可欠です。このパズルを最初に解決したブロックチェーンが、今後数年間で主流のプラットフォームとなるでしょう。
とはいえ、これらのトピックは、暗号に興味がある人はもちろん、以前からこの業界に関わっている愛好家にとっても圧倒されるような内容です。そこで、私はホスキンソンに連絡を取り、暗号、コンセンサス・メカニズム、分散コンピューティングの理論的裏付けについて実質的な議論を行い、それらの進化が数学とコンピュータ・サイエンスの正統的な歴史の中でどのように位置づけられるかを探りました。このインタビューは少し専門的な内容ですが、彼は複雑なテーマを簡単な言葉に置き換え、しばしば例を用いて説明するという素晴らしい仕事をしています。
フォーブス：カルダノや暗号全体の開発に、学術的・科学的な厳密さを盛り込むための努力をしていますね。そのプロセスを説明していただけますか？
チャールズ・ホスキンソン：私たちは3年間で102本の論文を発表しました。その102本の論文の中で大きな役割を果たしたのは、カルダノだけでなく暗号全体の強力な理論的基盤を作ることでした。例えば、私たちが書いたGKL15という論文は、1,000回以上引用されており、ブロックチェーンとは何かを考える上での正統的な方法となっています。
もうひとつのポートフォリオは産業研究で、「よし、理論はわかったから何ができるか？プルーフ・オブ・ワークをシャード（分割）できるか？プルーフ・オブ・ステークをシャードすることはできますか？” プルーフ・オブ・ステーク・エンジンを作ってみよう」というものです。これは必ずしもプロトコルに特化したものではありませんが、能力を知ることができます。例えば、匿名の医療記録を持ちたい場合や、何十億もの決済を行うグローバル規模のシステムを構築したい場合などです。それを実現するために設計されたプロトコルで、実際に何をする必要があるのか。
そして、私たちの研究ポートフォリオの3番目の部分は、プロトコルに特化したものです。これらの能力をどのようにして実際のシステムに組み込むか。そこで私たちは、「形式手法エンジニア」と呼ばれる非常に特殊なタイプのエンジニアに依頼します。これは建築家とゼネコンの関係に似ています。建築家は設計図を描き、家の作り方を示しますが、ゼネコンは当然ながら家を建てません。それが一番難しいところです。
フォーブス：暗号やブロックチェーンに興味を持つ人の多くは、分散型コンセンサスやネットワークのアイデアがブロックチェーンから生まれたものではないことを知らないかもしれません。コンピュータサイエンスをルーツとするその研究が、ブロックチェーンに関連してあなたが行っている研究にどのように影響を与えているか、少し話してみませんか？
ホスキンソン：分散システムは、コンピュータサイエンスの中でも最も古い分野のひとつです。その先駆者の一人がLeslie Lamportです。「Lamport clocks」など、分散システムで時間を管理するための基礎的な論文をいくつか書いています。それは1970年代のことでした。また、分散システムのプロトコルであるPaxosも書いています。これが “ビザンチン抵抗 “と呼ばれる最初のものでした。しかし、基本的な考え方は、快適なラップトップや携帯電話、コンピューターから離れて、分散システムであるウェブに入った瞬間に、出来事や現実に対するあなたの認識は、他の人の出来事や現実に対する認識とは異なるというものです。
例えば、あなたがジェニーのコンピュータよりもマイケルのコンピュータに近いとします。マイケルのコンピュータで何かが起こった場合、あなたはそれが先に起こったと考えるが、ジェニーはそれが後に起こったと考えるだろう。コンセンサス・アルゴリズムとタイムキーピングのポイントは、1つの論理的な時計、またはイベントの1つの論理的、正統的な順序を作ることです。なぜこれが重要なのでしょうか？例えば、あなたが金融システムを運用しているとしましょう。同時に2つの入札があった場合、誰が取引をしましたか？AliceとBobのどちらが得をしたのでしょうか？それは、あなたがどのように注文するかによって決まります。だから、言うのは簡単なんです。”ワシントンにあるマイクロソフトのサーバーのような中央のサーバーを共通の参照点として選び、そこから得られる注文は何であれ、素晴らしいものです。しかし、誰も他の人をコントロールできない、特別な存在ではない分散型システムでは、もっともっと難しい問題になります。特に、ビザンチン・アクターと呼ばれる、嘘や不正を行う可能性のある人間を認める場合はなおさらです。
私たちはこの分野で大きな貢献をしていますが、AlgorandやEmin Gun Sirer率いるCornellのチーム、Snow Whiteプロトコルなど、多くの素晴らしいチームがあります。
フォーブス：ここで、プルーフ・オブ・ワーク／プルーフ・オブ・ステークの問題につながります。カルダノの特徴の1つは、Ouroborosコンセンサスメカニズムでした。プルーフ・オブ・ステーク（proof of stake）にはさまざまなバリエーションがあることを知らない人も多いでしょう。それを説明してもらえますか？
ホスキンソン：まず、プルーフ・オブ・ステークにしてもプルーフ・オブ・ワークにしても、コンセンサス・アルゴリズムで達成しなければならないことは3つあります。まず、誰かを選んで、ある期間、責任者にしなければなりません。それはブロックでもエポックでもよいのですが、ある単位の時間のことです。その人はその力を使って何かをしなければならないので、ブロックを作ります。そして、そのブロックをネットワーク上の全員にブロードキャストし、ネットワークがそれを受け入れる必要があるのです。ポーカーに例えると、誰かがディーラーになって、その人がカードをシャッフルして配ります。そしてプレイヤーはカードを手に取り、デッキを見て、そのまま受け入れるか拒否するかを選択します。例えば、エースが5枚あるカードを手にした場合、そのデッキには何か根本的な問題があると言えるでしょう。なぜなら、デッキにはエースが4枚しかないはずだからです。コンセンサス・プロトコルもこれとまったく同じことを行います。
プルーフ・オブ・ワークとプルーフ・オブ・ステークの一番の違いは、最初の段階である「責任者を選び」ということです。プルーフ・オブ・ワーク・システムでは、実力主義の採掘プロセスを採用しています。基本的にはハッシュを採掘しますが、これは宝くじのようなものです。これは宝くじのようなもので、ラッキーナンバーが出るまで続けるのです。そして、「私はゴールデンチケットを持っています」と言うのです。そうすると、ブロックを作る権利が得られます。資産の価値が高ければ高いほど、競争が激しくなり、エネルギーの消費も激しくなります。ビットコインで消費されるエネルギーの99.99999997%は、その最初の段階で消費されるものです。残りの2つは他のすべてです。
プルーフ・オブ・ステーク・システムでは、マイニングの代わりに、「賭け金を比例的に重み付けして、合成宝くじのように扱い、平均してそれだけの額を獲得できるようにします」と言います。プルーフ・オブ・ステークの利点は、誰がブロックを作るかを決定するための膨大なオーバーヘッドとエネルギー消費がないため、他の2つのステージに多くの魔法をかけることができるということです。そのため、プロトコルははるかに軽く、エネルギー効率も大幅に向上します。例えばカルダノは、現時点でビットコインの160万倍のエネルギー効率を誇ります。
フォーブス：現在、カルダノは70％以上、ポルカドットは約64％、イーサリアムはそれをはるかに下回っています。初期の段階や成熟した段階では、どの程度の資産がステークされているのが健全だと思いますか？
ホスキンソン：これはリンゴとオレンジの違いのようなものです。数日から1年以上のロックアップ期間がある）保税システムでのステークについて語るとき、あなたは実際に非常に重要な発言をしています。なぜなら、あなたのステークはロックされていて、人々はそれを動かすことも使うこともできないと言っているからです。それはつまり、そのトークンが供給されなくなったということです。カルダノのステークは常に流動的で、ボンディングは必要ありません。つまり、ステークは流動的であるということです。カルダノの場合は、循環供給が実際よりもはるかに悪いことを意味していると思われがちです。
もうひとつは、私たちのシステムにはオンチェーンでの投票機能があり、Tezos以外ではおそらく最も先進的なシステムです。つまり、ステークを持っていれば、それを委任できるだけでなく、資金調達の提案やチェーン全体の変更に対する投票にも利用できるのです。
フォーブス：あなたは、他のブロックチェーンとの相互運用性の重要性について多くを語ってきました。ブロックチェーンは自己完結型ではなく、周りの世界で何が起きているかを知り、外部のデータを取り入れることができなければならないという意味です。ブロックチェーンの中核となるのは分散型でありながら、決済システムのような自己完結型のユースケースを超えて有用性を発揮できるようにするには、どのようなバランスが適切なのでしょうか。
ホスキンソン：情報、価値、アイデンティティをチェーン間で移動させることに重点を置き、どこで何をするかは市場に任せるということですね。面白いことに、誰もがオープンソースにしたがるのですが、実際にはそうではありません。イーサリアムのように、「我々はオープンソースであり、オープンなエコシステムである。しかしところが、MicrosoftのようにInternet ExplorerやActiveXを使って、みんなを我々のエコシステムに閉じ込めてしまいたいのです！」と言っています。ユーザーは流動的であるべきではないでしょうか？情報価値は流動的であるべきではないでしょうか。そこで私たちが注目したのが、クロスチェーンの通信プロトコルです。私たちは多くの論文を書き、その中で何ができて何ができないのかを説明し、価値や価値のある情報をシステム間で移動させるためのプロトコルを作成しました。
今後3年から5年の間に、私たちの業界はWi-Fiが機能する瞬間に収束するのではないでしょうか。そして、どのようなエコシステムにいようとも、そのシステムから次のシステムへの移行は、ある程度のタイムアウトがあれば、非常に簡単にできるようになるでしょう。ボタンをクリックするとイーサリアムに移動しますが、移動するまでには数分から数時間かかります。ボタンをクリックすると、今度はカルダノになります。数分から数時間でそこに到達することができます。つまり、運営コストの面では、底辺への競争になるでしょう。つまり、あるドメインで運用するには非常にコストがかかるアプリがあれば、人々はそのドメインから逃げて、もっと安いブロックチェーンで運用するようになるでしょう。これが、私たちが直面しているブロックチェーンのインターネットです。
フォーブス：最後に、カルダノの次の展開についてお聞きしたいと思います。ロードマップには何が出てくるのでしょうか？
ホスキンソン：私たちが行っているのは、すべてのピースをまとめることです。今は「Cardano 2020」の研究アジェンダを仕上げているところですが、その研究が結晶化していく中で、時間をかけて最高の商用製品に仕上げていくという考えです。
理想的なのは、数字を拾うこと。私たちの場合は、”5年後とかにやろう、2020年までに全部終わらせよう “というものでした。もちろん、私は非常に楽観的な人間で、工学や科学の複雑さを過小評価する傾向があるので、このマイルストーンを達成することはできませんでした。2021年は、過去5年間に夢見ていたことをまとめて実行に移す、いわば「オーバーフロー」の年です。ガバナンススタック、スマートコントラクト、メタデータ標準、トークン発行、完全な分散化などが含まれます。メタデータの作成、ネイティブトークンの発行など、ほぼすべての目標を達成しました。たった1ヶ月でカルダノで発行されたトークンは10,000を超えており、これは驚くべきことです。そして今後数ヶ月のうちに、スマートコントラクトを導入する予定です。そこからのラストワンマイルは、すべてのガバナンスコンポーネントを導入する予定です。すでに2万人が参加していますが、サイドチェーンとして稼働しているため、メインネットワークにリンクさせる必要があるものもあります。これらのコンポーネントが稼働すれば、プラットフォームの商業化はすでに始まっています。国民国家にクールなことをしてもらったり、そのプッシュモデルで何百万人ものユーザーを呼び込んだりしています。また、分散型金融や、ファンジブルではないトークンのマーケットプレイスなど、イーサリアムの研究室で見られるような、ありとあらゆることを行っています。
