STARK基本上是这样 [19:20] 你有一个想要证明的多项式$P(x)$和条件比如在一定x区间内P在一定范围 [19:20] 然后用条件多项式让满足的x可算出C(P(x))=0 [19:21] 接下来用另一个指定x范围的多项式Z(x)=(x-1)(x-2)... [19:21] C范围也可以是C
发布于 2023-04-14
