핵심 개념
#Pのすべての言語に対する完全なゼロ知識PCPsが存在することを示す。
초록
この記事は、#Pの言語に対する完全なゼロ知識確率的検査可能証明(PZK-PCPs)の構築に焦点を当てています。これはBPP以外の言語に対する初めてのPZK-PCP構築であり、非適応性と任意(適応性)多項式時間悪意ある検証者に対するゼロ知識を同時に実現しています。記事は、新しいマスクされたサムチェックPCPを紹介し、局所シミュレーション可能エンコーディングの概念を導入しています。さらに、Reed-Mullerコードから派生したコードが局所シミュレーション可能エンコーディングを持つことを示しています。
1. 導入
- ゼロ知識プルーフの重要性と影響力。
- 完全なゼロ知識(PZK)、統計的ゼロ知識(SZK)、計算上のゼロ知識(CZK)の定義。
- PZK、SZK、CZKクラスへの研究。
2. 技術
- 構造対ランダム性:超立方体内で反対称性が保持される一方でランダム性が外部へ。
- アリスメトリック関数の組み合わせ的構造。
- 低次拡張子への局所シミュレーション。
- 部分立方体和集合への制約位置。
3. 前提条件
- 符号理論や線形代数学的主張。
- 組合せ的ヌルシュテレンサッツ。
4. 局所シミュレーション可能エンコーディング
5. ローグラード拡張子への制約位置
6. ΣAntiSymへの制約位置
통계
この記事では重要な数字や指標は使用されていません。
인용구
"我々はすべて言語における完全なゼロ知識PCPsが存在することを示す"