Nova:新世代の効率的なゼロ知識証明システム

Novaはマイクロソフトが開発した革新的なzk-SNARKsシステムで、リラクスドR1CS(技術を採用し、証明の効率と柔軟性を大幅に向上させました。

Novaの主な機能:

1. リラックスR1CS技術を採用し、ランダム性の使用を減らし、証明効率を向上させる

2. 増分計算をサポートし、複雑な関数を段階的に計算できます。

3. 多項式計算をサポートし、より複雑な証明タスクを処理できる

4. より効率的な証明生成と検証プロセスの実現

5. ゼロ知識証明の適用範囲を拡大した

Novaの主要技術の実装

1. R1CSマトリックス形状表現

Nova は R1CSShape 構造体を使用して、制約の数、変数の数、その他の情報など、R1CS 行列の形状を表します。

2. リラックスR1CSインスタンス

RelaxedR1CSInstance構造体は、関連するパラメータとコミットメントを含むリラックスしたR1CSインスタンスを表します。

3. 多項式表現と計算

EqPolynomial や Multilinear Polynomial などの多項式構造が実装されているほか、関連する評価、バインド、その他の操作も実装されています。

4. Sumcheckアルゴリズム

SumcheckProof 構造体は、Sumcheck 証明の生成と検証を実装します。

5. 約束プラン

CommitmentTraitの特性を定義し、コミットメントの基本操作を規定しました。

6. 評価エンジン

EvaluationEngineTrait トレイトは、多項式評価エンジンの動作を定義します。

7. zkSNARKの実装

RelaxedR1CSSNARKTrait トレイトは、zkSNARK システムのコア機能を定義します。

Novaはこれらの重要な技術の巧妙な実装を通じて、高効率のzk-SNARKsシステムを構築し、ブロックチェーン、プライバシー計算などの分野に強力なサポートを提供しました。