FRI的应用场景，以及与Plonk的对比

[0xxEric]

能否再介绍一下FRI的优势以及应用场景？
(1) 课程中，讲到FRI与Plonk的对比（或者说，是不是更准确地理解成FRI与KZG的对比）：
一个是抗量子（密码学假设是Hash不是椭圆曲线）；一个是承诺可以在小域上运算（不用在整个有限域上）。
除了这两个优势，还有其它方面的吗？

(2) 对于一个式子，是一个多项式，这个含义能否有一个更深层次的理解？
比如：g(x)=(f(x)-y)/(x-z)
我们说g(x)是一个多项式，是否就等价于，(f(x)-y)可以被（x-z）整除？

那比如在我们的stark101的例子中，我们是否可以理解成：
是证明一个式子（或者说在一个定义域D上的点值，blow up 为定义域F上的点值），如果是一个多项式（is a polynomial）
就等价于，其degree<D?

那么，这样的话，FRI在这里的应用，其实就是做多项式承诺？
类比于，Plonk中：