[Stark101] 0.序章

title: 0. 序章

重要 ‼️

Stark101 虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。
所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。

但是你需要遵守以下规则：

1. 任何标题开头为附加内容的部分，可以跳过不看。需要的时候会明确指出。

总体步骤 📖

Stark101由以下章节组成：

1. 计算轨迹 (Computation Trace) -- 执行程序，保存所有的中间值和最终计算结果，生成一个多项式。
2. 低度拓展 (Low Degree Extension) -- 在计算结果中，按照多项式计算规律插入一些值。
3. 承诺 (Commitment) -- 提交所有的中间值和最终计算结果
4. 约束 (Constraint) -- 构建数学上的约束，需要Trace满足约束计算
5. 组合多项式 (Composition Polynomial) -- 将多个约束多项式组合在一起
6. FRI (FRI) -- 检测多项式是否是原来的多项式，而不是构建了一个新的复杂的多项式来进行约束欺骗。
7. 总结

在后续的章节会带你一步一步的学习，本教层只是用于让你对Stark的逻辑有个大概的认识。在实际应用中，Stark还有很多复杂的机制等待学习和探索