非确定性多项式时间和确定性多项式时间验证等价的主要来源

如果可以在多项式时间内验证语言的证书，谁是第一个显示该语言为NP的人？我们是否有一篇论文可以正式证明这一点？TCS社区什么时候开始不强调不确定性而支持可验证性？在我的一生中，除了Papadimitriou，Arora和Barak之类的文字，我无法找到很好的参考。

[扩展评论]我认为，“验证的根源”已经包含在Karp的里程碑论文“组合问题之间的可约性”（1972）中：

...
令表示在多项式时间内可识别的子集∑ ∗ × ∑ ∗的类别。鉴于大号（2 ） ∈ P （2 ）和一个多项式p，我们定义大号如下：$P^{(2)}$$\Sigma^* \times \Sigma^*$$L^{(2)} \in P^{(2)}$$p$$L$

$L = \{ x \mid$$y$$\langle x,y \rangle \in L^{(2)}$$\log(y) \leq p(\log(x)) \}$

$y$

$L$$L^{(2)}$$p$

$NP$$P^{(2)}$

关于不确定性图灵机，还有另一种NP表征... [不确定性图灵机的计算定义] ...

和

$L \in NP$$L$