摘要:
Dirac Notation:\(\mid 0\rangle,\mid 1\rangle\)。 定义复函数的内积运算为 \(\langle \varphi\mid \psi\rangle=\displaystyle\int_{-\infty}^{+\infty}\overline{\phi}(x)\ 阅读全文
2024年2月28日
摘要:
第八章 交互式证明 什么是一个好的证明系统天生必须具备的性质? 所有正确的能被证明; 所有错误的不能被证明; 证明者的证明过程和计算量可以很大,但是验证者所需的工作量不应该太大。 —— Goldwasser, Micali, Rackoff 1985 什么是交互式证明?可以先假定它指的是一个证明系统 阅读全文