在2001 年的時候，已經有學者（Goldreich 等）作出大膽的預言，認為這種零知識/交互式的證明，會極大改變人類對於“證明”（這一人類文明最基本概念）的認識。“然而這種證明又與數學上的證明有什麼區別呢？”