Cysic が正式にオープンソース化した Venus は、イーサリアムの Ethproofs 統合パートナーとして掲載されています

Mars Finance のニュースとして、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 のアップグレード公式ディスカッションで、候補となる 5 つの zkVM の 1 つとして明確に挙げられています。これにより、Cysic はイーサリアム L1 証明市場の中核となるレースに直接参入します。