亜線形空間ゼロ知識証明：画期的な進歩

研究者らは、KZG/BN254を用いたRust実装による、亜線形空間ゼロ知識証明システムSSZKPを開発しました。長さTのトレースに対してO(√T)のメモリ使用量を実現し、ブロック化されたIFFTとストリーミングアキュムレータを使用しています。SSZKPは、多項式全体をバッファリングすることなく標準的なKZGコミットメントを使用し、スケーラブルなzkシステム構築のための非常に効率的なアプローチを提供します。このプロジェクトには、完全な証明者と検証者のCLIツール、エンドツーエンドのテストスクリプトが含まれています。