Cysic は、Venus の zkVM エンジンをオープンソースとして公開し、プローフ生成をグローバルな計算グラフとして捉え直すことで、ZisK を Ethereum の新たな EIP‑8025 のプローフ市場の中に位置付けています。
概要
Cysic は、Venus という新しいオープンソースの zkVM 計算エンジンをリリースしました。Venus は、従来のハードウェア抽象化レイヤーではなく、グローバルな計算グラフの周りでプローフ生成を再構成し、同社の ZisK スタックを Ethereum の新興 L1 プローフ市場をめぐる議論のまっただ中に据えるものです。X でこの移行を発表するにあたり、Cysic は Venus を「ZisK の上に構築されたもの」と説明し、このシステムはプローフパイプライン全体を表すグラフベースの表現のために「従来の HAL モデルを放棄する」と述べました。「このパラダイムシフトにより、3 つの中核的な利点がもたらされます。グローバルな計算最適化、無効なデータ移動の削減、そして GPU 利用の大幅な改善です」とチームは書いています。
ハードウェアバックエンドを、互いに切り離された一連の関数呼び出しとして扱うのではなく、Venus はゼロ知識プローフ生成を、GPU、FPGA、将来の ASIC にまたがってエンドツーエンドでスケジュール可能な明示的な計算グラフとしてエンコードします。Cysic は、これによりコンパイラが「命令を並べ替え、カーネル境界をまたいでメモリ操作を融合できる」ようになり、CPU とアクセラレータの間でのメモリスラッシングを減らし、MSM と NTT の大規模な並列性の性格とより良く整合すると述べています。内部テストでは、Venus エンジンは「ZisK 0.16.1 と比べて 9% 超のエンドツーエンドのプローフ時間改善」を実現しました。主に、単なる生のハードウェアの向上に頼るのではなく、CPU‑GPU の同期オーバーヘッドを削ることで達成されています。
Venus の発表は、Ethereum の EIP‑8025 提案に合わせて行われます。これは「Optional Execution Proofs」と呼ばれ、zkVM を用いた L1 ブロック検証のためのマルチプローバモデルを形式化します。その解説の中で Cysic は、ZisK が「公式のコミュニティ討議で候補として明示的に名前が挙げられている 5 つの zkVM の 1 つ」であり、RISC Zero や openVM のようなシステムと並んでいると述べ、さらにチームは「24 台の GPU を使って Ethereum ブロックのプローフ生成を 7.4 秒で完了できる」ことにより、リアルタイムの目標を達成できるとしています。このプロジェクトは「すでに Ethproofs で稼働しており、単一の RTX 4090 を使って Ethereum ブロックのリアルタイムプローフを送信している」ほか、エコシステムが L1 プローフ市場へ向かう中で Ethproofs の統合パートナーとしてもリストされています。eips。
Cysic は、Venus を、より大きなスタックの中におけるソフトウェア加速の中核として位置付けています。このスタックには、プロトコルのエントリポイントにある ZisK zkVM、計算の土台となるカスタム ASIC ハードウェア、そしてプローバ間でジョブをスケジューリングするための ComputeFi ネットワークが含まれます。「本当の問題は、十分ではない生の計算能力ではなく、根本的なアーキテクチャの不一致だ」とチームは主張しており、Ethereum が計画している zkEVM ロードマップ をハイパースケールするためには、密に統合された zkVM、ハードウェア、スケジューリングスタックが必要だとしています。university。
