NotesNotes要点

• The tutorial uses SageMath to build Sumcheck and MLEs from scratch
• Covers a complete learning path from basic concepts to advanced protocols like HyperPlonk
• Includes interactive code and exercises to enhance learning effectiveness
• Sumcheck protocol is thoroughly explained as a core component of modern ZK systems
• Fiat-Shamir conversion is used to convert interactive protocols into non-interactive proofs
• The tutorial is modular, allowing users to learn by interest

• 教程使用SageMath构建Sumcheck和MLEs从零开始
• 涵盖从基础概念到高级协议如HyperPlonk的完整学习路径
• 包括交互式代码和练习，提升学习效果
• Sumcheck协议作为现代ZK系统的核心组件被详细讲解
• Fiat-Shamir转换用于将交互式协议转为非交互式证明
• 教程结构模块化，允许用户按兴趣跳转学习

• このチュートリアルでは、SumcheckとMLEsをゼロから構築するためにSageMathを使用します。
• 基本的な概念からHyperPlonkのような高度なプロトコルに至るまでの完全な学習パスを網羅しています。
• 学習効果を高めるためのインタラクティブなコードと演習を含んでいます。
• Sumcheckプロトコルは、最新のZKシステムにおけるコアコンポーネントとして徹底的に解説されています。
• Fiat-Shamir変換を使用して、インタラクティブなプロトコルを非対話型証明書に変換します。
• このチュートリアルはモジュール式であり、ユーザーが興味のある部分から学習できるように設計されています。