#zkvm まだ革新的な製品が出ている @boundless_xyz などの汎用 RISC-B zkvm とは対照的に、すべての証明は共通命令セット内の各回路の証明に基づいています。 Brevis zkvm を採用 - 接着剤ステッチ方式、この方式は最初に V God のブログ投稿から来ました - 計算の大部分を占めるコストのかかる特定の操作 (通常はハッシュと署名) を特定し、それらの操作を効率的に証明するための特殊なモジュールを作成します。 非効率的だが汎用的なVM命令セット証明システムと、効率的だが特殊な証明システムを組み合わせることで、両方の長所を生かすことができます。 実際、回路レベルのプリコンパイル技術に属するEVMのようなプリコンパイル技術も少しあります - チェーンのイノベーション 1) 純粋な ZK 証明、コストの問題は常に存在します。 2) OP-ZK 証明、つまり、調整後にのみ ZK 証明が生成され、チェーンに証明を検証させます。 調整されない場合は、楽観的な確認です。 これは新しい OPZK カテゴリに属するはずです。 コアは、zk 証明コストの問題という 2 つの問題を解決します。 非常に現実的な計画です 細部：

調整のみ = 》誤字修正のみに異議を唱えました

創設者の@brevis_zkとチャットしたところ、RISC-V 命令セットとプリコンパイル済みのプリコンパイル回路を組み合わせて使用しました。

彼は計画のコスト面で多くの設計を行っているため、これはスケーリングされる可能性が最も高いと感じています。