7 月 19 日、開発者によるゼロプルーフ ソフトウェアの開発を支援するインフラ会社 RISC Zero は、Blockchain Capital が主導し、Galaxy Digital、IOSG などが参加した 4,000 万ドルのシリーズ A ラウンドの完了を発表しました。 Blockchain Capital は主要投資家として、ゼロ知識コンピューティングの開発、RISC Zero の特徴と利点を分析した記事を執筆し、PANews がそれをまとめました。
データのプライバシー、セキュリティ、信頼がもはや懸念されなくなり、ソフトウェアのサプライチェーンが透明で検証可能になり、新世代のアプリケーションがゼロナレッジ コンピューティングの力を活用して、最も差し迫った課題のいくつかを解決できる世界を想像してみてください。デジタル時代。これがゼロ知識 (ZK) コンピューティングの約束であり、Bonsai ネットワークを通じて ZK へのアクセスを民主化することを目指す先駆的な企業である RISC Zero に当社が投資した理由です。
理想的には、開発者は、低レベルの ZK 固有プログラミング言語で入力や回路を手書きすることなく、ゼロ知識で計算を証明しながら、好みの言語で自由にプログラムを作成できるようになります。これが、RISC Zero の Bonsai プラットフォームが世界中の開発者にとって大きな変革をもたらす点であり、私たちが RISC Zero に投資した理由でもあります。
RISC Zero は、RISC-V 命令セット アーキテクチャ (ISA) をエミュレートするゼロ知識仮想マシン (zkVM) を作成することにより、低レベル コードの実行を証明できるシステムを構築しました。 ISA は人間が読めるコードと機械が解釈できる命令の間の橋渡しとなるため、この成果は、Bonsai ネットワークが、あらゆる高レベルのプログラムをこのアーキテクチャにコンパイルできることを証明できることを意味します。最新のプログラミング言語のほとんどは RISC-V と互換性があるため、RISC Zero の Bonsai は知識がなくても事実上あらゆる任意のコンピューター プログラムを実行できます。
目覚ましい技術的進歩に加えて、RISC Zero の背後には強力でユニークなチームがあります。 **3 人の共同創設者、ブライアン・レットフォード、ジェレミー・ブルースル、フランク・ラウブは 20 年以上の知り合いです。彼らの共通の経験には、いくつかの会社の共同設立が含まれており、最近では AI の最適化とコンパイルへのベンチャー企業が最終的にインテルに買収されました。 **
トリオの各メンバーは、RISC Zero に豊富な経験をもたらします。ブライアンは、Google Cloud Platform で価格設定と計測システムに取り組んできました。ジェレミーは、生涯にわたる数学愛好家で、遺伝子配列決定のための GPU アクセラレーションに取り組んでいます。コンピューティング (HPC)、セキュリティ、フランクはコンパイラの分野で優れた知識を持ち、多数のコードベースを構築してきました。 RISC Zero チームは、共有された歴史と多様なスキルセットを備え、ゼロ知識コンピューティングを大衆に提供する独自の立場にあり、その過程でデジタル環境を再構築する可能性があります。
ゼロ知識コンピューティングが広く利用できる未来に目を向けると、イノベーションの可能性は無限にあります。幅広いプログラミング言語をサポートできる RISC Zero の Bonsai ネットワークは、ZK コンピューティングを民主化し、開発者がさまざまなドメインで安全でプライベートなトラストレスなアプリケーションを作成できるようにします。サイバーセキュリティ対策の強化からソフトウェア サプライ チェーンの信頼性の強化、オンチェーン アプリケーションで利用できるコンピューティング能力の大幅な向上に至るまで、ゼロナレッジ コンピューティングの潜在的な影響は計り知れません。 ZK の証明時間とコストの急速な低下、RISC Zero の忠実なチーム、多用途コンピューティング プラットフォームとしての Bonsai の出現は、デジタル世界の構造にプライバシー、セキュリティ、信頼が組み込まれたコンピューティングの新時代の到来を告げています。
Blockchain Capital: なぜ私たちが ZK インフラストラクチャー会社 RISC Zero の 4,000 万ドルの資金調達ラウンドを主導したのですか?
原文: Bart Stephens、Ryan Sproule、Yuan Han Li、
《ゼロ知識コンピューティングの民主化: RISC Zero の Bonsai ネットワークの力》
编译：Zen，PANews
7 月 19 日、開発者によるゼロプルーフ ソフトウェアの開発を支援するインフラ会社 RISC Zero は、Blockchain Capital が主導し、Galaxy Digital、IOSG などが参加した 4,000 万ドルのシリーズ A ラウンドの完了を発表しました。 Blockchain Capital は主要投資家として、ゼロ知識コンピューティングの開発、RISC Zero の特徴と利点を分析した記事を執筆し、PANews がそれをまとめました。
データのプライバシー、セキュリティ、信頼がもはや懸念されなくなり、ソフトウェアのサプライチェーンが透明で検証可能になり、新世代のアプリケーションがゼロナレッジ コンピューティングの力を活用して、最も差し迫った課題のいくつかを解決できる世界を想像してみてください。デジタル時代。これがゼロ知識 (ZK) コンピューティングの約束であり、Bonsai ネットワークを通じて ZK へのアクセスを民主化することを目指す先駆的な企業である RISC Zero に当社が投資した理由です。
ゼロ知識コンピューティングは、アプリケーションとプロトコルが単純さ、正確さ、ゼロ知識という 3 つの重要な特性を活用できるようにする革新的な原始概念です。これは、ZK 証明 (正確さ) を検証することによって、検証者は計算が正しく実行されたことをほぼ正確に保証できることを意味します。
さらに、検証された証明は元の計算よりもはるかに簡潔になり、証明のゼロ知識特性を利用して、検証者が計算自体について何も知らないことを保証することもできます。このユニークなプロパティの組み合わせは広範囲に影響を及ぼし、情報を検証する新しい方法を提供します。これらの特性を組み合わせることで、プライバシー、セキュリティ、信頼の必要性のバランスが取れ、より安全でプライベートなデジタル世界の可能性がもたらされます。しかし、ZK がその可能性を最大限に発揮するには、まだいくつかのハードルがあります。
まず、ZK での計算の実行は時間とコストがかかりすぎます。 ZK で複雑な計算を可能にするには、証明時間とコストを大幅に削減する必要があります。良いニュースは、これらが劇的に減少していることです。ZK の証明時間とコストの軌跡は、ムーアの法則 (コンピューティングのコストは 2 年ごとに半分になる) であれ、フラットリーの法則 (コンピュータのコストは人間のゆっくりとした衰退速度の順序付け）またはクライドの法則（円盤密度は約 13 か月ごとに 2 倍になります）。最近の証明システム (Plonky2、Hyperplonk、STARK) のアーキテクチャの進歩と、基礎となる暗号化 (Poseidon) の進歩により、あらゆる計算の ZK 証明を作成するために必要なオーバーヘッドが削減されています。そして、これらの分野の進歩は今後も同様のペースで起こり続けるだろう（特に最近の ZK への人材の流入）。これまで活用されてこなかったハードウェア アクセラレーション (MSM、NTT) の進歩によってオーバーヘッドも恩恵を受けることが証明されている。
ZK の大量導入に対するもう 1 つの大きな障害は、ZK システムに固有の非常に複雑な数学と暗号化です。 ZK のイノベーションを推進するために必要な専門知識の深さとレベルは、高度なスキルを持つ技術開発者の少数のグループのみが利用できます。
理想的には、開発者は、低レベルの ZK 固有プログラミング言語で入力や回路を手書きすることなく、ゼロ知識で計算を証明しながら、好みの言語で自由にプログラムを作成できるようになります。これが、RISC Zero の Bonsai プラットフォームが世界中の開発者にとって大きな変革をもたらす点であり、私たちが RISC Zero に投資した理由でもあります。
RISC Zero は、RISC-V 命令セット アーキテクチャ (ISA) をエミュレートするゼロ知識仮想マシン (zkVM) を作成することにより、低レベル コードの実行を証明できるシステムを構築しました。 ISA は人間が読めるコードと機械が解釈できる命令の間の橋渡しとなるため、この成果は、Bonsai ネットワークが、あらゆる高レベルのプログラムをこのアーキテクチャにコンパイルできることを証明できることを意味します。最新のプログラミング言語のほとんどは RISC-V と互換性があるため、RISC Zero の Bonsai は知識がなくても事実上あらゆる任意のコンピューター プログラムを実行できます。
ゼロ知識 (ZK) コンピューティングが一般的になる未来では、これまで不可能だった多くのアプリケーションが可能になるでしょう。これには、RISC Zero の Bonsai ネットワークをコプロセッサ (オンチェーンの結果を検証する前にリソースを大量に消費するオフチェーン作業を実行) として利用するイーサリアムベースのアプリケーションだけでなく、暗号通貨を超えて拡張される予定です。たとえば、Bonsai では、ホワイト ハッカーがセキュリティ ホールやバグの存在を直接公開せずに証明できるようにしています。また、ユーザーが ZK プルーフをダウンロードして検証し、実行するコードが Bonsai で事前監査されていることを確認できるため、ソフトウェアに対する将来のサプライ チェーン攻撃を防ぐこともできます。最も興味深いのは、Bonsai の広範な採用が、まだ想像されていないまったく新しい使用例につながる可能性があることです。
目覚ましい技術的進歩に加えて、RISC Zero の背後には強力でユニークなチームがあります。 **3 人の共同創設者、ブライアン・レットフォード、ジェレミー・ブルースル、フランク・ラウブは 20 年以上の知り合いです。彼らの共通の経験には、いくつかの会社の共同設立が含まれており、最近では AI の最適化とコンパイルへのベンチャー企業が最終的にインテルに買収されました。 **
トリオの各メンバーは、RISC Zero に豊富な経験をもたらします。ブライアンは、Google Cloud Platform で価格設定と計測システムに取り組んできました。ジェレミーは、生涯にわたる数学愛好家で、遺伝子配列決定のための GPU アクセラレーションに取り組んでいます。コンピューティング (HPC)、セキュリティ、フランクはコンパイラの分野で優れた知識を持ち、多数のコードベースを構築してきました。 RISC Zero チームは、共有された歴史と多様なスキルセットを備え、ゼロ知識コンピューティングを大衆に提供する独自の立場にあり、その過程でデジタル環境を再構築する可能性があります。
ゼロ知識コンピューティングが広く利用できる未来に目を向けると、イノベーションの可能性は無限にあります。幅広いプログラミング言語をサポートできる RISC Zero の Bonsai ネットワークは、ZK コンピューティングを民主化し、開発者がさまざまなドメインで安全でプライベートなトラストレスなアプリケーションを作成できるようにします。サイバーセキュリティ対策の強化からソフトウェア サプライ チェーンの信頼性の強化、オンチェーン アプリケーションで利用できるコンピューティング能力の大幅な向上に至るまで、ゼロナレッジ コンピューティングの潜在的な影響は計り知れません。 ZK の証明時間とコストの急速な低下、RISC Zero の忠実なチーム、多用途コンピューティング プラットフォームとしての Bonsai の出現は、デジタル世界の構造にプライバシー、セキュリティ、信頼が組み込まれたコンピューティングの新時代の到来を告げています。