zkVMとは何ですか? zkVM について詳しくは、この記事をご覧ください。

zkVM はこれらの問題をうまく解決するためにリリースされましたが、zkVM とは何ですか?データの実際を理解していない人はまだたくさんいますが、zkVM はセキュリティ、検証可能性、信頼性を確保するためにゼロ知識証明を使用する仮想マシンです。簡単に言うと、ユーザーは次の手順で新しい状態に戻ることができます。古い状態とプログラムを入力します。

zkVMとは何ですか?

zkVM は、ゼロ知識証明、つまり元の状態を入力するとプログラムが新しい状態を出力することで、信頼できる機能のセキュリティを確保できる仮想マシンです。 zkVM は、使いやすさ、多用途性、シンプルさ、再帰性を実現します。開発者はゼロ知識開発を習得する必要がなく、チューリング完全性を実現できます。 仮想マシン全体の回路を繰り返し生成する必要はなく、仮想マシンを通じて検証を行うことができます。

zkVM は、ゼロ知識証明に基づく汎用コンピューティング プラットフォームで、スマート コントラクトの実行、データ処理、複雑なアルゴリズム操作など、さまざまなコンピューティング タスクを実行できます。その中心的な機能は、実行の詳細を明かさずに計算の正しさを検証するゼロ知識証明を生成することです。 SNARKs テクノロジーを通じて、これらの証明はオフチェーンで検証できるため、検証者はブロックチェーン上で計算プロセス全体を再実行したり、高額な計算コストを支払う必要がなくなります。

zkVM の設計は、暗号通貨取引に限定されません。その汎用性により、医療データ処理、サプライ チェーン管理、秘密投票システムなどのさまざまなアプリケーション シナリオに導入できます。これらのアプリケーションはすべて、データを保証する必要があります。同時に、処理ロジックの正確性を検証します。

zkVM プロジェクトとは何ですか?

現在の zkVM プロジェクトには主に Jolt、RISCZero、Succinct などが含まれます。 zk テクノロジーには課題がありますが、zkVM ソリューションの開発において技術的な強みを実証しているプロジェクトが市場にまだいくつかあります。午後は詳細な紹介です:

1. Jolt

Jolt は新しいタイプの zkVM であり、その主な特徴は、高速に実行され、開発者がコード監査を容易に拡張できることです。

STARK フレームワークに基づく他の zkVM とは異なり、Jolt は Lasso ルックアップ パラメーターと sumcheck ベースのテクノロジーを利用します。この革新的なアプローチにより、新しい仮想マシン命令の実装が簡素化されるだけでなく、システム全体の速度も向上します。

Jolt の設計は使いやすさと効率性を重視しており、そのコード ベースは非常に合理化されており、わずか 50 行の Rust コードで実装できます。さらに、Jolt のパフォーマンスも非常に優れており、予備的なベンチマーク テストでは、RISC Zero よりも 5 倍以上、SP1 よりも 2 倍速くゼロ知識証明を実行できます。

2. RISC Zero

RISC Zero は、再帰的 SNARK 構造を備えた zkVM であり、証明のネストをサポートする再帰的メソッドが特徴です。 SNARKs テクノロジーでは、再帰により複雑な証明をより小さく、より管理しやすい証明に分割できます。これらの小さな証明は個別に検証でき、最終的には完全な大きな証明に結合できますが、このプロセスは証明の有効性に影響を与えません。 RISCZero は、再帰を実装するアプローチが独特で、複数の証明層を 1 つの証明チェーンにシームレスに統合します。これにより、計算負荷と処理が必要なデータ量が削減されるだけでなく、複数の計算ステップにわたる検証プロセスが維持されます。 . セキュリティと完全性。

RISC Zero のもう 1 つのユニークな特徴は、スケーラビリティと拡張性を目的として設計されたオープン標準 ISA (命令セット アーキテクチャ) である RISC-V 命令セットを使用していることです。この選択により、RISC Zero はツールとサポートの広範なエコシステムを活用できるようになり、独自のアーキテクチャや汎用性の低いアーキテクチャを使用する他の zkVM よりも既存のシステムへのアクセスと統合が容易になります。

3. Succinct

Succinct は、Rust または LLVM でコンパイルできるその他の言語で書かれたコードを実行するためにカスタマイズされた zkVM SP1 を開発し、柔軟性と使いやすさが向上しました。 SP1 はモジュラー アーキテクチャをサポートしており、開発者は「プリコンパイル」を通じてその機能をカスタマイズおよび拡張できます。プリコンパイルとは、開発者が追加または変更できる特定のモジュールを指し、コア仮想マシンの機能を強化して、特定のタスクや操作をより効率的に処理できるようにします。

さらに、SP1 は分散型証明者ネットワークを構築し、証明の展開と実行を簡素化し、それによって高度な暗号化方式を使用するためのしきい値を下げます。このネットワークは、開発者がワンクリックでプルーフを効率的に生成できるようにすることで、合理化されたアプローチを提供します。

以上がzkVMとは何ですか? zkVM について詳しくは、この記事をご覧ください。の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。