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）