From 82cf6a219a28e7f5b1097a9974f88a2c9808e138 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 07:37:59 +0000 Subject: [PATCH 01/18] Update commit status table --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1b0197a..f9a64d8 100644 --- a/README.md +++ b/README.md @@ -373,6 +373,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From df94af762d532f11828c41c0c6a59b25ceb798ef Mon Sep 17 00:00:00 2001 From: btou666 <113020606+btou666@users.noreply.github.com> Date: Thu, 15 Aug 2024 21:44:03 +0800 Subject: [PATCH 02/18] Update btou_ZICL1st.md --- btou_ZICL1st.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/btou_ZICL1st.md b/btou_ZICL1st.md index 4310847..6a19c95 100644 --- a/btou_ZICL1st.md +++ b/btou_ZICL1st.md @@ -295,4 +295,14 @@ NP Complete场景eg.: 效率：实用电路是为了在计算资源有限的情况下高效工作而设计的。它们需要在短时间内完成计算，并且占用尽量少的内存和处理能力。 举个例子： 如果你要证明你有足够的钱购买一件商品，你可以设计一个实用电路来计算你账户里的余额是否大于商品的价格。这个电路会通过加密的方法来验证这个计算是正确的，但它不会透露你的账户余额具体是多少。 +### 2024.08.15 +zkVM 就是一个由零知识证明来保证安全可验证可信特性的虚拟机, 简单来说就是, 输入旧状态和程序, 返回新状态. 它能让所有的应用都被赋予零知识证明的超能力。 +zkVM 的优点: +易用: 开发者不用学密码学或者零知识开发就可以使用 zkVM 来运行程序保证计算安全 ( 不代表完全无门槛 ) +通用: zkVM 可以给任何程序和计算生成证明. +简洁: 相对比较少量 constraints 就可以描述整个 VM ( 不用重复生成整个 VM 的电路 ). +递归: 免费的递归特性. 和通用性一样, 对 VM 的验证可以通过 VM 来进行. 这个就挺好玩, 比如你可以在 zkVM 里放一个 zkVM, 就类似 StarkWare 说的 L3 的概念. +zkVM 的缺点: +计算架构特殊: 并非所有零知识证明系统可以被用来做 zkVM. +性能问题: 电路需要优化, 可以为特定计算进行针对性优化. From 5cfdb9a05ead196e1f384c33ab13185ef87140e6 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 13:44:18 +0000 Subject: [PATCH 03/18] Update commit status table --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f9a64d8..8d6b75c 100644 --- a/README.md +++ b/README.md @@ -141,7 +141,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | hython | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | spn | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | | HazelGong | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | | | | | -| Punkcan | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | | | | | +| Punkcan | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | | Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | | | | | | Zedz | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | @@ -150,7 +150,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Kero | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Warmzhang | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | treesirop | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | -| btou | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | +| btou | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | ocean | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | maxwell | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | @@ -374,6 +374,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From d3c1dd19e86e5b80a75851f6b975756a2632f15a Mon Sep 17 00:00:00 2001 From: yiyanwannian Date: Thu, 15 Aug 2024 22:33:35 +0800 Subject: [PATCH 04/18] 2024.08.15 homework --- Yiyanwannian_ZICL1st.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Yiyanwannian_ZICL1st.md b/Yiyanwannian_ZICL1st.md index 13229c0..8e2a327 100644 --- a/Yiyanwannian_ZICL1st.md +++ b/Yiyanwannian_ZICL1st.md @@ -355,4 +355,11 @@ timezone: Pacific/Auckland # 新西兰标准时间 (UTC+12) - circom本地环境搭建 +### 2024.08.15 + +- 学习主题： + - Semaphore文档阅读 +- 学习内容小结： + - Semaphore本地测试 + From 7d7bbd2049f20913e3b1c16697eca75f9ca5142b Mon Sep 17 00:00:00 2001 From: liujianyu2022 <105506957+liujianyu2022@users.noreply.github.com> Date: Thu, 15 Aug 2024 22:34:13 +0800 Subject: [PATCH 05/18] Update liujianyu2022_ZICL1st.md --- liujianyu2022_ZICL1st.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/liujianyu2022_ZICL1st.md b/liujianyu2022_ZICL1st.md index 484253d..f963c0f 100644 --- a/liujianyu2022_ZICL1st.md +++ b/liujianyu2022_ZICL1st.md @@ -309,4 +309,9 @@ y2 = k(x0 - x2) - y0 今天学习内容： 复习circom代码 +### 2024.08.15 +今天学习内容： +编写简单的circom代码 + + From 830c1123d43b631a905fda48dd759c037e0f5de1 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 14:34:28 +0000 Subject: [PATCH 06/18] Update commit status table --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 8d6b75c..6261a72 100644 --- a/README.md +++ b/README.md @@ -135,7 +135,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | | GINAYY | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Coooder | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | -| liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | | | | | +| liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | | | | | Capybara | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | | | | | | billchen-818 | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | hython | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | @@ -375,6 +375,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From bd24d9bd552d195d94edefaed47f613a64e4a023 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 14:34:55 +0000 Subject: [PATCH 07/18] Update commit status table --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6261a72..a78e9fb 100644 --- a/README.md +++ b/README.md @@ -132,7 +132,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Transnature | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Antigone4224 | ✅ | ✅ | ⭕️ | ✅ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | Alvan | ✅ | ⭕️ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | -| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | +| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | GINAYY | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Coooder | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | | | | @@ -376,6 +376,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From 46514c634939c130c7d8c163a6ef16c353190ff2 Mon Sep 17 00:00:00 2001 From: spn21 <378115229@qq.com> Date: Thu, 15 Aug 2024 22:42:58 +0800 Subject: [PATCH 08/18] update spn 0815 --- spn_ZICL1st.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/spn_ZICL1st.md b/spn_ZICL1st.md index 9c93853..7e84b3c 100644 --- a/spn_ZICL1st.md +++ b/spn_ZICL1st.md @@ -188,4 +188,9 @@ XDU大四学生，ZK在学。 - 学习主题：复建 - 学习内容小结:熟悉cairo和circom + +## 2024.08.15 + +- 学习主题：学习snarkjs和web3js +- 学习内容小结:学习js跟circom电路结合 - From d1cde559911dfb08f2ee5402c9210608a6ef03c4 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 14:43:44 +0000 Subject: [PATCH 09/18] Update commit status table --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index a78e9fb..594d3fb 100644 --- a/README.md +++ b/README.md @@ -377,6 +377,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From 0c8dc5c5de8fb3b95b1a919382b51452126d9866 Mon Sep 17 00:00:00 2001 From: Huowuge <68574153+Huowuge@users.noreply.github.com> Date: Thu, 15 Aug 2024 23:47:50 +0800 Subject: [PATCH 10/18] 0815 --- Zemmer_ZICL1st.md | 163 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 163 insertions(+) diff --git a/Zemmer_ZICL1st.md b/Zemmer_ZICL1st.md index 80fac01..dd301ad 100644 --- a/Zemmer_ZICL1st.md +++ b/Zemmer_ZICL1st.md @@ -1811,6 +1811,169 @@ component main = XOR(); ##### +### 2024.08.15 +### 强制控制相等ForceEqualIfEnabled + +1、enabled为输入参数，当1为强制两个输入的整数必须相等，即返回1。否则电路出错。 + +2、为0时候只是判断两个整数是否相等，和isEqual一样，不做控制。 + +3、使用场景是有点类似于将输入控制为0或1的x * (1 - x) === 0; 一样，就是控制输入。 + +```js +pragma circom 2.0.0; + +include "IsZero.circom"; + +template ForceEqualIfEnabled() { + signal input enabled; + signal input in[2]; + + component isz = IsZero(); + + in[1] - in[0] ==> isz.in; + + (1 - isz.out)*enabled === 0; +} +``` + +## 交换 + +将两个输入a和b进行交换，输出为b和a + +#### 算数 + +a, b = b, a + +#### 电路 + +设置了一个开关s + +```js +pragma circom 2.1.6; + +template Swap() { + signal input input1; + signal input input2; + signal input s; // 交换标识，0 或 1 + signal output output1; + signal output output2; + + 0 === s * (s - 1); + output1 <== (input2 - input1) * s + input1; + output2 <== (input1 - input2) * s + input2; +} + +component main = Swap(); + +/* INPUT = { + "input1": 15, + "input2": 8, + "s": 1 +} */ + +``` + +#### 场景 + +排序 + +## 排序 + +从大到小排序 + +#### 代码 + +```python +a = [ 1, 5, 6, 3] +print( sorted(a, reverse=True)) + +# 冒泡排序 +for i in range(len(a)): + for j in range(0, len(a)-i-1): + if a[j] < a[j+1]: + a[j], a[j+1] = a[j+1], a[j] + +print(a) # Output: [6, 5, 3, 1] +``` + +#### 算法 + +1、依次比较元素，如果a < b则交换位置 + +2、比较一轮后开始第二轮，执行元素多的轮次。 + +#### 电路 + +1、排序必须导入交换swap、两个数比较大小GreaterThan和数字转化二进制Num2Bits、 + +2、电路的排序需要明确被比较的元素数量，不能未知数量。 + +```js +// 以下只能三个非负整数按照从小到大排列。 +pragma circom 2.1.6; + +include "GreaterThan.circom"; +include "Swap.circom"; + +// BubbleSort3 模板，用于对3个数字进行冒泡排序（从大到小） +template BubbleSort3(n) { + signal input in[3]; + signal output out[3]; + + // 第一次比较和交换 + component gt1 = GreaterThan(n); + gt1.in[0] <== in[0]; + gt1.in[1] <== in[1]; + + component swap1 = Swap(); + swap1.input1 <== in[0]; + swap1.input2 <== in[1]; + swap1.s <== gt1.out; + + // 交换后的中间结果 + signal temp0; + signal temp1; + temp0 <== swap1.output1; + temp1 <== swap1.output2; + + // 第二次比较和交换 + component gt2 = GreaterThan(n); + gt2.in[0] <== temp0; + gt2.in[1] <== in[2]; + + component swap2 = Swap(); + swap2.input1 <== temp0; + swap2.input2 <== in[2]; + swap2.s <== gt2.out; + + // 交换后的中间结果 + signal temp2; + temp2 <== swap2.output2; + + // 第三次比较和交换 + component gt3 = GreaterThan(n); + gt3.in[0] <== temp1; + gt3.in[1] <== temp2; + + component swap3 = Swap(); + swap3.input1 <== temp1; + swap3.input2 <== temp2; + swap3.s <== gt3.out; + + // 输出最终结果 + out[0] <== swap2.output1; + out[1] <== swap3.output1; + out[2] <== swap3.output2; +} + +component main= BubbleSort3(10); + +/* INPUT = { + "in": [2,4,2] +} */ +``` + From 72820f60b43ffe3856f8242ea2d81e1794732157 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 15:48:08 +0000 Subject: [PATCH 11/18] Update commit status table --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 594d3fb..1a32c9d 100644 --- a/README.md +++ b/README.md @@ -142,7 +142,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | spn | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | | HazelGong | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | | | | | | Punkcan | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | -| Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | +| Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | | | | | | Zedz | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | jidalii | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | @@ -378,6 +378,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From 8667fad608479cc6813d59da39c456530a23122a Mon Sep 17 00:00:00 2001 From: Lu <83331788+LRlulu@users.noreply.github.com> Date: Thu, 15 Aug 2024 23:45:24 +0700 Subject: [PATCH 12/18] Update Lu_ZICL1st.md --- Lu_ZICL1st.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Lu_ZICL1st.md b/Lu_ZICL1st.md index 16ac7eb..58db9de 100644 --- a/Lu_ZICL1st.md +++ b/Lu_ZICL1st.md @@ -228,6 +228,6 @@ GPT解释：同态加密的解谜过程固定。难度是受解密密钥和算 `GPT解释number的各种分类：在等式x²+1 = 0中，无real numbers解，因为实数不可能是负数，可是可以有复数解，解是个虚数imaginary unit。还有，5+0i是pure real numbers，0+2i是pure imaginary numbers，3+4i是general complex numbers` - 剩10分钟幂函数这块明天在看。 -### 2024.08.13 +### 2024.08.15 - 幂函数对于群论的作用？Adding inputs = multiply outputs From b436a4a0275128b7c38f2fb458f0460e639b16c4 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 16:45:39 +0000 Subject: [PATCH 13/18] Update commit status table --- README.md | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/README.md b/README.md index 1a32c9d..0e3b139 100644 --- a/README.md +++ b/README.md @@ -106,7 +106,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Ache | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Rayerleier | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | Lambert | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | -| Draculabo | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| Draculabo | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | Suweet | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Leo | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | Iyi | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | @@ -118,39 +118,39 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Derick | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Stone | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Xiongyi | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | -| Oscar | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| Oscar | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | Alex | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | ChloeZhu | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | Ziicu2019 | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | Hansen | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | -| xiaodongQ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | -| Ray | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | +| xiaodongQ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | +| Ray | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | monnaliya | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | tom_jerry | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | barry | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | -| Dust | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | +| Dust | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | | | | | Transnature | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Antigone4224 | ✅ | ✅ | ⭕️ | ✅ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | Alvan | ✅ | ⭕️ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | -| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | GINAYY | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Coooder | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | -| liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | | | | -| Capybara | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | | | | | +| liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | | | | +| Capybara | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | billchen-818 | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | hython | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | -| spn | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | -| HazelGong | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | | | | | +| spn | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | | | | +| HazelGong | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ❌ | | | | | Punkcan | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | -| Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | -| Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | | | | | +| Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | ✅ | | | | | Zedz | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | jidalii | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | 0xhardman | ✅ | ⭕️ | ✅ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | Kero | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Warmzhang | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | treesirop | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | -| btou | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| btou | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | | ocean | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | maxwell | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | @@ -379,6 +379,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From bba3dc2e00e083c40f630f5a179653bd5fe944e3 Mon Sep 17 00:00:00 2001 From: xiaodongQ Date: Fri, 16 Aug 2024 07:35:28 +0800 Subject: [PATCH 14/18] note --- xiaodongQ_ZICL1st.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/xiaodongQ_ZICL1st.md b/xiaodongQ_ZICL1st.md index 3b33eb0..9296a21 100644 --- a/xiaodongQ_ZICL1st.md +++ b/xiaodongQ_ZICL1st.md @@ -179,4 +179,10 @@ timezone: Asia/Shanghai - 学习内容小结： - 只看了部分 +### 2024.08.16 + +- 学习主题：继续学习视频 [ZKP Lecture 2: Overview of Modern SNARK Constructions](https://www.youtube.com/watch?v=bGEXYpt3sj0) +- 学习内容小结： + - 学习视频 + From 7c8af43427898c7027e03a199c8c6acd9dd96b79 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 15 Aug 2024 23:35:47 +0000 Subject: [PATCH 15/18] Update commit status table --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0e3b139..45cf60e 100644 --- a/README.md +++ b/README.md @@ -123,7 +123,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | ChloeZhu | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | Ziicu2019 | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | Hansen | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | -| xiaodongQ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | +| xiaodongQ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | | | | Ray | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | | | | | monnaliya | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | tom_jerry | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | @@ -143,7 +143,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | HazelGong | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ❌ | | | | | Punkcan | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | Zemmer | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | -| Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | ✅ | | | | +| Lu | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ⭕️ | ✅ | | | | | Zedz | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | jidalii | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | 0xhardman | ✅ | ⭕️ | ✅ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | @@ -380,6 +380,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From e2bd0e79bf4dafbd7da04c450885e2251871c0f2 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Fri, 16 Aug 2024 00:56:12 +0000 Subject: [PATCH 16/18] Update commit status table --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 45cf60e..65fa0ac 100644 --- a/README.md +++ b/README.md @@ -381,6 +381,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg) From 5d62898f6e33897e9df86188993c5f1d7d366518 Mon Sep 17 00:00:00 2001 From: yiyanwannian Date: Fri, 16 Aug 2024 10:43:48 +0800 Subject: [PATCH 17/18] 2024.08.16 homework --- Yiyanwannian_ZICL1st.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Yiyanwannian_ZICL1st.md b/Yiyanwannian_ZICL1st.md index 8e2a327..9fb7cc4 100644 --- a/Yiyanwannian_ZICL1st.md +++ b/Yiyanwannian_ZICL1st.md @@ -362,4 +362,12 @@ timezone: Pacific/Auckland # 新西兰标准时间 (UTC+12) - 学习内容小结： - Semaphore本地测试 +### 2024.08.16 + +- 学习主题： + - 看视频 [Semaphore in a Nutshell](https://www.youtube.com/watch?v=WEKqycIMmLY) +- 学习内容小结： + - 了解Semaphore具体是做什么的 + + From 508558184bc5031e286e31c9fca3beec40e37c4e Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Fri, 16 Aug 2024 02:47:53 +0000 Subject: [PATCH 18/18] Update commit status table --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 65fa0ac..916f135 100644 --- a/README.md +++ b/README.md @@ -132,7 +132,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 | Transnature | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | Antigone4224 | ✅ | ✅ | ⭕️ | ✅ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | Alvan | ✅ | ⭕️ | ✅ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | -| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | +| Yiyanwannian | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | ✅ | | | | GINAYY | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | | | | | | | | | | Coooder | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ❌ | | | | | | | | | | liujianyu2022 | ✅ | ✅ | ✅ | ⭕️ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ✅ | ✅ | ✅ | ⭕️ | ⭕️ | ✅ | ✅ | ✅ | | | | @@ -382,6 +382,7 @@ ZK 的原理是什么？为什么能实现隐私保护？ZK 技术为什么被 + ![alt text](img/ZICL.jpg)