CysicはVenusを正式にオープンソース化し、Ethereum Ethproofsの統合パートナーにリストされました

ChainCatcherの報道によると、Cysic公式がグラフ優先（Graph-First）zkVM証明フレームワークVenusのオープンソース化を発表しました。VenusはZisK上に構築されており、従来のHALモデルのように証明プロセスを一連の独立したバックエンド関数として扱う方式を廃止し、ZK証明の全プロセスを1つのグローバルな計算グラフとしてコード化することで、ロジックとハードウェア実行を分離しています。