二重部分線形インタラクティブ近接証明
本稿では、二重部分線形インタラクティブ近接証明（dsIPP）を研究する。これは超大規模入力に対する近似的主張を証明するための超高速証明システムであり、証明者は入力のごく一部（部分線形）のみを読み、検証者はさらに少ない部分を読む。著者らは、定幅1回読み oblivious 分岐プログラム（ROOBP）で判定可能な任意の性質に対してこのような証明を構築し、さらにハミング重みの近似検証と2部グラフ性の緩和のための証明システムも構築した。
二重部分線形インタラクティブ近接証明（dsIPP）は、証明者が入力全体を読む必要がないという点で、従来の対話型証明システムを大幅に改良する。このシステムでは、証明者は入力の一部（部分線形）のみを読み、検証者はさらに少ない部分を読むことで、入力がある性質に「近い」ことを検証できる。この近似検証の概念は、プロパティテスティングの分野から来ている。誠実な証明者は、部分線形時間で検証者を納得させることができるが、不正な証明者は遠い入力を近いと偽ることはできない。
ワイツマン科学研究所のNoga Amir、Oded Goldreich、Guy N. Rothblumは、定幅1回読み oblivious 分岐プログラム（ROOBP）で判定可能な任意の性質に対して汎用的なdsIPPを構築した。ROOBPは、各ビットを1回だけ読み、状態を持たない分岐プログラムであり、メモリ使用量が一定である。このモデルは多くの自然な性質を含む。さらに、入力のハミング重み（1の数）を近似検証するdsIPPと、有界次数グラフモデルにおける2部グラフ性の緩和問題に対するdsIPPも提供した。
これらの結果は、証明者が入力を完全に読めない状況でも検証可能な証明を提供できることを示している。大規模データセット（ゲノムデータ、ネットワークトラフィック、ソーシャルネットワークなど）の検証に応用できる。例えば、ブロックチェーンにおけるライトクライアントの検証や、クラウドコンピューティングにおける計算の検証などに利用できる可能性がある。この論文は2026年7月に発表され、トップ会議FOCSで発表される予定である。将来的には、より効率的な検証プロトコルの開発や、理論計算機科学と実際のビッグデータ解析との橋渡しに寄与するだろう。