カルダノの創設者チャールズ・ホスキンソン氏が動画「On Pragma」を公開し、新しいイニシアチブである「PRAGMA」の立ち上げについて説明しています。PRAGMAは、ブロックチェーンソフトウェア開発を推進し、カルダノのエコシステムを育成することに焦点を当てた、オープンソースのメンバーベースのコンソーシアムです。
4月22日カルダノ財団は、Blink Labs、dcSpark、Sundae Labs、TxPipeと共に、ブロックチェーンソフトウェアプロジェクトのためのメンバーベースの非営利オープンソース協会であるPRAGMAの設立を発表しました。
ホスキンソン氏は、PRAGMAがまだ始まったばかりであり、Blink Labs、DC Sparksなどのさまざまなベンチャーによって形成されたことを述べています。彼は、Pragmaがカルダノブロックチェーンのための代替クライアントの開発に焦点を当てると強調し、その中でもAmaruのrust nodeのようなものがカルダノの厳格な正式仕様に合わせていることを強調しています。
また、より広いカルダノエコシステムについても議論し、異なるソフトウェア実装間で一貫性と正確さを保つために、厳密な公式仕様の使用を強調しています。ホスキンソン氏は、セキュリティ、回復力の向上、そして多様なユーザーのニーズに応えることの利点を指摘しています。これが導入する複雑さを認めつつも、システムの堅牢性に対する全体的な価値を強調しています。
また、ガバナンスの問題、カルダノの財務の配分、そしてエコシステム内の公正さを確保し、えこひいきを避けるために分散型ガバナンスが重要であることにも触れています。最後に、カルダノコミュニティ内での継続的な開発と協力についての熱意を表明し、将来の進展と議論を楽しみにしていると結んでいます。
以下はチャールズ・ホスキンソン氏動画「On Pragma」を全翻訳したものです。
チャールズ・ホスキンソン氏動画「On Pragma」全翻訳
こんにちは、チャールズ・ホスキンソンです。いつも暖かく、いつも晴れているとは限りませんが、コロラド州から生中継しています。今日は2024年4月23日、まだブラックホークヘアーです。窓を修理しなければならないほど風が強いです。ダラスのBook.ioで、ラボを訪問し、美しい発光植物や他のクールなものを見てきましたが、鞍に戻ってきたのでビデオを作りたいと思います。PRAGMAについて少し話をしたいと思います。
これは新しいMBO、新しいプロジェクトで、まだ始まったばかりの初期段階です。カルダノ財団のこのツイートによると、「PRAGMAの発表を誇りに思います。Blink Labs、dcSpark、Sundae Labs、TxPipeと一緒に、このメンバーベースのオープンソース協会に参加できることを誇りに思います。ブロックチェーンソフトウェアとカルダノのオープンソースエコシステムの育成に注力しています」とあります。
ウェブサイトはこちらです。ブロックチェーンソフトウェアプロジェクトのための、メンバーベースの非営利オープンソース協会です。大きなことは、多くの人が知っていて愛している AIKEN が、そこのリーダーシップの指示の下、AIKEN オープンソースプロジェクトに取り組むために、フルタイムのエンジニアを2人提供することです。Amaruはカルダノブロックチェーンの代替Rustノードクライアントです。
このクライアントは、Hasalクライアントと一致しなければなりません。この2つがどのように協調するのかについて多くの質問がありました。現在、カルダノの真実の単一のソースはHasalコードではありません。通常、ビットコインやイーサリアム、あるいはこれらのエコシステムから来ると、典型的には支配的なクライアントがあり、コードが仕様なのです。カルダノの場合はそうではありません。カルダノは実際にあいまいさのない形式的な仕様を使用しており、レガシー仕様と将来の仕様があります。レガシー仕様のようなこの形式的な仕様をクリックすると、これらがAgdaで書かれていることがわかります。一部はラッチで書かれたレガシーのものもあります。ラッチは数学のための言語です。つまり、すべてのものに非常に厳密な数学的定義があるのです。そして、実際にはSuがAAで指定されています。実際、これは今まで行われたことがありませんでした。私たちが書いた209の論文の中で、FMBCで受理された論文を書きました。これは、ブロックチェーンをACTAで指定する方法を示しています。
これは、カルダノの設計のための一種の真実の単一のソースなのです。つまり、あいまいさがなく、すべてがどのように機能すべきかを設定しています。Hasalノードは基本的にこれに従属しなければならない、つまり仕様に従わなければならないのです。PRAGMAがカルダノのエコシステムと協調するためには、PRAGMAも同じようにしなければなりません。
これらのレポはすべてIntersect MBOにあり、PRAGMAの多くの人々もIntersectのメンバーです。そこではアクセス権を持ち、実際にはあらゆる種類のクールなことをしています。Intersectには39のさまざまなリポジトリがあることがわかります。ですから、ここが実際にカルダノが存在する場所なのです。もはやInput Outputリポには存在しません。カルダノノード、ウロボロス・コンセンサス、API、CLI、プルータスLSM、UTXオーエイチディ、ソナノネットで使用しているガバナンスツール、レジャー、形式仕様、TXテンプレートなどがそうです。Namiでさえ現在Intersectに置かれています。
これらのさまざまなものはすべて基本的にそこにあります。そして、代替クライアントを開発している人々のために、基本的に開発のケイデンスとワークフローを把握する必要があるのです。それが形式的な仕様でどのように機能するのかということです。
目標の1つは、来年のいつかにAgdaで仕様を最後まで完成させることです。そこでの成功の定義は何か、また、コードの抽出や認証などを含めて、どのような付加機能を期待するのかということです。これらのことは、プロジェクトごとの会話なのです。これは常にあると良いロードマップ項目でしたが、実際の競合するクライアントがあるので、今では必須項目になりました。なぜなら、クライアントはもはや互いに同期からずれることができないからです。例えば、ハードフォーク・コンビネーターがAmaruとどのように機能するのか、それがどのように見えるのか、そして誰が対象者なのかといったことがあります。
良いニュースは、両陣営の開発者が双方向性を持っているということです。私たちは皆、互いに話をしています。これはカルダノのエコシステムにとって非常に健全なことです。なぜなら、これらの仕様を見るチームしかいないと、一方向にしか進まない傾向があるからです。しかし、今では複数のチームがあるので、物事をどのように簡素化するか、どのように改善するかについて、多くの疑問が生じる可能性があります。実際、彼らは仕様作業の間違いを発見するのに役立ちます。エコシステムが成長すると、競争が発生します。これは、システムの設計と運用上の回復力にとって非常に健全なことです。多くの人が、これはカルダノへの機能がより早く来ることを意味すると議論しているのを見てきました。
Harmon LabsがTypescriptクライアントを構築しているか、PRAGMAがRustで行っているか、Hasellで何が起こっているかに関わらず、マルチクライアント環境の課題は、開発のスピードアップにはならないということです。実際、全く逆なのです。なぜなら、最も遅いクライアントほど速くなるからです。
例えば、Rustが大活躍しているが、Haskellが遅れをとっている、あるいはHaskellが大活躍しているがRustが遅れをとっている場合、全員が追いつくのを待たなければならず、そして全員が一緒にフォークするのです。これがイーサリアムがステークのグループを作成したハードフォークに到達するのに7年かかった理由の1つです。これはエコシステムへの機能提供のスピードアップにはなりませんが、セキュリティ、運用上の回復力、異なる哲学、代替ツールを提供し、多くの場合、特定のクライアントが特定の顧客セグメントで使用されるための差別化を可能にし、それらをはるかに良くするための専門化を可能にします。
ソフトウェアのハードフォークを必要としない特定のサブ機能のポケットは、実際にはるかに速く市場に提供される可能性があります。PRAGMAの背後にあるツールビルダーを見ると、TXパイプのような代替ツールセットを提供してきた人が多数います。
彼らがどのようにしてPRAGMAに資金を提供するつもりなのかは私にはよくわかりません。CFがPRAGMAのために何らかの資金提供を行っているようですが、私たちには何も開示されていません。推測するなら、彼らはおそらくいくつかのものを構築するでしょうが、ある時点でおそらくカルダノエコシステムと財務の使用について話し合うでしょう。Intersectの目的の1つは、カルダノの年間予算プロセスについて話し合うためのインターフェースになることです。CFを含む様々なステークホルダーと、このプロセスをいつどのように開始するかについて数多くの会話をしてきました。それは設計上、財務機能がオンになるボーラーハードフォーク、チャンハードフォークの後に始まる必要があります。しかし、アイデアとしては、PRAGMAやNFTコミュニティ、USDCサポートを求める人々など、すべての特別利益団体が基本的に要求を出し、ある種の統合された予算プロセスに進み、大勢の人々がそれについて話し合うというものです。
米国議会で見られるような歳入委員会のようなものと、いくつかの重要な代表者とのハイブリッドです。そして、最終的には連結予算に至ります。現在のカルダノ財務の流入と流出を見ると、カタリストを除いて、カルダノは少なくとも1億ドルを快適に支出することができます。ADAの価格次第ですが、これで20年から25年の寿命が得られると思います。ですから、エコシステムとして、クライアントの多様性、既存の進捗とロードマップの継続性、新しい資金調達手段への資金提供に関するオープンな会話を快適に管理することができる低いNF数字の予算を持つことができます。
Intersectは本当に3つの目的のために構築されました。1つは、ガバナンスの卓越性についての議論のためのハブになることでした。シビックス委員会や憲法ワークフロー、ガバナンスツール、憲法委員会のメンバーやDSにサービスを提供するなど、さまざまなことを行い、さまざまな人々を結集させることです。
2つ目は、コアプロジェクトのロードマップ、製品ロードマップの管理者になることでした。仕様、ハイレロードマップ項目、CIPsの再構築へのシップスの変換などについて議論すること、つまり翻訳研究です。
そして、予算機能の管理にも役立つように構築されました。なぜなら、非常に複雑で、多くの部分が動いているからです。カタリストのようなものに取って代わったり置き換えたりするのではなく、基本的にそのプロセスの上にあり、資金を下に提供するのです。一度それが整えば、人々が様々な目的のためにメンバーベースの組織を作り始めることは非常に容易に想像できます。例えば、PRAGMAが作られ、今ではエコシステムにとって非常にクールで不可欠なオープンソースプロジェクトの星座のためのMBOになっています。それがどのように成長するかを見るのは本当に興味深いことでしょう。
私はそれが予算プロセスに参加し、基本的に毎年の資金提供を受けることを望んでいます。しかし、代替クライアントについても同じことが起こることを望んでいます。そして、何クライアントが理にかなっているのかについて戦略的な会話をしなければなりません。Hasellに厳密なクライアントを1つ、Rustに1つ、TypeScriptに1つ持つことは理にかなっています。なぜなら、これにより、ブラウザ内、エンタープライズ設定、あるいはエコシステムの標準設定のための基本的なものなど、あらゆるモダリティとあらゆるユーザーグループをカバーすることができるからです。
しかし、それはまた、マーケティングとエコシステムの成長、ハッカソン、プロジェクトのパイプラインについての会話も開きます。私たちがしてきたことの1つは、カルダノのいくつかの大規模プロジェクトに行って話をし、彼らの問題がどこにあるのかを知ることです。上場やベンチャーキャピタルの問題、技術的な問題など。カルダノに構築する際に、大規模プロジェクトのためのホワイトグローブ処理のためのスカンクワークスを開発することは本当にクールなことでしょう。基本的に、専任のグループがいて、プロジェクトの構築の過程で彼らを支援するのです。分散型の政府がなければ、これは不可能でした。なぜなら、分散型の政府がそのための機関を作り、関与の仕方のためのルールを作る必要があるからです。そうでなければ不可能です。
なぜなら、コアエンティティに最も近い人が不当な優位性を得ることになり、このプロセスに民主的な監視がなくなってしまうからです。しかし、これは予算の中で開かれ、資金提供される可能性のあるものの一例です。多くのプロジェクトは、戦略的支援、技術的支援、市場開発、あるいは彼らが進みたい方向、やりたいことについて話をする相手、あるいは合併する相手を必要としているだけで、これから大きな恩恵を受けることでしょう。コミュニティとエコシステムとしての私たちのマーケティングの足跡についても多くの会話がありました。そのための機関が形成されるのを見るのは素晴らしいことでしょう。
カルダノガールズが結成されたり、リック・マックラッケンがビデオを作ったり、カルダノホエールが本当にクールで面白いことをたくさんしているのを見ています。そして、千の花が咲いているのです。これらのことに興味のある人たちが一緒になって、実際に年間のマーケティング予算を得て、カルダノの成長のためにそれを展開できるようになれば本当にクールだと思います。
分権型ガバナンスがもたらすもう一つのことです。なぜなら、今では公正でバランスの取れた方法でそれを行うことができ、何か問題が起きても、それに対する救済措置があるからです。ですから、非常にエキサイティングな時期なのです。繰り返し言ってきたように、ガバナンスは業界全体にとって最大の進歩であり、私たちと他のすべての人との最大の差別化要因なのです。スケーラビリティのようなものは非常にコモディティ化されており、ウロボロス・レイオスのようなものを見ると、私たちを本当に前進させてくれるのですが、その論文の発表は差し迫っており、それがもたらすのは、ブロックチェーンのジレンマの75%を解決することです。まだいくつかのことが残っていますが、それは一歩前進であり、私たちはそれを使って急速なプロトタイピングを開始することができます。Genesis もまもなく登場することにお気づきかもしれません。そして、そのためのプロトコルが1年もかからずに構築されたことにお気づきかもしれません。
ですから、ウロボロス・パリスが次のメニューになっています。それに取り組んでいる迅速なプロトタイピングチームがいて、その論文の発表は差し迫っており、実際に今年の第3四半期末までにそのプロトタイピングのすべてを完了させる予定です。そして、RFPプロセスを通じて固定価格契約に送ることができます。そして、素晴らしいことに、もし彼らが遅れたとしても、それは彼らの危険と彼らの金銭的負担になります。ですから、これらのよく定義されたプロトコルの範囲内で、コストと時間の範囲内で物事を完了させるための強力なインセンティブがあるのです。
調達の面でも、エコシステムとしての協調と協力の面でも、私たちはエコシステムとしてはるかに良くなっています。実際、大規模なメガプロジェクトに素早く取り組む一部のフォーチュン500企業と同じくらい優れた存在になりつつあります。そして、私は、暗号通貨業界全体の中で、私たちが実際に最高であると主張します。そして、私たちはすでにそれらすべてのベンダーを周りに持っており、今では、エコシステムとして、それらと協力する方法を知っており、Intersectを通じてそのためのプロセス全体が醸成されつつあります。
ガバナンスは大きな差別化要因なのです。なぜなら、競争力のある優位性をもたらし、市場での成長を可能にし、実際に構築している人々の手に資源を提供することを可能にするからです。エコシステムがいかに信じられないほど分散化されているかを見てください。PRAGMA MBO全体が構築され、私は発表の数週間前まで気づいていませんでした。それほどカルダノは今や分散化されているのです。コアエンティティでさえ、ある特定のことを知らず、並行したイニシアチブが進行しているのです。毎日、たくさんのクールなクロスチェーンのこと、たくさんのクールなコラボレーションが起こっています。そして、私たち皆が互いに話をしています。イーサリアムの人々でさえ、カルダノとの会話にもっと慣れ始めています。まだ、ビットコインとは摩擦と課題がありますが、それらは哲学的なものであり、残念ながら、それは業界全体に共通するものです。
彼らが使う言葉とアプローチのために、ビットコインと他のすべてが対立しているのです。しかし、他の業界、イーサリアム以下については、実際、2025年は大いなる協調の年になると思います。私たちが皆で協力し、素晴らしいものを構築できる分野がたくさんあります。エコシステムに持ち込むべき多くの実世界の資産があり、ヘルスケアやマイクロファイナンスなど、解決すべき多くの具体的な実用的な問題があります。繰り返し述べてきたように、私は6社のポートフォリオを持っていますが、そのすべてがカルダノ上で何かを構築しようとしています。これにより、エコシステムに多くの有用性がもたらされます。なぜなら、それを行うのにベストだからです。
ですから、私たちは本当に暗号通貨スペース全体で最大のエコシステムを目指しているのです。そして、私たちはそのための適切な基盤を持っていると思います。そして、私はここにいくつかの摩擦といくつかの課題があることを理解しています。コインベースがサークルに置き換えられ、誰もがよりよく、より速く、より安いスケーラビリティを望んでいますが、開口部を広げ、近い地平線と中程度の地平線のものを見ると、ヒドラは急速に進歩しており、PlutusV3はロールアップのためのあらゆる種類の素晴らしい機能をもたらすでしょう。ZK foldのようなプロジェクトはすでにそれを利用しようとしています。パートナーチェーンが急速に登場しており、それはベストインクラスです。ポルカドコミュニティが作ったもの、私たちが作ったものと融合した素晴らしい技術があり、それらのためには本当に天国のような結婚なのです。
R&Dはこれまで以上に積極的に行われており、209の論文があり、論文をシップとプロトコルに変換する翻訳研究は、これまで以上に速いペースで進んでいます。競合するクライアントが登場し、特にフォーマル仕様の作業など、いくつかの積み残しを高速化し、システムのセキュリティとテストを改善し、ソフトウェアが信頼性の面でベストインクラスであり続けることを意味します。予算プロセスは、政府が完全にオンになった瞬間に開始され、コミュニティ全体が、NFTやDeFiなどの優先事項と、耳を傾けるべき特別利益団体について話し合うことができるようになります。もちろん、私たちの側では、主要なプロジェクトへのアウトリーチを続けていきます。間もなくオラクルサミットを開催する予定です。Book.ioが大規模なNFTドロップをシステムで行い、多くのものを持ち込み、さらにクロスチェーンプロジェクトを行っているので、スケーラビリティに関する多くの質問を持っているのは本当に幻覚的でした。つい最近、U Worldモバイルがパートナーチェーンになり、そのすべてのニーズと、私たちがどのようにそれらを収容し、物事を成し遂げようとしているかについて、ミッキーと話をするのは素晴らしいことでした。夏の間を通して、本を片手に物事を進めていくでしょう。
しかし、すべてがまとまっていくのを見るのは本当に素晴らしいことです。最後に述べたいのは、立憲会議についてです。予定通り、スケジュール通りに進んでいます。最初の代表団をアルゼンチンに送りました。 Latamコミュニティに特別な感謝の意を表したいと思います。彼らはIIOの私たちの人々とのインターフェースで素晴らしい仕事をし、最高のもてなしで彼らを扱ってくれました。そして、アルゼンチンは非常に安全で素晴らしい国であり、人々がいかに情熱的であるかを見るのは信じられないことです。会議を開くのが待ちきれません。私は7月に個人的に訪れるつもりです。そして、それまでの間にもう少し代表団を送る予定です。また、学術・政府の国アルゼンチンのいくつかの機関にもこのプロセスに参加してもらい、いくつかの摩擦を解消し、彼ら独自の個性も加えてもらおうと思っています。しかし、世界中からすべての代表者がアルゼンチンに来て、憲法の最終形態を形作るのを見るのは楽しいことでしょう。
暫定憲法はまだ重い建設中で、ガードレールを仕上げているところで、CIP1694とともにチャンハードフォートで発表される予定です。その憲法には131のガードレールがPlutusで書かれており、新しいPlutus
形式手法を使用して正しいことを検証しています。これは、オンチェーンガバナンスだけでなく、オンチェーン政府の最初の例でもあります。ガバナンスセットのメンバーは、実際にはオンチェーン憲法によって制約されているのです。つまり、プログラム的なガードレールがあり、憲法委員会のメンバーが愚かなことをするのを防ぎます。少なくとも、スマートコントラクトで修正できる限りのことを防ぐのです。これは非常に強力な構造です。
この自由に浮遊する流動性民主主義と、すべての魔法を持っています。そして、急速に進化し続けている素晴らしいガバツールがあります。そして、素晴らしい憲法委員会のコンセプトがあり、そしてこれらすべてのものがあります。そして、かなり定期的にトレーニングが行われ、人々にものごとのやり方を教えています。私はまだあなた方に、YubiKeyの使用方法と、それをFIPS準拠のストレージデバイスと組み合わせる方法についてのビデオを提供する必要があります。少し時間をかけてそれを完成させます。しかし、私たちはあらゆる面で全力を尽くしています。みんな少し疲れていますよね。
早起きしてブラックホークヘリコプターに飛び乗り、ワイオミングからロングモントまで飛んできました。オフィスに戻って、準備万端です。週末はずっと働いていましたが、やり遂げました。たくさんのスピーチ、握手する手がたくさんありました。そして、私は旅を続けるのが待ちきれません。
さて、今日はこれくらいにしておきます。短く甘くしておきましょう。聞いてくれてありがとう。私は皆さんに最新情報をお伝えし続けます。ではまた。
