五次分解的不可解性

Question

我在SNARKs上找到的所有例子都显示了3级或4级的多项式，但是5级以上的多项式又是怎样的呢?在计算根时，允许SNARK不受五次多项式不可解性影响的机制是什么？有没有我能读到的高次多项式的例子？

Answer 1

在SNARKs中，多项式是在有限域上定义的，求解方法不同于在根中找到表达式。相反，多项式是用Cantor-Zassenhaus算法来求解的，这是欧几里德最大公因子算法的重复使用。还请注意，Abel极限不适用于有限域，因为有限域的扩展的Galois群总是循环的，并由Frobenius自同构生成。

恐怕我没有更高学历的例子可供参考。