ME News ニュース、4 月 7 日（UTC+8）、Cysic 公式はグラフ優先（Graph-First）zkVM 証明フレームワーク Venus のオープンソースを発表しました。Venus は ZisK 上に構築され、従来の HAL モデルのように証明プロセスを孤立したバックエンド関数の一連とみなすのを放棄し、全 ZK 証明フローをグローバル計算グラフにエンコードし、ロジックとハードウェア実行をデカップリングします。 実測によると、Venus は既存の ZisK 0.16.1 のエンドツーエンド証明時間を 9%以上向上させ、CPU-GPU の同期オーバーヘッドを大幅に削減し、GPU、FPGA さらには ASIC との互換性も持ちます。 Cysic は Ethproofs の統合パートナーに選ばれ、直接 Ethereum zkEVM ノードとして稼働します。Venus の基盤となる ZisK zkVM はカスタム命令セットを採用し、Ethereum EIP-8025 のアップグレード公式討議で明確に候補として挙げられている五大 zkVM の一つです。これにより、Cysic は Ethereum L1 証明市場のコアセクターに直接参入します。（出典：ChainCatcher）
Cysic 正式オープンソース化 Venus、Ethereum Ethproofs 統合パートナーに登録
ME News ニュース、4 月 7 日（UTC+8）、Cysic 公式はグラフ優先（Graph-First）zkVM 証明フレームワーク Venus のオープンソースを発表しました。Venus は ZisK 上に構築され、従来の HAL モデルのように証明プロセスを孤立したバックエンド関数の一連とみなすのを放棄し、全 ZK 証明フローをグローバル計算グラフにエンコードし、ロジックとハードウェア実行をデカップリングします。 実測によると、Venus は既存の ZisK 0.16.1 のエンドツーエンド証明時間を 9%以上向上させ、CPU-GPU の同期オーバーヘッドを大幅に削減し、GPU、FPGA さらには ASIC との互換性も持ちます。 Cysic は Ethproofs の統合パートナーに選ばれ、直接 Ethereum zkEVM ノードとして稼働します。Venus の基盤となる ZisK zkVM はカスタム命令セットを採用し、Ethereum EIP-8025 のアップグレード公式討議で明確に候補として挙げられている五大 zkVM の一つです。これにより、Cysic は Ethereum L1 証明市場のコアセクターに直接参入します。（出典：ChainCatcher）