超訳カルダノ」タグアーカイブ

ポリグロット・エコシステムへの道【超訳ホスキンソン】

2022年9月26日に公開された、チャールズ・ホスキンソン氏の「Road to Polyglot EcoSystem for Cardano」を全文「超訳」しました!
今後の「ヴォルテール時代」に向けた大きな組織改変や、そのために必要な「Standard(標準規格)」「信頼できる情報源」、そしてそれを担う「Agda Core」など、将来のカルダノに必要不可欠な最後のピースが語られます。
翻訳ー @dino_coffeepool

ポリグロット・エコシステムに必要な「標準規格」とは?

今日は2022年9月26日です。私は、非常に重要なトピックについてお話しするためのビデオを作りたいと思います。実は先週のほとんどを、何らかの形で議論したり、関連付けたりして過ごしたことなのです。ご存知のように、今、裏ではメンバーベースの組織(Member-based Organization、以下MBO)」の足場を作るための膨大な作業が進行中です。MBOは、基本的にコミュニティを集約するハブのような役割を果たし、コミュニティの意志を決定し、そこに到達するための戦略を考え、人々に実行を促します。

何が凄いかというと、誰もが自分の声を共有できるようになるのです。「声」はさまざまな方法で機能します。TwitterやReddit、Telegramに加えソフトウェアもあります。健全なエコシステムを構築するためには、ポリグロット(あらゆる基軸に対応できる)・エコシステムを構築する必要があります。つまり、全く異なる開発チーム、異なる哲学、異なる言語、そして異なるUSP(Unique Selling Proposition、独自の強み)を持つ複数のクライアント(システムを利用するPCやソフトウェアなど)が同時進行していることが必要です。

そこで、「Cardanoの正しいクライアントは何か?」という問題が出てきます。これは、「Cardanoのウォレットの標準的なクライアントは何か?」という質問と非常によく似ています。その答えは「ない」であるべきで、その代わりにあるべき答えとは、私たちが「ある標準規格(Standard)」で合意することです。そして、その「標準規格」とは、強固なテストフレームワークを備えています。そうすることで、ウォレットクライアントには、認証済みと未認証の2種類があります。

そこで、私はビデオを作成することにしました。実はリック・マクラケン(Rick McCracken)がTwitterでアンケートを実施しています。彼は、仮説的なアンケートを実施しました。

「DCsparkがRustでオープンソースの新しいCardanoノード実装を構築するために、800万USDのプロジェクトのCatalyst提案を出したら、あなたは投票しますか?」というものです。
この質問には、多くの人が「興味ある」「賛成票を入れる」と回答しました。これは公平な質問で、実は私たちも長い間考えていたことなんです。

分散化しながらクオリティを保証する「コア組織」の必要性

私たちはPriviledgeと呼ばれるEUのレガシープロジェクトからスタートしました。私たちIOは、実際にお金をもらって、guardtime、 IBMリサーチ、タルトゥ大学(エストニア)、サレルノ大学(イタリア)、エディンバラ大学(スコットランド)と一緒に仕事をしました。それに対する私たちの貢献は、この「Updatable blockchains(更新可能なブロックチェーン)」というアイデアです。Nikos、Michele、Aggelos、Dionysisによるものです。
「セキュリティと優れた仕様と優れたテストを得られると同時に、複数のクライアントが存在可能なエコシステムをどのように作るか?」について長い話し合いを持ちました。

裏では、「Agda」という言語を使っています。 基本的にAgdaは、簡単に言うと「スーパーHaskell」です。多くのインフラを構築し、仮説のインフラから応用のインフラへという方向に進み始めています。ホワイトボードを使って今から色々説明しますが、ここで基本的にお話したいのはMBO(メンバーベースの組織についてです。

その中にはCTFs(Cardano Technical Fellows、カルダノ・テクニカル・フェロー)という考え方があります。基本的にこの人たちはCore(コア)に携わる人たちで、コミュニティから来た人たちです。コミュニティのメンバーであり、スタッフでもあります。特定の企業に肩入れしているわけではなく、MBOに出向しているか、実際にMBOのために働いているのです。
どのような場合においてもAgda Coreがあり、それがリファレンス(標準規格)となります。注意していただきたいのは、Agda Coreはプロダクション(製品)ではないことです。
プロダクションとは、今皆さんが持っているダイダロスウォレットなどであり、これには多数の副次的なコードや、副次的要素がたくさん入っています。

基本的に、プロダクションにおいて重要なのは「クライアントが非常に高速であること」です。そのため、高速性、安全性、互換性、仕様外のもの、特定のエコシステムに組み込まれた独自のものなど、さまざまなものを搭載しています。
例えば、DCsparkが自社でクライアントを作った場合、Flintウォレットに接続するための特別なインフラを構築し、簡単に処理できるようにすると思いますが、リファレンス(標準規格)はそのようなことはしないでしょう。

そしてそれはノードについても同じことです。もし私たちがノードを商品として売り出すなら、おそらくLaceウォレットに接続するでしょう。なぜなら、良いユーザー体験を求めるからです。
これは、仕様がどうのこうのということではありません。つまり、カルダノ・テクニカル・フェローがCoreを維持することで、CIPプロセスを正式なCoreに迅速にリンクさせることができるようになるということです。 
この仕様は、テストのためのリファレンス(標準規格)となるコードを提供します。私たちはまだこれらの内容をまとめている最中で、正式なプレゼンテーションを後に行う予定ですが、基本的な考え方は「Agda Coreがある」ということです。それから、リファレンスを抽出したコードと、その他のものが少しあります。
リファレンス更新システム、ウォレット証明書、そして最終的にコア暗号が完成します。というのも、おそらく誰もが独自の暗号を展開するようにすべきではないからです。集約して展開していくべきです。これがカルダノのコアとなるリファレンスのフレームワークとなるのです。
あとは、ユーティリティやインフラ、インテグレーションするための何かしらの並行基軸が必要になりますが、これはまた別の話です。RosettaやDBsyncといったものがそれにあたります。でも今のところ、競合するクライアント(システムを利用するPCやソフトウェアなど)について話をするときは、この方法がいいと思います。 
そうすると、Haskellクライアントを取り上げて、「これはもう正規のものではありません」と言うことができます。HaskellクライアントはHaskellクライアントです。それからRustクライアント、Typescriptクライアントなども出てきます。

「コア」が標準規格を作り、コミュニティが高品質プロダクトを作る

そうなると「それは認定を受けているものかどうか?」という質問が出てきます。あるものは認定され、あるものは認定されないということもあり得ます。
基本的な考え方として、Agda Coreは、5人から10人程度の小さなチームで成り、「MBOのために働くCTF」と、「IOやDCsparkのような貢献する開発者」の組み合わせになります。
彼ら(Agda Core)は基本的にリファレンスシステムを維持し、抽出したコードのリファレンス(標準)セットを維持し、それに関する特性を証明し、さらにウォレット認証とシステムのコア暗号を維持することになります。そして、もし誰かがクライアント(システムを利用するPCやソフトウェア)を作ろうとしたら、

「自分のクライアントの安全性をどうやって確認するのか」
「自分のクライアントがプロトコルに準拠していることをどうやって確認するのか」
「Hard Fork Combinatorがそのクライアントに有効であることを確認するにはどうしたらいいか?」
「アップデートがトリガーされたときに、すべてのクライアントがアップデートされるようにするには、どうすればいいか?」

といった疑問が生じるでしょう。
このようにコミュニティーのメンバーが抱く疑問はたくさんありますが、認証プロセスは、競争による機敏さとともに、標準という安全性を与えてくれるものなのです。
Agda Coreの素晴らしい点は、プロダクション(製品)ではないので、開発者の時間はすべて標準規格に集中できることです。ここでは何週間でも、あるいは何ヶ月でも開発することができます。ものによっては何年もかけて開発します。なぜなら、虹の終わりには、さまざまなプラットフォームでテストし、互換性を確保しなければならないからです。

ユビキタス・スタンダード(普遍でありどこでも参照できる標準)を作り、みんながそれに従うようにしたい、ということです。IOは、Haskellクライアントを経済的に正しく運用できるようになれば、もっと多くのことを追加して、標準的なクライアントではなく、より商用に近いクライアントにすることができます。その上で厳しい競争も見て行きたいと考えています。

DCspark がフルノードの Rust クライアントの管理者であることもぜひ見てみたいと思います。少なくとも、TypescriptクライアントやDartクライアントなど、ウェブテクノロジーを代替する命令型クライアントを1つでも作ってほしいですね。Pythonのクライアントを持つことは、私たちのエコシステムに多くの教育的価値をもたらすと思うので、Pythonを使うのは本当にクールだと思います。CIPプロセスの最後のステップは、コアの内部で物事を指定することです。

「メンバーベースの組織」は、どこまで進んでいる?

私たちはすでに、非常に効率的なコード抽出を行っています。実際、James Chapmanやエコシステムの他の人たちは、この分野に非常に長けています。彼らはこのことについて多くの論文を書いており、この種のもののための良いフレームワークとして大きく成長してきました。
よって、どのような安全基準が存在すべきなのか、いろいろと話ができるようになります。 

ウォレット開発者であれば、「公式ウォレットとは何か? 推奨ウォレットとしてCaradano.orgや、かなり大規模な他のメディアにて掲載されるようにするにはどうしたら良いか?」という質問に対し、基本的に自主的に利用できるテストを実施し、それで認定されればCardano.org上で掲載されるということです。実にシンプルです。

さて、これを立ち上げるにはどれくらいの時間がかかるのでしょうか?

MBOを立ち上げ、できるだけ多くの会員を獲得し、コミュニティがすべての役員を務めるようにするために、私たちは本当に一生懸命働いています。それから、クールな投票なども行われるでしょう。そして、たくさんのガバナンスが進行中です。『Voltaire」は並行して大規模な開発が行われています。形式手法のグループを強化し、これらの開発を本格的に進めています。

IOでは今、このアイデアにとても興奮しています。私の望みは、できるだけ早くチームを立ち上げて、メンバーベースの組織が管理する新しいgitリポジトリのもとで、Agda Coreがどのようなものになるのかについて話し始めることです。

長い間、これをやりたいと思っていた人たちがたくさんいて、それに向かって努力してきたのです。DB sync、graphql、Rosettaの未来、blockchain explorer、smashなど、ユーティリティ、インフラ、インテグレーション(連携)に関する興味深い質問がまだありますし、TX pipeやScrollsなどのように、本当にクールなコミュニティのものもたくさんあります。公平に評価されてしかるべきだと思うのです。

分散化組織に必要な「信頼できる情報源(Source of Truth)」の存在

そこで、2種類のテクニカルフェローという概念があればいいと思います。「ユーティリティ、インフラやインテグレーション(連携)」を担当する者と、「コア」を担当する者がいて、さらに「プロジェクトやプログラムグループ」という考え方もあって、コミュニティの多くのことにリソースを割くことができます。
また、Catalystでそのプールに資金を提供することもできます。また、Cardanoエコシステムの企業がCTFを提供することで、現物出資することも可能です。もちろん、私たちもそうします。
しかし、標準的なインフラや標準的なユーティリティのインフラは、基本的にオープン・コア・モデルの下で運用されているので、人々はホタルのようにそれを利用し、独自の方法で商業化することができます。

これが皆さんのお役に立てばと思います。

最後にまとめると、あまり複雑でなければいいのですが、基本的な考え方として、「設計図が欲しい」ということです。

そして、その設計図からいくつかの受け入れ基準が示されます。そして、複数の意見を持つことになります。そして、それらの意見がクライアントとなります。では、誰が青写真を作るべきなのでしょうか? それはコミュニティによって構築され、標準化されるべきものです。

基本的にはAgda Coreをセットアップして、ADAホルダーによる投票を行い、これが標準的なカルダノであるとするわけです。そしてそれが「信頼できる情報源」のとなります。たとえばHaskellクライアントが仕様外であったとしても、私たちはその標準仕様に合うようにコードを変更しなければなりません。

さて、リファレンスとプロダクトの間でプルーフバイシミュレーションのような完全な形式手法でやろうとすると、注意点があります。これは非常に重いプロセスで、何年もかかります。TLA+ CommunityのLeslie Lamportによる素敵なビデオもあります。彼はコード抽出不要のTLA+という形式言語を仕様作成用に考案し、Sylvia McCauleyと同様に分散システムの開発でチューリング賞を受賞しています。Microsoftの多くのエンジニアがプロダクションに利用しており、Xboxチームではメモリの問題を発見したり、そのほかにもAzureやインフラ全体で使ったりし、コードのクリーンアップに大いに役立っているそうです。また何千何万のエンジニアの間で「信頼できる情報源(Source of Truth)」を作るのにとても役立っています。「Practical TLA」という本もあるくらいです。
ほとんどの大企業は、このような種類のことをすべて行うために、何らかの形で「仕様言語」を持っています。もうひとつ、この仕様言語は、スマートコントラクトの標準にも拡張できる可能性があります。
今の説明が、みなさんが理解する助けになればと思います。カルダノにとってこれほどエキサイティングな時期はありませんし、私は物事が動いていることにとても満足しています。私たちは完全に異なる方法に近づきつつあり、それは長年の研究の基礎のようなものです。欧州連合からの助成金で始まり、科学者たちが何年もこの材料で遊んでいたのです。
多くの正式な方法が機能し、人々は高速でシームレスなアップグレードに慣れ、カルダノが持つ多くのマジックに慣れてしまったのです。

みなさんが慣れ親しんでいるように、しかしポリグロットな(あらゆる基軸に対応できる)エコシステムを継続するためには、何らかの形の「信頼できるの情報源」が必要です。
なぜなら、そのサービスを利用するためにお金を払う人たちがいるからです。そこでは主観性は許されず、客観性が求められます。そのためには、認証基準が必要なのです。

私が考える唯一の方法は、メンバーベースの組織、テクニカル・フェロー・プログラムでコアの仕様を保持するグループを作ることです。

そのグループがCIPを「仕様」に落とし込み、それが認証を受けるための基礎となるのです。

それから、protobufs(Protocol Buffers)を使うか、あれを使うか、これを使うか、というような特定の実装の詳細です。それはあまり重要ではありません。

本当に重要なのは、安全性、セキュリティ、パフォーマンス、そして標準的なテストスイートに関する特定のガイドラインを遵守することです。テストスイートは、ちょうどEthereum財団がEVMのために維持しているようなもので、ある人が作り出すさまざまなクライアントのための「信頼できる情報源」のようなものです。

しかし、私たちはその上を行かなければならないのです。「分散型更新システムの標準」が必要です。だから Hard Fork Combinator は抽象化され複数のコードベースに差し込むことができるように移植される必要があり、そのためには何らかの基準が必要なのです。
そうすれば、ずっとシームレスなアップグレードが可能になります。ですから、もしDC sparkに800万ドル以上の資金を提供するのであれば、インフラのユーティリティとインテグレーションに取り組んでもらうのが一番だと思います。
私たちはより良い開発ツールを必要としていますし、彼らが Flint や DBsync のバージョンで行ったようなことをスケールアップさせる必要がありますし、そのための資金を提供すべきです。
正規のクライアントについては、まずAgdaのクライアントを完成させることが先決だと思いますし、そのための大きな提案をするつもりです。11月にまずその話をし、来年のMBOを行う際に、そのチームを必要なところに持っていく方法について提案します。

私たちは、他の参加者と同様、公平にリソースを提供し、これまでに行われた多くの素晴らしい仕事の基礎となる仕様を、非常に迅速に作成できると考えています。そうなれば、コンソーシアムを結成し、そのコンソーシアムが今後5年間について話し合うことも大いに意味のあることです。
また、そのような革新的な技術には、多くの開発チームが参加しています。ですから、もしあなたが仕様や標準を作りたい人の一人なら、それを実現する絶好の機会があることを心に留めておいてください。 
もしあなたが、競合するクライアントを作りたいと考えている人の一人で、自分の会社が素晴らしいと思うなら、私たちにも声をかけてください。
なぜなら、このようなもののためにコンソーシアムをまとめるのはいいことだと思うからです。

とにかく、これが皆さんの考える一助になればと思います。この種のことについては常に慎重に推論したいものですが、投票を実施してくれたRickに感謝します。この投票は、私たちがどのように分散化を続けるかについて、とても必要な会話を始めるものだと思います。

そのためには、ガバナンス、オンチェーンガバナンス、投票の強化、ステートフルオペレーターの分散化レベルを向上させることなどが必要です。
そのためには、投票ツールをもっと簡単にすることも必要ですが、開発チーム間の分散化を進めることも重要です。問題は、分散化が進むと、それを正しく処理しないと、調整の問題が難しくなるため、簡単にアップグレードできなくなることです。

ですから、誰もが従うべき「信頼できる情報源(Source of Truth)」「基準規格(Standard)」が必要で、さらに何らかの社会的構造として、人々に従わざるを得ないような認証プログラムが必要です。
このようなインフラがあれば、イノベーションのスピードを維持しながら、同時に、3つか4つ以上の競合するクライアントが突然、お互いを打ち負かすことができるだろうと、私はかなり楽観的に考えています。
ご清聴ありがとうございました。それでは、またお会いしましょう。

委任のご協力をお願いします🙇‍♂️
●COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

チャールズ・ホスキンソン氏「Vasil準備」総括ツイート

2022/08/20 チャールズさんのツイートを全文翻訳にてお届けします。

この48時間を振り返る時間ができたので、いくつか言っておきたいことがあります。まず、カルダノを有用なプロトコルとして支えているのはSPOのコミュニティです。インフラの必要性と経験を考えると、ここ数年は皆にとって険しい道のりでした(1/

必要以上に楽な道のりではありませんでした。私は何年も前から、部分的なDelegationconclave(コンクラーベ、枢機卿を決めるための投票)、pub/sub(非同期 メッセージング パラダイム 、特定の読者を想定せずメッセージを送信する)、より良いドキュメントとサポートチャネルを望んでおり、開発への数千万ドルの投資を含め、その方向に進むよう皆を限界まで追い込んできました(2/)。

第二に、業界では何十億ドルものハッキングが行われており、オンチェーンガバナンスや安全なスマートコントラクトは難しいということです。私たちは皆、UXとセキュリティや高速配信のバランスを取るために、何時間も超過労働を続けてきました。カルダノは素晴らしい特性をたくさん持っていますが、厳しいモデルです(3/

正式なチェック&バランスとアップデートのより良い展開を生み出すような、より包括的な構造を展開するために、多くのCIPが進行中です。コミュニティは常にそのロールアウトの一部です。(4/

個人的には、コミュニティのニーズや要望を代表する「メンバー主導の組織」がないことに深く不満を持っています。やり直しがきくなら、今の知識で劇的に違うことをやっていたかもしれません。今は修正されているものの、時間がかかっています(5/

また、エコシステム開発へのアプローチが断片的で、より迅速で持続可能な採用を促すための触媒以外の説明責任機構がないことにも、深い不満を感じています。これもまた、対処されつつありますが、まだまだ時間がかかります (6/)

これほど大きく複雑なものの現実は、うまくいっていないことに囚われて、うまくいっていることを忘れてしまいがちです。私たちは、世界中にある多様で輝かしい巨大なコミュニティです。素晴らしいプロジェクトや情熱が山ほどある(7/

私は、このコミュニティがその可能性を最大限に発揮し、世界をより良くするためにその能力が発揮されることを望んでいます。それに反するものを見ると、悲しいし、腹が立ちます。何をするかということと同じくらい、どう伝えるかということが重要だと思います。(8/

この3日間、私自身は別のアプローチを選択することができたはずです。そうしなかったことを後悔していますし、申し訳なく思っています。結局のところ、私を知っている人は、私がどこから来たのかよく分かっているのです。これらを見るのは嫌だし、それらがもたらすダメージに個人的な経験があるでしょう(9/

だからといって、皆さんは家族の一員であり、ここにいることを選んだという事実は変わりません。失望させたと思うし、それについては申し訳ないと思っています。Vasilは「この時代」の最後のハードフォークであり、その後に多くのことが変化している。新しいガバナンスプロセス、より包括的な構造(10/

より有用なコード、より速い開発、より並行した努力、そして最終的にはカルダノが、世界に経済的なアイデンティティを与えるというコミュニティの約束と可能性を実現することです。私たちは皆これを望んでおり、皆同じ側にいると思います。このようなローカルなイベントは勉強になる (11/

私たちに変化と成長のチャンスを与えてくれる瞬間です。Vasilを一緒にやり遂げ、そしてより高いところへ進み、プロジェクトの元々の罪のいくつかを修正し、Cardanoも次のレベルへ成長できるようにしましょう(12/

私はどこにも行きませんし、これは今でも私の最大の情熱です。私たちが作ったものが何十億もの人々の生活を変えることができるのがわかりますし、それが助けになる人々にも会いました。私たちのコミュニティーの誰もが、何も感じていないと思います。

ただ、私たちはこれまでとは違って、より協力的に取り組む必要が出てきたと思うのです。

今後、バジルについて大規模な死後検査が行われ、その後はCIPを通じてたくさんの変化が起きるでしょう。またそれぞれの役割を担う新たな組織が登場します。IOGはその美しいコーラスの一翼を担っているのです。ここにいてくれてありがとう (14/14)

 

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

ADApools.orgでの情報はこちら↓

Proof of Useful Workとは? IOGによる概要解説

2022年8月11日に公開された、Proof of Useful Work「Ofelimos」の概要を説明する動画を翻訳しました。ビットコインやイーサリアムで採用されている「Proof of Work」の問題点と、それを解決するためのPoUWについて簡単に解説しています。

翻訳:@dino_coffeepool、編集:hix_coffeepool

————————————————————————

実際のビデオはこちら

こんにちは、Giorgos Panagiotakosです。私は. Input Output Globalの研究者です。  このビデオでは、証明可能で安全なProof-of-Useful-WorkブロックチェーンであるOfelimos(ギリシャ語でUseful、Profitableの意味)についてお話します。これは、Matthias Fitzi、Aggelos Kiayias、Alexander Russellとの共同研究です。
ビットコインやイーサリアムのような最も古く、最も広く使われているブロックチェーンは、ハッシュベースのProof-of-Workを使用しています。つまり、それらのセキュリティは、プロトコル参加者が小さなハッシュを検索することに基づいています。これは間違いなく、一般的に有用ではないという問題があります。
事実として、演算に使うエネルギーが多ければ多いほど、悪意のある第三者がプロトコルのセキュリティを破るためのコストは高くなります。このような理由から、これらのプロトコルには、エネルギー消費を増加させるため、ブロック報酬のようなインセンティブが組み込まれているのです。この設計により、現在のビットコインの消費エネルギーは中規模の国の消費エネルギーと同レベルになっています。
このように、Proof-of-Workブロックチェーンには、プロトコルのセキュリティを維持するためというだけの理由で、エネルギー消費が増加し続けることにインセンティブを与えているのです。

 

この問題は、ブロックチェーン・コミュニティが早くから指摘していたものです。この問題に対し、多くの代替案が提案されていますが、その1つが、メモリやステークなどの計算作業とは異なるリソースを活用しようとするアプローチです。
その結果、Proof-of-Work型ブロックチェーンとは異なる仮定に基づく安全性を持つプロトコルが誕生します。
消費するエネルギーを減らすのではなく、他の用途に再利用しようというのが、別の提案です。最もシンプルな方法は、ブロック採掘機を自宅の暖房に利用することです。より洗練された方法としては、マイナーに、外部の有用な問題を解決するためにProof-of-Useful-Workで計算させるというものがあります。例えば、物理学や数論、最適化などの問題を解決するための提案がなされています。

Proof-of-Useful-Workの方向性は、かなり難しいことがわかっています。これまでの研究にて多くのものは、次の3つの問題のいずれかに悩まされています。

  • 第一に、実行された仕事が広く有用でないことがあげられます。例えば、よく知られたプロトコルであるPrimecoinの場合、マイナーは素数の変化を探索します。
  • 第二に、提示されたプロトコルの正式な安全性証明が存在しません。これらのプロトコルの安全性は、標準的ではない計算難度仮定(non-standard hardness assumption)に基づいているため、これはかなり深刻な問題です。そのため、セキュリティに関する議論を明確に理解することが望まれます。
  • 最後に、いくつかのプロトコルは、信頼できるハードウェアのような信頼できる第三者の仮定に依存しています。分散化はブロックチェーン・プロトコルの重要な目標であるため、このような仮定は避けたいと考えています。

本研究では、このような欠点を持たないProof-of-Useful-Workブロックチェーンを構築できるかどうかを研究しています。

本論文では、例えば、輸送や資源配分など、実世界で広く必要とされている最適化問題の解決に使用できるProof-of-Useful-Workブロックチェーンを紹介します。

 さらに、我々のプロトコルはランダムオラクルモデル(ROM)における正式なセキュリティ証明を伴っており、適度な計算難度の仮定において敵対者がネットワーク内の全計算能力の50%近くを制御しても、ビットコインと同じ計算難度の仮定下で33%を制御しても、このモデルでは安全であることを示します。また、計算難度の高い仮定では、実行された計算の100%近く、また計算難度の低い仮定の下では50%の演算結果が外部に有用であることを示します。最後に、私たちの分析は、信頼できる第三者を想定していません。

我々のプロトコルの安全性を証明するために、新しい汎用的なProof-of-Useful-Workを設計し、解析しました。これは、まず、「有用な計算が適度に難しい」とはどういうことかを定式化する必要があります。
次に、「この計算の安全性を増幅し、研削に強く、パーミッションレスプロトコルの文脈で使用できるようにする」ことです。
そして第三に、「セキュリティ上の理由からオープンブロックの生成方法について3つの要件を持つブロックマイニングのプロセスに、この計算をどのように組み込むことができるか」を示すことです。

最後に、これらのアイデアをすべてまとめて、私たちのブロックチェーン上で実行できる一般的なローカル検索最適化アルゴリズムを紹介しています。ご視聴ありがとうございました。

Ofelimosの詳しい説明は、IOGのブログをご覧ください↓
https://iohk.io/en/blog/posts/2022/08/16/introducing-ofelimos-a-proof-of-useful-work-consensus-protocol/

Ofelimos論文は2021年10月に公開されています↓
https://eprint.iacr.org/2021/1379.pdf

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

ADApools.orgでの情報はこちら↓

カルダノが目指す「真の分散化構想」とは?【超訳チャールズ・ホスキンソン】

 

2022年6月30日に チャールズ・ホスキンソン氏が行った、「Let’s Talk Roadmap and Governance」を全文翻訳しました。カルダノのロードマップだけでなく「真の分散化」における組織構想の全貌が明かされた、非常に重要な内容です。カルダノの将来性を見極める貴重な素材となるため、長期ホルダーの方はぜひご一読ください。

翻訳:@dino_coffeepool、編集:hix_coffeepool

「Vasil後」のカルダノは?

皆さん、こんにちは。 こちらはチャールズ・ホスキンソンです。いつも暖かく、よく晴れたコロラドから生放送しています。
今日は2022年6月30日。素敵な日で、様々なことが進んでいます。しかし、弱気相場は、ビルド・ア・ベア(Build-a-Bear)を構築するという観点からは素晴らしいものです。ブル(強気相場)は成長と普及を目指し、ベア(弱気相場)は物事を成し遂げることを目指します。だから、物事を成し遂げる時期に戻るのは良いことです。
今年中のカルダノの予定についてお話ししましょう。ちょっと画面を共有します。皆さんご存知の通り、現在Vasilが進行中で、テストネットのハードフォークが行われました。7月3日現在、ノードバージョン1.35.0が動いていますが、いくつかクリーンアップする必要があったため、(メインネットまでに)1.35.1とする可能性もあります。テストは本当に大変でした。実は、これまで述べたように、Cardanoのハードフォークとしては最も複雑なものなのですが、結果は良好でした。

では、Vasilハードフォークの次は何?という疑問がわくと思います。4つの開発項目が同時進行していますが、そのうちの1つがShelleyクリーンアップ」です。 Shelleyのクリーンアップとは、部分委任のプロキシ・キーなどです。はい、忘れているわけではありません。定量化されたものがたくさんあります。私たちはそれを知っていますし、人々はそれに取り組んでいますし、それは大変なことです。
2つ目がGoguenに関するものです。Vasilは最初のGoguenのクリーンアップのハードフォークで、多くの基本的な新機能と能力を追加しました。例えば、PABのドキュメントよりも優れたものを作る必要がありますし、言語の構文解析の最適化、コミュニティが要求しているクールなものなど、まだまだたくさんあります。でも、実際にはVasilがその大部分をカバーしてくれていますが、まだGoguenで開発するものがたくさん残っています。

3つ目がBasho関連です。Bashoは、サイドチェーン「Mithril(ミスリル)」と「Input Endorsers(インプット・エンドーサー)」に分かれています。Mithrilは現在構築中で、このチームは2週に一度のリリース頻度で、大きく前進しています。現在、スプリント7か6の段階ですが、順調に進んでいます。8月頃に論文が出る予定で、内容としては、OBFTをアップグレードしてクォーラムサンプリングを行い、サイドチェーンを実行する方法を説明するもので、ブリッジの議論などもありますが、かなり良いものになりそうです。
それから夏の間に、Input Endorsersのオフィシャルペーパーと仕様の作成に取り組みます。これはMithrilと拡張UTXOに大きく依存することになるでしょう。まとめると、現在進行中の「Hydra(ハイドラ)」とともに行う作業の流れとを合わせると、相互運用性と拡張性が得られるので、真のスケーラビリティのための驚異的な出発点となることです。
Mithrilにおけるサイドチェーンの考え方は、まさに相互運用性の基礎となるものです。Hydraは適応型アクセラレータで、マイクロトランザクション(小規模取引)のユースケースとして、バックフィル(外部チェーンからの取引入力)を可能にします。そしてInput Endorsersは、基礎システム内でネットワークを制限していたコンセンサス・ボトルネックを解消します。Hydraのチーム、Mithrilのチーム、サイドチェーンのチーム、そしてInput EndorsersのR&D応用研究チームがあり、今後仕様が発表される予定です。

「リナックス財団モデル」で新たな組織改変

そして、4つ目がVoltaireです。Voltaireは面白いですね。Catalystのようなプログラムがたくさんあります。Catalystは投票が急増しているタイミングで、Voting Centerができる予定です。dReps(Delegate Representative、代表委任。実際に投票を行う人物に投票権を委任する分散型システム)も登場する予定です。
ここからの問題は、「どのようにしてCatalystとMainnetをリンクさせるか」となります。今はパーミッションのサイドチェーンとして動いているので、最終的にはメインネットへリンクさせる必要があります。
これはBashoのアジェンダの一部と重なります。それから、プロトコルガバナンスの問題や、アップデートの背後にある官僚機構の問題もあります。プロトコルガバナンスとは、ハードフォークコンビネーター(HFC)の開始やパラメータの変更やCIPプロセスなどのことを指します。

プロトコルの構築、プロトコルの更新などについては、他にもいろいろと考えることがありますし、例えば財務管理などもあります。Voltaireの場合、Cardanoを始めた当初の目標では、EMERGO、CF(カルダノ財団)、IOHKの3者構成で、1者がガバナンスを、1者がエコシステムの成長を、1者がテクニカルを担当することにしていました。しかしCFには過去から現在に至るまで様々な問題があり、例えばマイケル・パーソンズ時代(2018年までのCFのチェアマン)は、非常に困難な状況でした。過去について議論することは可能ですが、要するに、この仕組みは完璧ではなかったということです。特に私がこの7年間に作りたかったのは、プロトコルのガバナンスという権力を効果的に運営する「メンバーベースの組織(member based organization、メンバー主導で運営が行われる組織)というアイデアでした。
これは、私がCFに望んでいたことですが、スイス(CFの拠点)の三者構成は、あまり良いものではありません。今年の初め、私たちは一連のワークショップでCFと長い間話し合いました。簡単に言うと、「常に刹那的だったこれまでの三者構成を、メンバーベースの組織へと移行し、各メンバーは功績によって定義されるようにする」方法についてです。このことについては後ほど話します。

この課題について、私たちはなんとか良い人材を見つけることができました。CFは、Dirk Hohndel(オープンソース業界の第一人者)を雇うことができたのです。Dirkは、オープンソースソフトウェアコミュニティの伝説的な人物です。彼はThe Linux Foundationの共同設立者であるリーナス・トーパルズ(Linus Tervalds)と幅広く仕事をしていて、彼はオープンソースプロジェクトのことを、私やエコシステムの他の誰よりもよく知っています。CFとIOで働いている契約社員や個人、その他の人たちを合わせると、50人近くがスピンアウトし、2月から基本的にこのメンバー主導の組織の構築のために働いています。具体的な組織については、9月に発表があると思います。
基本的にこの組織には、ガバナンス運営委員会技術運営委員会、そして成長や導入に関連するその他の委員会、CIP委員会などが設置される予定です。基本的には、これらの委員会が、たとえばロードマップに関する決定を行い、CIPに関する提案を行い、その他多くの戦略的事項を決定します。

カルダノは「メリット&メンバーベース組織」を目指す

素晴らしい感じがしますが、私はこの件に同意しませんでした。そこで私たちは、「二院制モデル」に移行したいと考えています。このモデルは「基本的に執行部側が提案し、ADAホルダーが可否を投票する」というものです。
基本的な考え方としては、Vasilハードフォークの後、次のハードフォークコンビネーターは特別なタイプのアップデート提案としてパッケージ化される可能性が高く、そのための標準となるCIP(カルダノ改善案)を作成し、それをADAホルダーに対して開示し、ホルダーが是非を投票します。そしてその結果は、CIP執行部が署名し実行されます。
署名のための「更新キー」は、この3つの組織に接続されており、常に「分散型のアップデートシステム」を構築することを意図していました。
実際、私たちは「horizon 2020」の助成を受け、欧州連合と共同で論文を書き、この方法を探りました。技術的にはかなり複雑です。CIP委員会は「m×n個の鍵」を管理しますが、実際にはADAの保有者の承認がないと署名できないので、更新案を読んで保有者の援助に持ち込み、保有者がOKを出したら、署名して提案書を提出する、という仕組みです。

「メリットベース(Merit-based、利益主導)でありながら、かつメンバーベース(Member-based、参加者主導)の組織」とはどういう意味でしょうか? M&M 組織(Merit Member based organization)では、何かをするか、資金を提供するか、またはその両方をするかのいづれかです。とてもシンプルでわかりやすいですね。つまり、「エコシステムの中にいる人たちが参加できる」ところまで成長し進化できるようにする必要があるのです。
dRepsSPODappsの開発者、そしてコミュニティの役割を担う人たちと一緒に考えてみると、事実上はそのように運営されています。
私たちはアンバサダー・プログラムを提供しており、約1,000以上のプロジェクトがあります。3000人のステークプール・オペレーター(SPO)がいますし、dRepsの大きなコアも形成されています。これらは一対の不連続なセットではなく、重なりあっており、それは素晴らしいことです。しかし、この集合を見ると、非常に大きなグループであり、何千人、何万人もの人々が関わっていることがわかります。
基本的には「よし、次のステップでメンバーベースの組織に参加しよう!」と考えています。多くの委員会があり、ガバナンス運営委員会、技術運営委員会、成長・採用委員会などに参加する人もいるでしょう。

いよいよ「ガバナンス」の第一歩が始動

そこで「効果的な委員会をどのように立ち上げれば良いでしょうか?」という疑問から、CFはDirkを雇ったのです。
彼は、The Linux Foundationで140を超えるプロジェクトを行い、kubernetes、node、Fabricのような暗号通貨プロジェクトから、ハイパーレッジャーグループ全体、bessuというイーサリアムのノードまで関わっており、その多くは非中央集権で運営されています。この種のモデルには多くの組織的な知恵があり、基本的に私たちが9月末に追求しているのはこの点です。
最初のセットアップは、今から9月までの間に行います。7月から8月にかけて、参加志願のためのWebサイトを立ち上げます。このメンバーベース(参加者主導)の組織に何らかの形で参加したい人は、ある一定数までは誰でもサインアップでき、その後、組織に会費を支払うか、組織に何らかの仕事を提供するか、あるいはその両方を行うことになります。

その一方で、Cardanoのために働く人をもっと増やす必要があります。dcSparkのSebaがCIPエディターになったことは周知の事実ですが、彼の役割はCardanoブロックチェーン自体によって完全にカバーされています。
私はCatalystプロジェクトのHarris Warrenに「あと3~5人のコミュニティメンバーがCIPエディターになって、Cardanoブロックチェーンから完全に報酬が支払われるようになってほしい。また、10~15人のフルタイムエンジニアが直接Cardanoのために働き、Cardanoから報酬を得るようにしたい。これを、できればファンド10の大きな柱にしたい」と伝えました。
そろそろ実際にカルダノのために働く人たちが完全に揃う時期なので、ぜひ提案してほしいですね。それがこのメンバーベースの組織によるシステムのポイントです。
それも、ブートストラップした後に、メンバーが直接Catalystから資金を得ればいいだけなので、実はとても簡単なことなんです。しかし、企業だけでなく、個人でもこのようなことができれば、チェック・アンド・バランスに優れているので、コードを書く技術力がある人、CIPを読む能力がある人、そのプロセスの一部となる人は、考えてみてください。
求人が出てきているので、年末までにすぐにでも実現できそうです。これが少しでも役に立てばいいのですが。私が伝えたいのは、片付けが大変だということですね。

「Vasil後」も、たくさんの楽しみが待っている

まだ、2023年に向けてのイノベーションが残っていますし、それは楽しみでもあり、エキサイティングでもあります。この構造がなくなり、根本的に異なる構造に移行するという大きな変曲点を迎えようとしている分岐点まで来ました。
その過程では、膨大な量の学びがありました。しかし、公平を期すために、私たちは7年間の歴史を生き、多くの出来事を経験して、今に至っているのです。ロードマップや戦略など、コミュニティを適切に代表し、投票による同意の要素を持つ、巨大な会員制組織の存在が目前に迫っていることは、私にとって非常にエキサイティングなことなのです。多くの優秀な人材がこのプロジェクトに取り組んでおり、9月の発表が待ち遠しいです。
とあるイベントに近々参加する予定ですが、今は何も言えません。カルダノ財団と相互にNDA(機密保持誓約)を結びましたが、良いことがたくさん起こっています。アップデート委員会に関して、家の大掃除をすることになりました。この種のことはやらなければならないし、それは常にそうでした。また、プロキシ鍵や部分的な委任など、他のものについてもハウスクリーニングを行う必要があります。エコシステムとしてのgithubコミット数は、今でもナンバーワンです。 Vasilからのプッシュアウトは非常に複雑ですが、非常にシームレスで、エコシステムとして驚異的なアドバイスとコミュニティ全体とのコラボレーションを受け取っています。

カルダノは、一個人、あるいは一企業、一団体の集合体によってコントロールされていないのが現実です。 この点では、すべての暗号通貨の中で最も分散化された通貨の一つです。なぜなら、この巨大で超賢いコミュニティが、ある目的に向かって働いているからです。レガシーを取り除き、きれいにしなければならないこともあります。車輪を切り落とさなければならないこともあります。思ったより時間がかかることもありますが、それをやり遂げようという意思があり、コミュニティはそれを確実に実行に移そうとしています。しかし、私たちには、北極星が必要です。私はこのことについてよく考えました。では、私たちの北極星は何でしょうか? このようなことを行う際の指針となるものです。そして私たちにとってのそれは、分散化という概念です。正確にいうといくつかある中の一つです。
北極星(north star)はたくさんありますが、分散化という概念が今年取り組める大きな北極星だと思います。私たちは、「 Edinburgh Decentralization Index(エディンバラ分散化インデックス)」というものを立ち上げています。エディンバラ大学を拠点に、暗号通貨の非中央集権化を測定する予定です。
ですから、夏の間、いくつかの論文が書かれることになります。エジンバラ大学とチームが管理するラボが設立される予定です。このラボでは、ビットコインから始めて、イーサリアム、カルダノと進み、実際にインデックスを作成する予定です。このインデックスでカルダノがどう評価されるかはわかりません。良い評価の項目もあれば、それほどでもない項目もあるかもしれません。それを集計して点数を出します。素晴らしいのは、オープンソース・プログラムの運営監視委員会が、どうすればこれを改善できるか、どうすればこれをより良くできるかという議題と戦略を立てることができる点です。

今まさに、カルダノに「追い風」が吹いている

ですから、北極星がいくつも必要です。プロジェクトを特定の方向に導くための星座の集まりが必要なのです。1つは分散化であり、レジリエンス(回復力)も必要です。さらには効果やコストそして用途と実用性です。私たちは、初期のロードマップにおいて、こうしたさまざまな懸念のバランスを取るために最善を尽くしました。しかし、すべての人が常にハッピーでいられるわけではありません。
例えば、スマートコントラクトの市場投入が遅かったため、カルダノは今日起こっている多くのDefiを逃すことになりました。2021年には、「こいつらはなんて馬鹿なんだ、なんて非力なんだ」と言われたものです。
今、DeFi市場が崩壊し、指数関数的な損失が発生しているため、この遅れが実際には私たちへの追い風となっています。私たちはそのような海で遊ばなかったので、サメに噛まれずに済んだだけなのです。スマートコントラクトはもう少し早くからエコシステムとして存在していたかもしれませんが、開発モデルに対する慎重な配慮が足りず、最終的には、暗号通貨エコシステムが現在取り組んでいる多くのハッキングやプロトコル設計の欠陥などの問題に悩まされることになったかもしれません。
それは実際にいくつかの主要な暗号通貨を崩壊させるかもしれません。LunaもCelsiusも既に破壊されましたし 指数関数的にリスクが拡大し続ける中、もっと多くの崩壊が起きるでしょう。そのような中でロードマップを策定するのは難しく、それをまとめる適切な人材が集まるのを待つ必要があるのですが、まさに今がその時なのです。

実は、コミュニティはコロラドで大きなイベントを開催する予定です。Rare Bloomのイベントですが、私はその開催には全く関与していませんが、2,000人以上集まるようです。ブラジルで起きたコミュニティ・イベントが、世界各地で突然実現するというのは、考えてみればかなり異常なことです。その点では、かなり特別なことなので、みんな準備はできています。
5年前にメンバーベース組織にできればよかったのですが、当時のチェアマンはコミュニティのニーズよりも自分のニーズを重視することにしたのです。しかし、回復力のあるエコシステムには軌道修正能力があり、悪質な人材を排除することができるはずで、それが今回起こったのです。しかし、残念ながらレガシーな構造を残したままでは、メンバーベースの目的に適うことはありません。
ですから、意味のある構造を構築し、その中に組み込まなければならないと思いました。少しスピードは落ちますが、意図はまだそこにあり、あらゆるものを移行させることができます。
もし、参加したい方がいれば、ウェブサイトが立ち上がったら登録して、ぜひ参加してください。もしくは、ADAを利用して投票してあなたの声を聞かせてください。私たちは、分散化のような客観的な指針を提供できるよう、最善を尽くします。それは基礎的なものです。そして、他にもじっくり考えるべきことがあり、それはどんどん進んでいます。

「Vasil」が本来の「スマコン開始バージョン」だ

全体として、それはただのアイデアに過ぎなかったと考えれば、かなり驚くべきことであり、そう考えると、私たちは皆、この旅に一緒に乗ってきたのです。
2015年にホワイトボードに書かれたアイデアから、この技術的なリヴァイアサン(個人が集まり構成された巨大な権力の集合体)になりました。
カルダノは、ブロックチェーンエコシステムの月面着陸のようなものです。
私たちは100以上の論文を書きました。たくさんのコードが持ち寄られ、世界的なムーブメントを巻き起こしたのです。 私たちは、VoltaireBashoのような偉大な人々に敬意を表し、ますます分散化し、長い間ここにいることになる人々の集団を作り上げたいという願望についての基本概念と原則に忠実であろうと努めています。

私たちは暗号通貨の中で最も強いコミュニティを持っていると思いますし、これからも強いコミュニティを持ち続けると思います。難しいこともありました。Shelleyを連れ出すのは大変な仕事でした。あれは本当にsad pandaな状況でした。Goguenもまた、決して簡単なものではありませんでした。
私自身は、できればVasilを、去年の9月に立ち上げたAlonzoの代わりに立ち上げたかったのです。しかし、皆さんはそんな中でも、CornucopiasWingRiders, MinSwap, MuesliSwap, Sundae Swapliquid , Orbitsなどのすばらしいものを構築してくれました。Vasilによって、もっといろいろなことができるようになるでしょうし、もっと簡単なライブラリを作る必要があるとか、ドキュメントを作る必要があるとか、いろいろなアドバイスが来るでしょう。今、コアな部分だけでも15社以上の人が集まってやっていますが、それらをすべてメンバーベースの組織に巻き込むことができるというのは、かなりすごいことだと思いますので、今年の後半は反映の期間となるでしょう。
議論の時期でもあります。後始末をする時期でもあります。そして、本当に深く掘り下げ、全員が正しい場所にいるようにする時期でもあるのです。

「カルダノの基礎」は、これから最終段階に

そのために、今私たちはこのVasilと拡散パイプラインの実装に一生懸命に取り組んでいるのです。Cardano上で本当に面白いものをたくさん作るための十分な余裕がそこにあると思いますし、私はずっとやりたかった「RealFi」のビジネスに取り組むことができます。
私がCardanoを作ったのは、銀行口座を持たない人たちに銀行サービスを提供し、30億の人たちが今は持っていない金融オペレーティングシステムを使えるようにするためです。それは私の個人的な使命に過ぎません。あなたの指名である必要はありませんし、カルダノはオープンなプロトコルなので、誰でも好きなように使うことができます。
そのために作ったし、それを追求するために人生の大部分を費やしたいと思っていますが、そのためには良い基盤が必要で、今まさにそれをやっているところなのです。エコシステムとしての基盤の最後の要素を完成させているところです。
弱気相場では、誰もがより協力的になり、より多くの人が参加し、一緒に仕事をすることを望み、実際に連絡を取り合うようになります。強気相場は、皆がズルをし始め、人々は非常に敵対的になり、極めて否定的な言葉が使われ、非人間的なことが起こりますが、それはそれでいいんです。つまり、これはサイクルの本質なのです。私は今まで6つのサイクルを経験してきたので、市場の強気と弱気にどう付き合うかによりますが、私はそれに慣れています。
私は、傲慢なマキシや残忍なコメント、裏切りには決して慣れることはありませんが、経済的なインセンティブが一致したときに人々が異なる行動をとるという事実には慣れました。そういうものであり、それを受け入れるのです。揺るぎない唯一のことは、カルダノコミュニティはこれからも存続し、皆さん一人ひとりが求められたらいつでもその場に立ち上がり、やり遂げるということです。
7月と8月には、Webサイトが完成します。もしあなたがメンバーベースの組織に参加したいのであれば、先にサインアップしておいてください。そして9月には、その名称や仕組み、法的な構造などを発表することができます。そのためには、法的な枠組みをどうするかとか、いろいろなことが必要です。
コード面では、先ほど申し上げたように多くのクリーンアップを行い、「Vasil後」は膨大な量の技術的負債の削減とリアーキテクチャを行い、そして多くのバックログを処理するよう推進しています。

それでは皆さん、また次回に。ありがとうございました。また近いうちにお話ししましょう。

 

委任のご協力をお願いします🙇‍♂️
●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

ADApools.orgでの情報はこちら↓

チャールズ・ホスキンソン「米国議会演説」【クイック翻訳】


2022年6月23日に チャールズ・ホスキンソン氏が行った、「アメリカ下院の農林水産委員会、コモディティ・エネルギー・クレジット委員会」でのスピーチを全文翻訳しました。暗号通貨規制に関する重要な内容です。より読みやすい、CoffeePool☕️による独自編集でお届けします。

翻訳協力:@dino_coffeepool、編集:hix_coffeepool

I. はじめに

マロニー委員長、フィッシュバック筆頭理事、小委員会メンバー、来賓の皆様、この公聴会に私をお招きいただき、ありがとうございます。私はチャールズ・ホスキンソンと申します。
本小委員会の活動に心から拍手を送るとともに、ブロックチェーン業界のためにフォーラム開催の時間を割いていただいた皆様に感謝します。
私は、デジタル資産規制の将来について十分な情報を得た上で、しっかりとした話し合いを行うために必要なすべての情報を提供できることを嬉しく思っています。

II. IOG、私たちの活動紹介

私はイーサリアム・ブロックチェーンの創始者の一人であり、カルダノ・ブロックチェーンの創始者、そしてブロックチェーンやその他の最先端技術の開発に注力する研究・エンジニアリング企業である「Input Output Global(IOG)」のCEOでもあります。
IOGは、カルダノ・ブロックチェーンの構築に貢献した米国企業で、ブロックチェーンを利用した自己主権型IDソリューション「アタラ・プリズム」や、個人が様々な金融サービスにアクセスできるデジタルポータル「Lace ライトウォレット」など、カルダノブロックチェーン上の製品も手掛けています。
IOGの研究チームは、ブロックチェーン技術に関連する140以上の学術研究論文を発表しており、ワイオミング大学、カーネギーメロン大学、スタンフォード大学、エジンバラ大学などの学術機関と関係を結んでいます。
米国以外では、アフリカ全域(特にエチオピア、タンザニア、ケニア、ブルンジ)で、農村部でのブロードバンドサービスの拡大、マイクロファイナンスや融資のマーケットプレイスによる金融包摂の拡大、学生や教師へのデジタルIDや検証可能な証明書の提供などに取り組んでおり、これらはすべてカルダノ・ブロックチェーン上で実現されています。

III. 現実世界の問題をブロックチェーン技術で解決する

分散型台帳(すなわちブロックチェーン)は、透明性、監査可能性、タイムスタンプ、不変性が必要な情報を保存します。このプロセスにより、社会的・経済的な関心事の記録を、信頼性が高くプログラム可能なものにすることができます。
パブリックブロックチェーンは、多くの商品と同様に、本質的に非中央集権的であり、パーミッションレスである。
例えば、私はコロラド州の自分の農場で干し草を栽培しています。私は許可を得ずして、自分の干し草を植え収穫していますが、それと同時にグローバルでダイナミックな市場の一員となっています。
このような市場にはすべて規制や管理がありますが、この市場が何らかの形で機能することを保証するために、中央集権的な「干し草機関」の設立を想定したりはしません。そのような不適切な仮定は、かつてのソビエト連邦における中央計画化であり、現代の経済ではあり得ないことです。
ブロックチェーン・プロジェクトは、このような非中央集権的な倫理観を運用・体現しており、強引で時代遅れの規制構造の重みによって失墜してしまう可能性があります。

私は牧場主なので、水資源の権利、放牧のための土地の賃貸、公有地の管理団体など、数多くの契約、誓約、経済的な手続きに対処する必要があります。
これらの活動の多くはデジタル化されておらず、政策立案者、規制当局、研究者に新たな価値を提供するような形で共有されているわけではありません。
これらの活動がブロックチェーン上で行われ、管理され、そこで得られる情報が共有されれば、こうした活動は透明で監査可能なものとなります。
例えば、牛肉業界を見ると、牧草による飼育の証明書や、貿易金融、消費者へのアプローチ、消費者によるフィードバック、認証、生産から消費者に至るまでのトレーサビリティなど、ブロックチェーン技術は業界のサプライチェーンはもちろん、持続可能性と安全性に大きな価値を生み出すことができます。
トレーサビリティに関しては、「BeefChain」(IOGがプロダクトを提供)は、消費者が牛肉製品を追跡できるようにするブロックチェーンスタートアップです。
この「BeefChain」はCardanoのブロックチェーン上に構築され、IOGが提供する「Atala Traceソリューション」を利用しています。

2019年には、「Process Verified Program(生産過程認証プログラム)」によるUSDA認証を取得しました。これは、ホルモンフリーであるなどの特定の特性が、米国の食品安全規制に沿った監査・認証として扱われることを意味します。
「BeefChain」は、家畜の固有識別を可能にし、原産地を保証します。これによって、牧場主は高級牛肉をプレミアム価格で提供することができ、消費者は消費する肉に大きな信頼を寄せることができるようになります。
ワイオミング州で行われている「動物の焼印」に関する規則や手続きをデジタル化することで、検査官は数千時間を短縮し家畜販売の迅速化だけでなく、環境配慮や動物保護への配慮、サプライチェーン管理のデータ収集などが可能になります。
家畜のブランド化は、その記録がブロックチェーン上に永久に固定されることで、新たな価値を持つようになります。
私の会社が行っている業務の一部ですが、IOGはエチオピアの教育省と協力して、同国の500万人の生徒と教師のために、ブロックチェーンベースのデジタルIDと検証可能な学歴証明書を作成することに取り組んでいます。
この重要なプロジェクトの目標は、データ主体型の政策決定を可能にすると同時に、不正のリスクを減らすことで、学生が大学や就職市場に対して、国内外において自身の教育実績を証明可能にすることです。
さらに、IOGとWorld Mobileのパートナーシップでは、Cardanoブロックチェーンを活用し、アフリカ大陸の遠隔地やアクセスが困難な地域に力を与え、誰もが平等にサービスや機会を利用できるようにすることで、完全につながったアフリカの基礎を築くものです。
カルダノ・ブロックチェーンを活用したワールド・モバイルのメッシュネットワークモデルは、拡張性のある共有インフラ、セキュリティ、透明性、自己主権を実現し、人々がインターネットサービスを利用するためのコストと障壁を低減することが可能です。
シェアリングエコノミーは、ネットワークのすべての参加者に、その成功に対する相互の利害関係を提供します。

ケニアとガーナでは、暗号通貨の流動性と現実の経済活動の間の摩擦を取り除き、より安価な金融商品を提供する商品のエコシステムを通じて、より簡単に資金調達に取り組むための活動をしています。そのためにIOGは、Pezesha Africa Limitedと提携し、運転資金のための短期融資を求める中小企業への融資を促進しています。
この活動の目標は、シームレスな融資を可能にする、シンプルで摩擦のないツールを構築することです。
もう一つの米国でのユースケースとして強調したいのは、IOGとDISH Network Corporationの戦略的提携です。
これにより、ブロックチェーン技術を利用したロイヤルティプログラムが開発されています。両社は、Cardanoブロックチェーンに支えられたトークンベースのロイヤリティシステムの構築に取り組んでいいます。
このロイヤリティ・トークンの残高は、DISHが管理するデジタルウォレットを使用して、毎晩バッチ処理で調整され、IOGのAtala Prismを活用することで、個人を特定できる顧客情報が含まれないようにします。
このコラボレーションの最初のステップは、Atala PRISMのIDサービスとCardanoのネイティブアセット機能を通じて、DISHのインフラにブロックチェーン機能を実現し、DISHがより良いサービスを提供することで、利用者が安全に接続できるようにすることです。
これらの使用例やプロジェクトは、ブロックチェーン技術が米国、特に地方の遠隔地にもたらす経済発展や成長の一端を例示しています。

IV. ブロックチェーン産業の目的とは

デジタル資産をどのように規制し、消費者を保護し、現代社会における現実と、業界の成長を一致させるかを議論するなら、イノベーションが解決を難しくしている事実を認める謙虚さを持ち、その代わりに原則に焦点を当てるべきです。
言論の自由という概念は、新しいテクノロジーによって常に挑戦されていますが、言論の自由に関する憲法上の概念は変わらないことを認識することができます。
私たちは、政府の干渉や報復を恐れることなく、自由な社会で自分自身を表現したいという願望を持っています。ブロックチェーン業界と米国政府との関係において、考え方の指針となるべき原則は何でしょうか。
もうひとつの米国の創造物であるインターネットを考えてみると、そのガバナンス、進化、革新は、国際電気通信連合(ITU)やその他の超国家機関によってコントロールされているのではありません。接続性、容量、実用性の向上という、自明の「共通の目標」に向かって協力し、相互接続され相互依存している何千もの機関や民間企業によって行われています。
米国は、インターネットを繁栄させ、米国がインターネット技術における主要な役割を果たし、それを維持するために、パブリック・プライベート・パートナーシップを受け入れました。
これと同様に、米国のブロックチェーン産業が繁栄し、その可能性を最大限に発揮するためには、民間部門と協力する多くの異なる機関が必要となります。
1兆ドル企業の台頭をもたらしたインターネット規制の枠組みを議論した1990年代の先行議会のように、今議会もブロックチェーン業界と協力して、イノベーションと適応に対する我が国の顕著な能力を活用する原則ベースのアプローチに向けて、大きな成果を上げることができると確信しています。
特定の法域の境界線に隔離され、報告と開示のために中央集権的な団体にのみ依存するカテゴリーベースの規制は、ブロックチェーンを基盤とする分散型エコシステムにおける実行力は期待できず、かえってイノベーションを阻害することを認識することが重要です。
一方で、より柔軟な原則ベースの規制は、始まったばかりの業界を締め付け、企業を海外に追いやることなく、生まれたばかりのテクノロジーと共に適応・進化させることができます。

V. ブロックチェーンがどのように米国産業に貢献できるか

20 世紀を振り返ると、米国の優位性は、金融サービス、テクノロジー企業、製造能力のという、3 つの柱に支えられてきました。
これらの産業は、グローバル化、競争の激化、新技術、そして持続可能で価値主導の世界経済を確保するための環境・社会ガバナンス(ESG)ルールを定義したいという要求のもと、急速に変化しています。
ブロックチェーン業界は、21世紀を通じてこれらの業界の信頼性、コンプライアンス、競争力を実現できる基盤技術を構築しており、それによって「もう一つのアメリカの世紀」を確実なものにすると私は信じています。
ブロックチェーン技術が提供する、透明で不変であり常に客観的な台帳は、記録管理、報告、監視のための驚異的なツールです。
言い換えれば、ブロックチェーン技術自体が、消費者を保護し、市場の健全性を守るために展開できるツールの多くを提供することができるのです。
分散型取引所(DEX)をフロントランニングやセキュリティ侵害から守るのと同じコンセプトで、Chainalysisのようなレグテック企業も、取引所に関する前例のない情報を政府機関、規制当局、経済学者、金融エンジニアに提供するために利用することができるのです。
このデータの収集は、パーミッションレスであり、ロイヤリティフリーです。
ダークプール(取引所の内部取引)はもう不要です。中央集権的なブローカーはもう不要です。
ブロックチェーン技術の力は、その普遍性とイノベーションのためのパーミッションレスモデルにあります。
真の競争は、誰もが平等に市場にアクセスできるときに存在します。
私の会社IOGは、エチオピアからモンゴルまで、多様な国々でブロックチェーン関連の事業展開を進めるために、ロイヤリティの支払いや特許申請、ライセンスの取得を必要としたことは一度もありません。
牧場主がブランドを登録する場合と同じツールを、土地の権利証やクレジットスコア、あるいは楽曲を表す非可溶性トークン(NFT)の発行に再利用し、そのアーティストが公正な報酬を受け取ることを保証することができるのです。
ブロックチェーンは、これまで社会が経験したことのない規模とスピードで、価値、思考、商取引の流動化を可能にします。
これらの新しい能力の「結果」を予測するのではなく、「どのような消費者や市場のリスクから守るべきか」「消費者が持つべき基本的な権利は何か」そしてこれらの新しいツールを「最大限の利益のためにどのように使用するか」を決定すべきです。
米国から発信される規制や法律に準拠することは、ブロックチェーン業界、国家、世界にとって指針となる価値観でなければなりません。
なぜなら、何の統制もない開発のスピードは、詐欺、無駄、乱用の横行を招くからです。

VI. 正しく、責任のある規制のあり方とは

IOG、私、そして業界の多くの人々は、デジタル資産とブロックチェーン技術に対する適切で責任ある規制に賛成し、支持しています。
しかし、これは新しい技術であり、根本的に新しい資産クラスであるため、約1世紀前に作られた法律や検証方法の枠内には、簡単に当てはめることはできません。
暗号通貨は金融の幹細胞であり、ほぼすべての資産になりうるプログラム可能なソフトウェアであり、時間とともに変化することが可能です。
実際、同じ暗号通貨は2つとなく、暗号通貨の用途、機能、特徴は、「誰が、なぜ、どこで暗号通貨を保有するか」によって異なります。
暗号通貨は、データの検証、情報や価値の移転、商品の購入、サービスへのアクセスの提供、報酬や会員制プログラムとしての機能、価値の貯蔵や投資として、すべて同時に、または暗号通貨の生命活動の中で異なるタイミングで使用できます。
米国議会は、これほど「同時に多くの異なるものになり得る存在」の規制を試みたことはありません。
確かに、暗号通貨の中には証券であるものもあれば、商品であるものもあり、その両方であるものもあります。しかし、多くはそのどちらでもない可能性があります。暗号通貨がどのように分類されるかにかかわらず、次の3つのことを念頭に置く必要があります。

(i)米国の既存の規制制度はこのような資産を想定していない
(ii)暗号通貨がなければ、ほとんどのブロックチェーン技術は単に機能しない
(iii)規制目標は、適切な消費者保護を促進し市場の整合性を保証することである。

この点については、暗号通貨を証券または商品と表示することを必ずしも必要としない規制的アプローチによって達成することができます。
米国の証券取引法は、中央集権的な主体(例えば、識別可能で、その株式の保有者に財務データやその他のデータを提供する役割を永続的に担える企業)が存在し、今後も存在することを前提に投資家と市場の保護を実現しています。
ブロックチェーン技術、ひいては暗号通貨の中には、当初は企業に似たある程度中央集権的な主体によって作られたり、裏付けされたりするものもありますが、そうしたものだけではありません。
時が経つにつれ、すべての暗号通貨やブロックチェーンが、そうした技術を支える当事者として特定できる中央集権的な主体が存在しない状態で存在することを想定することができます。
このような中央集権的な責任者の存在を前提とした既存の法規制は、ブロックチェーン技術やその技術を推進する暗号通貨の場合、単純かつ論理的に機能しません。
責任ある規制は、ブロックチェーン技術が米国の競争力、米国の安全保障、特にデジタルインフラ、米国人の金融包摂、経済発展・成長の促進に果たすことのできる重要な役割について、「理解すること」から始められるべきです。

VII. おわりに

暗号通貨と、暗号通貨の運用と機能に依存する広範なブロックチェーン産業は、過去10年間、商業化されていない、有志者たちの開発者の小さなグループから、高度なエンジニアリング、科学研究、上場企業、世界中でこれらの技術を使用する何千万人もの人々を包含する1兆ドル規模のグローバルエコシステムに成長しました。
ブロックチェーン技術の大きな成長は、インターネットに匹敵するものであり、より安価で効率的な決済システム、暗号技術によるインフラのセキュリティ強化、新しいガバナンスの形態、自己主権型のアイデンティティなど、間違いなくより大きなチャンスをもたらします。
しかし、この新しいテクノロジーは新たな課題も生み出し、多くの既存システムが抱える既存の問題をさらに増大させました。
カウンターパーティリスクや、中央集権的な仲介者を解さない情報と価値の瞬間的な移動、複雑なビジネスプロセスや構造を迅速にアップグレード可能なオープンソースソフトウェアに縮小することは、地球規模で物事を捉え、地球規模の速度ビジネス活動を進められるようになったことを意味しています。
これらの実際の使用例、業界の指針となる価値観に関する私の意見、ブロックチェーン業界の約束に関する考えを発表する機会を得られたことに感謝します。
私の知識とネットワークは、この小委員会でいつでも利用可能であり、立法プロセスを助け、支援することができます。
最後に、米国が米国のブロックチェーンと暗号通貨産業の規制の将来について議論している間、今後数ヶ月間、実りある継続的な対話ができることを願っています。お時間をいただき、誠にありがとうございました。

 

委任のご協力をお願いします🙇‍♂️
●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

ADApools.orgでの情報はこちら↓

コンセンサス総括と、暗号通貨の未来について【超訳チャールズ・ホスキンソン】

2022年6月14日に公開された、チャールズ・ホスキンソン氏の動画、
「Post-Consensus, Markets, and Thoughts」を【全文翻訳】しました。
コンセンサスのイベント総括だけでなく、チャールズが今後、アメリカ議会とどのように向き合っていくのか、そうした決意が込められた重要な配信です。ぜひご一読を!

翻訳協力:@dino_coffeepool、編集:hix_coffeepool

————

皆さんこんにちは、チャールズ・ホスキンソンです。
いつも暖かく、いつも晴れている、コロラドからお届けします。

今日は2024年…おっと、間違えました、2022年6月13日です。コンセンサスから戻ってきたばかりで、まだ疲れています。同イベントには17,000人の人々が集まりまり、コミュニティ・イベントには1,200人以上が集まりました。
たくさんのVIPが集まり、素敵なパーティが開かれ、イライジャ・ウッドがDJとして登場し、アイス・キューブも来てくれました。だから、こういうことをやるとは思ってもみなかったけど、楽しかったね。ステットソンハット(カウボーイ的な帽子)をたくさんプレゼントしたし、テキサスはいつも楽しい。バーベキューを食べ過ぎたけど、コンセンサスにいるときはこんな感じです。

大盛況に終わった、カルダノのコンセンサス参加

今回のイベントは、1つのエコシステムとして「カルダノ」が非常に大きなインパクトを与えたという意味で、本当に特別なものでした。
現在、この業界では「安定性、品質、確実性」が強く求められています。今日、ビットコインは約14%下落していますね。市場はあまりうまくいっておらず、ビットコインが2万ドル以下になる可能性も十分あります。
これは、物事が過熱していたためで、現在は後退しています。株式市場はひどいもので、インフレ懸念は大きく、金利は上がっています。世界的な不況で、1ガロン(約3.7L)のディーゼルガソリンが7ドル、4Lが28ドルでは、何もできない。いかに物価が高いか、皆さんお分かりですよね。

コンセンサスのおかげで、私たちはカルダノのエコシステムの多くの開発者と会うことができ、「なぜカルダノにいるのか、そして何をしているのか」を聞く機会がありました。
「長期的にカルダノにいるのか、それとも最近になってきたのか」を聞きくと、彼らの誰もが、「問題解決」に情熱を傾け、懸命に努力し、それを成し遂げています。
「国全体にインターネットを配信しているエアノード」から、「まったく新しい世界を構築しているメタやNFT」、そしてDEXサイドの実に興味深いものまで、さまざまなものを目の当たりにして、本当に驚きましたし、興奮しました。

開発側の使用体験に関する会話は、最も素晴らしい内容の一つです。
私たちは、カルダノ・エコシステムのDeFi側の多くの人々と、新機能のリクエストについて本当に深いミーティングを何度も行いました。
また、エコシステムとして9月頃に発表できるであろうカルダノのオープンソースプロジェクトについてもたくさん話をしました。
要するに、メンバーベースの組織(参加者が主体となる組織)へと移行しつつあるということです。そのような組織になる時期が来たのです。そのため、膨大な量のインターソースやJira(バグトラッキング用ソフトウェア)が進められています。
この夏は、あらゆる面で非常に忙しい夏になりそうです。毎日が同じことの繰り返しで、みんな落ち着いているように思います。ただ働き、ただやり遂げるだけです。エコシステムを構築するのはとても楽しいことで、その過程で多くのことを学び、配信を続けています。

インプット・エンドーサー」は順調に進んでおり、そこでは大きな進展が見られます。Duncanとチームは、この問題の深いニュアンスを本当に掘り下げています。私たちは、エコシステムとしてのカルダノのネットワークスタックを進化させ、新しいユースケースとユーティリティを見つけ続けています。Mithrilでは大量の進捗、Hydraでは大量の進捗があり、そういう意味では、驚きというのはありません。

「次のTelaやCelsius」を生まないために、私たちに必要なこと

CelsiusやTerra Lunaなどを見るとあらゆる驚きを見ることができます。あのように「永久にリターンが保証される」ような、スーパー・アメイジングな金融工学を作ろうとすると、さまざまな泥沼にハマってしまうのだと思います。

現実では、技術的な努力であれ、商品的な努力であれ、知的な努力であれ、人間の努力には浮き沈みがあるものです。成功もあれば失敗もあります。その点では我々の業界も同じです。
「クリプト」という言葉を加えたからといって、多様性や 深いリサーチ、リスク管理も存在しなければ、金融物理学の法則が変わるわけではありません。
この業界は、新しい業界であり、エキサイティングな新しいものがあるため、ボラティリティが非常に大きく、必然的に勝者と敗者が多くなり、敗者の側に偏ることになります。

この1カ月半から2カ月、議員たちとたくさん関わり、非常に深く、詳細な話し合いを行ってきました。上院の公聴会も開かれ、議会からの質問も来ます。暗号通貨の将来について、立法府では多くの関心が集まっています。このような話し合いの中でポジティブなことは、ほとんどの合理的な政治家の間で、暗号通貨が今後も存在することを全面的に認めていることです。
市場は上昇し、市場は下降する。不正を働く人もいます。しかし、従来のマーケットプレイスや従来のテクノロジーと同様に、これは革命的なテクノロジーであり、多くの用途と実用性が待ち構えていて、さまざまな分野で根本的な変革をもたらします。市場の上下は、これらの事実を無効にするものでは決してありません。

とはいえ、ルールは確立されなければなりません。なぜなら、今は必要なほどうまくいっていないからです。ようやく立法府がそのことに目覚め、アメリカでも何かが起こるでしょう。オクスリー法などの基準が全世界に波及し、米国の基準との対比や合併を反映した規制が行われるようになると思います。

私たちは、根本的な問題を解決しようとしているのです。
例えば、私たちは地方分権という概念に非常に関心があります。そのため、分散化指標を立ち上げて測定を開始し、話し合いを始めようと思っています。この指標は、最終的にはNIST(米国国立標準技術研究所)や標準化団体に組み込まれ、エコシステムが特定のマイルストーンを達成したことを証明するための共通指標として使われることが私の希望です。
スループット」の定義が必要です。道路のルールを明確にするために、消費者保護のルールづくりが必要です。

イノベーションの面では、ブレイクテックが暗号通貨業界で最も急速に成長すると思われます。「KYCの自動化」、特定のユースケースにおける「アイデンティティとメタデータのトランザクションへの埋め込み」は、非常に理にかなっています。

下落相場こそ「膿を出し切るチャンス」だ

問題は、「この線上にあるものはすべて問題だ!」という、直感的で、ほとんど幼稚な批判があるように思われることです。
ここではっきりさせておきたいのは、アメリカのどの議員も、どの行政府のメンバーも、BitconnectやTerra Lunaの問題に責任を負っていないということです。
この業界の誰もが(私たちはある意味これは適切ではないと思っていますが)、これらの問題を受け入れ、自分の問題だと考え、人々の声を聞く必要があると思っていません。
もしそうすることができれば、私たちは知恵を得ることができ、集団でアプローチを考え出すことができるのです。そうすれば、何度も何度も繰り返されるモラルハザードを起こすことなく、業界として望むような形で事業を継続することができるのです。

この弱気相場は、絶好のチャンスです。ライバル心を捨て去るチャンスです。不正を止めるチャンスです。
ソーシャルメディアによって増幅された膿や、人々の点数を稼ごうとするコミュニティ・マネージャーによる膿が薄れ、基本的な技術研究に関する法律や標準について協力し合えるようになる機会です。
私たちは一貫して、さまざまな団体に声をかけてきました。ハイパーレッジャー・グループのfireflyのメンバーからUTXO連合(UTXO alliance)までにわたって提携関係を構築してきました。そのほかにも、the horizonやergoのような他の暗号通貨、Algorandを含む多くの科学的アプローチの暗号通貨プロジェクトと軒並み素晴らしい関係を持っています。

多くの場合、2つの組織の間で人が行き来しています。そして、その協力関係を通じて、双方で知識を得ることができるので、今後も続くでしょう。弱気相場では、こうあるべきなのです。
私たちは、業界として何をすべきか、その方向性とポイントを深く考え、人々と議論を交わしながら、構築していかなければなりません。そして最終的には、振り返ってみて、自分たちは良いことをしたと言えるような地点に収束していくべきなのです。

自己破産をすることが、こうした人たちにとっての唯一の答えであると考えるのは無理があります。アルツハイマーになった人はどうするのか、突然死んだ人はどうするのか、鍵はなくしたのか、遺産分割協議もないのか、相続もないのか。解決策が必要なのです。
この業界のポイントは、ある哲学を剥奪して、別の哲学に置き換えることではなく、人々がどのような哲学を持ちたいか、選択できるようにすることです。
他の人が自己の権限を持つことを無視してはいけないし、自分と違うことを選択した人に「あいつは悪いヤツだ」と避難してはいけないのです。
これは、暗号通貨以前には、私たちに与えられていなかった選択肢です。私たちは暗号通貨をきっかけに銀行システムの仕組みを学び、経済的な代理権のレベルやプライバシー、アイデンティティの本質を学びました
今、私たちは初めて発言権を得ました。このわずかな期間に、私たちが取り戻そうとしている権利を確固たるものにしなければ、人々は私たちからそれを奪おうとするでしょう。

しかし、そこに至る道は、批判を聞くことです。懸念やモラルハザードに耳を傾けることです。
この下火の時代に起きていることは、そうした反省を生かす素晴らしい機会であり、経営者が素晴らしい体験を構築できない理由はありません。

経営者が素晴らしい技術を構築できない理由はないのです。より優れたウォレット・インターフェイス、ウォレットの回収方法、鍵の保管方法、それらをより安全に行う方法など、すべてを改善することができます。
私は、米国やその他の国の米国法全体を機械的に理解できるようにし、AIやその他の技術で操作・変換・利用できるデジタルオブジェクトにして、スマートコントラクトに組み込む方法を探す必要があると考えています。
そうすれば経営者は、必ずしも弁護士に相談することなく「この取引が合法かどうか」という簡単な質問をすることができます。
それが私たちが目指すべき未来です。また、現在の法制度が抱える矛盾や食い違い、抜け穴を明らかにし、立法者と協力して、理にかなった部分に修正を加えることも可能でしょう。

この業界でリーダーの一人になるのは大変なことです。何事にも精通し、常に1000点満点の成績を収めなければならない。そうでない場合は厳しく評価され、そうであっても賞賛されることはほとんどありません。
しかし、それは問題ではありません。なぜなら、重要なのは皆さんの集団的な努力だからです。それが私たちなのです。
カルダノも、イーサリアムもビットコインも、一個人の膨大な努力によってここまで来たわけではありません。大勢の人々が、自由と解放を選択することは基本的に良い考えであると判断したからこそ、そこに到達したのです。

このように、私たちは落ち込んだときにもその教訓を忘れてはなりません。裸の日はその教訓を考え 心に刻まなければなりません。
そして可能なら他の努力と同じように 私たちのすることをもっと身近で魅力的なものにする方法を見つけなければなりません。

世界の中央集権化を防ぐために、私たちに必要なこと

繰り返しになりますが、おそらく毎日お願いすることになると思いますが、この業界の毒気や陰口は脇に置いておく必要があります。
そして、この業界では、うまくいっていないことについて、知的な意味で正直にならなければなりません。
私たちの業界には、クロスチェーンの標準が必要です。スマートコントラクトの標準が必要です。
この業界では、私たちの有無にかかわらず、規制に関する会話が交わされているからです。イノベーション、雇用の拡大、この業界がもたらす素晴らしいもの、この業界がもたらす回復力、この業界がもたらす思考の変化が維持されるよう、私たちが影響を与え、変えていくことができるように、私たちがその参加者になることが非常に重要なのです。

そうでなければ、CBDCや許可制に吸収され、最終的には少数の人が多数の人のデータの身元と価値を完全にコントロールする、ディストピアの現実が待っていることでしょう。
私たちは、そのようなことを許すわけにはいきませんし、私たちが業界として小心者であり続ければ、それは既定路線となります。もし私たちが最大主義という悪魔に屈し続ければ、既定路線としてそうなるでしょう。
そして、もし私たちがそこから抜け出す方法を革新しないなら、それは既定路線として起こるでしょう。私たちがしなければならないことはたくさんあり、これから数週間、数ヶ月、私たちはそれを続けていくでしょう。

カルダノエコシステムは確実にそれに向かって行動しています。
現在、Cardanoのエコシステムには14のウォレットがあります。エコシステムとして認証基準を作り、安全なウォレットであることを保証し、人々がセキュリティに対して合理的な期待を持てるようにしなければならないのです。

現在、世界中の何万人もの人々がCardano上で1000を超えるプロジェクトを構築しています。これらのプロジェクトがエコシステムとして展開される際には、他のチェーンで起こったような事態に陥らないよう、基本的なスタンダードを遵守することを保証しなければなりません。
NFTのような資産だけでなく、こうしたDAOのガバナンスで持ち上がるあらゆる種類のものに対する知的財産の法的包囲網について、膨大な疑問が存在します。知的財産、DAOの法的領域、そしてこれらのDAOのガバナンスやNFTのようなDAOのアセットに持ち込まれる、あらゆる種類の膨大な問題があるのです。

私たちがそこに到達する唯一の方法は、私たちが一緒にそこに到達することなのです。私たちはIOHKではエディンバラ大学とともに、分散化インデックスや政策立案者との深い議論を通じて、この問題を解決するための役割を果たしています。そのうちの多くは、コンセンサスでご覧いただいたとおりです。

そのように、意見の相違を持ついくつかのものがある皆さんが、それぞれのアクションを起こすことができます。
多くの人は、現在はフルタイムやパートタイムではなく、会社ではなく、ブロックチェーン自体のために働き始めていることに気づいたかもしれません。

dcsparkのSebastianが辿ったのと同じプロセスから、今後半年間で3~5人のCIPエディターが誕生して欲しいと思っています。
もしあなたがエンジニアで、CIPを読んでCIPプロセスのスピードアップやレビューに費やす時間があるのなら、ぜひCatalystの資金提供に応募してください。
そうすれば、もしあなたが妥当な候補者であるなら、私もぜひ応援を投げかけたいと思います。

私は、深い人脈を築くことが本当に重要だと思っています。インフラを構築したり、カルダノのエコシステムをツール化する人も同じです。
何かを構築している人は、待っていてはいけません。Catalystに行きましょう。あなたがCardanoのために直接働けるように、そしてアンバサダーのために同じように構築し続けられるように、Catalystで資金調達できる方法を見つけましょう。
エコシステムのあらゆる側面に関わる人たちも同じです。あちこちの企業ではなく、コミュニティから千の花が咲き、すでにカルダノに取り組んでいる大勢に加え、すでに弾力性のあるシステムに多様なチェックとバランス、コントロールを加える時が来ているのです。

これらは、私たちがすぐに必要としていることです。技術者ならPlutusCardano Stack Exchangeを理解できるはずなので、質問に答えたり、人を指導したり、githubに行って新しいドキュメントを勧めたりしてください。そういう点で協力する必要があります。

もし、企業や個人の方で、ガバナンス運営委員会や技術運営委員会に参加されたい方がいれば、Webサイトを立ち上げて、名前や情報を集め、発表時に情報パッケージを送るので、その点から小さな軍隊を作り始めることができます。
これらは、法律や政策に関心がある人なら、今すぐできる短期的なことです。議員に手紙を書き、上院議員に手紙を書き、あなたの考えを伝えましょう。
私たちはエコシステムとしてそれを行うべきです。ルミス議員の暗号通貨に関する法案やその要約を読む時間をとってみてください。何が起こっているのか本当に理解するようにしましょう。税金の基準、保管の基準、資産の定義の基準が必要です。

先ほどまでドン・タプスコットのサイン会に参加していた。彼は「デジタル資産革命(Degital Asset Revolution)」という本を書き上げたばかりです。
表紙には、9つの小さなタイルが描かれています。そのひとつひとつが、米国の法律におけるさまざまな種類のデジタル資産を表しています。
私たちは、デジタル資産の代理人や適切な分類法さえ持っていません。このように、デジタル資産の整理は必要不可欠であり、また、デジタル資産業界が生き残り、成長し、繁栄するために、規制を明確にして、私たちの道を切り開くために必要な基本的法案を可決しなければならないのです。
このプロセスに参加し、州議会議員や連邦議会議員に声をかけ、再び一緒に取り組みましょう。

私たちは全力でこの最前線に立ち、今は私たちの声は小さいですが、これを大きな合唱するために、たくさんのリーダーたちと協力関係を築こうとしています。
この業界を、Celsius, Luna、Bitconnectなど、破滅的な損失や失敗、最終的な破壊につながった過去の出来事で定義されるようなものにはしたくありません。

そんなことは許されない。正しいことではないのです。それらは、私たちとは違います。私たちがここまで歩んできたのは、こうしたもののためではありません。
私たちカルダノは、すべての人のための1つのシステムを構築するために始めたのです。
一人ひとりに平等な配慮と、包括的な説明責任、そして保存・維持・享受の保証を与える、みんなのためのプロトコル群なのです。
自由を伴う労働の成果、それが公平であり、同意できる最低の共通項だと思います。そして、他のすべてを達成することができると思います。
もちろん、事実や状況に応じた意見の違いはあるでしょうが、人間一人ひとりに自由を得る権利があり、生まれた条件として仲間たちと平等に扱われることを保証される権利があるのです。

それが私たちであり、私たちの生きるべき社会なのです。

私たちはそれを実現することに失敗しました。憲法にきれいな言葉を書き、これらのものを維持し保護するための制度を作ろうとしても、制度は腐敗し、憲法は無視され、結局は人間は人間なのです。
ある種のもの、ある種の自由、プライバシーの権利、お金、アイデンティティを守るために、マシンによってそれが行使される必要があるのです。
これらは私たちにとっては非常に重要なものです。
だから私たちはカルダノを作りました。どうすれば、これらを守り、できるだけ多くの人にこれらを重要だと信じてもらえるか、そのための最善の努力です。

これは大変な日々です。多くの人がそうだと思いますが、IOHKの社員やこのプロジェクトに参加している多くの人にとって、月曜日にはこれをやって、火曜日はこれをして、その次の水曜日はこうなる、そんな一日です。

本当に世界を変えたいと思うのなら、皆さんがこれらを持つべきものだと思います。つらい日もあれば、いい日もある。でも、信念を貫き、鍛錬し、前進し続けなければならないのです。
だから、私はAMAを楽しみにしています。今週末にはまた行けると思います。さっきも言いましたが、小さなスタジオを建設中です。もちろん、1年を通して常に発表があります。一年を通してやることがあるからです。

コンセンサスは、信じられないほど成功したイベントでした。私たちのエコシステムにとっても、私たちにとっても。カルダノの存在を世界に示し、私たちが残した足跡の結果、多くの未解決の物語が生まれました。
実際、「コンセンサスはカルダノのイベントだった」と冗談交じりに言う人もいましたが、私はとても嬉しく思っています。

また、Cardanoブースのすぐ隣にあったメタバースのブースから「人が多すぎる」という理由で騒音について苦情があったという話も聞きました。
そして、このコミュニティの一員であることに感謝し、他のスペースにも感謝します。
私たちは皆、ビジネスのために開かれているのですから。さあ、行動を起こしましょう!

 

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb


カルダノの 処理能力を最大化する「インプット・エンドーサー」のすべて【超訳】

6月10日にIOGにより配信された、「Ouroboros-Leios」の解説動画を全文翻訳しました。
本動画では、カルダノの取引処理能力をさらに向上させる「インプット・エンドーサー」の仕組みを、IOGのチーフ・サイエンティストのアゲロス・キアイアス教授が徹底解説。ブロックチェーン・ネットワークにおける処理能力の基本的な仕組みから分かりやすく説明しています。今後のカルダノのアップデートの根幹となる話題なので、ぜひチェックしてみてください!


こんにちは。エジンバラ大学教授、ブロックチェーン技術研究所所長、Input Output Globalのチーフサイエンティストのアゲロス・キアイアス(Aggelos Kiayias)です。
このビデオでは、「ウロボロス・プロトコル」のスケーリングに関する研究の進歩について紹介します。
ウロボロスは、Bitcoinブロックチェーンと同様の分散性を持ちながら、Proof of Stakeに基づく「Longest Chain Protocol(最長チェーン優先プロトコル、ブロックがフォークした場合、最長のチェーンを持つものを正とする検証方式)」です。
これは例えば、参加者の人口が継続的に変動することを処理する能力があるということです。Bitcoinとは異なり、Proof of Workのプロトコルで必要とされるエネルギー消費を使うことなく、この分散性を実現することができます。

「最長チェーン優先プロトコル」における限界値を考える

一方で、この「最長チェーン優先プロトコル」は、性能特性が悪いと思われています。なぜそうなのかを考えてみましょう。コンセンサス・プロトコルに求められる性能とはどのようなものでしょうか?

コンセンサス・プロトコルの性能を簡単に可視化する方法は、パイプに見立てて考えることです。幅はスループット(処理能力)で、長さはセトルメント(合意形成)時間です。
ここで望ましいのは、スループットは広く、セトルメント時間が短いことです。
ここでは、スループットに焦点を当ててお話をしましょう。
最長チェーン優先プロトコル(Longest Chain Protocol)の問題点を説明し、どのように逆転し、分散性を失うことなく、より良いスループットを得ることができるかを紹介します。

「最長チェーン優先プロトコル」では、1秒あたりのトランザクション数に換算したスループットを「f x B」と表現します。ここで、fは「1秒あたりのブロック生成率」、Bは「1ブロック内のトランザクション数」です。

f x B =1秒あたりのトランザクション数スループット
f=1秒あたりのブロック生成率
B=1ブロック内のトランザクション数

ここでは簡単にするために、すべてのトランザクションが同じ大きさであると仮定します。よってこの場合、トランザクションを「伝送データの主な単位」として使うことができます。
これから述べる議論は、たとえ別の指標を使ったとしても同じになるはずです。
この「 f × B」の式から、「f が大きければスループットが良くなる」ことがわかります。しかし、ここで問題になるのはf をどの程度大きくしていいのか?」ということです。

さて、この問題は、私たちが何年もかけて詳細に研究してきたものです。
そして、2021年の「ACM コンピュータ・コミュニケーション・セキュリティ シンポジウム」で発表した最新の解析によって、これらのプロトコルの安全性に対する必要十分条件として、この式を導き出すことができました。ここで、

Δ=ブロック伝送(block propagation)のためのネットワーク遅延
pA=敵対的当事者(adversarial parties)の相対的なパワー
pH=誠実な当事者(honest parties) の相対的なパワー

と定義します。
これが「ブロック生成率= fに与える影響を理解するためには、ブロックに対するネットワークの遅延を理解する必要があります。

 

そして、これは複雑な問題ですが、シンプルな抽象化が必要になります。このブロック伝送遅延に類似する現象を、今回の目的に合わせて抽象化すると、上図の式となります。

では、これを分解してみましょう。ここで、この大文字Cは、「ネットワーク内の2つのピア間の1秒あたりのトランザクション」に換算した、通信リンクの実際のスループットを表しています。
したがってB/Cは、1つのリンク上でブロックをプッシュするのに必要な時間を表します。
しかし、私たちは多くのピアが互いに接続されたP2Pネットワーク上にあり、これは一定の直径(大文字D、diameter)を持つことになります。最悪の場合、このDを掛け合わせる必要があります。
そして最後に、小文字dは、送信する必要のあるデータ量とは無関係に持つことになる、固定的な遅延です。

これらをまとめると、最長チェーン優先プロトコルのスループットの上限が導き出され、スループットはこの量より小さくなります。
そしてご覧の通り、これはブロックサイズに依存せず、予想通り、通信リンクのスループットに比例し、ネットワークの直径に反比例しています。

 

最長チェーン優先プロトコルのスループットは、非常に非効率だと判明

さて、ここで典型的なパラメータ設定として、

・敵対側vs誠実側=45% vs 55%
・ネットワークの直径=5 hop   (*hopは送信者→受信者までの経路数)

とすると、最長チェーン優先プロトコルのスループットは、この通信リンク上で利用できるスループットに対して、わずか8%に過ぎないことがわかります。

つまり、「Longest Chain Protocol(最長チェーン優先プロトコル)」では、利用可能な通信スループット上限の92%が未使用のままになっているのです。これは実にもったいないことで、どうすることもできないように思われます。

 

「インプット・エンドーサー」で、スループットを最適化する

そこで、このスループットの制限をどう解決するか、現在進行中の研究を紹介しましょう。
Ouroborosは、トランザクションの過負荷時にバックプレッシャーをかけるネットワークインフラを利用しています。
システムは実現可能なものをブロックに吸収する一方、大量のトランザクションはプロデューサーのmempool(処理前の取引データを一時保存するメモリプール)に引き込まれて、処理される順番を待つことになります。高負荷時には、各トランザクションは処理待ちの状態となってしまいます。
ここで私たちの最初のイノベーションを紹介しましょう。
インプット・エンドーサー・コンセプト(input=入力、endorser=裏書人)」により、メインチェーンのブロックに入ることが検討される前に、mempoolのセグメントをネットワークに解放することができます。

つまり、ブロックプロデューサー(ブロック生成ノード)は自分のmempool上のスペースを解放し、トランザクションを引き込むためのスペースを得ることができるのです。
一方、これらのmempoolは、P2Pネットワークにおいて「入力ブロック」という形で浮かんでいるような状態となります。

そしてこれを最大限に活用するには、このmempoolの分割をブロック・プロデューサーの集団全体で同時に行う必要があります。
このためには、入力ブロック間の重なりを極力少なくしなくてはいけません。スペクトラム拡散通信(spread spectrum communications)からヒントを得た符号化技術を活用することで、これを私たちは実現します。

入力されたブロックの有効性は、通常の「最長チェーン優先プロトコル」のブロックと同様にチェックされますが、ミスリル証明書の発行によっても証明されます。これにより、入力ブロックを証明によってのみメインチェーンに含まれる検証済みトランザクションのバッチに変換することになります。
これらのインプットブロック証明書は共同して自発的に作成されます。つまり、インプットブロック内のトランザクションのバッチは検証され、スクリプトはメインチェーンブロック検証のクリティカルパスの外側で実行されます。

カルダノのスループットが10倍向上する!?

現在、「最長チェーンのブロック」の目的は、これらの入力ブロックを整理するために使用されているに過ぎません。このため、ブロック生成側には、ネットワーク上に存在する有効な入力ブロックを受け入れる、独立した入力ブロック用mempoolが用意されています。
そしてこの慣習により、メインチェーンのブロックは、与えられた入力ブロックの順位付けを主目的とするため、今後は順位付けブロックと呼ばれることになります。
これにより、最終的な台帳は、入力ブロックに格納されたトランザクションによって決定されます。
そして、現在、これらはすでに検証済みであることを忘れないでください。最長チェーンが提供する連続性は、入力ブロックに存在する可能性のある二重払いを解決することを可能にしています。
また、入力ブロックの生産量が多いため、このような二重支出を排除できないことも覚えておいてください。
そしてこれは、拡張UTXOモデルが与えてくれる力を示すものでもあります。
この新たなメカニズムにおいては、スクリプトの実行(execution)と検証(validation)は、メインチェーンの検証のクリティカルパスの外側で行われます。二重支払いの解決はメインチェーン処理のままですが、UTXOグラフの競合の検出と解決に依存するだけの軽量な処理となりました。

このメカニズムを導入することで、最長チェーンのメカニズムを「トランザクションの運搬・処理」という重い仕事から切り離し、可能な限りシステムに負担をかけないようにスクリプト検証ができるようになりました。
そして、今回のテーマである「高スループット化」にとって最も重要なことは、最長チェーンプロトコル(longest chain mechanism)によって利用される“以外”のアイドリングネットワークを満たし、ウロボロスブロックチェーンのスループットをネットワークの理論的物理限界まで最大化できるようになったことです。

以上、今回紹介した仕組みをすべて盛り込んだ、現在開発中のOuroborosプロトコルの新バージョン「Ouroboros Leios」で実現できることを、簡単に紹介しました。

このように、既存のOuroboros Praosのブロックチェーンは、完全分散型で最適に近いスループット性能を実現できる基盤になります。
さらに、これまでの ledger combinersの研究から得た技術を使えば、入力ブロックの補完時間を短縮するために、追加の「ランキング・ブロックチェーン」を導入できることがすでに観測されています。その結果、高いスループットと高速なセトルメント(settlement)を同時に実現することが可能になります。
ただし、この技術の具体的な方法については、今後のトピックになる予定です。

【了】


【合わせて読みたい↓】
「Plutus(プルータス)」徹底解説!2022年6月HF【超訳カルダノ】
「Mithril /ミスリル」とは?|BCデータの分散型スナップショット【超訳カルダノ】

 

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

「Mithril /ミスリル」とは?|BCデータの分散型スナップショット【超訳カルダノ】

2022年5月に配信された「Cardano360」において、IOGが開発中の新たなソリューション「Mithril(ミスリル)」の解説と進捗が公開されました。Mithrilは、ブロックチェーンのスナップショットを分散ネットワークによって作成&保存する技術です。これによりブロックチェーン同期を省略し、ノードの高速な稼働が可能になります。

本稿では、解説動画を丸ごと日本語訳でお届けします。

(以下、CoffeePool訳)


Roy:
こんにちは、私はロイです。私はIOGで多くのプロジェクトのプロジェクトマネージャーを務めていますが、今日ここでお話しするのは「Mithril(ミスリル)」です。Mithrilをご存じない方のために説明すると、ステーク証明のためのステークベースの閾値署名スキームです。このプログラムのTechnical ArchitectであるArnaud Bailyが、現在の状況について説明します。
まずは、このプロジェクトの全体的な目標について教えてください。

Arnaud:
ご存知のように、現在はカルダノと真に安全な方法で連携する唯一の方法は「カルダノノード」を実行することに限られています。これは、そもそもカルダノがカーネル・コンセンサス・プロトコルを提供するカルダノノード(*)のネットワークであるためです。安全性とコンセンサスを同時に提供するプロトコルですね。
しかしご存知の通り、カルダノノードは、起動と同期に多くの時間がかかります。これは、チェーンを構成するすべてのブロックをダウンロードして1つ1つ検証する必要があるためです。
そこで「Mithril(ミスリル)」では、SPOが運営する既存のカルダノネットワークを活用し、この「チェーンの状態の認証スナップショット」を提供することを目標としています。

これらのスナップショットはさまざまな形態が考えられます。最も単純なものとして考えられるのは、私たちが「Caradano the nodes pure db(カルダノノード・純粋データベース)」と呼ぶ、Cardano分析を実行するのに適したスナップショットの提供です。

しかし他の案として、全UTXOセットの「認証スナップショット」を提供することで、その証明に基づいてライトウォレットを運用する、という方法も考えられます。
この方法で面白いのは、「Mithrilプロトコル」で生成された証明書が、カルダノの基本的なコンセンサスである「Ouroboros Praos」と同じセキュリティ特性を持っていることです。
つまりMithrilクライアントは、通常のエンカウンターノード・ユーザーと同じように、トラストレス保証を受けられるということです。
Mithrilを提供するにあたって重要なことは、この機能をネットワーク上において、カルダノネットワークの通常の運用を妨げることなく、非侵入的な方法で提供可能にすることです。Mithrilは厳密には追加機能であり、既存のネットワークの上で追加サービスとして提供することになります。

*)カルダノノードは、ステークプールやダイダロスウォレットを稼働するベースとなっている。


Roy:
Mithrilの仕組みについて、もう少し詳しく教えてください。

Arnaud:
「Mithril」は、「各所有者のステーク量によって署名を生成する」という、優れた暗号化スキームによって機能します。そのためステークホルダーは、あらかじめ定義された間隔で、チェーン上の通貨に署名を試みます。つまり、Mithrilのパラメータと所有者のステーク量に応じて、1つもしくは複数の署名を発行権限が与えられます。
一つの例えとして、宝くじで考えてみるといいでしょう。賭け金の額に応じて、宝くじのチケットを引くわけですが、賭け金の額に応じて、例えば投票するチケットの額に応じて、当たり券を持つ確率が高くなります。
Mithrilもこのような考え方です。
相当数の当選チケットがすべてのステークプールに配布されれば、1または複数の当選チケットがSPOに与えられます。そして、あらかじめ認定されたステークホルダーによって、チェーン上の通貨に対する承認済みの署名が発行されます。
これが、Mithrilにおける「スナップショット」です。スナップショットはクライアントに提供され、クライアントはそれを検証することができます。 いわば宝くじに当たった人たちの署名の集合体(ここでいうスナップショット)をチェックすることで、それが実際に正しいものかどうかを確認するのです。
この検証では、ステーク量が正当であるかどうか、実行命令が正しいかどうか、その他の一般的な証明書に至るまで、この「認証済チェーン」のチェックが行われます。証明書の有効性が確認できれば、あとはスナップショットをダウンロードするだけで、面倒な検証をすることなくノードをブートストラップすることができます。

Roy:
カルダノサミットで、私たちはMithrilを紹介しましたね。それ以来、特にMithril Aggregatorコンポーネントにおいて、チームは大きな進歩を遂げました。進捗について、少し詳しく教えてください。 

Arnold:
最初のステップは、必要なグラフィックモチーフを実装することでした。これは高度な数学と、市場で入手可能な標準的なプリミティブではすぐに利用できないものに依存していました。このライブラリが「Mithril Core」であり、現在ほぼ完全な機能を備えています。
私たちが現在取り組んでいるのは基礎となる部分である「ミスリル・ネットワーク」の最初のバージョンです。ここでのゴールはカルダノノードを迅速かつ簡単に起動できるようにすることです。これらはすべて、正しく動作させるための可動部品を持っています。
署名者(Signer)の役割はSPOが担い、SPOはスナップショットの署名を発行する責任を負い、先ほど説明したように宝くじのくじを引きます。
もう一方の「Mithril Client(ミスリル・クライアント)」は、証明書を検証し、スナップショットをダウンロードするものです。「Mithril Aggregator(ミスリル集約者)」も重要な役目を担っていて、署名を集約し、クライアントが使用する証明書を作成する責務を負います。
また、さらに重要なのは、Aggregatorがスナップショット自体の「保存と配布」を担当することです。このスナップショットは、メインチェーンで数十ギガバイトにもなる巨大なもので、時間が経つにつれてどんどん大きくなっていく可能性があります。
このようなスナップショットに署名し、それに対応したものを開発することは、ちょうど4Ksの高解像度映画を配信するようなものだと想像してください。数十ギガバイトまで増大する可能性もあります。
では、それを効率的に行うにはどうしたらよいのでしょうか。Aggregator は、すべてのクライアントにとって効率的にするための非常に重要な役割を担っています。
現在取り組んでいるのはシンプル化です。
そして本当に最初のステップは、このAggregatorを集中的に実装し、Mithril Signers(署名者) と Mithril Aggregator(集約者) が、いくつかの呼び出しを通じて直接互いに通信するようにすることです。
最終的なゴールは、完全に分散化された産業用ソリューションとなることです。これは私たちがすでに検討しており、次のステップに取り組んでいく予定です。この最初のMVPは、Signer(署名者)とAggregator(集約者)が分散型で動作し、新しいAggregatorを簡単に構築できるようにすることです。また「集約」と「署名」のスナップショットをさまざまな方法で配布し、革新的な仕組みや配布方法でクライアントに価値を提供する可能性もあります。
IPFSやBitTorrentも、ビジネスモデルやインセンティブを変えれば、そのような用途に使えると思います。

Roy :
では、「ミスリル」の次の段階はどうなっているのでしょうか?

Arnauld:
現在は、ライブラリ全体のオープンソース化に向けて、コードのクリーンアップの最終段階に入っています。また、Mithrilを使い始めるために必要なドキュメント資料を提供する予定です。
短期的な目標としては、システムをベータテストのためにコミュニティのメンバーにリリースしテストできるまで安定させることです。今から数カ月の間に、十分な数と経験をを積んだ後、オンチェーンでの一般公開と進む予定です。

【了】


【合わせて読みたい↓】
「Plutus(プルータス)」徹底解説!2022年6月HF【超訳カルダノ】

 

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

「Plutus(プルータス)」徹底解説!2022年6月HF【超訳カルダノ】

本記事は、2022年4月に公開された「Cardano Mid Month Development Update」における、IOGのプルータス設計者であるジョン・ウッズ氏(John Woods)の「Cardano Technical Briefing: Plutus」を、CoffeePoolが独自に翻訳・編集したものです。
記事内では「6月のハードフォーク(アップデート)」とありますが、Vasilハードフォークは9月22日へと変更されています。本記事では内容を変更することなく掲載しています。

——————————————————————————

こんにちは、IOGでCardanoアーキテクチャのディレクターを務めているジョン・ウッズです。今日はPlutusについて少しお話します。
私たちは、2022年6月にCardanoプラットフォームとPlutusの両方において、大きな変更を展開する予定で開発を進めています。
カルダノにおいて、Plutusとはスマートコントラクトのことを指します。6月に導入される変更点は、このPlutus全般における大きな機能強化を意味します。
今回は、このPlutusの基本に立ち返ってお話ししたいと思います。
まず、今回のお話の概要を説明しましょう。
まずは、Plutusが実際にどのようなものなのか、その背景を説明するつもりです。
EUTxO(Extended Unspent Transaction Outputs)」 は、Plutusモデルの中核をなす存在です。
「Plutusのアーキテクチャ」では、Plutosスクリプトとの対話(Interaction)の仕方についてお話します。
CIPs(Cardano Improvement Proposals)とは、Cardanoの改善提案であり、今後予定されているいくつかの改善点のことを指します。

「Plutusにおける決定論、並列性、並行性」では、それらの価値についてお話します。最後に、簡単にまとめを行います。

プルータス(Plutus)の役割とは?

PlutusはCardanoのスマートコントラクトプラットフォームであり、様々な技術が組み込まれていますが、特筆すべき点として、ブロックチェーン上にdApps(分散型アプリケーション)を作成することを可能にします。
また、Plutusは今年人気を博したNFT(non-fungible tokens)も作成可能にします。NFTは、暗号通貨による新たな収集方法やユースケースへの扉を開きます。
さらにPlutusによって、Cardano上で「ネイティブアセット」を起動することもできます。
ネイティブアセットとは何かというと、あなた自身のコイン、トークン、通貨という意味です。つまりPlutusは、カルダノ上にあなたのお好みのアセットを立ち上げるためのゲートウェイだといえます。
そして、Plutusは任意のオンチェーン条件ロジックを可能にします。つまり、Plutusはカルダノ・ブロックチェーン上において、Excelでいう「if構文」のようなプログラム構築を効果的に実現します。

EUTxO(拡張UTxO)とは何なのか?

次に「EUTxO(拡張UTxO)」についてお話しましょう。ここでは、ビットコインのような標準的なUTxOモデルとの違いについてお話しましょう。
カルダノに実装されたEUTxOでは、オンチェーンにおけるプログラム可能性やスマートコントラクトが実現しています。EUTxOを構成するコンポーネントを見てみましょう。
構成要素の1つめは「コントラクト(契約)」です。
「スマートコントラクト」は バリデーター(検証者)やスクリプト(プログラムのコード)と呼ばれることもあります。これはUTxOをロックする錠前、もしくはADAやCardanoブロックチェーン上の価値をロックする錠前と考えることができます。
 NFTや他のネイティブアセット、例えばあなたが立ち上げたコインをロックするのにも使うことができます。
2つめは「Redeemer(買戻人)」です。Redeemerとは「鍵」のようなもので、この場合の鍵(Redemeer)は、スマートコントラクトのユーザーから渡されたデータの一部で、それらの資産の錠前を解除し、ロックされた資産を使えるようにします。
3つめは、「Datum(デイタム、dataの単数形)」です。DatumはUTxOのアウトプット内に存在する、ある種のデータ状態です。 Datumはハイスコアやメタデータなどアプリにとって、「重要なデータを保存する場所」と捉えても良いでしょう。簡単にいえば、Datumは、「スマートコントラクトのハードディスク」のようなものです。
そして最後が「Context(コンテクスト、内容)」です。これはまさにメタデータのような概念で、「誰が署名したのか?」「どの口座に使われているのか?」というように、トランザクション内容を調べることができます。

EUTxOを簡潔に表現するなら、この4つの項目を合わせたものだということができます。そして、このEUTxOこそ、Cardano上であらゆるクラスのスマートコントラクト、Defi、その他のWeb3アプリケーションに欠かせないものなのです。

Plutus(プルータス)の仕組み

それでは、Plutusの構造についてお話しましょう。これは実に興味深いものだと思います。このスライドは、コードからオンチェーン・アプリになるまでのプロセスを説明しています。
もちろんPlutusは、まず開発者が起点となります。
開発者はdAppのソースコードを書くことからスタートします。現在、すべてのPlutusの「コントラクト」は、関数型プログラミング言語であるHaskellで書かれています。将来的には、他のプログラミング言語や、特定のユースケースを簡単にするためにDSL(ドメイン特化言語)などのサポートも予定しています。
次に、ユーザーコードから始めて、最終的にオンチェーンスクリプトを完成させる

過程を見てみましょう。
まず、コンパイラ(プログラム言語を機械言語に変換する処理)のパイプラインから始まります。
開発者が書いたHaskellコードは、Plutus IR(中間表現、Intermediate Representation、コンパイラによって内部で使用されるコード)に変換されます。IRについては、LLVM(任意のプログラミング言語に対応可能なコンパイラ基盤)などの仕組みをご存知の方は理解しやすいと思います。
もちろん、ブロックチェーンにおけるスマートコントラクトのコードであろうと、WindowsやMac OS、Linuxのアプリであろうと、あらゆるコンテクストでも言えることで、どんなプログラムでもこのようなパイプラインを通ります。

このIR(中間表現)が得られると、開発者によって書かれたソースコードを成形し、機械処理をより効率的にする機会が与えられます。プログラムを実行する際には「実際に実行を行う機械言語によって、どのようにアプリケーションが表現されているか」というのが、非常に重要な要素となるためです。
Haskellのソースコードは、この中間表現に至る前に、さまざまな最適化段階を経ることで、非常に高速なアプリケーションを実現することが可能です。
このIR(中間表現)から、「Typed Plutus Core」に進みます。これは、チェーン上で実行される「1と0」の数値の直前に当たります。

では、なぜこのようなものがあるのでしょうか?
それは開発者にとって便利なアイテムだからです。Typed Plutus Coreは、プログラムにおいて非常に下の階層に位置しますが、開発者がデバッグするために有用な追加情報が存在します。
最後に、ラムダ計算の変種である「Untyped Plutus Core」に移行します。これは基本的にアプリを表現する論理的な方法です。Untyped Plutus Coreはオンチェーンで実行されますが、その「Untyped Plutus Core」やコンパイルされたアプリは、どのようにしてオンチェーンで実行されるでしょうか?

ここまでで説明した最適化プロセスを経て、スクリプトはツールキットや他のPlutusアプリと一緒にオンチェーンに書き込まれます。
私たちは、このようにコンパイルされたアプリケーションをオンチェーンに注入するためのさまざまなアプリケーションを提供しています。

もちろん、オフチェーンコードについて言及することも忘れてはいけません。
オンチェーンコードがコンパイルされ、チェーン上で動作するようになったとしても「オフチェーンコンポーネント」が必要となります。オフチェーンコンポーネントは、オンチェーンアプリと連携に必要なアプリケーションで、トランザクションを正しく形成することができます。
つまり、オンチェーンアプリは、そのアプリへ正しいトランザクションを構築し入力を手助けするツールが必要となります。
この場合、前述した「Redeemer(買戻人)」や「Datum(デイタム)」などへの入力が必要となります。
ここでもやはり、ユーザーのソースコードからスタートします。人間が書いたコードをできるだけ効率的にするために、コンパイラのパイプラインを通して「1と0」の数値にまで落とし込みます。これによって最終的にPlutusのコアスクリプトができ、それを我々のツールを使ってオンチェーンに注入します。
オンチェーンスクリプトは我々のLedger APIで処理され、最終的にPlutusのコアエバリュエータで分散的に実行されます。
もちろん、オフチェーン、あるいは開発者の皆さんはご存知の通り、Contract Monadは、正しい取引を形成することでこのオンチェーン成分と対話できる方法になります。

Plutus(プルータス)の連携プロセスについて

それでは、Plutusの連携(インタラクション)に移りましょう。
これらのスクリプトを使って、実際にDEXや他のDefiアプリと連携する場合に、どのような使用感となるのかを見ていきます。
では、オフチェーンアプリはPlutusのコントラクトとどのように対話するのでしょうか?
これはイーサリアムでの動作と異なるため、興味深いものだと思いますし、6月のアップデートで変更される予定です。

現在、開発者はPlutusのコントラクトと次のように連携します。コードを書き、コンパイルし、トランザクションを生成します。そして、楕円曲線暗号という技術である「edwards25519」を使い、「ed25519」という署名を使用します。これは署名アルゴリズムで、自分の秘密鍵でトランザクションに署名する仕組みです。
このトランザクションはチェーン上に送信され、Ledger APIによって実行されます。
しかし、ここで気づくべき重要なことがあると思います。
Plutus dAppsやPlutusスクリプトは、ユーザーがこれらと連携するまではチェーンに書き込まれないということです。
つまり、Plutusスクリプトとやりとりするたびに、チェーンに送信するトランザクションにPlutusスクリプトを含める必要があるのです。
しかし、この点が2022年6月末のハードフォークによって変更される予定です。

CIPと、今後のハードフォークによる変更点について

それでは、いくつかのCIPと、これから行われる改善案について見てみましょう。これから紹介するCIPは、Plutusをより良くしていくために提案されたものです。

CIP-31 Reference Inputs

CIP-31では、「Reference Inputs(リファレンス入力)」というものが定義されています。これは、開発者がUTxOとやりとりする方法に大きな変化をもたらす提案です。
先ほど、Datumというハイスコアなどのデータを保存するスクリプトのハードディスクについてお話しました。
現在、もしあなたがdAppでハイスコアを読みたいなら、UTxOを消費し、Datumを読み込んだ後にそれを再作成する必要があります。しかし、6月に登場するCIP-31では、このプロセスが変更されます。CIP-31では、UTxOを消費して再作成することなく、DatumやUTxOに格納されているデータを読み取ることができるようになります。
これは複数のdAppが同じDatumから同時に読み取れることを意味し、そこでのメリットは明らかだと思います。

CIP-32 Inline Datum

CIP-32では、「Inline Datum(インライン・デイタム)」を定義しています。私が先ほど話したハイスコアやデータは、現在は実際にはチェーン上に保存されておらず、チェーン上のハッシュやフィンガープリントを保存し、開発者やユーザーがスクリプトとやりとりする際に、それを含めることができる仕様になっています。
しかし、今後は実際にデータをオンチェーンに保存することができるようになり、真の分散型アーキテクチャに大きく近づくでしょう。

CIP-33 Reference Scripts

CIP-33の「Reference Scripts(リファレンススクリプト)」も重要な変更点です。
Ethereumではコントラクトがチェーン上に存在し、リファレンスを用いてコントラクトと会話します。
一方、前のスライドで説明したように、カルダノではまだそのようなことはできません。スクリプトと対話するたびに、トランザクションにスクリプトを含めなければなりませんでした。
CIP-33では、スクリプトをチェーンやコントラクトにプッシュできるように変更されました。チェーンにプッシュして、リファレンスを通じてスクリプトとやりとりできるようになります。
つまり、これはスマート・コントラクトとやりとりする上で非常に軽量な方法となります。アプリのロジックをすべてトランザクションに入れるのではなく、電子メールアドレスのような小さなアドレスを取引に含めるだけで、チェーン上にすでに存在するスクリプトを指し示すことができます。実にクールな変更点ですね。

暗号技術面での変更点の数々

また、ビットコインや他のチェーンなどの暗号通貨において、Cardanoとは異なる楕円曲線暗号技術(Elliptic Curve Cryptography、ECC)を使用できるように、暗号通貨業界にクールでギークな仕組みを導入していく予定です。
私たちは前述した署名アルゴリズム「edwards25519」を使用していますが、これはMoneroなど他の暗号通貨と同じものです。しかし、ビットコインやイーサリアムなどは、コブレット型のECC上にある「secp256k1」を使っています。
そこで、カルダノにビルトインサポートを導入し、それらの他のブロックチェーンからの署名アルゴリズムとやり取りできるようにする予定です。
以前は開発者が手作業で行っていましたが、ビルトインされたことで非常に簡単になり、異なるECC間でのやり取りをワンライナーでできるようになりました。
さらに、「ペアリングベースの暗号」というエキゾチックな技術も導入しています。
ペアリング暗号は今回のお話の範囲外ですが、ペアリングに適したECC(楕円曲線暗号)である「Bls 12381」の拡張フィールドにおける基本プリミティブのサポートを提供する予定です。
これにより、ペアリング暗号を使った全く新しいアプリケーションのクラスが開かれることになります。同型加法署名を使って、非常にクールなことができるようになります。

私たちはPlutusをより高速化しています。コア・インタプリタは先ほど説明したUntyped Plutus Coreや0や1からなるアプリケーションを実行するものです。このインタプリタはより高速で高性能になり、様々な点で役に立ちます。
ブロックの検証を迅速かつ効率的に行うことができ、ブロックの伝搬にかかる時間を短縮することができます。実際、アプリを高速で実行するのに役立つので、次のアップデートではスクリプトサイズやLambda表現を20%縮小しました。
インタプリタは40%高速化され、評価以外の処理も80%高速化されました。これはコードを実行するのではなく、データ処理とコスト・モデリングのような他の処理を行うためです。

CIP-40 Collateral Outputs

私たちは、Collateral Outputs(担保出力)についていくつかの問題を抱えていました。Plutusスクリプトとやりとりする際、スクリプトがフェーズ2認証に失敗したときのために、トランザクションの一部として担保を用意しなければなりません。
フェーズ2検証とは通常、Plutusスクリプトはチェーンに送信される前に、正しく実行されることを確認します。
これは決定論であり、イーサリアムのような他のコントラクトプラットフォームに対するPlutusの長所の1つです。それは素晴らしいことですが、悪意ある人物が、失敗するとわかっているトランザクションを作成したらどうなるのでしょうか。
このトランザクションで第一段階の検証を行い、それをチェーンに提出してしまうということは、ウォレットやハードウェアウォレットでの悪例として起こっています。この場合、失敗したトランザクションにおいても最終的に担保を取られてしまうことになり、手数料を取りすぎているような状況となっています。
これでは、良いユーザーエクスペリエンスには繋がりません。

そこで、担保を含めた取引を行う方法を考案しました。担保に入れるのは必要な分だけで、もし100万ADAのように誤って多く入れてしまった場合は、すべてを取り返すことができるのです。このような担保は必要ありませんから、担保を扱うためのより良い方法ができました。これはすべて、Plutusを素晴らしいユーザーエクスペリエンスにするための旅の一部です。

決定論、並列性、並行性

ここで、決定論、並列性、並行性についてお話ししましょう。これらはPlutusプラットフォームの長所です。これはユニークなセールスポイントで、Cardano上で構築するのと他のプラットフォームで構築するのとでは何が違うかというと、かなり素晴らしいことに気がつくと思います。
決定論と検証の並列性ということですが、「direct acyclic graph(有向非巡回グラフ)」という概念があります。これは、データを蜘蛛の巣のように考えることができる、という考え方です。
小さなノード、小さな円があり、そのノードには次のノードへの線があり、さらに次のノードへの線があり…、という具合に、大きな網が広がっているのです。
このウェブやグラフを有向無サイクルグラフと呼びますが、特に一方向に進む場合はそう呼びます。Cardano Ledgerは、トランザクションのグラフを形成しています。優れたグラフというのは、並列処理に最適です。Hydraがそうであり、連鎖再認証がそうです。
CardanoはUTxOsの仕組みによって、定義上並列処理を可能にします。つまり、Plutus Coreは決定論的であり、スクリプトはローカルな情報にしかアクセスできないので、Plutusスクリプトの検証とLedgerの検証の両方で、多くのことを効果的に並列処理することができるのです。

コンテンションとアプリケーションの並行性

ここで、コンテンションとアプリケーションの並行性について見てみましょう。
基本的に、UTxOは一度しか使うことができません。複数のエンティティ(機関)やアクター(ユーザー)が同じUTxOを同時に使おうとするようなアプリケーションやdAppは、そのUTxOで競合するか、最終的にブロックされることになります。私たちはこれ以上のことを実現することができます。


Cardanoで構築するときに覚えておかなければならないのは、より良い並行性(Concurrency)は、複数のUTxOを使用することで実現でき、また前のスライドで説明した並列性を利用すれば、このスタイルで構築することができる、ということです。
超並列で、すべてのユーザーに同時にサービスを提供することができるスケーリングアーキテクチャです。

また、6月には、先ほど説明したReference Inputsにより、UTxO上に存在するDatumを複数のアプリで同時に読み出し専用でアクセスできるようになります。

それでは、簡単にまとめまていきましょう。Plutusは他のプラットフォームとは実行方法が異なりますが、競合製品と同等、もしくはそれ以上の能力があります。
しかしPlutusは、私が説明した付随的出力のようなユーザー体験と、Plutusインタプリタにもたらされる強化を見てきたパフォーマンスの両方の面で、さらに良くなろうとしています。
Plutusの基礎的な部分を楽しんでいただければと思いますし、今後5年間、最も素晴らしいスマートコントラクトプラットフォームになるであろうものを構築することを楽しんでいただければと思います。ありがとうございました。

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb

Alonzoハードフォークについて [チャールズ・ホスキンソン]

2021/09/8 に公開されたチャールズ・ホスキンソン「Alonzo Update Proposal」の日本語版をお届けします!

今日は、9月7日、配信も安定しています。今日は皆さんに、HFC(ハードフォークコンビネーター)イベントのプロポーザルについて、簡単にお話したいと思います。

カルダノをフォローアップしている皆さんは、アップデートがどのように行われるかについてすでに知っていると思います。一度アップデートプロポーザルが発せられれば、次のエポックで有効化されます。それはUTCで9月12日(日)21:45UTC、となっています。

そう、つまり既にトリガーは引かれ、ロケットは空に向かって発射されます。ここからはもう後戻りはできません。
つまり私たちはAlonzoへ飛び立つ直前で、AlonzoハードフォークはUTC12日に必ず実行されるということです。
私はこのパーティーを眺める予定にしています。Tweetを見たり、私たちのコミュニケーションチャネルもライブ予定です。
ハードフォークがロールアウトすれば、皆さんはすぐにPlutusスマートコントラクトをメインネットに送り込むことが可能になります。
このローンチに当たっては、とてつもなく膨大な作業が必要でした。dAppsの構築には、非常に多くのインフラ、デザインパターン、アブストラクション、テンプレートなどのパターンという関連要素が必要となったためです。それはどのエコシステムを構築するために必要なことでもあります。

そしてその礎が、テストネットではなくメインネットに実装されます。
つまり、もしあなたがPlutusコードのdAppsを構築していれば、9月12日にはもう、それをメインネットに送るだけでそのdAppsをメインネットで稼働させることができます。

そう、スマートコントラクトはもうすぐそこです。おめでとうございます!

私たちは先日、ちょっとしたお試しで、オモチャ的なスマートコントラクトを構築してみました。その一つはPolymarketライクなもので、そのほかにも色々遊んでみましたが、今後は皆さんに楽しんでもらえると思います。
バックエンドではまだ非常に多くの仕事が残っており、10日にはベータ版が利用可能になりますし、まだまだいろいろなことが始まります。
今月は、開発者の皆さんからの色々な疑問にお答えするつもりです。オープンな疑問として、先日は開発者の皆さん向けに、concurrencyアプリに関するテンプレートやアブストラクションなどについてもお答えしています。これらの問題に対しては、基礎的なインフラに手を加えることなく解決することができます。これらはアブストラクションやソフトウェアに関する問題であって、EVM(イーサリアム・バーチャルマシン)やSolidityを修正するようなものです。基礎インフラやライブラリを修正するタイプの問題ではありません。
HFCイベントの後は、私たちはこのような「バリ取り」の作業や、新しい機能の追加を行う予定です。
今後の予定として、2つのHFCイベントを予定しています。
まず、年末までに「Babbage(charles babbage?)ハードフォーク」を予定しています。そして次のHFCは、来年の第1四半期を予定しています。
これらのハードフォークにより、より開発がしやすい環境を整備し、圧縮による最適化なども行い、オンチェーン関連を改善していくことになるでしょう。コストモデルなど様々な観点の分析を進めており、革新的なことが起こるでしょう。

それから、カルダノサミットでは、Bashoにおいてどのように巨大なスケーラビリティを実現するかや、ヴォルテールにおいてどのように自立分散化された、活発な自主参加型の完全なボトムアップ型プロジェクトへと移行するために、どのような技術を融合させていくかということについてお話したいと思います。
ぜひサミットに参加してください。もちろん私も登場します。とてつもなく驚くべき内容となるでしょう。私自身、ものすごく消耗しています。私たちみんなが疲れ切っています。この会社にとって最も忙しい90日だったと言えるでしょう。非常に多くのことが起き、そして今も動いています。本当に素晴らしい結果が生み出されています。
全てのステークプールオペレーター、Plutusパイオニア、私たちと仕事をしてくれるコミュニティやパートナーたちに本当に感謝しています。
Miniswapをはじめ、多くの人々がイノベーションを起こそうとしています。先日の動画ではちょっと言い過ぎたかもしれませんが、多くの人々が何かをなそうと力を注ぎ、私たちがそれをサポートするという姿は本当に素晴らしいことだと思います。
テストネットは完全に「ノーイシュー(無問題)」でしたが、私たちは今、とてつもなく分裂化した世界にいます。私たちの競争相手は、インセンティブを使って、相手を叩くためにどんなことでもやってのけようとするのです。
ちょうど今日(2021/9/8)、BitTorrentの開発者でChiaのCEOのBram Chohenが、「拡張UTxOは全く不必要だ」といった批判をしていますが、この類の話はあらゆるところで散見されますし、こうした話自体が全く無意味です。
これは例えば「Javaは全く不必要だ。C++も不要だ。C#こそが真のプログラム言語だ」という話と全く同じです。
どのような開発言語であれ、「ユーザーがどのようにソフトウェアを開発し、メンテナンスをするか」というライフサイクルにおけるトレードオフが存在します。
私たちは、スマートコントラクトという領域においても同じように考えています。私たちのメンバーには、すでに別のプログラム言語を開発した人物や、プログラム言語に関わった人物がいます。例えば、私たちのメンバーのPhillip Wadlerは、Haskell開発者の一人であり、36年の経験による高度なインサイトを持っています。
さらに私たちはスマートコントラクトの開発言語を深く研究し、イーサリアムの開発パラダイムから、イーサリアムにおける課題や修正箇所などを徹底的に洗い出しました。
カルダノにおける基礎インフラというのは、これらを結集した結果として生まれたものなのです。そして、すでに数多くのツールが生まれており、カルダノで構築された夢のようなヴァーチャルマシンを通して、これからは膨大なプロダクトがやってくるでしょう。

ここで、3つの異なる意見が上がっています。
1つ目は、ツールライブラリにおける、様々なデザインパターンにおける意見。例えば、Javascript一つとっても、手続き型にするか関数型にするかという選択肢があります。また、ラムダというプログラム言語に至っては、機能型Javascriptをベースとした結果、Haskellのようなものになっています。同じ言語でも、異なる使い方が可能だということです。

2つ目は、レイヤーに関するものです。先日の話題では、アカウントモデルのレイヤーを、UTXOモデルのトップに持ってきてエミュレートしようとしたことで問題が起きました。これような問題は比較的簡単な話で、JavascriptのフレームワークでいうMedia、React、Angularといったものの問題と同様で、エミュレーションレイヤーに関する問題です。

このように、全く違ったタイプの開発者がやってきて、それぞれ異なる意見を言うようになるでしょう。

最後には、拡張UTxOという全く異なるコンピューティングモデルに関して、様々な意見が話されるようになるでしょう。そのために、サイドチェーンとしてIELEやEVLMが存在します。

私たちは、これら全てを考慮に入れながら、常にスケーラビリティに関して注意を払いながらカルダノのエコシステムを構築しているのです。
そしてそのために、拡張UTxOとウロボロスを組み合わせ開発したのです。ウロボロスは、ステークプールオペレーターたちのグローブとして、膨大な数の人々が参加する分散コンピューティングを構築します。そしてHydraが登場すれば、あらゆることが可能な巨大分散コンピューティングが実現するでしょう。
心拍のように何度も反復する必要があるシステムを使用することなく、これまでスマートコントラクト開発者が使用したことがない分散コンピューティングにアクセスすることが可能となります。
プラグインすればすぐに使用可能です。

また、私たちは拡張性についても力を入れてきました。例えば、複数のサイドチェーンとの連携や、Marloweなどの目的特化型のドメイン言語の開発です。
これから参入する開発者の皆さんにはまだ知られていない、隠された機能がたくさん存在しており、ビジネスロジックの構築や問題解決に集中することができるようになっています。

9月12日のメインネット実装では、私たちがどのような全体像を描いているのかを理解していただける機能の一部が開放されます。そして、各チームがそれぞれの分野をになって皆さんをサポートします。
例えば、あるチームは開発者たちのUX改善に取り組んでおり、あるチームはHydraの構築、さらに別のチームはSPOをどのようにこれに参加させるかを考えており、また別のチームはサイドチェーンの開発について考えています。アカウントモデルの抽出に腐心しているチームもいますし、一定の基準を満たしたスマートコントラクトの構築について考えているチームもいます。
これら全てが、カルダノのエコシステム内で同時進行で動いています。
Nodeソフトウェア、アドレスDL、ダイダロス、ヨロイ、DB、ロゼッタAPI、グラフQL、ネットワークライブラリ、形式使用記述……まだまだほかにもたくさんあります。
これら全てが、一気に動いており、リリースされた直後に皆さんの手元に届きます。
だからこそ、今回のリリースが非常に大きなものとなっているのです。
皆さんはよく「9月12日には何ができるの?」と質問をされますが、「ものすごくたくさんのこと!」としか言いようがありません。
まずはスマートコントラクトです。これは開発者の皆さんのスキル、イマジネーション、ツーリング能力にかかっています。そして、トークンの発行も可能になります。NFTをさらに進化させることもできるでしょう。優れたステーブルコインも実現できます。
スマートコントラクを活用して、独自の支払いポリシーを構築すれば、例えばNFTでロイヤルティ(著作権料)を設定することも可能になるでしょう。それ以外にも何百というアイデアが生まれてくるでしょう。
12日にリリースするプロダクトは、それほどまでに大きな意味を持ちます。
一方で、プロジェクトによってはすぐにリリースできるものもあれば、リリースに時間のかかるものもあるでしょう。それは開発者が選択したプロセスやプロダクトデザインによるものです。
例えば、ネイティブトークンの発行はAlonzoのスマートコントラクトすら必要としません。そのため、Alonzoを待つ必要がなくすでに大きなNFTプロジェクトが稼働しているのです。
もし気に入らないことがあっても、数ヶ月後またきてみて下さい。すると違ったパラダイムやコンピューティングモデルが実装されているはずです。そしてまた使用してみて、辞めたければ辞めても構いません。
そして私たちは、「エビデンスベース」のアプローチに対して一切の妥協はしません。フォーマルなアプローチ、学術論文などで裏付けされたコードを書き込んで行きます。これらをリリースすることによって、私たちは強い自信を持って取り組むことができるのです。プログラムにバグはつきものですが、圧倒的にバグを減らすことが可能になります。
これは常にマラソンであり、何ヶ月、何年もかけて行ってきた結果です。
マーケティングがうまくいって、ロウでできた翼が溶けて地に落ちるまで空へと飛び立つ、といったことは私たちはしません。
カルダノのエコシステムは、常に優れた知性と方法論と将来の見通しをもって開発されています。
拡張UTxOモデルは、12年前にSatoshiによってもたらされたUTxOをベースにしています。彼は当時から優れた見通しを持って、何兆円という市場になる暗号通貨に導入されました。
UTxOは、プライバシーとスケーラビリティ、そしてサステイナビリティを持つ、非常にパワフルなモデルだったのです。
カルダノに関していろいろなことを話す人がいますが、吠える犬を黙らせることは不可能です。私は犬を何匹も飼っているので保証します、これは本当です。
しかし、彼らが私たちの邪魔をすることは不可能です。
9月12日に皆さんが見る出来事は、非常に優れた人々が、それぞれのプロフェッショナルなキャリアを賭して構築されたものです。一夜でちょっと作ったものではありません。その中の1つのプロジェクトは、2018年から始まって今日に至ります。
これは偶発的に起こったことではなく、これまでメインストリームのプログラム言語を使って何度も失敗を重ねた結果や、イーサリアムのエコシステムやそれに準じた他プロジェクトに対する深いインサイトによって齎されたものです。

しかし、だからと言って9月12日からカルダノがフル稼働するわけではありません。スイッチを押した途端、イーサリアムのエコシステムを超えるなどということは起こりません。どんなに魔法のようなテクノロジーでも、突然マーケットで勝つことなんてあり得ないのです。
例えば、トランジスタが発明されても、しばらく真空管が市場の圧倒的多数でした。トランジスタは何年もかけて真空管にとって変わったのです。
しかし、一度入れ替わりが起これば、二度と戻ることはないでしょう。私たちは今、まさに同じ状況の中にいます。
私たちの考察とモデルは、アカウントモデルを凌駕するでしょう。それらを構築するためには、インフラが必要です。私たちやパートナー、そしてコミュニティの皆さんで構築するのです。
それを成功させるには、私たちが正しく仕事し、Catalystによって正しいファンディングを促し、インセンティブ設計を行なうことで可能になります。

この「トランジスタvs真空管」の戦いには、私たちは必ず勝利するでしょう。なぜなら、アイデンティティ、価値(value)、状態(state)に向けたムーブメントの中で、拡張UTxOモデルは大きな優位性を持つためです。
ビットコインのUTxOは高いセキュリティを持ちますが、複雑なブログラムを構築することはできませんでした。これを両立させたことこそ、拡張UTxOの大きな成果なのです。
もし、ビットコインの開発時点でPlutusと拡張UTxOの理論が存在していたら、ビットコインの会計モデルは間違いなく拡張UTxOが採用され、Plutusによってプログラムが書かれていたでしょう。
なぜか? これを選ばない理由がないからです。
拡張UTxOでは、ビットコインのセキュリティと構造を持ちながら、イーサリアムと同じようにな表現能力、プログラム開発を行うことができるからです。
この両者は最高の組み合わせだと言えるのです。
それこそが、9月12日にメインネットに実装されることになるのです。

もちろん、マネジメント体験など、全ての機能が実装されるわけではないことは、参加者皆が理解しています。バックエンドのアプリケーション開発環境、デザインパターン、オラクルコントラクト、ディスプレイ、開発者への開発情報共有など、まだまだやらなくてはいけないことは残されています。

どうしてこのようなプロセスかというと、イーサリアムの場合で考えてみて下さい。イーサリアムでは、Solidityの開発全てが完了してからスマートコントラクト機能が実装されたでしょうか? もちろんそんなことはありません。イーサリアム・バーチャルマシン(EVM)が稼働した瞬間から、スマートコントラクトを構築することができるようになりました。
カルダノでも同様に、拡張UTxOの台帳でPlutusが稼働した直後からスマートコントラクトが可能になり、カルダノにおけるスマートコントラクトが始まるのです。
これは長い道のりであり、複数の道が同時並行して進んでいます。

私たちには、多くの違った意見が飛び交います。例えばdcSparkなどは、とても強い意見を持ち活動しています。彼らは私たちと全く違うシステムを構築し、それをカルダノのモデルに導入しようとしています。
そしてそれは、カルダノのモデルでは可能なのことなのです。

ある開発者は私たちと同じ意見で、またある開発者は全く異なる意見で開発をする。これこそが分散化エコシステムの美しさなのです。
もし私たちがこれをうまく共存させることができれば、互いに学ぶことができ相互作用を促すことができるのです。

もちろん、他のチームもたくさんいます。ドメイン専用言語の「Glow」や、アカウントエミュレーションなど、さまざまな意見を持つチームが共存しています。このような別々の意見が共存することで、エコシステムを成功へ導くはずです。
Javaのような偉大なエコシステムでは、さまざまなプログラム言語をコンパイルしバーチャルマシンで稼働させることができます。
偉大なエコシステムには、ダイバーシティの存在を受け入れるものです。そして、専門的なツールの構築を助け、専門的なビジネスの構築を促すのです。
そしてそれが、12日にローンチします。

これはシェリーから続くアップデートの中で最も重要なアップデートです。私たちは最大限の努力を重ね、ホームワークを終わらせ、正しいことを行い、たくさんの汗を流しました。
今この瞬間、私たちは本当に興奮しています。
ここに辿り着くまで非常に多くのことがありました。
Memos Chavarri(?)、Michael Peyton Jones、Joshua Lee Miller をはじめ、チームのみんなの優れたリーダーシップに本当に感謝します。私はCEOとして、より早く、より優れたものができるようにみんなを強く鼓舞し、皆さんは絶対に諦めることはありませんでした。
それからコミュニティの皆さん。皆さんは私が考えているよりも遥かにたくさんのことをしてくれました。
月曜にはメインネットがローンチし、カンファレンスの日も近づきます。それからさらに私たちはたくさんのことを行い、各四半期には驚くべき成長をし続けるでしょう。それはまさにトランジスターが真空管を倒す瞬間のように。
私はこのモデルがこの業界を支配すると確信しています。
ビットコインも今後、拡張UTxOの導入について開発側が提案することを強く期待しています。ビットコインのエコシステムがそれを許すかどうかは疑問ですが、smplicityやjets、bitmlなどを見ていると、そのような願望があるのではと感じています。私はこの拡張UTxOを開発することができたことを誇りに思っているし、カルダノという1つのプロダクトを人生における誇りだと思っています。
カルダノは全て自分たちで開発したもので、どこにも借り物の技術は使われていません。
新しいネットワークスタック、新しい会計モデル、新しいプログラム言語、新しいコンセンサスモデル、完全に新しいソースコード、新しいトランザクションモデル、新しいシリアライズフォーマット、API…、全てが特注品です。
これまで、ここまでのスケールで構築されたプロダクトは、この業界ではイーサリアムが最後でした。
私たちはハイレベルな完成度でインフラを構築し、これから非常に多くの分野での利用を進めることになります。

皆さん、お聞きいただきありがとうございます。
9月12日にランチパーティを楽しむことができることを願っています。
プロポーザルは入力され、もう後戻りはできません。
Alonzo時代はすぐそこです!

委任のご協力をお願いします🙇‍♂️

●本稿はカルダノステークプール「Coffee Pool」が作成しました。
COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb