NotesNotes要点

• The project is for educational purposes and not suitable for production, lacking security and optimizations.
• Omits ZK privacy properties, focusing on teaching STARK core concepts.
• Uses small finite fields and traces to simplify implementation for understanding.
• Does not implement full FRI proof, only provides folding examples.
• Relies on insecure hash functions and simplified commitments, with security vulnerabilities.
• Process includes Fibonacci trace, LDE, Merkle commitments, and Fiat-Shamir sampling.

• 项目为教育用途，不适用于生产环境，缺乏安全性和优化
• 省略了ZK隐私属性，专注于STARK核心概念的教学
• 使用小型有限域和追踪，简化了实现以便理解
• 未实现完整FRI证明，仅提供折叠示例
• 依赖非安全哈希函数和简化承诺，存在安全漏洞
• 流程包括斐波那契追踪、LDE、Merkle承诺和Fiat-Shamir采样

• 本プロジェクトは教育目的であり、セキュリティや最適化が欠けているため、本番環境での利用には適していません。
• ZKプライバシー特性を省略し、STARKのコアコンセプトの教授に焦点を当てています。
• 理解を容易にするために、小さな有限体とトレースを使用しています。
• 完全なFRI証明の実装は行わず、折りたたみ（folding）の例のみを提供します。
• 安全性の脆弱性がある、不安全なハッシュ関数と簡略化されたコミットメントに依存しています。
• プロセスには、フィボナッチトレース、LDE、Merkleコミットメント、Fiat-Shamirサンプリングが含まれます。