@0xteddav detailed Sum-Check protocol in their blog, a fundamental tool in zero-knowledge proofs and verifiable computation, allowing verifiers to efficiently check if the prover correctly calculates the sum of polynomial evaluations on the Boolean hypercube. @0xteddav 在博客中详细介绍了Sum-Check协议,这是零知识证明和可验证计算中的基础工具,允许验证者高效检查证明者是否正确计算了多项式在布尔超立方上的评估总和。 @0xteddav のブログ記事で詳細に解説されているSum-Checkプロトコルは、ゼロ知識証明および検証可能な計算における基本的なツールであり、検証者がブール超立方体上の多項式評価の合計を証明者が正しく計算したかを効率的にチェックすることを可能にします。