Nova: 効率的な再帰的 zk-SNARK システム

Novaは、新しいタイプの再帰的zk-SNARK(零知識簡潔非交互式知識証明)システムで、マイクロソフトリサーチによって開発されました。それは、証明の効率と柔軟性を向上させるために、緩和されたランク1制約システム(Relaxed Rank-1 Constraint Systems、Relaxed R1CS)という技術を使用しています。

Novaの主な利点

• リラックスしたR1CS技術を使用し、ランダム性の要求を減らし、証明効率を大幅に向上させました
• インクリメンタル計算をサポートしており、複雑な関数を段階的に計算でき、一度に全ての計算を完了する必要はありません。
• 多項式計算をサポートし、より複雑な証明タスクを処理できる
• 証明生成と検証プロセスがより効率的であり、大規模なアプリケーションシーンに適しています

Nova の潜在的な制限

• リラックスしたR1CSは、従来のR1CSシステムよりも証明の安全性が若干低下する可能性があります。
• 相対的に複雑で、使用と維持が難しい
• 高度な暗号技術を理解する必要があるため、効果的に使用および修正することができます。

Novaのコアコンポーネント

1. R1CSと緩和R1CS: ゼロ知識証明を構築するための制約システム

2. 多項式コミットメントスキーム: 多項式評価値を証明するために使用される

3. 非対話型フォールディングソリューション(NIFS): 増分計算の各ステップの正確性を証明するために

4. Sumcheckアルゴリズム: 多項式の和を検証するために使用されます

5.楕円曲線暗号(ECC):基本的な暗号プリミティブを提供します

6. Keccak256ハッシュ関数:証明プロセス中のtranscriptを処理するために使用される

7. 大整数演算: 通常の整数の範囲を超えた計算をサポート

Novaはこれらのコンポーネントの革新的な組み合わせを通じて、高効率の再帰証明システムを実現し、ゼロ知識証明技術の大規模な応用の基盤を築きました。