NotesNotes要点

• STARK Lab provides interactive tutorials to help users intuitively understand STARK proofs
• Supports writing simple programs and generating execution traces, learning step by step from constraints to polynomials
• Currently features a toy verifier, with full STARK verification functionality coming soon
• Makes mathematical concepts more vivid and understandable through dynamic visualization
• Starts from basic finite fields and gradually builds up to complete ZK proofs
• Focused on educational purposes, lowering the learning threshold for ZK technology

• STARK Lab提供交互式教程，帮助用户直观理解STARK证明
• 支持编写简单程序并生成执行跟踪，从约束到多项式逐步学习
• 当前包含玩具验证器，完整STARK验证功能即将推出
• 通过动态可视化使数学概念更生动易懂
• 从基础有限域开始，逐步构建到完整ZK证明
• 专注于教育目的，降低ZK技术学习门槛

• STARK Labは、ユーザーがSTARK証明を直感的に理解するのを助けるインタラクティブなチュートリアルを提供します。
• 簡単なプログラムの記述と実行トレースの生成をサポートし、制約から多項式へと段階的に学習できます。
• 現在はトイ（toy）なverifier機能を備えており、完全なSTARK検証機能は近日公開予定です。
• 動的な可視化を通じて、数学的概念をより鮮明で理解しやすいものにします。
• 基本的な有限体から始め、徐々に完全なZK証明へと構築していきます。
• 教育目的に焦点を当て、ZK技術の学習障壁を下げることを目指しています。