关于STARK101中的一个困惑：是否应是证明degree of CP(x)<D-1,而非<D?

[0xxEric]

公式显式有点问题，我把问题变成图片直接传上来。
有一部分，之前直播时郭老师也有回答到，我感觉自己还没有懂透彻，想再问一下，讨论一下。

[0xxEric]

对于STARK101中的内容，有些疑惑：

对于FibonacciSq的示例，我先按流程梳理一下，看是否是这样的：

（1）取一个|D|=1024的Domain，得到FibonacciSq在此Domian上的Valule f(x)数列

（2）取blow up 之后的更大的Domain（记为F），|F|=1024*8=8192

通过LDE，得到blow up之后的Value f(x)数列，记为Trace

（3）由Trace，得到CP的Trace——这一步我不是很确定，到底是由blow up后的Trace得到CP的Trace，还是说，由原Domain D上的f(x)，先得到在D上的CP，然后再对其blow到F上的CP trace。

具体是采用何种流程得到CP？ 算出在D上的各个P(x)的evaluation，再聚合？比如通过有限域运算，算出 $P_{0}(x)=\frac{f(x)-1}{x-g^0}$

（4）然后，开始针对CP(x)，进行FRI进行Low Degree Test