零知识证明 circom 及 snarkjs 入门教程[译]

Tiny熊

发布于 2020-06-04 16:17:21

3K2

发布于 2020-06-04 16:17:21

文章被收录于专栏：深入浅出区块链技术

在本教程里将指导您创建第一个零知识 zkSnark电路。它将介绍各种编写电路的技术，并向您展示如何创建证明并在以太坊[1]上进行链外和链上验证。

1. 安装工具

1.1 先决条件

需要在电脑中安装Node.js，Node.js 的最新的稳定版本（或8.12.0）可以正常工作。不过，如果您安装了当前的最新版本的Node.js（10.12.0），将会看到显着的性能提升。这是因为最新版本本身包含大数库（Big Integer Libraries）。 snarkjs 库会利用这些特性（如果可用的话），从而将性能提高10倍（!）。

1.2 安装 circom 和 snarkjs

运行:

npm install -g circom
npm install -g snarkjs

2. 使用 circuit

让我们创建一个电路，去证明你能够因式分解一个数字！

2.1 创建一个电路目录

1.创建一个 factor 目录，教程里的所有文件都将放在这个下面

mkdir factor
cd factor

在真实的电路中，您可能需要创建一个 git 仓库，其中包含circuits目录和一个包含所有测试的test目录，以及用于构建所有电路的脚本。

1.使用下面的内容创建一个 circuit.circom 文件：

template Multiplier() {
   signal private input a;
   signal private input b;
   signal output c;
   c <== a*b;
}

component main = Multiplier();

这个电路有2个 private 输入信号，名为 a 和 b ，还有一个输出 c.

电路做的事情是让强制信号 c 为 a*b 的值。

在声明 Multiplier 模板之后, 我们使用名为main的组件实例化它。

注意：编译电路时，必须始终有一个名为main的组件。

2.2 编译电路

现在，我们准备编译电路。运行以下命令：

circom circuit.circom -r circuit.r1cs

将电路编译为名为circuit.rlcs的文件

3. 将编译后的电路放入 snarkjs

现在电路已经编译好了，我们将继续使用snarkjs。

我们随时可以通过输入snarkjs --help 来访问snarkjs的帮助

3.1 查看电路有关的信息

要显示电路的信息，可以运行：

> snarkjs info -r circuit.r1cs
# Wires: 4
# Constraints: 1
# Private Inputs: 2
# Public Inputs: 0
# Outputs: 1

还可以通过运行以下命令来打印电路的约束：

snarkjs printconstraints -r circuit.r1cs

3.2 用 snarkjs 启动配置

现在为电路运行启动配置:

snarkjs setup

默认 snarkjs 将寻找和使用 circuit.r1cs. 我们也可以用 -r <circuit r1csFile> 来指定一个电路文件。

setup 将输出2 个文件： proving_key.json and verification_key.json

3.3. 计算见证（witness）

在创建任何证明之前，我们需要计算与（所有）电路约束匹配的所有电路信号。

snarkjs会帮我们计算这些。我们需要提供一个包含输入的文件，它将执行电路并计算所有中间信号和输出。这组信号就是“见证”。

零知识证明证明你知道一组与所有约束匹配的信号（见证），但不透露任何信号（公共输入和输出除外）。

例如，想像一下，你想证明自己能够因式分解33，这意味着你知道两个数 a 和 b ，将它们相乘为 33。

因此，您想证明自己知道3和11。（当然，你可以始终使用1 和数字本身作为 a 和 b，我们稍后将处理此问题。）

让我们创建一个input.json 文件：

 {"a": 3, "b": 11}

现在计算见证:

snarkjs calculatewitness

这时会生成包含所有信号的见证文件witness.json ，可以打开看一看。

译者注，如果遇到提示：Error: ENOENT: no such file or directory, open 'circuit.wasm' ERROR: Error: ENOENT: no such file or directory, open 'circuit.wasm' 就用 circom circuit.circom -w circuit.wasm生成一个 circuit.wasm 在执行一次见证。

生成证明

现在我们已经生成了见证信息，我们可以创建证明了。

snarkjs proof

这个命令默认会使用 prooving_key.json和 witness.json 文件去生成 proof.json 和 public.json

proof.json 文件包好了实际的证明。而 public.json 文件将仅包含公开的输入和输出值。

验证证明

验证证明运行命令:

> snarkjs verify
OK

这个命令会使用 verification_key.json, proof.json 和 public.json 来验证有效性。

这里我们证明我们知道一个见证，见证着公共输入和输出与public.json文件中的输入和输出匹配。

如果验证通过会输出OK, 否则会显示 INVALID 。

生成 Solidity 验证者

snarkjs generateverifier

这个命令将使用到 verification_key.json 并生成一个 solidity[2] 代码文件： verifier.sol 。

可以复制verifier.sol代码到 remix[3] 进行部署。

verifier.sol 包含两个合约：Pairings 和 Verifier，你只需要部署Verifier 合约。

可以使用Rinkeby，Kovan或Ropsten等测试网，也可以使用Javascript VM，也许在某些浏览器中，验证会花很长时间，并且可能会挂起页面，请知晓。

链上验证证明

上面生成的 Verifier 合约有一个 view 视图函数[4] verifyProof，如果证明和输入正确，这个函数会返回 true .

The verifier contract deployed in the last step has a view function called verifyProof.

为了方便调用，可以使用snarkjs通过输入以下命令来生成调用的参数：

snarkjs generatecall

这命令的输出复制到 Remix 中的 verifyProof 方法的 parameters 字段中，调用 verifyProof ，

如果一切正常，方法应该返回 true。

如果仅更改参数中的任何位，则可以检查结果返回 false 。

漏洞修复

签名提到了一个漏洞，现在来通过添加一些额外的约束修复电路。

我们约束不接受 1 作为任何一个值，这里使用 0 不可逆的特性，即(a-1) 不可逆。

如果 a 是 1 则 (a-1)*inv = 1 是不可能成立的，通过 1/(a-1) 来计算 inv 。

修改电路：template Multiplier() { signal private input a; signal private input b; signal output c; signal inva; signal invb; inva <-- 1/(a-1); (a-1)*inva === 1; invb <-- 1/(b-1); (b-1)*invb === 1; c <== a*b; } component main = Multiplier();

circom 语言的一个好处是可以把<== 分为两个动作 : <-- 和 === 。

<-- 和 --> 操作符运算符只为信号分配一个值，而不创建任何约束。

=== 操作符添加约束而不分配值。

该电路还有另一个问题，那就是该运算可以在 Zr 中工作，因此我们还必须保证乘法不会溢出。这可以通过二进制化输入并检查范围来修复，让我们留着在之后的教程里介绍。

探索更多

阅读我们的代码库[5] 了解更多 circom 的特性。

我们写好了一些基本的电路，如：binaritzations、comparators, eddsa, hashes, merkle trees 等等，可以在circomlib[6] 找到，还有更多电路在开发中。

小结

对于开发人员而言，没有什么比使用buggy 编译器更糟糕的了。现在依旧是编译器的早期阶段，因此存在许多错误，并且需要完成许多工作。

如有任何问题，请与我们联系。哪怕是一小段修复 bug 的代码。

最后，享受零知识证明[7]！

原文链接：https://iden3.io/blog/circom-and-snarkjs-tutorial2.html

本译文得到登链社区及 Cell Network 赞助支持。

References

[1] 以太坊: https://learnblockchain.cn/categories/ethereum/ [2] solidity: https://learnblockchain.cn/docs/solidity/ [3] remix: https://learnblockchain.cn/tags/Remix [4] view 视图函数: https://learnblockchain.cn/docs/solidity/contracts/functions.html?#view [5] 代码库: https://github.com/iden3/circom [6] circomlib: https://github.com/iden3/circomlib [7] 零知识证明: https://learnblockchain.cn/categories/zero