Skip to content

Commit

Permalink
Fix a typo in MS08_Sumcheck
Browse files Browse the repository at this point in the history
  • Loading branch information
Zeroc0077 committed Sep 26, 2024
1 parent 1974b5b commit cd9afe5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion MS08_Sumcheck/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ $$

假设 Bob 是一个可怜的多项式时间图灵机,他没法在多项式时间内算出这个结果。他有一个朋友 Alice, 是个有无限计算资源的恶魔,可以轻松的算出 $S$。但是恶魔喜欢骗人, Bob 需要一种方法来验证 Alice 的结果。

所以它们决定使用一种交互式的证明协议 Sumcheck Protocol,让 Alice 仅花费常数次计算来验证 Bob 的结果。具体协议如下:
所以它们决定使用一种交互式的证明协议 Sumcheck Protocol,让 Bob 仅花费常数次计算来验证 Alice 的结果。具体协议如下:

证明者 Alice 声称

Expand Down

0 comments on commit cd9afe5

Please sign in to comment.