From a3fba228d64b478140dc3dc0f0abbb61d1232b66 Mon Sep 17 00:00:00 2001 From: Prcentos Date: Thu, 8 Aug 2024 23:51:38 +0800 Subject: [PATCH] =?UTF-8?q?0808=E5=AD=A6=E4=B9=A0=E6=89=93=E5=8D=A1?= =?UTF-8?q?=EF=BC=8C=E6=9B=B4=E6=94=B90807=E7=9A=84=E6=97=B6=E9=97=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Capybara_ZICL1st.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/Capybara_ZICL1st.md b/Capybara_ZICL1st.md index c7a1177..4ef2d7b 100644 --- a/Capybara_ZICL1st.md +++ b/Capybara_ZICL1st.md @@ -253,10 +253,18 @@ template ForceEqualIfEnabled() { } -### 2024.08.06 +### 2024.08.07 - 学习主题：1-Polynomial-Interaction-and-Proof - 学习内容小结： 这篇文章确实很烧脑，以至于我只看了一半就没办法继续了。有太多的数学公式和计算，一不留神就等重新开始。不过这篇文章也是从数学的角度把零知识证明的过程用数学公式及表达式表现出来。从多项式的角度出发来考擦验证者和证明者两方。同时也将实际的零知识证明问题，找到对应的数学抽象的形式表现出来。这样一来就更可以用代码来实现这个证明的过程，将零知识证明代码化和结构化。 + + +### 2024.08.08 + +- 学习主题：1-Polynomial-Interaction-and-Proof +- 学习内容小结： + + 今天，从头到尾看了一遍这篇文章，文章主要在讲多项式的的方式来说明，验证者和证明者两者之间的证明和验证过程，且此过程保证了零知识。同时文章提到了有限域，生成元。折合我之前看视频学习到的讲某一个值映射到椭圆曲线上（也是在有限域的基础上做到的）。同时对于某一个数进行加密时更多的是有限域配合生成元和模运算来达到加密且很难反算出结果的目的。而且这些方式在现代密码学中也运用的很广泛。但是这个成立是基于当前算力的前提之下。如果一旦量子计算普及那么意味着现代密码学的很多东西都将被颠覆。不知道理解的是否对？