Nova: 新しいタイプのzk-SNARKsシステム

Novaはマイクロソフトが開発した新しいタイプのzk-SNARKsシステムで、証明の効率と柔軟性を向上させるために、緩和されたランク1制約システム(Relaxed R1CS)技術を使用しています。

Novaの主な利点は次のとおりです:

• リラックスしたR1CS技術を使用することで、証明に必要なランダム性を減らし、証明効率を大幅に向上させました。
• 増分計算をサポートし、複雑な関数を段階的に計算できます
• 多項式計算をサポートしており、より複雑な証明タスクを処理できます

Novaにもいくつかの欠点があります:

• リラックスしたR1CSを使用しているため、証明は従来のR1CSシステムほど強力ではない可能性があります。
• 実装が比較的複雑で、使用と保守が困難です

それにもかかわらず、Novaはzk-SNARKs分野で依然として重要な地位を占めています。これは、zk-SNARKsの発展に新たな道を開き、証明の生成と検証プロセスをより効率的にし、より複雑な証明タスクを処理できるようにし、zk-SNARKsの適用範囲をさらに広げました。

Novaのコア実装には次のものが含まれます:

• R1CSと緩和R1CSの定義と実施
• 多項式計算に関連するデータ構造とアルゴリズム
• Sumcheckプロトコルの実装
• 非対話型折りたたみソリューション(NIFS)の実装
• 内積証明に基づく多項式コミットメントスキーム

これらのコンポーネントは、Novaの効率的なzk-SNARKsシステムを構成し、zk-SNARKs技術の進歩に重要な貢献をしています。