Merge pull request #73 from YuanBoXie/main

fix: typo errors
z2o-k7e · Aug 5, 2024 · 9dd4191 · 9dd4191
2 parents 9fb23cb + b56bf49
commit 9dd4191
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/zkp-intro/1/zkp-back.md b/src/zkp-intro/1/zkp-back.md
@@ -69,7 +69,7 @@
 
 交互证明的表现形式是两个（或者多个图灵机）的「对话脚本」，或者称为 Transcript。而这个对话过程，其中有一个显式的「证明者」角色，还有一个显式的「验证者」。其中证明者向验证者证明一个命题成立，同时还「不泄露其他任何知识」。这种就被称为「零知识证明」。
 
-再强调一遍，证明凝结了「知识」，但是证明过程确可以不泄露「知识」，同时这个证明验证过程仍然保持了简单、机械，并且有限性。这听上去是不是有点「反直觉」？
+再强调一遍，证明凝结了「知识」，但是证明过程却可以不泄露「知识」，同时这个证明验证过程仍然保持了简单、机械，并且有限性。这听上去是不是有点「反直觉」？
 
 ## 交互式证明