Key points are not available for this paper at this time.
この論文では、ランダム化と相互作用の両方が許可されている場合、ポリノミアル時間で検証可能な証明は、ポリノミアル空間で生成可能な証明と正確に一致することが証明されています。
アディ・シャミール（木曜日）はこの問題を研究しました。