microbecode open-sourced Stark from zero, a Rust implementation of a STARK prover and verifier focused on education, featuring core concepts like Fibonacci trace, LDE, and Merkle commitments. microbecode 开源了Stark from zero,这是一个用Rust实现的STARK证明器和验证器,专注于教育目的,包含斐波那契追踪、LDE和Merkle承诺等核心概念。
Notes
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.