在本教程里将指导您建设第一个零常识 zkSnark电路。它将先容各类编写电路的技能，并向您展示如何建设证明并在[1]长举办链外和链上验证。
   signal private input a;
component main = Multiplier();
此刻为电路运行启动设置:
裂痕修复
留意：编译电路时，必需始终有一个名为main的组件。
小结
OK
   inva <– 1/(a-1);
snarkjs会帮我们计较这些。我们需要提供一个包括输入的文件，它将执行电路并计较所有中间信号和输出。这组信号就是“见证”。
这个呼吁默认会利用 prooving_key.json和 witness.json 文件去生成 proof.json 和 public.json
[1] 以太坊: https://learnblockchain.cn/categories/ethereum/
此刻电路已经编译好了，我们将继承利用snarkjs。
2.2 编译电路
本译文获得 登链社区 及 Cell Network 赞助支持。
References
   (b-1)*invb === 1;
}
假如 a 是 1 则 (a-1)*inv = 1 是不行能创立的， 通过 1/(a-1) 来计较 inv 。
The verifier contract deployed in the last step has a view function called verifyProof.
# Constraints: 1
template Multiplier() {
npm install -g snarkjs
在声明 Multiplier 模板之后, 我们利用名为main的组件实例化它。
零常识证明证明你知道一组与所有约束匹配的信号（见证），但不透露任何信号（民众输入和输出除外）。
电路做的工作是让强制信号 c 为 a*b 的值。
阅读我们的 代码库[5] 相识更多 circom 的特性。
最后，享受零常识证明[7]！
链上验证证明
需要在电脑中安装Node.js，Node.js 的最新的不变版本（或8.12.0）可以正常事情。不外，假如您安装了当前的最新版本的Node.js（10.12.0），将会看到明显的机能晋升。这是因为最新版本自己包括大数库（Big Integer Libraries）。 snarkjs 库会操作这些特性（假如可用的话），从而将机能提高10倍（!）。
snarkjs generateverifier
# Wires: 4
假如验证通过会输出OK, 不然会显示 INVALID 。
   signal inva;
[2] solidity: https://learnblockchain.cn/docs/solidity/
生成证明
修改电路：
component main = Multiplier();
1.建设一个 factor 目次，教程里的所有文件都将放在这个下面
签名提到了一个裂痕，此刻来通过添加一些特另外约束修复电路。
此刻，我们筹备编译电路。运行以下呼吁：
因此，您想证明本身知道3和11。（虽然，你可以始终利用1 和 数字自己作为 a 和 b，我们稍后将处理惩罚此问题。）
验证证明
   signal private input b;
[5] 代码库: https://github.com/iden3/circom
3.3. 计较见证（witness）
=== 操纵符添加约束而不分派值。
<– 和 –> 操纵符运算符只为信号分派一个值，而不建设任何约束。
[6] circomlib: https://github.com/iden3/circomlib
1.1 先决条件
   invb <– 1/(b-1);
   signal output c;
这呼吁的输出复制到 Remix 中的 verifyProof 要领的 parameters 字段中，挪用 verifyProof ，
   (a-1)*inva === 1;
2. 利用 circuit
3.2 用 snarkjs 启动设置
譬喻，想像一下，你想证明本身可以或许因式解析33，这意味着你知道两个数 a 和 b ，将它们相乘为 33。
   c <== a*b;
 {“a”: 3, “b”: 11}
此刻计较见证:

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。