ME News ニュース、2023年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 ニュース、2023年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)