Notes

• 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技术学习门槛