Proofs, Arguments, and Zero-Knowledge读书笔记 --2024年7月7日星期四 The Sum-Check Protocol Note:(1)r是F中的一个元素,不用等于0/1 开销如下: