Merge pull request #160 from tumiao233/patch-8

Update Tim0_ZICL1st.md
IntensiveCoLearning · Aug 8, 2024 · 0effffb · 0effffb
2 parents 202319b + 86c2681
commit 0effffb
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Tim0_ZICL1st.md b/Tim0_ZICL1st.md
@@ -160,5 +160,13 @@ timezone: Pacific/Auckland # 新西兰标准时间 (UTC+12)
     4.非交互中如何设置安全公开且可复用的参数 ——> 参数加密，verifier 借助 airing 进行验证
     5.保证参数的生成者不泄密 ——> MPC’s Setup
 
+  ### 2024.08.08
+
+- 学习主题：General-Purpose-Computation
+- 学习内容小结：
+    1.将要证明的程序转换为数学语言表达的形式（即加减乘除的计算）
+    2.用多项式在某处的取值来进行计算以此表示数学计算，进而进行证明
+    3.用多项式在多处的取值来进行计算表示多个数学运算，进而加以证明
+    4.对证明的“程序”在不同计算中使用的相同的变量进行约束
 
 <!-- Content_END -->