用SageMath学习Sumcheck、MLE和HyperPlonk：交互式教程

zkSecurity 发布了一个新的交互式教程，聚焦 Sumcheck、多线性扩展和 HyperPlonk 的实现。教程包含完整的 SageMath 代码和练习，从多线性多项式基础开始，逐步构建完整证明系统。适合想通过实践理解零知识证明协议的开发者，无需密码学或 SageMath 先验知识。

我们发布了一个关于 Sumcheck、多重线性扩展 (MLE) 和 HyperPlonk 的交互式新教程，侧重于实现，而非纯理论。该课程包含完整的 SageMath 代码和练习，你可以亲手构建这些协议。

Sumcheck 协议在现代零知识证明方案中无处不在，例如 HyperPlonk、Spartan、Jolt 等。但理解论文是一回事，实现协议又是另一回事。本教程通过引导你使用 SageMath 进行实际实现来弥合这一差距，从多重线性多项式的基础知识开始，逐步构建完整的证明系统。

动手实践

本教程为每个协议提供了可运行的代码示例。你将通过交互式练习亲手实现协议的关键部分：求值多重线性多项式、构建证明者和验证者算法，以及将多个 Sumcheck 实例组合在一起。

SageMath 让你能够直接试验数学原理，而无需陷入性能优化的泥潭。你可以专注于理解协议的实际运行方式、多项式在何处被求值以及验证为何有效。一旦理解了数学原理，将其移植到生产环境中的语言就会容易得多。

该课程不需要你具备密码学或 SageMath 的基础知识。我们从基本原理开始，循序渐进地构建内容，因此无论你是在实现零知识电路还是研究新协议，都能跟上进度。

立即开始学习：sumcheck.zksecurity.xyz。

zkSecurity 为密码系统提供审计、研究和开发服务，包括零知识证明、MPC、FHE 和共识协议。

原文链接： blog.zksecurity.xyz/post...

登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

本文参与登链社区写作激励计划，好文好收益，欢迎正在阅读的你也加入。