Cysicは正式にVenusをオープンソース化し、Ethereum Ethproofsの統合パートナーに登録されました。

Cysic は公式にオープンソースのグラフ優先（Graph-First）zkVM 証明フレームワーク Venus を発表しました。Venus は ZisK の上に構築されており、証明プロセスを一連の孤立したバックエンド関数として扱う従来の HAL モードを放棄し、全体の ZK 証明プロセスをグローバル計算グラフとしてコーディングし、ロジックとハードウェアの実行をデカップリングします。

実測結果によると、Venus は既存の ZisK 0.16.1 に比べてエンドツーエンドの証明時間が 9% 以上向上し、CPU-GPU の同期オーバーヘッドが大幅に減少し、GPU、FPGA、さらには ASIC にも対応しています。

Cysic は Ethproofs の統合パートナーとしてリストされており、直接的にイーサリアムの zkEVM ノードとして運用されます。Venus が基づく ZisK zkVM はカスタム命令セットを採用しており、イーサリアム EIP-8025 アップグレードの公式議論において明確に候補として挙げられた五大 zkVM の一つであり、Cysic はこれによりイーサリアム L1 証明市場のコアトラックに直接参入します。