negligible，可以忽略的，指一个函数小于任何关于其自变量的多项式的倒数，一般记为 negl。

说一个算法是 efficient，是指它有着多项式运行时间，即，能在多项式步骤内终止。

ZKPoK（Zero Knowledge Proof of Knowledge）是指对于知识的零知识证明，主体是对于知识的证明（PoK），ZK 是描述性质的修饰词，指这个证明同时也满足一些零知识性。具体来说，这个证明要求证明者 P 向验证者 V 证明自己知道某些秘密的值但 V 无法得知这个值。

承诺机制 Commitment scheme，顾名思义就是一个人一旦做出了承诺，那么这个人就不能随意改变这个承诺。这个想法最初由 Blum 在 [Blum81] 中提出，这篇论文的标题也很有意思叫做：通过电话抛硬币（Coin Flipping by Telephone）。

零知识证明（Zero Knowledge Proof，ZKP）是指证明者 P 在不透露任何其他信息的情况下能够向验证者 V 证明某个陈述是真的。也就是说，证明结束时，验证者 V 除了知道这个陈述是真的之外，不知道其他任何信息。

交互式证明系统（Interactive Proof System），是计算复杂理论中的一类计算模型。Goldwasser 等人在 [GMR85] 中从密码学的角度考虑交互证明并且给出了正式的定义。