From 68fd69d9f3060b7b0e76c79227d2650cb86792d9 Mon Sep 17 00:00:00 2001 From: Lu <83331788+LRlulu@users.noreply.github.com> Date: Thu, 8 Aug 2024 21:54:29 +0700 Subject: [PATCH] Update Lu_ZICL1st.md --- Lu_ZICL1st.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Lu_ZICL1st.md b/Lu_ZICL1st.md index 35745aa..f2a23dc 100644 --- a/Lu_ZICL1st.md +++ b/Lu_ZICL1st.md @@ -181,4 +181,10 @@ NP不仅仅可以作为例子，也是被证明具有ZK的性质。 - 原因 任何多项式在任意点的计算结果都可以看做是其唯一身份的表示 -> 对于一个 d 阶多项式 , prover 如果不知道该多项式的 d 个解 , 撞到x（也就是结果）的可能性极低=不可能 -> 不知道就是不知道，知道就是知道，这种情况下只需要一轮检验就可以得出结论。 - 反面例子：位数组。位数组需要逐个、多个的验证才能得出结论。 +### 2024.08.08 +接着昨天的课程 +- 前面已知多项式因为其唯一性所以是zk-SNARK核心的部分，相反的是数位组。那么什么是多项式？ +- 多项式是什么 & 多项式的「知识」= 系数 & 「知道」多项式 = 知道系数 +- 多项式容易被破解 -> 如何加密？ +- 同态加密的弊端 -> 模运算