ポスト量子SNARKは透明になります。 グレイハウンド by @zksecurityXYZ は、どのように方法を示しています 👇

@zksecurityXYZグレイハウンドは透明な格子ベースのSNARKです。構造化された格子、Ajtaiコミットメント、および効率的な証明生成技術を活用します。

@zksecurityXYZ 中核となるイノベーションは、従来の離散ログまたはペアリングベースの設定を格子仮定に置き換え、簡潔性と検証可能性を維持しながらポスト量子セキュリティを目標とすることです。

@zksecurityXYZ キープリミティブ:アジタイコミットメント。これは、ラティス問題(SISなど)のワーストケースの硬度を使用して、コミットされた値をバインドします。グレイハウンドは、多項式コミットメントと知識証明システム内にそれをデプロイします。

@zksecurityXYZグレイハウンドのプロトコルは整数格子上で動作します。これは、パブリックに選択されたパラメータによる信頼できるセットアップを回避します。セキュリティは、群順序の仮定ではなく、量子敵対者の下での格子問題の硬さから導き出されます。

@zksecurityXYZ効率:著者は、証明者と検証者の両方にとって「効率的な構成」を報告しています。Greyhoundは、ペアリングベースのSNARKよりもまだ大きいですが、ベクトル/行列に対するモジュラー演算でスケーリングするため、格子に最適化されたハードウェアにより適しています。

@zksecurityXYZ Verifier のパフォーマンス: パラメーター化に応じて、回路サイズが一定または対数。これは、ラティスコミットメントに特徴的なサンプリングとチェック手順に依存しており、インタラクティブ性と証明者のオーバーヘッドを削減するように設計されています。

@zksecurityXYZ 統合の角度: Greyhoundは、コミットメントスキームのモジュラー交換を通じて、既存のSNARKツールチェーンに適応できます。回路の抽象化の再設計を義務付けていないため、ポスト量子遷移に実用的です。

@zksecurityXYZ 暗号の観点からは、透過的なセットアップ、格子の仮定、効率的な証明構造など、実行可能性を示しています。具体的なプルーフサイズ、パラメータの最適化、および実際の実装パフォーマンスに関する重要な問題が残っています。

@zksecurityXYZ 要するに、グレイハウンドはアジタイのコミットメントに基づいて構築された格子ベースのSNARKです。信頼性の高いセットアップなしでポスト量子セキュリティを実現し、実用的な証明サイズと検証機の効率を目指しています。これは、耐量子暗号を既存のシステムに統合するためのロードマップを提供します。

@zksecurityXYZ ブログ記事👇を読む

@zksecurityXYZ ZKの最新かつ最高のものを、ここで毎月👇