🚀 最新のプレゼンテーションからの情報です。@eth_proofs Call #1 で発表された21の最新の zkVM の中からの情報です。

NIVC folding を基盤とする、最先端の zkVM である NovaNet を発表します！

Nova から SuperNova、そして NeutronNova へと、ゼロ知識証明を再定義する WASM ベースの証明ネットワークを開発しました。

NovaNet は、2 つの強力なユースケースで輝きを放ちます。

1⃣トップダウン：大規模な証明タスクを複数のマシンに分散させ、管理しやすいチャンクに分割して並列化します。
2⃣ボトムアップ：プライバシー証明を効率的に集約し、最小限のオーバーヘッドでオンチェーンに投稿します。

なぜ folding がそれほど重要なのでしょうか？それは NovaNet のイノベーションのバックボーンだからです。

☑️分散化：調整可能なステップサイズにより、小型デバイスと高性能サーバーの両方がネットワークに参加でき、包括性を促進します。
☑️ライブネス：インクリメンタルな検証可能な計算により、証明を途中で一時停止でき、誰でも検証できます。モノリシックシステムとは異なり、再起動は不要です。
☑️効率：Folding は、文献の中で継続処理において最も低いオーバーヘッドを実現し、証明の幅のみをコミットします。

プライバシーは？ NovaNet にお任せください 🤝

ほとんどの zkVM とは異なり、デフォルトでプライベートです。更新された HyperNova の論文からの巧妙なトリックにより、わずか 1 回の fold で純粋な ZK を実現できます。さらに、当社のオンチェーン検証ツールは無駄がなく、約 150,000 gas 💸 で証明を投稿します。

NovaNet の NIVC 設計により、pay-per-opcode 証明が可能になり、Jolt のような専門的な証明者が参加できるようになります。Jolt の証明は、リアルタイムの folding または継続処理（Justin の最新の論文に感謝）を介して統合でき、究極の柔軟性を実現するために複数のマシンで実行できます。

今後は、ハッシュベースのスキームをスキップします。代わりに、以下を目指します。

🔹NeutronNova：Nebula の 10 倍の高速化を実現し、ベンチマークは近日公開予定です。Starkish システムにはわずかに劣るかもしれませんが、大きな飛躍の舞台となります。
🔹NEO：長期的な有望性と量子耐性を持つラティスベース

一番良い点は？ NovaNet は完全にオープンソースです！ zkEngine（バイオにリンクがあります）に飛び込み、ブラウザで試してみてください。WebGPU のサポートも近日公開予定です！

🎥 以下の 2 分間のプレゼンテーションをご覧ください👇

追伸：ご質問はありますか？コメントに投稿するか、TG（バイオにリンクがあります）にご参加ください #zkVM