FRI 是 STARK 体系的多项式承诺方案。本文按 Haböck 综述与原始论文路径解释它为什么只需要抽查取值：随机挑战下的逐轮折叠、次数几何衰减、轮间一致性查询与参数选择，以及无需配对与可信设置给 Rollup 带来什么。