search

Whisker17 / learning-STARKs

0 stars 0 forks source link

STARK 101 - Part 2 约束 #6

Open Whisker17 opened 2 years ago

Whisker17 commented 2 years ago

Part 2 约束

Originally posted by @Whisker17 in https://github.com/Whisker17/learning-STARKs/issues/2#issuecomment-1126658696

Whisker17 commented 2 years ago

image

Whisker17 commented 2 years ago

约束转换

image

Whisker17 commented 2 years ago

将约束转换为根

image

Whisker17 commented 2 years ago

将根转换为有理函数

image image

进行一个简化： image

于是我们得到这样三个有理函数：

image

而最终的证明就变成了：如果 p_i(x) 为多项式，那么原始状态为正确的

Whisker17 commented 2 years ago

将三个有理函数进行结合

image

那么最终我们的问题变成了如何证明 CP 是一个多项式