Introduction

1.可验证计算(verifiable computing)，是指那些密码学协议，它们通过调用交互式证明/论证来向verifier保证prover正确无误的完成了被要求的计算。

2.交互式证明（Interactive proofs）以及论证(Arguments)，是一类密码学协议协议，允许不受信的prover尽责的履行被要求的运算。

3.Interactive proofs允许prover和verifer进行交互，并允许存在一个极小但非零的概率，使得无效的“证明”依然可能通过验证。

4.Arguments容许对错误的陈述生成“证明”，只要找到这些“证明”所需的计算量极大。

5.zk-SNARKs是一类零知识证明方法。其全称是“Succinct Non-interactive Arguments of Knowledge”。“Succinct”意为简明的；“Non-interactive”意为无需交互，即证明是静态的。

6."Of Knowledge" 不仅要求prover表明状态（statement），还需要提供用于证明状态正确性的见证（witness）

7.假设存在关系R ⊆ {0,1} x {0,1} → {0,1}与命题 S_x: "存在 w, 使得 R(x,w) = 1"。在这里，x为公开的输入，对应要证明的陈述（statement）；w为让陈述(statement)成立的见证（witness）。

8.论证系统(Argument systems)的构造通常被分为两个步骤。首先需要选择一个信息论安全的协议，然后将该协议与对应的密码学工具结合，将prover的行为限制在满足某些约束的范围内。