従来の VM では、コンセンサスは「すべてのノードが各トランザクションを繰り返し実行する」ことに依存しているため、ネットワーク全体のスループットは最も遅いノードによって制限され、計算能力は多くの再計算に浪費されます。 zkVM では、プロセスは「実行 + 証明 + 検証」に分類され、プログラムと入力は zkVM で一度実行するだけで結果とゼロ知識証明が生成されます。 他のノードは二重計算する必要はなく、この証明を検証するだけです。 このようにして計算負担が大幅に軽減される。 RISC Zero の zkVM (R0VM) を例に挙げてみましょう。 🔹 RISC-V命令セットをコアとして使用し、開発者はRust / C / C ++でゲストプログラムを作成し、それらをRISC-V ELFファイルにコンパイルするだけで済みます。 🔹 各 ELF ファイルは、"このコードが実行される" ことを保証するために一意の画像 ID に対応します。 🔹 実行の結果、以下を含む領収書が生成されます。 ジャーナル: 公開されているアウトプットまたは約束された結果。 シール: オンチェーンまたはオフチェーンで検証できる短い ZK 証明。 最終的に、ネットワーク上のノードは、すべての計算を再実行することなく、この受信を確認するだけで済みます。 その結果、「ネットワーク全体の一貫性」のコストは、繰り返しの実行から短い証明の検証まで劇的に低下します。