パフォーマンス
RD 人気指数
RD 成長指数
比較
更新をフォローする
フォローリスト
キャラクター
ziskvmについて
ZisKは、Rustのような高水準言語で記述されたプログラムの検証可能な実行を可能にする、オープンソースのゼロ知識仮想マシン（zkVM）スタックです。プログラムが正しく実行されたことを示す簡潔な証明を生成し、誰でもコードを再実行したり入力を確認したりすることなく検証できます。 その中核的な強みはパフォーマンスにあります。ZisKは、事前コンパイル（AOT）を用いてRISC-Vプログラムを最適化されたネイティブx86_64コードに変換し、メモリを並列再実行から切り離す二相「最小トレース」アーキテクチャを採用することで、1.5 GHzのRISC-Vトレース生成を実現しており、これは他の公開zkVMと比較して約10倍高速です。これにより、トレース生成における長年のシーケンシャルボトルネックが解消され、リアルタイム証明におけるレイテンシとハードウェアコストが大幅に削減されます。 過去6か月間（2026年3月から9月）に、ZisKはバージョン0.11.0をリリースし、macOSサポート、GPU/CPU転送の最適化、仮想テーブルの統合、PIL2への再帰回路の移行を追加しました。また、サードパーティプラットフォームを介したブラウザ内検証も利用可能になりました。本プロジェクトは2025年6月にPolygonから独立したエンティティとしてスピンオフし、コアzkEVMチームがZisK名義で開発を継続しています。ソフトウェアは現在も活発に開発中であり、まだ本番環境での利用は想定されていません。
ZisKは2024年5月から2025年6月までPolygon Labsでインキュベーションを開始した。2025年6月13日、独立プロジェクトとなり、すべての知的財産とコアチームがJordi Baylinaが完全所有するSilentSig Switzerland GmbHに移管された。2025年6月18日、Baylinaはスピンオフを公に発表し、Polygon zkEVMプローバーの背後にいる7人のコア開発者が参加した。彼は引き続きPolygonのアドバイザーを務めた。2026年6月19日、ZisKはv1.0.0-alphaをリリースし、機能を凍結したコードベースで安定化フェーズに入り、セキュリティ監査、形式検証、および堅牢化に注力した。このリリースではBLS12-381署名検証も導入され、secp256k1/secp256r1演算が最適化され、Poseidon2への最近の攻撃を受けてデフォルトのマークルツリーハッシュがPoseidon2からPoseidon1に変更された。
過去6ヶ月間、ZisK VM（ziskvm）は大きな進展を遂げました。2026年5月にはv0.17.0がリリースされ、リモートクライアント向けの新たなgRPC APIを備えた分散型証明アーキテクチャの再設計、証明パイプライン全体を公開するSDKの統合（zisk-sdk 1.0）、およびzkVMアクセラレータのCインターフェースへの完全準拠が実現されました。パフォーマンス面では、Keccak/SHA-256のlibcへの移行、新たなarith256 API、および複数の正確性・安定性の修正が行われました。2026年8月には、チームはv1.1.0-alphaを発表し、4台のRTX 5090 GPU上でイーサリアムの10秒目標を下回る9.62秒のp99証明時間を達成したと報告しています。今後の重点分野としては、さらなるGPU最適化、より強固な検証、プロダクションリリースへの準備が挙げられ、セキュリティおよび正確性の継続的な監査が進められています。
Jordi Baylina: ZisKの創設者兼テクニカルリード。Polygonの共同創設者で、以前はPolygon zkEVMを主導。初期のEthereum開発者であり、MiniMeトークンとLiquidPledgingを開発、AragonとMakerDAOの監査を実施。現在はZisKのオープンソースzkVMに注力し、iden3のテクニカルリードも務める。