update Task5

README.md

@@ -23,6 +23,12 @@
 
 完成报名后联系小助手微信 `hahalzr0118` 加入交流群。课程不需要具备 ZK 知识就可以学习，只需要有一定的 `TypeScript` 基础，可以参考[学习资源](#学习资源)进行学习，有其他问题请联系小助手或在交流群沟通。
 
+Auro Wallet 下载：https://www.aurowallet.com/download/
+
+Mina 水龙头：https://faucet.minaprotocol.com/
+
+Mina 区块链浏览器：https://minascan.io/devnet/home
+
 <br>
 
 
@@ -31,58 +37,85 @@
 本次课程以一周学习一章的进度进行，一章对应1-2个任务，任务列表看[这里](#任务)；以提交 `task1` 为例：
 
 1. 在 `learn/YourName` 文件夹中创建 `task1` 文件夹
-2. 在 `task1` 文件夹中存放任务文件。
+2. 在 `task1` 文件夹中存放任务文件，可以新建 `readme.md` 整理任务内容。（鼓励提交学习笔记和心得）
 3. 提交 `PR` 到本仓库，等待合并后完成 `task1`。
 
+⚠️  每个**Task**单独提交，一个 `PR` 包含多个**Task**会直接关闭。
+
 <br>
 
 
 ### 课程大纲
 
-**第一章：Mina 协议基础**
+**第一章：Mina 协议基础** |  [课件PPT](https://file-cdn.openbuild.xyz/course/2051400317/Mina_bootcamp_chapter1.pptx)
 1. 《开篇介绍 Mina 和开发者 Grant 计划》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1731576740)
 2. 《零知识证明入门》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1731576760)
 3. 《Mina 22kb 原理》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1731576916)
 4. 《Mina 开发者资源》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1731577075)
 
-**第二章：o1JS 开发框架**
-1. 《o1JS 简介》
-2. 《使用 zkapp-cli 初始化工程》
-3. 《DSL 语法讲解》
-4. 《Demo 案例讲解》
+**第二章：o1JS 开发框架** |  [课件PPT](https://file-cdn.openbuild.xyz/course/2051400317/Mina_bootcamp_chapter2.pptx) 
+1. 《o1JS 简介》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732289285)
+2. 《使用 zkapp-cli 初始化工程》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732289385)
+3. 《DSL 语法讲解》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732289429)
+4. 《Demo 案例讲解》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732289481)
 
-**第三章：zkApp 基础开发**
-1. 《zkApp 基础概念与实操》
-2. 《本地测试》
-3. 《部署到 DevNet》
-4. 《解析交易细节》
+**第三章：zkApp 基础开发**  |  [课件PPT](https://file-cdn.openbuild.xyz/course/2051400317/Mina_bootcamp_chapter3.pptx)
+1. 《zkApp 基础概念与实操》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732934453)
+2. 《本地测试》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732934453)
+3. 《部署到 DevNet》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732934576)
+4. 《解析交易细节》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1732934593)
 
-**第四章：zkApp 高阶应用**
-1. 《Event 合约日志分析》
-2. 《Actions & Reducer 机制》
-3. 《Time-Locked Accounts 机制》
-4. 《自定义代币机制》
-5. 《Fungible Token Standard源码讲解》
+**第四章：zkApp 高阶应用**   |  [课件PPT](https://file-cdn.openbuild.xyz/course/2051400317/Mina_bootcamp_chapter4.pptx)
+1. 《Event 合约日志分析》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1733741832)
+2. 《Actions & Reducer 机制》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1733741845)
+3. 《Time-Locked Accounts 机制》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1733741857)
+4. 《自定义代币机制》 |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1733742537)
+5. 《Fungible Token Standard源码讲解》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1733742551)
 
 
-**第五章：Protokit 框架探索**
-1. 《Protokit 基础概念讲解》
-2. 《Protokit 实操案例》
+**第五章：Protokit 框架探索**  |   [课件PPT](https://file-cdn.openbuild.xyz/course/2051400317/Mina_bootcamp_chapter5.pptx)
+1. 《Protokit 基础概念讲解》  |  [课程](https://openbuild.xyz/learn/challenges/2051400317/1734323187)
+2. 《Protokit 实操案例》  |   [课程](https://openbuild.xyz/learn/challenges/2051400317/1734323198)
 
 <br>
 
 ### 任务
 
-任务奖励以 RMB 等值的 `$MINA` 发放到你提交的 Mina 钱包地址中。
+任务奖励以 RMB 等值的 `$MINA` 发放到你提交的 Mina 钱包地址中。 🎉 奖励发放情况看[这里](./reward)。
+
+| 任务 | 阶段 | 名称 | 奖励 | 状态 |
+|-------|-------|-------|-------|-------|
+| [task1](./task/task1.md) | 第一周 | 创建Auro wallet账户，完成水龙头领水 | ￥15 | 已结束([奖励🎉](./reward/task1.md)) |
+| [task2](./task/task2.md) | 第二周 | 设计一个简单的投票统计器 | ￥35 | 已结束([AMA](https://youtu.be/xw4epbB9k9c) \| [奖励🎉](./reward/task2.md)) | 
+| [task3](./task/task3.md) | 第三周 | 设计一个众筹合约，时间窗口关闭后被投资人方可提款 | ￥15 | 已结束([奖励🎉](./reward/task3.md))  |
+| [task4](./task/task4.md) | 第四周 | 设计一个众筹合约，众筹资金逐步释放 | ￥15 | 已结束([奖励🎉](./reward/task4.md)) |
+| [task5](./task/task5.md) | 第四周 | 发行你自己的 token，然后设计一个众筹合约 | ￥35 | 已结束([奖励🎉](./reward/task5.md)) |
+| [task6](./task/task6.md) | 第五周 | 运行一个 appchain | ￥21 | 已结束([奖励🎉](./reward/task6.md)) |
+
+<br>
+
+### 📢 Mina 学习激励活动！
+
+参与技术讨论和分享、撰写技术文章、社交分享，即有机会赢取 MINA 奖励！🎉  [立即参与](https://github.com/openbuildxyz/mina-zkapp-bootcamp/discussions/154) | [查看奖励](./reward/contest.md)
+
+
+| 用户名        | 奖励类型     |                     链接                                                                    | 奖励                                                                                              |
+|---------------|--------------|---------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------|
+| MartinYeung5  | 发表技术文章 | [探索Mina的獨特架構和zkApp應用例子](https://learnblockchain.cn/article/10009)               | [1.5 MINA](https://minascan.io/mainnet/tx/5Ju9kL8RD53QfyUG7T31yhd1vEfrcDfwY7g5ZNSupmtjZnFY2do3)   |
+| tianhuihui1   | 发表技术文章 | [零基础开始学 Mina（一）](https://learnblockchain.cn/article/9990)                          | [1.5 MINA](https://minascan.io/mainnet/tx/5JubrFYmsmNcCoeK1xtxoSAbnd1P3u4PsuCiGwu5tLnzidEXnbfa)   |
+| lispking      | 发表技术文章 | [Kimchi：Mina 证明系统的最新更新](https://learnblockchain.cn/article/10013)                 | [1.3 MINA](https://minascan.io/mainnet/tx/5JuZN4QWTrtxQxY66sEjQrD6ZJcMhnsvvuYWX3aasBG2ABovUsqX)   |
+| lispking      | 发表技术文章 | [重新介绍 Mina：利用“万物证明”构建（真实）物联网](https://learnblockchain.cn/article/10031) | [1.3 MINA](https://minascan.io/mainnet/tx/5JupvnywULNVrmAanLE5yL4Qo8jsgaFnth5pLgonT93d3XwLkYU8)   |
+| lispking      | 发表技术文章 | [Mina协议上的零知识机器学习](https://mp.weixin.qq.com/s/vAaYppVCfg19mj5w86NCuA)             | [1.4 MINA](https://minascan.io/mainnet/tx/5JtiynKbPqh34UxQCueYgzgRVNcUQtaWY4bsJHZrkNbgpiLpS3uf)   |
+| longerd       | 发表技术文章 | [Mina Learning - Mina Protocol 中文翻译](https://learnblockchain.cn/article/10075)          | [1.4 MINA](https://minascan.io/mainnet/tx/5JuCZaKreuir6dqSwn1QKQzkz3oGdJPFNzFpB1wjanNpbEx7uWsZ)   |
+| lispking      | 发表技术文章 | [Mina 白板会议 TL;DR](https://learnblockchain.cn/article/10079)                             | [1.4 MINA](https://minascan.io/mainnet/tx/5JvEt2Dxab2K1jAHUYQhqAVg18pKijeqrwXX8R9ktSLRMo7Xo3Xx)   |
+| longerd       | 发表技术文章 | [Mina Learning - Address](https://learnblockchain.cn/article/10083)                         | [1.4 MINA](https://minascan.io/mainnet/tx/5JuS4PvnXGM8WvREh4oJjqW2RWWpWLAQ7HgnjAakLpfmKTZEjbQn)   |
+| ......        | .......      | ......                                                                                      | ......                                                                                            |
+
+<br>
+
+### AMA 活动
 
-| 任务 | 阶段 | 名称 | 奖励 |
-|-------|-------|-------|-------|
-| [task1](./task/task1.md) | 第一周 | 创建Auro wallet账户，完成水龙头领水 | ￥15 |
-| [task2](./task/task2.md) | 第二周 | 设计一个简单的投票统计器 | ￥35 |
-| [task3](./task/task3.md) | 第三周 | 设计一个众筹合约，时间窗口关闭后被投资人方可提款 | ￥15 |
-| [task4](./task/task4.md) | 第四周 | 设计一个众筹合约，众筹资金逐步释放 | ￥15 |
-| [task5](./task/task5.md) | 第四周 | 发行你自己的 token，然后设计一个众筹合约 | ￥35 |
-| [task6](./task/task6.md) | 第五周 | 运行一个 appchain | ￥21 |
+- [Mina Bootcamp Community AMA(task2)](https://youtu.be/xw4epbB9k9c)
 
 <br>
 

learn/0xHoGan/0xHoGan.md

@@ -0,0 +1,11 @@
+# Mina zkApp 训练营
+
+
+#### 个人信息
+
+- github 用户名：0xHoGan
+- OpenBuild 注册邮箱：[email protected]
+- Mina 钱包地址：B62qmWgnatsvVwkL1iGHuE2BhNF8piikGz6zssM3espTZaaAKqnVvCU
+
+#### 自我介绍
+

learn/0xHoGan/task1/README.md

@@ -0,0 +1,51 @@
+
+## 1.ZKP(Zero knowledge Proof-零知识证明)
+* 由 S.Goldwasser、S.Micali 及 C.Rackoff 在 20 世纪 80 年代初提出的。
+* 它指的是证明者（prover）能够在不向验证者（verifier）提供任何有用的信息的情况下，使验证者相信某个论断是正确的，即它使证明者能够说服验证者相信他拥有某些信息（或符合指定条件、门槛），而无需透露实际信息（或数据）本身。
+* 特点
+  * 私密（Private）
+  * 无需信任（Trustless）
+  * 高效（Efficient）
+  * 去中心化（Decentralized）
+  * 应用场景：隐私保护（验资、匿名投票、隐私交易）、计算压缩（区块链扩容）
+* ZKP属于 概率性证明, 而非数学上的严谨证明
+* 交互式零知识证明
+  * 证明者和验证者需要同时在线。证明者面对每个验证者都要证明一次数据的真实性。
+* 非交互式零知识证明
+  * 证明者和验证者无需同时在线。证明者创建一份证明，任何使用这份证明的人都可以进行验证。
+
+## 2.零知识证明步骤
+1. 将问题转换成描述
+2. 编译电路，并生成ProverKey和VerificationKey
+   * 可能需要可信设置(Trusted Setup)
+3. 证明者使用Prove函数（需结合ProverKey）生成证明（Proof）
+4. 验证者使用Verify函数（需结合VerificationKey）验证Proof真假
+
+## 3.Kimchi -Based的Mina’s zkApp的开发流程:
+1. 将问题转换成电路描述(用o1js写电路代码)。
+2. 将电路编译 (complie) 成plonkish格式, 同时生成PK (proving key)，VK(verifying key)。
+3. 证明者使用函数 Prove 函数生成证明(Proof)。
+4. 验证者使用 Verify 函数，验证proof的真假。    
+
+## 4.Mina Kimchi
+* 大小只有22Kb，账本会一直保持在22kb，之所以能这么小是因为递归 zkSNARK。递归 zkSNARK的每一个电路生成的证明会作为参数，传到另外的电路中，并且进行验证，另外的电路会生成第二个证明。另外生成的证明会被传到第三个电路中。
+
+## 5.Pos-china共识的步骤
+1. 选择见证人（Choose Block Producer）
+2. 构建新区块（Construct a new Block）
+   1. 验证一组交易（Validate a set of Tx）
+   2. 根据验证的交易集和前一个区块的哈希值构建新区块（Construct a new Block based on the validated Tx set & Previous Block’s hash）
+   * Mina为以上步骤分别写零知识电路，并生成对应的证明
+3. 广播新区块（Broadcast the new block）
+4. 其他验证者验证新区块（Other validators validate the new block）
+
+## 6.Mina学习资源
+1. [Mina官网](https://minaprotocol.com)
+2. [Mina Github](https://github.com/minaProtocol) 
+3. [Mina开发者文档](https://docs.minaprotocol.com)
+4. [o1lab官网](https://www.o1labs.org)
+5. [o1lab Github](https://github.com/o1-labs)
+6. [Mina Chain Explorer](https://minascan.io/mainnet/home)
+7. [Auro Wallet](https://www.aurowallet.com/)
+8. [Pallad Wallet](https://pallad.co/)
+9. [Mina DevNet Faucet](https://faucet.minaprotocol.com/)

learn/0xHoGan/task1/task1.md

@@ -0,0 +1,19 @@
+# task1：创建 auro wallet 账户，完成水龙头领水
+## 1.概述Mina所采用的证明系统(包括名称、特点)
+* Mina所采用的证明系统
+  * 基于zkSNARK（zero-knowledge Succinct Non-interactive ARgument on Knowledge 零知识简洁的非交互式知识论证）的PLONK及其变种
+  * 特点
+    * 简化的可信设置（simplified trusted setup）：PLONK算法只需要一次初始设置（Universal Trusted Setup）；Mina’s Kimchi无需Trusted Setup!
+    * 递归 zkSNARK（recursion zkSNARK）：生成的证明可以被入参
+    * 通用 ZKP（general-purpose zkp）：更加灵活
+    * 较小的证明（small proof size）：
+
+## 2.概述递归零知识证明在 Mina 共识过程中的应用
+1. validate a batch of Tx;    ->  generate TxBatchProof
+2. construct new Block_i based on Tx Batch & lastBlock’s hash   ->  generate BlockProof_i  (including verify TxBatchProof  internally)
+3. generate ChainProof_i  based on ChainProof_i -1  & BlockProof_i 
+* Each ChainProof_i  means : The Whole Chain History from GenesisBlock to Block_i  is Valid.
+
+## 3.下载安装 Auro wallet，创建账户，并完成领水
+* ![AuroWallet截图](./AuroWallet.png) 
+* Tx Hash: 5Jtpx5WSdGrb4d2kaqPPHrMTF3fmvVKs7a1DtT5WNwWi6uT6sHc7

learn/0xHoGan/task2/README.md

@@ -0,0 +1,132 @@
+## 1.o1js
+* o1js 是一个 TypeScript 库，用于：
+  * 编写通用零知识（zk）程序
+  * 为 Mina 编写 zk 智能合约
+* o1js是启动zk应用程序的最快方法.
+
+## 2.zkApp CLI
+* 通过 zkapp-cli 命令行工具可以快速初始化工程脚手架，以及应用最佳实践
+* 必备条件
+  * NodeJS v18 及更高版本
+  * NPM v10 及更高版本
+  * git v2 及更高版本
+* 安装zkApp CLI
+```
+npm install -g zkapp-cli
+```
+
+* 确认安装成功
+```
+zk --version
+```
+
+* 更新zkApp CLI
+```
+npm update -g zkapp-cli
+```
+
+* 创建项目
+```
+zk project <project-name>
+# Create an accompanying UI project too? · nuxt
+Which package manager would you like to use?  · npm
+```
+
+## 3.DSL语法
+1. Field
+   * Field是ZK编程中的基本数据单位
+```
+const sum = new Field(1).add(new Field(3))
+# 等同于典型的编程中  const sum = 1 + 3
+# 简化为  const sum = new Field(1).add(3)
+```
+
+2. 数据类型
+
+| 数据类型 | 描述 |
+| --- | --- |
+| Bool(x) | true or false |
+| Field(x) | 整数 |
+| UInt64(x) | 64位无符号整数 |
+| UInt32(x) | 32位无符号整数 |
+| PrivateKey, PublicKey, Signature | 适用于账户和签名 |
+| Group(x, y) | 椭圆曲线 |
+| Scalar | 标量字段 |
+| CircuitString.from('some string') | 最大长度为 128 的字符串 |
+| Poseidon | 哈希函数 |
+
+```
+let x = new Field(4); // x = 4
+x = x.add(3); // x = 7
+x = x.sub(1); // x = 6
+x = x.mul(3); // x = 18
+x = x.div(2); // x = 9
+x = x.square(); // x = 81
+x = x.sqrt(); // x = -9
+
+let b = x.equals(8); // b = Bool(false)
+b = x.greaterThan(8); // b = Bool(true)
+b = b.not().or(b).and(b); // b = Bool(true)
+b.toBoolean(); // true
+
+let hash = Poseidon.hash([x]); // takes array of Fields, returns Field
+
+let privKey = PrivateKey.random(); // create a private key
+let pubKey = PublicKey.fromPrivateKey(privKey); // derive public key
+let msg = [hash];
+let sig = Signature.create(privKey, msg); // sign a message
+sig.verify(pubKey, msg); // Bool(true)
+```
+
+3. o1js 不支持传统的条件语句(If-else),支持三元运算符
+```
+const x = Circuit.if(new Bool(foo), a, b); // behaves like `foo ? a : b`
+```
+
+## 4.Demo
+* Case：如何在不泄露原文的情况下证明你知道下面的哈希值的原文？ targetHash0 = '7316390958668495944925151659350747554661900395277588947710114819309740684320'
+  * step 1:  编写零知识电路：
+    ![编写零知识电路](1.编写零知识电路.png)
+  * step 2:  Prover编译电路生成PK & VK，执行电路并传入preImage和targetHash参数，生成证明proof, 
+    ![生成证明](2.生成证明.png)
+  * step 3:  验证者验证proof,
+    ![验证者证明](3.验证者验证证明.png)
+
+* Proof 对象的结构：
+```
+{   
+  "publicInput": Feild[], // 电路method的公开入参
+  "publicOutput": Field[], // 电路method的返回值
+  "maxProofsVerified": Integer, // 电路method中验证的proof的个数，在当前版本最大为2个
+  "proof": binary type, // proof本身，二进制形式
+}
+```
+
+* 一个完整的zkProgram的结构：
+```
+{
+  "name": string,    
+  "publicInput": AnyType, // 电路method的公开入参, 可选, only one
+  "publicOutput": AnyType, // 电路method的返回值, 可选, only one
+  "methods": {
+    customeMethodName0: {
+      privateInputs: AnyType[], // 当前method的私有入参，必选，允许是空数组
+      async method(publicInputType, ...privateInputs){
+        // ...constraints...
+        // return, if "publicOutput" is defined.
+      }
+    },
+    customeMethodName1: {
+      privateInputs: AnyType[], // 当前method的私有入参，必选，允许是空数组
+      async method(publicInputType, ...privateInputs){
+        // ...constraints...
+        // return, if “publicOutput” is defined.
+      }
+    }
+  }
+}
+```
+
+## 5.学习资源
+1. [zkapp-cli 文档](https://docs.minaprotocol.com/zkapps/writing-a-zkapp/introduction-to-zkapps/install-zkapp-cli)
+2. [Demo](https://github.com/coldstar1993/mina-sz)

learn/0xHoGan/task2/task2.md

@@ -0,0 +1,4 @@
+# task2 ：设计一个简单的投票统计器
+
+## 1.设计一个简单的投票统计器用于小团队内部投票，要求能累积统计出赞成票和反对票的票数
+* 考虑检查投票者属于团队成员，假设队员不会重复投票