Cysicは、ZisK上に構築されたグラフファーストの証明システムであるVenus zkVMフレームワークをオープンソース化しました。これは従来のHALモデルを離れ、ZK証明パイプライン全体をグローバルな計算グラフとしてエンコードする方式を採用しています。このアプローチにより、ロジックとハードウェア実行が分離され、より効率的な証明プロセスが実現されます。実際のテストでは、VenusはZisK 0.16.1と比較してエンドツーエンドの証明時間を9%以上短縮し、CPUとGPUの同期オーバーヘッドも削減しています。このフレームワークはGPU、FPGA、ASICに対応しています。 また、CysicはEthproofsに統合パートナーとして参加し、EthereumのzkEVMノードとして運用されます。Venusの基盤となるZisK zkVMは、EthereumのEIP-8025アップグレードで検討されている5つのzkVMのうちの一つであり、CysicはEthereumのL1証明市場の最前線に位置しています。