Replies: 1 comment
-
已由 @Demian101 @zhouyang 于第一次 OH 解答 大概就是行数变多,导致 proof size 变大 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
比如Rotation(-2)
meta.query_advice(advice[0], Rotation(-2));
我理解会计算w^-2, 如果不同Rotation多的话,就需要多计算几个不同的w^-x, 这样对性能有什么影响吗
Beta Was this translation helpful? Give feedback.
All reactions