摘要：
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 什么是交互式证明？可以先假定它指的是一个证明系统 阅读全文