Merge pull request #795 from liberhe/dev

optimise the task 22

Author: 0x-stan

basic/22-zk-snarkjs/.gitignore

@@ -5,13 +5,15 @@ circuit_js/
 circuit.circom
 circuit.r1cs
 circuit.sym
+circuit.json
 powersOfTau28_hez_final_10.ptau
 circuit_0000.zkey
 verification_key.json
 input.json
 witness.wtns
 witness.json
 proof.json
+proving_key.json
 public.json
 verifier.sol
 circuit_final.zkey

basic/22-zk-snarkjs/package.json

@@ -1,5 +1,5 @@
 {
-  "name": "22-scaffold-zk",
+  "name": "22-zk-snarkjs",
   "version": "1.0.0",
   "description": "",
   "main": "index.js",

basic/22-zk-snarkjs/powersOfTau28_hez_final_10.ptau

@@ -0,0 +1,3 @@
+[
+ "34"
+]

basic/22-zk-snarkjs/public-invalid.json

@@ -1,15 +1,7 @@
 ## circom 与 snarkjs
 
-本章节, 我们将讲解如何使用 circom 和 snarkjs 创建一个零知识 zkSnark 电路, 并展示如何创建证明并在以太坊上进行链外和链上验证
+本章节, 我们将讲解如何使用 circom 和 snarkjs 创建一个零知识 zkSnark 电路, 并展示如何创建证明并在以太坊上进行链外和链上验证。
 
-## 电路使用步骤
-
-libsnark 使用步骤：
-
-1. 将待证明的命题表达为 R1CS
-2. 使用生成算法 G 为该命题生成公共参数
-3. 使用证明生成算法生成 R1CS 可满足的证明
-4. 使用验证算法来验证证明
 
 ## 测试步骤
 
@@ -32,8 +24,8 @@ pragma circom 2.0.0;
 template Multiplier2 () {
 
    // Declaration of signals.
-   signal input a;
-   signal input b;
+   signal private input a;
+   signal private input b;
    signal output c;
 
    // Statements.
@@ -52,97 +44,92 @@ circom circuit.circom --r1cs --wasm --sym
 - 显示电路的信息
 
 ```sh
-npx snarkjs r1cs info circuit.r1cs
+ snarkjs  info -r circuit.r1cs
 ```
 
 PS: 查看 snarkjs 的具体命令参数可使用 npx snarkjs --help
 
 - 打印电路的约束
 
 ```sh
-npx snarkjs r1cs print circuit.r1cs circuit.sym
-```
-
-- 下载 tau ceremony 文件
-
-```sh
-wget https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_10.ptau
-```
-
-- 生成 zkey 文件
-
-```sh
-npx snarkjs zkey new circuit.r1cs powersOfTau28_hez_final_10.ptau circuit_0000.zkey
-```
-
-- 增加 out contribution，随机输入一段文本，比如'123'
-
-```sh
-npx snarkjs zkey contribute circuit_0000.zkey circuit_final.zkey
+ snarkjs printconstraints -r circuit.r1cs -s circuit.sym
 ```
 
-- 导出证明 key
+- 可信设置，生成proving key & verification key。 执行后可以看到有两个新文件proving_key.json 和 verification_key.json.
 
 ```sh
-npx snarkjs zkey export verificationkey circuit_final.zkey verification_key.json
+snarkjs setup -r circuit.r1cs
 ```
 
-- 创建 input.json 文件, 文件内容如下
-
+- 计算witness，需要创建input.json 
 ```json
 {"a": 3, "b": 11}
 ```
-
-- 计算见证
+指定a,b的值。此步可以得出电路所有中间变量, 可以看到witness.json.
 
 ```sh
-node ./circuit_js/generate_witness.js ./circuit_js/circuit.wasm input.json witness.wtns
+snarkjs calculatewitness --wasm circuit.wasm --input input.json
 ```
 
-- 导出 witness.wtns 见证文件为 json 格式
+
+- 生成证明，根据witness.json和 procing_key.json生成证明。
 
 ```sh
-npx snarkjs wtns export json witness.wtns witness.json
+snarkjs proof --witness witness.json --provingkey proving_key.json
 ```
+执行后会生成proof.json 和 public.json。public.json包含公开输入和输出
 
-- 创建证明
 
-```sh
-npx snarkjs groth16 prove circuit_final.zkey witness.wtns proof.json public.json
-```
 
 - 验证证明
 
 ```sh
-npx snarkjs groth16 verify verification_key.json public.json proof.json
+snarkjs verify --verificationkey verification_key.json --proof proof.json --public public.json
+```
+可以看到可以OK。
+也可以新建一个public-invalid.json。 
+```
+snarkjs verify --verificationkey verification_key.json --proof proof.json --public public-invalid.json
 ```
+可以看到invalid.
 
-### 链上证明
+### 链上证明(Proving on-chain)
 
-- 生成 Solidity 的证明
+- 生成 Solidity 的证明合约
 
 ```sh
-npx snarkjs zkey export solidityverifier circuit_final.zkey verifier.sol
+snarkjs generateverifier --verificationkey verification_key.json --verifier verifier.sol
 ```
+会有Pairings and Verifier 两个合约，关注Verifier即可。
 
-- 发布证明
+- 发布证明 
   可以复制 verifier.sol 代码到 remix 进行部署
 
 - 生成调用的参数
 
 ```sh
-npx snarkjs zkey export soliditycalldata public.json proof.json
+snarkjs generatecall --proof proof.json --public public.json
 ```
 
-- 进行调用
+- 进行合约调用
   将命令的输出复制到 Remix 中的 verifyProof 方法的 parameters 字段中，点击 call 调用 verifyProof  
   如果一切正常，方法应该返回 true  
   如果仅更改参数中的任何位，则可以检查结果返回 false
 
+
+
+
+  ## circom语法
+  1. <-- assigns a value to a signal without adding a constraint.
+  2.  Whereas === adds a constraint without assigning a value.
+  3. <== both assigns a value to a signal and adds a contraint。Which means it’s just the combination of === and <--.
 ## 参考资料
 
 - 创建第一个零知识 snark 电路: https://learnblockchain.cn/article/1078   
+- 参考文档：https://blog.iden3.io/first-zk-proof.html 
 - circom2 doc: https://docs.circom.io/circom-language/basic-operators/
 - snarkjs: https://github.com/iden3/snarkjs
 - 深入浅出零知识证明之zk-SNARKs： https://www.yuque.com/u428635/scg32w/edmn74
 - ZK Jargon Decoder: https://nmohnblatt.github.io/zk-jargon-decoder/foreword.html
+- CTN rollup分享：https://www.bilibili.com/video/BV1oL4y1h7iE?p=1&share_medium=android&share_plat=android&share_session_id=9d2f7c31-a4dc-46a5-a2d9-4d6d0ebc3997&share_source=WEIXIN&share_tag=s_i&timestamp=1653798331&unique_k=921Lj1L&vd_source=3c62940e414c68a7f639c5737b9fd3d1
+- zkRollup tutorial: https://keen-noyce-c29dfa.netlify.app/#16

basic/22-zk-snarkjs/readme.md

@@ -185,3 +185,8 @@ starknet call \
 - develop docs <https://starknet.io/docs/index.html>
 - blockscan <https://voyager.online/>
 - StarkNet AMM demo <https://amm-demo.starknet.starkware.co/swap>
+- 官网链接：https://starkware.co/starknet/
+- 网络简介：https://twitter.com/SimaoCCruz/status/1494733568962146308
+- 研究报告：https://mp.weixin.qq.com/s/-VEJEzuPQ9R3g2Fytckndw
+- 项目生态：https://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682
+

basic/31-starkNet-layer2/README.md

@@ -0,0 +1,39 @@
+# Zk-rollup
+
+
+## 执行步骤
+1. compile 
+```
+    circom sample_circuit.circom -o circuit.json
+```
+
+2. Generate your input for the circuit
+```
+node generate_circuit_input.js
+```
+
+3. Calculate the witness for the circuit
+```
+snarkjs calculatewitness -c circuit.json -i input.json
+
+```
+
+4. Perform trusted setup
+```
+snarkjs setup -c circuit.json --protocol groth
+```
+
+5. Generate the proof
+```
+snarkjs proof -w witness.json --pk proving_key.json
+```
+
+6. Verify the proof
+
+```
+snarkjs verify
+```
+## 参考文档
+- ZkRollup Tutorial: https://keen-noyce-c29dfa.netlify.app/#3
+
+

basic/36-nft-ipfs/README.md

@@ -0,0 +1 @@
+Subproject commit 7c67b63fc046d93400cf80f104c9cc8396cf3ff8

basic/36-zk-rollup/README.md

@@ -1,5 +1,68 @@
-# 
+# 简介
 
+数据存储在 ipfs 上后, 在 Dapp 前端就可以通过 api 进行访问, 达到去中心化的目的.
+我们可以使用两种方式进行
+//todo
+FileCoin
 
-## 参考链接
-- zknft: https://medium.com/centrifuge/bringing-privacy-to-non-fungible-tokens-a-recap-from-the-zokrates-workshop-at-zcon1-6d9ea8a74b7f
+## 测试 nft.storage 流程
+
+- 账户注册  
+  注册https://nft.storage/, 获得 nft.storage API Key, 写入.env
+- 安装 nft.storage 以及其他依赖
+
+```shell
+npm install
+```
+
+- 运行 js 文件
+
+```shell
+node scripts/nftStorage-uploadfile
+```
+
+## 测试 ipfs.infura 流程
+
+- 在 infura 上创建 ipfs 工程  
+  登陆 infura, 然后进入 Dashboard, 之后在 "IPFS" 标签页中创建 IPFS 工程
+  <center><img src="https://github.com/Dapp-Learning-DAO/Dapp-Learning-Arsenal/blob/main/images/basic/36-nft-ipfs/ipfs-infura.png?raw=true" /></center>
+
+- 获取 "PROJECT ID" 和 "PROJECT SECRET"  
+  点击刚才创建的 IPFS 工程, 然后获取其中的 "PROJECT ID" 和 "PROJECT SECRET"
+
+- 上传文件  
+  替换如下命令中的 PROJECT_ID, PROJECT_SECRET.
+
+```shell
+cd data;
+curl -X POST -F [email protected] \
+-u "<PROJECT_ID>:<PROJECT_SECRET>" \
+"https://ipfs.infura.io:5001/api/v0/add"
+```
+
+之后可以看到如下输出:
+
+```shell
+{
+      "Name":"ipfs_file_docs_getting_started_demo.txt",
+      "Hash":"QmeGAVddnBSnKc1DLE7DLV9uuTqo5F7QbaveTjr45JUdQn",
+      "Size":"44"
+}
+```
+
+- 获取文件 && 验证  
+  替换如下命令中的 Hash 参数, 然后执行如下命令, 之后检查 matic.jpeg 文件.
+
+```shell
+rm matic.jpeg
+curl -X POST -u "PROJECT_ID:PROJECT_SECRET" \
+"https://ipfs.infura.io:5001/api/v0/pin/add?arg=<Hash>" -o matic.jpeg
+```
+
+## 参考文档
+
+- <https://www.bilibili.com/video/BV1j5411w7MH>
+- <https://pinata.cloud/pinmanager>
+- <https://nft.storage>
+- https://infura.io/docs/ipfs#section/Authentication/Using-Javascript
+- zknft: https://medium.com/centrifuge/bringing-privacy-to-non-fungible-tokens-a-recap-from-the-zokrates-workshop-at-zcon1-6d9ea8a74b7f